レヴィ・チヴィタ接続

• 数学 > 幾何学 > 多様体論 > 微分幾何学 > 接続 > ベクトルバンドルの接続 > アフィン接続 > レヴィ・チヴィタ接続

• 数学 > 幾何学 > 多様体論 > 微分幾何学 > リーマン幾何学 > レヴィ・チヴィタ接続

レヴィ-チヴィタ接続︵レヴィ-チヴィタせつぞく、英: Levi-Civita connection︶とは、リーマン多様体M上に共変微分という概念を定める微分演算子で、Mがユークリッド空間$\mathbb {R} ^{n}$$\mathbb {R} ^{n}$の部分多様体の場合は、$\mathbb {R} ^{n}$$\mathbb {R} ^{n}$における︵通常の意味の︶微分をMに射影したものが共変微分に一致する。

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

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

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

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

モチベーション

Mを$\mathbb {R} ^{N}$$\mathbb {R} ^{N}$の部分多様体とし、${\displaystyle c($t)} $c(t)$をM上の曲線とし、さらに${\displaystyle v($t)} $v(t)$を${\displaystyle c($t)} $c(t)$上定義されたMのベクトル場とし︵すなわち各時刻tに対し、${\displaystyle v($t)} $v(t)$は${\displaystyle v($t)\in T_{c(t)}M} $v(t)\in T_{c(t)}M$を満たすとし︶、

${\displaystyle {\nabla \over dt}v($t):=\mathrm {Pr} _{c(t)}\left({d \over dt}v_{c(t)}\right)} ${\nabla \over dt}v(t):=\mathrm {Pr} _{c(t)}\left({d \over dt}v_{c(t)}\right)$
と定義する。ここでPrはMの点c(t)における$\mathbb {R} ^{n}$$\mathbb {R} ^{n}$内の接平面︵と自然に同一視可能なT_c(t)M︶への射影である。またX、YをM上のベクトル場とするとき、

${\displaystyle \nabla _{X}Y|_{P}:={\nabla \over dt}Y_{\exp($tX)(P)}} $\nabla _{X}Y|_{P}:={\nabla \over dt}Y_{\exp(tX)(P)}$
と定義する。ここで${\displaystyle \exp($tX)(P)} $\exp(tX)(P)$は時刻0に点$P\in M$$P\in M$を通るXの積分曲線である。実はこれらの量はMの内在的な量である事、すなわち$\mathbb {R} ^{n}$$\mathbb {R} ^{n}$からMに誘導されるリーマン計量︵とその偏微分︶のみから計算できる事が知られている。具体的には以下の通りである‥

定理 ― Mに局所座標$(x^{1},\ldots ,x^{m})$を取るとき、以下が成立する（アインシュタインの縮約で表記）：

${\nabla \over dt}v(t)=\left({d \over dt}v^{i}(t)+{dx^{j}(t) \over dt}v^{k}(t)\Gamma _{jk}^{i}\right){\partial \over \partial x^{i}}$ ...(1)

　　　where $\Gamma _{jk}^{i}={\frac {1}{2}}g^{i\ell }\left({\partial g_{k\ell } \over \partial x^{j}}+{\partial g_{\ell j} \over \partial x^{k}}-{\partial g_{jk} \over \partial x^{\ell }}\right)$ ...(2)

ここで$v(t)=v^{i}(t){\tfrac {\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}$である。

証明

$\mathbb {R} ^{n}$$\mathbb {R} ^{n}$の元を成分で${\vec {y}}=(y^{1},\ldots ,y^{n})$${\vec {y}}=(y^{1},\ldots ,y^{n})$と表し、局所座標が$(x^{1},\ldots ,x^{m})$$(x^{1},\ldots ,x^{m})$で表せるMの元の$\mathbb {R} ^{n}$$\mathbb {R} ^{n}$における成分表示を

${\vec {y}}(x^{1},\ldots ,x^{m})=(y^{1}(x^{1},\ldots ,x^{m}),\ldots ,y^{n}(x^{1},\ldots ,x^{m}))$${\vec {y}}(x^{1},\ldots ,x^{m})=(y^{1}(x^{1},\ldots ,x^{m}),\ldots ,y^{n}(x^{1},\ldots ,x^{m}))$
と表すと、

${\displaystyle {d \over dt}{\vec {v}}($t)} ${d \over dt}{\vec {v}}(t)$${\displaystyle ={d \over dt}\left(v^{k}($t){\partial {\vec {y}} \over \partial x^{k}}(x(t))\right)} $={d \over dt}\left(v^{k}(t){\partial {\vec {y}} \over \partial x^{k}}(x(t))\right)$${\displaystyle ={dv^{k}($t) \over dt}{\partial {\vec {y}} \over \partial x^{k}}(x(t))+v^{k}(t){dx^{j}(t) \over dt}{\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}}(x(t))} $={dv^{k}(t) \over dt}{\partial {\vec {y}} \over \partial x^{k}}(x(t))+v^{k}(t){dx^{j}(t) \over dt}{\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}}(x(t))$
である。${\displaystyle {\tfrac {\partial {\vec {y}}}{\partial x^{k}}}(x($t))} ${\tfrac {\partial {\vec {y}}}{\partial x^{k}}}(x(t))$はMの${\displaystyle {\vec {y}}(x($t))} ${\vec {y}}(x(t))$における接平面に属しているので、

${\displaystyle \mathrm {Pr} _{c(0)}\left({d \over dt}{\vec {v}}($t)\right)} $\mathrm {Pr} _{c(0)}\left({d \over dt}{\vec {v}}(t)\right)$${\displaystyle ={dv^{k}($t) \over dt}{\partial {\vec {y}} \over \partial x^{k}}(x(t))+v^{k}(t){dx^{j}(t) \over dt}\mathrm {Pr} _{t=0}\left({\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}}(x(t))\right)} $={dv^{k}(t) \over dt}{\partial {\vec {y}} \over \partial x^{k}}(x(t))+v^{k}(t){dx^{j}(t) \over dt}\mathrm {Pr} _{t=0}\left({\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}}(x(t))\right)$ ...(A)

が成立する。よって後は${\displaystyle \mathrm {Pr} _{c(0)}\left({\tfrac {\partial ^{2}{\vec {y}}}{\partial x^{j}\partial x^{k}}}(x($t))\right)} $\mathrm {Pr} _{c(0)}\left({\tfrac {\partial ^{2}{\vec {y}}}{\partial x^{j}\partial x^{k}}}(x(t))\right)$の具体的な形を決定すれば良い。そのためには成分で

${\displaystyle \mathrm {Pr} _{c(0)}\left({\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}}(x($t))\right)} $\mathrm {Pr} _{c(0)}\left({\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}}(x(t))\right)$${\displaystyle =a_{jk}^{i}($t){\partial {\vec {y}} \over \partial x^{i}}(x(t))} $=a_{jk}^{i}(t){\partial {\vec {y}} \over \partial x^{i}}(x(t))$ ...(B)

と書いて係数の${\displaystyle a_{jk}^{i}($t)} $a_{jk}^{i}(t)$を決定すればよい。以下記号を簡単にするため﹁${\displaystyle a_{jk}^{i}($t)} $a_{jk}^{i}(t)$﹂を単に﹁$a_{jk}^{i}$$a_{jk}^{i}$﹂と書き、偏微分から﹁${\displaystyle x($t)} $x(t)$﹂を省略する。すると、

$a_{jk}^{i}g_{i\ell }=a_{jk}^{i}\left\langle {\partial {\vec {y}} \over \partial x^{i}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle$$a_{jk}^{i}g_{i\ell }=a_{jk}^{i}\left\langle {\partial {\vec {y}} \over \partial x^{i}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle$$=\left\langle \mathrm {Pr} _{c(0)}\left({\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}}\right),{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle$$=\left\langle \mathrm {Pr} _{c(0)}\left({\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}}\right),{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle$$=\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle$$=\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle$
であるので、

$a_{jk}^{i}=g^{i\ell }\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle$$a_{jk}^{i}=g^{i\ell }\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle$ ...(C)

である。一方ライプニッツ・ルールより

${\partial g_{k\ell } \over \partial x^{j}}={\partial \over \partial x^{j}}\left\langle {\partial {\vec {y}} \over \partial x^{k}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle$${\partial g_{k\ell } \over \partial x^{j}}={\partial \over \partial x^{j}}\left\langle {\partial {\vec {y}} \over \partial x^{k}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle$$=\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle +\left\langle {\partial {\vec {y}} \over \partial x^{k}},{\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{\ell }}\right\rangle$$=\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle +\left\langle {\partial {\vec {y}} \over \partial x^{k}},{\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{\ell }}\right\rangle$
であるので、添字をサイクリックに回すと、

${\begin{pmatrix}{\partial g_{k\ell } \over \partial x^{j}}\\{\partial g_{jk} \over \partial x^{\ell }}\\{\partial g_{\ell j} \over \partial x^{k}}\end{pmatrix}}={\begin{pmatrix}1&1&0\\0&1&1\\1&0&1\end{pmatrix}}{\begin{pmatrix}\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle \\\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{\ell }\partial x^{j}},{\partial {\vec {y}} \over \partial x^{k}}\right\rangle \\\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{k}\partial x^{\ell }},{\partial {\vec {y}} \over \partial x^{j}}\right\rangle \end{pmatrix}}$${\begin{pmatrix}{\partial g_{k\ell } \over \partial x^{j}}\\{\partial g_{jk} \over \partial x^{\ell }}\\{\partial g_{\ell j} \over \partial x^{k}}\end{pmatrix}}={\begin{pmatrix}1&1&0\\0&1&1\\1&0&1\end{pmatrix}}{\begin{pmatrix}\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{j}\partial x^{k}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle \\\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{\ell }\partial x^{j}},{\partial {\vec {y}} \over \partial x^{k}}\right\rangle \\\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{k}\partial x^{\ell }},{\partial {\vec {y}} \over \partial x^{j}}\right\rangle \end{pmatrix}}$
である。これを解いて、

${\partial g_{k\ell } \over \partial x^{j}}+{\partial g_{\ell j} \over \partial x^{k}}-{\partial g_{jk} \over \partial x^{\ell }}=2\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{j}\,\partial x^{k}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle$${\partial g_{k\ell } \over \partial x^{j}}+{\partial g_{\ell j} \over \partial x^{k}}-{\partial g_{jk} \over \partial x^{\ell }}=2\left\langle {\partial ^{2}{\vec {y}} \over \partial x^{j}\,\partial x^{k}},{\partial {\vec {y}} \over \partial x^{\ell }}\right\rangle$
よって$\Gamma _{jk}^{i}$$\Gamma _{jk}^{i}$の定義と(C)より、

