[论文解读] Heterotic Kahler/non-Kahler Transitions

Melanie Becker, Li-Sheng Tseng+1 more|arXiv (Cornell University)|Jun 28, 2007

Black Holes and Theoretical Physics参考文献 29被引用 8

一句话总结

本文展示了在异规超弦理论中，通过 $K3$ 到 $T^4/\mathbb{Z}_2$ 的 orbifold 极限，实现从凯勒与非凯勒紧化之间的平滑拓扑过渡，连接 $K3 \times T^2$ 与 $K3$ 上的 $T^2$-丛（FSY 几何）。该过渡通过在 $K3 \times K3$ 上的 M-理论对偶实现，对应于两个 $K3$ 因子的交换，且在整个形变过程中保持 $N=2$ 超对称性。

ABSTRACT

We show how two topologically distinct spaces - the Kahler K3 x T^2 and the non-Kahler T^2 bundle over K3 - can be smoothly connected in heterotic string theory. The transition occurs when the base K3 is deformed to the T^4/Z_2 orbifold limit. The orbifold theory can be mapped via duality to M-theory on K3 x K3 where the transition corresponds to an exchange of the two K3's.

研究动机与目标

• 在异规超弦理论中建立拓扑不同的紧化之间的平滑过渡：$K3 \times T^2$（凯勒）与 $K3$ 上的 $T^2$-丛（非凯勒，FSY 几何）。
• 证明该过渡在规范通量紧化下可保持 $N=2$ 超对称性。
• 展示该过渡通过在 $K3 \times K3$ 上的 M-理论对偶实现，对应于两个 $K3$ 因子的交换。
• 验证 FSY 几何满足 $N=2$ 超对称性条件，包括全纯一形式的协变常数性及关联形式在 $H$-联络下的闭包性。

提出的方法

• 利用异规紧化中 $N=2$ 超对称性约束，要求 $F^{(2,0)}=F^{(0,2)}=0$，$F_{mn}J^{mn}=0$，以及 $2i\,\partial\bar{\partial}J = \alpha'\left[\mathrm{tr}(R\wedge R) - \mathrm{tr}(F\wedge F)\right]$。
• 分析具有非零 $U(1)$ 规范场的凯勒 $K3 \times T^2$ 解，以及作为具有曲率 $\omega \in H^{(1,1)}(K3,\mathbb{Z})$ 的 $K3$ 上 $T^2$-丛的非凯勒 FSY 几何。
• 应用在 $K3 \times K3$ 上的 M-理论对偶，其中该过渡对应于两个 $K3$ 因子的交换。
• 推导 FSY 几何的 $N=2$ 超对称性条件，表明处处非零的一形式 $v = \theta$ 的存在性以及 $K3$ 上的超凯勒结构至关重要。
• 验证异常条件 $\frac{1}{16\pi^2}\int_{K3} \mathrm{tr} F \wedge F - \int_{K3} \omega \wedge \bar{\omega} = 24$ 成立，确保通量紧化的自洽性。
• 确认由于 $\partial\theta = 0$ 以及 $\bar{\partial}_c \phi \, \theta^c = 0$、$H_{ab\bar{c}} \theta^c = 0$，$H$-联络下一形式 $v_n$ 的协变常数性 $\nabla_m^H v_n = 0$ 成立。

实验结果

研究问题

• RQ1 在异规超弦理论中，能否在凯勒 $K3 \times T^2$ 与非凯勒 FSY $T^2$-丛于 $K3$ 之间构建平滑过渡？
• RQ2 该过渡是否在整个过程中保持 $N=2$ 超对称性，特别是在存在通量的情况下？
• RQ3 该过渡如何通过在 $K3 \times K3$ 上的 M-理论对偶实现，其对应的几何操作是什么？
• RQ4 确保 FSY 几何满足 $N=2$ 超对称性的精确微分与拓扑条件是什么？
• RQ5 异常抵消条件 $\int_{K3} \mathrm{tr} F \wedge F - \int_{K3} \omega \wedge \bar{\omega} = 24$ 是否足以求解稀释子 $\phi$ 的非线性偏微分方程？

主要发现

• 当 $K3$ 基空间形变为 $T^4/\mathbb{Z}_2$ orbifold 极限时，$K3 \times T^2$ 与 FSY $T^2$-丛于 $K3$ 之间的过渡得以平滑实现。
• $N=2$ 超对称性条件在 FSY 几何中成立，原因在于存在一个处处非零的全纯一形式 $\theta$（对应于 $T^2$-纤维）以及 $K3$ 上的超凯勒结构。
• $H$-联络下一形式 $v = \theta$ 的协变常数性成立，因为 $\partial\theta = 0$，且由于 $T^2$-纤维的结构，附加约束 $\bar{\partial}_c \phi \, \theta^c = 0$ 与 $H_{ab\bar{c}} \theta^c = 0$ 也成立。
• 异常条件 $\frac{1}{16\pi^2}\int_{K3} \mathrm{tr} F \wedge F - \int_{K3} \omega \wedge \bar{\omega} = 24$ 足够保证稀释子方程的解存在，从而确保通量紧化的自洽性。
• 在对偶的 $K3 \times K3$ 上的 M-理论中，该过渡对应于两个 $K3$ 因子的交换，为异规理论中的过渡提供了几何解释。
• FSY 几何保持 $N=2$ 超对称性，因为形式 $K_A$（$A=1,2,3$）构成一个超凯勒结构，且所有相关微分约束（包括 $d[e^{-2\phi}v] + i*(H \wedge e^{-2\phi}v) = 0$）均成立。