[论文解读] Donaldson-Thomas invariants of certain Calabi-Yau 3-folds

Wei-Ping Li, Zhenbo Qin|arXiv (Cornell University)|Feb 22, 2010

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

一句话总结

本论文计算了在两类卡拉比-丘3流形上的秩2 Gieseker半稳定层的唐纳森-托马斯不变量：在 ℙ⁵ 中四次曲面与二次曲面的交集，以及在 ℙ¹×ℙ¹×ℙ² 中的卡拉比-丘超曲面。研究发现这些模空间同构于 Quot-概形，推导出在环面作用下贝伦德 ν-函数的公式，并证明不变量的生成系列为麦克马洪函数的幂，揭示了墙穿跃行为。

ABSTRACT

We compute the Donaldson-Thomas invariants for two types of Calabi-Yau 3-folds. These invariants are associated to the moduli spaces of rank-2 Gieseker semistable sheaves. None of the sheaves are locally free, and their double duals are locally free stable sheaves investigated earlier by Donaldson and Thomas, Li and Qin respectively. We show that these Gieseker moduli spaces are isomorphic to some Quot-schemes. We prove a formula for Behrend's functions when torus actions present with positive dimensional fixed point sets, and use it to obtain the generating series of the relevant Donaldson-Thomas invariants in terms of the McMahon function. Our results might shed some light on the wall-crossing phenomena of Donaldson-Thomas invariants.

研究动机与目标

• 计算特定卡拉比-丘3流形上非局部自由的秩2 Gieseker 半稳定层的唐纳森-托马斯不变量。
• 通过证明模空间同构于 Quot-概形，理解此类层的模空间结构。
• 在环面作用具有正维不动点集时，为贝伦德 ν-函数建立公式。
• 推导唐纳森-托马斯不变量的生成系列，并将其与麦克马洪函数关联。
• 通过显式计算，为 DT 不变量中的墙穿跃现象提供证据。

提出的方法

• 作者分析了总陈类为 c_m = c_0 - m[y₀] 的秩2 Gieseker 半稳定层的模空间，证明当非空时，其同构于 Quot-概形。
• 他们建立了在具有正维不动点集的环面作用下，模空间上贝伦德 ν-函数的公式，这对不变量的计算至关重要。
• 利用与 Quot-概形的同构关系，通过等变积分和 ν-函数限制计算加权欧拉示性数。
• 应用 [BF] 和 [LQ2] 的结果，将 Quot-概形的示性数与不变量的生成系列关联。
• 利用麦克马洪函数 M(q) = ∏_{m=1}^∞ (1 - q^m)^{-m} 推导出生成系列，表明其为 M(q²) 的幂。
• 该方法依赖于将计算局部化到 ℂ*-作用下的不动点集，并在仿射邻域上使用上同调技术。

实验结果

研究问题

• RQ1 当层非局部自由时，卡拉比-丘3流形上秩2 Gieseker 半稳定层的模空间结构如何？
• RQ2 当总陈类通过减去点类的 m 倍被修改时，唐纳森-托马斯不变量的行为如何？
• RQ3 能否为具有正维环面不动点集的模空间显式计算贝伦德 ν-函数？
• RQ4 此类层的唐纳森-托马斯不变量的生成系列是什么？它与麦克马洪函数等已知函数有何关系？
• RQ5 该计算是否揭示了 DT 不变量中墙穿跃的证据？

主要发现

• 对于 ℙ⁵ 中四次曲面与光滑二次曲面的交集 Y ⊂ ℙ⁵，DT 不变量的生成系列为 2·M(q²)^{2χ(Y)}。
• 对于 ℙ¹×ℙ¹×ℙ² 中的卡拉比-丘超曲面 Y ⊂ ℙ¹×ℙ¹×ℙ²，生成系列为 (−1)^k·(k+1)·M(q²)^{2χ(Y)}，其中 k = (1+ε₁)(4−ε₂)(3−ε₂)/2 − 1。
• 当 m ≠ 0 时，模空间 M_L(c_m) 中的所有层均非局部自由，但它们的双重对偶是局部自由的，并属于 M_L(c_0)。
• 在第一种情形下，模空间 M_L(c_2m) 同构于 Quot^m_{E_{0,1}} 与 Quot^m_{E_{0,2}} 的不相交并；在第二种情形下，同构于相对 Quot-概形 Quot^m_{ℰ₀/}。
• 当 r < 2(2−ε₂)/(2+ε₁) 时，不变量 λ(L, c_m) 恒为零，表明在稳定性条件参数空间中存在墙。
• 计算结果确认生成系列为麦克马洪函数的幂，暗示其与格罗莫夫-威滕理论及墙穿跃存在深层联系。