2025-11-22T17:13:16.880361

Elliptic curves and Fourier coefficients of meromorphic modular forms

Zhang

We discuss several congruences satisfied by the coefficients of meromorphic modular forms, or equivalently, $p$-adic behaviors of meromorphic modular forms under the $U_p$ operator, that are summarized from numerical experiments, connecting meromorphic modular forms to symmetric powers of elliptic curves. We also provide heuristic explanations for these congruences as well as prove some of them using hypergeometric functions and the Borcherds--Shimura lift.

academic

楕円曲線と亜正則保型形式のフーリエ係数

基本情報

論文ID: 2510.23200
タイトル: Elliptic curves and Fourier coefficients of meromorphic modular forms
著者: Pengcheng Zhang
分類: math.NT（数論）
発表日時: 2025年10月27日
論文リンク: https://arxiv.org/abs/2510.23200

摘要

本論文は亜正則保型形式の係数が満たす複数の合同関係、または同等に、亜正則保型形式の $U_p$ 作用素下での $p$ -進性質について論じている。これらの合同関係は数値実験から導き出され、亜正則保型形式を楕円曲線の対称幂と結びつけている。本論文はこれらの合同関係に対して発見的説明を提供し、超幾何関数とBorcherds-Shimura持ち上げを用いてそのうちのいくつかの結果を証明している。

研究背景と動機

研究問題

本論文は亜正則保型形式のフーリエ係数の $p$ -進性質、特に非尖点で唯一の極を持つ1次亜正則保型形式を研究する。具体的な形式は以下の通りである： $A_1 \cdot \frac{g}{j-c} + A_2 \cdot \frac{g}{(j-c)^2} + \cdots + A_r \cdot \frac{g}{(j-c)^r}$ ここで $c \in \mathbb{Q}$ 、 $g \in \mathbb{Z}[[q]]$ は1次全正則保型形式である。

問題の重要性

保型形式係数の算術性質は保型形式理論の中心課題であるが、ほとんどの研究は全正則または弱全正則保型形式に限定されている
本論文は亜正則保型形式の $p$ -進性質を初めて体系的に研究し、楕円曲線の対称幂との深い関連性を明らかにしている
この関連性はAtkin-Swinnerton-Dyer (ASD)合同を通じて具体化され、保型形式と楕円曲線の関係を理解するための新しい視点を提供している

既存方法の限界

磁性保型形式（magnetic modular forms）の研究は主にCM点の場合に集中している（Li-Neururer, Paşol-Zudilin）
ASD合同は主に非合同保型形式と弱全正則保型形式で研究されている（Atkin-Swinnerton-Dyer, Scholl, Kazalicki-Scholl）
一般的な亜正則保型形式の体系的な $p$ -進理論フレームワークが欠けている

研究の動機

著者は数値実験を通じて、重さ $k$ の亜正則保型形式 $\frac{E_k}{j-c}$ の振る舞いが楕円曲線 $C$ （ $j(C)=c$ を満たす）の対称 $(k-2)$ 次幂 $\text{Sym}^{k-2}C$ に類似していることを観察した。この観察が本論文の体系的研究を促した。

核心的貢献

