[论文解读] The Existence of Supersymmetric String Theory with Torsion

Jun Li, Shing‐Tung Yau|ArXiv.org|Nov 12, 2004

Geometry and complex manifolds参考文献 9被引用 4

一句话总结

本文通过扰动具有 U(4) 和 U(5) 纤维丛上可约 Hermitian-Yang-Mills 连接的 Calabi-Yau 三复流形，首次构造出已知的不可约、正则解，用于具有挠率的 Strominger 超对称弦理论系统。利用变形理论和 Kodaira-Spencer 类的非退化条件，作者构建了全纯结构的光滑族，使得 Strominger 系统在非平凡的稀释子和规范场下存在解。

ABSTRACT

We derived an existence criterion to the Supersymmetric String Theory with Torsion proposed by Strominger and proved the existence of such theory for a class of Calabi-Yau threefolds.

研究动机与目标

• 构造具有挠率的 Strominger 超对称弦理论系统的首个不可约、正则解。
• 通过扰动 Calabi-Yau 三复流形及其相关纤维丛，拓展先前关于可约解的结果。
• 确定小变形下可约纤维丛上的全纯结构变形，使得 Strominger 系统存在解的充分条件。
• 提供具体示例，包括五次三复流形和 $\mathbb{P}^3 \times \mathbb{P}^3$ 中的完全交，证明其可接受此类解。
• 为理解 Strominger 结构的全局模空间及其在 Calabi-Yau 流形之间的对数变型（conifold transitions）中的作用奠定基础。

提出的方法

• 通过光滑族的 $\bar{\partial}$-算子 $\bar{\partial}_s$ 扰动 Calabi-Yau 三复流形 $X$ 上可约纤维丛 $TX \oplus \mathbb{C}_X^{\oplus r}$ 的全纯结构。
• 应用扰动方法，将可约纤维丛上的 Hermitian-Yang-Mills 度量 $H_0$ 延拓为小 $s$ 下的光滑族 $H_s$ 的 Hermitian-Yang-Mills 度量。
• 推导 Strominger 系统可解的充分条件：变形的 Kodaira-Spencer 类必须满足非退化条件（定理 4.3）。
• 通过扰动光滑五次三复流形 $X \subset \mathbb{P}^4$ 上 $\mathbb{C}_X \oplus TX$ 的全纯结构，构造显式示例。
• 利用恰当列和满射映射，在 $X \subset \mathbb{P}^3 \times \mathbb{P}^3$ 上产生 $TX \oplus \mathbb{C}_X^{\oplus 2}$ 的小变形，其由双次数为 $(3,0), (0,3), (1,1)$ 的多项式截得。
• 验证所得族的 Kodaira-Spencer 类的非退化性，以确保 Strominger 系统存在不可约解。

实验结果

研究问题

• RQ1 能否通过扰动 Calabi-Yau 真空，在非凯勒流形上构造出具有挠率的 Strominger 系统的不可约解？
• RQ2 全纯结构变形的何种条件可确保 Strominger 系统存在非平凡稀释子和规范场的解？
• RQ3 显式 Calabi-Yau 三复流形（如五次三复流形和 $\mathbb{P}^3 \times \mathbb{P}^3$ 中的完全交）是否允许小变形，从而产生 Strominger 系统的不可约解？
• RQ4 如何验证此类变形下 Kodaira-Spencer 类的非退化条件，以保证解的存在性？
• RQ5 能否通过此类微扰构造，全局理解 Strominger 结构的模空间？

主要发现

• 本文通过可约结构的扰动，首次构造出 U(4) 和 U(5) 纤维丛在 Calabi-Yau 三复流形上 Strominger 系统的已知不可约、正则解。
• 对于光滑五次三复流形 $X \subset \mathbb{P}^4$，存在 $\mathbb{C}_X \oplus TX$ 的光滑变形 $D_s''$，使得对小 $s$ 和大 $c>0$，系统存在不可约解 $(H_s, \omega_s)$，满足 $\lim_{s \to 0} \omega_s = c\omega$ 且 $\lim_{s \to 0} H_s$ 为正则的 Hermitian-Yang-Mills 连接。
• 对于由三个双次数为 $(3,0), (0,3), (1,1)$ 的齐次多项式定义的 Calabi-Yau 三复流形 $X \subset \mathbb{P}^3 \times \mathbb{P}^3$，类似构造在 $\mathbb{C}_X^{\oplus 2} \oplus TX$ 上产生不可约解。
• 当变形的 Kodaira-Spencer 类满足非退化条件时，即类矩阵中的非对角块非零，解的存在性得以保证。
• 作者验证了所构造族的非退化条件成立，确保定理 4.3 的适用性。
• 结果为研究 Strominger 结构的非微扰性质及其全局模空间奠定了基础，尤其在 Calabi-Yau 流形之间的对数变型背景下。