[论文解读] Intersection theory on moduli spaces of holomorphic bundles of arbitrary rank on a Riemann surface

Lisa C. Jeffrey, Frances Kirwan|ArXiv.org|Aug 23, 1996

Algebraic Geometry and Number Theory参考文献 23被引用 4

一句话总结

本文为在亏格 g ≥ 2 的黎曼曲面上，对任意秩的稳定全纯向量丛模空间上交数的威滕公式提供了严格的数学证明。作者利用等变上同调与局部化技巧，推导出 M(n,d) 上同调环中交配对的显式公式，并利用这些公式建立了关于 M(n,d) 上线丛全纯截面空间维数的韦尔林德公式。

ABSTRACT

We prove formulas (found by Witten in 1992 using physical methods) for intersection pairings in the cohomology of the moduli space M(n,d) of stable holomorphic vector bundles of rank n and degree d (assumed coprime) on a Riemann surface of genus g greater than or equal to 2. We also use these formulas for intersection numbers to obtain a proof of the Verlinde formula for the dimension of the space of holomorphic sections of a line bundle over M(n,d).

研究动机与目标

• 为在亏格 g ≥ 2 的黎曼曲面上，秩为 n、次数为 d 的稳定全纯向量丛模空间 M(n,d) 上的交数提供数学上严格的推导。
• 证明威滕关于 M(n,d) 上同调中交配对的猜想公式，这些公式最初通过物理方法推导得出。
• 利用推导出的交数公式，对 M(n,d) 上线丛全纯截面空间维数的韦尔林德公式给出完整证明。
• 更正原稿中关于模空间结构及其等变上同调的错误。
• 通过严格验证稳定向量丛背景下一个关键物理预测，建立数学物理与代数几何之间的桥梁。

提出的方法

• 在全纯丛空间上应用等变上同调技术，分析极大环面在模空间 M(n,d) 上的作用。
• 应用阿蒂亚-博特局部化公式，通过限制到环面作用的不动点来计算交数。
• 利用基尔曼满射，将 M(n,d) 的上同调与黎曼曲面上联络空间的等变上同调联系起来。
• 通过等变上同调中的留数计算，计算典型丛的陈类及其交积。
• 推导出 M(n,d) 上全纯丛陈类乘积的交数的显式公式。
• 验证所推导的公式与威滕的物理预测一致，并满足韦尔林德公式所需的相容性条件。

实验结果

研究问题

• RQ1 在亏格 g ≥ 2 的黎曼曲面上，秩为 n、次数为 d 的稳定全纯向量丛模空间 M(n,d) 的上同调环中，交配对的精确公式是什么？
• RQ2 威滕的这些交数的物理推导，如何通过代数与微分几何方法严格重建？
• RQ3 所推导的交数公式能否用于证明 M(n,d) 上线丛全纯截面空间维数的韦尔林德公式？
• RQ4 黎曼曲面上联络空间的等变上同调的正确结构是什么？它与 M(n,d) 的上同调有何关系？
• RQ5 交数在映射类群作用下如何行为？公式中编码了哪些对称性？

主要发现

• 作者为任意秩 n 与次数 d、且 g ≥ 2 的情形，推导出 M(n,d) 上同调环中交配对的显式公式，证实了威滕的猜想。
• 交数通过等变上同调中的局部化计算得出，结果为等变参数的有理函数，编码了 M(n,d) 的拓扑不变量。
• 所推导的公式与韦尔林德公式一致，为 M(n,d) 上线丛全纯截面空间维数提供了完整的数学证明。
• 在修订版本中，更正了原稿中关于基尔曼映射结构及框架丛等变上同调的错误。
• 交数表示为有理函数的留数，其在映射类群作用下的不变性得以确立。
• 韦尔林德维数的最终公式与已知的物理预测一致，且对所有互素对 (n,d) 及 g ≥ 2 均成立。