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

Elliptic curves and Fourier coefficients of meromorphic modular forms

基本信息

论文ID: 2510.23200
标题: Elliptic curves and Fourier coefficients of meromorphic modular forms
作者: Pengcheng Zhang
分类: math.NT (Number Theory)
发表时间: 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^{\frac{k-2}{2}} | a_n(\widetilde{G}_{k,D})$ 对所有 $n \in \mathbb{Z}^+$ 成立
提供了系统的启发式解释框架：
- 通过上同调解释（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\}$ 使得 $g_{i+1} = \frac{1}{p^{2s-1}}(g_i|T_{p,s+1/2} - g_{i-1})$
- 证明 $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$ 使得 $A^2|m$

创新点：

扩展了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}$

验证的同余：对所有素数 $p$ 满足 $\left(\frac{-7}{p}\right)=1$ 和所有 $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$ -展开式
定义 $\widetilde{G}_{k,D}$ （乘以适当的 $|D_0|$ 的幂次），则 $\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$ 上Frobenius在 $p$ 处的特征多项式： $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$ ）
- 可能存在大素数或大系数的反例
理论解释不完整：
- 与motiv理论的联系主要依赖Brown-Fonseca的工作
- 缺乏完整的上同调解释
- 某些现象（如猜想4.11、4.13）仍"神秘"
推广到一般权的困难：
- 存在尖点形式时需要使用relation消除影响
- 方法变得更加技术性和复杂

未来方向

证明未证猜想：
- 作者提到Michael Allen, Ling Long, Hasan Saad正在扩展Scholl和Kazalicki-Scholl的方法
- 可能通过上同调方法证明ASD同余
推广到更一般情况：
- 任意权的情况
- 有限指数子群上的亚纯模形式
- 更高阶极点的情况
理论深化：
- 完善motiv解释
- 建立与Galois表示的精确对应
- 探索无穷处的"可视化"（特殊 $L$ -值与"周期"的联系）
计算方面：
- 开发更高效的算法计算亚纯模形式系数
- 扩大数值验证范围
应用探索：
- 在物理学中的应用（如Hall效应相关）
- 在密码学中的潜在应用