[论文解读] The Index Formula on the Moduli of G-bundles

Constantin Teleman, Christopher T. Woodward|ArXiv.org|Dec 8, 2003

Advanced Algebra and Geometry参考文献 26被引用 17

一句话总结

本文证明了在光滑射影曲线上的G-丛模堆栈上K-理论类的广义指标公式，通过扭K-理论中的有限和将Verlinde公式推广至向量丛。关键结果通过Bott的反射和Hecke对应关系，建立了分析-拓扑指标等式，解决了Witten积分中的收敛性问题，并证明了关于模空间高阶陈类消失的Newstead-Ramanan猜想。

ABSTRACT

We prove the formulae conjectured by the first author for the index of K-theory classes over the moduli stack of algebraic G-bundles on a smooth projective curve. The formulae generalise Verlinde's for line bundles and have Witten's integrals over the moduli space of stable bundles as their large level limits. As an application, we prove the Newstead-Ramanan conjecture on the vanishing of high Chern classes of certain moduli spaces of stable G-bundles.

研究动机与目标

• 将Verlinde关于线丛的公式从曲线上的G-丛模堆栈推广至向量丛。
• 通过在拓扑K-理论中建立有限指标公式，解决Witten上同调积分中的收敛性问题。
• 通过指标理论方法证明Newstead-Ramanan关于半稳定G-丛模空间高阶陈类消失的猜想。
• 通过分层上同调与等变K-理论，为无限类型模堆栈建立分析=拓扑指标定理。
• 证明即使在无限类型情形下，可接受K-理论类的指标也由有限维Frobenius代数控制。

提出的方法

• 利用模堆栈的Shatz分层定义可接受K-理论类的上同调与指标。
• 在扭K-理论中应用Atiyah-Bott不动点方法，通过极大环面与Weyl分母计算拓扑指标。
• 采用Bott反射论证的环群版本及Hecke对应关系，揭示堆栈上指标的隐藏对称性。
• 在反转Weyl分母后，利用局部化公式将指标计算约化至T-丛的堆栈。
• 通过模堆栈的有限类型开子堆栈上的逆极限构造，定义有理K-理论并建立其与等变K-理论的相容性。
• 依赖Poincaré对偶性与陈示性类技术，将有理K-理论与上同调关联，尤其在π₁G为自由群时。

实验结果

研究问题

• RQ1 Verlinde关于线丛的公式能否推广至曲线上的G-丛模堆栈的向量丛？
• RQ2 在G-丛模堆栈的无限类型情形下，可接受K-理论类的分析指标是否具有有限且正则化的表达式？
• RQ3 模堆栈上的指标与Witten在大水平极限下的上同调积分有何关系？
• RQ4 能否通过指标理论方法证明Newstead-Ramanan关于高阶陈类消失的猜想？
• RQ5 是否存在一个有限维Frobenius代数结构，作为G-丛模堆栈上向量丛指标的根基？

主要发现

• 在G-丛模堆栈上，可接受K-理论类的分析指标由共轭类上的有限和给出，解决了Witten方法中的收敛性问题。
• 该指标公式与通过扭K-理论及Atiyah-Bott不动点方法计算的拓扑指标一致，确立了分析=拓扑指标定理。
• 指标在Hecke对应下保持不变，揭示了在有限类型半稳定丛模空间上所不存在的对称性。
• 当G单连通且π₁G自由时，指标公式可表示为极大环面T与Weyl分母Δ的函数。
• 证明了Newstead-Ramanan猜想：当所有半稳定丛均为稳定丛时，半稳定G-丛模空间的高阶陈类消失。
• 当π₁G为自由群时，模堆栈的有理K-理论具有类似于上同调的分解，包含H•(BG;Q)与H•(ΩG;Q)分量。