断面曲率

断面曲率とリーマン幾何学

リーマン幾何学において、断面曲率（英: sectional curvature）は、リーマン多様体における特定の曲率の特性を表現する重要な指標です。これは、特定の点での接空間内に定義された二次元平面に基づいて、複雑な多様体の形状を理解するための手段を提供します。断面曲率は、その名の通り、接空間の断面として扱われる二次元平面に依存し、点や方向によって異なる特性を示す場合があります。

定義と計算

断面曲率 K(u, v) は、リーマン多様体の任意の点において、2つの線形独立な接ベクトル u と v に対して次のように定義されます。

$$K(u, v) = \frac{\langle R(u, v)v, u \rangle}{\langle u, u \rangle \langle v, v \rangle - \langle u, v \rangle^{2}}$$

ここで、R はリーマン曲率テンソルを示し、⟨ , ⟩ は内積を表します。この公式は、特に u と v が直交している場合には簡略化され、次のようになります：

$$K(u, v) = \langle R(u, v)v, u \rangle$$

この定義から、断面曲率は特定の接空間内における2次元平面に特有の情報を与え、多様体の幾何学的特性に大きな影響を与えることがわかります。

定数断面曲率の多様体

特に、定数の断面曲率を持つリーマン多様体は、非常に単純な形状を持つことが特徴です。これらは空間の形、すなわち「space form」と呼ばれ、以下の3つの形状に分類されます。
1. 負の曲率を持つ双曲空間
2. 曲率0のユークリッド空間
3. 正の曲率を持つ楕円幾何学

これらのモデルは、単連結であり、完備性を持つリーマン多様体の基礎を成します。従って、同じ断面曲率を持つリーマン多様体は、等長の変換によってこれらの空間に還元されることになります。

非正な断面曲率

1928年にエリー・カルタンによって、非正の断面曲率を持つ完備な多様体は、その普遍被覆がユークリッド空間と微分同相であることが示されました。これは、アスフェリカルな性質を持つことを意味し、ホモトピー群が自明であることを示しました。この特性により、完備な非正な曲がった多様体の位相構造は、その基本群によって決定されるということがわかります。この考え方は、プリースマンの定理にもつながる理論で、負の曲がったコンパクトな多様体における基本群の特性を探求するものです。

正の断面曲率

逆に、正の断面曲率を持つ多様体の構造については、まだ多くの謎が残されています。完備な非コンパクトな非負の曲がった多様体は、コンパクトな形状の多様体上に法バンドルの形式で微分同相であるとするソウル定理があります。コンパクトな正の曲がった多様体は、メイヤーの定理により基本群が有限であることが示されています。また、シンゲの定理により、偶数次元の多様体においては、向き付け可能であれば基本群が0、そうでない場合はℤ₂になるとされています。奇数次元の正の曲がった多様体は常に向き付け可能であるという特性もあります。

関心の高い問題の一つとして、ホップ予想などが挙げられます。特定のコンパクトな多様体において正の断面曲率を持つ計量が存在するかどうか、非常に多くの予想が提唱されています。

特殊な多様体の例

多数の特殊な多様体が存在し、例えば、ベルジェ空間やウォリッシュ空間、さらにはアロフ・ウォリッシュ空間やエッシェンブルグ空間などが含まれます。
それらは、リー群の作用や商計量の構成から導かれ、正の断面曲率を持つ多様体の研究に寄与しています。これらの多様体は、理論的な研究において非常に重要な役割を果たしています。

また、多様体の断面曲率に関する研究は、リーマン曲率テンソルや他の関連項目と深く結びついており、幾何学的特性を解明するための重要な手段となっています。

もう一度検索