レヴィ・チヴィタ接続

テンプレート:Pathnavbox レヴィ-チヴィタ接続（レヴィ-チヴィタせつぞく、テンプレート:Lang-en-short）とは、リーマン多様体テンプレート:Mvar上に共変微分という概念を定める微分演算子で、テンプレート:Mvarがユークリッド空間${ℝ}^n$の部分多様体の場合は、${ℝ}^n$における（通常の意味の）微分をテンプレート:Mvarに射影したものが共変微分に一致する。

レヴィ-チヴィタ接続は擬リーマン多様体においても定義でき、一般相対性理論に応用を持つ。

レヴィ-チヴィタ「接続」という名称はより一般的なファイバーバンドルの接続概念の特殊な場合になっている事により、接続概念から定義される「平行移動」（後述）を用いる事で、テンプレート:Mvar上の相異なる2点を「接続」してこれら2点における接ベクトルを比較可能になる。

レヴィ-チヴィタ接続において定義される概念の多くは一般のファイバーバンドルの接続に対しても定義できる。

レヴィ-チヴィタ接続の名称はイタリア出身の数学者トゥーリオ・レヴィ＝チヴィタによる。

モチベーション

テンプレート:Mvar を${ℝ}^N$の部分多様体、$c(t)$をテンプレート:Mvar上の曲線、さらに$v(t)$を$c(t)$上定義されたテンプレート:Mvar のベクトル場（すなわち各時刻テンプレート:Mvarに対し、$v(t)$は$v(t)\in T_{c(t)}M$を満たす）とし、

$\frac{\mathrm{\nabla }}{dt}v(t):={\mathrm{P}\mathrm{r}}_{c(t)}\left(\frac{d}{dt}{v}_{c(t)}\right)$

と定義する。ここでテンプレート:Mathはテンプレート:Mvarの点テンプレート:Mathにおける${ℝ}^n$内の接平面（と自然に同一視可能なテンプレート:Math ）への射影である。またテンプレート:Mvar、テンプレート:Mvarをテンプレート:Mvar上のベクトル場とするとき、

${\mathrm{\nabla }}_{X}Y{|}_P:=\frac{\mathrm{\nabla }}{dt}{Y}_{\exp (tX)(P)}$

と定義する。ここで$\exp (tX)(P)$は時刻テンプレート:Mvarに点$P\in M$を通るテンプレート:Mvarの積分曲線である。実はこれらの量はテンプレート:Mvarの内在的な量である事、すなわち${ℝ}^n$からテンプレート:Mvarに誘導されるリーマン計量（とその偏微分）のみから計算できる事が知られている。具体的には以下の通りである：テンプレート:Math theoremここで$v(t)=v^i(t)\frac{\partial }{\partial x^i}$であり、$(g^{i\ell }{)}_{i\ell }$は$(g_{\ell j}{)}_{\ell j}$の逆行列である。すなわち${\delta }^i{}_j$をクロネッカーのデルタとするとき、$g^{i\ell }{g}_{\ell j}={\delta }^i{}_j$である。 テンプレート:Math proof

同様に$X=X^i\frac{\partial }{\partial x^i}$、$Y=Y^i\frac{\partial }{\partial x^i}$とすると、以下が成立する：テンプレート:Math theorem

定義と特徴づけ

前節で述べたように$\frac{\mathrm{\nabla }}{dt}v(t)$やテンプレート:Mvarはテンプレート:Mvarに内在的な量なので、一般のリーマン多様体に対しても、(テンプレート:EquationNote)、(テンプレート:EquationNote)、(テンプレート:EquationNote)式をもってこれらの量を定義できる：テンプレート:Math theoremテンプレート:Math theorem

レヴィ-チヴィタ接続の定義は(テンプレート:EquationNote)、(テンプレート:EquationNote)、(テンプレート:EquationNote)式に登場する局所座標$(x^1,\dots ,x^m)$に依存しているが、局所座標によらずwell-definedである事を証明できる。

レヴィ・チヴィタ接続の事をリーマン接続（テンプレート:Lang-en-short）もしくはリーマン・レヴィ-チヴィタ接続（テンプレート:Lang-en-short）とも呼ぶ。

レヴィ-チヴィタ接続を局所座標$(x^1,\dots ,x^m)$で表したとき、(テンプレート:EquationNote)式で定義される${\mathrm{\Gamma }}^i{}_{jk}$を局所座標$(x^1,\dots ,x^m)$に関するクリストッフェル記号という。

リーマン幾何学の基本定理

レヴィ-チヴィタ接続は以下の性質により特徴づけられる：テンプレート:Math theoremここでテンプレート:Mvar、テンプレート:Mvar、テンプレート:Mvarはテンプレート:Mvar上の任意の可微分なベクトル場であり、テンプレート:Mvar、テンプレート:Mvarはテンプレート:Mvar上定義された任意の実数値テンプレート:Mvar級関数であり、テンプレート:Mvar、テンプレート:Mvarは任意の実数であり、$fY$は点$u\in M$において$f(u)Y_u$となるベクトル場であり、$X(f)$はテンプレート:Mvarのテンプレート:Mvar方向微分であり、$[X,Y]$はテンプレート:仮リンクである。すなわち、

$[X,Y]:=XY-YX=X^i\frac{\partial Y^j}{\partial x^i}\frac{\partial }{\partial x^j}-Y^i\frac{\partial X^j}{\partial x^i}\frac{\partial }{\partial x^j}$

条件1のように、任意のテンプレート:Mvar級関数に対して線形性が成り立つことを$C^{\mathrm{\infty }}(M)$-線形であるという。一般に$C^{\mathrm{\infty }}(M)$-線形な汎関数は、一点の値のみでその値が決まる事が知られている。例えばレヴィ-チヴィタ接続の場合、点$P\in M$における${\mathrm{\nabla }}_{X}Y$の値はテンプレート:Mvarのみに依存しテンプレート:Mvar以外の点テンプレート:Mvarにおけるテンプレート:Mvarの値テンプレート:Mvarには依存しない。

なお、5番目の条件は後述するテンソル積の共変微分を用いると、

${\mathrm{\nabla }}_{Z}g=0$

とも書ける。

Koszulの公式

