[论文解读] Minimal modularity lifting for GL2 over an arbitrary number field

David J. Hansen|arXiv (Cornell University)|Sep 24, 2012

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

一句话总结

本文通过将泰勒-威尔斯方法推广至复形而非模，建立了任意数域上二维奇伽罗瓦表示的模形式提升定理。关键结果是在假设猜想3.1成立的前提下，伽罗瓦变形环 $ R_{\bar{\rho}}^{\text{min}} $ 同构于局部化赫克代数 $ \mathbf{T}_{\frak{m}} $，且上同调 $ H^d(Y, \mathcal{O})_{\frak{m}} $ 作为 $ \textbf{T}_{\frak{m}} $-模是自由的，从而将模形式性结果推广至非全实或CM数域。

ABSTRACT

We prove a modularity lifting theorem for minimally ramified deformations of two-dimensional odd Galois representations, over an arbitrary number field. The main ingredient is a generalization of the Taylor-Wiles method in which we patch complexes rather than modules.

研究动机与目标

• 将模形式提升定理推广至全实或CM数域之外，因为经典方法在上同调与平坦性限制下失效。
• 克服经典泰勒-威尔斯方法的局限性，该方法要求 $ \mathbf{T}_{\frak{m}} $ 为 $ \mathcal{O} $-平坦，并限制于连续两个上同调度。
• 通过将泰勒-威尔斯方法推广至任意数域，采用模复形而非模的直接配凑。
• 在上同调猜想（猜想3.1）成立的前提下，证明 $ R_{\bar{\rho}}^{\text{min}} \xrightarrow{\sim} \mathbf{T}_{\frak{m}} $，即使 $ \mathbf{T}_{\frak{m}} $ 包含 $ \mathcal{O} $-挠。

提出的方法

• 使用配凑技术构造一个自由 $ S_{\infty} $-模复形 $ F_{\infty}^{\bullet} $，其有限秩，集中于长度 $ \leq r $ 的范围内，其中 $ r $ 为数域 $ F $ 的非实位点数。
• 构造一个满同态 $ \phi_{\infty}: R_{\infty} \twoheadrightarrow R $ 及理想 $ \mathfrak{a} \subset S_{\infty} $，使得 $ H \simeq H_{\infty}/\mathfrak{a}H_{\infty} $ 作为 $ R_{\infty} $-模。
• 应用交换代数结果（定理2.1.1），证明 $ H^{\ast}(F_{\infty}^{\bullet}) $ 的 $ S_{\infty} $-支集维数至少为 $ 1 + q - r $，其中 $ q = \dim_k H^1_{\emptyset}(F, \mathrm{ad}^0\bar{\rho}(1)) $。
• 利用奥斯陆-布赫斯巴姆公式，推导出若其 $ S_{\infty} $-深度至少为 $ 1 + q - r $，则 $ H_{\infty} $ 为 $ R_{\infty} $-自由模，该深度通过对偶性与 $ H_{\infty}^{\ast} $ 上的 $ R_{\infty} $-模结构得以确立。
• 依赖于在同余子群 $ Y_0(Q_n) $ 上构造赫克代数 $ \mathbf{T}_{Q_n} $ 与上同调复形 $ C_n^\bullet $ 的相容系统，其系数取自 $ S_n = \mathcal{O}[(\mathbb{Z}/p^n)^q] $，以满足定理2.2.1的假设条件。
• 验证复形 $ C_n^\bullet $ 满足配凑所需的条件，包括与赫克作用的相容性及在非埃森斯坦素数处的局部化，从而可应用主要配凑定理。

实验结果

研究问题

• RQ1 是否可在上同调在多个度上非零的情况下，对任意数域上的 $ \mathrm{GL}_2 $ 建立模形式提升定理？
• RQ2 当 $ \mathbf{T}_{\frak{m}} $ 包含 $ \mathcal{O} $-挠时，经典泰勒-威尔斯方法是否失效？能否通过新配凑方法克服此问题？
• RQ3 使用复形而非模的配凑，是否可在非最小权情形及缺乏 $ \mathcal{O} $-平坦性时实现模形式提升？
• RQ4 能否在不假设 $ \mathbf{T}_{\frak{m}} $ 为 $ \mathcal{O} $-平坦的前提下，证明 $ R_{\bar{\rho}}^{\text{min}} \xrightarrow{\sim} \mathbf{T}_{\frak{m}} $，如早期方法所要求？
• RQ5 在上同调猜想成立的前提下，是否可证明 $ H^d(Y, \mathcal{O})_{\frak{m}} $ 作为 $ \mathbf{T}_{\frak{m}} $-模是自由的？

主要发现

• 在猜想3.1成立的前提下，伽罗瓦变形环 $ R_{\bar{\rho}}^{\text{min}} $ 同构于局部化赫克代数 $ \mathbf{T}_{\frak{m}} $。
• 在相同猜想假设下，上同调 $ H^d(Y, \mathcal{O})_{\frak{m}} $ 作为 $ \mathbf{T}_{\frak{m}} $-模是自由的。
• 配凑方法构造了一个自由 $ S_{\infty} $-模复形 $ F_{\infty}^{\bullet} $，其有限秩，集中于至多 $ r $ 个连续度，其中 $ r $ 为数域 $ F $ 的非实位点数。
• 通过奥斯陆-布赫斯巴姆公式，证明了上同调 $ H_{\infty} $ 的 $ S_{\infty} $-深度恰好为 $ 1 + q - r $，其中 $ q = \dim_k H^1_{\emptyset}(F, \mathrm{ad}^0\bar{\rho}(1)) $。
• 复形 $ F_{\infty}^{\bullet} $ 给出长度为 $ r $ 的 $ H_{\infty} $ 自由解析，故 $ \mathrm{projdim}_{S_{\infty}}(H_{\infty}) = r $，这对深度论证至关重要。
• 构造确保 $ H^{i}(F_{\infty}^{\bullet}) = 0 $ 对所有 $ i $ 除最高度外，因此 $ F_{\infty}^{\bullet} $ 是 $ H_{\infty} $ 的解析，且模 $ H_{\infty} $ 为 $ R_{\infty} $-自由。