捩率テンソル

**捩率テンソル**（れいりつテンソル、）とは、アフィン接続に対し、

: T_{\nabla}(X,Y):=\nabla_XY-\nabla_YX-[X,Y]

により定義されるテンソルである。「捩率」という名称に関してはLoring W. Tuは「T_{\nabla}(X,Y)を**「捩率」と呼ぶうまい理由は無い**ように見える」と述べており、Michael Spivakも同様の事を述べているなど、「捩れ」としての意味付けはできない。

しかし後述するようにねじれテンソルは微分の非可換性を表す量として意味づけでき、さらにカルタン幾何学における曲率概念の「並進」部分としても意味づけできる。

## 定義と性質

### 準備

捩率テンソルを定義するため、アフィン接続の定義を述べる：ここで、、は上のベクトル場であり、、は実数であり、、、は上定義された任意の実数値可微分関数であり、fsは点においてf(u)s_u となるの切断であり、X(f)はの方向微分である。

### 定義

### 性質
明らかに次が成立する：局所座標(x^1,\ldots,x^n)で

:  T_{\nabla}(X,Y)
 = X^jY^k(\nabla_{\partial_j}\partial_k - \nabla_{\partial_k}\partial_j) 
 = X^jY^k(\Gamma^i{}_{jk} - \Gamma^i{}_{kj})\partial_i 

である（アインシュタインの縮約記法で表記）。ここで\partial_i := \tfrac{\partial}{\partial x^i}であり、\Gamma^i{}_{jk}はクリストッフェル記号

: \nabla_{\partial_j}\partial_k = \Gamma^i{}_{jk}\partial_i

である。この具体的表記から以下の系が従う：

よって特に

:  T_{\nabla} \in T^*M \times T^*M \times TM 

とみなせる。また

: T_{\nabla}(X,Y)=T^i_{jk}X^jY^k{\partial \over \partial x^i}

と書くとき、次が成立する：よって捩率テンソルが恒等的にになる接続、すなわち**捩れなし**（）の場合、は、に対して対象なテンソルになる。このため捩れなしの接続の事を**対称**（）な接続ともいう。

外微分に対し、次が成立する：すなわち\nablaが捩れなしである事は、\nablaが外微分と「両立」する事と同値である。

### 意味づけ
「捩率」という名称に関してはLoring W. Tuによれば「T_{\nabla}(X,Y)を「捩率」と呼ぶうまい理由は無いように見える」が、このテンソルには以下のような意味付けが可能である。

なめらかな任意の写像\alpha~:~U \subset \mathbb{R}^2 \to Mに対し、リー括弧の性質より[\tfrac{\partial}{\partial x}\alpha,\tfrac{\partial}{\partial y}\alpha]=0であることから、\tfrac{\nabla}{\partial x}:=\nabla_{\tfrac{\partial}{\partial x}}とすると、次が成立する：

すなわち**捩率テンソルは2つの微分の非可換度合いを表す量である**。

### 他の概念との関係性
リーマン多様体におけるレヴィ・チヴィタ接続は捩率テンソルがでしかも計量と「両立」するアフィン接続として特徴づけられる：

またをアフィン接続とするとき、と（パラメータを込めて）同一の測地線を定め、しかも捩れがないアフィン接続が存在する：また次が成立する：

## 捩率形式
### 定義

さらに行列値1-形式\omega=(\omega^i{}_j)_{ij}を
: \nabla_Xe_j = \omega^i{}_j(X)e_i
により定義し、を基底(e_1,\ldots,e_m)に関するの**接続形式**といい、**曲率テンソル**
: R(X,Y)Z= \nabla_X\nabla_YZ - \nabla_Y\nabla_XZ - \nabla_{[X,Y]}Z
に対し、行列値2-形式\Omega=(\Omega^i{}_j)_{ij}を
:R(X,Y)e_j=\Omega^i{}_j(X,Y)e_i
により定義し、を基底(e_1,\ldots,e_m)に関するの**曲率形式**という。

### 性質
局所的な基底e_1,\ldots,e_n \in TMの双対基底を\theta^1,\ldots,\theta^n\in T^*Mとすると、これらは1形式である。これらを並べた縦ベクトルを\theta={}^t(\theta^1,\ldots,\theta^n)とする。このとき、次が成立する：

