[論文レビュー] Nonnegatively curved 5-manifolds with non-abelian symmetry

Fábio Luiz Borges Simas|arXiv (Cornell University)|Dec 20, 2012

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

ひとこと要約

この論文は、非負曲率の不変計量を備えた有効な SO(3) もしくは SU(2) アクションを許容する 5 次元単連結多様体を分類する。軌道空間解析、双剰剰空間構成、曲率制約を用いて、このような多様体は、S⁵、S³×S²、Wu 多様体 W=SU(3)/SO(3)、または特定の双剰剰空間 Nₘ,ₙˡ と同相型であることが示される。正曲率のためには、線形作用を持つ S⁵ のみが可能であり、W や他の Nₘ,ₙˡ は固定点集合の次元や同相型の障害により除外される。

ABSTRACT

We classify compact simply-connected 5-dimensional manifolds which admit a metric of nonnegative curvature with a connected non-abelian group acting by isometries. We show that they are diffeomorphic to either S^5, S^3 x S^2, the nontrivial S^3-bundle over S^2 or the Wu-manifold, SU(3)/SO(3). This result is a consequence of our equivariant classification of all SO(3) and SU(2)-actions on compact simply-connected 5-manifolds. In the case of positive curvature we obtain a partial classification.

研究の動機と目的

• 5 次元単連結多様体で、連結な非アーベルリー群（SO(3) または SU(2)）による有効な作用を許容し、非負曲率の不変計量を備えるものについて分類すること。
• 同じ対称性の下で、正曲率の計量を許容できる多様体を同定すること。
• 軌道空間幾何学と同相型データを用いて、同相型の意味での完全な分類を提供すること。
• 固定点集合と同相型群の役割を、Frankel の補題とガウス＝ボンネの定理を用いて、正曲率を妨げる要因として分析すること。
• 双剰剰空間 Nₘ,ₙˡ の族を構成し、非アーベル群作用と非負曲率を有する 5 次元多様体のモデル空間として特徴づけること。

提案手法

• 単連結な 5 次元多様体の微分同相型を分析することで、非アーベルリー群作用を許容するすべての多様体を分類：S⁵、S³×S²、S² 上の非自明な S³ バンドル、S³×S² の連結和、Wu 多様体 W と Brieskorn 多様体 B のコピーの連結和。
• 双剰剰空間 Nₘ,ₙˡ = (SU(2) × S³)/S¹ を、(p, (z,w)) ↦ (p xˡ, (xᵐ z, xⁿ w)) で定義される自由な S¹ 行動によって構成し、m+n が偶数のとき S³×S² に微分同相、奇数のとき S³ ×̃ S² に微分同相であることを示す。
• SU(2) 要素への左乗法により Nₘ,ₙˡ に SO(3) または SU(2) アクションを定義し、同相型群を計算：Zₘ、Zₙ、Zgcd(m,n)、または SO(2) であり、gcd(m,n) が偶数のとき無効核は Z₂ となる。
• O’Neill の公式を用いて、S³×S³ 上の標準的積計量が、Nₘ,ₙˡ 上で非負曲率の不変計量を誘導することを示す。
• 軌道空間幾何学を用いる：商 M/G は境界を有する 3 次元軌道体であり、O’Neill の公式によりその曲率性質（非負または正）が元の多様体に引き継がれる。
• ソール定理とガウス＝ボンネの定理を用いて、孤立固定点の数を制約：非負曲率では ≤3、正曲率では ≤2、軌道空間多角形内の角度和に基づく。

実験結果

リサーチクエスチョン

• RQ1 どの単連結 5 次元多様体が SO(3) または SU(2) による有効な作用を許容し、非負曲率の不変計量を備えるか？
• RQ2 同じ対称性条件下で、どの多様体が正曲率の計量を許容できるか？
• RQ3 このような作用における軌道空間 M/G の構造は何か？ その曲率は、可能な多様体をどのように制約するか？
• RQ4 同相型群と固定点集合は、Frankel の補題を介して正曲率を妨げる要因となるか？
• RQ5 どの双剰剰空間 Nₘ,ₙˡ が正曲率を許容する候補となり得るか？ また、m, n, l に必要な条件は何か？

主な発見

• SO(3) または SU(2) による有効な作用を許容し、非負曲率の不変計量を備える唯一の単連結 5 次元多様体は、S⁵、S³×S²、Wu 多様体 W=SU(3)/SO(3)、および双剰剰空間 Nₘ,ₙˡ である。
• 正曲率のためには、線形 SO(3) または SU(2) 作用を持つ S⁵ のみがそのような計量を許容する。他のすべての候補、W や gcd(m,n)≥3 の Nₘ,ₙˡ は除外される。
• W 上の作用は正確に 3 個の孤立固定点を持つが、正曲率多様体に許容される固定点数の上限 2 を超えるため、矛盾する。
• gcd(m,n)≥3 の Nₘ,ₙˡ では、主同相型群 Zgcd(m,n) の固定点集合の次元が 3 に達し、正曲率多様体における Frankel の補題に反する。
• N₀,₀¹ では固定点集合が 2 個の 3 次元球面の不交和であるため、正曲率における Frankel の補題の次元和制約に反する。
• gcd(m,n)=1 または 2 の固定された m,n に対しては、同相型と同相型解析により、Nₘ,ₙˡ のうちたった 3 つが正曲率の候補に限られる。