亜正則保型形式と楕円曲線の対称幂の体系的関連性の確立：
- 重さ $k$ の亜正則保型形式 $\frac{E_k}{j-j(C)}$ が $\text{Sym}^{k-2}C$ に対応すべきことを提案
- $U_p$ 作用素の作用がFrobenius作用に対応することを通じて
複数の合同予想の提案と部分的証明：
- 単純極の場合（定理5.1）： $k \in \{4,6,8,10,14\}$ に対して、 $a_{n \cdot N(p)}(F_{k,C}) \equiv a_p(C)^{k-2}a_n(F_{k,C}) \pmod{p}$ を証明
- CM場合の超合同（定理4.7）： $a_{np^l}(G_{k,D}^{(k/2)}) \equiv \left(\left(\frac{D}{p}\right)p\right)^{\frac{k-2}{2}} a_{np^{l-1}}(G_{k,D}^{(k/2)}) \pmod{p^{(k-1)l}}$ を証明
超幾何関数との関連性の確立（定理5.2）： $a_p\left(\frac{E_4}{j-c}\right) \equiv \left(c(c-1728)\right)^{\frac{p-1}{2}} \cdot {}_3F_2\left[\begin{matrix}\frac{1}{2} & \frac{1}{6} & \frac{5}{6} \\ 1 & 1\end{matrix}; \frac{1728}{c}\right]_{p-1} \pmod{p}$
磁性性質の証明（定理6.1）：
- 任意の判別式 $D<0$ に対して、構成された $\widetilde{G}_{k,D}$ は $\frac{k-2}{2}$ -磁性である
- すなわち、すべての $n \in \mathbb{Z}^+$ に対して $n^{\frac{k-2}{2}} | a_n(\widetilde{G}_{k,D})$
体系的な発見的説明フレームワークの提供：
- Brown-Fonsecaの仕事を通じたコホモロジー的解釈
- Shimura持ち上げのHecke等変性を通じて

方法の詳細説明

タスク定義

$F_{k,C} := \frac{E_k}{j-j(C)}$ 形式の亜正則保型形式を研究する。ここで：

入力：楕円曲線 $C/\mathbb{Q}$ （または数体上）、重さ $k \in \{4,6,8,10,14\}$
出力：フーリエ係数 $a_n(F_{k,C})$ が満たす $p$ -進合同関係
制約： $j(C) \notin \{0, 1728\}$ 、素数 $p$ は $v_p(j(C)) = 0 = v_p(j(C)-1728)$ を満たす

核心的方法アーキテクチャ

1. 超幾何関数法（第5節）

主要思想：保型形式係数を超幾何級数の切断和に変換する。

ステップ：

Fricke-Klein恒等式の利用： $E_4^{1/4} = {}_2F_1\left[\begin{matrix}\frac{1}{12} & \frac{5}{12} \\ 1\end{matrix}; \frac{1728}{j}\right]$
Clausen公式の適用： ${}_2F_1\left[\begin{matrix}\frac{1}{12} & \frac{5}{12} \\ 1\end{matrix}; t\right]^2 = {}_3F_2\left[\begin{matrix}\frac{1}{2} & \frac{1}{6} & \frac{5}{6} \\ 1 & 1\end{matrix}; t\right]$
主要合同の確立（補題5.5）： $P_{k,p^l}(j) \equiv g_{2-k}^{p^{l-1}} \pmod{p}$ ここで $g_{2-k} = E_{14-k}/\Delta$
帰納法による証明：すべての $k \in \{6,8,10,14\}$ の場合を $k=4$ の場合に帰約（補題5.8）

革新的な点：

超幾何合同を保型形式の $U_p$ 作用素と初めて関連付けた
多項式合同を通じて直接的な $q$ -展開式計算を回避

2. Borcherds-Shimura持ち上げ法（第6節）

主要思想：半整数重の前像の性質を通じて整数重保型形式の性質を導く。

理論フレームワーク： $2s \in \{4,6,8,10,14\}$ 、判別式 $d$ 、基本判別式 $d_0$ に対して、 $\left(S_{d_0}f_{s+1/2,|d|}\right)(z) = -(-1)^{\lfloor\frac{s-1}{2}\rfloor} |d|^{-s/2} |d_0|^{\frac{s-1}{2}} \text{Tr}_{d,d_0}\left((\partial_\tau^{s-1} G_{2s})(z,\tau)\right)$

技術的経路：

