断面曲率

リーマン幾何学において、断面曲率(sectional curvature)は、curvature of Riemannian manifoldsを記述する方法のひとつである。断面曲率 K(σp) は p の接空間内の 2次元平面 σp に依存する。断面曲率は曲面のガウス曲率であり、σp 方向の点 p から始まる測地線より得られる p での接平面 σp を持つ（言い換えると、この平面は、p でのexponential map (Riemannian geometry)の下の像である。断面曲率は、多様体上の 2次元Grassmannianのファイバーバンドル上の滑らかな実数値函数である。
断面曲率は、リーマン曲率テンソルを完全に決定する。

**定義**
リーマン多様体のある点上の 2つの線型独立な接ベクトル u と v に対し、断面曲率を

と定義する。ここに R はリーマン曲率テンソルである。
特に u と v が正規直交であれば、

である。実際、断面曲率は、p 上の接空間の中で u と v によりはられる 2次元平面 σp に依存する。これを、2次元平面 σp の断面曲率との呼び、K(σp) で表す。

**定数断面曲率を持つ多様体**
定数である断面曲率を持つリーマン多様体は最も単純であり、これらはspace form(space form)と呼ばれる。計量をリスケールすることにより、3通りの可能性がある。- 負の曲率 −1, 双曲幾何学- 曲率 0, ユークリッド幾何学- 正の曲率 +1, 楕円幾何学
3つの幾何学的なモデルとなる多様体は、hyperbolic space(hyperbolic space), ユークリッド空間 と単位球面である。これらは、与えられた断面曲率を持つ単連結で完備で単連結なリーマン多様体である。これ以外の単連結の定数曲率を持つ多様体すべては、ある等長(isometries)でこれらを割った商空間である。
（次元が 3 または、それ以上の次元の）連結なリーマン多様体の各々の点に対し、断面曲率は 2-平面とは独立であるので、断面曲率は、実際、多様体全体で定数である。

**非正な断面曲率を持つ多様体**
1928年に、エリー・カルタン(Élie Cartan)はCartan–Hadamard theorem(Cartan–Hadamard theorem)を証明した。M が完備(complete)な多様体で非正の断面曲率を持っているとすると、その普遍被覆はユークリッド空間と微分同相である。特に、この空間は、Aspherical space(aspherical)である。アスフェルカルとは、i ≥ 2 について、その空間のホモトピー群  が自明となる空間のことである。従って、完備な非性な曲がった多様体の位相構造は、その多様体の基本群により決定される。Preissman's theorem(Preissman's theorem)は、負の曲がったコンパクトな多様体の基本群を限定している定理である。

**正の断面曲率を持つ多様体**
正の曲がった多様体の構造については少ししか知られていない。soul theorem(soul theorem)(1972; 1969) は、完備な非コンパクトな非負の曲がった多様体は、コンパクトな非負な曲がった多様体上の法バンドルに微分同相であるという定理である。コンパクトな正の曲がった多様体に対し、2つの古典的な結果が知られている。- Myers theorem(Myers theorem)から、そのような多様体の基本群は有限群であることが導かれる。- Synge theorem(Synge theorem)から、そのような偶数次元の多様体の基本群は、向きつけ可能であれば、0 であり、そうでない場合は  となることが導かれる。奇数次元の正の曲がった多様体は常に向き付け可能である。
さらに、コンパクトな正の曲がった多様体には、予想は多くあるものの（たとえば、Hopf conjecture(Hopf conjecture)は、 の上には正の断面曲率である計量は存在するかについての予想がある）、比較的少ししか例が存在しない。新しい例を構成するもっと典型的な方法は、次のオーニール曲率から出てくる系に従う。 がリー群 G の自由な等長作用を持つリーマン多様体とし、M を G の軌道に直交する 2-平面すべての上で正の断面曲率を持つとすると、商計量をもつ多様体  は正の断面曲率を持つ。この事実は、上記の例と同じ、球面や射影空間である古典的は正の曲がった空kなを構成することを可能とする2007。
*ベルジェ空間(The Berger spaces)  and .
*ウォリッシュ空間(Wallach spaces)（あるいは、等質旗多様体） ,  と .
*アロフ・ウォリッシュ空間(Aloff–Wallach spaces) .
*エッシェンブルグ空間(Eschenburg spaces) 
*バザイキン空間(Bazaikin spaces) , ここに  である。

**参考文献**
Citation | doi=10.2307/1970819 | last1=Cheeger | first1=Jeff | last2=Gromoll | first2=Detlef | title=On the structure of complete manifolds of nonnegative curvature | mr=0309010 | year=1972 | journal=Annals of Mathematics. Second Series   
jstor=1970819.
*Citation | doi=10.2307/1970682 | last1=Gromoll | first1=Detlef | last2=Meyer | first2=Wolfgang | title=On complete open manifolds of positive curvature | mr=0247590 | year=1969 | journal=Annals of Mathematics. Second Series   
jstor=1970682.- Citation | last1=Milnor | first1=John Willard | author1-link=John Milnor | title=Morse theory | publisher=Princeton University Press | series=Based on lecture notes by M. Spivak and R. Wells. Annals of Mathematics Studies, No. 51 | mr=0163331 | year=1963.- Citation | last1=Petersen | first1=Peter | title=Riemannian geometry | publisher=Springer-Verlag | location=Berlin, New York | edition=2nd | series=Graduate Texts in Mathematics | isbn=978-0-387-29246-5 | mr=2243772 | year=2006 | volume=171.
*year=2007.

**関連項目**
リーマン曲率テンソル
*curvature of Riemannian manifolds(curvature of Riemannian manifolds)
*曲率
*部分リーマン多様体の接続と曲率：リーマン多様体の断面曲率とその部分リーマン多様体の断面曲率の関係を記載