断面曲率

テンプレート:要改訳 リーマン幾何学において、断面曲率(テンプレート:Lang-en-short)は、テンプレート:仮リンクを記述する方法のひとつである。断面曲率 K(σ_p) は p の接空間内の 2次元平面 σ_p に依存する。断面曲率は曲面のガウス曲率であり、σ_p 方向の点 p から始まる測地線より得られる p での接平面 σ_p を持つ（言い換えると、この平面は、p でのテンプレート:仮リンクの下の像である。断面曲率は、多様体上の 2次元テンプレート:仮リンクのファイバーバンドル上の滑らかな実数値函数である。

断面曲率は、リーマン曲率テンソルを完全に決定する。

定義

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

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

と定義する。ここに R はリーマン曲率テンソルである。

特に u と v が正規直交であれば、

$K(u,v)=⟨R(u,v)v,u⟩$

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

定数断面曲率を持つ多様体

テンプレート:See also 定数である断面曲率を持つリーマン多様体は最も単純であり、これらはテンプレート:仮リンク(space form)と呼ばれる。計量をリスケールすることにより、3通りの可能性がある。

• 負の曲率 −1, 双曲幾何学
• 曲率 0, ユークリッド幾何学
• 正の曲率 +1, 楕円幾何学

3つの幾何学的なモデルとなる多様体は、テンプレート:仮リンク(hyperbolic space), ユークリッド空間 と単位球面である。これらは、与えられた断面曲率を持つ単連結で完備で単連結なリーマン多様体である。これ以外の単連結の定数曲率を持つ多様体すべては、ある等長(isometries)でこれらを割った商空間である。

（次元が 3 または、それ以上の次元の）連結なリーマン多様体の各々の点に対し、断面曲率は 2-平面とは独立であるので、断面曲率は、実際、多様体全体で定数である。

非正な断面曲率を持つ多様体

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

正の断面曲率を持つ多様体

正の曲がった多様体の構造については少ししか知られていない。テンプレート:仮リンク(soul theorem)(テンプレート:Harvnb; テンプレート:Harvnb) は、完備な非コンパクトな非負の曲がった多様体は、コンパクトな非負な曲がった多様体上の法バンドルに微分同相であるという定理である。コンパクトな正の曲がった多様体に対し、2つの古典的な結果が知られている。

• テンプレート:仮リンク(Myers theorem)から、そのような多様体の基本群は有限群であることが導かれる。

• テンプレート:仮リンク(Synge theorem)から、そのような偶数次元の多様体の基本群は、向きつけ可能であれば、0 であり、そうでない場合は ${\mathbb{Z}}_2$ となることが導かれる。奇数次元の正の曲がった多様体は常に向き付け可能である。

さらに、コンパクトな正の曲がった多様体には、予想は多くあるものの（たとえば、テンプレート:仮リンク(Hopf conjecture)は、${𝕊}^2\times {𝕊}^2$ の上には正の断面曲率である計量は存在するかについての予想がある）、比較的少ししか例が存在しない。新しい例を構成するもっと典型的な方法は、次のオーニール曲率から出てくる系に従う。$(M,g)$ がリー群 G の自由な等長作用を持つリーマン多様体とし、M を G の軌道に直交する 2-平面すべての上で正の断面曲率を持つとすると、商計量をもつ多様体 $M/G$ は正の断面曲率を持つ。この事実は、上記の例と同じ、球面や射影空間である古典的は正の曲がった空kなを構成することを可能とするテンプレート:Harv。

• ベルジェ空間(The Berger spaces) $B^7=SO(5)/SO(3)$ and $B^{13}=SU(5)/Sp(2)\cdot {𝕊}^1$.

• ウォリッシュ空間(Wallach spaces)（あるいは、等質旗多様体） $W^6=SU(3)/T^2$, $W^{12}=Sp(3)/Sp(1{)}^3$ と $W^{24}=F_4/Spin(8)$.

• アロフ・ウォリッシュ空間(Aloff–Wallach spaces) $W_{p,q}^7=SU(3)/\mathrm{diag}(z^p,z^q,\stackrel{p+q}{\bar{z}})$.

• エッシェンブルグ空間(Eschenburg spaces) $E_{k,l}=\mathrm{diag}(z^{k_1},z^{k_2},z^{k_3})\mathrm{\setminus }SU(3)/\mathrm{diag}(z^{l_1},z^{l_2},z^{l_3}{)}^{-1}.$

• バザイキン空間(Bazaikin spaces) $B_p^{13}=\mathrm{diag}(z_1^{p_1},\dots ,z_1^{p_5})\mathrm{\setminus }U(5)/\mathrm{diag}(z_{2}A,1{)}^{-1}$, ここに $A\in Sp(2)\subset SU(4)$ である。

参考文献

• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Cite arXiv.

関連項目

• リーマン曲率テンソル
• テンプレート:仮リンク(curvature of Riemannian manifolds)
• 曲率
• 部分リーマン多様体の接続と曲率：リーマン多様体の断面曲率とその部分リーマン多様体の断面曲率の関係を記載