$U_p$ 作用の分析（補題6.4）：
- $g_{i+1} = \frac{1}{p^{2s-1}}(g_i|T_{p,s+1/2} - g_{i-1})$ となる列 $\{g_i\}$ を構成
- $g_i = f_{s+1/2,mp^{2i-2}}$ を証明
Hecke等変性： $S_{d_0}(f|T_{p^2,s+1/2}) = S_{d_0}(f)|T_{p,2s}$
超合同の伝播（命題6.5）： $a_{np^l}(F_m) \equiv p^{s-1}\left(\frac{(-1)^{s-1}m}{p}\right) a_{np^{l-1}}(F_m) \pmod{p^{(2s-1)l}}$
磁性性質の証明（命題6.7）：
- $F = A^{s-1}S_{d_0}f_{s+1/2,m}$ に対して、 $n^{s-1} | a_n(F)$ を証明
- 重要なのは $A^2|m$ となる最大の $A$ を決定すること

革新的な点：

Li-NeururerとPaşol-Zudilinの方法を一般判別式に拡張
素数幂整除性の位数を正確に特徴付けた

技術的革新点

1. 多項式的視点

$a_n(F_{k,c}) = P_{k,n}(c)$ （ $P_{k,n} \in \mathbb{Z}[X]$ ）と見なす。これにより：

$q$ -級数合同を多項式合同に変換
異なる楕円曲線の場合を統一的に処理

2. Hecke作用素の反復分析

再帰関係を通じて： $a_{np^l}(F_{k,c}) \equiv a_p(F_{k,c})^{\frac{p^l-1}{p-1}} a_n(F_{k,c})^{p^l} \pmod{p}$ 係数間の体系的な関連性を確立

3. CM場合の分解

Galois表現の分解を利用： $\text{Res}_{K/\mathbb{Q}}(\text{Sym}^{k-2}C) \sim \bigoplus_{a+b=k-2} \psi_C^a \psi_C^b$ 対応する保型形式 $G_{a,b}$ を構成し、保型形式空間も相応に分解

実験設定

数値実験方法

論文の予想は主に数値実験検証に基づいている：

計算ツール：PARI/GPまたはSageMathを使用して保型形式の $q$ -展開式を計算
検証範囲：
- 素数 $p$ ：通常 $p \leq 100$ まで検証
- 係数 $n$ ：前1000～10000項の係数を検証
- 幂次 $l$ ： $l \leq 3$ または $l \leq 5$ を検証
テストケース：
- 異なる判別式： $D \in \{-7, -8, -11, -15, -19, \ldots\}$
- 異なる重さ： $k \in \{4, 6, 8, 10, 14\}$
- 特殊点： $j(C) \in \{0, 1728\}$ および一般的な $j$ -不変量

例による検証

例4.6（ $k=4, D=-7$ ）：楕円曲線 $C: y^2 + xy = x^3 - x^2 - 2x - 1$ （LMFDB標識49.a4）、 $j(C) = -3375$

構成された保型形式： $G_{4,-7}^{(1)} = \frac{E_4}{j+3375}$ $G_{4,-7}^{(2)} = 19 \cdot \frac{E_4}{j+3375} - 91125 \cdot \frac{E_4}{(j+3375)^2}$

検証された合同： $\left(\frac{-7}{p}\right)=1$ を満たすすべての素数 $p$ とすべての $n,l \in \mathbb{Z}^+$ に対して、 $a_{np^l}(G_{4,-7}^{(2)}) \equiv p \cdot a_{np^{l-1}}(G_{4,-7}^{(2)}) \pmod{p^{3l}}$ かつ $G_{4,-7}^{(2)}$ は1-磁性である。

実験結果

主要定理

定理1.1（Li-Neururer, Paşol-Zudilin）

$\frac{E_4}{j}$ と $\frac{E_4}{j-1728}$ はともに1-磁性である。

定理1.2（本論文で証明）