上述した特徴づけを使うと、レヴィ-チヴィタ接続の成分によらない具体的な表記を得る事ができる。 テンプレート:Math theorem

略記法

テンプレート:Main 文章の前後関係から局所座標が分かるときは$\frac{\partial }{\partial x^i}$の事を

${\partial }_{x^i}$、${\partial }_i$

等と略記し、${\mathrm{\nabla }}_{{\partial }_j}Y$の事を

${\mathrm{\nabla }}_{j}Y$、

と略記する。さらに$Y^i{}_{;j}$を${\mathrm{\nabla }}_{j}Y$の成分表示

${\mathrm{\nabla }}_{j}Y=Y^i{}_{;j}{\partial }_i$

により定義する。一方、関数テンプレート:Mvarの偏微分${\partial }_{j}f$は

$f_{,j}$

と「,」をつけて略記する。したがって$Y=Y^i{\partial }_i$とすれば、

$Y^i{}_{;j}=Y^i{}_{,j}+Y^k{\mathrm{\Gamma }}^i{}_{jk}$

が成立する。

なお、

$Y^i{}_{;j,k}$

は${\mathrm{\nabla }}_j({\mathrm{\nabla }}_{k}Y)$のテンプレート:Mvar番目の係数ではなく、後述する二階共変微分${\mathrm{\nabla }}_{{\partial }_j,{\partial }_k}Y$のテンプレート:Mvar番目の係数を意味するので注意されたい。

平行移動

球面上の平行移動。大円で囲まれた三角形上でベクトルを一周平行移動すると、もとに戻ってきたときに元のベクトルには戻らない。

定義

リーマン多様体$(M,g)$上の曲線$c(t)$上定義されたテンプレート:Mvar上のベクトル場$v(t)$が

$\frac{\mathrm{\nabla }}{dt}v(t)=0$

を恒等的に満たすとき、$v(t)$は$c(t)$上平行であるという。また、$c(t_0)$上の接ベクトル$w_0\in T_{c(t_0)}M$と$c(t_1)$上の接ベクトル$w_1\in T_{c(t_1)}M$に対し、$v(t_0)=w_0$、$v(t_1)=w_1$を満たす$c(t)$上の平行なベクトル場$v(t)$が存在するとき、$w_1$は$w_0$を$c(t)$に沿って平行移動（テンプレート:Lang-en-short $c(t)$）した接ベクトルであるという。

ユークリッド空間の平行移動と異なる点として、どの経路$c(t)$に沿って平行移動したかによって結果が異なる事があげられる。この現象をテンプレート:仮リンク（テンプレート:Lang-en-short）という。

右図はホロノミーの具体例であり、接ベクトルを大円で囲まれた三角形に沿って一周したものを図示しているが、一周すると元のベクトルと90度ずれてしまっている事が分かる。

性質

$c(t)$に沿って$w_0\in T_{c(0)}M$を$c(t)$まで平行移動したベクトルを${\phi }_{c,t}(v)\in T_{c(t)}M$とすると${\phi }_{c,t}:T_{c(0)}M\to T_{c(t)}M$は線形変換であり、しかも計量を保つ。すなわち以下が成立する：

実は平行移動の概念によってレヴィ-チヴィタ接続を特徴づける事ができる：テンプレート:Math theorem

ホロノミー群

とくに点$u\in M$からテンプレート:Mvar自身までのテンプレート:Mvar上の閉曲線$c(t)$に沿って一周する場合、接ベクトル$v\in T_{u}M$を平行移動した元を${\phi }_c(v)$と書くことにすると、

$\mathrm{H}\mathrm{o}\mathrm{l}(\mathrm{\nabla },P):=\{{\varphi }_c\mid c$はテンプレート:Mvarからテンプレート:Mvar自身までの区分的になめらかな閉曲線$\}$

は（合成関数で積を定義するとき）$T_{u}M$上の直交群の（閉とは限らない）部分リー群になる。$\mathrm{H}\mathrm{o}\mathrm{l}(\mathrm{\nabla },P)$をレヴィ-チヴィタ接続テンプレート:Mvarに関するテンプレート:仮リンク（テンプレート:Lang-en-short）という。テンプレート:Mvarが弧状連結であれば$\mathrm{H}\mathrm{o}\mathrm{l}(\mathrm{\nabla },P)$は点テンプレート:Mvarによらず同型である。

幾何学的意味づけ

滑りとねじれのない転がし

テンプレート:Mvarをユークリッド空間${ℝ}^N$のテンプレート:Mvar次元部分多様体としテンプレート:Refn、テンプレート:Mvar上に曲線$c(t)$を取り（図の青の線）、$c(t)$に沿ってテンプレート:Mvarをテンプレート:Mvar次元平面${ℝ}^n\subset {ℝ}^N$上「滑ったり」「ねじれたり」することなく転がしたときにできる曲線の軌跡を$\tilde{c}(t)$とする（図の紫の線）。

テンプレート:Mvarを転がすと、時刻テンプレート:Mvarに$c(t)$が${ℝ}^n$に接した瞬間に$T_{c(t)}M$が${ℝ}^n$に重なるので、自然に写像

${\phi }_t:T_{c(t)}M\to {ℝ}^n$

が定義できる。この写像を使うと、テンプレート:Mvarのレヴィ・チヴィタ接続テンプレート:Mvarの幾何学的意味を述べることができる：テンプレート:Math theoremすなわち、曲線$c(t)$に沿った$v(t)$の共変微分を${ℝ}^n$に移したものは、$v(t)$を${ℝ}^n$に移したものを通常の意味で微分したものに一致する。この事実から特に、レヴィ-チヴィタ接続による平行移動と${ℝ}^n$における通常の意味での平行移動の関係を示すことができる：テンプレート:Math theorem

接続形式

$(e_1,\dots ,e_m)$を接バンドル$TM$の局所的な基底とし、テンプレート:Mvar、テンプレート:Mvarをテンプレート:Mvar上のベクトル場とし、$Y=Y^j{e}_j$とすると、レヴィ-チヴィタ接続の定義から

${\mathrm{\nabla }}_{X}Y=X(Y^j)e_j+Y^j{\mathrm{\nabla }}_X{e}_j$

