[论文解读] On a computation of rank two Donaldson-Thomas invariants

Yukinobu Toda|ArXiv.org|Dec 13, 2009

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

一句话总结

本论文利用Joyce-Song与Kontsevich-Soibelman的壁穿刺公式，计算了Calabi-Yau 3-流形上的秩二Donaldson-Thomas不变量。推导出这些不变量的闭式生成函数，表明其为Mackay函数及其导数的有理函数，并通过显式计算有理数值不变量，为整数性猜想提供了证据。

ABSTRACT

For a Calabi-Yau 3-fold $X$, we explicitly compute the Donaldson-Thomas type invariant counting pairs $(F, V)$, where $F$ is a zero-dimensional coherent sheaf on $X$ and $V\subset F$ is a two dimensional linear subspace, which satisfy a certain stability condition. This is a rank two version of the DT-invariant of rank one, studied by Li, Behrend-Fantechi and Levine-Pandharipande. We use the wall-crossing formula of DT-invariants established by Joyce-Song, Kontsevich-Soibelman.

研究动机与目标

• 计算计数稳定对(F,V)的秩二Donaldson-Thomas不变量，其中F为长度为n的零维层，V⊂F为2维子空间。
• 将秩一DT不变量框架扩展至高秩层，动机源于在傅里叶-穆卡伊变换下需要不变量的需求。
• 应用Joyce-Song的壁穿刺公式，显式计算秩二DT不变量的生成函数。
• 通过显示不变量为有理数并具有特定整数性质，为Kontsevich-Soibelman整数性猜想提供证据。

提出的方法

• 使用Joyce-Song与Kontsevich-Soibelman开发的DT不变量壁穿刺公式，将秩二不变量与秩一数据关联起来。
• 构造在稳定性条件下长度(F)=n且V生成F的半稳定对(F,V)的模空间M^{(2,n)}。
• 应用Behrend的局部欧拉特征与虚拟积分，将DT(2,n)定义为模空间上Behrend函数的积分。
• 采用Hall代数技术，当n为偶数时定义DT(2,n) ∈ ℚ，以克服堆栈型模空间的问题。
• 通过集合Δ上的组合分解，推导出生成函数DT(2) = ½M(q)^{2χ(X)} − ½χ(X)·[M(q)^{χ(X)}·M(q)^{χ(X)}·N(q)]_Δ。
• 利用虚拟庞加莱多项式与群作用（如Gm）计算商堆栈的欧拉特征，并验证整数性。

实验结果

研究问题

• RQ1 在Calabi-Yau 3-流形上，秩二Donaldson-Thomas不变量的显式生成函数是什么？
• RQ2 当模空间为堆栈时，如何应用壁穿刺公式来计算高秩DT不变量？
• RQ3 所得的DT(2,n)是否满足Kontsevich-Soibelman对有理数值不变量的整数性猜想？
• RQ4 秩二不变量能否用秩一不变量及其导数表示？
• RQ5 Mackay函数及其对数导数在编码生成函数中起什么作用？

主要发现

• 秩二DT不变量的生成函数为DT(2) = ½M(q)^{2χ(X)} − ½χ(X)·[M(q)^{χ(X)}·M(q)^{χ(X)}·N(q)]_Δ，其中Δ是ℤ≥0³的特定子集。
• 当n为偶数时，不变量DT(2,n)为有理数值，且该公式通过Hall代数技术和壁穿刺推导得出。
• 论文证实DT(2,2m) ≡ 0 mod ℤ对所有m成立，为Kontsevich-Soibelman整数性猜想提供了强有力证据。
• 序列N(q) = q d/dq log M(q) = ∑_{r,n≥0, r|n} r²qⁿ作为生成函数校正项的关键组成部分出现。
• 模堆栈的虚拟欧拉特征通过群作用与商堆栈计算得出，χ(ε₃,1) = ½∫_{p∈Q^{(1,m)}} dim Ext¹(Eₚ,Eₚ) dχ。
• 计算表明，壁穿刺结构的贡献导致有理数不变量，且在极限下为整数，支持整数性猜想。