すべての素数 $p \geq 5$ とすべての $n,l \in \mathbb{Z}^+$ に対して： $a_{np^l}\left(\frac{E_4}{j}\right) \equiv \left(\frac{-3}{p}\right) p \cdot a_{np^{l-1}}\left(\frac{E_4}{j}\right) \pmod{p^{3l}}$ $a_{np^l}\left(\frac{E_4}{j-1728}\right) \equiv \left(\frac{-4}{p}\right) p \cdot a_{np^{l-1}}\left(\frac{E_4}{j-1728}\right) \pmod{p^{3l}}$

定理1.3（本論文で証明、 $k=4$ の場合）

$C/\mathbb{Q}$ を楕円曲線、 $j(C) \notin \{0,1728\}$ 、 $p \geq 5$ を $C$ の良い素数で $v_p(j(C))=0=v_p(j(C)-1728)$ を満たすとする。このとき $a_p\left(\frac{E_4}{j-j(C)}\right) \equiv a_p(C)^2 \pmod{p}$

意義： $a_p(C)^2$ の出現は $\text{Sym}^2C$ との関連性を示唆している。なぜなら $\text{Sym}^2C$ の $p$ でのFrobenius跡は $a_p(C)^2 - p \equiv a_p(C)^2 \pmod{p}$ だからである。

定理5.1（一般数体への推広）

$k \in \{4,6,8,10,14\}$ 、 $L$ を数体、 $C/L$ を楕円曲線、 $p$ を $C$ の良い素数で $p \nmid 6$ 、 $v_p(j(C))=0=v_p(j(C)-1728)$ を満たすとする。このとき、すべての $n \in \mathbb{Z}^+$ に対して： $a_{n \cdot N(p)}(F_{k,C}) \equiv a_p(C)^{k-2} a_n(F_{k,C}) \pmod{p}$

定理6.1（磁性性質と超合同）

$k \in \{4,6,8,10,14\}$ 、 $D<0$ を判別式とする。このとき：

$G_{k,D}$ は有理数係数の $q$ -展開式を持つ
適切な $|D_0|$ の幂を乗じた $\widetilde{G}_{k,D}$ を定義すると、 $\widetilde{G}_{k,D}$ は $\frac{k-2}{2}$ -磁性である
素数 $p \nmid A$ （ $D=A^2D_0$ ）に対して、すべての $n,l \in \mathbb{Z}^+$ ： $a_{np^l}(\widetilde{G}_{k,D}) \equiv \left(\left(\frac{D}{p}\right)p\right)^{\frac{k-2}{2}} a_{np^{l-1}}(\widetilde{G}_{k,D}) \pmod{p^{(k-1)l}}$

主要予想

予想2.1（単純極の一般的場合）

$k \in \{4,6,8,10,14\}$ 、楕円曲線 $C/\mathbb{Q}$ 、良い素数 $p$ に対して、すべての $n \in \mathbb{Z}^+$ ： $a_{np}(F_{k,C}) \equiv a_p(C)^{k-2} a_n(F_{k,C}) \pmod{p}$

注： $p \geq 5$ のときこれは定理5.1である。

予想2.3（超特異の場合）

超特異素数 $p$ （すなわち $a_p(C)=0$ ）に対して、すべての $n,l \in \mathbb{Z}^+$ ： $a_{np^l}(F_{k,C}) \equiv p^{k-2} a_{np^{l-2}}(F_{k,C}) \pmod{p^{(k-1)l-1}}$

予想2.4（通常素数の場合）

通常素数 $p$ （すなわち $p \nmid a_p(C)$ ）に対して、すべての $n,l \in \mathbb{Z}^+$ ： $a_{np^l}(F_{k,C}) \equiv u_p(C)^{k-2} a_{np^{l-1}}(F_{k,C}) \pmod{p^l}$ ここで $u_p(C)$ は $X^2 - a_p(C)X + p$ の $p$ -進単位根である。

$C$ がCMを持つ場合、法は $p^{(k-1)l}$ に改善できる。

予想3.1（高次極のASD合同）

