结果族 043：P = W for fixed-determinant SLn moduli spaces · 学科：Algebraic and complex geometry（代数与复几何） · 验证状态：暂无形式化证明，请以社区核验为准
同一批几何对象有两份截然不同的档案：一份按”几何复杂度”分层，一份按”代数重量”分层。P=W 猜想说这两份目录页页对齐。本文补上最后一块空缺——把对齐验证推广到”复合秩”，使固定行列式情形在所有互素秩全部成立。
关键词卡片
看个具体例子
定理断言对一切 m, k ≥ 0：@@M@@P_kH^m=W_{2k}H^m=W_{2k+1}H^m@@（在整个有理上同调上）。两座楼梯这样逐层焊死：
取最小的复合秩 n=4、次数 d=1、亏格 g=2 的曲线：特征簇由 2g=4 个 SL₄(C) 矩阵、其换位子乘积等于固定标量阵的表示构成。以前只有素数秩得证，n=4 这类合数秩正是本文攻下的难关；与素秩定理合并，互素情形全秩成立。
为什么值得关心
P=W 是非阿贝尔霍奇理论的”字典核对条款”：两个长相完全不同的空间被断言共享同一套分层逻辑；本文还顺带回答了内窥对应的权相容性问题。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读说同一批几何对象有”两份档案”、两座楼梯逐层对齐。翻译成半数学语言：对象是曲线上同一类稳定解的两种化身——一种写成”向量丛加自作用矩阵”，一种写成基本群的矩阵表示；操作是给上同调分层：一份按几何映射的复杂度分楼梯，另一份按代数重量分楼梯。定理断言这两座楼梯在指标加倍后完全重合。
第二级台阶
用本科术语精确化：固定亏格不小于二的曲线 C 与秩 n、次数 d。Higgs 模空间 X 由行列式固定、迹为零的稳定 Higgs 束组成；特征簇 X^B 由 2g 个行列式为一的矩阵、其换位子乘积等于指定标量阵的表示做商得到，非阿贝尔霍奇理论给出二者微分同胚。Hitchin 映射诱导反常 Leray 滤过 P，拟射影簇的混合霍奇结构给予权滤过 W。
第三级台阶
定理 1.1 陈述：当 n 为复合数且与 d 互素时，对所有 m、k 有 P_k H^m(X^B) = W_{2k} H^m = W_{2k+1} H^m，且等式在整个有理上同调上成立——包括张量扭转群的变体部分，而不仅是不变部分。互素假设挡住的是半稳定退化与奇异模空间；”复合秩”正是素秩定理与 GLₙ 定理都够不着的地带。与素秩情形合并，固定行列式的 P=W 在一切互素秩成立。
本文在复合秩（@@M@@n\ge4@@ 非素数）、次数与秩互素的情形下，证明了固定行列式 @@M@@\mathrm{SL}_n@@ Higgs 模空间上完整形式（整个有理上同调、含变体部分）的 @@M@@P=W@@ 猜想；与已知素秩定理合并，固定行列式的 @@M@@P=W@@ 在一切互素秩都成立。
非阿贝尔霍奇理论（nonabelian Hodge theory）把两类几何上截然不同的模空间联系起来：一侧是稳定 Higgs 束（Higgs bundle）的 Dolbeault 模空间，另一侧是表示的特征簇（character variety），二者虽然微分同胚，却各自携带完全不同的代数结构。Higgs 侧的 Hitchin 映射诱导反常 Leray 滤过（perverse Leray filtration）@@M@@P@@，而特征簇作为拟射影代数簇带有 Deligne 混合霍奇结构的权滤过（weight filtration）@@M@@W@@。de Cataldo–Hausel–Migliorini 在 2012 年提出 @@M@@P=W@@ 猜想——把 @@M@@P@@ 的指标加倍后两种滤过应当重合——并在秩 2 证明。此前 @@M@@\mathrm{GL}_n@@ 情形已由 Maulik–Shen 等在任意互素秩解决，固定行列式的素秩情形也已完成；复合秩的固定行列式情形卡在一个具体障碍上：张量 @@M@@\Gamma=\mathrm{Pic}^0(C)[n]@@ 的作用把上同调分成不变部分与变体部分（variant cohomology），而已有的重言类生成定理只覆盖不变部分，变体部分无从下手。
设 @@M@@C@@ 为亏格 @@M@@g\ge2@@ 的光滑射影复曲线，@@M@@n\ge4@@ 为复合整数，@@M@@\gcd(n,d)=1@@，@@M@@L\in\Pic^d(C)@@。令 @@M@@X=M_{\mathrm{Dol}}^L(\mathrm{SL}_n)@@ 为行列式等于 @@M@@L@@、迹为零的稳定秩 @@M@@n@@ Higgs 束模空间，@@M@@X^B@@ 为对应的扭特征簇 @@M@@\{(A_1,B_1,\dots,A_g,B_g)\in\mathrm{SL}_n(\mathbb{C})^{2g}:\prod_j[A_j,B_j]=\zeta I_n\}/\!/\mathrm{SL}_n(\mathbb{C})@@，其中 @@M@@\zeta=\exp(2\pi\sqrt{-1}\,d/n)@@。主定理断言：对所有 @@M@@m,k\ge0@@，
@@M@@DP_kH^m(X^B,\mathbb{Q})=W_{2k}H^m(X^B,\mathbb{Q})=W_{2k+1}H^m(X^B,\mathbb{Q}).@@
等式在整个有理上同调上成立，经复化后包括 @@M@@\Gamma@@ 的每个非平凡特征子空间，而不仅是不变部分。结合素秩情形（Maulik–Shen 2024），本文推出推论：固定行列式、互素情形的 @@M@@P=W@@ 猜想对所有秩 @@M@@n\ge2@@ 成立。文中还给出两个推论：内窥对应的权相容性（endoscopic weight compatibility，正好回答 Maulik–Shen 2021 年的 Question 5.5），以及反常滤过的乘法性（perverse multiplicativity）@@M@@P_aH^i\smile P_bH^j\subseteq P_{a+b}H^{i+j}@@。
整个证明的骨架是：先构造一对共同的 @@M@@\mathfrak{sl}_2@@ 型算子，再证明这对算子同时控制两个滤过，最后用线性代数断言滤过必须重合。具体地，由普适丛定义次数 2 的类 @@M@@e=\int_C\bigl(\mathrm{ch}_2-\frac{c_1^2}{2n}\bigr)\in H^2(X)@@，第 2 节证明 @@M@@H^2(X)=\mathbb{Q} e@@，并借助分解定理（decomposition theorem）与相对硬 Lefschetz 得到 @@M@@e@@ 在 @@M@@\Gr^P@@ 上以 @@M@@R=(n^2-1)(g-1)@@ 为中心的 Lefschetz 性质；第 3 节在 Betti 侧证明对偶的”好奇硬 Lefschetz”（curious hard Lefschetz）：@@M@@H^*(X^B)@@ 的混合霍奇结构是 Hodge–Tate 型（奇权分片消失），且同一个类 @@M@@e@@ 关于半权分次也有中心 @@M@@R@@ 的 Lefschetz 性质。关键的线性代数命题（第 2 节 Proposition 2.6）说：若存在次数 @@M@@-2@@ 的算子 @@M@@f@@ 同时满足 @@M@@fP_k\subset P_{k-2}@@、@@M@@fW_j\subset W_{j-4}@@ 且 @@M@@[[f,e],e]=-2e@@，则 @@M@@h_0=[e,f]@@ 半单，两个滤过都等于 @@M@@h_0@@ 特征子空间的直和，故必然相等。于是全部困难集中于构造这样一个 @@M@@f@@。
构造分三步。先引入带一个对数极点的 @@M@@\lambda@@-联络模空间，它把 Higgs 束（@@M@@\lambda=0@@）与联络（@@M@@\lambda=1@@）插入同一族；在极点处附加全旗（full flag）条件，并把有序残差形变到虚部互异的值。再对两条残差特征线格做方向相反的初等修正（elementary modification，即 Hecke 型格平移）：这两步平移生成模空间之间的同构族，在联络侧它恰好化为特征值的单值变换（eigenvalue monodromy）。取其某次幂的对数得到幂零导子 @@M@@N@@，它把”图表权”（diagram weight，按 Shende 的约定给动点基的上链赋权零）降低 2。令 @@M@@f'=\pr_*\mathsf A\,N^2\mathsf B\,\pr^*@@，其中 @@M@@\mathsf A,\mathsf B@@ 是旗对应的 Gysin 映射（@@M@@\mathsf A\mathsf B=(-1)^b n!\,\mathrm{id}@@），旗带来的 @@M@@\pm 2b@@ 权移位相消，@@M@@N^2@@ 降权 4，对有限覆盖 @@M@@S\to C@@ 的积分权移位为零，故 @@M@@f'W_j\subset W_{j-4}@@。最后，沿一条 Higgs 直线做专门化（specialization）：近傍闭链（nearby cycles）把平移实现为 Hitchin 基上直像的自同态，一个有限多项式实现 @@M@@N@@，与旗对应复合后得到层态射 @@M@@Rh_*\mathbb{Q}_X\to Rh_*\mathbb{Q}_X[-2]@@，由反常截断的移位规则立刻给出反常界 @@M@@f'P_k\subset P_{k-2}@@；一次格 Riemann–Roch 计算给出 @@M@@[[f,e],e]=-2e@@。组装后即得 @@M@@P_k=W_{2k}@@，奇权消失给出 @@M@@W_{2k}=W_{2k+1}@@；一般行列式 @@M@@L@@ 通过张量 @@M@@n@@ 次根线丛化归。全文最难的一环是把 Mellit 的环面分层（toric stratification）沿 @@M@@n^{2g}@@ 次有限 étale 行列式根覆盖拉回：逐连通分量验证拉回是混合霍德结构同构，再用五引理把好奇硬 Lefschetz 从各分层传到整个模空间，并建立积分局部常值性与普通底变换（ordinary base change）——正因如此结论才覆盖变体上同调，而无需取 @@M@@\Gamma@@ 不变量。个别步骤（图表权的混合霍奇模细节、交换子计算）技术性较强，此处从略。
本文主结果尚无 Lean 形式化证明，按 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。作为结果族 043 的代表篇，它与其姊妹结果互相支撑：任意秩的 @@M@@\mathrm{GL}_n@@ 定理（Maulik–Shen 2024）、Mellit 的环面分层（2025）以及 Hausel–Mellit–Minets–Schiffmann 的 Hecke 代数方法是其直接输入，素秩固定行列式定理则由 de Cataldo–Maulik–Shen 给出，与本文合并方得”所有互素秩”的完整图景。证明中把滤过比较还原为单一 @@M@@\mathfrak{sl}_2@@ 三元组的策略清晰可查，但覆盖拉回与图表权两处新几何步骤涉及大量技术引理，其核验依赖原文细节。
问 1：证明中最关键、也最脆弱的一步是什么？
（答：构造一个次数 −2 的算子 f 同时满足三条：fP_k⊂P_{k-2}、fW_j⊂W_{j-4}、[[f,e],e]=−2e；由第 2 节的线性代数判据（ Proposition 2.6 模式），两滤过即都等于 [e,f] 特征子空间分解而重合。最脆处是把 Mellit 环面分层沿 n^{2g} 次行列式根覆盖拉回：逐连通分量验证混合霍奇结构同构、建立普通底变换，才能把好奇硬 Lefschetz 传到全上同调。）
问 2：变体上同调为什么是此前所有路线的卡点？
（答：扭点群 Γ=Pic⁰(C)[n] 靠张量作用把上同调分为不变与变体两部分，而已有的射影重言类生成定理（Maulik–Shen 定理 2.1(i)）只生成不变部分；素秩时 de Cataldo–Maulik–Shen 靠归约到 GL_p 绕开，复合秩没有对应通道。本文改为在取不变量之前、在整个上同调上直接造算子，绕过生成定理。）
问 3：与已有工作相比真正的新意是什么？
（答：GLₙ 任意互素秩已由 Maulik–Shen 等解决，固定行列式的素秩也已完备；新意是复合秩＋固定行列式＋整个有理上同调的组合，且策略上不再依赖任何重言类生成结果，而是把滤过比较还原为单一 𝔰𝔩₂ 三元组的显式构造。）
问 4：这类 AI 生成证明最可能出错的模式是什么？
（答：权移位簿记。旗对应带来 ±2b 的移位、N² 降权 4、沿有限覆盖积分移位为零——所有这些必须精确相消；加之交换子 [[f,e],e]=−2e 靠一次格 Riemann–Roch 计算，混合霍奇模的图表权构造又涉及拟凝聚增强等重技术。任何一处符号或次数算错，”相消”就变成”失配”，而表面证明仍然看似通顺。）
问 5：互素假设 gcd(n,d)=1 为什么不能去掉？
（答：互素性保证模空间光滑、特征簇中每个表示不可约，非阿贝尔霍奇理论由此给出二者的微分同胚——它是把 P 从 Higgs 侧搬到 Betti 侧的前提。失去互素性则半稳定对象出现、空间奇异，两个滤过的定义本身都要更换框架，论文未展开此情形。）
问 6：内窥推论回答了什么问题？
（答：推论（endoscopic weight compatibility）把本文全秩等式与覆盖侧 GL_r 的 P=W 合并，给出 Maulik–Shen 2021 年问题 5.5 所问的精确 Betti 权像等式——内窥对应在权上的相容性，这是 P=W 面向一般亏格、一般秩推广的必要部件。）
问 7：谁会用到这个结果？
（答：非阿贝尔霍奇理论与特征簇混合霍奇理论的工作者直接受益：反常乘法性推论 P_aH^i⌣P_bH^j⊂P_{a+b}H^{i+j} 可当计算工具用；与素秩定理合并后，固定行列式互素 P=W 全秩封闭，为镜像对称（Hausel–Thaddeus 对偶）与上下文中的拓扑计数提供完整字典。）
补齐复合秩最后空缺、覆盖变体上同调，使固定行列式 P=W 在互素全秩封顶，分量扎实；最大风险集中在权移位簿记与覆盖拉回的技术引理，恰是机器证明最难自查、人工最须逐条复核之处。