[論文レビュー] Examples of Riemannian Manifolds with non-negative sectional curvature

Wolfgang Ziller|ArXiv.org|Jan 14, 2007

Geometric Analysis and Curvature Flows参考文献 76被引用数 60

ひとこと要約

このサーベイは、非負な断面曲率を持つリーマン多様体の既知の例を分類し、特にチエーガー変形と同調度1作用に注目する。$P_k$、$Q_k$、および$R$は正曲率の候補とされ、3-サッカー構造とフラット接続を備えているが、不変計量による正曲率の実現可能性は未解決のままであり、2-連結な正曲率多様体の無限族への道筋を示唆している。

ABSTRACT

An updated version with a few corrections.

研究の動機と目的

• 非負な断面曲率を持つリーマン多様体の既知の構成法を体系化し、明確化すること。
• 特に$P_k$、$Q_k$、$R$を含む候補多様体を特定・分析し、正曲率計量の可能性を検討すること。
• チエーガー変形およびリーマン被覆写像がこのような計量を生成する役割を調査すること。
• 無限族の2-連結な正曲率多様体を生み出す可能性を秘めた未解決問題を提起すること。
• コホロジーおよび同調度群などの幾何学的・位相的不変量を通じて、既知の例を統合的に理解すること。

提案手法

• コンパクトなリー群上の計量を変形するチエーガー変形を用い、非負曲率を保存または強化する。
• O’Neillの公式を用いて、特に商空間に対してリーマン被覆写像の曲率を分析する。
• $\mathrm{S}^3 \times \mathrm{S}^3$ 上の同調度1群作用と指定された同調度群を用いて、新しい例を構成する。
• オリビバンドル構成の全空間上でのフラットな主接続および3-サッカー構造の存在を分析する。
• 自ら双対なエインシュタイン軌道計量が$\mathbb{S}^4$および$\mathbb{C}\mkern1.0mu\mathrm{P}^2$に存在することを根拠に、$P_k$および$Q_k$上に3-サッカー計量を構成する。
• 同調度群および位相的不変量（例：$H^4(\cdot, \mathbb{Z})$）を比較し、微分同相型の区別と予想の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 $P_k$（$k > 1$）は不変計量による正断面曲率を有するか。
• RQ2 $Q_k$（$k > 1$）のいずれかが正曲率を持つエッシェンブルク空間と微分同相か。
• RQ3 $P_k$、$Q_k$、$R$は正曲率を持つ同調度1計量を有するか。
• RQ4 $k \to \infty$ のとき、$P_k$ 上の計量のピンチング定数が0から離れるか、それとも必然的に0に近づくか。
• RQ5 $P_k$および$Q_k$ 上の3-サッカー構造が、幾何的変形によって正曲率計量の存在を示唆するか。

主な発見

• $P_k$ は2-連結であり、$H^4(P_k, \mathbb{Z}) = \mathbb{Z}_{2k-1}$ であるため、$k$ の値によって異なる微分同相型を示す。
• $Q_k$ は有理コホロジーにおいてエッシェンブルク空間 $E_k$ と同じであるが、$H^4(Q_k, \mathbb{Z}) = \mathbb{Z}_k$ である。
• $P_k$および$Q_k$ は、それぞれ$\mathbb{S}^4$および$\mathbb{C}\mkern1.0mu\mathrm{P}^2$を底面とするオリビバンドルとして、フラット接続を介して3-サッカー計量を備える。
• 底面の自ら双対なエインシュタイン軌道計量は、$2\pi/k$ の角度欠損を除き滑らかであり、全空間に特異性を引き起こさない。
• 例外的ブージェル多様体$B^7$は、位相的にも幾何学的にも$P_k$族と関連しており、同調度データは傾き$(1,3)$および$(3,1)$と一致する。
• $P_k$ 上に正曲率計量が存在するという肯定的解答は、$k \to \infty$ のときピンチング定数$\delta_k \to 0$ となる2-連結な正曲率7-多様体の無限族のホモトピー型を生じる。