$a_{jk}^{i}=\Gamma _{jk}^{i}$$a_{jk}^{i}=\Gamma _{jk}^{i}$
が結論付けられる。よって(A)、(B)、(C)から

$\mathrm {Pr} _{c(0)}\left({d \over dt}{\vec {v}}(t)\right)$$={dv^{k}(t) \over dt}{\partial {\vec {y}} \over \partial x^{k}}+v^{k}(t){dx^{j}(t) \over dt}\Gamma _{jk}^{i}{\partial {\vec {y}} \over \partial x^{i}}$$=\left({dv^{i}(t) \over dt}+\Gamma _{jk}^{i}{dx^{j}(t) \over dt}v^{k}(t)\right){\partial {\vec {y}} \over \partial x^{i}}$

同様に$X=X^{i}{\tfrac {\partial }{\partial x^{i}}}$、$Y=Y^{i}{\tfrac {\partial }{\partial x^{i}}}$とすると、以下が成立する：

定理 ― 　

$\nabla _{X}Y=\left(X^{j}{\partial Y^{i} \over \partial x^{j}}+X^{j}Y^{k}\Gamma _{jk}^{i}\right){\partial \over \partial x^{i}}$ ...(3)

定義と特徴づけ

前節で述べたように${\tfrac {\nabla }{dt}}v(t)$や∇_XYはMに内在的な量なので、一般のリーマン多様体に対しても、(1)、(2)、(3)式をもってこれらの量を定義できる：

定義 (レヴィ-チヴィタ接続) ― $(M,g)$をリーマン多様体とする。Mのベクトル場X、Yに対し、(2)、(3)式のように定義された$\nabla _{X}Y$を対応させる演算子∇を$(M,g)$のレヴィ-チヴィタ接続（英: Levi-Civita connection）と呼びといい、$\nabla _{X}Y$を∇_XYをYのX方向の共変微分（英: covariant derivative）という。

定義 ― $c(t)$をM上の曲線、$v(t)$を$c(t)$上定義されたMのベクトル場とするとき、(1)式のように定義された${\tfrac {\nabla }{dt}}v(t)$を曲線$c(t)$に沿ったYの共変微分（英: covariant derivative）という。

レヴィ-チヴィタ接続の定義は(1)、(2)、(3)式に登場する局所座標$(x^{1},\ldots ,x^{m})$$(x^{1},\ldots ,x^{m})$に依存しているが、局所座標によらずwell-definedである事を証明できる。

レヴィ・チヴィタ接続の事をリーマン接続︵英: Riemannian connection︶もしくはリーマン・レヴィ-チヴィタ接続︵英: Riemann Levi-Civita connection︶とも呼ぶ。

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

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

レヴィ-チヴィタ接続は以下の性質により特徴づけられる‥

定理 (リーマン幾何学の基本定理) ― レヴィ-チヴィタ接続は以下の5つの性質を満たす。またM上のベクトル場の組にM上のベクトル場を対応させる汎関数で以下の5つの性質をすべて満たすものはレヴィ-チヴィタ接続に限られる：

1. $\nabla _{fX+gY}Z=f\nabla _{X}Z+g\nabla _{Y}Z$ (関数に関する左線形性)
2. $\nabla _{X}(aY+bZ)=a\nabla _{X}Y+b\nabla _{X}Z$(実数に関する右線形性)　
3. $\nabla _{X}(fY)=X(f)Y+f\nabla _{X}Y$　（ライプニッツ則）
4. $\nabla _{X}Y-\nabla _{Y}X=[X,Y]$ (捻れなし）
5. $Z(g(X,Y))=g(\nabla _{Z}X,Y)+g(X,\nabla _{Z}Y)$ （計量との両立）

ここでX、Y、ZはM上の任意の可微分なベクトル場であり、f、gはM上定義された任意の実数値C^∞級関数であり、a、bは任意の実数であり、$fY$$fY$は点$u\in M$$u\in M$において${\displaystyle f($u)Y_{u}} $f(u)Y_{u}$となるベクトル場であり、${\displaystyle X($f)} $X(f)$はfのX方向微分であり、$[X,Y]$$[X,Y]$はリー括弧である。すなわち、

$[X,Y]:=XY-YX=X^{i}{\partial Y^{j} \over \partial x^{i}}{\partial \over \partial x^{j}}-Y^{i}{\partial X^{j} \over \partial x^{i}}{\partial \over \partial x^{j}}$$[X,Y]:=XY-YX=X^{i}{\partial Y^{j} \over \partial x^{i}}{\partial \over \partial x^{j}}-Y^{i}{\partial X^{j} \over \partial x^{i}}{\partial \over \partial x^{j}}$
条件1のように、任意のC^∞級関数に対して線形性が成り立つことを${\displaystyle C^{\infty }($M)} $C^{\infty }(M)$-線形であるという。一般に${\displaystyle C^{\infty }($M)} $C^{\infty }(M)$-線形な汎関数は、一点の値のみでその値が決まる事が知られている。例えばレヴィ-チヴィタ接続の場合、点$P\in M$$P\in M$における$\nabla _{X}Y$$\nabla _{X}Y$の値はX_Pのみに依存しP以外の点QにおけるXの値X_Qには依存しない。

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

$\nabla _{Z}g=0$$\nabla _{Z}g=0$
とも書ける。

Koszulの公式

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

定理 (Koszulの公式) ―  X、Y、Zをリーマン多様体M上の任意の可微分なベクトル場とするとき、以下が成立する：

Koszulの公式（英: Koszul formula）：$2g(\nabla _{X}Y,Z)$$=Xg(Y,Z)+Yg(Z,X)-Zg(X,Y)$$-g(X,[Y,Z])+g(Y,[Z,X])+g(Z,[X,Y])$

略記法

詳細は「リッチ計算法」を参照

文章の前後関係から局所座標が分かるときは${\tfrac {\partial }{\partial x^{i}}}$${\tfrac {\partial }{\partial x^{i}}}$の事を

$\partial _{x^{i}}$$\partial _{x^{i}}$、$\partial _{i}$$\partial _{i}$
等と略記し、$\nabla _{\partial _{j}}Y$$\nabla _{\partial _{j}}Y$の事を

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

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

$\nabla _{j}Y=Y^{i}{}_{;j}\partial _{i}$$\nabla _{j}Y=Y^{i}{}_{;j}\partial _{i}$
により定義する。一方、関数fの偏微分$\partial _{j}f$$\partial _{j}f$は

$f_{,j}$$f_{,j}$
と﹁,﹂をつけて略記する。したがって$Y=Y^{i}\partial _{i}$$Y=Y^{i}\partial _{i}$とすれば、

$Y^{i}{}_{;j}=Y^{i}{}_{,j}+Y^{k}\Gamma ^{i}{}_{jk}$$Y^{i}{}_{;j}=Y^{i}{}_{,j}+Y^{k}\Gamma ^{i}{}_{jk}$
が成立する。

なお、

$Y^{i}{}_{;j,k}$$Y^{i}{}_{;j,k}$
は$\nabla _{j}(\nabla _{k}Y)$$\nabla _{j}(\nabla _{k}Y)$のi番目の係数ではなく、後述する二階共変微分$\nabla _{\partial _{j},\partial _{k}}Y$$\nabla _{\partial _{j},\partial _{k}}Y$のi番目の係数を意味するので注意されたい。

平行移動

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

詳細は「接続 (ベクトル束)#平行移動」を参照

定義

リーマン多様体$(M,g)$$(M,g)$上の曲線${\displaystyle c($t)} $c(t)$上定義されたM上のベクトル場${\displaystyle v($t)} $v(t)$が

${\displaystyle {\nabla \over dt}v($t)=0} ${\nabla \over dt}v(t)=0$
を恒等的に満たすとき、${\displaystyle v($t)} $v(t)$は${\displaystyle c($t)} $c(t)$上平行であるという。また、$c(t_{0})$$c(t_{0})$上の接ベクトル$w_{0}\in T_{c(t_{0})}M$$w_{0}\in T_{c(t_{0})}M$と$c(t_{1})$$c(t_{1})$上の接ベクトル$w_{1}\in T_{c(t_{1})}M$$w_{1}\in T_{c(t_{1})}M$に対し、$v(t_{0})=w_{0}$$v(t_{0})=w_{0}$、$v(t_{1})=w_{1}$$v(t_{1})=w_{1}$を満たす${\displaystyle c($t)} $c(t)$上の平行なベクトル場${\displaystyle v($t)} $v(t)$が存在するとき、$w_{1}$$w_{1}$は$w_{0}$$w_{0}$を${\displaystyle c($t)} $c(t)$に沿って平行移動︵英: parallel transportation along ${\displaystyle c($t)} $c(t)$︶した接ベクトルであるという。

ユークリッド空間の平行移動と異なる点として、どの経路${\displaystyle c($t)} $c(t)$に沿って平行移動したかによって結果が異なる事があげられる。この現象をホロノミー︵英: holonomy︶という。

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

性質

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

定理 (平行移動は計量を保つ) ― $g(\varphi _{c,t}(v),\varphi _{c,t}(w))=g(v,w)$

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

定理 (共変微分の平行移動による特徴づけ) ― 多様体M上の曲線$c(t)$と$c(t)$上のベクトル場$v(t)$に対し、$c(t)$に沿った平行移動を$\varphi _{c,t}(v)$とすると、以下が成立する：

${\nabla v \over dt}(0)$$=\left.{d \over dt}\varphi _{c,t}{}^{-1}(v(t))\right|_{t=0}$

ホロノミー群

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

$\mathrm {Hol} (\nabla ,P):=\{\phi _{c}\mid c$はPからP自身までの区分的になめらかな閉曲線$\}$

は（合成関数で積を定義するとき）$T_{u}M$上の直交群の（閉とは限らない）部分リー群になる。$\mathrm {Hol} (\nabla ,P)$をレヴィ-チヴィタ接続∇に関するホロノミー群（英: holonomy group）という。Mが弧状連結であれば$\mathrm {Hol} (\nabla ,P)$は点Pによらず同型である。

幾何学的意味づけ

詳細は「滑りとねじれのない転がし」を参照

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

Mをユークリッド空間$\mathbb {R} ^{N}$$\mathbb {R} ^{N}$のn次元部分多様体とし、M上に曲線${\displaystyle c($t)} $c(t)$を取り︵図の青の線︶、${\displaystyle c($t)} $c(t)$に沿ってMをn次元平面$\mathbb {R} ^{n}\subset \mathbb {R} ^{N}$$\mathbb {R} ^{n}\subset \mathbb {R} ^{N}$上﹁滑ったり﹂﹁ねじれたり﹂することなく転がしたときにできる曲線の軌跡を${\displaystyle {\tilde {c}}($t)} ${\tilde {c}}(t)$とする︵図の紫の線︶。

Mを転がすと、時刻tに${\displaystyle c($t)} $c(t)$が$\mathbb {R} ^{n}$$\mathbb {R} ^{n}$に接した瞬間に${\displaystyle T_{c($t)}M} $T_{c(t)}M$が$\mathbb {R} ^{n}$$\mathbb {R} ^{n}$に重なるので、自然に写像

${\displaystyle \varphi _{t}~:~T_{c($t)}M\to \mathbb {R} ^{n}} $\varphi _{t}~:~T_{c(t)}M\to \mathbb {R} ^{n}$
が定義できる。この写像を使うと、Mのレヴィ・チヴィタ接続∇の幾何学的意味を述べることができる‥

定理 ― $v(t)\in T_{c(t)}M$を$c(t)$に沿ったM上のベクトル場とすると、以下が成立する：

$\varphi _{t}\left({\nabla \over dt}v(t)\right)={d \over dt}\varphi _{t}(v(t))$

すなわち、曲線$c(t)$に沿った$v(t)$の共変微分を$\mathbb {R} ^{n}$に移したものは、$v(t)$を$\mathbb {R} ^{n}$に移したものを通常の意味で微分したものに一致する。この事実から特に、レヴィ-チヴィタ接続による平行移動と$\mathbb {R} ^{n}$における通常の意味での平行移動の関係を示すことができる：

系 ― $c(a)$における接ベクトル$v$をM上曲線$c(t)$に沿って（レヴィ・チヴィタ接続の意味で）平行移動したものを$v'$とするとき、${\tilde {c}}(a)$におけるベクトル$\varphi _{a}(v)$を$\mathbb {R} ^{n}$上${\tilde {c}}(b)$まで通常の意味で平行移動したものは$\varphi _{b}(v')$に等しい。

