レヴィ・チヴィタ接続

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

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

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

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

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

 モチベーション 
 をの部分多様体、を上の曲線、さらにを上定義された のベクトル場（すなわち各時刻に対し、はを満たす）とし、

 

と定義する。ここではの点における内の接平面（と自然に同一視可能な ）への射影である。また、を上のベクトル場とするとき、

 

と定義する。ここでは時刻に点を通るの積分曲線である。実はこれらの量はの内在的な量である事、すなわちからに誘導されるリーマン計量（とその偏微分）のみから計算できる事が知られている。具体的には以下の通りである：ここでであり、はの逆行列である。すなわちをクロネッカーのデルタとするとき、である。

同様に、とすると、以下が成立する：

 定義と特徴づけ 
前節で述べたようにやはに内在的な量なので、一般のリーマン多様体に対しても、()、()、()式をもってこれらの量を定義できる：

レヴィ-チヴィタ接続の定義は()、()、()式に登場する局所座標に依存しているが、局所座標によらずwell-definedである事を証明できる。

レヴィ・チヴィタ接続の事をリーマン接続（）もしくはリーマン・レヴィ-チヴィタ接続（）とも呼ぶ。

レヴィ-チヴィタ接続を局所座標で表したとき、()式で定義されるを局所座標に関するクリストッフェル記号という。

リーマン幾何学の基本定理
レヴィ-チヴィタ接続は以下の性質により特徴づけられる：ここで、、は上の任意の可微分なベクトル場であり、、は上定義された任意の実数値級関数であり、、は任意の実数であり、は点においてとなるベクトル場であり、はの方向微分であり、はである。すなわち、
 

条件1のように、任意の級関数に対して線形性が成り立つことを-線形であるという。一般に-線形な汎関数は、一点の値のみでその値が決まる事が知られている。例えばレヴィ-チヴィタ接続の場合、点におけるの値はのみに依存し以外の点におけるの値には依存しない。

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

 

とも書ける。

Koszulの公式

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

 略記法 

文章の前後関係から局所座標が分かるときはの事を
、
等と略記し、の事を
 、
と略記する。さらにをの成分表示

により定義する。一方、関数の偏微分は
 
と「,」をつけて略記する。したがってとすれば、
 

が成立する。

なお、
 
はの番目の係数ではなく、後述する二階共変微分の番目の係数を意味するので注意されたい。

 平行移動 

 定義 
リーマン多様体上の曲線上定義された上のベクトル場が

 

を恒等的に満たすとき、は上平行であるという。また、上の接ベクトルと上の接ベクトルに対し、、を満たす上の平行なベクトル場が存在するとき、はをに沿って平行移動（ ）した接ベクトルであるという。

ユークリッド空間の平行移動と異なる点として、どの経路に沿って平行移動したかによって結果が異なる事があげられる。この現象を（）という。

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

 性質 
に沿ってをまで平行移動したベクトルをとするとは線形変換であり、しかも計量を保つ。すなわち以下が成立する：

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

 ホロノミー群 
とくに点から自身までの上の閉曲線に沿って一周する場合、接ベクトルを平行移動した元をと書くことにすると、
 はから自身までの区分的になめらかな閉曲線
は（合成関数で積を定義するとき）上の直交群の（閉とは限らない）部分リー群になる。をレヴィ-チヴィタ接続に関する（）という。が弧状連結であればは点によらず同型である。

 幾何学的意味づけ 

をユークリッド空間の次元部分多様体とし、上に曲線を取り（図の青の線）、に沿ってを次元平面上「滑ったり」「ねじれたり」することなく転がしたときにできる曲線の軌跡をとする（図の紫の線）。

を転がすと、時刻にがに接した瞬間にがに重なるので、自然に写像

 

が定義できる。この写像を使うと、のレヴィ・チヴィタ接続の幾何学的意味を述べることができる：すなわち、曲線に沿ったの共変微分をに移したものは、をに移したものを通常の意味で微分したものに一致する。この事実から特に、レヴィ-チヴィタ接続による平行移動とにおける通常の意味での平行移動の関係を示すことができる：

 接続形式 
を接バンドルの局所的な基底とし、、を上のベクトル場とし、とすると、レヴィ-チヴィタ接続の定義から

 

である。この式は、共変微分にライプニッツ則を適用して成分部分の微分と基底部分の微分の和として表現したものと解釈できる。

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

定義から明らかに

 

が成立する。

接続概念において重要な役割を果たす平行移動の概念は接続形式と強く関係しており、底空間の曲線に沿って定義された局所的な基底をで微分したものが接続形式に一致する。

