朗兰兹互反猜想（一般互反律） · 公开问题 48

问题

朗兰兹纲领预言：伽罗瓦侧（数域 K 的绝对伽罗瓦群的 n 维表示 ρ）与自守侧（GL_n(𝔸_K) 的自守表示 π）通过 L 函数一一对应——L(s, ρ) = L(s, π)。这是类域论（一维互反律）向非交换世界的唯一 «正确» 推广；朗兰兹称之为 «一般互反律»。两大支柱：**互反猜想**（每个 ρ 来自某个 π）与**函子性**（自守表示间的运算对应表示的运算）。已证：n = 1（类域论）与 n = 2 的模块化情形（谷山–志村，怀尔斯–泰勒–怀尔斯–Breuil–Conrad–Diamond–Taylor）。一般的情形（n ≥ 3）只有零星岛屿。

主要概念

Frobenius 与分解型：互反律的具体心脏

在 ℚ 上取不可约多项式 f（根集 = 伽罗瓦群 G 的作用轨道）。素数 p（不整除判别式）在 «f 的分裂域» 中的分解型（分裂成几次因子）由 G 中一个共轭类——Frobenius 类 Frob_p——完全决定（命题 1）。互反律的本质：«素数的分解行为» ↔ «群的元素»——把算术数据翻译成群论数据。

自守表示与 L 函数

GL_n 的自守表示是 «模形式的高维推广»：其在每个素数处的局部因子由 «Hecke 特征值» 给出。朗兰兹对偶断言：ρ 的 Artin 因子（由 Frob_p 的特征多项式逐素数装配）与 π 的 Hecke 因子逐素数相等。

主要命题与证明

命题 1（戴德金分解定理，完整证明骨架）　设 L/ℚ 是伽罗瓦扩张（群 G），p ∤ 判别式。则 p 在 L 中的分解型（分解为 g 个次数 f 的素理想，gf = [L:ℚ]）由 Frob_p 的循环结构（作为 G 的置换在根轨道上的作用）完全决定。

骨架　取 p 上方素理想 𝔭。分解群 D(𝔭) = {σ : σ𝔭 = 𝔭}，惯性群 trivial（p 不分歧），故 D ≅ Gal(剩余域扩张) = ℤ/fℤ 由 Frobenius σ_p（x ↦ x^p）生成。剩余域上 f 的根模 p 的极小多项式次数 = f（Hensel 提升 ⟺ 无重根），故 «f mod p 的分解型» = «σ_p 在根集上的轨道结构»；换 𝔭 只共轭 σ_p，轨道结构是共轭类不变量。□

命题 2（一维互反律 = 类域论，完整陈述）　阿贝尔扩张 L/ℚ 的 Gal ≅ ℤ/nℤ 时，对每个 p ∤ n：Frob_p = p mod n（在 Ẑ× 中）——即 «分解型由 p 在模 n 剩余类中的位置决定»。这就是阿贝尔互反律的具体形态（克罗内克–韦伯：所有阿贝尔扩张 ⊆ 分圆域；狄利克特征 ↔ 阿贝尔伽罗瓦表示的字典）。朗兰兹纲领 = 这条字典对 n 维非阿贝尔表示的 «应有» 推广。

命题 3（模块化 = 二维互反律，完整陈述与证明路线）　谷山–志村猜想（1995 怀尔斯 + Taylor–怀尔斯；2001 Breuil–Conrad–Diamond–Taylor 补全）：每条 ℚ 上的椭圆曲线对应权 2 的本征模形式。以表示语言：每个 «椭圆曲线的 ℓ-adic 表示» ρ_E,ℓ（二维，几何来源）来自模形式（自守来源）——L(E, s) = L(f, s)。证明路线：①（Wiles–Taylor–Wiles）«R = T» 技术：把 «形变环 R»（ρ 的所有形变）与 «Hecke 代数 T»（模形式的 Hecke 作用）在同余层面等同，桥接算术与自守；②（BCDT）处理剩余的 «不可约 mod 3» 边角（经 3-5 换底技巧）。这是迄今唯一成片拿下的非阿贝尔互反律。

命题 4（已证的 «岛屿» 清单，完整陈述）　①局部朗兰兹对应（局部域 ℝ、ℚ_p 上的对应完全证明——Harris–Taylor 2001 与 Henniart）；②势自守性（potential automorphy，Barnet-Lamb–Gee–Geraghty–Taylor 2013，其应用包括 Sato–Tate 定理的完整证明）；③经典群上的 Arthur 分类（正交/辛群的自守表示谱系分解，Arthur 2013）；④icosahedral 表示（A₅ 型二维表示，Buzzard–Taylor 等个别案例）的互反。一般 n 维与函子性：零。

进展与文献

朗兰兹 1967/1970 的原始信件与《Problems in the theory of automorphic forms》；Gelbart 1984 的纲领综述；Gee–Newton–Thorne 等的 «势自守» 机器是 2010s 以来唯一系统推进的整体技术。函子性的一般情形（如 GL₂ × GL₃ 的 Rankin–Selberg 卷积互反）需要 «超越轨道» 的新思想——现有 R = T 技术强依赖 «小维数» 与 «可换底» 的算术巧合。诊断：纲领的每一块已证部分都用了 «完全不同的机器»（类域论用类群论、模性用形变环、局部用表示论、Arthur 用迹公式）——这种 «块间无共同引擎» 的状态既说明纲领深刻，也说明离 «一般互反律» 还隔着整整一代数学。