[论文解读] Birational Calabi-Yau 3-folds and BPS state counting

Yukinobu Toda|ArXiv.org|Jul 11, 2007

Algebraic structures and combinatorial models参考文献 31被引用 7

一句话总结

本文通过使用布里奇兰德稳定性条件和乔伊斯的不变量，引入了作为卡拉比-丘3-fold上D2-膜计数不变量的动机Gopakumar-Vafa不变量。证明了这些不变量是双有理不变量，推广了在双有理映射下贝蒂数与霍奇数的不变性，并为Gopakumar-Vafa不变量提供了一套不依赖虚拟基本类的新数学框架。

ABSTRACT

This paper contains some applications of Bridgeland-Douglas stability conditions on triangulated categories, and Joyce's work on counting invariants of semistable objects, to the study of birational geometry. We introduce the notion of motivic Gopakumar-Vafa invariants as counting invariants of D2-branes, and show that they are invariant under birational transformations between Calabi-Yau 3-folds. The result is similar to the fact that birational Calabi-Yau 3-folds have the same betti numbers or Hodge numbers.

研究动机与目标

• 为Gopakumar-Vafa不变量定义一种新的数学表述，使其在卡拉比-丘3- fold 的双有理变换下保持不变。
• 将拓扑不变量（如贝蒂数与霍奇数）的不变性从上同调数据扩展至D2-膜的不变量。
• 利用一维层模空间的动机数据构造不变量，避免依赖虚拟基本类。
• 建立一个框架，使得在布里奇兰德稳定性条件下，半稳定对象的计数不变量成为双有理不变量。

提出的方法

• 在卡拉比-丘3- fold 上的凝聚层导出范畴上使用布里奇兰德-道格拉斯稳定性条件。
• 应用乔伊斯关于三角范畴中半稳定对象计数不变量的理论。
• 将动机Gopakumar-Vafa不变量 $ n_g^\beta(X) \in \mathbb{Z} $ 定义为利用模空间动机不变量对早期不变量的精化。
• 处理具有维数 ≤1 支撑的三角范畴 $ \mathcal{D}_X \subset D^b(\mathrm{Coh}(X)) $。
• 使用参数化于 $ (B+i\omega) \in N^1(X)_{\mathbb{C}} $ 的稳定性条件，并通过收敛性和有界性论证建立连续性。
• 通过分析稳定性条件及其在稳定性条件空间中的收敛性，证明 $ n_g^\beta $ 在双有理映射下的不变性。

实验结果

研究问题

• RQ1 在卡拉比-丘3- fold 的双有理变换下，计数D2-膜的Gopakumar-Vafa不变量是否保持不变？
• RQ2 能否构造一种不依赖虚拟类但保持双有理不变性的Gopakumar-Vafa不变量的数学表述？
• RQ3 是否存在一种对通过一维层模空间的交上同调定义的不变量的动机精化，使得其在双有理映射下取整数值？
• RQ4 布里奇兰德稳定性条件与乔伊斯的计数不变量如何相互作用，以在卡拉比-丘3- fold 中产生双有理不变量？
• RQ5 贝蒂数与霍奇数在双有理映射下的不变性是否可推广至D2-膜的不变量？

主要发现

• 动机Gopakumar-Vafa不变量 $ n_g^\beta(X) \in \mathbb{Z} $ 对所有 $ \beta \in N_1(X) $ 定义，包括非有效类。
• 当 $ M^\beta $ 光滑且 $ \beta $ 有效时，这些不变量与早期不变量 $ \tilde{n}_g^\beta $ 一致。
• 不变量 $ n_g^\beta(W) $ 在双有理映射下保持不变：对任意双有理映射 $ \phi: W \dashrightarrow X $，有 $ n_g^\beta(W) = n_g^{\phi_*\beta}(X) $。
• 该构造不依赖虚拟基本类，提供了一种与格罗莫夫-威滕或唐纳森-托马斯理论不同的新方法。
• 该结果将贝蒂数与霍奇数在双有理映射下的不变性推广至D2-膜的不变量。
• 证明使用了稳定性条件的收敛性以及稳定性条件空间中中心特征的有界性，建立了连续性与闭包性质。