捩率テンソル

テンプレート:Otheruses テンプレート:Pathnavbox捩率テンソル（れいりつテンソル、テンプレート:Lang-en-short）とは、アフィン接続テンプレート:Mvarに対し、

$T_{\mathrm{\nabla }}(X,Y):={\mathrm{\nabla }}_{X}Y-{\mathrm{\nabla }}_{Y}X-[X,Y]$

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

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

定義と性質

準備

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

性質

明らかに次が成立する：テンプレート:Math theorem局所座標$(x^1,\dots ,x^n)$で

$T_{\mathrm{\nabla }}(X,Y)=X^j{Y}^k({\mathrm{\nabla }}_{{\partial }_j}{\partial }_k-{\mathrm{\nabla }}_{{\partial }_k}{\partial }_j)=X^j{Y}^k({\mathrm{\Gamma }}^i{}_{jk}-{\mathrm{\Gamma }}^i{}_{kj}){\partial }_i$

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

${\mathrm{\nabla }}_{{\partial }_j}{\partial }_k={\mathrm{\Gamma }}^i{}_{jk}{\partial }_i$

である。この具体的表記から以下の系が従う： テンプレート:Math theorem よって特に

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

とみなせる。また

$T_{\mathrm{\nabla }}(X,Y)=T_{jk}^i{X}^j{Y}^k\frac{\partial }{\partial x^i}$

と書くとき、次が成立する：テンプレート:Math theoremよって捩率テンソルが恒等的にテンプレート:Mvarになる接続、すなわち捩れなし（テンプレート:Lang-en-short）の場合、テンプレート:Mvarはテンプレート:Mvar、テンプレート:Mvarに対して対象なテンソルになる。このため捩れなしの接続の事を対称（テンプレート:Lang-en-short）な接続ともいう。

外微分テンプレート:Mvarに対し、次が成立する：テンプレート:Math theoremテンプレート:Math proofすなわち$\mathrm{\nabla }$が捩れなしである事は、$\mathrm{\nabla }$が外微分と「両立」する事と同値である。

意味づけ

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

なめらかな任意の写像$\alpha :U\subset {ℝ}^2\to M$に対し、リー括弧の性質より$[\frac{\partial }{\partial x}\alpha ,\frac{\partial }{\partial y}\alpha ]=0$であることから、$\frac{\mathrm{\nabla }}{\partial x}:={\mathrm{\nabla }}_{\frac{\partial }{\partial x}}$とすると、次が成立する： テンプレート:Math theorem すなわち捩率テンソルは2つの微分の非可換度合いを表す量である。

他の概念との関係性

リーマン多様体におけるレヴィ・チヴィタ接続は捩率テンソルがテンプレート:Mvarでしかも計量と「両立」するアフィン接続として特徴づけられる：テンプレート:Math theorem

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

捩率形式

定義

テンプレート:Math theorem さらに行列値1-形式$\omega =({\omega }^i{}_j{)}_{ij}$を

${\mathrm{\nabla }}_X{e}_j={\omega }^i{}_j(X)e_i$

により定義し、テンプレート:Mvarを基底$(e_1,\dots ,e_m)$に関するテンプレート:Mvarの接続形式といい、曲率テンソル

$R(X,Y)Z={\mathrm{\nabla }}_X{\mathrm{\nabla }}_{Y}Z-{\mathrm{\nabla }}_Y{\mathrm{\nabla }}_{X}Z-{\mathrm{\nabla }}_{[X,Y]}Z$

に対し、行列値2-形式$\mathrm{\Omega }=({\mathrm{\Omega }}^i{}_j{)}_{ij}$を

$R(X,Y)e_j={\mathrm{\Omega }}^i{}_j(X,Y)e_i$

により定義し、テンプレート:Mvarを基底$(e_1,\dots ,e_m)$に関するテンプレート:Mvarの曲率形式という。

性質

局所的な基底$e_1,\dots ,e_n\in TM$の双対基底を${\theta }^1,\dots ,{\theta }^n\in T^{*}M$とするとテンプレート:Refn、これらは1形式である。これらを並べた縦ベクトルを$\theta ={}^t({\theta }^1,\dots ,{\theta }^n)$とする。このとき、次が成立する：テンプレート:Math theorem

ここでウェッジ積$\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$により定義される。$\mathrm{\Omega }\wedge \theta$、$\omega \wedge \tau$も同様に定義される。また曲率形式は以下を満たす：テンプレート:Math theorem接続行列のウェッジ積$\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}$の事である。$\mathrm{\Omega }\wedge \omega$や$\mathrm{\Omega }\wedge \mathrm{\Omega }$も同様に定義する。

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

フレームバンドルにおける捩率形式

点$P\in M$に対し、$T_{P}M$の基底全体の集合を$F_P(M)$とし、$F(M):={\cup }_{P\in M}{F}_P(M)$とすると、$F(M)$には自然に主バンドルとしての構造が入る。$F(M)$をテンプレート:Mvar（の接バンドル）のテンプレート:仮リンクという。

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

準備

フレームバンドル上に捩率形式を定義するため、いくつか定義を導入する。$F(M)$には主接続でその接続形式$\tilde{\omega }$が

${\omega }_e=e^{*}(\tilde{\omega })$

を満たすものが一意に存在する。ここでテンプレート:Mvarは開集合$U\subset M$上定義されたテンプレート:Mvarの基底$e=(e_1,\dots ,e_n)$に関するテンプレート:Mvarの接続形式であり、$e^{*}(\tilde{\omega })$はテンプレート:Mvarをテンプレート:Mvarから$F(M)$への写像とみなしたときの$\tilde{\omega }$の引き戻しである。

