[论文解读] T-duality in rational homotopy theory via $L_\infty$-algebras

Domenico Fiorenza, Hisham Sati+1 more|arXiv (Cornell University)|Dec 3, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 27被引用 4

一句话总结

本文通过 $L_\infty$-代数在有理同伦论中建立了拓扑 T-对偶性的严格公式化，表明IIA与IIB型弦理论中 $K^0$ 与 $K^1$ 上循环之间的对偶性对应于扭曲上同调之间的傅里叶-穆卡伊变换。主要贡献在于提供了完整的 $L_\infty$-代数描述 T-对偶性，明确给出了超闵可夫斯基时空上扭曲上同调理论之间的同构关系。

ABSTRACT

We combine Sullivan models from rational homotopy theory with Stasheff's $L_\infty$-algebras to describe a duality in string theory. Namely, what in string theory is known as topological T-duality between $K^0$-cocycles in type IIA string theory and $K^1$-cocycles in type IIB string theory, or as Hori's formula, can be recognized as a Fourier-Mukai transform between twisted cohomologies when looked through the lenses of rational homotopy theory. We show this as an example of topological T-duality in rational homotopy theory, which in turn can be completely formulated in terms of morphisms of $L_\infty$-algebras.

研究动机与目标

• 通过 $L_\infty$-代数在有理同伦论中形式化拓扑 T-对偶性。
• 通过有理同伦论阐明 IIA 型弦理论中 $K^0$-上循环与 IIB 型弦理论中 $K^1$-上循环之间的关系。
• 表明 Hori 公式以及 RR-场的 Buscher 规则在此框架下作为傅里叶-穆卡伊变换出现。
• 从超闵可夫斯基时空 $\mathbb{R}^{8,1|\mathbf{16}+\mathbf{16}}$ 构造一个显式的 $L_\infty$-同态至分类代数 $b\mathfrak{tfold}$，以编码 T-对偶性结构。
• 证明 $\mu_{F1}^{\mathrm{IIA}}$-扭曲与 $\mu_{F1}^{\mathrm{IIB}}$-扭曲上同调是通过傅里叶-穆卡伊变换同构的，从而在代数上实现 Hori 公式。

提出的方法

• 本文使用 Sullivan 模型作为半自由微分分次代数（DGAs）来表示有理同伦类型，其 Chevalley-Eilenberg 代数对应于 $L_\infty$-代数。
• 通过 $L_\infty$-代数扩张来公式化扭曲上同调，其中像 $c_2^{\mathrm{IIA}}$ 和 $c_2^{\mathrm{IIB}}$ 这类上循环定义了超闵可夫斯基代数的中心扩张。
• 基于三元组 $(c_2^{\mathrm{IIA}}, c_2^{\mathrm{IIB}}, \mu_{F1}^{8,1})$ 构造 $L_\infty$-同态 $\mathbb{R}^{8,1|\mathbf{16}+\mathbf{16}} \to b\mathfrak{tfold}$，满足 $d\mu_{F1}^{8,1} = c_2^{\mathrm{IIA}} c_2^{\mathrm{IIB}}$。
• 傅里叶-穆卡伊同构被实现为两个扭曲上同调环之间的拟同构：$H_{L_\infty;\mu_{F1}^{\mathrm{IIA}}}^\bullet(\mathbb{R}^{9,1|\mathbf{16}+\overline{\mathbf{16}}};\mathbb{R})[[u^{-1},u]]$ 与 $H_{L_\infty;\mu_{F1}^{\mathrm{IIB}}}^{\bullet-1}(\mathbb{R}^{9,1|\mathbf{16}+\mathbf{16}};\mathbb{R})[[u^{-1},u]]$。
• 本文利用 $X$ 上取值于 $Y$ 的上循环与 DGCA 同态 $\mathrm{CE}(\mathfrak{l}Y) \to \Omega^\bullet(X)$ 之间的对应关系，将光滑映射推广为 $L_\infty$-代数同态。
• 通过关系 $\Gamma_9^{\mathrm{IIB}} = i\Gamma_9^{\mathrm{IIA}}\Gamma_{10}$ 关联 $\mu_{F1}^{\mathrm{IIA}}$ 与 $\mu_{F1}^{\mathrm{IIB}}$ 上循环，确保对偶性框架中的一致性。

