[论文解读] Moduli of $G_2$ structures and the Strominger system in dimension 7

Andrew Clarke, Mario García-Fernández+1 more|arXiv (Cornell University)|Jul 5, 2016

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

一句话总结

本文通过将具有扭率的 $G_2$ 结构与 $G_2$-瞬子通过四形式的 Bianchi 类恒等式耦合，引入了 Strominger 系统的七维类比，利用椭圆微分算子理论证明了模空间的有限维性。此外，该研究将解与广义几何联系起来，并通过上同调复形给出了无穷小模空间的新表征。

ABSTRACT

We consider $G_2$ structures with torsion coupled with $G_2$-instantons, on a compact $7$-dimensional manifold. The coupling is via an equation for $4$-forms which appears in supergravity and generalized geometry, known as the Bianchi identity. The resulting system of partial differential equations can be regarded as an analogue of the Strominger system in $7$-dimensions. We initiate the study of the moduli space of solutions and show that it is finite dimensional using elliptic operator theory. We also relate the associated geometric structures to generalized geometry.

研究动机与目标

• 研究紧致七维流形上具有扭率的 $G_2$ 结构的模空间，其动机源于异规超引力中的物理模型。
• 通过将 $G_2$ 结构与 $G_2$-瞬子及四形式的 Bianchi 恒等式耦合，将 Strominger 系统从六维推广至七维。
• 利用椭圆微分算子理论与广义几何，建立解空间的有限维性。
• 将模空间与异规弦理论紧化中的上同调不变量及通量量子化联系起来。
• 通过 $H^3(M,\mathbb{R})$ 提供了对 $G_2$-全纯度量的无穷小模空间表征的新证明。

提出的方法

• 构建了一个包含型为 $W_3$ 的共协仿射 $G_2$ 结构、$G_2$-瞬子及扭率三形式 $H$ 的 Bianchi 恒等式的非线性偏微分方程组。
• 在 $E = TM \oplus \text{ad}P \oplus T^*M$ 上采用 Courant 代数胚结构建模，整合了度量、联络与稀释场。
• 引入一个微分算子的线性复形 $\Omega^0(E) \xrightarrow{\hat{\mathbf{P}}} T_x\hat{\mathcal{P}} \xrightarrow{\hat{\mathbf{L}}} \Omega^7 \times \Omega^5 \times \Omega^3 \times \Omega^6(\text{ad}P)$，并证明其为椭圆复形。
• 应用椭圆正则性与指标理论，证明该复形的一阶上同调 $H^1(\widehat{KS}_7)$ 为有限维。
• 定义通量映射 $\delta: H^1(KS_7) \to H^3(M)$，以关联无穷小形变与 Courant 代数胚结构的变化。
• 导出一个扩张序列 $0 \to H^2(M) \to H^1(\widehat{KS}_7) \to \ker\delta \to 0$，将模空间与物理通量量子化联系起来。

实验结果

研究问题

• RQ1 在七维中，与 $G_2$-瞬子耦合的具有扭率的 $G_2$ 结构的模空间结构为何？
• RQ2 四形式曲率的 Bianchi 恒等式如何将 Strominger 系统推广至七维？
• RQ3 能否利用椭圆 PDE 理论证明此类解的模空间为有限维？
• RQ4 解如何与广义几何及 Courant 代数胚结构相关联？
• RQ5 通量映射 $\delta$ 在分类与通量量子化相容的无穷小形变中起何作用？

主要发现

• 通过线性化复形的椭圆性，已证明七维 Strominger 系统的解模空间为有限维。
• 无穷小模空间 $H^1(\widehat{KS}_7)$ 适合于扩张序列 $0 \to H^2(M) \to H^1(\widehat{KS}_7) \to \ker\delta \to 0$，其中 $\delta$ 是映射至 $H^3(M)$ 的通量映射。
• 复形 $\Omega^0(E) \xrightarrow{\hat{\mathbf{P}}} T_x\hat{\mathcal{P}} \xrightarrow{\hat{\mathbf{L}}} \Omega^7 \times \Omega^5 \times \Omega^3 \times \Omega^6(\text{ad}P)$ 被证明是椭圆复形。
• 空间 $H^1(\widehat{KS}_7)$ 参数化了在异规弦理论紧化中与通量量子化相容的物理形变。
• 通过相同的上同调框架，获得了对 $G_2$-全纯度量的无穷小模空间同构于 $H^3(M,\mathbb{R})$ 的新证明。
• 证明了解在 Courant 代数胚自同构群作用下不变，且通过对 $\hat{\mathbf{P}}$ 的像进行约化以消除对称性。