接続形式

$(e_{1},\ldots ,e_{m})$$(e_{1},\ldots ,e_{m})$を接バンドル$TM$$TM$の局所的な基底とし、X、YをM上のベクトル場とし、$Y=Y^{j}e_{j}$$Y=Y^{j}e_{j}$とすると、レヴィ-チヴィタ接続の定義から

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

そこで以下のような定義をする‥

定義 (接続形式) ― 行列$\omega (X)$を

$(\nabla _{X}e_{1},\ldots ,\nabla _{X}e_{m})=(e_{1},\ldots ,e_{m})\omega (X)$

により定義し、Xに$\omega (X)$を対応させる行列値の1-形式$\omega =(\omega ^{i}{}_{j})_{ij}$を局所的な基底$(e_{1},\ldots ,e_{m})$に関するレヴィ・チヴィタ接続∇の接続形式（英: connection form）という

定義から明らかに

$\omega ^{i}{}_{j}(e_{k})=\Gamma ^{i}{}_{kj}$$\omega ^{i}{}_{j}(e_{k})=\Gamma ^{i}{}_{kj}$
が成立する。

接続概念において重要な役割を果たす平行移動の概念は接続形式ωと強く関係しており、底空間Mの曲線${\displaystyle c($t)} $c(t)$に沿って定義された局所的な基底${\displaystyle (e_{1}($t),\ldots ,e_{m}(t))} $(e_{1}(t),\ldots ,e_{m}(t))$をtで微分したものが接続形式$\omega ({\tfrac {dc}{dt}}(0))$$\omega ({\tfrac {dc}{dt}}(0))$に一致する。

よって特に︵レヴィ・チヴィタ接続などの︶∇がEの計量と両立する接続の場合、∇による平行移動は回転変換、すなわち${\displaystyle SO($m)} $SO(m)$の元なので、その微分である接続形式ωは${\displaystyle SO($m)} $SO(m)$のリー代数${\displaystyle {\mathfrak {so}}($m)} ${\mathfrak {so}}(m)$の元、すなわち歪対称行列である‥

定理 ― ∇がE上の計量と両立するとき、$(e_{1},\ldots ,e_{m})$をEの局所的な正規直交基底とすると、$(e_{1},\ldots ,e_{m})$に関する接続形式ωは${\mathfrak {so}}(m)$の元である。すなわちωは歪対称行列である。

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

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

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

測地線

「接続 (ベクトル束)#測地線」も参照

定義

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

${\displaystyle {\nabla \over dt}{d \over dt}c($t)=0} ${\nabla \over dt}{d \over dt}c(t)=0$
を恒等的に満たすものを測地線という。2階微分は物理的には加速度であるので、測地線とは加速度が恒等的に0である曲線、すなわちユークリッド空間における直線を一般化した概念であるとみなせる。


リーマン多様体M上の曲線の、弧長パラメータによる﹁二階微分﹂の長さ

$\left\|{\nabla \over ds}{dc \over ds}\right\|$$\left\|{\nabla \over ds}{dc \over ds}\right\|$
をMにおける${\displaystyle c($s)} $c(s)$の測地線曲率︵英: geodesic curvature︶、あるいは単に曲率︵英: curvature︶という。よって測地線は、曲率が0の曲線と言い換える事ができる。

存在性と一意性

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

$c(0)=P$$c(0)=P$、${\tfrac {dc}{dt}}(0)=v$${\tfrac {dc}{dt}}(0)=v$
を満たす測地線${\displaystyle c($t)} $c(t)$が$(-\varepsilon ,\varepsilon )$$(-\varepsilon ,\varepsilon )$上で一意に存在する。この測地線を

${\displaystyle \exp($tv)} $\exp(tv)$
と書く。

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




測地線が$\mathbb {R}$$\mathbb {R}$全域に拡張できるか否かに関して以下の定理が知られている。

定理 (Hopf-Rinowの定理) ― $(M,g)$$(M,g)$を連結なリーマン多様体とし、$\nabla$$\nabla$をM上のレヴィ-チヴィタ接続とする。このとき、以下の条件は互いに同値である‥

●$(M,g)$$(M,g)$はgが定める距離に関し、距離空間として完備である。

●$(M,\nabla )$$(M,\nabla )$は測地線完備である。

●全ての点$P\in M$$P\in M$に対し、T_PMの全ての元vに対し${\displaystyle \mathrm {exp} _{P}($v)} $\mathrm {exp} _{P}(v)$を定義できる。

●ある点$P\in M$$P\in M$に対し、T_PMの全ての元vに対し${\displaystyle \mathrm {exp} _{P}($v)} $\mathrm {exp} _{P}(v)$を定義できる。

●M上の任意の2点P、Qに対し、PとQの両方を通る︵$\nabla$$\nabla$に関する︶測地線が存在する。

●gが定める距離に関し、Mの有界閉集合はコンパクトである。

特徴づけ

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

弧長の停留曲線

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


U上の滑らかな曲線${\displaystyle P($t)} $P(t)$を考え、この曲線の座標表示を$x~:~[a,b]\to U\subset \mathbb {R} ^{m}$$x~:~[a,b]\to U\subset \mathbb {R} ^{m}$、${\displaystyle P($t)=x(t)=(x^{1}(t),\ldots ,x^{m}(t))} $P(t)=x(t)=(x^{1}(t),\ldots ,x^{m}(t))$とする。さらに $\eta ~:~[a,b]\to U\subset \mathbb {R} ^{m}$$\eta ~:~[a,b]\to U\subset \mathbb {R} ^{m}$を滑らかな写像で${\displaystyle \eta ($a)=\eta (b)=0} $\eta (a)=\eta (b)=0$となるものとし、$\varepsilon >0$$\varepsilon >0$に対して曲線

${\displaystyle x_{\varepsilon ,\eta }($t):=x(t)+\varepsilon \eta (t)} $x_{\varepsilon ,\eta }(t):=x(t)+\varepsilon \eta (t)$
を考える。ここで和や定数倍は${\displaystyle x($t)} $x(t)$、${\displaystyle \eta ($t)} $\eta (t)$を$\mathbb {R} ^{m}$$\mathbb {R} ^{m}$の元と見たときの和や定数倍である。

そして、

$L(x,v):={\sqrt {g_{x}(v,v)}}$$L(x,v):={\sqrt {g_{x}(v,v)}}$
と定義し弧長積分

${\displaystyle S_{x,\eta }(\varepsilon ):=\int _{a}^{b}L\left(x_{\varepsilon ,\eta }($t),{\tfrac {dx_{\varepsilon ,\eta }}{dt}}(t)\right)dt} $S_{x,\eta }(\varepsilon ):=\int _{a}^{b}L\left(x_{\varepsilon ,\eta }(t),{\tfrac {dx_{\varepsilon ,\eta }}{dt}}(t)\right)dt$
を考える。

定義 ― $x~:~[a,b]\to \mathbb {R} ^{m}$を滑らかな曲線とする。$\eta (a)=\eta (b)=0$を満たす任意の滑らかな写像$\eta ~:~[a,b]\to U\subset \mathbb {R} ^{m}$に対し、

${dS_{x,\eta } \over d\varepsilon }(0)=0$

が成立するとき、曲線$x(t)$は弧長積分の停留曲線もしくは（$x(t)$を曲線全体の空間上の「点」とみなし）停留点（英: critical point）という。

「停留曲線」は直観的には滑らかな曲線全体の空間での「微分」が0になるという事である。 変分法の一般論から次が成立する：

定理 ― 曲線$x(t)$が弧長積分の停留曲線である必要十分条件は$x(t)$が下記の方程式（弧長積分に関するオイラー・ラグランジュ方程式）を満たす事である：

${\frac {d}{dt}}\left({\frac {\partial L}{\partial v_{\ell }}}\left(x(t),{\frac {dx}{dt}}(t)\right)\right)={\frac {\partial L}{\partial x_{\ell }}}\left(x(t),{\frac {dx}{dt}}(t)\right)$ for $j=1,\ldots ,m$

曲線$x(t)$の弧長

