[论文解读] Drinfeld modules with maximal Galois action on their torsion points

David Zywina|arXiv (Cornell University)|Oct 19, 2011

Algebraic Geometry and Number Theory参考文献 21被引用 8

一句话总结

本文构造了在有限生成域上具有典型特征的秩2德林费尔德模，其扭点上的伽罗华表示的像尽可能大——即像在GL₂(Â)中是开集，实现了最大的伽罗华作用。通过类比塞尔对椭圆曲线的构造方法，作者给出了一个具体例子，并证明了全扭模上的伽罗华表示的像是完整的GL₂(Â)，从而在秩2情形下确认了最大性。

ABSTRACT

To each Drinfeld module over a finitely generated field with generic characteristic, one can associate a Galois representation arising from the Galois action on its torsion points. Recent work of Pink and Rütsche has described the image of this representation up to commensurability. Their theorem is qualitative, and the objective of this paper is to complement this theory with a worked out example. In particular, we give examples of Drinfeld modules of rank 2 for which the Galois action on their torsion points is as large as possible. We will follow the approach that Serre used to give explicit examples of his openness theorem for elliptic curves. Using our specific examples, we will numerically test analogues of some well-known elliptic curve conjectures.

研究动机与目标

• 提供一个在有限生成域上具有典型特征的秩2德林费尔德模的显式具体例子，使得其在扭点上的伽罗华表示的像尽可能大。
• 通过构造一个可计算的例子，补充平克与吕茨赫的定性开像定理，使得伽罗华表示的像被明确确定。
• 在德林费尔德模的背景下，对椭圆曲线的著名猜想（如塞尔的开像定理、模形式性、萨托-塔特猜想）的类比进行数值检验。
• 证明在秩2情形下，具有最大伽罗华作用的此类模存在，填补了此前文献中仅知秩1例子的空白。

提出的方法

• 在函数域K = F_q(T)上构造一个秩2德林费尔德模φ，其中q ≥ 5为奇数，定义为特定多项式φ_T = T + τ + cτ²，c ∈ F_q(T)为精心选取的元素。
• 分析由全扭模lim← φ[𝔞]作用产生的伽罗华表示ρ_φ: G_K → GL₂(Â)，其中Â为A = F_q[T]的完备化。
• 通过分析模互异素理想𝔞 = λ₁λ₂时的像结构，利用有限域上PGL₂与GL₂之间的同构关系和正规子群的群论论证，证明像H ⊆ GL₂(A/𝔞)为整个群GL₂(A/𝔞)。
• 应用胡阿定理于GL₂(F_q)的自同构，证明任意PGL₂(F_{λ₁})与PGL₂(F_{λ₂})之间的同构必可提升至GL₂，并利用迹与行列式不变量排除非平凡的域自同构，从而在像不为全群时导出矛盾。
• 利用像必须保持不变量tr²/det在域同构下的性质，证明该域同构必为平凡，从而迫使像为完整的GL₂(A/𝔞)。
• 将模所有理想𝔞的结果综合起来，得出ρ_φ的像是GL₂(Â)中的开集；又因像在投影拓扑下已闭，故必等于GL₂(Â)。

实验结果

研究问题

• RQ1 能否在具有典型特征的有限生成域上，构造一个秩2德林费尔德模的显式例子，使得其在扭点上的伽罗华表示的像尽可能大？
• RQ2 秩2德林费尔德模的全扭模上的伽罗华表示的像是否等于完整的GL₂(Â)？
• RQ3 能否生成数值证据，以支持德林费尔德模背景下椭圆曲线猜想的类比（如模形式性与萨托-塔特猜想）？
• RQ4 在何种条件下，扭点上伽罗华表示的像在GL₂(Â)中是开集？此类例子如何被显式构造？

主要发现

• 本文在K = F_q(T)上构造了一个显式德林费尔德模φ，其中q ≥ 5为奇数，定义为φ_T = T + τ + cτ²，c ∈ F_q(T)为特定元素，使得全扭模上的伽罗华表示的像等于完整的GL₂(Â)。
• 对A的每个非零理想𝔞，伽罗华表示ρ_φ,𝔞: G_K → GL₂(A/𝔞)的像为整个群GL₂(A/𝔞)，从而证明了扭点上作用的极大性。
• 全局伽罗华表示ρ_φ: G_K → GL₂(Â)的像是GL₂(Â)中的开集，且由于在投影拓扑下也闭，故等于GL₂(Â)，从而确认了最大伽罗华作用。
• 证明依赖于：GL₂(F_λ)的任意真正规子群必为可解群且包含于对角环面中；且PGL₂(F_λ₁)与PGL₂(F_λ₂)之间的唯一可能同构必由域同构诱导，而该同构除非平凡否则将被排除。
• 不变量tr²/det在伽罗华作用下保持不变，这迫使剩余域之间的域同构为平凡，从而在像不为全群时导致矛盾，故得证像为全群。
• 该例子提供了一个具体框架，可用于在德林费尔德模背景下数值检验椭圆曲线猜想的类比，如模形式性与萨托-塔特猜想。