[论文解读] Explicit Kummer Theory for Elliptic Curves

Davide Lombardo, Sebastiano Tronto|arXiv (Cornell University)|Sep 11, 2019

Algebraic Geometry and Number Theory参考文献 19被引用 7

一句话总结

本文為ℚ上椭圆曲线由有理点的除法点生成的Kummer扩张的次数建立了显式且一致的界。利用伽罗华上同调与ℓ进表示，证明了当ℚ上椭圆曲线具有非扭有理点且不被任何n > 1整除时，[ℚ(E[N], N⁻¹α) : ℚ(E[N])]的次数至少以cN²增长，其中c为与E和α无关的绝对常数。

ABSTRACT

Let $E$ be an elliptic curve defined over a number field $K$, let $α\in E(K)$ be a point of infinite order, and let $N^{-1}α$ be the set of $N$-division points of $α$ in $E(\bar{K})$. We prove strong effective and uniform results for the degrees of the Kummer extensions $[K(E[N],N^{-1}α) : K(E[N])]$. When $K=\mathbb{Q}$, and under a minimal assumption on $α$, we show that the inequality $[\mathbb{Q}(E[N],N^{-1}α) : \mathbb{Q}(E[N])] \geq cN^2$ holds with a constant $c$ independent of both $E$ and $α$.

研究动机与目标

• 为数域K上的椭圆曲线E，提供K(E[M], N⁻¹α)/K(E[M])的Kummer扩张次数的显式、有效且一致的界。
• 证明当K = ℚ且α ∈ E(ℚ)在E(ℚ)/E(ℚ)tor中不被任何n > 1整除时，度比N²/[ℚ(E[N], N⁻¹α) : ℚ(E[N])]被一个绝对常数有界。
• 分析Kummer理论在一般情况下不一致的原因，表明当End_K(E) ≠ ℤ时该界不成立。
• 通过伽罗华表示与上同调方法，将界常数C分解为ℓ进与阿代尔贡献。
• 证明在点α满足最小算术条件时，ℚ上的统一有界性成立，尽管在一般数域中该性质不成立。

提出的方法

• 利用扭模E[M]的伽罗华上同调研究Kummer扩张的结构及其次数。
• 将界常数C分解为ℓ进与阿代尔失败部分，通过伽罗华群在ℓ进塔模上的作用分析每一部分。
• 通过E与α的显式伽罗华表示计算，将常数C以E的不变量和α的高度表示。
• 应用模p与模N伽罗华图像的结果，特别是当模p表示为满射的素数p。
• 利用GL₂(ℤ/Nℤ)中J(2)的正规化子结构及PGL₂(𝔽_p)的性质，控制在阿贝尔商上的共轭作用。
• 引入一个通用指数M = lcm{exp PGL₂(𝔽_p) : p ∈ 𝒯₀}，将问题约化为标量与阿贝尔群作用，确保共轭作用平凡。

实验结果

研究问题

• RQ1 能否对[ℚ(E[N], N⁻¹α) : ℚ(E[N])]的Kummer扩张次数给出cN²的下界，其中常数c与E和α无关？
• RQ2 在椭圆曲线E与点α满足何种条件时，Kummer扩张度比N²/[K(E[M], N⁻¹α) : K(E[M])]可被一致有界？
• RQ3 当End_K(E) ≠ ℤ时，为何统一有界性不成立？复乘在阻碍统一性中起什么作用？
• RQ4 如何显式计算度比中的界常数C，以ℓ进表示与α的可除性性质表示？
• RQ5 伽罗华上同调与GL₂(ℤ/Nℤ)的结构在控制伽罗华群对Kummer扩张作用中起什么作用？

主要发现

• 对于ℚ上满足α ∈ E(ℚ)在E(ℚ)/E(ℚ)tor中不被任何n > 1整除的椭圆曲线E，次数[ℚ(E[N], N⁻¹α) : ℚ(E[N])]满足[ℚ(E[N], N⁻¹α) : ℚ(E[N])] ≥ cN²，其中c > 0为与E和α无关的绝对常数。
• 当End_K(E) = ℤ时，度比N²/[K(E[M], N⁻¹α) : K(E[M])]中的界常数C可显式由E的ℓ进伽罗华表示与α的可除性性质计算得出。
• 当End_K(E) ≠ ℤ时，ℚ上的统一有界性不成立，CM椭圆曲线的反例已证明此点。
• 常数C可分解为ℓ进与阿代尔贡献，其中阿代尔部分由PGL₂(𝔽_p)在合适素数上的指数控制。
• 在将g²提升至幂M = lcm{exp PGL₂(𝔽_p) : p ∈ 𝒯₀}后，J(2)ab上的共轭作用平凡，确保Kummer扩张次数一致有界。
• 证明依赖于在模p表示为满射的素数p上约化伽罗华作用，并利用中心元素简化在J(2)上的作用。