[论文解读] Brackets, forms and invariant functionals

Nigel Hitchin|ArXiv.org|Aug 30, 2005

Geometric and Algebraic Topology参考文献 6被引用 7

一句话总结

本文引入了一种由闭的 $\mathbf{R}^2$-值微分形式定义的新六维几何结构，其在 $Spin(6,6) \times GL(2,\mathbf{R})$ 下的稳定子为 $Spin(3,4) \times SL(2,\mathbf{R}) \times SL(2,\mathbf{R})$，源自使用 Courant 李括号和不变泛函的推广几何框架。该结构建立了由 Courant 括号版本的 Nahm 方程控制的哈密顿流，产生类似 $G_2^{(2)}$ 的结构，其在 $T \oplus T^*$ 中具有一个 4 维的迷向子丛，并与一个五维不变泛函及其三个 Courant 对易截面相关联。

ABSTRACT

In the context of generalized geometry we first show how the Courant bracket helps to define connections with skew torsion and then investigate a five-dimensional invariant functional and its associated geometry. A Hamiltonian flow arising from this corresponds to a version of the Nahm equations using the Courant bracket, and we investigate the six-dimensional geometrical structure this describes.

研究动机与目标

• 通过推广几何和 Courant 括号定义并研究一种新的六维几何结构。
• 研究不变泛函在五维和六维中的作用，特别是通过闭微分形式。
• 建立由 Courant 括号类比 Nahm 方程控制的哈密顿流。
• 通过闭的 $\mathbf{R}^2$-值形式及其稳定子 $Spin(3,4) \times SL(2,\mathbf{R}) \times SL(2,\mathbf{R})$ 描述该几何结构。
• 将该结构与 $G_2^{(2)}$ 几何及推广设置下的 $Spin(7) \times Spin(7)$ 结构联系起来。

提出的方法

• 使用 $T \oplus T^*$ 截面上的 Courant 括号定义具有反对称挠率的联络，推广 Levi-Civita 联络。
• 应用 $T \oplus T^*$ 的旋量形式语言，将微分形式视为在作用 $(X+\xi) \cdot \rho = i_X\rho + \xi \wedge \rho$ 下的 Clifford 模。
• 通过 $T \oplus T^*$ 的三个 Courant 对易截面定义五维不变泛函，从而产生通过形式闭包实现可积性的推广几何。
• 通过在 $\mathbf{R} \times M$ 演化上的哈密顿流构造六维结构，其由 $\partial_t \rho = d\hat{\rho}$ 和 $d\rho = 0$ 控制，意味着对 $\sigma(z) = dt \wedge \hat{\rho}(z) + \rho(z)$ 有 $d\sigma(z) = 0$。
• 分析 $\sigma(z)$ 的零化子，表明其由一个 2 维迷向子空间张成，从而导出 $T \oplus T^*$ 中一个秩为 4 的子丛 $V$，其结构群为 $SO(4,4) \times SO(2,2)$。
• 识别形式对 $(\sigma_1, \sigma_2)$ 的稳定子为 $Spin(3,4) \times SL(2,\mathbf{R}) \times SL(2,\mathbf{R})$，通过旋量群的表示理论刻画该几何结构。

实验结果

研究问题

• RQ1 Courant 括号如何用于在推广几何中定义具有反对称挠率的联络？
• RQ2 由具有三个 $T \oplus T^*$ 截面的五维不变泛函所生成的几何结构是什么？
• RQ3 由 Courant 括号版本的 Nahm 方程控制的哈密顿流如何生成六维几何？
• RQ4 由闭的 $\mathbf{R}^2$-值形式 $\sigma(z)$ 定义的六维流形的仿射结构类型为何？
• RQ5 形式对 $(\sigma_1, \sigma_2)$ 的稳定子如何与 $Spin(3,4)$ 及 $SL(2,\mathbf{R}) \times SL(2,\mathbf{R})$ 相关联？

主要发现

• 六维流形上存在一个闭的 $\mathbf{R}^2$-值微分形式 $\sigma(z) = dt \wedge \hat{\rho}(z) + \rho(z)$，其零化子由一个 2 维迷向子空间张成，意味着在 $T \oplus T^*$ 中存在一个具有 $(2,2)$ 指标的 4 维子丛 $V$。
• 在 $T \oplus T^*$ 上，结构群约化为 $SO(4,4) \times SO(2,2)$，形式 $\sigma_1, \sigma_2$ 属于 $S^+ \otimes \Delta^+ + S^- \otimes \Delta^-$，且该对变换为 $\psi \otimes \epsilon \in S^+ \otimes \Delta^+ \otimes \mathbf{R}^2$。
• 形式对的稳定子为 $Spin(3,4) \times SL(2,\mathbf{R}) \times SL(2,\mathbf{R})$，表明其具有类似于 $G_2$ 或 $Spin(7)$ 结构的仿射约化。
• 该几何结构由哈密顿流刻画，其中 $\partial_t \rho = d\hat{\rho}$ 且 $d\rho = 0$，确保 $d\sigma(z) = 0$，这通过 Courant 括号推广了 Nahm 方程。
• 五维几何源于 $T \oplus T^*$ 的三重 Courant 对易截面，其相关的五维叶状结构族类似于自对偶 4-流形中的 $\alpha$-平面族。
• 该结构与推广的 $G_2^{(2)}$ 几何相关联，并与 $Spin(7) \times Spin(7)$ 结构共享特征，但其由闭形式而非稳定形式定义，突显了通过闭包实现的新可积性条件。