レヴィ・チヴィタ接続

レヴィ・チヴィタ接続（レヴィ・チヴィタせつぞく、Levi-Civita connection）とは、リーマン幾何学における概念の1つで、多様体の接束上の捩れのない(metric connection)である。つまり、与えられた（擬）リーマン計量を保つ接束上の捩れのない接続（アフィン接続）のこと。これらの条件を満たす接続はリーマン幾何学の基本定理により唯一つ存在する。
概要.
リーマン多様体や擬リーマン多様体の理論では、レヴィ・チヴィタ接続ではなく共変微分という用語を使うことが多い。局所座標系に関する接続の成分はクリストッフェル記号と呼ばれる。
歴史.
レヴィ・チヴィタ接続は、トゥーリオ・レヴィ＝チヴィタ(Tullio Levi-Civita)の名前に因んでいるが、エルヴィン・クリストッフェル(Elwin Bruno Christoffel)によりそれ以前に"発見"されていた。レヴィ・チヴィタは、 (Gregorio Ricci-Curbastro)とともに、クリストッフェルの記号 を用いて平行移動の概念を定義し、平行移動と曲率との関係を研究した。それによっての現代的概念を開発した。
レヴィ・チヴィタによる曲線に沿ったベクトルの平行移動や内在的微分という概念は、元々formula_1
という特別な埋め込みに対して考えられた。しかし、実際にはそれらは抽象的なリーマン多様体にたいしても意味をなす概念である。何故ならば、クリストッフェルの記号は任意のリーマン多様体上で意味を持つからである。
1869年、クリストッフェルは、ベクトルの内在的微分の各成分は反変ベクトルと同様な変換にしたがうことを発見した。この発見はテンソル解析の真の始まりである。1917年になって初めて、レヴィ・チヴィタによって、アフィン空間に埋め込まれた曲面の内在的微分が、周囲のアフィン空間での通常の微分の接方向成分として解釈された。
記法.
計量 は引数として、2つのベクトル、もしくはベクトル場 を持つことができる。ベクトルの場合、出力は と の（擬）内積という数値である。ベクトル場の場合は、 は多様体の全ての点 で取られるので、 は 上の滑らかな函数を定義する。ベクトル場は、滑らかな函数に対し微分作用素として作用する。基底をとると、作用は、
であることが分かる。ここにアインシュタインの縮約記法を使った。
公式な定義.
アフィン接続 は、次の条件が成立するときレヴィ・チヴィタ接続と呼ばれる。
上の条件 1 は、(compatibility with the metric)と呼ばれ、条件 2 は対称性と呼ばれることがある。DoCarmoの教科書を参照。
レヴィ・チヴィタ接続が存在すると、一意的に決定される。条件 1 を使い、計量テンソル の対称性を使い、
を得る。
条件 2 により、右辺は、
に等しいので、
であることが分かる。
 は任意であるので、 は一意に決定される。逆に、 が一意に決定されていると、そのように定義された表現は、計量と整合性を持つ接続、つまり、レヴィ・チヴィタ接続である。
クリストッフェルの記号.
∇ をリーマン計量の接続とする。局所座標 formula_6 を選び、formula_7 をこれらの座標についてのクリストッフェル記号とする。条件 2 の捩れがないということは、従って、対称性
に同値である。上で導いたレヴィ・チヴィタ接続の定義は、クリストッフェルの記号の定義に同値であることが、計量のことばでは、:formula_9
であることから分かる。ここに通常通り、formula_10 は双対計量テンソルの係数、つまり、行列 formula_11 の逆行列の要素を持つ行列である。
曲線に沿った微分.
レヴィ・チヴィタ接続は（アフィン接続に似ていて）、曲線に沿った微分も定義し、これを D によって表すことがある。
(M,g) に滑らかな曲線 γ が与えられ、γ に沿ったベクトル場 V が与えられると、V の微分は、
により定義することができる。（公式には、D は(pullback bundle) γ*TM 上の(pullback connection)である。
特に、formula_13 は曲線 γ 自身に沿ったベクトル場である。formula_14 が 0 となるとき、曲線を共変微分の測地線と呼ばれる。共変微分がある計量のレヴィ・チヴィタ接続であれば、接続の測地線は、正確にそれらの弧の長さに比例するパラメータである計量の測地線である。
平行移動.
一般に、接続の観点から曲線に沿った平行移動は、曲線上の点での接空間の間の同型を定義する。接続がレヴィ・チヴィタ接続であれば、これらの同型は直交(orthogonal)、すなわち、様々な接空間上で内積を保つ。
例：R3 内の単位球面.
formula_15 を R3 上のスカラー積とし、S2 を R3 内の単位球面とする。点 m での S2 への接空間は、自然に m で直交する全てのベクトルからなる R3 の部分ベクトル空間と自然に同一視される。このことから、S2 上のベクトル場 Y は、写像 Y: S2 → R3 と見ることができ、
を満たす。
このような写像の微分を dY により表すと、
補題： 公式
は、S2 上の捩れが 0 であるアフィン接続を定義する。
証明： ∇ がライプニッツ則を満たし、第一変数について、C∞(S2) 線型であることは、直接証明することができる。また、計算により、この接続の捩れが 0 であることを直接示すことができる。従って、これらにより、上の公式は一つのベクトル場を定義し、全ての m に対して、S2 内で
が成り立つことが証明できる。
次の写像を考える。
写像 f は定数であるので、この微分は 0 である。特に、
である、このことは、上の式 (1) より従う。formula_21
実際、この接続は R3 から引き継いだ S2 上の計量についてのレヴィ・チヴィタ接続である。この接続は計量を保存することを検証することができる。