である。この式は、共変微分${\mathrm{\nabla }}_{X}Y={\mathrm{\nabla }}_X(Y^j{e}_j)$にライプニッツ則を適用して成分部分の微分$X(Y^j)e_j$と基底部分の微分$Y^j{\mathrm{\nabla }}_X{e}_j$の和として表現したものと解釈できる。

そこで以下のような定義をする： テンプレート:Math theorem

定義から明らかに

${\omega }^i{}_j(e_k)={\mathrm{\Gamma }}^i{}_{kj}$

が成立する。

接続概念において重要な役割を果たす平行移動の概念は接続形式テンプレート:Mvarと強く関係しており、底空間テンプレート:Mvarの曲線$c(t)$に沿って定義された局所的な基底$(e_1(t),\dots ,e_m(t))$をテンプレート:Mvarで微分したものが接続形式$\omega (\frac{dc}{dt}(0))$に一致する。

よって特に（レヴィ・チヴィタ接続などの）テンプレート:Mvarがテンプレート:Mvarの計量と両立する接続の場合、テンプレート:Mvarによる平行移動は回転変換、すなわち$SO(m)$の元なので、その微分である接続形式テンプレート:Mvarは$SO(m)$のリー代数$𝔰𝔬(m)$の元、すなわち歪対称行列である：テンプレート:Math theorem

このように接続形式を用いるとベクトルバンドルの構造群（上の例では$SO(m)$）が接続形式の構造をリー群・リー代数対応により支配している事が見えやすくなる。

上では回転群$\mathrm{S}\mathrm{O}(m)$の場合を説明したが、物理学で重要な他の群、例えばシンプレクティック群やスピン群に対しても同種の性質が証明でき、接続形式がリー群・リー代数対応により支配されている事がわかる。

こうした事実は接続概念を直接リー群と接続形式とで記述する方が数学的に自然である事を示唆する。リー群の主バンドルの接続はこのアイデアを定式化したもので、主バンドルの接続は接続形式に相当するものを使って定義される。詳細は接続 (ファイバー束)の項目を参照されたい。

測地線

定義

リーマン多様体$(M,g)$上の曲線$c(t)$で測地線方程式

$\frac{\mathrm{\nabla }}{dt}\frac{d}{dt}c(t)=0$

を恒等的に満たすものを測地線という。2階微分は物理的には加速度であるので、測地線とは加速度が恒等的にテンプレート:Mvarである曲線、すなわちユークリッド空間における直線を一般化した概念であるとみなせるテンプレート:Refn。

リーマン多様体テンプレート:Mvar上の曲線の、弧長パラメータによる「二階微分」の長さ

$\Vert \frac{\mathrm{\nabla }}{ds}\frac{dc}{ds}\Vert$

をテンプレート:Mvarにおける$c(s)$の測地線曲率テンプレート:訳語疑問点（テンプレート:Lang-en-short）、あるいは単に曲率（テンプレート:Lang-en-short）という。よって測地線は、曲率がテンプレート:Mvarの曲線と言い換える事ができる。

存在性と一意性

常微分方程式の局所的な解の存在一意性から、点$P\in M$における接ベクトル$v\in T_{P}M$に対し、ある$\epsilon >0$が存在し、

$c(0)=P$、$\frac{dc}{dt}(0)=v$

を満たす測地線$c(t)$が$(-\epsilon ,\epsilon )$上で一意に存在する。この測地線を

$\exp (tv)$

と書く。

しかし測地線は任意の長さに延長できるとは限らない。たとえば${ℝ}^2\setminus \{0\}$（に通常のユークリッド空間としての計量を入れた空間）において、測地線$c(t)=(1-t,0)$は$t<1$までしか延長できない。任意の測地線がいくらでも延長できるとき、リーマン多様体は測地線完備であるという。

測地線が$ℝ$全域に拡張できるか否かに関して以下の定理が知られている。テンプレート:Math theorem

特徴づけ

測地線の概念を全く違った角度から特徴づける事ができる。

弧長の停留曲線

このことを示すため、いくつか記号を導入する。$(M,g)$をリーマン多様体とし、$\mathrm{\nabla }$を$(M,g)$上のレヴィ-チヴィタ接続とする。 $U\subset M\to {ℝ}^m$をテンプレート:Mvarの局所座標とする。以下、テンプレート:Mvar上でのみ議論する。議論を簡単にするため、テンプレート:Mvarを${ℝ}^m$の部分集合と同一視する。

テンプレート:Mvar上の滑らかな曲線$P(t)$を考え、この曲線の座標表示を$x:[a,b]\to U\subset {ℝ}^m$、$P(t)=x(t)=(x^1(t),\dots ,x^m(t))$とする。さらに $\eta :[a,b]\to U\subset {ℝ}^m$ を滑らかな写像で$\eta (a)=\eta (b)=0$となるものとし、$\epsilon >0$に対して曲線

$x_{\epsilon ,\eta }(t):=x(t)+\epsilon \eta (t)$

を考える。ここで和や定数倍は$x(t)$、$\eta (t)$を${ℝ}^m$の元と見たときの和や定数倍である。

そして、

$L(x,v):=\sqrt{g_x(v,v)}$

と定義し弧長積分

$S_{x,\eta }(\epsilon ):=\underset{a}{\overset{b}{\int }}L(x_{\epsilon ,\eta }(t),\frac{d{x}_{\epsilon ,\eta }}{dt}(t))dt$

を考える。テンプレート:Math theorem「停留曲線」は直観的には滑らかな曲線全体の空間での「微分」がテンプレート:Mvarになるという事である。

変分法の一般論から次が成立する：テンプレート:Math theorem曲線$x(t)$の弧長

$s=\underset{a}{\overset{t}{\int }}\sqrt{g_x(\frac{dx}{dt},\frac{dx}{dt})}dt$

によって$x(t)$をパラメトライズする事を弧長パラメーター表示という。実は次が成立する：テンプレート:Math theoremテンプレート:Math proof

エネルギーの停留曲線

上では測地線が

$L(x,v):=\sqrt{g_x(v,v)}$