ここでウェッジ積\omega\wedge \theta は行列\omega(X)とベクトル\theta(Y)の積\omega(X)\theta(Y)を用いて\omega \wedge \theta(X,Y):=\omega(X)\theta(Y) - \omega(Y)\theta(X)  = (\omega^i{}_j \wedge \theta^j(X,Y))_{i}により定義される。\Omega\wedge \theta  、\omega \wedge \tau も同様に定義される。また曲率形式は以下を満たす：接続行列のウェッジ積\omega\wedge \omegaは行列積\omega\wedge \omega(X,Y)=\omega(X)\omega(Y) - \omega(Y)\omega(X) =(\omega^i{}_k \wedge \omega^k{}_j(X,Y))_{ij}の事である。\Omega \wedge \omegaや\Omega \wedge \Omegaも同様に定義する。 

ビアンキの第一および第二恒等式は以下のようにも書くことができる：ここで添字は「」で考える。すなわち「\sum_{i \in \mathbb{Z}_3}」は巡回和である。

## フレームバンドルにおける捩率形式
点P \in Mに対し、T_PMの基底全体の集合をF_P(M)とし、F(M):= \cup_{P\in M} F_P(M)とすると、F(M)には自然に主バンドルとしての構造が入る。F(M)を（の接バンドル）の****という。

本節では、捩率形式をフレームバンドル上のベクトル値微分形式として再定義し、その性質を見る。

### 準備

フレームバンドル上に捩率形式を定義するため、いくつか定義を導入する。F(M)には主接続でその接続形式\tilde{\omega}が
:  \omega_e = e^*(\tilde{\omega})   
を満たすものが一意に存在する。ここでは開集合U \subset M上定義されたの基底e=(e_1,\ldots,e_n)に関するの接続形式であり、  e^*(\tilde{\omega})   はをからF(M)への写像とみなしたときの\tilde{\omega}の引き戻しである。

さらにF(M)上定義されたベクトル値1-形式\tilde{\theta} をe=(e_1,\ldots,e_n) \in F_P(M)と \xi\in T_e F(M) に対し、
: \tilde{\theta}_e(\xi)={}^t(v^1,\ldots,v^n)   where  \pi_*(\xi) = v^ie_i  
となるように定義する。\tilde{\theta} をF(M)の**標準形式**（）という。e=(e_1,\ldots,e_n)の双対基底を \theta = (\theta^1, \ldots,\theta^n)  とすると、定義より明らかに
:  \theta_e = e^*(\tilde{\theta})   
である。

### 定義
フレームバンドル上の捩率形式\tilde{\tau}および曲率形式\tilde{\Omega}を第一および第二構造方程式により定義する：

### 性質
定義から明らかなように次が成立する：よって特に、アフィン接続の捩率形式と曲率形式が構造方程式やビアンキ恒等式を満たす事から、主接続の捩率形式\tilde{\tau}、および曲率形式\tilde{\Omega}も構造方程式やビアンキ恒等式を満たす：

* 第一構造方程式：\tilde{\tau}=d\tilde{\theta} + \tilde{\omega}\wedge\tilde{\theta}
* ビアンキの第一恒等式：d\tilde{\tau} = \tilde{\Omega} \wedge \tilde{\theta} -\tilde{\omega} \wedge \tilde{\tau}
* 第二構造方程式：\tilde{\Omega} = d\tilde{\omega} + \tilde{\omega} \wedge \tilde{\omega}
* ビアンキの第二恒等式：d\tilde{\Omega} =\tilde{\Omega} \wedge \tilde{\omega} - \tilde{\omega} \wedge \tilde{\Omega}

また主バンドル上の共変外微分d_{\tilde{\omega}} を用いると、捩率形式と曲率形式は以下のようにも表現できる事が知られている：\tilde{\theta}
* \tilde{\Omega} =d_{\tilde{\omega}}\tilde{\omega}|}}

## カルタン幾何学における捩率形式の解釈

**カルタン幾何学**とは、直観的には多様体の各点における「一次近似」が等質空間とみなせるような上の幾何構造の事である。等質空間をの**モデル幾何学**と呼び、どのようなモデル幾何学を選ぶかにより様々なカルタン幾何学が定義できる。

本節ではアフィン空間をモデルとするカルタン幾何学における、捩率形式の解釈を述べる。なお、カルタン幾何学ではそれ以外の場合に対しても捩率を定義できるが一般の場合の捩率に関してはカルタン幾何学の項目を参照されたい。

### アフィン空間
まずアフィン空間の定義を簡単に述べる。

