解法:吴宝珠利用Hitchin纤维化与几何支撑定理给出的证明(2008年)
通俗地说
与其一次只研究一个位处的不动格图像,不如想象把同样的数据连续地铺展在整条代数曲线 上,其中每一点都像一个独立的局部域。 上 Higgs 丛的模空间一次性打包了一整族类仿射斯普林格纤维的空间,参数空间 的每一点 对应一个。
收获在于:在精心选取的 处,对单一整体纤维上的点计数,会自动一次性算出所有位处局部计数的组合,从而把一个纯粹局部的问题变成一个单一的几何问题。
详细分析
吴宝珠的关键思想是整体性的:射影曲线 上 -Higgs 丛的模空间带有一个到仿射空间 的 Hitchin 映射 (即由 Higgs 场特征多项式构造的 Hitchin 纤维化),而根据 Weil 猜想,通过格罗滕迪克–莱夫谢茨迹公式对 上纤维的点计数,等于在 的所有位处同时取的、对应元素 处局部轨道积分之积(Ngô 2010, §4; Hales 2011, §5)。
由于第3步中的局部域 恰好就是这样一条曲线上某一点处的完备局部环,Hitchin 纤维的上同调按位处分解,恰好分解为前面描述过的那些仿射斯普林格纤维——这是一条把整体计数与局部计数联系起来的“质量乘积公式”。
于是基本引理——一个纯局部的命题——变成了关于 上单一的、高度结构化的代数簇整体族的上同调问题。
- Hitchin纤维化
- 通过 Higgs 场的特征多项式,从代数曲线 上 -Higgs 丛的模空间 到仿射空间 的映射 ;由奈杰尔·希钦(Nigel Hitchin)于1987年为规范场论中的另一个问题而引入。
- Higgs丛
- 曲线 上一个向量丛与一个扭化自同态(即 Higgs 场)组成的对;其特征多项式给出 Hitchin 映射下 中的点。