よって特に（レヴィ・チヴィタ接続などの）がの計量と両立する接続の場合、による平行移動は回転変換、すなわちの元なので、その微分である接続形式はのリー代数の元、すなわち歪対称行列である：

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

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

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

 測地線 

 定義 
リーマン多様体上の曲線で測地線方程式

 

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

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

 

をにおけるの測地線曲率（）、あるいは単に曲率（）という。よって測地線は、曲率がの曲線と言い換える事ができる。

 存在性と一意性 
常微分方程式の局所的な解の存在一意性から、点における接ベクトルに対し、あるが存在し、
 、

を満たす測地線が上で一意に存在する。この測地線を

 

と書く。

しかし測地線は任意の長さに延長できるとは限らない。たとえば（に通常のユークリッド空間としての計量を入れた空間）において、測地線はまでしか延長できない。任意の測地線がいくらでも延長できるとき、リーマン多様体は測地線完備であるという。

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

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

 弧長の停留曲線 
このことを示すため、いくつか記号を導入する。をリーマン多様体とし、を上のレヴィ-チヴィタ接続とする。 をの局所座標とする。以下、上でのみ議論する。議論を簡単にするため、をの部分集合と同一視する。

上の滑らかな曲線を考え、この曲線の座標表示を、とする。さらに を滑らかな写像でとなるものとし、に対して曲線

 

を考える。ここで和や定数倍は、をの元と見たときの和や定数倍である。

そして、

 

と定義し弧長積分

 

を考える。「停留曲線」は直観的には滑らかな曲線全体の空間での「微分」がになるという事である。

変分法の一般論から次が成立する：曲線の弧長

 

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

 エネルギーの停留曲線 
上では測地線が

 
 

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

 

から得られる

 

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

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

 正規座標 
測地線の局所的存在性から、点における接ベクトル空間の原点の近傍の任意の元に対し、測地線が存在する。必要ならを小さく取り直す事で写像
 

が中への同型になるようにする事ができる。ベクトル空間の開集合からへの中への同型なので、をの点の周りの局所座標と見なす事ができる。この局所座標をの点における（）という。

において、の方向の方向微分は
 
である。正規座標において、共変微分は方向微分と一致する：

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

 曲率 

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

 

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

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

ズレを測るため、クリストッフェル記号が全てであれば、

 

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

 

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

 

と定義すると、はが「平たい」ときには恒等的にゼロになり、この意味においてはの「曲がり具合」を表している考えられる。

 定義と性質 

 定義 
上のベクトル場、、に対し、

 

と定義し、をに関する曲率（）もしくは曲率テンソル（）という。ここではである。
は、、のいずれに関しても-線形である事が知られており、したがって、各に対し、

 

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

 規約 
一部の文献では符号を反転したを曲率と呼んでいるので注意されたい。

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

 性質 

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

ここではが3つの接ベクトル、、を引数にとって1つの接ベクトルを返す事から、をテンソル積の元とみなしたときの共変微分である。テンソル積に対する共変微分の定義は後述する。

 成分表示 
曲率はクリストッフェル記号を用いて以下のように表すことができる：
以下のようにも成分表示できる：

ここでは下記のKulkarni–Nomizu積である：
 

 特徴づけ 
点を原点とする正規座標を使うと曲率は以下のように特徴づけられる：ここでである。

また、

 

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

 、

とし、、に沿った平行移動を

 、

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

 断面曲率、リッチ曲率、スカラー曲率 
をリーマン多様体のレヴィ-チヴィタ接続とし、をの点とし、とし、さらにをの基底とする。なお、書籍によっては本項のリッチ曲率、スカラー曲率をそれぞれ倍、倍したものをリッチ曲率、スカラー曲率と呼んでいるものもあるので注意されたい。 また断面曲率はという記号で表記する文献も多いが、後述するガウス曲率と区別するため、本稿ではという表記を採用した。

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

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

次元リーマン多様体が別のリーマン多様体の余次元の部分リーマン多様体、すなわち、の場合は、以下が成立する：ここでは点における主方向でを対応する主曲率であり、はのにおける断面曲率であり、はのにおける断面曲率である。

よって特にが2次元リーマン多様体でがの場合はの断面曲率はガウス曲率に一致する（Theorema Egregium）。

 定曲率空間 
定曲率空間では曲率が下記のように書ける：上記の定理より、必要ならリーマン計量を倍する事で、任意の定曲率空間は、曲率が、、もしくはの定曲率空間と「相似」である事がわかる。

曲率が、、の定曲率空間については以下の事実が知られている：よって被覆空間の一般論から以下の系が従う：

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

 1-形式の共変微分 