实验结果

研究问题

• RQ1 如何在有理同伦论中通过 $L_\infty$-代数公式化弦理论中的拓扑 T-对偶性？
• RQ2 IIA 型弦理论中 $K^0$-上循环与 IIB 型弦理论中 $K^1$-上循环之间对偶性的精确 $L_\infty$-代数结构是什么？
• RQ3 Hori 公式（描述 RR-场的 T-对偶性）如何在此代数框架中作为傅里叶-穆卡伊变换出现？
• RQ4 $\mu_{F1}^{8,1}$ 三上循环在连接 IIA 与 IIB 型超闵可夫斯基时空的 $L_\infty$-代数中起什么作用？
• RQ5 如何代数地实现 $\mu_{F1}^{\mathrm{IIA}}$-扭曲与 $\mu_{F1}^{\mathrm{IIB}}$-扭曲上同调环之间的同构？

主要发现

• 本文构造了显式的 $L_\infty$-同态 $\mathbb{R}^{8,1|\mathbf{16}+\mathbf{16}} \to b\mathfrak{tfold}$，通过三元组 $(c_2^{\mathrm{IIA}}, c_2^{\mathrm{IIB}}, \mu_{F1}^{8,1})$ 编码 T-对偶性结构，且满足 $d\mu_{F1}^{8,1} = c_2^{\mathrm{IIA}} c_2^{\mathrm{IIB}}$。
• $\mu_{F1}^{\mathrm{IIA}}$-扭曲上同调在 $\mathbb{R}^{9,1|\mathbf{16}+\overline{\mathbf{16}}}$ 上与 $\mu_{F1}^{\mathrm{IIB}}$-扭曲上同调在 $\mathbb{R}^{9,1|\mathbf{16}+\mathbf{16}}$ 上通过傅里叶-穆卡伊变换同构，从而在代数上实现 Hori 公式。
• $L_\infty$-代数 $\mathbb{R}^{9,1|\mathbf{16}+\overline{\mathbf{16}}}$ 是 $\mathbb{R}^{8,1|\mathbf{16}+\mathbf{16}}$ 沿 $c_2^{\mathrm{IIA}}$ 的中心扩张，而 $\mathbb{R}^{9,1|\mathbf{16}+\mathbf{16}}$ 是沿 $c_2^{\mathrm{IIB}}$ 的扩张，显示出代数结构中的对偶性。
• $\mu_{F1}^{\mathrm{IIB}}$ 的显式表达式为 $\mu_{F1}^{8,1} - \overline{\psi}\Gamma_9^{\mathrm{IIA}}\psi e^9_B = -i\sum_{a=0}^8 \overline{\psi}\Gamma_a\Gamma_{10}\psi e^a - i\overline{\psi}\Gamma_9^{\mathrm{IIB}}\psi e^9_B$，确认了 RR-场作用中的对偶性。
• 同构 $\Phi_{e^9_A e^9_B}$ 将 $\mu_{F1}^{\mathrm{IIA}}$-扭曲上循环映射至 $\mu_{F1}^{\mathrm{IIB}}$-扭曲上循环，提供了 Buscher 规则的完整代数实现。
• 该构造表明 T-对偶同构由 $L_\infty$-代数同态诱导，且扭曲由旋量双线性型 $\overline{\psi}\Gamma_9^{\mathrm{IIA}}\psi$ 与 $\overline{\psi}\Gamma_9^{\mathrm{IIB}}\psi$ 的对偶性关联。