[论文解读] Mod $\ell$ representations of arithmetic fundamental groups II (A conjecture of A.J. de Jong)

Gebhard Boeckle, Chandrashekhar Khare|ArXiv.org|Dec 29, 2003

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

一句话总结

本文證明，在特定條件下，有限域上光滑且幾何上不可約曲線的算術基本群的模 ℓ 表示的變形環在 ℤℓ 上是有限且平坦的，從而確認了 A.J. de Jong 對於具有可除或與 ℓ 互素的分歧的 n 維表示的猜想。證明結合了第一部分的提升結果、Taylor-Wiles 系統以及 Lafforgue 的自守性定理，透過伽羅瓦上同調與自守方法建立有限性與平坦性。

ABSTRACT

As a sequel to our proof of the analog of Serre's conjecture for function fields in Part I of this work, we study in this paper the deformation rings of $n$-dimensional mod $\ell$ representations $ρ$ of the arithmetic fundamental group $π_1(X)$ where $X$ is a geometrically irreducible, smooth curve over a finite field $k$ of characteristic $p$ ($ eq \ell$). We are able to show in many cases that the resulting rings are finite flat over $\BZ_\ell$. The proof principally uses a lifting result of the authors in Part I of this two-part work, Taylor-Wiles systems and the result of Lafforgue. This implies a conjecture of A.J. ~de Jong for representations with coefficients in power series rings over finite fields of characteristic $\ell$, that have this mod $\ell$ representation as their reduction.

研究动机与目标

• 證明 π₁(X) 的模 ℓ 表示的變形環在 ℤℓ 上是有限的，從而確認 A.J. de Jong 的猜想。
• 在分歧與不可約性條件下，建立 n 維模 ℓ 表示的變形環 R_X^η 的有限性與平坦性。
• 將 Taylor-Wiles 方法的適用性擴展至函數域算術基本群，避免引入輔助層次結構。
• 證明此類表示可具有最小的 ℓ-adic 上升，且其為自守表示，並具有相同的導子。
• 提供一個伽羅瓦理論框架，以構造具有受控分歧與扭轉行為的變形環。

提出的方法

• 利用作者先前工作（第一部分）中的提升結果，構造具有指定行列式的模 ℓ 表示的變形。
• 透過構造輔助素數並利用 Poitou-Tate對偶性控制上同調障礙，將 Taylor-Wiles 系統應用於變形環。
• 利用模曲線 X₀(Nq₁⋯qᵣ) 的 étale 與 Betti 上同調來實現伽羅瓦表示，並建立 Hecke-交換系統。
• 利用模曲線上的扭轉層 O(χ) 以確保與特徵作用的相容性，並在群環上構造自由模。
• 應用 Lafforgue 對 ℓ-進伽羅瓦表示自守性的定理，將變形環與自守形式聯繫起來。
• 透過基變換使剩餘域同餘於 1 mod ℓⁿ，從而避免引入輔助層次結構，實施類似 Skinner-Wiles 的層次降低技術。

实验结果

研究问题

• RQ1 在何種條件下，π₁(X) 的模 ℓ 表示的變形環 R_X^η 是 ℤℓ 上的有限環？
• RQ2 A.J. de Jong 的猜想能否對具有可除或與 ℓ 互素分歧的 n 維表示成立？
• RQ3 如何將 Taylor-Wiles 系統適應於函數域基本群，且不強制引入輔助層次結構？
• RQ4 自守方法與上同調技術在多大程度上能確保變形環的有限性與平坦性？
• RQ5 能否構造出既是自守表示又具有相同導子的模 ℓ 表示的最小 ℓ-adic 上升？

主要发现

• 當殘留表示在 S 中某點處絕對不可約且分歧為可除時，n 維模 ℓ 表示的變形環 R_X^η 是 ℤℓ 上的有限環。
• 該環 R_X^η 是 ℤℓ 上的有限平坦環，且為完全交截，此結果透過障礙理論與有限性得證。
• 對於具有可除或與 ℓ 互素分歧的表示，R_X^η 存在一個商環 R_X^{0,η}，其為 ℤℓ 上的有限平坦環，從而體現最小性與導子的控制。
• 當 χ 為 e 次冪特徵時，上同調 H¹(X₀(Nq₁⋯qᵣ), O(χ))_m 同構於 H¹(X₀(N), O)_m ⊗ k，確保與 Hecke 作用的相容性。
• 透過基變換使剩餘域同餘於 1 mod ℓⁿ，避免引入輔助層次結構，從而控制扭轉增長，實現 Taylor-Wiles 系統的構造。
• 結果在所有情況下確認了 de Jong 對 ℓ > 2 的猜想，且其證明獨立於 Gaitsgory 的條件結果。