$s=\int _{a}^{t}{\sqrt {g_{x}\left({dx \over dt},{dx \over dt}\right)}}dt$

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

定理 ― 滑らかな曲線$P(t)$が弧長積分に関するオイラー・ラグランジュ方程式を満たす必要十分条件は、$P(t)$を弧長パラメーターsに変換した$P(s)$が測地線方程式

${\nabla \over ds}{dP \over ds}=0$

を満たす事である。

証明

${\dot {x}}={\tfrac {dx}{dt}}$、$g(\cdot ,\cdot )=g_{x}(\cdot ,\cdot )$、と略記すると、

$ds={\sqrt {g({\dot {x}},{\dot {x}})}}dt$

であるので、オイラー・ラグランジュ方程式の左辺は

${\displaystyle {\frac {\partial L}{\partial v_{\ell }}}\left(x($t),{\frac {dx}{dt}}(t)\right)={\frac {\partial }{\partial v_{\ell }}}{\sqrt {g({\dot {x}},{\dot {x}})}}={1 \over {\sqrt {g({\dot {x}},{\dot {x}})}}}g_{i\ell }{\dot {x}}^{i}=g_{i\ell }{dx^{i} \over ds}} ${\frac {\partial L}{\partial v_{\ell }}}\left(x(t),{\frac {dx}{dt}}(t)\right)={\frac {\partial }{\partial v_{\ell }}}{\sqrt {g({\dot {x}},{\dot {x}})}}={1 \over {\sqrt {g({\dot {x}},{\dot {x}})}}}g_{i\ell }{\dot {x}}^{i}=g_{i\ell }{dx^{i} \over ds}$
より、

${\displaystyle {d \over dt}{\frac {\partial L}{\partial v_{\ell }}}\left(x($t),{\frac {dx}{dt}}(t)\right)={ds \over dt}{d \over ds}\left(g_{i\ell }{dx^{i} \over ds}\right)={ds \over dt}\left({\partial g_{i\ell } \over \partial x^{j}}{dx^{i} \over ds}{dx^{j} \over ds}+g_{i\ell }{d^{2}x^{i} \over ds^{2}}\right)} ${d \over dt}{\frac {\partial L}{\partial v_{\ell }}}\left(x(t),{\frac {dx}{dt}}(t)\right)={ds \over dt}{d \over ds}\left(g_{i\ell }{dx^{i} \over ds}\right)={ds \over dt}\left({\partial g_{i\ell } \over \partial x^{j}}{dx^{i} \over ds}{dx^{j} \over ds}+g_{i\ell }{d^{2}x^{i} \over ds^{2}}\right)$
である。一方右辺は

${\displaystyle {\frac {\partial L}{\partial x_{\ell }}}\left(x($t),{\frac {dx}{dt}}(t)\right)={1 \over 2{\sqrt {g({\dot {x}},{\dot {x}})}}}{\partial g_{jk} \over \partial x^{\ell }}{\dot {x}}^{j}{\dot {x}}^{k}={1 \over 2}{\partial g_{jk} \over \partial x^{\ell }}{dx^{j} \over ds}{dx^{k} \over ds}{ds \over dt}} ${\frac {\partial L}{\partial x_{\ell }}}\left(x(t),{\frac {dx}{dt}}(t)\right)={1 \over 2{\sqrt {g({\dot {x}},{\dot {x}})}}}{\partial g_{jk} \over \partial x^{\ell }}{\dot {x}}^{j}{\dot {x}}^{k}={1 \over 2}{\partial g_{jk} \over \partial x^{\ell }}{dx^{j} \over ds}{dx^{k} \over ds}{ds \over dt}$
である。よって両辺を見比べることで、

${\partial g_{i\ell } \over \partial x^{j}}{dx^{i} \over ds}{dx^{j} \over ds}+g_{i\ell }{d^{2}x^{i} \over ds^{2}}={1 \over 2}{\partial g_{jk} \over \partial x^{\ell }}{dx^{j} \over ds}{dx^{k} \over ds}$${\partial g_{i\ell } \over \partial x^{j}}{dx^{i} \over ds}{dx^{j} \over ds}+g_{i\ell }{d^{2}x^{i} \over ds^{2}}={1 \over 2}{\partial g_{jk} \over \partial x^{\ell }}{dx^{j} \over ds}{dx^{k} \over ds}$
左辺第一項の添字のiをkに代えて整理する事で、

$g_{i\ell }{d^{2}x^{i} \over ds^{2}}+{1 \over 2}\left({2\partial g_{k\ell } \over \partial x^{j}}-{\partial g_{jk} \over \partial x^{\ell }}\right){dx^{j} \over ds}{dx^{k} \over ds}=0$$g_{i\ell }{d^{2}x^{i} \over ds^{2}}+{1 \over 2}\left({2\partial g_{k\ell } \over \partial x^{j}}-{\partial g_{jk} \over \partial x^{\ell }}\right){dx^{j} \over ds}{dx^{k} \over ds}=0$
よって、

${d^{2}x^{i} \over ds^{2}}+{g^{i\ell } \over 2}\left({2\partial g_{k\ell } \over \partial x^{j}}-{\partial g_{jk} \over \partial x^{\ell }}\right){dx^{j} \over ds}{dx^{k} \over ds}=0$${d^{2}x^{i} \over ds^{2}}+{g^{i\ell } \over 2}\left({2\partial g_{k\ell } \over \partial x^{j}}-{\partial g_{jk} \over \partial x^{\ell }}\right){dx^{j} \over ds}{dx^{k} \over ds}=0$
ここで$\ell$$\ell$とkの添字の付け替えにより

${\partial g_{k\ell } \over \partial x^{j}}{dx^{j} \over ds}{dx^{k} \over ds}={\partial g_{j\ell } \over \partial x^{k}}{dx^{k} \over ds}{dx^{j} \over ds}$${\partial g_{k\ell } \over \partial x^{j}}{dx^{j} \over ds}{dx^{k} \over ds}={\partial g_{j\ell } \over \partial x^{k}}{dx^{k} \over ds}{dx^{j} \over ds}$
なので、

${d^{2}x^{i} \over ds^{2}}+{g^{i\ell } \over 2}\left({\partial g_{k\ell } \over \partial x^{j}}+{\partial g_{j\ell } \over \partial x^{k}}-{\partial g_{jk} \over \partial x^{\ell }}\right){dx^{j} \over ds}{dx^{k} \over ds}=0$${d^{2}x^{i} \over ds^{2}}+{g^{i\ell } \over 2}\left({\partial g_{k\ell } \over \partial x^{j}}+{\partial g_{j\ell } \over \partial x^{k}}-{\partial g_{jk} \over \partial x^{\ell }}\right){dx^{j} \over ds}{dx^{k} \over ds}=0$
となる。クリストッフェル記号の定義から定理は証明された。

エネルギーの停留曲線

上では測地線が

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

$S_{x,\eta }(\varepsilon ):=\int _{a}^{b}L(x_{\varepsilon ,\eta }(t),{\tfrac {dx_{\varepsilon ,\eta }}{dt}}(t))dt$

に対して停留曲線になる事を示したが、エネルギー

${\bar {L}}(x,v):={g_{x}(v,v) \over 2}$

から得られる

${\bar {S}}_{x,\eta }(\varepsilon ):=\int _{a}^{b}{\bar {L}}(x_{\varepsilon ,\eta }(t),{\tfrac {dx_{\varepsilon ,\eta }}{dt}}(t))dt$

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

しかもこの事実はgが正定値や非退化でなくても成立する：

定理 ― gを多様体M上定義された（正定値でも非退化でもないかもしれない）二次形式の可微分な場とするとき、${\bar {L}}(x,v):=g_{x}(v,v)$ の停留曲線は${\bar {L}}$に関するオイラー・ラグランジュ方程式

${\frac {d}{dt}}\left({\frac {\partial {\bar {L}}}{\partial v_{\ell }}}\left(x(t),{\frac {dx}{dt}}(t)\right)\right)={\frac {\partial {\bar {L}}}{\partial x_{\ell }}}\left(x(t),{\frac {dx}{dt}}(t)\right)$ for $j=1,\ldots ,m$

を満たす。

定理 ― 上の定理と同じ条件下、gに対するレヴィ-チヴィタ接続を$\nabla$とすると、${\bar {L}}$に関するオイラー・ラグランジュ方程式は変数tに関する測地線方程式

${\nabla \over dt}{dP \over dt}=0$

に一致する。

この事実は擬リーマン多様体を基礎に置く一般相対性理論では、運動エネルギーを最小にする曲線、すなわち自由落下曲線が測地線になる事を含意する。

正規座標

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

${\displaystyle v\in U\mapsto \exp _{P}($v)\in M} $v\in U\mapsto \exp _{P}(v)\in M$
が中への同型になるようにする事ができる。ベクトル空間T_PMの開集合からMへの中への同型なので、${\displaystyle v\in U\mapsto \exp _{P}($v)\in M} $v\in U\mapsto \exp _{P}(v)\in M$をMの点Pの周りの局所座標と見なす事ができる。この局所座標をMの点uにおける正規座標︵英: normal coordinate︶という。


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

$\left(X^{i}{\partial Y^{1} \over \partial x^{i}},\ldots ,X^{i}{\partial Y^{n} \over \partial x^{i}}\right)$$\left(X^{i}{\partial Y^{1} \over \partial x^{i}},\ldots ,X^{i}{\partial Y^{n} \over \partial x^{i}}\right)$
である。正規座標において、共変微分は方向微分と一致する‥

定理 (正規座標における共変微分と方向微分の関係) ― : $\exp _{P}~:~U\subset T_{P}M\to M$ をMのPにおける正規座標とし、$X=X^{i}\partial _{x^{i}}$、$Y=Y^{j}\partial _{x^{j}}$をM上の2つのベクトル場とする。このとき、以下が成立する：

$\exp _{P}{}^{-1}(\nabla _{X}Y|_{P})=X^{i}(P){\partial Y^{j} \over \partial x^{i}}(P)\left.{\partial \over \partial x^{j}}\right|_{P}$

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

曲率

動機

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

$\nabla _{X}Z=\left(X^{j}{\partial Z^{i} \over \partial x^{j}}+X^{j}Z^{k}\Gamma _{jk}^{i}\right){\partial \over \partial x^{i}}$$\nabla _{X}Z=\left(X^{j}{\partial Z^{i} \over \partial x^{j}}+X^{j}Z^{k}\Gamma _{jk}^{i}\right){\partial \over \partial x^{i}}$
より、$M=\mathbb {R} ^{m}$$M=\mathbb {R} ^{m}$であれば、すなわちMが﹁平たい﹂空間であれば、クリストッフェル記号は全て0になる。よって

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

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