$1 \leq r \leq k-1$ に対して、 $F_{k,C}^{(r)} := \frac{E_k}{(j-j(C))^r}$ とし、 $P_p(X)$ を $\text{Sym}^{k-2}C$ 上の $p$ でのFrobenius特性多項式とする： $P_p(X) = \sum_{i=0}^{k-1} c_{p,k-1-i}^{(k)} X^i$ このとき、すべての $n,l \in \mathbb{Z}^+$ に対して： $a_{np^l}(F_{k,C}^{(r)}) + c_{p,1}^{(k)} a_{np^{l-1}}(F_{k,C}^{(r)}) + \cdots + c_{p,k-1}^{(k)} a_{np^{l-k+1}}(F_{k,C}^{(r)}) \equiv 0 \pmod{p^{(k-1)l - \frac{1}{2}(k-3)k - r}}$

数値検証結果

論文のすべての予想は大量の数値検証を経ている：

$k \in \{4,6,8,10,14\}$ のすべての場合
類数が1の判別式 $D \in \{-3,-4,-7,-8,-11,-15,-19,-20,\ldots\}$
素数は $p \leq 100$ 、係数は $n \leq 10000$ まで検証
すべてのテストケースが予想と一致

結論と議論

主要な結論

体系的な理論フレームワークの確立：亜正則保型形式（特に $\frac{E_k}{(j-j(C))^r}$ 形式）を楕円曲線 $C$ の対称幂 $\text{Sym}^{k-2}C$ と関連付けた
重要な場合の証明：
- 単純極の基本合同（ $p \geq 5$ のとき）
- CM場合の超合同と磁性性質
- 超幾何関数との関連性
完全な予想体系の提案：
- 超特異と通常素数の異なる振る舞いをカバー
- 高次極のASD合同
- CM場合の精細構造
方法論的貢献：
- 超幾何関数法
- Shimura持ち上げの体系的応用
- 多項式的視点の導入

限界

仮定条件が強い：
- 主要結果は $k \in \{4,6,8,10,14\}$ に限定（尖点形式のない重さ）
- $j(C) \notin \{0,1728\}$ を要求（非CM点または特殊CM点）
- $v_p(j(C))=0=v_p(j(C)-1728)$ を要求（特定の「悪い」素数を除外）
ほとんどの結果は予想：
- 予想2.1は $p \geq 5$ でのみ証明
- 予想2.3、2.4（超特異と通常の場合）は未証明
- 予想3.1（高次極のASD合同）は未証明
- 予想4.2（CM場合の通常素数）は未証明
数値検証の限界：
- 検証範囲が限定的（ $p \leq 100$ 、 $n \leq 10000$ ）
- 大きな素数または大きな係数の反例が存在する可能性
理論的説明が不完全：
- motif理論との関連性は主にBrown-Fonsecaの仕事に依存
- 完全なコホモロジー的解釈が欠けている
- 特定の現象（予想4.11、4.13など）はまだ「謎のまま」
一般的な重さへの推広の困難：
- 尖点形式が存在する場合、relationを使用してその影響を除去する必要がある
- 方法がより技術的で複雑になる

今後の方向

未証明の予想の証明：
- Michael Allen、Ling Long、Hasan SaadがSchollとkazalicki-Schollの方法を拡張中
- コホモロジー法を通じてASD合同を証明できる可能性
より一般的な場合への推広：
- 任意の重さの場合
- 有限指数部分群上の亜正則保型形式
- より高次の極の場合
理論の深化：
- motif解釈の完成
- Galois表現との正確な対応の確立
- 無限遠での「可視化」の探索（特殊 $L$ -値と「周期」の関連性）
計算的側面：
- 亜正則保型形式係数計算のためのより効率的なアルゴリズム開発
- 数値検証範囲の拡大
応用の探索：
- 物理学での応用（Hall効果関連など）
- 暗号学での潜在的応用