A complete classification of left-invariant Einstein metrics on $S^3\times S^3$

技术摘要：$S^3 \times S^3$ 上左不变爱因斯坦度量之完整分类

问题陈述
本文旨在解决六维紧致单连通齐次爱因斯坦流形的分类问题。Nikonorov–Rodionov 以及 Belgun–Cortés–Haupt–Lindemann (BCHL) 的前人研究已将该分类问题简化为对李群 $G = SU(2) \times SU(2) \cong S^3 \times S^3$ 上左不变爱イン斯坦度量的研究。在内等距同构群 $K(g)$ 具有正维数或包含非平凡有限子群（除 $\mathbb{Z}_2$ 外）的情况已被解决，而有两个特定情况仍悬而未决：

1. 内同构群为平凡群的情况，即 $K(g) = \{e\}$。
2. $K(g) \cong \mathbb{Z}_2$ 由一个迹 $\text{tr}(\sigma) = -2$ 的内自反演 $\sigma$ 生成的情况。

作者旨在通过解决这两个剩余情况来完成分类。

方法论
作者结合了全局矩阵参数化、谱分析和代数几何来分析爱因斯坦方程。

1. 图坐标与参数化：
   左不变度量空间由“图三元组”$(P, Q, M)$ 参数化，其中 $P, Q \in \text{Sym}^+_3$ 且 $M \in M_3(\mathbb{R})$。该参数化源自度量张量的分块分解，允许将标量曲率 $S$ 和爱因斯坦方程表示为多项式系统。作者利用“带符号 SVD 规范”（signed-SVD gauge）使 $M$ 对角化（令 $M = \text{diag}(m_1, m_2, m_3)$），并简化对称性分析。

2. 谱界限与径向不等式：
   为了排除平凡同构情况（$K(g)=\{e\}$），作者推导出了严格的谱上界。通过分析混合矩阵 $M$ 的径向变化并利用余因子映射的性质，他们确立了如果存在满秩且具有正“混合能量”（$\ell > 0$）的解，则缩放后的度量矩阵必须满足严格不等式（例如 $\rho_Q Q \prec 4I$）。

3. 支撑类型排除：
   作者根据 $P$ 和 $Q$ 的非对角项的“边支撑”（edge support）对潜在解进行分类。他们证明，如果 $K(g) = \{e\}$，则支撑类型必须是四种特定配置之一：$(3,3), (2,3), (3,2)$ 或 $(2,2)$。利用推导出的谱界限和非对角爱因斯坦方程，他们证明了这四种支撑类型均会导致矛盾，从而证明不存在具有平凡同构的此类度量。

4. 迹为 $-2$ 的自反演的对称性增强：
   对于 $K(g) \cong \mathbb{Z}_2$ 由迹 $\text{tr}(\sigma) = -2$ 的自反演 $\sigma$ 生成的情况，作者利用了 BCHL 导出的多项式系统。他们分析了“全混合各向异性”（fully mixed anisotropic）分支的解。通过构造一个特定的拉格朗日乘子方程的对角差值（$BS_B - CS_C$）并证明其具有固定的负号，他们表明在全混合各向异性区域不存在解。因此，任何解必须位于退化参数区域（即某些混合参数消失或系数相等的区域）。

5. 对称性综合：
   在退化区域中，作者显式地构造了额外的内自同构。他们证明，假设的 $\mathbb{Z}_2$ 对称性必然扩展到克莱因四元群（$\mathbb{Z}_2 \times \mathbb{Z}_2$）。这种增强使得可以应用先前已知的分类定理（特别是 BCHL 定理 2），该定理涵盖了具有 $\mathbb{Z}_2 \times \mathbb{Z}_2$ 对称性的度量。

主要贡献与结果

• 定理 1.1（自动内对称性）： $SU(2) \times SU(2)$ 上的每个左不变爱因斯坦度量都由一个非单位内自同构保持。这通过证明平凡情况不可能发生，解决了 $K(g) = \{e\}$ 的问题。
• 定理 1.2（对称性增强）： 如果一个左不变爱因斯坦度量由迹 $\text{tr}(\sigma) = -2$ 的内自反演 $\sigma$ 保持，则其对称群必然包含一个克莱因四元子群 $\mathbb{Z}_2 \times \mathbb{Z}_2$。
• 定理 1.3（完整分类）： 结合新结果与现有文献，作者得出结论：在同构及等距意义下， $S^3 \times S^3$ 上的每个左不变爱因斯坦度量要么是：
  1. 标准乘积度量 $g_{\text{can}}$。
  2. Jensen 近乎凯勒（nearly Kähler）度量 $g_{\text{NK}}$。

意义
本文声称完成了六维紧致单连通齐次爱因斯坦流形的分类。通过解决前人工作中留下的两个剩余情况，作者确立了此类流形仅有标准乘积和 Jensen 近乎凯勒度量。此外，该工作利用 Lean 4 证明辅助工具对这些定理进行了形式化验证，确保了代数和几何论证的严密正确性。