[论文解读] Stable pairs, linear systems and the Verlinde formula

Michael Thaddeus|ArXiv.org|Oct 19, 1992

Algebraic Geometry and Number Theory参考文献 11被引用 6

一句话总结

本文研究光滑曲线上稳定对（秩2向量丛及其非零截面）的模空间，表明当稳定性参数变化时，模空间经历Mori翻转。文章建立了一个关于射影空间中理想层幂次截面的普遍结果，进而通过此几何框架证明了SU(2) Verlinde公式与Harder-Narasimhan公式。

ABSTRACT

We study the moduli problem of pairs consisting of a rank 2 vector bundle and a nonzero section over a fixed smooth curve. The stability condition involves a parameter; as it varies, we show that the moduli space undergoes a sequence of flips in the sense of Mori. As applications, we prove several results about moduli spaces of rank 2 bundles, including the Harder-Narasimhan formula and the SU(2) Verlinde formula. Indeed, we prove a general result on the space of sections of powers of the ideal sheaf of a curve in projective space, which includes the Verlinde formula.

研究动机与目标

• 研究固定光滑曲线上秩2向量丛与非零截面构成的稳定对的模问题。
• 分析当稳定性参数变化时模空间的变化情况，表明其经历一系列Mori翻转。
• 建立射影空间中曲线的理想层幂次截面空间的普遍结果。
• 将此结果应用于证明SU(2) Verlinde公式与Harder-Narasimhan公式。

提出的方法

• 引入由实数参数化的稳定性条件，为每个参数值定义稳定对的模空间。
• 利用几何不变理论及几何不变理论的变体（VGIT）分析参数变化时的墙穿现象。
• 通过稳定对构造模空间的紧化，表明墙穿对应于Mori理论中的翻转。
• 通过曲线在射影空间中的理想层，将模空间的几何与曲线上线丛的全局截面空间联系起来。
• 利用模空间及其翻转的结构，计算行列式线丛幂次截面空间的维数。
• 通过在行列式线丛上应用Riemann-Roch定理并结合墙穿数据，计算稳定丛模空间的欧拉示性数，从而导出Verlinde公式。

实验结果

研究问题

• RQ1 当稳定性参数变化时，稳定对的模空间如何变化？
• RQ2 稳定对模空间的几何与SU(2)的Verlinde公式之间有何关系？
• RQ3 能否对所有次数统一计算射影空间中曲线的理想层幂次截面空间？
• RQ4 模空间中的Mori翻转与向量丛的Harder-Narasimhan滤子之间存在何种精确联系？
• RQ5 如何从稳定对的几何结构与墙穿现象推导出Verlinde公式？

主要发现

• 当稳定性参数穿过临界值时，稳定对的模空间在Mori理论意义下经历一系列翻转。
• 建立了关于嵌入射影空间的曲线的理想层d次幂的全局截面空间维数的普遍公式。
• SU(2) Verlinde公式作为稳定对模空间上截面计数的结果被导出。
• 通过分析模空间的墙穿行为，利用相同的几何框架证明了Harder-Narasimhan公式。
• 通过在行列式线丛上应用Riemann-Roch定理，计算了稳定丛模空间的欧拉示性数。
• 本文证实Verlinde公式自然地源于稳定对的几何结构与模空间的墙穿结构。