$S_{x,\eta }(\epsilon ):=\underset{a}{\overset{b}{\int }}L(x_{\epsilon ,\eta }(t),\frac{d{x}_{\epsilon ,\eta }}{dt}(t))dt$

に対して停留曲線になる事を示したが、エネルギーテンプレート:Refn

$\overline{L}(x,v):=\frac{g_x(v,v)}{2}$

から得られる

${\overline{S}}_{x,\eta }(\epsilon ):=\underset{a}{\overset{b}{\int }}\overline{L}(x_{\epsilon ,\eta }(t),\frac{d{x}_{\epsilon ,\eta }}{dt}(t))dt$

に対しても停留曲線は測地線になっている事が知られている。

しかもこの事実はテンプレート:Mvarが正定値や非退化でなくても成立する：テンプレート:Math theoremテンプレート:Math theoremこの事実は擬リーマン多様体を基礎に置く一般相対性理論では、運動エネルギーを最小にする曲線、すなわち自由落下曲線が測地線になる事を含意する。

正規座標

測地線の局所的存在性から、点$P\in M$における接ベクトル空間テンプレート:Mvarの原点の近傍$0_P\in U\subset T_{P}M$の任意の元$v\in U$に対し、測地線${\exp }_P(tv)$が存在する。必要ならテンプレート:Mvarを小さく取り直す事で写像

$v\in U\mapsto {\exp }_P(v)\in M$

が中への同型になるようにする事ができる。ベクトル空間テンプレート:Mvarの開集合からテンプレート:Mvarへの中への同型なので、$v\in U\mapsto {\exp }_P(v)\in M$をテンプレート:Mvarの点テンプレート:Mvarの周りの局所座標と見なす事ができる。この局所座標をテンプレート:Mvarの点テンプレート:Mvarにおけるテンプレート:仮リンク（テンプレート:Lang-en-short）という。

${ℝ}^n$において、$Y(x)=(Y^1(x),\dots ,Y^n(x))$の$X=(X^1,\dots ,X^n)$方向の方向微分は

$(X^i\frac{\partial Y^1}{\partial x^i},\dots ,X^i\frac{\partial Y^n}{\partial x^i})$

である。正規座標において、共変微分は方向微分と一致する： テンプレート:Math theorem

なお、後述するテンソルの共変微分に関しても、正規座標においては方向微分に一致する。

曲率

動機

レヴィ-チヴィタ接続を成分で書いた

${\mathrm{\nabla }}_{X}Z=(X^j\frac{\partial Z^i}{\partial x^j}+X^j{Z}^k{\mathrm{\Gamma }}_{jk}^i)\frac{\partial }{\partial x^i}$

より、$M={ℝ}^m$であれば、すなわちMが「平たい」空間であれば、クリストッフェル記号は全て0になる。よって

この「平たい」空間とのズレを測るのが曲率である。ただしクリストッフェル記号は局所座標の取り方に依存しているため、クリストッフェル記号自身を用いるのではなく、別の方法で「平たい」空間とのズレを測る。

ズレを測るため、クリストッフェル記号${\mathrm{\Gamma }}_{jk}^i$が全てテンプレート:Mvarであれば、

${\mathrm{\nabla }}_{X}Z=X(Z^i)\frac{\partial }{\partial x^i}$

となる事に着目する。この事実から「平たい」空間では、

${\mathrm{\nabla }}_X{\mathrm{\nabla }}_{Y}Z-{\mathrm{\nabla }}_Y{\mathrm{\nabla }}_{X}Z=XY(Z^i)\frac{\partial }{\partial x^i}-YX(Z^i)\frac{\partial }{\partial x^i}=[X,Y](Z^i)\frac{\partial }{\partial x^i}={\mathrm{\nabla }}_{[X,Y]}Z$

が常に成立する事を示せる。そこで

$R(X,Y)Z:={\mathrm{\nabla }}_X{\mathrm{\nabla }}_{Y}Z-{\mathrm{\nabla }}_Y{\mathrm{\nabla }}_{X}Z-{\mathrm{\nabla }}_{[X,Y]}Z$

と定義すると、$R(X,Y)Z$はテンプレート:Mvarが「平たい」ときには恒等的にゼロになり、この意味において$R(X,Y)Z$はテンプレート:Mvarの「曲がり具合」を表している考えられる。

定義と性質

定義

テンプレート:Mvar上のベクトル場テンプレート:Mvar、テンプレート:Mvar、テンプレート:Mvarに対し、

$R(X,Y)Z:={\mathrm{\nabla }}_X{\mathrm{\nabla }}_{Y}Z-{\mathrm{\nabla }}_Y{\mathrm{\nabla }}_{X}Z-{\mathrm{\nabla }}_{[X,Y]}Z$

と定義し、テンプレート:Mvarを$\mathrm{\nabla }$に関する曲率（テンプレート:Lang-en-short）もしくは曲率テンソル（テンプレート:Lang-en-short）という。ここで$[X,Y]$はテンプレート:仮リンクである。 テンプレート:Mvarはテンプレート:Mvar、テンプレート:Mvar、テンプレート:Mvarのいずれに関しても$C^{\mathrm{\infty }}(M)$-線形である事が知られており、したがって、各$P\in M$に対し、

$R_P:(X,Y,Z)\in T_{P}M\times T_{P}M\times T_{P}M\mapsto R(X,Y)Z\in T_{P}M$

というテンソルとみなせる。

規約

一部の文献では符号を反転した$R(X,Y)Z:=-({\mathrm{\nabla }}_X{\mathrm{\nabla }}_{Y}Z-{\mathrm{\nabla }}_Y{\mathrm{\nabla }}_{X}Z-{\mathrm{\nabla }}_{[X,Y]}Z)$を曲率と呼んでいるので注意されたい。

本項の規約では後述する断面曲率の定義において分子を$g_P(R_P(v,w)w,v)=-g_P(R_P(v,w)v,w)$とせねばならずマイナスが出てしまうが、文献の規約であればマイナスが出ない点で有利である。

性質

次の事実が知られている：テンプレート:Math theorem

