[论文解读] Automorphy of some residually dihedral Galois representations

Jack A. Thorne|Apollo (University of Cambridge)|Apr 4, 2015

Algebraic Geometry and Number Theory参考文献 9被引用 5

一句话总结

本文建立了一类新的自守提升定理，适用于不满足Taylor–Wiles假设的完全实数域上的二维伽罗华表示，采用具有受控分歧的$ R =  \bbT $论证方法。关键结果证明了当5在基域中不是平方数且不存在有理5-同源时，椭圆曲线在完全实数域上的模性，从而将模性结果扩展至经典框架之外。

ABSTRACT

We establish the automorphy of some families of 2-dimensional representations of the absolute Galois group of a totally real field, which do not satisfy the so-called `Taylor--Wiles hypothesis'. We apply this to the problem of the modularity of elliptic curves over totally real fields

研究动机与目标

• 建立在不满足Taylor–Wiles假设的完全实数域上，二维伽罗华表示的自守性。
• 将椭圆曲线的模性结果扩展至残余表示在$ F(\rho_5) $上保持不可约性的经典设定之外。
• 开发一种新的$ R = \bbT $方法，通过使用受控分歧和Mazur原理，避免依赖Taylor–Wiles条件。
• 证明在基域中5不是平方数且不存在$ F $-有理5-同源时，完全实数域上椭圆曲线是模的。
• 为残余二面体情形下的Fontaine–Mazur猜想提供新方法，特别是针对非典型与潜在上可超奇异表示。

提出的方法

• 构建一个带有附加分歧条件的$ R = \bbT $定理，这些条件在模$ p^{N_0} $下满足，但不被原始表示$ \rho $满足。
• 强制变形环$ R $同构于Witt向量环$ W(k) $，从而在不依赖Taylor–Wiles方法的情况下确保$ R = \bbT $。
• 利用Mazur原理证明$ \rho \mod p^{N_0} $出现在固定水平$ N $的模曲线的平展上同调中，且该水平$ N $独立于$ N_0 $。
• 取$ N_0 \to \infty $的逆极限，推得$ \rho $本身出现在上同调中，因此是自守的。
• 将该方法应用于椭圆曲线，验证其模5伽罗华表示满足所需的残余二面体与完全奇性条件。
• 通过基变更与可解扩张，确保存在一个权为2的尖点自守表示$ \pi $，其模$ p $约化与$ \rho $相同。

实验结果

研究问题

• RQ1 当残余表示在$ F(\zeta_p) $上变为可约时，即在残余二面体情形下，是否能建立完全实数域上二维伽罗华表示的自守性？
• RQ2 是否可能在不假设Taylor–Wiles假设的前提下证明自守性，特别是在潜在上可超奇异或非典型情形下？
• RQ3 在缺乏残余自守性的情况下，$ R = \bbT $方法在多大程度上可被调整以绕过经典Taylor–Wiles机制？
• RQ4 在完全实数域上的椭圆曲线需满足何种条件，才能保证其模性，即使其模5表示是残余二面体的？
• RQ5 该方法能否推广至其他素数$ p $，还是仅限于$ p = 5 $？（由证明结构隐含。）

主要发现

• 定理7.5在$ p = 5 $的残余二面体条件下，无需依赖Taylor–Wiles假设，建立了完全实数域上二维伽罗华表示的自守性。
• 本文证明了任意椭圆曲线$ E $在完全实数域$ F $上，若5在$ F $中不是平方数且不存在$ F $-有理5-同源，则其为模的（定理7.6）。
• 该方法通过受控分歧与Mazur原理构造了$ R = \bbT $同构，避免了Taylor–Wiles论证。
• 自守性结果甚至适用于潜在上可超奇异表示，这些情形超出了经典Hida理论的适用范围。
• 该证明适用于其模5伽罗华表示的射影像同构于$ \bbF_2 \times \bbF_2 $的椭圆曲线，这类情形被早期定理所排除。
• 该结果表明，所有满足$ F \cap \bbQ(\zeta_5) = \bbQ $且模5表示不可约的椭圆曲线，只要不存在有理5-同源，则均为模的。