[论文解读] Donaldson-Thomas theory for Calabi-Yau 4-folds

Yalong Cao, Naichung Conan Leung|arXiv (Cornell University)|Jul 29, 2014

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

一句话总结

本文通过在全纯丛上定义复自对偶方程解的模空间，建立了卡拉比-丘 4-流形的唐纳森-托马斯理论，引入了 $DT_4$ 不变量。该理论利用规范理论与导出几何方法构造了虚拟周期，并证明其与鲍里斯夫-乔伊思的虚拟周期等价，且在 $SU(4)$ 陈类下证明了 $DT_4$ 不变量的定向数据存在性。该理论还包含了对 торич 卡拉比-丘 4-流形的等变局部化以及对带有关系的 quiver 的非交换版本。

ABSTRACT

Let $X$ be a compact complex Calabi-Yau 4-fold. Under certain assumptions, we define Donaldson-Thomas type deformation invariants ($DT_{4}$ invariants) by studying moduli spaces of solutions to the Donaldson-Thomas equations on $X$. We also study sheaves counting problems on local Calabi-Yau 4-folds. We relate $DT_{4}$ invariants of $K_{Y}$ to the Donaldson-Thomas invariants of the associated Fano 3-fold $Y$. When the Calabi-Yau 4-fold is toric, we adapt the virtual localization formula to define the corresponding equivariant $DT_{4}$ invariants. We also discuss the non-commutative version of $DT_{4}$ invariants for quivers with relations. Finally, we compute $DT_{4}$ invariants for certain Calabi-Yau 4-folds when moduli spaces are smooth and find a $DT_{4}/GW$ correspondence for $X$. Examples of wall-crossing phenomenon in $DT_{4}$ theory are also given.

研究动机与目标

• 为紧致卡拉比-丘 4-流形上全纯丛的模空间定义虚拟基本类，将唐纳森-托马斯理论扩展至四复维。
• 通过复自对偶方程的解构造 $DT_4$ 不变量，并利用鲍里斯夫-乔伊思理论的粘合数据证明其选择无关性。
• 在 $SU(4)$ 陈类下，利用塞德尔-托马斯变换与行列式线丛的平凡性，证明 $DT_4$ 不变量的定向数据存在性。
• 通过等变局部化将理论推广至 торич 卡拉比-丘 4-流形，并通过带有关系的 quiver 推广至非交换情形。
• 计算特定情形下的 $DT_4$ 不变量，并在特殊陈类情形下验证 $DT_4/GW$ 对应关系。

提出的方法

• 利用 $*_{4}$ 算子与局部库兰希模型，在全纯丛的稳定模空间上构造虚拟周期。
• 将虚拟周期构造应用于广义 $DT_4$ 模空间，并证明其在单值群作用下的不变性。
• 通过 $DT_4$ 方程的规范理论表述，定义与鲍里斯夫-乔伊思的导出 $C^{ty}$-几何构造等价的虚拟基本类。
• 应用虚拟局部化，通过环面在模空间上的作用，计算 toric 卡拉比-丘 4-流形上的等变 $DT_4$ 不变量。
• 通过带关系的框架化 quiver 模空间引入非交换 $DT_4$ 不变量，推广交换情形。
• 在 $H^{odd}(X,\mathbb{Z})=0$ 且 $Hol(X)\subseteq Spin(7)$ 条件下，证明 $Spin(7)$ instanton 模空间上行列式线丛的可定向性，从而实现整数 $DT_4$ 不变量。

实验结果

研究问题

• RQ1 能否通过规范理论方程为卡拉比-丘 4-流形上全纯丛模空间定义虚拟基本类？
• RQ2 在特殊陈类情形下，$DT_4$ 不变量与格罗莫夫-威滕不变量有何关系？
• RQ3 $DT_4$ 不变量在何种条件下取值于 $\mathbb{Z}$ 而非 $\mathbb{Z}_2$？
• RQ4 $DT_4$ 虚拟周期能否独立于局部坐标与分裂构造进行构造？其是否与鲍里斯夫-乔伊思的构造等价？
• RQ5 塞德尔-托马斯变换与 $Spin(7)$ instanton 在定义 $DT_4$ 不变量的定向数据中起何作用？

主要发现

• 通过规范理论 $DT_4$ 方程构造的 $DT_4$ 虚拟周期与鲍里斯夫-乔伊思在导出 $C^{ty}$-几何中的虚拟周期等价，二者均不依赖于局部坐标与分裂选择。
• 对于满足 $H_{odd}(X,\mathbb{Z})=0$ 且 $Hol(X)=SU(4)$ 的卡拉比-丘 4-流形，模空间上指标丛的行列式线丛是平凡的，从而允许整数 $DT_4$ 不变量。
• 模空间 $\mathcal{M}_c$ 上塞尔对偶配对 $(\mathcal{L}_{\mathbb{C}}, Q_{Serre})$ 的结构群可约化至 $SO(1,\mathbb{C})$，从而保证了 $DT_4$ 理论中定向数据的存在性。
• 通过虚拟局部化，toric 卡拉比-丘 4-流形上的等变 $DT_4$ 不变量被定义，使得在对称情形下可进行显式计算。
• 在两种情形下验证了 $DT_4/GW$ 对应关系：当 $Hol(X)=SU(4)$ 与 $Hol(X)=Sp(2)$ 时，在特定条件下不变量匹配。
• 对单点理想层模空间的 $DT_4$ 不变量进行了显式计算，并在理论中观察到墙穿跃现象。