平行移動 (リーマン幾何学)

幾何学において、**平行移動**(parallel transport)とは、多様体上の滑らかな曲線に沿って幾何学的なデータを移動する方法である。
## 概要

多様体が アフィン接続を備えている(あるいは　接束上に共変微分か接続 が定まっている場合)、この接続を使用すると、接続に対する平行性を維持できるように、曲線に沿って、多様体に”生えた”ベクトルを移動できる。したがって、接続が定める平行移動は、ある意味では、「曲線に沿って多様体の局所的なジオメトリを移動する方法」、つまり、近くの点同士のジオメトリを関連付ける(「接続」(connect)する)方法を提供する。

意味を成す「平行移動」の特徴はいろいろとあり得るが、一つの特徴 —つまり、曲線上の点達のgeometries を関連づける（connectingする、接続する）—接続を定めることに相当する。実際、通常の意味での接続の概念は、平行移動の無限小近似である。また逆に、平行移動を定めることは接続の局所的な実現である。

平行移動は、接続の局所的な実現を提供するので、として知られている曲率の局所的な実現も提供する。 Ambrose–Singer theoremは曲率とホロノミーの間のこの関係を明示的に行う。

接続の他の特徴としては、固有の平行移動システムを備えることである。例えば、
ベクトル束のKoszul接続では、共変微分の場合と同じ方法で平行移動を定めることができる。
エーレスマン接続やカルタン接続は、多様体から 主束の全空間に対する「曲線の持ち上げ」を定める。このような「曲線の持ち上げ」は、基準系の平行移動と考えられることがある。

## ベクトル束上の平行移動
*M*は滑らかな多様体、*E*&rarr;*M*は ベクトル束であり、
このベクトル束*E*は、共変微分 &nabla;を備える。
また、*&gamma;*: *I*&rarr;*M* 
は、開区間 *I*によって径数づけられた滑らかな曲線である。

Xがベクトル束*E*の、曲線*&gamma;*に沿った切断であるとする。
このとき、Xが、以下を満たせば「Xは曲線*&gamma;*に沿って平行」と言われる。
:\nabla_{\dot\gamma(t)}X=0\text{ for }t \in I.\,

点*P* = *&gamma;*(0) &isin; *M*において、ベクトル
*e*0 &isin; *E**P* 
が与えられたとする。

大まかに言えば、「*e*0 の *&gamma;*に沿った平行移動」とは、
*e*0を、曲線*&gamma;*に沿って平行な切断*X* によって
延長したものである。

正確には、点*P* = *&gamma;*(0) &isin; *M*において、
ベクトル*e*0 &isin; *E**P* 
が与えられたとき、以下を充たすような「曲線*&gamma;*に沿った断面」、
*X*は、ただ一つだけ存在する。
*(1). \nabla_{\dot\gamma} X = 0 
*(2) . X_{\gamma(0)} = e_0.

実際、任意の局所座標系において、上記の(1)は常微分方程式として書き表すことができ、(2)は、その初期条件である。 従って、ピカール・リンデレフの定理(常微分方程式の解の存在と一意性の定理)により、解の存在と一意性が保証される。

したがって、接続&nabla;が定まれば、ファイバーの要素（即ちベクトル）を曲線に沿って移動させる方法が定まり、これは曲線上の任意の点の上のファイバーの間に線形同型を定める。

:\Gamma(\gamma)_s^t : E_{\gamma(s)} \rightarrow E_{\gamma(t)}

即ち、任意のs,t \in Iに対しE_{\gamma(s)} (点&gamma;(*s*)上のファイバー)と、E_{\gamma(t)} (点&gamma;(*t*)上のファイバー)は共に線形空間であるが、
\Gamma(\gamma)_s^tは、E_{\gamma(s)} とE_{\gamma(t)} との間の線型同型である。

この線形同型のことを、「曲線&gamma;に沿う平行移動」という。
この方法で得られたファイバー間の線型同型は、一般には、曲線の選択に依存する：仮にそうでなかった場合には、任意曲線に沿った平行移動を使用して、*M*のすべての点上に*E*の平行セクションを定義出来てしまうので、&nabla;の曲率は0でなければならない。

M上の *x* を起点とした閉曲線による平行移動を用いれば、確かに*x* の接ベクトル空間に自己同型を定めることが可能だが、これは必ずしも自明な線型同型とは限らないことに特に注意すべきである。
「*x* を起点とした閉曲線に沿った平行移動によって定まる自己同型」から成る集合は、
&nabla; の  と呼ばれる を形成する。この群と、 &nabla; の曲率の値との間には密接な関係がある。これは、Ambrose–Singer theoremの一部である。

### 平行移動からの接続の復元
共変微分∇が与えられると、任意の滑らかな曲線&gamma;に対して、「&gamma; に沿って平行」という概念が
\scriptstyle{\nabla_{\dot{\gamma}}=0}によって定まり、「&gamma;に沿った平行移動」も定まった。では逆に、適切な平行移動が定まった場合に、平行移動から接続定めることが出来るのだろうか？
このアプローチは、本質的にに準拠している;  と、  も参照のこと。

多様体上の任意の曲線&gamma;それぞれ対して、
:\Gamma(\gamma)_s^t : E_{\gamma(s)} \rightarrow E_{\gamma(t)}
が定まり、以下を充たしているものとする。
# \Gamma(\gamma)_s^s = Id, これは*E*&gamma;(s)の恒等変換である。
# \Gamma(\gamma)_u^t\circ\Gamma(\gamma)_s^u = \Gamma(\gamma)_s^t.
# \Gamma(\gamma)_s^tは*s*と *t* に対して滑らかであり、&gamma;に対しても滑らかである。 

上記3において、「滑らか」という概念がでてくるが、これを噛み砕くのはやや難しい。