ここで$({\mathrm{\nabla }}_{X}R)$はテンプレート:Mvarが3つの接ベクトルテンプレート:Mvar、テンプレート:Mvar、テンプレート:Mvarを引数にとって1つの接ベクトル$R(X,Y)W$を返す事から、テンプレート:Mvarをテンソル積$T^{*}M\otimes T^{*}M\otimes T^{*}M\otimes TM$の元とみなしたときの共変微分である。テンソル積に対する共変微分の定義は後述する。

成分表示

曲率はクリストッフェル記号${\mathrm{\Gamma }}^i{}_{jk}$を用いて以下のように表すことができる：テンプレート:Math theorem 以下のようにも成分表示できる： テンプレート:Math theorem ここで$\wedge ◯$は下記のKulkarni–Nomizu積である：

$\begin{array}{cc}(h\wedge ◯k)(X,Y,Z,W):=& h(X,Z)k(Y,W)+h(Y,W)k(X,Z)\\ & -h(X,W)k(Y,Z)-h(Y,Z)k(X,W)\end{array}$

特徴づけ

点$P\in M$を原点とする正規座標$(x^1,...,x^m)$を使うと曲率は以下のように特徴づけられるテンプレート:Refn：テンプレート:Math theoremここで$R_{ikj\ell }:=g(R(\frac{\partial }{\partial x^k},\frac{\partial }{\partial x^{\ell }})\frac{\partial }{\partial x^j},\frac{\partial }{\partial x^i})$である。

また、

$\xi :U\subset {ℝ}^2\to M$

を任意のなめらかな関数とし、

$X:={\xi }_{*}\left(\frac{\partial }{\partial x^1}\right)$、$Y:={\xi }_{*}\left(\frac{\partial }{\partial x^2}\right)$

とし、${\phi }_t^X(Q):={\mathrm{e}\mathrm{x}\mathrm{p}}_Q(tX)$、${\phi }_t^Y(Q):={\mathrm{e}\mathrm{x}\mathrm{p}}_Q(tY)$に沿った平行移動を

$({\phi }_{*}^X{)}_t:E_Q\to E_{{\phi }_t(Q)}$、$({\phi }_{*}^Y{)}_t:E_Q\to E_{{\psi }_t(Q)}$

とすると、曲率を以下のように特徴づけられる：テンプレート:Math theoremこの定理は一般のベクトルバンドルに対する接続においても成立する。

断面曲率、リッチ曲率、スカラー曲率

$\mathrm{\nabla }$をリーマン多様体$(M,g)$のレヴィ-チヴィタ接続とし、テンプレート:Mvarをテンプレート:Mvarの点とし、$v,w\in T_{P}M$とし、さらに$e_1,\dots ,e_m$を$T_{P}M$の基底とする。テンプレート:Math theoremなお、書籍によっては本項のリッチ曲率、スカラー曲率をそれぞれ$\frac{1}{n-1}$倍、$\frac{1}{n(n-1)}$倍したものをリッチ曲率、スカラー曲率と呼んでいるものもあるので注意されたい。 また断面曲率は$K_P(v,w)$という記号で表記する文献も多いが、後述するガウス曲率と区別するため、本稿では${\mathrm{S}\mathrm{e}\mathrm{c}}_P(v,w)$という表記を採用した。

定義から明らかなように、以下が成立する：テンプレート:Math theoremテンプレート:Math theorem実は断面曲率は曲率テンソルを特徴づける：テンプレート:Math theorem

部分リーマン多様体における断面曲率

テンプレート:Mvar次元リーマン多様体テンプレート:Mvarが別のリーマン多様体$\overline{M}$の余次元テンプレート:Mvarの部分リーマン多様体、すなわち$M\subset \overline{M}$、$\dim \overline{M}=\dim M+1$の場合は、以下が成立する：テンプレート:Math theoremここで$e_1,\dots ,e_m$は点$u\in M$における主方向で${\kappa }_1,\dots ,{\kappa }_m$を対応する主曲率であり、${\mathrm{S}\mathrm{e}\mathrm{c}}_u(X,Y)$はテンプレート:Mvarのテンプレート:Mvarにおける断面曲率であり、${\overline{\mathrm{S}\mathrm{e}\mathrm{c}}}_u(X,Y)$は$\overline{M}$のテンプレート:Mvarにおける断面曲率である。

よって特にテンプレート:Mvarが2次元リーマン多様体で$\overline{M}$が${ℝ}^3$の場合はテンプレート:Mvarの断面曲率${\mathrm{S}\mathrm{e}\mathrm{c}}_u(X,Y)$はガウス曲率テンプレート:Mvarに一致する（Theorema Egregium）。

定曲率空間

テンプレート:Math theorem定曲率空間では曲率が下記のように書ける：テンプレート:Math theorem上記の定理より、必要ならリーマン計量テンプレート:Mvarを$\frac{1}{\sqrt{|c|}}$倍する事で、任意の定曲率空間は、曲率がテンプレート:Mvar、テンプレート:Mvar、もしくはテンプレート:Mvarの定曲率空間と「相似」である事がわかる。

曲率がテンプレート:Mvar、テンプレート:Mvar、テンプレート:Mvarの定曲率空間については以下の事実が知られている：テンプレート:Math theoremよって被覆空間の一般論から以下の系が従う：テンプレート:Math theorem

テンソルの共変微分テンプレート:Anchors

本節ではテンソルに対する共変微分を定義する。

1-形式の共変微分

$(M,g)$はリーマン多様体なので、テンプレート:Mvarの接ベクトル空間と余接ベクトル空間は自然に同一視できる。テンプレート:Anchorsこの同型写像を

$X\in TM\stackrel{\sim }{\mapsto }{X}^{\mathrm{♭}}\in T^{*}M$

$\alpha \in T^{*}M\stackrel{\sim }{\mapsto }{\alpha }^{\mathrm{♯}}\in TM$

と書くことにする（Musical isomorphism）。 テンプレート:Math theorem ここでテンプレート:Mvarはテンプレート:Mvar上のベクトル場である。するとテンプレート:Mvar上のベクトル場テンプレート:Mvarに対しライプニッツ則

$X(\alpha (Y))=({\mathrm{\nabla }}_X\alpha )(Y)+\alpha ({\mathrm{\nabla }}_{X}Y)$

が成り立ち、局所座標$(x^1,\dots ,x^m)$で書けば、

