结果族 014：Restricted geometric Langlands, global Arthur enhancements, and generic Ramanujan · 学科：Number theory · 验证状态：暂无形式化证明，请以社区核验为准
一套音响的”健康标准”是：没有任何频段被异常放大。函数域上的自守表示也有类似标准，叫”温和”（tempered）；广义拉马努金猜想断言好的表示处处达标。此前”主干道”（非分歧位）的检查已由姊妹篇完成，这篇论文把五个最特殊的例外群 @@M@@G_2,F_4,E_6,E_7,E_8@@ 的大街小巷——包括最刁钻的”岔路”分歧位——全部查完：处处温和。
关键词卡片
@@M@@G_2,\dots,E_8@@）：不属于四大经典家族的五个特殊单群。@@M@@N@@）：分歧位参数中记录额外结构的部分，以往的难点。看个具体例子
证明所用局部判别法有个漂亮图景：特征值的绝对值允许偏离 1，但沿 Jordan 链必须对称分布——例如 @@M@@Q,1,Q^{-1}@@，像天平一样平衡（”权零纯”）。只要表示的参数容许这种对称的完备化，表示就温和。全局纯性提供对称，判别法逐位收割，即得每个 @@M@@\pi_v@@ 都温和。
为什么值得关心
经典群的情形由 Drinfeld、L. Lafforgue、Lomelí 等完成，例外群此前只有带附加假设的部分结果；本文补齐这块拼图，且对特征与分歧深度毫无限制。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读用音响的”健康标准”作比：没有任何频段被异常放大，这就是温和；广义拉马努金猜想断言”好”的表示处处达标。翻译过来：对象是尖点自守表示在各个位上的局部分量，”达标检查”就是逐位验证无异常放大；导读里的”天平”图景——特征值的绝对值可以偏离一，但沿 Jordan 链必须对称分布——正是本文的判据原型。姊妹篇查完”主干道”（非分歧位），本文把例外群的大街小巷包括最刁钻的岔路全部查完。
第二级台阶
| 用本科以上术语定形：整体泛型指某向量对每个单根坐标都非平凡的特征有非零 Whittaker 系数；温和指酉表示弱包含于正则表示。分歧位的 Weil–Deligne 参数由半单 Weil 部分加一个幺幂单项算子 N 组成（N 满足 Ad(r(w))N= | w | N）；权零纯指 Frobenius 在单项滤波第 j 层分块上的特征值绝对值均为 Q^{j/2}——恰是”天平对称”的代数说法。 |
第三级台阶
定理的语境：GL₂（Drinfeld）、GLₙ（L. Lafforgue）、分裂典型群（Lomelí）之后，例外群只有带假设的部分结果；真正的障碍是 Genestier–Lafforgue 的整体—局部相容性只给出半单 Weil 参数、不携带单项算子。主定理断言：对 G₂、F₄、E₆、E₇、E₈ 型分裂伴随绝对单群，整体泛型尖点表示的每个局部分量都温和，对特征、分歧深度、表示类型无任何限制。技术核心是纯完备判别法：若局部泛型表示的半单参数容许一个伴随权零纯的 Weil–Deligne 完备，则表示温和——它不预设局部朗兰兹对应。全局侧由姊妹篇的非分歧定理供给纯性，Deligne 的 Weil II 局部单项定理再在每位补出纯完备，判别法逐位收割；”分裂伴随绝对单”的假设范围正是判别法与全局输入的公共作用域。
对函数域上 @@M@@G_2,F_4,E_6,E_7,E_8@@ 型分裂伴随例外单群，论文证明广义拉马努金猜想：整体泛型（globally generic）尖点自守表示的每个局部分量都温和（tempered），无任何特征与分歧深度限制，把姊妹篇的非分歧定理推进到全部分歧位。
拉马努金猜想断言：尖点自守表示（cuspidal automorphic representation）的每个局部分量都温和，即酉且弱包含于正则表示。函数域上 Drinfeld 证明了 @@M@@\GL_2@@，Laurent Lafforgue 证明了 @@M@@\GL_n@@，Lomelí 处理了分裂典型群与拟分裂酉群，例外群此前只有带附加假设的部分结果。难点在分歧位：非分歧参数由 Satake 类决定，而分歧位的 Weil–Deligne 参数还含幺幂单项算子（monodromy operator）@@M@@N@@；Vincent Lafforgue 的 excursion 理论与 Genestier–Lafforgue 的相容性只给出半单 Weil 参数，不携带 @@M@@N@@。本文补上缺失的单项算子比较。
主定理：设 @@M@@F=\mathbb F_q(X)@@ 为函数域，@@M@@G/F@@ 是 @@M@@G_2,F_4,E_6,E_7,E_8@@ 型分裂连通伴随绝对单群。若 @@M@@\pi=\bigotimes'_v\pi_v@@ 是 @@M@@G(\mathbb A_F)@@ 上整体泛型的复尖点自守表示——某向量的 Whittaker 系数对每个单根坐标均非平凡——则每个 @@M@@\pi_v@@ 都温和，对特征、分歧深度、表示类型均无限制；经典类型已由 Lomelí 覆盖。
技术核心是局部判别法（纯完备判别法）：设 @@M@@\tau@@ 是局部函数域上分裂伴随单群的不可约泛型光滑表示，若其半单 Weil 参数 @@M@@\rho_\tau@@ 容许伴随表示权零纯（pure of weight zero）的 Weil–Deligne 完备 @@M@@(\rho_\tau,N_*)@@——Frobenius 在单项滤波（monodromy filtration）第 @@M@@j@@ 层分块上的特征值绝对值均为 @@M@@Q^{j/2}@@——则 @@M@@\tau@@ 温和。权零纯允许 Weil 部分特征值偏离单位圆，只要求沿 Jordan 链对称分布；判别法不预设局部 Langlands 对应。
“先全局取纯性，再局部判别”。全局输入是姊妹篇的非分歧定理：有一个泛型非分歧分量，则全部非分歧分量温和。全局 Whittaker 泛函的加性特征处处非平凡，故每个 @@M@@\pi_v@@ 都泛型且几乎处处非分歧；于是伴随局部系统 @@M@@\Ad\circ\Sigma@@（@@M@@\Sigma@@ 为 excursion 参数）在非分歧位点态权零纯。任意位处，Deligne 的 Weil II 局部单项定理再给出权零纯的局部 Weil–Deligne 表示，Genestier–Lafforgue 相容性保证其 Weil 部分恰为 @@M@@\rho_{\pi_v}@@，判别法即得温和。
判别法用反证法：若 @@M@@\tau@@ 非温和，Langlands 分类把它写成 @@M@@I_P^G(\sigma_\nu)@@ 的 Langlands 商，@@M@@P=MR@@ 真包含，@@M@@\sigma@@ 温和，@@M@@\nu@@ 在正腔。先由 Gan–Harris–Sawin 温和完备定理给 @@M@@\sigma@@ 配 @@M@@(\rho_\sigma,N_M)@@，@@M@@\nu@@-扭转后嵌入对偶群得 @@M@@(r,N_M)@@，Weil 部分即 @@M@@\rho_\tau@@。再证伴随 @@M@@L@@-因子在 @@M@@s=1@@ 正则：长交缠算子的像为泛型 Langlands 商，故局部系数 @@M@@C_G(\nu,\sigma)@@ 非零；比较定理把 @@M@@C_G(z,\sigma)@@ 表为 @@M@@\prod_b L(1-b(z),r_b^\vee)/L(b(z),r_b)@@，因 @@M@@b(\nu)>0@@，分母正则、分子被迫无极点，由 @@M@@\Lie(\widehat G)=\Lie(\widehat M)\oplus\widehat{\mathfrak n}\oplus\widehat{\mathfrak n}^-@@ 三分解得正则。所设纯完备 @@M@@(r,N_*)@@ 同样正则；由轨道命题，伴随正则迫使单项算子落入唯一开轨道，故二者共轭，纯性传给 @@M@@(r,N_M)@@。而 @@M@@\widehat{\mathfrak n}@@ 是直和项，纯性使其 Frobenius 行列式绝对值为 @@M@@1@@；但扭转前该值为 @@M@@1@@，@@M@@\nu@@-扭转把它乘成 @@M@@Q^{-\sum_b b(\nu)\dim V_b}@@，严格小于 @@M@@1@@，矛盾。
比较定理分三步：先证诱导族的 Whittaker 余不变量线自由秩一且与特化交换；再用 Weyl 元初等分解与乘法性化到秩一情形（Tate @@M@@\gamma@@ 因子）；最后对超尖点数据，用 Gan–Lomelí 整体化定理造出仅在指定位等于 @@M@@\sigma@@、他处为主序列的整体泛型尖点表示，比对自守与几何两侧的函数方程，他处因子相消。关键引理——同一 Weil 部分的两个 Weil–Deligne 表示的 @@M@@L@@-因子比值只差一个单位——使比较无需识别单项算子，绕开”半单参数不含 @@M@@N@@“之障碍。
本文是 OpenAI 2026 年 10 月 5 日的预印本，主结果暂无形式化证明，请以社区核验为准。姊妹篇的非分歧拉马努金定理是本文唯一的全局输入，两者合并即族概述中”每个位都拉马努金、无特征与分歧深度限制”的结论；局部判别法适用于任意分裂伴随单群，可独立复用。按 OpenAI 官方声明，未经形式化的结果可能有问题。
问 1：证明中最关键、最脆弱的一步是什么？
（答：局部系数比较（第 3 节）：把总局部系数 C_G(z,σ) 表为 Weil–Deligne L-因子乘积的比值，其关键引理是”同一 Weil 部分的两个 Weil–Deligne 表示的 L-因子比值只差一个不为零的单项式”。正是这条初等抵消让比较无需识别单项算子——绕开”半单参数不含 N”障碍的全部技巧都在此；乘法性化到秩一 Tate 因子、再用 Gan–Lomelí 整体化与 Lomelí 的粗糙函数方程比对，链条长且依赖多。）
问 2：为什么只证 G₂–E₈，且必须整体泛型？
（答：经典群已由 Lomelí 覆盖（含特征 2），例外群是缺口的最后一块；局部判别法本身适用于任意分裂伴随绝对单群（定理 thm:local-criterion），限制来自全局输入——姊妹篇的非分歧定理与 Genestier–Lafforgue 相容性的作用范围。泛型不可去：非泛型尖点表示可以正当非温和（Arthur 理论的本意），论文未主张。）
问 3：与 Sawin–Templier、Ciubotaru–Harris 相比真正新意是什么？
（答：前者要 monomial 几何超尖点加循环基变换假设，后者要”某处温和”的附加假设；本文对特征、分歧深度、表示类型零限制，且核心贡献是补上缺失的单项算子比较——只用半单对应就导出温和性，这在方法上是新的一档。）
问 4：判别法的矛盾机制是什么，薄在哪里？
（答：设 τ 非温和，Langlands 数据给出真 Levi 上温和 σ 与正指数 ν；伴随 L-因子在 s=1 的正则性（长交缠算子在 Whittaker 余不变量上标量非零）迫使两个完备的单项算子同处唯一开轨道而共轭，纯性传给 (r,N_M)；纯性使 n̂ 直和项的 Frobenius 行列式绝对值为 1，而 ν-扭转把它乘成 Q^{-Σb(ν)dimV_b}<1，矛盾。薄处在于”正则⇒开轨道”那步的轨道命题与三分解的维数记账。）
问 5：AI 生成的证明最可能出什么错？
（答：高危在整体化环节：Gan–Lomelí 定理造出的整体泛型尖点表示要求”仅指定位等于 σ、他处为主序列”，函数方程比对时他处因子相消的簿记若漏掉一处即失效；局部系数随特化的交换（诱导族 Whittaker 余不变量线自由秩一）是隐性依赖；权零纯沿单项滤波的分块计数（第 j 层 Q^{j/2}）是典型的易错指数记账。）
问 6：谁会用到？
（答：与姊妹篇合并即得”例外群每处拉马努金、无特征与分歧深度限制”的完整结论；纯完备判别法独立可复用，适用于任意分裂伴随单群上的局部问题；它同时验证了 Gross–Prasad/Rallis 型”泛型 ⇔ 伴随 L-因子在 1 正则”原理在此范围的正确性。）
总评
补齐广义拉马努金猜想拼图中最硬的例外群分歧位一块，方法上以”半单对应加纯性”绕过缺失的局部朗兰兹，分量扎实；最大风险在局部系数比较的引理链条与整体化消去的簿记，是依赖密集、需逐条核验的 AI 手稿。