[论文解读] Automorphic forms and cubic twists of elliptic curves

Daniel Lieman|ArXiv.org|Jul 12, 1994

Algebraic Geometry and Number Theory参考文献 16被引用 3

一句话总结

本文建立了椭圆曲线族 $E_D: x^3 + y^3 = D$ 的三次扭与 $\mathrm{GL}(3)$ 的三次覆叠上的元特征自守形式之间的联系，表明该形式的 Whittaker–Fourier 系数编码了曲线 $E_{m^2n}$ 的 $L$-级数。关键结果证明：对于任意素数 $p \neq 3$ 及模 $p$ 的任意剩余类 $c$，存在无穷多个满足 $D \equiv c \mod p$ 的 $D$，使得 $E_D$ 不含有理点。

ABSTRACT

This paper surveys the connection between the elliptic curve E_D: x^3 + y^3 = D and a certain metaplectic form on the cubic cover of GL(3) which has the property that its m,n^{th} Whittaker--Fourier coefficient is essentially the L--series of the curve E_{m^2n}. One may obtain information about the collective behavior the curves E_D by exploiting this connection; for example, one can prove: Theorem: Fix any prime p e 3, and any congruence class c mod p. Then there are infinitely many D congruent to c mod p such that the curve E_D has no rational solutions. This paper is fairly self-contained; no prior knowledge of algebraic number theory, analytic number theory or metaplectic forms is assumed. On the other hand, this paper is a survey, no proofs are included.

研究动机与目标

• 研究椭圆曲线族 $E_D: x^3 + y^3 = D$ 在三次扭下的集体算术行为。
• 在 $\mathrm{GL}(3)$ 的三次覆叠上的自守形式，特别是通过 Whittaker–Fourier 系数，建立这些曲线与自守形式之间的深刻联系。
• 利用此自守框架推导该曲线族的全局算术性质，例如有理点的分布。
• 证明：对于任意素数 $p \neq 3$ 及任意模 $p$ 的剩余类 $c$，存在无穷多个满足 $D \equiv c \mod p$ 的 $D$，使得 $E_D$ 无有理解。

提出的方法

• 利用 $\mathrm{GL}(3)$ 的三次覆叠上的元特征自守形式，该类形式将经典模形式推广至具有非平凡中心扩张的高秩群。
• 依赖于这样一个事实：元特征形式的第 $m,n^{\text{th}}$ Whittaker–Fourier 系数对应于椭圆曲线 $E_{m^2n}$ 的 $L$-级数，从而将自守数据与算术不变量联系起来。
• 应用三次扭理论，通过 $D \in \mathbb{Q}^\times / \mathbb{Q}^{\times 3}$ 参数化曲线族 $E_D$，实现其 $L$-函数的统一处理。
• 运用自守形式与 $L$-函数理论中的解析技术，推导该曲线族的全局性质，而无需进行显式点计算。
• 不假设读者具备代数或解析数论的先验知识，使该框架自包含且对非专家友好。
• 利用三次覆叠的结构，将曲线 $E_D$ 的算术编码于单个自守对象的傅里叶系数之中。

实验结果

研究问题

• RQ1 椭圆曲线族 $E_D: x^3 + y^3 = D$ 的 $L$-函数如何通过 $\mathrm{GL}(3)$ 的三次覆叠上的自守形式被编码？
• RQ2 能否通过自守方法研究整个族 $E_D$ 中有理点的集体行为？
• RQ3 关于使得 $E_D$ 无有理点的 $D$ 模素数 $p \neq 3$ 的分布，可以得出什么结论？
• RQ4 是否存在一个统一的自守对象，其傅里叶系数能反映族中所有曲线 $E_{m^2n}$ 的算术性质？
• RQ5 通过此自守对应，$L$-值的非零或零能否与 $E_D$ 上有理点的存在性相关联？

主要发现

• 对于任意素数 $p \neq 3$ 及任意模 $p$ 的剩余类 $c$，存在无穷多个整数 $D \equiv c \mod p$，使得曲线 $E_D: x^3 + y^3 = D$ 不含有理点。
• 特定元特征形式在 $\mathrm{GL}(3)$ 的三次覆叠上的第 $m,n^{\text{th}}$ Whittaker–Fourier 系数本质上即为椭圆曲线 $E_{m^2n}$ 的 $L$-级数，从而建立了精确的自守联系。
• 该自守形式提供了一个统一框架，用于研究整个三次扭族 $E_D$，实现对算术性质的集体分析。
• 该方法自包含，无需代数或解析数论的先验知识，使该联系对广大受众可及。
• 结果表明，有理点的缺失并非偶然，而是在模 $p \neq 3$ 的算术级数中以正密度出现，这在给定的族参数化下成立。
• 三次扭族与元特征形式之间的联系揭示了这些曲线 $L$-函数中隐藏的对称性，暗示了更深层次的算术-自守对偶性。