${\mathrm{\nabla }}_X\alpha =(X^j\frac{\partial {\alpha }_k}{\partial x^j}-{\alpha }_i{X}^j{\mathrm{\Gamma }}_{jk}^i)d{x}^k$

テンプレート:Math-テンソル場の共変微分テンプレート:Anchors

定義

より一般に、テンプレート:Mvarをテンプレート:Mvar上のテンプレート:Math-テンソル場の共変微分はライプニッツ則により定義する。 テンプレート:Math theorem

また微分形式に関しては

$\underset{i}{\bigwedge }{T}^{*}M\subset \underset{i}{⨂}{T}^{*}M$

と見なすことによりテンソル積の共変微分を用いて微分形式の共変微分を定義できる。

具体例

テンプレート:Mvar上のテンプレート:Mvar-形式、すなわちテンプレート:Mvar上の関数$f:M\to ℝ$の共変微分は

${\mathrm{\nabla }}_{X}f=Xf$

である。またテンプレート:Mvarをテンプレート:Mvar-形式とし、$c(t)$を$\frac{dc}{dt}(0)=X_{c(0)}$を満たす曲線とすると、${\mathrm{\nabla }}_X\alpha$は通常の微分

$({\mathrm{\nabla }}_X\alpha )(Y_1,\dots ,Y_k){|}_{c(0)}=\frac{d}{dt}({\alpha }_{c(t)}(Y_1{|}_{c(t)},\dots ,Y_k{|}_{c(t)}))$

にほかならない。

二階共変微分テンプレート:Anchors

定義

テンプレート:Mvarをテンプレート:Mvar上のテンプレート:Math-テンソル場とし、ベクトル場テンプレート:Mvarにテンプレート:Mvarのテンプレート:Math-テンソル場としての共変微分テンプレート:Mvarを対応させる写像を

$\mathrm{\nabla }T$

と書くと、$\mathrm{\nabla }T$はテンプレート:Math-テンソル場とみなせる。同様にテンプレート:Mvarをテンプレート:Math-テンソル場とし、ベクトル場テンプレート:Mvarにテンプレート:Mvarのテンプレート:Math-テンソル場としての共変微分テンプレート:Mvarを対応させる写像を$\mathrm{\nabla }{T}^{\prime }$とする。テンプレート:Math-テンソル場全体の集合を$\mathrm{\Gamma }(r,s)$と書き、合成

$\mathrm{\Gamma }(r,s)\stackrel{\mathrm{\nabla }}{\to }\mathrm{\Gamma }(r,s+1)\stackrel{\mathrm{\nabla }}{\to }\mathrm{\Gamma }(r,s+2)$

により定義される写像を

${\mathrm{\nabla }}^{2}T$

と書き、${\mathrm{\nabla }}^{2}T$をテンプレート:Mvarの二階共変微分（テンプレート:Lang-en-short）という。三階以上の共変微分も同様に定義できる。

二階共変微分$\mathrm{\Gamma }(r,s)\stackrel{\mathrm{\nabla }}{\to }\mathrm{\Gamma }(r,s+1)\stackrel{\mathrm{\nabla }}{\to }\mathrm{\Gamma }(r,s+2)$で１つ目に増えた引数にベクトル場テンプレート:Mvar、２つ目に増えた引数にベクトル場テンプレート:Mvarを代入したテンプレート:Math-テンソル場を

$\underset{X,Y}{\overset{2}{\mathrm{\nabla }}}T$

と書く。

性質

定義から明らかなように$\underset{X,Y}{\overset{2}{\mathrm{\nabla }}}T$は双線形性

$\underset{X,Y}{\overset{2}{\mathrm{\nabla }}}T=X^i{Y}^j\underset{{\partial }_{x^i},{\partial }_{x^j}}{\overset{2}{\mathrm{\nabla }}}T$

を満たす。このことからも分かるように$\underset{X,Y}{\overset{2}{\mathrm{\nabla }}}T$と${\mathrm{\nabla }}_Y({\mathrm{\nabla }}_{X}T)$は別の値であり、両者は

${\mathrm{\nabla }}_X({\mathrm{\nabla }}_{Y}T)=\underset{X,Y}{\overset{2}{\mathrm{\nabla }}}T+{\mathrm{\nabla }}_{{\mathrm{\nabla }}_{X}Y}T$

という関係を満たす。

規約

$\underset{X,Y}{\overset{2}{\mathrm{\nabla }}}T$の２つの微分$\mathrm{\Gamma }(r,s)\stackrel{\mathrm{\nabla }}{\to }\mathrm{\Gamma }(r,s+1)\stackrel{\mathrm{\nabla }}{\to }\mathrm{\Gamma }(r,s+2)$で増えた２つの引数のうちどちらにテンプレート:Mvarを入れ、どちらにテンプレート:Mvarを入れるかは文献によって異なる。本項では文献に従い、先に増えた引数にテンプレート:Mvar、後から増えた引数にテンプレート:Mvarを入れたが、文献では逆に先に増えた引数にテンプレート:Mvarを入れている。

また、我々は文献に従い、「$\underset{X,Y}{\overset{2}{\mathrm{\nabla }}}T$」という記号を使ったが、文献によっては「$\underset{X,Y}{\overset{2}{\mathrm{\nabla }}}T$」の事を${\mathrm{\nabla }}_X{\mathrm{\nabla }}_{Y}T$と書くものもある。この値はテンプレート:Mvarにテンプレート:Math、テンプレート:Mathを順に作用させた${\mathrm{\nabla }}_X({\mathrm{\nabla }}_{Y}T)$とは異なるので注意されたい。

リッチの公式

なお、$(R(X,Y)⌟\alpha )(Z):=\alpha (R(X,Y)Z)$と定義すれば、最後の式は

$\underset{X,Y}{\overset{2}{\mathrm{\nabla }}}\alpha -\underset{Y,X}{\overset{2}{\mathrm{\nabla }}}\alpha =-R(X,Y)⌟\alpha$

と書ける。

一般の$(r,s)$-テンソルの場合の公式は上記の公式にライプニッツ則を適用する事で得られる。例えば$(2,0)$-テンソルに対しては、

