解法：吴宝珠利用Hitchin纤维化与几何支撑定理给出的证明(2008年)
通俗地说
沿着一个并非完全光滑的映射(如 Hitchin 纤维化)向前推动空间的拓扑,由于部分纤维会退化,看起来可能极其复杂。贝林松、伯恩斯坦、德利涅与加布里埃(BBD)的里程碑式成果——分解定理——保证无论纤维多么奇异,这种推出总能干净地拆分成称为“正合层”的简单、性质良好的碎片。
这为吴宝珠提供了一份可控的构件清单,一次性控制所有纤维的上同调,而不必逐一手工分析每个奇异纤维。
详细分析
贝林松–伯恩斯坦–德利涅–加布里埃(BBD,1982)的分解定理指出:对代数簇之间的固有映射 ,常值层的导出推出在导出范畴中分裂为若干平移后的单纯正合层的直和,每一个都支撑在目标空间的某个闭子簇上。应用到 Hitchin 纤维化 上,这就把整族的上同调分解成有限多个正合层求和项。
每个求和项都“依附”于一个支撑——即其非零所在的 的子簇——而基本引理的全部困难都归结为:精确确定出现哪些支撑,以及在纤维为光滑仿射斯普林格纤维的 的开、一般轨迹上每一项有多大(Hales 2011, §7; Ngô 2010, 定理6.4)。
正是在这一点上,证明不再是“寻找一个巧妙的积分技巧”,而变成了“计算特定几何族中分解可能的支撑”——这正是下一步支撑定理的主题。
- 正合层
- 局部常值层针对奇异空间的推广,在沿代数映射推出时表现良好;是分解定理将一个推出拆分成的自然碎片。
- 分解定理
- 贝林松、伯恩斯坦、德利涅与加布里埃于1982年提出的定理,断言沿代数簇的固有映射推出常值层,即使映射的纤维非常奇异,也总能得到单纯正合层的直和。