さらに$F(M)$上定義されたベクトル値1-形式$\tilde{\theta }$を$e=(e_1,\dots ,e_n)\in F_P(M)$と$\xi \in T_{e}F(M)$に対し、

${\tilde{\theta }}_e(\xi )={}^t(v^1,\dots ,v^n)$ where ${\pi }_{*}(\xi )=v^i{e}_i$

となるように定義する。$\tilde{\theta }$を$F(M)$の標準形式（テンプレート:Lang-en-short）という。$e=(e_1,\dots ,e_n)$の双対基底を$\theta =({\theta }^1,\dots ,{\theta }^n)$とすると、定義より明らかに

${\theta }_e=e^{*}(\tilde{\theta })$

である。

定義

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

性質

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

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

また主バンドル上の共変外微分$d_{\tilde{\omega }}$を用いると、捩率形式と曲率形式は以下のようにも表現できる事が知られている：テンプレート:Math theorem

カルタン幾何学における捩率形式の解釈テンプレート:Anchors

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

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

アフィン空間

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

アフィン空間${𝔸}^n$とは、

${𝔸}^n={ℝ}^n\times \{1\}\subset {ℝ}^n\times ℝ$

の事であり、${𝔸}^n$にはアフィン同型群

$\mathrm{I}\mathrm{s}\mathrm{o}({𝔸}^n)=\left\{\left(\begin{array}{cc}A& b\\ 0& 1\end{array}\right)\right|A\in {\mathrm{G}\mathrm{L}}_n(ℝ),b\in {ℝ}^n\}$

が

$\left(\begin{array}{cc}A& b\\ 0& 1\end{array}\right)\left(\begin{array}{c}x\\ 1\end{array}\right)=\left(\begin{array}{c}Ax+b\\ 1\end{array}\right)\in {𝔸}^n$

により作用している。アフィン同型群$\mathrm{I}\mathrm{s}\mathrm{o}({𝔸}^n)$は半直積

$\mathrm{I}\mathrm{s}\mathrm{o}({𝔸}^n)={\mathrm{G}\mathrm{L}}_n(ℝ)⋉{ℝ}^n$

で書き表せる。${\mathrm{G}\mathrm{L}}_n(ℝ)\subset \mathrm{I}\mathrm{s}\mathrm{o}({𝔸}^n)$の元が${𝔸}^n$上の一点${}^t(0,1)$を固定する変換なのに対し、${ℝ}^n\subset \mathrm{I}\mathrm{s}\mathrm{o}({𝔸}^n)$の元$b\in {ℝ}^n$は${𝔸}^n$の元をテンプレート:Mvarだけ動かす${𝔸}^n$上の並進であるとみなせる。

アフィン空間をモデルとするカルタン幾何学

$F(M)$をテンプレート:Mvar（の接バンドル）のフレームバンドルとするとき、通常の主接続の接続形式$\tilde{\omega }$は${\mathrm{G}\mathrm{L}}_n(ℝ)$のリー代数${𝔤𝔩}_n(ℝ)$に値を取るが、アフィン空間をモデルとするカルタン幾何学では${𝔤𝔩}_n(ℝ)$ではなく$\mathrm{I}\mathrm{s}\mathrm{o}({𝔸}^n)={\mathrm{G}\mathrm{L}}_n(ℝ)⋉{ℝ}^n$のリー代数

$𝔦𝔰𝔬({𝔸}^n)=\left\{\left(\begin{array}{cc}A& b\\ 0& 0\end{array}\right)\right|A\in {𝔤𝔩}_n(ℝ),b\in {ℝ}^n\}$

に値を取る接続形式（カルタン接続）を用いる。$\tilde{\eta }$をカルタン接続とすると、$\tilde{\eta }$が$𝔦𝔰𝔬({𝔸}^n)$に値を取ることから、

$\tilde{\eta }=\left(\begin{array}{cc}\tilde{\omega }& \tilde{\theta }\\ 0& 0\end{array}\right)$

のように成分表示できる。ここで$\tilde{\omega }$は${𝔤𝔩}_n(ℝ)$に値を取り、この事から$\tilde{\omega }$は通常の主接続であるとみなせる。またカルタン幾何学では各$e\in F(M)$に対し、

$v\in T_{e}F(M)\mapsto \tilde{\eta }(v)\in 𝔦𝔰𝔬({𝔸}^n)$

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

捩率形式の意味づけ

カルタン幾何学ではカルタン接続$\tilde{\eta }$に「第二構造方程式」を適用した

${\tilde{\mathrm{\Omega }}}^{\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{t}\mathrm{a}\mathrm{n}}:=d\tilde{\eta }+\tilde{\eta }\wedge \tilde{\eta }$

を（カルタン幾何学における）曲率という。これを成分で書くと、第一および第二構造方程式から、

${\tilde{\mathrm{\Omega }}}^{\mathrm{C}\mathrm{a}\mathrm{r}\mathrm{t}\mathrm{a}\mathrm{n}}=\left(\begin{array}{cc}d\tilde{\omega }+\tilde{\omega }\wedge \tilde{\omega }& d\tilde{\theta }+\tilde{\omega }\wedge \tilde{\theta }\\ 0& 0\end{array}\right)=\left(\begin{array}{cc}\tilde{\mathrm{\Omega }}& \tilde{\tau }\\ 0& 0\end{array}\right)$

と（通常の接続の意味での）曲率形式$\tilde{\mathrm{\Omega }}$と捩率形式$\tilde{\tau }$で書ける。$\mathrm{I}\mathrm{s}\mathrm{o}({𝔸}^n)$の定義から、行列の右上の成分は並進に対応していたので、以上のことから捩率形式$\tilde{\tau }$はカルタン幾何学の意味での曲率の並進部分である事がわかる。

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite web
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book

テンプレート:Curvature テンプレート:Tensors