$\underset{X,Y}{\overset{2}{\mathrm{\nabla }}}{Z}_1\otimes Z_2-\underset{Y,X}{\overset{2}{\mathrm{\nabla }}}{Z}_1\otimes Z_2=(R(X,Y)Z_1)\otimes Z_2+Z_1\otimes R(X,Y)Z_2$

であるし、$(1,1)$-テンソルに対しては、下記のとおりである：

$\underset{X,Y}{\overset{2}{\mathrm{\nabla }}}Z\otimes \alpha -\underset{Y,X}{\overset{2}{\mathrm{\nabla }}}Z\otimes \alpha =(R(X,Y)Z)\otimes \alpha -Z\otimes R(X,Y)⌟\alpha$

リーマン多様体上のベクトル解析

本節では勾配、発散、ラプラシアンという、ユークリッド空間におけるベクトル解析の演算子をリーマン多様体上で定義する。

ホッジ作用素、余微分

テンプレート:Main リーマン多様体上のベクトル解析を展開するための準備としてホッジ作用素と余微分を定義する。テンプレート:Mvarをテンプレート:Mvarの次元とする。テンプレート:Mvarが向き付け可能なとき、テンプレート:Mvar上にリーマン計量テンプレート:Mvarから定まる体積形式をテンプレート:Mvarとする。$\alpha \in {\wedge }^k{T}^{*}M$を微分形式とするとき

$\alpha \wedge \beta =⟨*\alpha ,\beta ⟩dV$

が任意の$\beta \in {\wedge }^{m-k}{T}^{*}M$に対して成立するような$*\alpha \in {\wedge }^{m-k}{T}^{*}M$が存在する。$*\alpha$をテンプレート:Mvarのホッジ双対といい、テンプレート:Mvarに$*\alpha$を対応させる作用素「$*$」をホッジ作用素という。

さらにテンプレート:Mvarの余微分テンプレート:Anchorsを

$\delta \alpha :=(-1{)}^{m(i+1)+1}*d*\alpha$

により定義する。ここでテンプレート:Mvarは外微分である。外微分および余微分はレヴィ-チヴィタ接続による共変微分と以下の関係を満たす：テンプレート:Math theorem ここで${\iota }_{e_i}$はテンプレート:Mvarによるテンプレート:仮リンク

$({\iota }_X\alpha )(X_1,\dots ,X_{n-1}):=\alpha (X,X_1,\dots ,X_{n-1})$

である。

勾配テンプレート:Anchors

