[论文解读] Relative Orbifold Donaldson-Thomas Theory and the Degeneration Formula

Zijun Zhou|arXiv (Cornell University)|Apr 9, 2015

Algebraic Geometry and Number Theory参考文献 38被引用 3

一句话总结

该论文将相对唐纳森-托马斯理论与退化公式推广至三维光滑射影德拉姆-芒福德堆栈（轨道丛），推广了展开退化与配对的概念至轨道丛设定。通过稳定商定义相对DT不变量，并证明其模空间的完备性，从而得到一个与轨道丛设定下格罗莫夫-威滕/DT对应结构一致的轨道丛DT不变量退化公式。

ABSTRACT

We generalize the notion of expanded degenerations and pairs for a simple degeneration or smooth pair to the case of smooth Deligne-Mumford stacks. We then define stable quotients on the classifying stacks of expanded degenerations and pairs and prove the properness of their moduli's. On 3-dimensional smooth projective DM stacks this leads to a definition of relative Donaldson-Thomas invariants and the associated degeneration formula.

研究动机与目标

• 将展开退化与配对的概念从概形推广至光滑德拉姆-芒福德堆栈。
• 在展开退化与配对的分类堆栈上定义稳定商，并证明其模空间的完备性。
• 为三维光滑射影DM堆栈构造相对唐纳森-托马斯不变量，无需假设卡拉比-丘条件。
• 在相对与数值设定下建立轨道丛DT不变量的退化公式，尤其针对多重正则曲线类。
• 为完成轨道丛设定下的GW/DT对应图谱提供框架，尤其针对横截的$A_n$-奇点。

提出的方法

• 通过构造标准族及其退化堆栈，将展开退化与配对推广至光滑德拉姆-芒福德堆栈的设定。
• 引入可接受层与这些堆栈上的稳定商，通过有界性、分离性及可接受性的数值准则确保模空间的完备性。
• 在中心纤维的希尔伯特堆栈上构造完美障碍理论，以定义退化公式中循环版本的相对DT不变量。
• 利用轨道丛曲面希尔伯特概形上对角线的库恩斯泰因分解，分解退化公式。
• 将理论应用于多重正则情形，其中曲线类来自粗模空间类的拉回，并定义带有$q$-加权欧拉示性数的生成函数。
• 利用等变或奎iver理论基（如中岛奎iver簇）来计算轨道丛曲面希尔伯特概形的上同调，以计算退化公式中的结构常数。

实验结果

研究问题

• RQ1 如何将展开退化与配对的概念从概形推广至光滑德拉姆-芒福德堆栈？
• RQ2 在轨道丛展开退化上，1维稳定商的模空间完备性的条件是什么？
• RQ3 如何为三维光滑射影DM堆栈定义相对唐纳森-托马斯不变量，而无需要求卡拉比-丘条件？
• RQ4 轨道丛DT不变量的退化公式形式为何？其与轨道丛设定下GW/DT对应的关系如何？
• RQ5 多重正则曲线类在退化公式中如何表现？它们在公式的数值版本中起什么作用？

主要发现

• 在光滑德拉姆-芒福德堆栈的展开退化上，1维稳定商的模空间是完备的，其证明基于有界性、分离性及可接受性的数值准则。
• 通过在中心纤维的希尔伯特堆栈上构造完美障碍理论，证明了退化公式的循环版本，将全空间的不变量与各分量的相对不变量联系起来。
• 对于多重正则曲线类，建立了数值退化公式，将中心纤维的生成函数表示为两个分量上相对生成函数的乘积之和，权重为轨道丛除数希尔伯特概形上同调中的结构常数。
• 退化公式中的结构常数$g^{kl}$来自$A^*(\text{Hilb}^m(D))$中对角线的库恩斯泰因分解，在轨道丛情形下非平凡。
• 当轨道丛曲面$D$为ADE型时（例如$[\bbC^2/\bG]$），$ \text{Hilb}(D)$的上同调可通过中岛奎iver簇自然地给出基，从而实现退化公式的显式计算。
• 该框架为完成轨道丛设定下的GW/DT对应图谱提供了基础，尤其适用于$A_n$-奇点，并支持DT不变量的创痕解析猜想。