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

技術的要約：$S^3 \times S^3$ 上の左不変アインシュタイン計量の完全な分類

問題提起
本論文は、6次元におけるコンパクトかつ単連結な同次アインシュタイン多様体の分類を取り扱う。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$ を除く）を含むケースは解決されていたが、以下の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ゲージ」を利用して $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$ の非対角成分の「エッジ・サポート」に基づいて、潜在的な解を分類している。もし $K(g) = \{e\}$ であるならば、サポート型は必ず 4 つの特定の構成 $(3,3), (2,3), (3,2), (2,2)$ のいずれかであることを証明している。導出されたスペクトル境界と非対角アインシュタイン方程式を用いることで、これら 4 つのサポート型のいずれもが矛盾を導くことを示し、したがって自明な等長対称性を持つそのような計量は存在しないことを証明している。

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$）へと拡張されることを示している。この強化により、既知の分類定理（具体的には $\mathbb{Z}_2 \times \mathbb{Z}_2$ 対称性をカバーする BCHL の定理 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 (完全な分類)： 新たな結果を先行文献と組み合わせることで、著者らは、すべての左不変アインシュタイン計量は、ホモテティ（相似変換）および等長変換を除いて、以下のいずれかであることを結論付けている：
  1. 標準的な積計量 $g_{\text{can}}$。
  2. ジェンセンのニアリー・ケーラー計量 $g_{\text{NK}}$。

意義
本論文は、コンパクトかつ単連結な同次アインシュタイン多様体の分類を完了したと主張している。先行研究によって残されていた 2 つのケースを解決することで、標準的な積計量とジェンセンのニアリー・ケーラー計量のみがそのような多様体であることを確立した。また、本研究は Lean 4 証明助手を用いてこれらの定理の形式的な検証を行っており、代数および幾何学的な議論の厳密な正当性を保証している。