テンプレート:Mvar上の関数$f:M\to ℝ$に対し、fの勾配を以下のように定義する。 テンプレート:Math theorem ここでテンプレート:Mvarはテンプレート:Mvarの外微分であり、「${}^{\mathrm{♯}}$」は計量テンプレート:Mvarによる[[#接ベクトル空間と余接ベクトル空間の同型写像|テンプレート:Mvarとテンプレート:Mvarの同型写像]]であり、$\mathrm{\nabla }f$は関数の$(0,0)$-テンソルとみなしてテンソル場の共変微分${\mathrm{\nabla }}_{X}f=Xf$を考え、前節のように$\mathrm{\nabla }f$を定義したものである。

発散

テンプレート:Mvar上のベクトル場テンプレート:Mvarの発散を以下のように定義する： テンプレート:Math theorem ここでテンプレート:Mvarは余微分であり、「$\mathrm{♭}$」は計量テンプレート:Mvarによる[[#接ベクトル空間と余接ベクトル空間の同型写像|テンプレート:Mvarとテンプレート:Mvarの同型写像]]である。

発散のマイナスの符号は規約の問題で、ここに述べたものからマイナスの符号を取ったものを発散と呼ぶこともある。

ヘッシアン

テンプレート:Mvar上の関数$f:M\to ℝ$に対し、前節のように$\mathrm{\nabla }f$を定義すると、$\mathrm{\nabla }f=df$である。前節同様2階共変微分$\underset{X,Y}{\overset{2}{\mathrm{\nabla }}}f$ を定義する。 テンプレート:Math theorem

ヘッシアンは

$\underset{X,Y}{\overset{2}{\mathrm{\nabla }}}f=\underset{Y,X}{\overset{2}{\mathrm{\nabla }}}f$

を満たすことを証明できるので、ヘッシアンは対称2次形式である。

ラプラシアン

テンプレート:See alsoリーマン多様体上の関数テンプレート:Mvarのラプラシアンを以下のように定義する： テンプレート:Math theorem

発散の定義でマイナスの符号がつく規約を採用した関係で、通常のラプラシアンとは符号が反対になっている事に注意されたい（この章で後述する他のラプラシアンも同様）。

上述したラプラシアンの定義を微分形式に拡張する事ができるが、拡張方法は（同値ではない）２通りの方法がある。

ホッジ・ラプラシアン

関数テンプレート:Mvarに対するラプラシアンが$\mathrm{\Delta }f=\delta df$と書けていた事に着目し、微分形式テンプレート:Mvarに対し、以下のようにラプラシアンを定義する： テンプレート:Math theorem なお、２つ目の等号は$dd=\delta \delta =0$を使った。テンプレート:Mvarが0次の微分形式、すなわちテンプレート:Mvar上の関数の場合は$d\delta \alpha =0$なので、関数の場合に対するホッジ・ラプラシアンはラプラス・ベルトラミ作用素に一致する。

ボホナー・ラプラシアン

関数テンプレート:Mvarに対するラプラシアンが$-\mathrm{t}\mathrm{r}({\mathrm{\nabla }}^{2}f)$と書けることに着目し、微分形式テンプレート:Mvarのもう一つのラプラシアンを以下のように定義する： テンプレート:Math theorem ここで$e_1,\dots ,e_n$は接ベクトル空間の局所的な正規直交基底である。$E:={\wedge }^k{T}^{*}M$とするとき、余ベクトル空間の内積$g:T^{*}M\times T^{*}M\to ℝ$が誘導する写像$g:T^{*}M\otimes T^{*}M\to ℝ$を考え、合成

$\mathrm{\Gamma }(T^{*}M\otimes E)\stackrel{\mathrm{\nabla }}{\to }\mathrm{\Gamma }(T^{*}M\otimes T^{*}M\otimes E)\stackrel{g}{\to }\mathrm{\Gamma }(E)\stackrel{\times (-1)}{\to }\mathrm{\Gamma }(E)$

${\mathrm{\nabla }}^{*}$と書く。ここで$\mathrm{\Gamma }(E)$はテンプレート:Mvarに値を取るテンソル場の集合である。すると

${\mathrm{\Delta }}^B\alpha :={\mathrm{\nabla }}^{*}\mathrm{\nabla }\alpha$

が成立する。

ヴァイツェンベック・ボホナーの公式

テンプレート:Main ２つのラプラシアンは以下の関係を満たす： テンプレート:Math theorem ここでテンプレート:Mvarは曲率テンソルであり、$({\iota }_{e_j}R(e_i,e_j)⌟\alpha )(X_1,\dots ,X_{n-1})=\alpha (R(e_i,e_j)e_j,X_1,\dots ,X_{n-1})$である。

上記の公式をヴァイツェンベック・ボホナーの公式（テンプレート:Lang-en-short）あるいはヴァイツェンベックの公式（テンプレート:Lang-en-short）という。

特にテンプレート:Mvarが1-形式であれば、以下が成立する：

${\mathrm{\Delta }}^H\alpha -{\mathrm{\Delta }}^B\alpha =\mathrm{R}\mathrm{i}\mathrm{c}(\alpha )$

ここで$\mathrm{R}\mathrm{i}\mathrm{c}(\alpha )$はリッチ曲率$\mathrm{R}\mathrm{i}\mathrm{c}(X,Y)$を使って

$\mathrm{R}\mathrm{i}\mathrm{c}(\alpha )(X)=\mathrm{R}\mathrm{i}\mathrm{c}(X,{\alpha }^{\mathrm{♯}})$

により定義される1-形式であり、「$\mathrm{♯}$」は計量テンプレート:Mvarによる[[#接ベクトル空間と余接ベクトル空間の同型写像|テンプレート:Mvarとテンプレート:Mvarの同型写像]]である。

擬リーマン多様体のレヴィ-チヴィタ接続テンプレート:Anchors

最後に一般相対性理論で重要な擬リーマン多様体のレヴィ-チヴィタ接続について述べる。ここで擬リーマン多様体$(M,g)$とはリーマン多様体と同様、各点$u\in M$に対してテンプレート:Mvarに関してなめらかで非退化な二次形式$g_u:T_{u}M\times T_{u}M\to ℝ$を対応させるが、テンプレート:Mvarに正定値性を要求しないものであるテンプレート:Refn。このようなテンプレート:Mvarを擬リーマン計量という。

擬リーマン多様体$(M,g)$の場合もテンプレート:Mvarが正定値とは限らないだけで、リーマン多様体の場合と同じ式でレヴィ-チヴィタ接続を定義できる。またリーマン多様体の場合と同じ公理によってレヴィ-チヴィタ接続を特徴づける事も可能である。

平行移動、共変微分、測地線、正規座標、曲率といった概念も同様に定義でき、平行移動はテンプレート:Mvarを保つ線形写像となる。

一方、リーマン多様体のものとの違いとしては、Hopf-Rinowの定理が成り立たない事が挙げられる。リーマン多様体の場合、テンプレート:Mvarがコンパクトであればテンプレート:Mvarは距離空間として完備なのでHopf-Rinowの定理からテンプレート:Mvarは測地線完備になる。しかしテンプレート:Mvarがコンパクトであっても、テンプレート:Mvar上の擬リーマン計量が定めるレヴィ-チビタ接続は測地線完備になるとは限らず、反例としてテンプレート:訳語疑問点範囲が知られている。

また擬リーマン多様体では$\Vert v\Vert :=\sqrt{g(v,v)}$が定義できるとは限らないので、測地線を長さ$\underset{a}{\overset{b}{\int }}\Vert \frac{du}{dt}\Vert dt$の停留場曲線として特徴づける事はできない。しかしエネルギー$\underset{a}{\overset{b}{\int }}{\Vert \frac{du}{dt}\Vert }^{2}dt$は擬リーマン多様体でも定義でき、測地線をエネルギーの停留曲線として特徴づけられる。一般相対性理論においては、これはエネルギーを極小にする曲線が自由落下の軌道である事を意味する。

歴史

レヴィ・チヴィタ接続は、トゥーリオ・レヴィ＝チヴィタ(Tullio Levi-Civita)の名前に因んでいるが、エルヴィン・クリストッフェル(Elwin Bruno Christoffel)によりそれ以前に"発見"されていた。レヴィ・チヴィタは、 テンプレート:仮リンク(Gregorio Ricci-Curbastro)とともに、クリストッフェルの記号 を用いて平行移動の概念を定義し、平行移動と曲率との関係を研究した。それによってホロノミーの現代的定式化を開発した。

レヴィ・チヴィタによる曲線に沿ったベクトルの平行移動や内在的微分という概念は、元々$M^n\subset {𝐑}^{\frac{n(n+1)}{2}}$ という特別な埋め込みに対して考えられた。しかし、実際にはそれらは抽象的なリーマン多様体にたいしても意味をなす概念である。何故ならば、クリストッフェルの記号は任意のリーマン多様体上で意味を持つからである。

1869年、クリストッフェルは、ベクトルの内在的微分の各成分は反変ベクトルと同様な変換にしたがうことを発見した。この発見はテンソル解析の真の始まりである。1917年になって初めて、レヴィ・チヴィタによって、アフィン空間に埋め込まれた曲面の内在的微分が、周囲のアフィン空間での通常の微分の接方向成分として解釈された。

文献

参考文献

• テンプレート:Cite web
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite web
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite web
• テンプレート:Cite web
• テンプレート:Cite book
• テンプレート:Cite web
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite web
  • テンプレート:Cite web
  • テンプレート:Cite web

歴史的な文献

• テンプレート:Citation
• テンプレート:Citation

関連項目

• 部分リーマン多様体の接続と曲率
• テンプレート:仮リンク(Weitzenböck connection)

外部リンク

• テンプレート:SpringerEOM
• MathWorld: Levi-Civita Connection
• PlanetMath: Levi-Civita Connection
• Levi-Civita connection at the Manifold Atlas