MathLabs

解法:吴宝珠利用Hitchin纤维化与几何支撑定理给出的证明(2008年)

第 4/9 步:用曲线上的Hitchin纤维化实现整体化
通俗地说

与其一次只研究一个位处的不动格图像,不如想象把同样的数据连续地铺展在整条代数曲线 XX 上,其中每一点都像一个独立的局部域。XX 上 Higgs 丛的模空间一次性打包了一整族类仿射斯普林格纤维的空间,参数空间 AA 的每一点 aa 对应一个。

收获在于:在精心选取的 aa 处,对单一整体纤维上的点计数,会自动一次性算出所有位处局部计数的组合,从而把一个纯粹局部的问题变成一个单一的几何问题。

MHiggs(G,X) ↠ A,fibre over a∈A ↔ {affine Springer fibers at γa}M_{Higgs}(G, X) \ \twoheadrightarrow \ A, \quad \text{fibre over } a \in A \ \leftrightarrow \ \{\text{affine Springer fibers at } \gamma_a\}
详细分析

吴宝珠的关键思想是整体性的:射影曲线 XX 上 GG-Higgs 丛的模空间带有一个到仿射空间 AA 的 Hitchin 映射 f:M→Af: M \to A(即由 Higgs 场特征多项式构造的 Hitchin 纤维化),而根据 Weil 猜想,通过格罗滕迪克–莱夫谢茨迹公式对 a∈Aa \in A 上纤维的点计数,等于在 XX 的所有位处同时取的、对应元素 γa\gamma_a 处局部轨道积分之积(Ngô 2010, §4; Hales 2011, §5)。

由于第3步中的局部域 Fq((t))\mathbb{F}_q((t)) 恰好就是这样一条曲线上某一点处的完备局部环,Hitchin 纤维的上同调按位处分解,恰好分解为前面描述过的那些仿射斯普林格纤维——这是一条把整体计数与局部计数联系起来的“质量乘积公式”。

于是基本引理——一个纯局部的命题——变成了关于 Fq\mathbb{F}_q 上单一的、高度结构化的代数簇整体族的上同调问题。

本步骤中的术语
Hitchin纤维化
通过 Higgs 场的特征多项式,从代数曲线 XX 上 GG-Higgs 丛的模空间 MM 到仿射空间 AA 的映射 f:M→Af: M \to A;由奈杰尔·希钦(Nigel Hitchin)于1987年为规范场论中的另一个问题而引入。
Higgs丛
曲线 XX 上一个向量丛与一个扭化自同态(即 Higgs 场)组成的对;其特征多项式给出 Hitchin 映射下 AA 中的点。
本步骤用到的知识