[論文レビュー] Sp(2)/U(1) and a Positive Curvature Problem

Ming Xu, Joseph A. Wolf|arXiv (Cornell University)|Feb 10, 2015

Advanced Differential Geometry Research参考文献 3被引用数 5

ひとこと要約

本稿は、同一直線ベクトルのペアに対して正の曲率を持つリーマン計量を、同次空間 Sp(2)/U(1) に構成する。一般の正の曲率を有しないにもかかわらず、このような計量が存在することを示している。主な貢献は、一般の正の曲率とは異なる「同一直線ベクトルのペアに対して正の曲率」を示す最初の例を提供したことであり、Bérard-Bergery の分類における空白を解消し、Wilking の結果（Sp(2)/U(1) は全体として厳密に正のセクション曲率を有しない）と対照的である。

ABSTRACT

A compact Riemannian homogeneous space $G/H$, with a bi--invariant orthogonal decomposition $\mathfrak{g}=\mathfrak{h}+\mathfrak{m}$ is called positively curved for commuting pairs, if the sectional curvature vanishes for any tangent plane in $T_{eH}(G/H)$ spanned by a linearly independent commuting pair in $\mathfrak{m}$. In this paper,we will prove that on the coset space $\mathrm{Sp}(2)/\mathrm{U}(1)$, in which $\mathrm{U}(1)$ corresponds to a short root, admits positively curved metrics for commuting pairs. B. Wilking recently proved that this $\mathrm{Sp}(2)/\mathrm{U}(1)$ can not be positively curved in the general sense. This is the first example to distinguish the set of compact coset spaces admitting positively curved metrics, and that for metrics positively curved only for commuting pairs.

研究の動機と目的

• 奇次元の正の曲率を有する同次空間の分類において Bérard-Bergery の分類に存在する空白を解消すること、特に Sp(2)/U(1) に関して。
• Sp(2)/U(1) が、m 内のすべての線形独立で可換な接ベクトルのペアに対して正のセクション曲率を有する同次 Riemann 計量を有するかどうかを調査すること。
• 同一直線ベクトルのペアに対して正の曲率を有する空間と、一般の正の曲率を有する空間との区別を明確にすること。
• 同次空間において、同一直線ベクトルのペアに対して正の曲率を有することが、一般の正の曲率を有することを意味するという仮定に対する反例を提供すること。

提案手法

• リー代数 sp(2) の要素を、u, v, w ∈ ℝ³ を用いた形式的ベクトル (λ, u, v, w) として表現し、双不変内積の下での直交分解を用いる。
• U(1) の部分群を λ 要素として定義し、接空間 m を λ = 0 として特定し、m を u（自明な H 表現）と (v, w)（非自明な H 表現）に分解する。
• m 上の Ad(H)-不変内積を用いて G-不変 Riemann 計量を構成し、正定値行列 A, B, C を用いて u, v, w 成分をスケーリングする線形写像 M でパrameter化する。
• セクション曲率の公式を用い、[X,Y]ₘ および ⟨[[X,Y]ₕ, X], Y⟩ や U(X,Y) などの項を含む式を用いて曲率の挙動を分析する。
• M の固有値解析を適用し、最小固有値を特定し、曲率が消えるような特定の可換ペア (X,Y) を構成する。
• 任意のこのような最小固有値に対して、K(X∧Y) ≤ 0 を満たす可換ペア (X,Y) が存在することを証明し、一般の正の曲率が不可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 U(1) が短い根に対応するとき、coset 空間 Sp(2)/U(1) は、m 内のすべての可換な接ベクトルのペアに対して正の曲率を有する G-不変 Riemann 計量を有するか？
• RQ2 従来の代数的技法が Sp(2)/U(1) を正の曲率を有する同次空間のリストから除外できないことから、分類基準の見直しが必要であると示唆するか？
• RQ3 一般の正のセクション曲率を有しないが、可換ペアに対して正の曲率を有するコンパクトな同次空間は存在するか？
• RQ4 Bérard-Bergery の奇次元の正の曲率空間の分類における空白は、m 内の Cartan 子代数の精密な解析を用いて完全に解消可能か？
• RQ5 計量作用素 M の固有構造は、可換ペアに対する曲率挙動を決定づける役割を果たすか？

主な発見

• U(1) が短い根に対応する coset 空間 Sp(2)/U(1) は、m 内のすべての線形独立で可換なペアに対して正の曲率を有する G-不変 Riemann 計量を有する。
• このような計量の存在は、適切に u, v, w 成分をスケーリングする正定値線形写像 M を用いた、m 上の特定の Ad(H)-不変内積の構成によって確立される。
• しかし、B. Wilking の結果により、Sp(2)/U(1) は一般の意味で厳密に正のセクション曲率を有するいかなる同次 Riemann 計量をも有しない。
• 本稿は、可換ペアに対して正の曲率を有するが、全体として正の曲率を有しないコンパクトな同次空間の最初の既知の例を提供しており、2つの曲率概念の区別を明確にしている。
• 計量作用素 M の任意の最小固有値 λ に対して、K(X∧Y) ≤ 0 を満たす可換ペア (X,Y) が存在することを示し、一般の正の曲率が不可能であることを証明している。
• 分析により、従来の可換ペアでの曲率の消失を用いた空間の除外手法が、Sp(2)/U(1) に対しては失敗することが確認され、分類理論における重要な例外が明らかになった。