[论文解读] Notes on the octonions

Dietmar Salamon, Thomas Walpuski|arXiv (Cornell University)|May 17, 2010

Geometric Analysis and Curvature Flows参考文献 16被引用 27

一句话总结

这篇综述论文对唐纳森-托马斯理论以及 $G_2$-和 $\ mathrm{Spin}(7)$-几何中 underlying 的代数结构提供了全面且内在的刻画，重点在于七维和八维空间中的叉积、校准形式以及赋范代数。论文证明叉积仅存在于维度 0、1、3 和 7，且展示了八元数如何通过其特有的三阶和四阶校准形式，为 $G_2$ 和 $\ mathrm{Spin}(7)$ 结构提供代数基础。

ABSTRACT

This is an expository paper. Its purpose is to explain the linear algebra that underlies Donaldson-Thomas theory and the geometry of Riemannian manifolds with holonomy in $G_2$ and ${ m Spin}(7)$.

研究动机与目标

• 提供 $G_2$-和 $\ mathrm{Spin}(7)$-几何所依赖的线性代数结构（如叉积、校准形式和结合子括号）的自包含且内在的阐述。
• 在不依赖于标准模型同构的前提下，阐明八元数及其虚部在定义 $G_2$ 和 $\ mathrm{Spin}(7)$ 结构中的作用。
• 确立叉积在维度 0、1、3 和 7 中的存在性与唯一性，并刻画其代数与几何性质。
• 通过将 Floer 理论构造与 $\ mathbf{R} \times Y$ 中 Cayley 子流形的几何联系起来，将这些结构与唐纳森-托马斯理论联系起来。
• 分析外代数在 $G_2$ 和 $\ mathrm{Spin}(7)$ 作用下的不可约表示分解，并将其与校准形式和全纯性联系起来。

提出的方法

• 通过正交性和范数条件对叉积进行内在刻画：$\langle u \times v, u \rangle = \langle u \times v, v \rangle = 0$ 以及 $|u \times v|^2 = |u|^2|v|^2 - \langle u,v \rangle^2$。
• 应用表示论将交替形式空间分解为不可约的 $G_2$-和 $\ mathrm{Spin}(7)$-表示，特别是在七维和八维空间中。
• 通过七维流形上存在唯一相容的三阶形式 $\phi$ 来刻画 $G_2$-结构，通过八维流形上存在唯一四阶形式 $\Phi$ 来刻画 $\ mathrm{Spin}(7)$-结构。
• 为七维空间 $V$ 引入 $\ mathbf{R} \times V$ 上的三重叉积，将其与 Cayley 校准形式 $\Phi = dt \wedge \phi + \psi$ 联系起来。
• 推导出子流形 $\Sigma \subset \mathbf{R} \times Y$ 为 Cayley 的条件，即方程 $\partial_t u_t - du_t \xi_t + \frac{[du_t e_1, du_t e_2, du_t e_3]}{\phi(du_t e_1, du_t e_2, du_t e_3)} = 0$。
• 为嵌入 $f: S \to Y$ 定义能量泛函 $\mathscr{E}(f) = \int_S e_f f^*\phi$，其中 $e_f$ 衡量三重叉积的畸变，并证明其在 $\mathscr{G}$-作用下不变。

实验结果

研究问题

• RQ1 叉积存在于哪些维度？其内在代数性质是什么？
• RQ2 八元数及其虚部如何通过校准形式产生 $G_2$ 和 $\ mathrm{Spin}(7)$ 结构？
• RQ3 Chern-Simons 泛函的临界点与能量泛函 $\mathscr{E}$ 的极小值之间存在何种关系？
• RQ4 如何利用作用泛函 $\mathscr{A}$ 的负梯度流线在 $\mathbf{R} \times Y$ 中构造 Cayley 子流形？
• RQ5 在七维和八维的 $G_2$-和 $\ mathrm{Spin}(7)$-几何中，定义不变量的分析与几何障碍是什么？这些障碍如何被克服？

主要发现

• 叉积存在于有限维实希尔伯特空间 $V$ 上当且仅当 $\dim V \in \{0, 1, 3, 7\}$，其中七维情形在正交同构意义下唯一。
• 在七维空间上，非退化的三阶形式 $\phi$ 唯一确定一个相容的内积，并通过关联校准形式诱导出 $G_2$-结构。
• 在八维空间中，作为 Cayley 校准形式的四阶形式 $\Phi$ 诱导出 $\ mathrm{Spin}(7)$-结构，其特征由 $\ mathrm{Spin}(7)$ 作用下的稳定子群决定。
• 对于七维空间 $V$，$\ mathbf{R} \times V$ 上的三重叉积同构于八元数乘法，其像切于 Cayley 子流形当且仅当流满足方程 $\partial_t u_t - du_t \xi_t + \frac{[du_t e_1, du_t e_2, du_t e_3]}{\phi(du_t e_1, du_t e_2, du_t e_3)} = 0$。
• 能量泛函 $\mathscr{E}(f)$ 在 $\mathscr{G}$-作用下不变，且其最小值恰好出现在作用泛函 $\mathscr{A}$ 的临界点上，这些临界点对应于关联或 Cayley 子流形。
• 在给定同调类中，$\mathscr{A}$ 的临界点是 $\mathscr{E}$ 的绝对极小值点，且 $\mathscr{E}(f)$ 的第一项当且仅当 $f$ 是 $\mathscr{A}$ 的临界点时为零。