**アフィン空間**\mathbb{A}^nとは、
: \mathbb{A}^n=\mathbb{R}^n \times \{1\} \subset \mathbb{R}^n \times \mathbb{R} 
の事であり、\mathbb{A}^nには**アフィン同型群**
: \mathrm{Iso}(\mathbb{A}^n)
 = 
\left\{
\begin{pmatrix}
A & b\\
0 & 1
\end{pmatrix}
\Bigg|
A \in \mathrm{GL}_n(\mathbb{R}), b \in \mathbb{R}^n
\right\}  
が
: \begin{pmatrix}
A & b\\
0 & 1
\end{pmatrix}
\begin{pmatrix}
x\\
1
\end{pmatrix}
 = 
\begin{pmatrix}
Ax+b\\
1
\end{pmatrix}
 \in \mathbb{A}^n 
により作用している。アフィン同型群 \mathrm{Iso}(\mathbb{A}^n)  は半直積
: \mathrm{Iso}(\mathbb{A}^n) = \mathrm{GL}_n(\mathbb{R}) \ltimes \mathbb{R}^n 
で書き表せる。 \mathrm{GL}_n(\mathbb{R}) \subset\mathrm{Iso}(\mathbb{A}^n) の元が\mathbb{A}^n上の一点{}^t(0,1)を固定する変換なのに対し、 \mathbb{R}^n \subset\mathrm{Iso}(\mathbb{A}^n)  の元b \in \mathbb{R}^nは\mathbb{A}^nの元をだけ動かす\mathbb{A}^n上の**並進**であるとみなせる。

### アフィン空間をモデルとするカルタン幾何学
F(M)を（の接バンドル）のフレームバンドルとするとき、通常の主接続の接続形式\tilde{\omega}は\mathrm{GL}_n(\mathbb{R})のリー代数\mathfrak{gl}_n(\mathbb{R})に値を取るが、アフィン空間をモデルとするカルタン幾何学では\mathfrak{gl}_n(\mathbb{R})ではなく \mathrm{Iso}(\mathbb{A}^n) = \mathrm{GL}_n(\mathbb{R}) \ltimes \mathbb{R}^n のリー代数
: \mathfrak{iso}(\mathbb{A}^n)
= 
\left\{
\begin{pmatrix}
A & b\\
0 & 0
\end{pmatrix}
\Bigg|
A \in \mathfrak{gl}_n(\mathbb{R}), b \in \mathbb{R}^n
\right\} 

に値を取る接続形式（**カルタン接続**）を用いる。\tilde{\eta}をカルタン接続とすると、\tilde{\eta}が  \mathfrak{iso}(\mathbb{A}^n) に値を取ることから、
: \tilde{\eta}= 
\begin{pmatrix}
\tilde{\omega} & \tilde{\theta}\\
0 & 0
\end{pmatrix}
 

のように成分表示できる。ここで\tilde{\omega}は\mathfrak{gl}_n(\mathbb{R})に値を取り、この事から\tilde{\omega}は通常の主接続であるとみなせる。またカルタン幾何学では各e \in F(M)に対し、
: v\in T_eF(M) \mapsto \tilde{\eta}(v) \in \mathfrak{iso}(\mathbb{A}^n)
 

が全単射になることを要請するが、この要請のもと\tilde{\theta}は標準形式と一致する事を示す事ができる。

### 捩率形式の意味づけ

カルタン幾何学ではカルタン接続\tilde{\eta}に「第二構造方程式」を適用した
:\tilde{\Omega}^{\mathrm{Cartan}}:= d\tilde{\eta} + \tilde{\eta} \wedge \tilde{\eta}
を（カルタン幾何学における）**曲率**という。これを成分で書くと、第一および第二構造方程式から、
: \tilde{\Omega}^{\mathrm{Cartan}}= 
\begin{pmatrix}
d\tilde{\omega} + \tilde{\omega} \wedge \tilde{\omega}& d\tilde{\theta}+\tilde{\omega}\wedge \tilde{\theta}\\
0 & 0
\end{pmatrix}
=
\begin{pmatrix}
\tilde{\Omega} & \tilde{\tau}\\
0 & 0
\end{pmatrix} 
と（通常の接続の意味での）曲率形式\tilde{\Omega}と捩率形式\tilde{\tau}で書ける。 \mathrm{Iso}(\mathbb{A}^n)  の定義から、行列の右上の成分は並進に対応していたので、以上のことから**捩率形式<math>\tilde{\tau}</math>はカルタン幾何学の意味での曲率の並進部分**である事がわかる。

## 注
### 出典

### 注釈

## 参考文献

* 
* 
* 
* 
* 
* 
*