[论文解读] Stability conditions and Calabi-Yau fibrations

Yukinobu Toda|ArXiv.org|Aug 20, 2006

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

一句话总结

本文构建并描述了与三维 Calabi-Yau 纤维丛相关的三角范畴的稳定性条件空间，重点关注平坦椭圆纤维丛和光滑 K3（或阿贝尔）纤维丛。它在稳定性空间中建立了类似双有理几何中移动锥结构的墙结构，适用于椭圆纤维丛，并通过几何与范畴论技术，建立了总空间上稳定性条件与 K3 纤维丛特殊纤维上稳定性条件之间的自然对应关系。

ABSTRACT

In this paper, we describe the spaces of stability conditions for the triangulated categories associated to three dimensional Calabi-Yau fibrations. We deal with two cases, the flat elliptic fibrations and smooth K3 (Abelian) fibrations. In the first case, we will see there exist chamber structures similar to those of the movable cone used in birational geometry. In the second case, we will compare the space with the space of stability conditions for the closed fiber of the fibration.

研究动机与目标

• 描述三维 Calabi-Yau 纤维丛的导出范畴 $ D(X/S) $ 上的稳定性条件空间。
• 将稳定性条件的框架从 Crepant 重构扩展至椭圆纤维丛和 K3 纤维丛。
• 通过稳定性条件，建立双有理几何（通过移动锥结构）与 $ /mathcal{N}=2 $ 超共形场论之间的联系。
• 比较 K3 纤维丛情况下总空间 $ X $ 与特殊纤维 $ X_0 $ 的稳定性空间。
• 解决在存在奇异纤维或非平凡法丛（例如 $ \mathcal{O}_{\mathbb{P}^2}(-3) $）时构造稳定性条件的技术挑战。

提出的方法

• 使用 $ \beta, \omega $-扭曲的陈示性类和中心化荷映射 $ Z_{(\beta,\omega)} $ 定义一个心为 $ \mathcal{A}_{(\beta,\omega)} $ 的 t-结构，从而形成一个数值稳定性条件。
• 应用 Bridgeland 在 K3 曲面上的工作，依赖于 Bogomolov 不等式，在假设纤维光滑或平坦的前提下，确保构造的可实现性。
• 对于平坦椭圆纤维丛，构建从 $ \mathop{\rm Stab}^\circ(X/S) $ 到包含 $ \mathop{\rm GL}^+(2,\mathbb{R}) \times V_\mathbb{C} $ 的商空间的正则覆盖映射，模去由 $ (k,w,l) $ 索引的超平面。
• 对于 K3 纤维丛，通过比较 $ D(X/S) $ 上的稳定性条件与特殊纤维 $ X_0 $ 上的稳定性条件，利用已知的 $ \mathop{\rm Stab}^\circ(X_0) $ 结构（作为 $ \mathcal{P}_0^+(X_0) \subset \mathbb{C} \oplus N^1(X_0)_\mathbb{C} \oplus \mathbb{C} $ 上的覆盖）。
• 使用自同构群和函子的交换图来识别 $ \mathop{\rm Auteq}(\mathrsfs{X}/\mathrsfs{Y}) $ 的生成元，特别利用扭函子 $ T_{\mathcal{E}_{a,b}} $ 和线丛张量积。
• 利用 Chen 的引理及球面对象的性质，证明某些自同构是平凡的或为张量积，从而识别出完整的自同构群。

实验结果

研究问题

• RQ1 对于平坦椭圆纤维丛，$ D(X/S) $ 上的稳定性条件空间与双有理几何中的空间相比如何，特别是在墙结构方面？
• RQ2 K3 纤维丛上的稳定性条件空间能否与其中特殊纤维的稳定性条件空间相关联？
• RQ3 自同构，特别是扭函子和线丛作用，在 Calabi-Yau 纤维丛的稳定性空间结构中起什么作用？
• RQ4 奇异纤维 $ f^{-1}(0) $ 的几何性质（如存在具有法丛 $ \mathcal{O}(-3) $ 的 $ \mathbb{P}^2 $）如何阻碍稳定性条件的构造？
• RQ5 在基空间存在退化纤维的情况下，Calabi-Yau 纤维丛的自同构群 $ \mathop{\rm Auteq}(\mathrsfs{X}/\mathrsfs{Y}) $ 的精确结构是什么？

主要发现

• 对于平坦椭圆纤维丛，空间 $ \mathop{\rm Stab}^\circ(X/S) $ 允许一个正则覆盖映射至 $ (\mathop{\rm GL}^+(2,\mathbb{R}) \times V_\mathbb{C}) \setminus \bigcup \widetilde{H}_{k,w(l)} $，其墙结构类似于双有理几何中的移动锥。
• 椭圆纤维丛的 $ \mathop{\rm Stab}^\circ(X/S) $ 空间被证明是关于反射群 $ W_{\rm ref} $ 和 Dynkin 型有理曲线的商空间的正则覆盖。
• 对于 K3（或阿贝尔）纤维丛，空间 $ \mathop{\rm Stab}^\circ(X/S) $ 通过中心化荷与 t-结构的比较，自然地与 $ \mathop{\rm Stab}^\circ(X_0) $（即特殊纤维的稳定性空间）相关联。
• 自同构群 $ \mathop{\rm Auteq}(\mathrsfs{X}/\mathrsfs{Y}) $ 由扭函子 $ T_{\mathcal{E}_{a,b}} $、线丛张量积和移位函子 $[1]$ 生成，其中 $ 1 \leq a \leq b \leq n $。
• 生成元 $ T_{\mathcal{E}_{a,b}} $ 对应于稳定性空间中 codimension-two 超平面的环绕回路，其作用被证明是非平凡的且独立于线丛作用。
• 通过交换图和复合映射 $ \Phi_{a,b}^{-1} \circ T_{\mathcal{E}_{a,b}} $ 在球面对象上作用为恒等映射的事实，证明了 $ \Phi_{a,b} = T_{\mathcal{E}_{a,b}} $，从而表明其在张量积意义下为平凡。