$\nabla _{X}Z=X(Z^{i}){\tfrac {\partial }{\partial x^{i}}}$$\nabla _{X}Z=X(Z^{i}){\tfrac {\partial }{\partial x^{i}}}$
となる事に着目する。この事実から﹁平たい﹂空間では、

$\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z=XY(Z^{i}){\partial \over \partial x^{i}}-YX(Z^{i}){\partial \over \partial x^{i}}=[X,Y](Z^{i}){\partial \over \partial x^{i}}=\nabla _{[X,Y]}Z$$\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z=XY(Z^{i}){\partial \over \partial x^{i}}-YX(Z^{i}){\partial \over \partial x^{i}}=[X,Y](Z^{i}){\partial \over \partial x^{i}}=\nabla _{[X,Y]}Z$
が常に成立する事を示せる。そこで

$R(X,Y)Z:=\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z$$R(X,Y)Z:=\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z$
と定義すると、$R(X,Y)Z$$R(X,Y)Z$はMが﹁平たい﹂ときには恒等的にゼロになり、この意味において$R(X,Y)Z$$R(X,Y)Z$はMの﹁曲がり具合﹂を表している考えられる。

定義と性質

定義

M上のベクトル場X、Y、Zに対し、

$R(X,Y)Z:=\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z$$R(X,Y)Z:=\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z$
と定義し、Rを$\nabla$$\nabla$に関する曲率︵英: curvature︶もしくは曲率テンソル︵英: curvature tensor︶という。ここで$[X,Y]$$[X,Y]$はリー括弧である。 RはX、Y、Zのいずれに関しても${\displaystyle C^{\infty }($M)} $C^{\infty }(M)$-線形である事が知られており、したがって、各$P\in 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_{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:=-(\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z)$$R(X,Y)Z:=-(\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z)$を曲率と呼んでいるので注意されたい。

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

性質

次の事実が知られている‥

定理 ― リーマン多様体$(M,g)$のレヴィ-チヴィタ接続の曲率は以下を満たす：

• $g(R(X,Y)Z,W)=-g(R(X,Y)W,Z)$
• $g(R(X,Y)Z,W)=g(R(Z,W)X,Y)$
• ビアンキの第一恒等式：$R(X,Y)Z+R(Y,Z)X+R(Z,X)Y=0$
• ビアンキの第二恒等式：$(\nabla _{X}R)(Y,Z)+(\nabla _{Y}R)(Z,X)+(\nabla _{Z}R)(X,Y)=0$

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

成分表示

曲率はクリストッフェル記号$\Gamma ^{i}{}_{jk}$$\Gamma ^{i}{}_{jk}$を用いて以下のように表すことができる‥

定理 ― $R({\tfrac {\partial }{\partial x^{k}}},{\tfrac {\partial }{\partial x^{\ell }}}){\tfrac {\partial }{\partial x^{j}}}=R^{i}{}_{jk\ell }{\tfrac {\partial }{\partial x^{i}}}$と成分表示すると、以下が成立する：

$R^{i}{}_{jk\ell }={\partial \Gamma ^{i}{}_{\ell j} \over \partial x^{k}}-{\partial \Gamma ^{i}{}_{kj} \over \partial x^{\ell }}+\Gamma ^{i}{}_{km}\Gamma ^{m}{}_{\ell j}-\Gamma ^{i}{}_{\ell m}\Gamma ^{m}{}_{kj}$

以下のようにも成分表示できる：

定理 ―  $R_{ijk\ell }:=g(R({\tfrac {\partial }{\partial x^{k}}},{\tfrac {\partial }{\partial x^{\ell }}}){\tfrac {\partial }{\partial x^{j}}},{\tfrac {\partial }{\partial x^{i}}})$とすると、以下が成立する：

$R_{ijk\ell }={1 \over 2}{\Big (}{\partial \over \partial x^{i}}{\partial \over \partial x^{k}}g_{j\ell }+{\partial \over \partial x^{j}}{\partial \over \partial x^{\ell }}g_{ik}-{\partial \over \partial x^{j}}{\partial \over \partial x^{k}}g_{i\ell }-{\partial \over \partial x^{i}}{\partial \over \partial x^{\ell }}g_{jk}{\Big )}$$={1 \over 2}\partial ^{2}{~\wedge \!\!\!\!\!\!\!\!\;\bigcirc ~}g({\tfrac {\partial }{\partial x^{i}}},{\tfrac {\partial }{\partial x^{j}}},{\tfrac {\partial }{\partial x^{k}}},{\tfrac {\partial }{\partial x^{\ell }}})$

ここで${~\wedge \!\!\!\!\!\!\!\!\;\bigcirc ~}$は下記のKulkarni–Nomizu積である：

${\begin{aligned}(h{~\wedge \!\!\!\!\!\!\!\!\;\bigcirc ~}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{aligned}}$

特徴づけ

点$P\in M$を原点とする正規座標$(x^{1},...,x^{m})$を使うと曲率は以下のように特徴づけられる：

定理 ― : $g_{k\ell }=\delta _{k\ell }+{1 \over 3}R_{jk\ell i}x^{i}x^{j}+O(|x|^{3})$

ここで$R_{ikj\ell }:=g(R({\tfrac {\partial }{\partial x^{k}}},{\tfrac {\partial }{\partial x^{\ell }}}){\tfrac {\partial }{\partial x^{j}}},{\tfrac {\partial }{\partial x^{i}}})$$R_{ikj\ell }:=g(R({\tfrac {\partial }{\partial x^{k}}},{\tfrac {\partial }{\partial x^{\ell }}}){\tfrac {\partial }{\partial x^{j}}},{\tfrac {\partial }{\partial x^{i}}})$である。

また、

$\xi ~:~U\subset \mathbb {R} ^{2}\to M$$\xi ~:~U\subset \mathbb {R} ^{2}\to M$
を任意のなめらかな関数とし、

$X:=\xi _{*}\left({\tfrac {\partial }{\partial x^{1}}}\right)$$X:=\xi _{*}\left({\tfrac {\partial }{\partial x^{1}}}\right)$、$Y:=\xi _{*}\left({\tfrac {\partial }{\partial x^{2}}}\right)$$Y:=\xi _{*}\left({\tfrac {\partial }{\partial x^{2}}}\right)$
とし、${\displaystyle \varphi _{t}^{X}($Q):=\mathrm {exp} _{Q}(tX)} $\varphi _{t}^{X}(Q):=\mathrm {exp} _{Q}(tX)$、${\displaystyle \varphi _{t}^{Y}($Q):=\mathrm {exp} _{Q}(tY)} $\varphi _{t}^{Y}(Q):=\mathrm {exp} _{Q}(tY)$に沿った平行移動を

${\displaystyle (\varphi _{*}^{X})_{t}~:~E_{Q}\to E_{\varphi _{t}($Q)}} $(\varphi _{*}^{X})_{t}~:~E_{Q}\to E_{\varphi _{t}(Q)}$、${\displaystyle (\varphi _{*}^{Y})_{t}~:~E_{Q}\to E_{\psi _{t}($Q)}} $(\varphi _{*}^{Y})_{t}~:~E_{Q}\to E_{\psi _{t}(Q)}$
とすると、曲率を以下のように特徴づけられる‥

定理 ― 　

$(\varphi _{*}^{Y})_{-t}\circ (\varphi _{*}^{X})_{-t}\circ (\varphi _{*}^{Y})_{t}\circ (\varphi _{*}^{X})_{t}(Z)=Z+t^{2}R(X,Y)Z+o(t^{2})$

この定理は一般のベクトルバンドルに対する接続においても成立する。

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

$\nabla$$\nabla$をリーマン多様体$(M,g)$$(M,g)$のレヴィ-チヴィタ接続とし、PをMの点とし、$v,w\in T_{P}M$$v,w\in T_{P}M$とし、さらに$e_{1},\ldots ,e_{m}$$e_{1},\ldots ,e_{m}$を$T_{P}M$$T_{P}M$の基底とする。

定義 ― 　

●$\mathrm {Sec} _{P}(v,w):={g_{P}(R_{P}(v,w)w,v) \over g_{P}(v,v)g_{P}(w,w)-g_{P}(v,w)^{2}}$$\mathrm {Sec} _{P}(v,w):={g_{P}(R_{P}(v,w)w,v) \over g_{P}(v,v)g_{P}(w,w)-g_{P}(v,w)^{2}}$を点Pにおける$v,w$$v,w$に関する断面曲率︵英: sectional curvature︶という。

●$\mathrm {Ric} _{P}(v,w):=\sum _{i}g_{P}(R_{P}(e_{i},v)w,e_{i})$$\mathrm {Ric} _{P}(v,w):=\sum _{i}g_{P}(R_{P}(e_{i},v)w,e_{i})$を点Pにおける$v,w$$v,w$に関するリッチ曲率︵英: Ricci curvature︶という。

●$S_{P}:=\sum _{i,j}g_{P}(R_{P}(e_{i},e_{j})e_{j},e_{i})$$S_{P}:=\sum _{i,j}g_{P}(R_{P}(e_{i},e_{j})e_{j},e_{i})$$=\sum _{j}\mathrm {Ric} _{P}(e_{j},e_{j})$$=\sum _{j}\mathrm {Ric} _{P}(e_{j},e_{j})$を点Pにおけるスカラー曲率︵英: scalar curvature︶という。

なお、書籍によっては本項のリッチ曲率、スカラー曲率をそれぞれ${\tfrac {1}{n-1}}$倍、${\tfrac {1}{n(n-1)}}$倍したものをリッチ曲率、スカラー曲率と呼んでいるものもあるので注意されたい。 また断面曲率は$K_{P}(v,w)$という記号で表記する文献も多いが、後述するガウス曲率と区別するため、本稿では$\mathrm {Sec} _{P}(v,w)$という表記を採用した。

定義から明らかなように、以下が成立する：

定理 ― 断面曲率は$v,w$が貼る平面のみに依存する。すなわち$v,w$と$v',w'$がT_PM内の同一平面を貼れば以下が整理する：

$\mathrm {Sec} _{P}(v,w)=\mathrm {Sec} _{P}(v'.w')$

定理 ― リッチ曲率は線形写像

$w\to R(w,u)v$$w\to R(w,u)v$
のトレースに一致し、スカラー曲率は、

${\displaystyle \mathrm {Ric} _{P}(u,v)=g_{P}(\rho ($u),v)} $\mathrm {Ric} _{P}(u,v)=g_{P}(\rho (u),v)$
を満たす線形写像ρのトレースに一致する。

よって特にリッチ曲率、スカラー曲率の定義は基底$e_{1},\ldots ,e_{m}$$e_{1},\ldots ,e_{m}$の取り方によらない。

実は断面曲率は曲率テンソルを特徴づける：

定理 ― $(V,g)$$(V,g)$を計量ベクトル空間とし、

$R,R'~:~V^{3}\to V$$R,R'~:~V^{3}\to V$
を各成分に対して線形な2つの写像とする。このとき、線形独立な任意のベクトル$v,w$$v,w$に対し、

${g(R(v,w,w),v) \over g(v,v)g(w,w)-g(v,w)^{2}}={g(R'(v,w,w),v) \over g(v,v)g(w,w)-g(v,w)^{2}}$${g(R(v,w,w),v) \over g(v,v)g(w,w)-g(v,w)^{2}}={g(R'(v,w,w),v) \over g(v,v)g(w,w)-g(v,w)^{2}}$
であれば、RとR'は同一の写像である。

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

詳細は「部分リーマン多様体の接続と曲率」を参照

「Theorema Egregium」も参照

m次元リーマン多様体Mが別のリーマン多様体${\bar {M}}$の余次元1の部分リーマン多様体、すなわち$M\subset {\bar {M}}$、$\dim {\bar {M}}=\dim M+1$の場合は、以下が成立する：

定理 ― i≠jを満たす任意のi, j ∈{1,...,m}に対し、

$\mathrm {Sec} _{u}(e_{i},e_{j})={\overline {\mathrm {Sec} }}_{u}(e_{i},e_{j})+\kappa _{i}\kappa _{j}$

ここで$e_{1},\ldots ,e_{m}$は点$u\in M$における主方向で$\kappa _{1},\ldots ,\kappa _{m}$を対応する主曲率であり、$\mathrm {Sec} _{u}(X,Y)$はMのuにおける断面曲率であり、${\overline {\mathrm {Sec} }}_{u}(X,Y)$は${\bar {M}}$のuにおける断面曲率である。

よって特にMが2次元リーマン多様体で${\bar {M}}$が$\mathbb {R} ^{3}$の場合はMの断面曲率$\mathrm {Sec} _{u}(X,Y)$はガウス曲率κ₁κ₂に一致する（Theorema Egregium）。

定曲率空間

定義 (定曲率空間) ― $(M,g)$$(M,g)$をリーマン多様体とする。ある$c\in \mathbb {R}$$c\in \mathbb {R}$が存在して、Mの任意の点PとT_PMの任意の独立なベクトルv、wに対し、

$\mathrm {Sec} _{P}(v,w)=c$$\mathrm {Sec} _{P}(v,w)=c$
が成立するとき、$(M,g)$$(M,g)$を曲率cの定曲率空間という。

定曲率空間では曲率が下記のように書ける：

定理 (定曲率空間における曲率の形) ― $(M,g)$$(M,g)$をリーマン多様体とし、$c\in \mathbb {R}$$c\in \mathbb {R}$とする。このときMが曲率cの定曲率空間である必要十分条件は、Mの任意の点PとT_PMの任意のベクトルX、Y、Z、Wに対し、

$g(R(X,Y)W,Z)=cg(X,W)g(Y,Z)-cg(Y,W)g(X,Z)$$g(R(X,Y)W,Z)=cg(X,W)g(Y,Z)-cg(Y,W)g(X,Z)$
が成立する事である。

上記の定理より、必要ならリーマン計量gを${\tfrac {1}{\sqrt {|c|}}}$${\tfrac {1}{\sqrt {|c|}}}$倍する事で、任意の定曲率空間は、曲率が0、1、もしくは-1の定曲率空間と﹁相似﹂である事がわかる。 曲率が0、1、-1の定曲率空間については以下の事実が知られている‥

定理 ― 曲率cのm次元定曲率空間$(M,g)$$(M,g)$が連結かつ単連結であり、しかも距離空間として完備であるとする。 このとき、次が成立する‥

●$c=1$$c=1$であれば、$(M,g)$$(M,g)$はm次元ユークリッド空間とリーマン多様体として同型である。

●$c=0$$c=0$であれば、$(M,g)$$(M,g)$はm次元球面とリーマン多様体として同型である。

●$c=-1$$c=-1$であれば、$(M,g)$$(M,g)$はm次元双曲空間とリーマン多様体として同型である。

よって被覆空間の一般論から以下の系が従う：

系 ― 曲率が0、1、もしくは-1の連結かつ完備なm次元定曲率空間は、それぞれm次元ユークリッド空間、m次元球面、もしくはm次元双曲空間を普遍被覆空間に持つ。

テンソルの共変微分

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

1-形式の共変微分

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

$X\in TM{\overset {\sim }{\mapsto }}X^{\flat }\in T^{*}M$

$\alpha \in T^{*}M{\overset {\sim }{\mapsto }}\alpha ^{\sharp }\in TM$

と書くことにする（Musical isomorphism）。

定義 ―  M上の1-形式αの共変微分を以下のように定義する：

$\nabla _{X}\alpha :=(\nabla _{X}\alpha ^{\sharp })^{\flat }$

ここでXはM上のベクトル場である。するとM上のベクトル場Yに対しライプニッツ則

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

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

$\nabla _{X}\alpha =\left(X^{j}{\partial \alpha _{k} \over \partial x^{j}}-\alpha _{i}X^{j}\Gamma _{jk}^{i}\right)dx^{k}$

証明

$\langle \nabla _{X}\alpha ,Y\rangle$$=\langle (\nabla _{X}\alpha ^{\sharp })^{\flat },Y\rangle$$=g((\nabla _{X}\alpha ^{\sharp }),Y)$$=X(g(\alpha ^{\sharp },Y))-g(\alpha ^{\sharp },\nabla _{X}Y)$$=X(\alpha (Y))-\alpha (\nabla _{X}Y)$

$\nabla _{X}\alpha$を成分表示すると、

$(\nabla _{X}\alpha )(Y)=X(\alpha (Y))-\alpha (\nabla _{X}Y)$$=X^{j}{\partial \over \partial x^{j}}(\alpha _{k}Y^{k})-\alpha _{i}\left(X^{j}{\partial Y^{i} \over \partial x^{j}}+X^{j}Y^{k}\Gamma _{jk}^{i}\right)$$=X^{j}{\partial \alpha _{k} \over \partial x^{j}}Y^{k}-\alpha _{i}X^{j}Y^{k}\Gamma _{jk}^{i}$$=\left(X^{j}{\partial \alpha _{k} \over \partial x^{j}}-\alpha _{i}X^{j}\Gamma _{jk}^{i}\right)dx^{k}(Y)$

(r,s)-テンソル場の共変微分

定義

より一般に、TをM上の(r,s)-テンソル場の共変微分はライプニッツ則により定義する。

定理・定義 ― TをM上の(r,s)-テンソル場とし、Tを写像

${\displaystyle T~:~(T^{*}M)^{r}\times ($TM)^{s}\to \mathbb {R} } $T~:~(T^{*}M)^{r}\times (TM)^{s}\to \mathbb {R}$
とみなす。このとき、M上の任意に1-形式$\alpha _{1},\ldots ,\alpha _{r}$$\alpha _{1},\ldots ,\alpha _{r}$とM上の任意のベクトル場$X,Y_{1},\ldots ,Y_{s}$$X,Y_{1},\ldots ,Y_{s}$に対し、

${\begin{aligned}(\nabla _{X}T)(\alpha _{1},\ldots ,\alpha _{r},Y_{1},\ldots ,Y_{s}):=&XT((\alpha _{1},\ldots ,\alpha _{r},Y_{1},\ldots ,Y_{s}))\\&-\sum _{i=1}^{r}T((\alpha _{1},\ldots ,\nabla _{X}\alpha _{i},\ldots ,\alpha _{r},Y_{1},\ldots ,Y_{s}))\\&-\sum _{j=1}^{s}T((\alpha _{1},\ldots ,\alpha _{r},Y_{1},\ldots ,\nabla _{X}Y_{j},\ldots ,Y_{s}))\end{aligned}}$${\begin{aligned}(\nabla _{X}T)(\alpha _{1},\ldots ,\alpha _{r},Y_{1},\ldots ,Y_{s}):=&XT((\alpha _{1},\ldots ,\alpha _{r},Y_{1},\ldots ,Y_{s}))\\&-\sum _{i=1}^{r}T((\alpha _{1},\ldots ,\nabla _{X}\alpha _{i},\ldots ,\alpha _{r},Y_{1},\ldots ,Y_{s}))\\&-\sum _{j=1}^{s}T((\alpha _{1},\ldots ,\alpha _{r},Y_{1},\ldots ,\nabla _{X}Y_{j},\ldots ,Y_{s}))\end{aligned}}$
を満たす(r,s)-テンソル場$\nabla _{X}T$$\nabla _{X}T$が存在する。$\nabla _{X}T$$\nabla _{X}T$をベクトル場XによるTの共変微分という。

また微分形式に関しては

$\bigwedge _{i}T^{*}M\subset \bigotimes _{i}T^{*}M$$\bigwedge _{i}T^{*}M\subset \bigotimes _{i}T^{*}M$
と見なすことによりテンソル積の共変微分を用いて微分形式の共変微分を定義できる。

具体例

M上の0-形式、すなわちM上の関数$f~:~M\to \mathbb {R}$$f~:~M\to \mathbb {R}$の共変微分は

$\nabla _{X}f=Xf$$\nabla _{X}f=Xf$
である。またαをk-形式とし、${\displaystyle c($t)} $c(t)$を${\tfrac {dc}{dt}}(0)=X_{c(0)}$${\tfrac {dc}{dt}}(0)=X_{c(0)}$を満たす曲線とすると、$\nabla _{X}\alpha$$\nabla _{X}\alpha$は通常の微分

${\displaystyle (\nabla _{X}\alpha )(Y_{1},\ldots ,Y_{k})|_{c(0)}={\frac {d}{dt}}(\alpha _{c($t)}(Y_{1}|_{c(t)},\ldots ,Y_{k}|_{c(t)}))} $(\nabla _{X}\alpha )(Y_{1},\ldots ,Y_{k})|_{c(0)}={\frac {d}{dt}}(\alpha _{c(t)}(Y_{1}|_{c(t)},\ldots ,Y_{k}|_{c(t)}))$
にほかならない。

二階共変微分

「二階共変微分」も参照

定義

TをM上の(r,s)-テンソル場とし、ベクトル場YにTの(r,s)-テンソル場としての共変微分∇_YTを対応させる写像を

$\nabla T$$\nabla T$
と書くと、$\nabla T$$\nabla T$は(r,s+1)-テンソル場とみなせる。同様にT'を(r,s+1)-テンソル場とし、ベクトル場XにTの(r,s+2)-テンソル場としての共変微分∇_YT'を対応させる写像を$\nabla T'$$\nabla T'$とする。(r,s)-テンソル場全体の集合を$\Gamma (r,s)$$\Gamma (r,s)$と書き、合成

$\Gamma (r,s){\overset {\nabla }{\to }}\Gamma (r,s+1){\overset {\nabla }{\to }}\Gamma (r,s+2)$$\Gamma (r,s){\overset {\nabla }{\to }}\Gamma (r,s+1){\overset {\nabla }{\to }}\Gamma (r,s+2)$
により定義される写像を

$\nabla ^{2}T$$\nabla ^{2}T$
と書き、$\nabla ^{2}T$$\nabla ^{2}T$をTの二階共変微分︵英: second covariant derivative︶という。三階以上の共変微分も同様に定義できる。




二階共変微分$\Gamma (r,s){\overset {\nabla }{\to }}\Gamma (r,s+1){\overset {\nabla }{\to }}\Gamma (r,s+2)$$\Gamma (r,s){\overset {\nabla }{\to }}\Gamma (r,s+1){\overset {\nabla }{\to }}\Gamma (r,s+2)$で1つ目に増えた引数にベクトル場Y、2つ目に増えた引数にベクトル場Xを代入した(r,s)-テンソル場を

$\nabla _{X,Y}^{2}T$$\nabla _{X,Y}^{2}T$
と書く。

性質

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

$\nabla _{X,Y}^{2}T=X^{i}Y^{j}\nabla _{\partial _{x^{i}},\partial _{x^{j}}}^{2}T$$\nabla _{X,Y}^{2}T=X^{i}Y^{j}\nabla _{\partial _{x^{i}},\partial _{x^{j}}}^{2}T$
を満たす。このことからも分かるように$\nabla _{X,Y}^{2}T$$\nabla _{X,Y}^{2}T$と$\nabla _{Y}(\nabla _{X}T)$$\nabla _{Y}(\nabla _{X}T)$は別の値であり、両者は

$\nabla _{X}(\nabla _{Y}T)=\nabla _{X,Y}^{2}T+\nabla _{\nabla _{X}Y}T$$\nabla _{X}(\nabla _{Y}T)=\nabla _{X,Y}^{2}T+\nabla _{\nabla _{X}Y}T$
という関係を満たす。

証明

Zの共変微分$\nabla Z$によって増えた引数にYを代入した値を$\nabla Z(Y)$と書くと、$\nabla Z(Y)=\nabla _{Y}Z$であり $\nabla _{X}\nabla _{Y}Z$$=\nabla _{X}(\nabla Z(Y))$$=(\nabla ^{2}Z)(X,Y)+(\nabla Z)(\nabla _{X}Y)$$=\nabla _{X,Y}^{2}Z+\nabla _{\nabla _{X}Y}Z$

規約

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

また、我々は文献に従い、「$\nabla _{X,Y}^{2}T$」という記号を使ったが、文献によっては「$\nabla _{X,Y}^{2}T$」の事を$\nabla _{X}\nabla _{Y}T$と書くものもある。この値はTに∇_Y、∇_Xを順に作用させた$\nabla _{X}(\nabla _{Y}T)$とは異なるので注意されたい。

リッチの公式

定理 (リッチの公式) ―  X、YをM上のベクトル場とし、f、Z、αをそれぞれM上の実数値関数、ベクトル場、1-形式とする。このとき以下が成立する：

• $\nabla _{X,Y}^{2}f-\nabla _{Y,X}^{2}f=0$
• $\nabla _{X,Y}^{2}Z-\nabla _{Y,X}^{2}Z=R(X,Y)Z$
• $(\nabla _{X,Y}^{2}\alpha -\nabla _{Y,X}^{2}\alpha )Z=-\alpha (R(X,Y)Z)$

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

$\nabla _{X,Y}^{2}\alpha -\nabla _{Y,X}^{2}\alpha =-R(X,Y)\lrcorner \alpha$$\nabla _{X,Y}^{2}\alpha -\nabla _{Y,X}^{2}\alpha =-R(X,Y)\lrcorner \alpha$
と書ける。


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

$\nabla _{X,Y}^{2}Z_{1}\otimes Z_{2}-\nabla _{Y,X}^{2}Z_{1}\otimes Z_{2}=(R(X,Y)Z_{1})\otimes Z_{2}+Z_{1}\otimes R(X,Y)Z_{2}$$\nabla _{X,Y}^{2}Z_{1}\otimes Z_{2}-\nabla _{Y,X}^{2}Z_{1}\otimes Z_{2}=(R(X,Y)Z_{1})\otimes Z_{2}+Z_{1}\otimes R(X,Y)Z_{2}$
であるし、$(1,1)$$(1,1)$-テンソルに対しては、下記のとおりである‥

$\nabla _{X,Y}^{2}Z\otimes \alpha -\nabla _{Y,X}^{2}Z\otimes \alpha =(R(X,Y)Z)\otimes \alpha -Z\otimes R(X,Y)\lrcorner \alpha$$\nabla _{X,Y}^{2}Z\otimes \alpha -\nabla _{Y,X}^{2}Z\otimes \alpha =(R(X,Y)Z)\otimes \alpha -Z\otimes R(X,Y)\lrcorner \alpha$

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

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

ホッジ作用素、余微分

詳細は「ホッジ双対」を参照

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

$\alpha \wedge \beta =\langle *\alpha ,\beta \rangle dV$$\alpha \wedge \beta =\langle *\alpha ,\beta \rangle dV$
が任意の$\beta \in \wedge ^{m-k}T^{*}M$$\beta \in \wedge ^{m-k}T^{*}M$に対して成立するような$*\alpha \in \wedge ^{m-k}T^{*}M$$*\alpha \in \wedge ^{m-k}T^{*}M$が存在する。$*\alpha$$*\alpha$をαのホッジ双対といい、αに$*\alpha$$*\alpha$を対応させる作用素﹁$*$$*$﹂をホッジ作用素という。


さらにαの余微分を

$\delta \alpha :=(-1)^{m(i+1)+1}*d*\alpha$$\delta \alpha :=(-1)^{m(i+1)+1}*d*\alpha$
により定義する。ここでdは外微分である。外微分および余微分はレヴィ-チヴィタ接続による共変微分と以下の関係を満たす‥

定理 ― $e_{1},\ldots ,e_{m}$をTMの局所的な正規直交基底とし、$\theta ^{1},\ldots ,\theta ^{m}$をその双対基底とする。このときM上の任意の微分形式αに対し、以下が成立する：

• $d\alpha =\theta ^{i}\wedge \nabla _{e_{i}}\alpha$
• $\delta \alpha =-\sum _{i}\iota _{e_{i}}\nabla _{e_{i}}\alpha$

ここで$\iota _{e_{i}}$はe_iによる内部積

$(\iota _{X}\alpha )(X_{1},\ldots ,X_{n-1}):=\alpha (X,X_{1},\ldots ,X_{n-1})$

である。

勾配

M上の関数$f~:~M\to \mathbb {R}$に対し、fの勾配を以下のように定義する。

定理・定義 ― 

$(df)^{\sharp }=(\nabla f)^{\sharp }=g^{ij}{\partial f \over \partial x^{i}}{\partial \over \partial x^{j}}$

が成立する。この値を$\mathrm {grad} f$と書き、fの勾配（英: gradient）という。

ここでdfはfの外微分であり、「${}^{\sharp }$」は計量gによるT^*MとTMの同型写像であり、$\nabla f$は関数の$(0,0)$-テンソルとみなしてテンソル場の共変微分$\nabla _{X}f=Xf$を考え、前節のように$\nabla f$を定義したものである。

発散

M上のベクトル場Xの発散を以下のように定義する：

定理・定義 ― 

$\delta X^{\flat }=-{1 \over {\sqrt {|\mathrm {det} g|}}}{\partial \over \partial x^{i}}({\sqrt {|\mathrm {det} g|}}X^{i})$$\delta X^{\flat }=-{1 \over {\sqrt {|\mathrm {det} g|}}}{\partial \over \partial x^{i}}({\sqrt {|\mathrm {det} g|}}X^{i})$
は

︵$Y\mapsto -\nabla _{Y}X$$Y\mapsto -\nabla _{Y}X$︶のトレース$=-{\partial X^{i} \over \partial x^{i}}-\sum _{j}\Gamma ^{i}{}_{ij}X_{j}$$=-{\partial X^{i} \over \partial x^{i}}-\sum _{j}\Gamma ^{i}{}_{ij}X_{j}$
と等しい。この値を$\mathrm {div} X$$\mathrm {div} X$と書き、Xの発散︵英: divergence︶という。

ここでδは余微分であり、﹁$\flat$$\flat$﹂は計量gによるTMとT^*Mの同型写像である。

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

ヘッシアン

M上の関数$f~:~M\to \mathbb {R}$$f~:~M\to \mathbb {R}$に対し、前節のように$\nabla f$$\nabla f$を定義すると、$\nabla f=df$$\nabla f=df$である。前節同様2階共変微分$\nabla _{X,Y}^{2}f$$\nabla _{X,Y}^{2}f$ を定義する。

定義・定理 ― 

$\nabla _{X,Y}^{2}f=(YX-\nabla _{Y}X)f=\left({\partial f \over \partial x^{i}\partial x^{j}}-{\partial f \over \partial x^{k}}\Gamma ^{k}{}_{ij}\right)X^{i}Y^{j}$

が成立する。$\nabla _{X,Y}^{2}f$をfのヘッシアン（英: Hessian）という。

ヘッシアンは

$\nabla _{X,Y}^{2}f=\nabla _{Y,X}^{2}f$

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

ラプラシアン

「微分幾何学におけるラプラス作用素」も参照

リーマン多様体上の関数fのラプラシアンを以下のように定義する：

定義 ―  M上の関数$f~:~M\to \mathbb {R}$$f~:~M\to \mathbb {R}$に対し、

$\Delta f:=\mathrm {div} ~\mathrm {grad} f=\delta df=-\mathrm {tr} (\nabla ^{2}f)=-{1 \over {\sqrt {|\mathrm {det} g|}}}{\partial \over \partial x^{i}}({\sqrt {|\mathrm {det} g|}}g^{ij}{\partial f \over \partial x^{j}})$$\Delta f:=\mathrm {div} ~\mathrm {grad} f=\delta df=-\mathrm {tr} (\nabla ^{2}f)=-{1 \over {\sqrt {|\mathrm {det} g|}}}{\partial \over \partial x^{i}}({\sqrt {|\mathrm {det} g|}}g^{ij}{\partial f \over \partial x^{j}})$
と定義し、Δをラプラス＝ベルトラミ作用素︵英: Laplace–Beltrami operator︶、あるいは単にラプラシアンという。

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

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

ホッジ・ラプラシアン

関数fに対するラプラシアンが$\Delta f=\delta df$と書けていた事に着目し、微分形式αに対し、以下のようにラプラシアンを定義する：

定義 ― 　

$\Delta ^{H}\alpha :=(d+\delta )^{2}\alpha =(d\delta +\delta d)\alpha$

αのホッジ・ラプラシアン（英: Hodge Laplacian）という。

なお、2つ目の等号は$dd=\delta \delta =0$$dd=\delta \delta =0$を使った。αが0次の微分形式、すなわちM上の関数の場合は$d\delta \alpha =0$$d\delta \alpha =0$なので、関数の場合に対するホッジ・ラプラシアンはラプラス・ベルトラミ作用素に一致する。

ボホナー・ラプラシアン

関数fに対するラプラシアンが$-\mathrm {tr} (\nabla ^{2}f)$$-\mathrm {tr} (\nabla ^{2}f)$と書けることに着目し、微分形式αのもう一つのラプラシアンを以下のように定義する‥

定義 ― 　

$\Delta ^{B}\alpha :=-\mathrm {tr} \nabla ^{2}\alpha =-\sum _{i}\nabla _{e_{i},e_{i}}^{2}\alpha$

をαのボホナー・ラプラシアン(英: Bochner Laplacian)、もしくはラフ・ラプラシアン（英: rough Raplacian）という。

ここで$e_{1},\ldots ,e_{n}$$e_{1},\ldots ,e_{n}$は接ベクトル空間の局所的な正規直交基底である。$E:=\wedge ^{k}T^{*}M$$E:=\wedge ^{k}T^{*}M$とするとき、余ベクトル空間の内積$g~:~T^{*}M\times T^{*}M\to \mathbb {R}$$g~:~T^{*}M\times T^{*}M\to \mathbb {R}$が誘導する写像$g~:~T^{*}M\otimes T^{*}M\to \mathbb {R}$$g~:~T^{*}M\otimes T^{*}M\to \mathbb {R}$を考え、合成

${\displaystyle \Gamma (T^{*}M\otimes E){\overset {\nabla }{\to }}\Gamma (T^{*}M\otimes T^{*}M\otimes E){\overset {g}{\to }}\Gamma ($E){\overset {\times (-1)}{\to }}\Gamma (E)} $\Gamma (T^{*}M\otimes E){\overset {\nabla }{\to }}\Gamma (T^{*}M\otimes T^{*}M\otimes E){\overset {g}{\to }}\Gamma (E){\overset {\times (-1)}{\to }}\Gamma (E)$
$\nabla ^{*}$$\nabla ^{*}$と書く。ここで${\displaystyle \Gamma ($E)} $\Gamma (E)$はEに値を取るテンソル場の集合である。すると

$\Delta ^{B}\alpha :=\nabla ^{*}\nabla \alpha$$\Delta ^{B}\alpha :=\nabla ^{*}\nabla \alpha$
が成立する。

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

詳細は「:en:Weitzenböck identity」を参照

２つのラプラシアンは以下の関係を満たす：

定理 ― $e_{1},\ldots ,e_{m}$をTMの局所的な正規直交基底とし、$\theta ^{1},\ldots ,\theta ^{m}$をその双対基底とし、さらにαをM上定義された微分形式とする。このとき以下が成立する：

$\Delta ^{H}\alpha =\Delta ^{B}\alpha +\sum _{i,j}\theta ^{i}\wedge \iota _{e_{j}}R(e_{i},e_{j})\lrcorner \alpha$

ここでRは曲率テンソルであり、$(\iota _{e_{j}}R(e_{i},e_{j})\lrcorner \alpha )(X_{1},\ldots ,X_{n-1})=\alpha (R(e_{i},e_{j})e_{j},X_{1},\ldots ,X_{n-1})$$(\iota _{e_{j}}R(e_{i},e_{j})\lrcorner \alpha )(X_{1},\ldots ,X_{n-1})=\alpha (R(e_{i},e_{j})e_{j},X_{1},\ldots ,X_{n-1})$である。


上記の公式をヴァイツェンベック・ボホナーの公式︵英: Weitzenböck–Bochner formula︶あるいはヴァイツェンベックの公式︵英: Weitzenböck formula︶という。

特にαが1-形式であれば、以下が成立する‥

$\Delta ^{H}\alpha -\Delta ^{B}\alpha =\mathrm {Ric} (\alpha )$$\Delta ^{H}\alpha -\Delta ^{B}\alpha =\mathrm {Ric} (\alpha )$
ここで$\mathrm {Ric} (\alpha )$$\mathrm {Ric} (\alpha )$はリッチ曲率$\mathrm {Ric} (X,Y)$$\mathrm {Ric} (X,Y)$を使って

${\displaystyle \mathrm {Ric} (\alpha )($X)=\mathrm {Ric} (X,\alpha ^{\sharp })} $\mathrm {Ric} (\alpha )(X)=\mathrm {Ric} (X,\alpha ^{\sharp })$
により定義される1-形式であり、﹁$\sharp$$\sharp$﹂は計量gによるT^*MとTMの同型写像である。

擬リーマン多様体のレヴィ-チヴィタ接続

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

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

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

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

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

歴史

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

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

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

注

注釈

文献

参考文献

●Ben Andrews. “Lectures on Differential Geometry”.  Australian National University. 2022年12月28日閲覧。

●Loring W. Tu (2017/6/15). Differential Geometry: Connections, Curvature, and Characteristic Classes. Graduate Texts in Mathematics. 275. Springer. ISBN 978-3319550824 

●新井朝雄﹃相対性理論の数理﹄日本評論社、2021年6月22日。ISBN 978-4535789289。 

●小林昭七﹃接続の微分幾何とゲージ理論﹄裳華房、1989年5月15日。ISBN 978-4785310585。 

●Michael Spivak. A Comprehensive Introduction to Differential Geometry. VOLUME TWO (Second Edition ed.). Publish or Perish, Incorporated. ISBN 978-0914098805 

●Marcel Berger (2003/6/15). A Panoramic View of Riemannian Geometry. Springer. ISBN 978-3540653172 

●John M. Lee (1997/9/23). Riemannean Manifolds An introduction to curvature.. Graduate Texts in Mathematics. 176. Springer. ISBN 978-0387983226 

●佐々木重夫﹃微分幾何学Ⅰ﹄ 13巻、岩波出版︿岩波講座 基礎数学﹀、1977年8月。 

●Victor V. Prasolov Olga Sipacheva訳 (2022/2/11). Differential Geometry. Moscow Lectures. 8. Springer. ISBN 978-3030922481 

●Raffaele Rani. “On Parallel Transport and Curvature”. 2023年1月13日閲覧。

●Manfredo P. do Carmo Francis Flaherty訳 (1994/2/24). Riemannian Geometry. Mathematics: Theory & Applications. Birkhauser Boston. ISBN 978-0817634902 

●Boothby, William M. (1986). An introduction to differentiable manifolds and Riemannian geometry. Academic Press. ISBN 0-12-116052-1 

●Shishichi Kobayashi; Katsumi Nomizu (2009). Foundations of Differential Geometry Volume I. Wiley Classics Library. Wiley. ISBN 978-0-471-15733-5. Zbl 0119.37502 

●Jeff A. Viaclovsky. “Math 865, Topics in Riemannian Geometry”.  カリフォルニア大学アーバイン校. 2023年10月31日閲覧。

●Thomas H Parker. “Geometry Primer”.  Michigan State University. 2023年10月31日閲覧。

●Jean Gallier, Jocelyn Quaintance (2020/8/18). Differential Geometry and Lie Groups A Second Course. Geometry and Computing. 13. Springer. ISBN 978-3-030-46047-1 

●Michael E. Taylor. “Differential Geometry”.  University. of North Carolina. 2023年11月1日閲覧。

●John M. Lee (1997/9/23). Riemannean Manifolds An introduction to curvature.. Graduate Texts in Mathematics. 176. Springer. ISBN 978-0387983226 

●佐々木重夫﹃微分幾何学Ⅰ﹄ 13巻、岩波出版︿岩波講座 基礎数学﹀、1977年8月。 

●Zuoqin Wang (王作勤). “黎曼几何︵英︶”.  中国科学技術大学. 2023年12月11日閲覧。
●Zuoqin Wang (王作勤). “LECTURE 25: THE HODGE LAPLACIAN”.  中国科学技術大学. 2023年12月11日閲覧。

●Zuoqin Wang (王作勤). “LECTURE 27: THE BOCHNER TECHNIQUE”.  中国科学技術大学. 2023年12月11日閲覧。

歴史的な文献

●Christoffel, Elwin Bruno (1869), “Über die Transformation der homogenen Differentialausdrücke zweiten Grades”, J. für die Reine und Angew. Math. 70: 46–70 

●Levi-Civita, Tullio (1917), “Nozione di parallelismo in una varietà qualunque e consequente specificazione geometrica della curvatura Riemanniana”, Rend. Circ. Mat. Palermo 42: 73–205 

関連項目

●部分リーマン多様体の接続と曲率

●ヴァイセンボック接続(Weitzenböck connection)

外部リンク

●Hazewinkel, Michiel, ed. (2001), “Levi-Civita connection”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Levi-Civita_connection 

●MathWorld: Levi-Civita Connection

●PlanetMath: Levi-Civita Connection

●Levi-Civita connection at the Manifold Atlas