はリーマン多様体なので、の接ベクトル空間と余接ベクトル空間は自然に同一視できる。この同型写像を
 

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

ここでは上のベクトル場である。すると上のベクトル場に対しライプニッツ則
 
が成り立ち、局所座標で書けば、
 

 -テンソル場の共変微分 

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

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

 具体例 
上の-形式、すなわち上の関数の共変微分は
 
である。またを-形式とし、をを満たす曲線とすると、は通常の微分
 
にほかならない。

 二階共変微分 

 定義 
を上の-テンソル場とし、ベクトル場にの-テンソル場としての共変微分を対応させる写像を
 
と書くと、は-テンソル場とみなせる。同様にを-テンソル場とし、ベクトル場にの-テンソル場としての共変微分を対応させる写像をとする。-テンソル場全体の集合をと書き、合成
 
により定義される写像を
 
と書き、をの二階共変微分（）という。三階以上の共変微分も同様に定義できる。

二階共変微分で１つ目に増えた引数にベクトル場、２つ目に増えた引数にベクトル場を代入した-テンソル場を
 
と書く。

 性質 
定義から明らかなようには双線形性
 
を満たす。このことからも分かるようにとは別の値であり、両者は
 
という関係を満たす。

 規約 
の２つの微分で増えた２つの引数のうちどちらにを入れ、どちらにを入れるかは文献によって異なる。本項では文献に従い、先に増えた引数に、後から増えた引数にを入れたが、文献では逆に先に増えた引数にを入れている。

また、我々は文献に従い、「」という記号を使ったが、文献によっては「」の事をと書くものもある。この値はに、を順に作用させたとは異なるので注意されたい。

 リッチの公式 

なお、と定義すれば、最後の式は
 
と書ける。

一般の-テンソルの場合の公式は上記の公式にライプニッツ則を適用する事で得られる。例えば-テンソルに対しては、
 
であるし、-テンソルに対しては、下記のとおりである：
 

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

 ホッジ作用素、余微分 

リーマン多様体上のベクトル解析を展開するための準備としてホッジ作用素と余微分を定義する。をの次元とする。が向き付け可能なとき、上にリーマン計量から定まる体積形式をとする。を微分形式とするとき
 
が任意のに対して成立するようなが存在する。をのホッジ双対といい、にを対応させる作用素「」をホッジ作用素という。

さらにの余微分を
 
により定義する。ここでは外微分である。外微分および余微分はレヴィ-チヴィタ接続による共変微分と以下の関係を満たす：
ここではによる
 
である。

 勾配 
上の関数に対し、fの勾配を以下のように定義する。

ここではの外微分であり、「」は計量によるとの同型写像であり、は関数の-テンソルとみなしてテンソル場の共変微分を考え、前節のようにを定義したものである。

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

ここでは余微分であり、「」は計量によるとの同型写像である。

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

 ヘッシアン 
上の関数に対し、前節のようにを定義すると、である。前節同様2階共変微分
を定義する。

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

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

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

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

 ホッジ・ラプラシアン 
関数に対するラプラシアンがと書けていた事に着目し、微分形式に対し、以下のようにラプラシアンを定義する：

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

 ボホナー・ラプラシアン 

関数に対するラプラシアンがと書けることに着目し、微分形式のもう一つのラプラシアンを以下のように定義する：

ここでは接ベクトル空間の局所的な正規直交基底である。とするとき、余ベクトル空間の内積が誘導する写像を考え、合成
 
と書く。ここではに値を取るテンソル場の集合である。すると
 
が成立する。

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

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

ここでは曲率テンソルであり、である。

上記の公式をヴァイツェンベック・ボホナーの公式（）あるいはヴァイツェンベックの公式（）という。

特にが1-形式であれば、以下が成立する：
 
ここではリッチ曲率を使って
 
により定義される1-形式であり、「」は計量によるとの同型写像である。

 擬リーマン多様体のレヴィ-チヴィタ接続 
最後に一般相対性理論で重要な擬リーマン多様体のレヴィ-チヴィタ接続について述べる。ここで擬リーマン多様体とはリーマン多様体と同様、各点に対してに関してなめらかで非退化な二次形式を対応させるが、に正定値性を要求しないものである。このようなを擬リーマン計量という。

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

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

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

また擬リーマン多様体ではが定義できるとは限らないので、測地線を長さの停留場曲線として特徴づける事はできない。しかしエネルギーは擬リーマン多様体でも定義でき、測地線をエネルギーの停留曲線として特徴づけられる。一般相対性理論においては、これはエネルギーを極小にする曲線が自由落下の軌道である事を意味する。

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

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

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