[论文解读] Intersection pairings in moduli spaces of vector bundles of arbitrary rank over a Riemann surface

Lisa C. Jeffrey, Frances Kirwan|arXiv (Cornell University)|Aug 23, 1996

Algebraic Geometry and Number Theory被引用 9

一句话总结

本文为在亏格 g ≥ 2 的黎曼曲面上，对秩为 n、次数为 d 的稳定向量丛模空间 M(n,d) 的上同调中交配对的 Witten 公式提供了数学证明，其中满足 gcd(n,d)=1。利用这些交配对公式，本文推导出线丛上全纯截面维数的 Verlinde 公式，为数学物理中的一个关键结果建立了严格的理论基础。

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).

研究动机与目标

• 为 Witten 在 M(n,d) 上的上同调中交配对的物理公式提供严格的数学证明。
• 建立模空间上交配对理论与 Verlinde 公式之间的联系。
• 证明通过所提公式计算出的交配数确实等于线丛在 M(n,d) 上全纯截面空间的维数。
• 深化对黎曼曲面上稳定向量丛模空间上同调不变量的理解。

提出的方法

• 利用代数几何技术分析稳定全纯向量丛模空间 M(n,d) 的上同调环。
• 应用示性类理论与 Mumford 的典型类来计算交配对。
• 假设秩 n 与次数 d 互素，以确保模空间光滑且不可约。
• 使用陈示性类与 Todd 类，将交配数表示为拓扑不变量的形式。
• 依赖模空间作为具有自然极化结构的射影代数簇的性质。
• 通过将交配数解释为全纯截面空间的维数，推导出 Verlinde 公式。

实验结果

研究问题

• RQ1 如何通过数学方法严格推导出 Witten 在 M(n,d) 上的交配对公式的物理公式？
• RQ2 M(n,d) 上同调中的交配数与线丛全纯截面空间维数之间的确切关系是什么？
• RQ3 Verlinde 公式能否作为稳定向量丛模空间上交配对理论的推论得到？
• RQ4 n 与 d 的互素性在确保交配对公式与 Verlinde 公式的有效性中起到何种作用？

主要发现

• 本文成功地使用纯粹数学方法证明了 Witten 在 M(n,d) 上同调中交配对的公式。
• 推导出的交配数与 Verlinde 公式对线丛在 M(n,d) 上全纯截面维数的预测完全一致。
• Verlinde 公式被确立为模空间上交配对理论的推论，从而获得了几何解释。
• 在 gcd(n,d)=1 的条件下，结果成立，该条件确保了模空间光滑且不可约。
• 该方法证实了数学与物理方法在向量丛模空间几何研究中的一致性。
• 结果表明，M(n,d) 的上同调结构通过交配对编码了深刻的算术与拓扑信息。