结果族 014：Restricted geometric Langlands, global Arthur enhancements, and generic Ramanujan · 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
用一把带无理数刻度的尺子搭好一排书架，事后却发现：每层隔板的位置都恰好落在整数格点上。这篇论文就是数论版的这一幕：自守函数空间上有一套用 @@M@@\ell@@-进工具搭出的、层层嵌套的”滤过”结构，作者证明这套结构其实完全定义在有理数 @@M@@\mathbb Q@@ 之上——解决了 Gaitsgory–Lafforgue–Raskin 的有理性猜想。
关键词卡片
@@M@@\ell@@-进系数（@@M@@\ell@@-adic coefficients）：几何朗兰兹里代替复数系使用的系数系统，本定理证明可降回有理数。看个具体例子
玩具版滤过：@@M@@\{0\}\subset@@（一条直线）@@M@@\subset\mathbb R^2@@。有理性问的是：每层能否由”坐标全为有理数”的向量张成？例如由 @@M@@(1,\sqrt2)@@ 张成的直线就不是有理的。主定理的结论是 @@M@@E\otimes_{\mathbb Q}(\mathcal A_{\mathbb Q}\cap\mathcal F_Y)\cong\mathcal F_Y@@：把 @@M@@\ell@@-进滤层交回有理数、再重新扩张，严丝合缝、一分不差。
为什么值得关心
两套来源迥异的构造（@@M@@\ell@@-进范畴迹与有理函数空间）竟能在 @@M@@\mathbb Q@@ 上完全对齐——这种”意外的有理性”通常预示更深的算术结构，且结论覆盖非尖点部分、无需尖点性假设。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读的意象是”无理数刻度的尺子搭出的书架，隔板却全落在整数格点上”。翻译成半数学语言：研究对象是定义在曲线上的群丛同构类上的有限支撑函数全体——一个天然带”有理坐标”的空间；操作是用一套 ℓ-进几何工具（层、迹、支集条件）在它上面搭一套逐层嵌套的滤过结构。导读宣告的”意外有理性”，就是问：这套用超越工具搭出的隔板，是否每层都能由有理数据完全描述。
第二级台阶
用本科以上术语精确化：设 G 为有限域曲线上分裂半单群，S 是 G-丛同构类之集，A_L=L^{(S)} 是 S 上有限支撑函数的空间；对偶李代数中的幂零锥 N̂ 里取闭不变子集 Y，幂零轨道（幂零元素的共轭类）充当各层的标签。几何侧用带幂零奇异支集条件的层范畴 C 与几何 Frobenius 的范畴迹，经迹—函数同构定义滤过：F_Y A_E 是支集被 Y 控制的迹类映到函数空间的像，其中 E 是 ℓ-进系数域。
第三级台阶
定理的语境是 Gaitsgory–Lafforgue–Raskin（与 Kazhdan 合作）的猜想 2.7.3：他们构造的典范滤过应定义在 ℚ 上。困难有二：滤过系数天然落在 E 中而函数空间有 ℚ-形式，两套来源不同；且文献中支集迹的集中与单射原本依附于一条未证的 GLR 猜想 2.1.5，须另行建立。主定理断言：对每个 ℓ 与每个闭不变 Y，自然映射 E⊗_ℚ(A_ℚ∩F_Y A_E)→F_Y A_E 是同构——滤过整体带 ℚ-形式。四条特征假设（不变双线性型、Levi 的 Chevalley 同构、半单中心化子是 Levi、幂零元落在定义在扩域上的抛物根基）挡住了受限理论中矩映射模型与轨道计算的病态；结论不设尖点性或 Hecke 有限性，覆盖非尖点部分，且这些有理子空间与 ℓ 无关。
在受限几何朗兰兹理论的特征假设下，证明分裂半单群的非分歧（unramified）自守函数空间上按幂零轨道（nilpotent orbit）递增的典范 Arthur 滤过（canonical Arthur filtration）定义在 @@M@@\mathbb Q@@ 上，正面解决 Gaitsgory–Lafforgue–Raskin 的有理性猜想，且无需尖点性或 Hecke 有限性假设。
Arthur 的自守猜想用参数中一个额外的代数 @@M@@\mathrm{SL}_2@@ 因子刻画表示偏离温和性（temperedness）的程度。在几何朗兰兹纲领中，Arinkin–Gaitsgory 引入幂零奇异支集（nilpotent singular support）来编码这一”Arthur 方向”，AGKRRV 六位作者进一步在有限域曲线上建立了配套的受限局部系统栈（restricted local-system stack）与幂零自守范畴。Gaitsgory–Lafforgue–Raskin（与 Kazhdan 合作）据此在自守函数空间上构造出按幂零轨道递增的典范滤过，并猜想（GLR 猜想 2.7.3）它应当定义在 @@M@@\mathbb Q@@ 上。卡点在于两套结构来源不同：滤过经 @@M@@\ell@@-adic 范畴的奇异支集与范畴迹（categorical trace）定义，系数在 @@M@@E=\overline{\mathbb Q}_\ell@@ 中；而函数空间本身带有自然的 @@M@@\mathbb Q@@-形式。此外，文献中支集迹的集中与单射此前依附于一条未证明的 GLR 猜想 2.1.5，本文必须另行建立。
设 @@M@@X/\mathbb F_q@@ 为光滑投影几何连通曲线，@@M@@G/\mathbb F_q@@ 分裂、连通、半单，并设四条 Lie 论特征假设成立：李代数上有 @@M@@H@@-不变非退化对称双线性型，且它在每个 Levi 子群李代数的中心上仍非退化；每个 Levi 满足 Chevalley 型同构 @@M@@k_0[\mathfrak m]^M\simeq k_0[\mathfrak t_M]^{W_M}@@；半单元的概形论中心化子均为 Levi 子群；任何域扩张下的幂零元均落在某个在该域上定义的抛物子群的幂零根基中。令 @@M@@S@@ 为 @@M@@X@@ 上 @@M@@G@@-丛同构类之集，@@M@@\mathcal A_L=L^{(S)}@@ 为有限支撑函数空间；@@M@@\mathcal C=\mathrm{Shv}_{\mathrm{Nilp}}(\mathrm{Bun}_G(\overline X),E)@@ 为带全局幂零奇异支集条件的层范畴，@@M@@\Phi@@ 为几何 Frobenius 推前。受限几何朗兰兹等价 @@M@@\mathcal C\simeq\mathrm{IndCoh}_{\widehat{\mathcal N}}(Z)@@（@@M@@Z@@ 为受限局部系统栈中出现的连通分支之并）把闭 @@M@@\mathrm{Ad}(\widehat G)@@-不变子集 @@M@@Y\subset\widehat{\mathcal N}@@（@@M@@\widehat{\mathcal N}@@ 为对偶李代数的幂零锥）的支集范畴 @@M@@\mathcal C_Y@@ 对应到 @@M@@\mathrm{IndCoh}_Y(Z)@@——注意 @@M@@Y@@ 约束的是奇异方向，即伴随局部系统的水平截面 @@M@@A@@ 取值于 @@M@@Y@@，而非函数本身的支集。结合迹—函数同构 @@M@@\mathrm{Tr}(\Phi,\mathcal C)\simeq\mathcal A_E@@，定义滤过 @@M@@\mathcal F_Y\mathcal A_E=\mathrm{im}\bigl[H^0\mathrm{Tr}(\Phi,\mathcal C_Y)\to\mathcal A_E\bigr]@@。主定理断言：对每个 @@M@@\ell\ne\operatorname{char}(\mathbb F_q)@@ 与每个闭不变 @@M@@Y@@，映射 @@M@@E\otimes_{\mathbb Q}(\mathcal A_{\mathbb Q}\cap\mathcal F_Y\mathcal A_E)\xrightarrow{\ \sim\ }\mathcal F_Y\mathcal A_E@@ 是同构，即整个滤过带有 @@M@@\mathbb Q@@-形式。定理覆盖全部有限支撑函数（含非尖点部分），不需要 @@M@@X(\mathbb F_q)@@ 非空；文中还证明这些有理子空间与 @@M@@\ell@@ 无关，且在非分歧尖点子空间上恰等于姊妹篇的有理 Arthur 轨道直和项之和。
证明沿”二次模型、紧 Weil 迹类、双线性测度判据、有理下降”四步推进。第一步把每个 Frobenius 不变的谱分量换成显式的二次矩映射（moment map）模型：先由 Deligne 的纯性（purity）给半单参数配上权零 Weil 提升，使 Frobenius 特征值按 @@M@@q^{w/2}@@ 分层分离；再在加框分量的唯一闭轨道处完备化，用”有限协变式恢复”保证局部有限的有理信息在完备化中不丢失；核心的非共振（nonresonance）引理利用权严格错开（@@M@@q^{-(n-1)/2}\neq1@@，容许 Jordan 块）把 Frobenius 作用共轭为线性、把微分压成二次，而 Baker–Campbell–Hausdorff 展开识别出该二次障碍正是矩映射 @@M@@\mu:V\to\mathfrak j^*@@（@@M@@V=H^1(\overline X,\widehat{\mathfrak g}_\sigma)@@）。于是 @@M@@Z_\sigma\simeq[(\mu^{-1}(0))^\wedge/J]@@，奇异点为满足 @@M@@\mu(x)=0@@、@@M@@zx=0@@ 的点对 @@M@@(x,z)@@，@@M@@Y@@-支集即 @@M@@z@@ 在 @@M@@\widehat{\mathfrak g}@@ 中的像落入 @@M@@Y@@。第二步证明支集迹的集中与张成：先用有限 Koszul 提升消去不变基上的支集（外代数给出非零因子 @@M@@\det(1-F_U)@@），再用逆搬运作用在 @@M@@(x,z)@@ 上的点权 @@M@@(1,-2)@@ 收缩扭 bar 复形（twisted bar complex），只剩权零的半单 Clifford 系数范畴，故迹集中于零度、由真实紧 Weil 对象的类张成；局部化的上纤维列沿有限轨道滤过逐层拼装。第三步建立双线性判据：配对 @@M@@[f,g]=\sum_b f(b)g(b)/|\mathrm{Aut}(b)|@@ 经 AGKRRV 的非标准自守对偶把 Hecke 矩阵系数 @@M@@[T_Df,g]@@ 化为 @@M@@\mathrm{RHom}@@ 上的超迹；以局部上同调（local cohomology）沿幂零轨道分层，法向对称幂与切向多项式均按几何率衰减，汇成唯一的有限复测度 @@M@@\nu_{f,g}@@，满足 @@M@@[T_Df,g]=\int_B\chi_D\,d\nu_{f,g}@@，且 @@M@@f\in\mathcal F_Y\mathcal A_{\mathbb C}@@ 当且仅当对一切 @@M@@g@@ 有 @@M@@\operatorname{supp}(\nu_{f,g})\subset B_Y@@，其中 @@M@@B_o=\{[\lambda_e(\sqrt r)s]\}@@ 是由 @@M@@\mathrm{SL}_2@@ 三元组定义的两两不交紧集。非抵消有两道保险：顶轨道上的普适密度处处非零、可用有限特征的一致逼近消去，只剩半单系数范畴的非退化配对；边界轨道的环境伴随秩严格下降、紧集互不相交，非零类必被某个测试函数测到。第四步有理下降：判据右端只涉及点计数的 Hecke 算子、有理栈权与同一批紧集，对每个抽象同构 @@M@@E\simeq\mathbb C@@ 都相同，故滤过在 @@M@@\mathrm{Aut}(E/\mathbb Q)@@ 下不变；再用有限坐标的行阶梯论证（该群的不动域为 @@M@@\mathbb Q@@）得 @@M@@E\otimes_{\mathbb Q}(W\cap\mathcal A_{\mathbb Q})\cong W@@，完成主定理。
本文为 OpenAI 生成的手稿，主结果暂无形式化证明，请以社区核验为准；OpenAI 官方声明”未经形式化的结果可能有问题”。文章的框架性输入——受限朗兰兹等价、谱支集相容性、迹—函数同构、非标准对偶——分别引自 GR、Raskin、AGKRRV 系列并在文中明确标注出处，自身贡献（二次模型、测度判据、非抵消与下降论证）给出了完整证明。族内姊妹篇互相支撑：《Ramanujan–Arthur Decompositions》在平凡水平证明 GLR 猜想 3.4.5/3.4.6 并给出有理轨道直和分解，本文推论把滤过在尖点子空间上与这些直和项等同；《Global Arthur Enhancements》则在该分解假设下构造整体 Arthur 增强。
问 1：证明中最关键、最脆弱的一步是什么？
（答：双线性测度判据（定理 meas:detector）及其”非抵消”保险：对每对 f,g 存在唯一有限复测度 ν_{f,g} 使 [T_D f,g]=∫χ_D dν，且 f 属于滤层当且仅当对一切 g 测度支集落入 B_Y。要让它真能检测，必须保证边界抵消藏不住非零顶类——论文靠两道保险：顶轨道上密度可逆、有限特征逼近；边界轨道环境伴随秩严格下降且紧集两两不交。任何一道失守，判据只是同义反复。）
问 2：四条特征假设为什么不能去掉？
（答：它们是受限理论的标准代价（与 AGKRRV 一致）：非退化不变双线性型与 Levi 的 Chevalley 同构支撑二次矩映射模型与不变量分离；半单中心化子是 Levi 保证开轨道切片结构；扩域抛物条件保证幂零轨道几何在任意基变换下不退化。去掉任何一条，局部模型 Z_σ≃[(μ^{-1}(0))^∧/J] 的建立都会失据；论文未在假设之外作任何推广。）
问 3：与 GLR 的工作相比，真正的新意是什么？
（答：正面解决 GLR 猜想 2.7.3 本身；且 GLR 文献中支集迹的集中与单射（其推论 2.1.10/2.1.13）依附于未证的猜想 2.1.5，本文从分支与轨道计算独立证出所需版本，还构造了真实的紧 Weil 代表元，故描述的是像而非抽象伴随分次。全函数空间上的双线性检测器、非抵消与有理下降论证均为本文发展，先行者 Kazhdan–Okounkov 的 Eisenstein 谱处理不含此定理。）
问 4：有理下降为什么成立——判据右端凭什么与系数同构无关？
（答：测度判据的右端只涉及同一套复函数空间、点计数的 Hecke 算子、有理栈权与由 SL₂ 三元组定义的紧集 B_o，对每个抽象同构 E≅ℂ 都相同，故滤过在 Aut(E/ℚ) 下不变；再用有限坐标的行阶梯论证（该群不动域为 ℚ）得同构。测度只要求有限总变差、不要求正性——这是刻意的松绑。）
问 5：AI 生成的几何证明最可能在哪里出错？
（答：高危在两处：非共振引理要求权严格错开（q^{-(n-1)/2}≠1，容许 Jordan 块）才能把 Frobenius 作用共轭为线性、BCH 展开识别二次障碍，权分层若有一处算错模型就错；扭 bar 复形在点权 (1,-2) 下收缩只剩权零半单 Clifford 系数范畴，此收缩的权记账是典型的易错簿记。）
问 6：谁会用到？
（答：直接用户是 GLR 纲领的推进者：ℓ 无关性与 ℚ-形式是后续任何算术化（如特征的 Galois 侧描述）的前提；在非分歧尖点子空间上，本文推论把滤过与姊妹篇《Ramanujan–Arthur Decompositions》的有理轨道直和项之和等同，两文合起来给出从函数空间到 Arthur 数据的完整有理桥梁。论文未讨论更远的应用。）
总评
把”两套来源迥异的结构在 ℚ 上对齐”这一预示深算术的猜想落成定理，且补齐了 GLR 遗留的条件性缺口，分量扎实；最大风险是非抵消保险与权记账这类薄边际论证，属于需要范畴论与轨道几何双料专家逐节核验的手稿。