小林や野水などの現代的な書物の著者は、概して、「滑らかさ」がより容易に表現される他の意味での接続から来ているとして、接続の平行移動を見ている。それにもかかわらず、平行移動においてこのような規則を考えると、*E*における接続を以下のように「復元」することが可能である。

&gamma;は*M*上の微分可能な曲線であり、その初期値は&gamma;(0)で、接ベクトルの初期条件は
*X* = &gamma;&prime;(0)であるものとする。*V* は、ベクトル束*E*の、曲線*&gamma;*に沿った切断であるとしたとき、

:\nabla_X V := \lim_{h\to 0}\frac{\Gamma(\gamma)_h^0V_{\gamma(h)} - V_{\gamma(0)}}{h} = \left.\frac{d}{dt}\Gamma(\gamma)_t^0V_{\gamma(t)}\right|_{t=0}.

は、関連するinfinitesimal connection &nabla; を、 *E*上に定める。
我々は、このinfinitesimal connectionから、同じ平行移動&Gamma; を復元出来る。

### 特殊なケース: 接バンドル
滑らかな多様体*M* を考える。 *M* の接バンドル の接続はアフィン接続と呼ばれ
(アフィン)測地線 と呼ばれる曲線のクラスを規定する。

滑らかな曲線 *&gamma;*: *I* &rarr; *M* が**アフィン測地線**であるとは、「\dot\gamma」が、「\gammaに沿った平行移動」に等しいことである。即ち、以下が成り立つときに、これは**アフィン測地線**であると言われる。

:\Gamma(\gamma)_s^t\dot\gamma(s) = \dot\gamma(t).\,

時間に関して微分を取ると、これは、より簡単な形になる。
:\nabla_{\dot\gamma(t)}\dot\gamma = 0.\,

## リーマン幾何学における平行移動
リーマン幾何学においては、
ある接続が（その接続が定める）平行移動がを保つときに、
と呼ばれる。

即ち、接続&Gamma; が、任意の接ベクトル*X*, *Y* &isin; T&gamma;(s)
に対して以下の条件を満たせば、metric connectionとしての資格がある:
:\langle\Gamma(\gamma)_s^tX,\Gamma(\gamma)_s^tY\rangle_{\gamma(t)}=\langle X,Y\rangle_{\gamma(s)}.
*t*=0における微分を行う際に、対応する微分演算子&nabla; は、計量に対する積の微分法則、即ち
:Z\langle X,Y\rangle = \langle \nabla_ZX,Y\rangle + \langle X,\nabla_Z Y\rangle.
を満たさねばならない。

### 測地線
&nabla; がmetric connectionであれば、アフィン測地線はリーマン幾何学の通常の意味での測地線であり、その曲線の弧長は局所には最小である。 より正確には、まず、*&gamma;*: *I* &rarr; *M*, 、 *I* は開区間としたときに、もしこれが測地線であれば\dot\gammaのノルムは*I*上で一定である。確かに、

:\frac{d}{dt}\langle\dot\gamma(t),\dot\gamma(t)\rangle = 2\langle\nabla_{\dot\gamma(t)}\dot\gamma(t),\dot\gamma(t)\rangle =0.

に従えば、
もし、*A* が\dot\gamma(t)のノルムであれば、曲線*&gamma;上の充分に近い２点、たとえば*&gamma;*(*t*<sub>1</sub>) と、 *&gamma;*(*t*<sub>2</sub>)との間の、「計量によって誘導される距離」は、以下によって与えられる：

:<math>\mbox{dist}\big(\gamma(t_1),\gamma(t_2)\big) = A|t_1 - t_2|.</math>

上記の式は、測地距離が多様体の周囲 (球体など) を一周してしまう可能性があるため、２点が充分に近くなければ当てはまらないこともある。

==一般化==
これまではベクトル束上に定義された接続を扱ってきたが、それに限らず、他のタイプの接続に対してもより一般化された意味で平行移動という概念を定義できる。一つの一般化として[[主束]] への拡張がある。
*P* &rarr;  *M*は、「多様体*M*上で定まり構造群*G*を持つ主束」であり、*P*にはprincipal connection &omega;が定まっているものとする。ここで構造群*G*は[[リー群]]である。&omega;は*M*上の曲線&gamma;それぞれに対して、以下の写像を定義する。

:<math>\Gamma(\gamma)_s^t : P_{\gamma(s)} \rightarrow P_{\gamma(t)}</math>

この写像は、&gamma;(*s*)の上に生えたファイバーから、&gamma;(*t*)の上に生えたファイバーへの写像で、[[等質空間]]の同型を与える。つまり、
:<math>\Gamma_{\gamma(s)} gu = g\Gamma_{\gamma(s)}</math> for each *g*&isin;*G''.

さらに平行移動の一般化も可能である。 エーレスマン接続の意味での接続は、接ベクトル空間のという特別な概念に依存していて、我々は、水平リフトによる平行移動を定義できる。

カルタン接続は、「平行移動が特定の  を多様体上の曲線に沿って「ローリング」するような写像と見なすことができるような構造」を備えたエーレスマン接続である。このローリングのことを、と呼ぶ。

## 近似法：シルトのはしご
  

平行移動は、曲線に沿って有限のステップをとり、
を、平行四辺形近似するシルトのはしごによって離散的に近似できる。

## 関連項目
* 
* 接続 (微分幾何学)
* 
* アフィン接続
* :en:Covariant derivative
* 一般相対性理論における測地線
* Berry位相
* リー微分
* シルトのはしご
* 
* 、名称が似ているが別の概念

## 脚注
* 
*
*; Volume 2, .
*

## 外部リンク
*Spherical Geometry Demo. 球上の接線ベクトルの平行移動を示すアプレット。