[论文解读] Global topology of the Hitchin system

Tamás Hausel|arXiv (Cornell University)|Feb 8, 2011

Algebraic Geometry and Number Theory参考文献 94被引用 35

一句话总结

本文通过统一规范场论、镜像对称、算术几何与朗兰兹对偶性等技术，综述了希钦系统全空间的上同调——特别是复曲线上的半稳定希格斯丛模空间的上同调。其主要贡献在于对 S-对偶性的上同调实现以及 P=W 猜想的建立，通过吴的稳定化公式将拓扑不变量与基本引理联系起来，支持了霍奇理论与表示理论之间深刻的对偶性。

ABSTRACT

Here we survey several results and conjectures on the cohomology of the total space of the Hitchin system: the moduli space of semi-stable rank n and degree d Higgs bundles on a complex algebraic curve C. The picture emerging is a dynamic mixture of ideas originating in theoretical physics such as gauge theory and mirror symmetry, Weil conjectures in arithmetic algebraic geometry, representation theory of finite groups of Lie type and Langlands duality in number theory.

研究动机与目标

• 理解希钦系统全空间的全局拓扑，特别是复曲线上半稳定希格斯丛模空间的上同调。
• 将非交换霍奇理论、镜像对称、韦伊猜想与朗兰兹对偶性等不同数学框架统一为希钦系统拓扑的连贯图景。
• 通过精细 S-对偶公式 (5.13) 建立 S-对偶性的上同调实现，将谱数据与单值性作用联系起来。
• 将吴的几何稳定化公式扩展至整个希钦基底，包括非约与可约谱曲线，以证明拓扑镜像对称猜想。
• 将 P=W 猜想与局部卡勒-雅可布三焦点的枚举几何不变量（如格罗莫夫-王、唐纳森-托马斯与潘德哈里潘德-托马斯不变量）联系起来。

提出的方法

• 利用希钦系统的超凯勒结构，通过微分同胚将希格斯丛模空间识别为希钦自对偶方程的解空间。
• 在希钦系统上应用莫尔斯理论，分析全空间的拓扑，将希钦（n=2）与戈滕（n=3）的方法推广至更高秩 n。
• 运用相对硬 Lefschetz 定理与层论构造，推导出由分量群 Γ 的特征扭结的上同调群之间的同构。
• 推导卡普斯汀-维滕约化 S-对偶性的上同调影子，导出谱曲线分解中不同层之间上同调群的同构 (5.14)。
• 利用分量群的有限群概形 Γ̲ 及其在谱曲线上的作用，将单值性作用与算术设定下的伽罗瓦作用联系起来。
• 借助乔杜瓦德与劳蒙的工作，将吴的几何稳定化公式扩展至约化部分，为向整个希钦基底的完整推广铺平道路。

实验结果

研究问题

• RQ1 希钦系统全空间的上同调在规范场论、镜像对称与算术几何之间相互作用的体现方式为何？
• RQ2 精细 S-对偶公式 (5.13) 在多大程度上可从约化部分推广至整个希钦基底，包括非约与可约谱曲线？
• RQ3 P=W 猜想能否通过 S-对偶同构，作为 perverse 分次与权重分次之间的上同调对偶性来实现？
• RQ4 希钦系统的上同调与朗兰兹纲领中的基本引理（特别是函数域情形）有何精确关联？
• RQ5 希钦系统的拓扑与局部卡勒-雅可布三焦点的格罗莫夫-王、唐纳森-托马斯与潘德哈里潘德-托马斯不变量之间存在何种精确联系？

主要发现

• 希钦系统的上同调表现出 perverse 分次与权重分次之间的深刻对偶性，支持 P=W 猜想。
• 由分量群 Γa 与 Γ 的特征扭结所扭结的上同调群之间的同构 (5.14) 实现了 S-对偶性的上同调形式。
• 公式 (5.14) 在 SLn 情形下与吴主几何稳定化公式的纤维匹配，将拓扑不变量与基本引理联系起来。
• 若能将稳定化公式扩展至整个希钦基底，将为拓扑镜像对称猜想提供证明，推广乔杜瓦德与劳蒙的结果。
• 近期利用动机莫尔斯理论研究 n=4 的工作，确认与豪塞尔-沃森及豪塞的猜想一致，进一步支持了 P=W 猜想的有效性。
• 新兴框架将希钦系统与戈普卡兰-瓦法对偶性及卡勒-雅可布三焦点的枚举不变量联系起来，暗示了一个统一的几何图景。