[论文解读] A theory of the invariants obtained from the moduli stacks of stable objects on a smooth polarized surface

Takuro Mochizuki|ArXiv.org|Oct 15, 2002

Algebraic Geometry and Number Theory参考文献 36被引用 17

一句话总结

本文为光滑极化曲面上半稳定层的模堆栈建立了虚拟基本类理论，推导出稳定性参数（δ）变化时不变量的过渡公式。证明了当 $p_g > 0$ 时，不变量与极化无关；并为 $p_g = 0$ 情况推导出弱墙穿跃与交点约化公式，将不变量约化为来自希尔伯特概形与阿贝尔对的不变量。

ABSTRACT

Let $X$ be a smooth polarized algebraic surface over the compex number field. We discuss the invariants obtained from the moduli stacks of semistable sheaves of arbitrary ranks on $X$. For that purpose, we construct the virtual fundamental classes of some moduli stacks, and we show the transition formula of the integrals over the moduli stacks of the $δ$-stable Bradlow pairs for the variation of the parameter $δ$. Then, we study the relation among the invariants. In the case $p_g>0$, we show that the invariants are independent of the choice of a polarization of $X$. We also show that the invariants can be reduced to the invariants obtained from the moduli of abelian pairs and the Hilbert schemes. In the case $p_g=0$, we obtain the weak wall crossing formula and the weak intersection rounding formula, which describes the dependence of the invariants on the polarization.

研究动机与目标

• 为光滑极化曲面上任意秩的半稳定层模堆栈构造虚拟基本类。
• 在稳定性参数 δ 变化时，建立关于 δ-稳定布拉多夫对模堆栈上积分的过渡公式。
• 分析不变量对极化的依赖性，特别区分 $p_g = 0$ 与 $p_g > 0$ 的情况。
• 在 $p_g > 0$ 情况下，将一般不变量约化为来自希尔伯特概形与阿贝尔对的更简单不变量。
• 在 $p_g = 0$ 情况下推导弱墙穿跃与弱交点约化公式，描述不变量如何随极化变化。

提出的方法

• 通过半稳定层模堆栈及增强主空间上的障碍理论构造虚拟基本类。
• 利用几何不变性理论（GIT）与环面作用分析不动点集，并将模堆栈分解为乘积形式。
• 应用等变障碍理论与摄动技术（布拉多夫摄动与抛物摄动）以关联不同稳定性条件。
• 采用主空间构造方法统一处理稳定性参数 δ 的变化，并研究墙穿跃行为。
• 通过ample锥中瓷砖与扇形区域上的上同调映射与 DT 不变量比较不同稳定性参数下的不变量。
• 应用定向约化与非定向未约化情形之间的比较定理，关联不同障碍理论。

实验结果

研究问题

• RQ1 在稳定性参数 δ 变化时，半稳定层模堆栈相关不变量的行为如何？
• RQ2 当 $p_g = 0$ 时，这些不变量对极化选择的依赖性如何？
• RQ3 当 $p_g > 0$ 时，不变量是否与极化无关？
• RQ4 在 $p_g > 0$ 情况下，不变量能否约化为来自希尔伯特概形与阿贝尔对的不变量？
• RQ5 在 $p_g = 0$ 情况下，描述墙穿跃行为与交点约化行为的公式是什么？

主要发现

• 当 $p_g > 0$ 时，从半稳定层模堆栈获得的不变量与极化选择无关。
• 在 $p_g > 0$ 情况下，通过模空间的分解，可将不变量约化为来自希尔伯特概形与阿贝尔对的不变量。
• 当 $p_g = 0$ 时，建立了弱墙穿跃公式，描述不变量在 ample 锥中穿跃墙时的变化方式。
• 为 $p_g = 0$ 情况推导出弱交点约化公式，表明某些不变量与 ample 锥中扇形区域的选择无关。
• 通过将贡献分解为瓷砖与扇形区域，并利用交数的符号条件，证明了 δ-稳定布拉多夫对的过渡公式。
• 通过完美障碍理论构造虚拟基本类，并通过定向与非定向情形之间的比较定理，证明其在摄动下的不变性。