[論文レビュー] Homogeneous Metrics with nonnegative curvature

Lorenz Schwachhöfer, Kristopher Tapp|ArXiv.org|Apr 23, 2008

Geometric Analysis and Curvature Flows参考文献 8被引用数 4

ひとこと要約

本稿は、非負の断面曲率を持つ同次空間 G/H における G-不変 Riemann 計量を調査し、中間的補代数に沿って計量をスケーリングする逆線形パスによる曲率を保存する変形に注目する。主な貢献は、Lie 括弧の制御に基づく十分条件であり、この条件下で変形が非負曲率を保存することを示しており、対称対 (K,H) は t ∈ (−∞, 1/4] に対して曲率の非負性を保証し、非負曲率を持つ同次計量の新たな例を提供する。

ABSTRACT

Given compact Lie groups H\subset G, we study the space of G-invariant metrics on G/H with nonnegative sectional curvature. For an intermediate subgroup K between H and G, we derive conditions under which enlarging the Lie algebra of K maintains nonnegative curvature on G/H. Such an enlarging is possible if (K,H) is a symmetric pair, which yields many new examples of nonnegatively curved homogeneous metrics. We provide other examples of spaces G/H with unexpectedly large families of nonnegatively curved homogeneous metrics.

研究の動機と目的

• 正規同次計量を超えて、G/H 上の G-不変計量の非負断面曲率に関する分類を達成すること。
• 中間的補代数 K (H ⊂ K ⊂ G) 沿いに計量を拡大することによる曲率への影響を理解すること。
• このような計量変形が非負曲率を保存する十分条件を導出すること。
• Riemann 積分への曲率保存および Cheeger 変形に関する既知の結果を拡張すること。
• 対称対構造を用いて、非負曲率を持つ同次空間の新たな例を提供すること。

提案手法

• g における H の直交補空間 𝔪 ⊕ 𝔰 における内積の逆線形パスを t でパラメータ化し、計量を変形する。
• Cheeger の手法を適用して、非負曲率計量の解空間が正規計量を中心に星型であることを示す。
• 逆線形パスの Müter の累乗級数にインspiredされた曲率変動式を導出する。
• 計量変形 g_t が 𝔪 成分を (1−t)⁻¹ でスケーリングし、𝔰 成分を固定するようにする。
• 非負曲率の必要十分条件を確立：すべての X,Y ∈ 𝔭 に対して ||[Xᵐ,Yᵐ]ᵐ|| ≤ C·||[X,Y]|| が成り立つこと。
• もし (K,H) が対称対であれば、すべての t ∈ (−∞, 1/4] に対して g_t が非負曲率を持つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 G/H 上の正規計量の逆線形変形が非負断面曲率を保存するのはどのような条件下か？
• RQ2 計量が中間的補代数 𝔨 沿いにスケーリングされた場合、曲率が非負のままであるか？
• RQ3 ペア (K,H) のどのような構造的性質が、変形計量 g_t が非負曲率のままであることを保証するか？
• RQ4 曲率が負に変わるまでのスケーリングパラメータ t の普遍的な上限は存在するか？
• RQ5 対称対 (K,H) は、非負曲率を持つ同次計量の新たな族を構成するためにどのように寄与するか？

主な発見

• 逆線形パス g_t が十分小さい t > 0 で非負曲率を保存するのは、すべての X,Y ∈ 𝔭 に対して ||[Xᵐ,Yᵐ]ᵐ|| ≤ C·||[X,Y]|| が成り立つときかつそのときに限る。
• もし (K,H) が対称対であれば、すべての t ∈ (−∞, 1/4] に対して計量 g_t が非負曲率を持つ。t=1/4 は鋭い境界である。
• t=1/4 におけるスケーリング係数 4/3 は、ホップ fibrations や coset fibrations における既知の上限と一致し、普遍性を示唆する。
• H が自明であれば、非負曲率は、𝔨 の半単純部が 𝔤 において理想である場合に限り、計量変形のもとで保存される。
• 仮定 ||Xᵐ ∧ Yᵐ|| ≤ C·||[X,Y]|| が成り立つと、g₀ に近い任意の Ad_H-不変計量で 𝔪 成分を調整した場合、非負曲率が保たれる。
• 背理法により、与えられた制約下で [X_n,Y_n] → 0 となる単位ベクトル列が存在しないことを証明し、G₂/SU(3) の場合における曲率保存を確認する。