![曖昧さ回避](//upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Disambig_gray.svg/25px-Disambig_gray.svg.png) | この項目では、ベクトルバンドルの接続に関する捩率について説明しています。曲線の捩率については「捩率」をご覧ください。 |
捩率テンソル(れいりつテンソル、英: torsion tensor)とは、アフィン接続∇に対し、
![{\displaystyle T_{\nabla }(X,Y):=\nabla _{X}Y-\nabla _{Y}X-[X,Y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13b435fe5646cae84540e6bdc28b24d5c9f6c8ed)
により定義されるテンソルである。「捩率」という名称に関してはLoring W. Tuは「
を「捩率」と呼ぶうまい理由は無いように見える」[1]と述べており、Michael Spivakも同様の事を述べているなど[2]、「捩れ」としての意味付けはできない。
しかし後述するようにねじれテンソルは微分の非可換性を表す量として意味づけでき、さらにカルタン幾何学における曲率概念の「並進」部分としても意味づけできる。
定義と性質
準備
捩率テンソルを定義するため、アフィン接続の定義を述べる:
ここでX、Y、ZはM上のベクトル場であり、a、bは実数であり、f、f1、f2はM上定義された任意の実数値可微分関数であり、
は点uにおいて
となるEの切断であり、
はfのX方向微分である。
定義
定義 (捩率テンソル) ― X、YをM上のベクトル場とするとき、
![{\displaystyle T_{\nabla }(X,Y):=\nabla _{X}Y-\nabla _{Y}X-[X,Y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13b435fe5646cae84540e6bdc28b24d5c9f6c8ed)
を捩率テンソルという。
性質
明らかに次が成立する:
定理 ― 捩率テンソルは以下を満たす[4]:
![{\displaystyle T_{\nabla }(X,Y)=-T_{\nabla }(Y,X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/139cbcbf262fccd1fcfec948aa362b45b247acd9)
局所座標
で
![{\displaystyle T_{\nabla }(X,Y)=X^{j}Y^{k}(\nabla _{\partial _{j}}\partial _{k}-\nabla _{\partial _{k}}\partial _{j})=X^{j}Y^{k}(\Gamma ^{i}{}_{jk}-\Gamma ^{i}{}_{kj})\partial _{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cdedc8ebf4d2ca84fce82194269f82b6f2ae90a9)
である(アインシュタインの縮約記法で表記)。ここで
であり、
はクリストッフェル記号
![{\displaystyle \nabla _{\partial _{j}}\partial _{k}=\Gamma ^{i}{}_{jk}\partial _{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3e65d22bcea3f54b72f06f8bdd1b88da5e75a86)
である。この具体的表記から以下の系が従う:
系 ― 点
における捩率テンソルの値
は点PにおけるX、Yの値XP、YPのみに依存して決まり、P以外の点Qにおける値XQ、YQには依存しない。
よって特に
![{\displaystyle T_{\nabla }\in T^{*}M\times T^{*}M\times TM}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a2f02190fc086dee13455b64424f900f591c6ec)
とみなせる。また
![{\displaystyle T_{\nabla }(X,Y)=T_{jk}^{i}X^{j}Y^{k}{\partial \over \partial x^{i}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1305b7e73b5ab3c0f9bd46ae299d996808c05edb)
と書くとき、次が成立する[5][6]:
系 ― 任意のi、j、kに対し、
![{\displaystyle T_{jk}^{i}=\Gamma _{jk}^{i}-\Gamma _{kj}^{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3df8866422e01c50cc417849a1ed3f200e4182b9)
よって捩率テンソルが恒等的に0になる接続、すなわち捩れなし(英: torsion-free)の場合、Γi
jkはj、kに対して対象なテンソルになる。このため捩れなしの接続の事を対称(英: symmetric)な接続ともいう[5]。 外微分dに対し、次が成立する:
証明
![{\displaystyle \langle \eta ,T_{\nabla }(X,Y)\rangle =\langle \eta ,\nabla _{X}Y\rangle -\langle \eta ,\nabla _{Y}X\rangle -d\eta (X,Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b983752083281a2f929c27f054d50d8a7d1ac023)
であることから従う。
すなわち
が捩れなしである事は、
が外微分と「両立」する事と同値である。
意味づけ
「捩率」という名称に関してはLoring W. Tuによれば「
を「捩率」と呼ぶうまい理由は無いように見える」[1]が、このテンソルには以下のような意味付けが可能である。
なめらかな任意の写像
に対し、リー括弧の性質より
であることから、
とすると、次が成立する:
定理 ― 記号を上述のように取るとき、以下が成立する:
![{\displaystyle T_{\nabla }({\tfrac {\partial }{\partial x}}\alpha ,{\tfrac {\partial }{\partial y}}\alpha )={\tfrac {\nabla }{\partial x}}{\tfrac {\partial }{\partial y}}\alpha -{\tfrac {\nabla }{\partial y}}{\tfrac {\partial }{\partial x}}\alpha }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7915369a476879df83e2a45a668dea644b5432a)
すなわち捩率テンソルは2つの微分の非可換度合いを表す量である[7]。
他の概念との関係性
リーマン多様体におけるレヴィ・チヴィタ接続は捩率テンソルが0でしかも計量と「両立」するアフィン接続として特徴づけられる:
定理 (リーマン幾何学の基本定理) ―
をリーマン多様体とし、∇をM上定義されたアフィン接続とする。このとき、∇がレヴィ・チヴィタ接続は以下の2つの性質を満たす。また以下の2性質を両方満たすアフィン接続∇はレヴィ・チヴィタ接続に限られる[8]:
- ∇は捩れなしである。
- M上の任意のベクトル場X、Y、Zに対し、
![{\displaystyle Z(g(X,Y))=g(\nabla _{Z}X,Y)+g(X,\nabla _{Z}Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c2ed12c8d4aa3b03300a855c182171efb48cd34)
また∇をアフィン接続とするとき、∇と(パラメータを込めて)同一の測地線[注 1]を定め、しかも捩れがないアフィン接続が存在する:
また次が成立する:
捩率形式
定義
定義 ― 局所的な基底
に対し、捩率テンソルを
![{\displaystyle T(X,Y)=\tau ^{i}(X,Y)e_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd4f1bcee9dd9f3023a63374624a785f30c4fedc)
と成分表示して得られる2-形式
を並べてできる縦ベクトル
を基底
に関する∇の捩率形式(英: torsion form)という[11][注 2]。
さらに行列値1-形式
を
![{\displaystyle \nabla _{X}e_{j}=\omega ^{i}{}_{j}(X)e_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f7cc203ca2c1df8a4c8b82d4828a8f7938b8cc4)
により定義し、ωを基底
に関する∇の接続形式といい、曲率テンソル
![{\displaystyle R(X,Y)Z=\nabla _{X}\nabla _{Y}Z-\nabla _{Y}\nabla _{X}Z-\nabla _{[X,Y]}Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a30a969d5b599e29c8ef7fc0344b823845e5865)
に対し、行列値2-形式
を
![{\displaystyle R(X,Y)e_{j}=\Omega ^{i}{}_{j}(X,Y)e_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31d86caeb01038a563e9fa0e0c449132821629a6)
により定義し、ωを基底
に関する∇の曲率形式という。
性質
局所的な基底
の双対基底を
とすると[注 3]、これらは1形式である。これらを並べた縦ベクトルを
とする。このとき、次が成立する:
定理 ― アフィン接続は次を満たす:
- (カルタンの)第一構造方程式[13](英: (Cartan's) first structural equation)[14]:
![{\displaystyle \tau =d\theta +\omega \wedge \theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a06ccbb437e0f72fcbce53aaf85171e4738d0fa5)
- ビアンキの第一恒等式(英: first Bianchi identity)[14]:
![{\displaystyle d\tau =\Omega \wedge \theta -\omega \wedge \tau }](https://wikimedia.org/api/rest_v1/media/math/render/svg/688d48c3f09e39503b65c85d31eb29cf06b187c4)
ここでウェッジ積
は行列
とベクトル
の積
を用いて![{\displaystyle \omega \wedge \theta (X,Y):=\omega (X)\theta (Y)-\omega (Y)\theta (X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c50d33c04fccc9e763f61f379c3fc9056ac81738)
により定義される。
、
も同様に定義される。また曲率形式は以下を満たす:
定理 ―
- (カルタンの)第二構造方程式[15](英: (Cartan's) second structural equation)[16]:
![{\displaystyle \Omega =d\omega +\omega \wedge \omega }](https://wikimedia.org/api/rest_v1/media/math/render/svg/59af3b03df345df62ef12fba67ab76cb8c15d106)
- ビアンキの第二恒等式(英: second Bianchi identity)[17]:
![{\displaystyle d\Omega =\Omega \wedge \omega -\omega \wedge \Omega }](https://wikimedia.org/api/rest_v1/media/math/render/svg/29a6bcc0f8ea92a7358632f19f84f8d70d13429d)
接続行列のウェッジ積
は行列積![{\displaystyle \omega \wedge \omega (X,Y)=\omega (X)\omega (Y)-\omega (Y)\omega (X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35ac70d2bd5622781d5b74e93bf264de106cafd0)
の事である。
や
も同様に定義する。
ビアンキの第一および第二恒等式は以下のようにも書くことができる:
定理 ― M上のベクトル場X1、X2、X3に対し、以下が成立する:
- ビアンキの第一恒等式[18]:
![{\displaystyle \sum _{i\in \mathbb {Z} _{3}}R(X_{i},X_{i+1})X_{i+2}=\sum _{i\in \mathbb {Z} _{3}}T(T(X_{i},X_{i+1}),X_{i+2})+(\nabla _{X_{i}}T)(X_{i+1},X_{i+2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7eb5d808fe8d9bed998942f81a7a252638e05163)
- ビアンキの第二恒等式[18]:
![{\displaystyle \sum _{i\in \mathbb {Z} _{3}}(\nabla _{X_{i}}R)(X_{i+1},X_{i+2})+R(T(X_{i},X_{i+1}),X_{i+2})=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/815a14f44390aa123dfd6a09696927c8d1acc93f)
ここで添字は「mod 3」で考える。すなわち「
」は巡回和である。
フレームバンドルにおける捩率形式
点
に対し、
の基底全体の集合を
とし、
とすると、
には自然に主バンドルとしての構造が入る。
をM(の接バンドル)のフレームバンドル(英語版)という。
本節では、捩率形式をフレームバンドル上のベクトル値微分形式として再定義し、その性質を見る。
準備
詳細は「接続 (微分幾何学)#主接続の節」および「接続 (微分幾何学)#Koszul接続と主接続の関係の章」を参照
フレームバンドル上に捩率形式を定義するため、いくつか定義を導入する。
には主接続でその接続形式
が
![{\displaystyle \omega _{e}=e^{*}({\tilde {\omega }})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2bfab0e673f7a47f10d453c08aef4ac8e3c10557)
を満たすものが一意に存在する[19]。ここでωは開集合
上定義されたTMの基底
に関する∇の接続形式であり、
はeをUから
への写像とみなしたときの
の引き戻しである。
さらに
上定義されたベクトル値1-形式
を
と
に対し、
where ![{\displaystyle \pi _{*}(\xi )=v^{i}e_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15ab24fca40e84c04eed67814c91bc101fc83ad4)
となるように定義する。
を
の標準形式(英: canonical form)という[20]。
の双対基底を
とすると、定義より明らかに
![{\displaystyle \theta _{e}=e^{*}({\tilde {\theta }})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7214fc34f62bc817f9cd1d25ef1146e9b1702483)
である。
定義
フレームバンドル上の捩率形式
および曲率形式
を第一および第二構造方程式により定義する:
性質
定義から明らかなように次が成立する:
定義 ―
![{\displaystyle \tau _{e}=e^{*}({\tilde {\tau }})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de81ee8f20c1900a32d06f489267d52210dedf3b)
![{\displaystyle \Omega _{e}=e^{*}({\tilde {\Omega }})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/009165cd7b90526ccc4925124cf0111f80997aaf)
よって特に、アフィン接続∇の捩率形式τと曲率形式Ωが構造方程式やビアンキ恒等式を満たす事から、主接続の捩率形式
、および曲率形式
も構造方程式やビアンキ恒等式を満たす:
- 第一構造方程式:
![{\displaystyle {\tilde {\tau }}=d{\tilde {\theta }}+{\tilde {\omega }}\wedge {\tilde {\theta }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b59b6ad9b794001257d7232ebcb8ce4105f8e557)
- ビアンキの第一恒等式:
![{\displaystyle d{\tilde {\tau }}={\tilde {\Omega }}\wedge {\tilde {\theta }}-{\tilde {\omega }}\wedge {\tilde {\tau }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0603b16a64a991f346b7698debf800e5dea9607f)
- 第二構造方程式:
![{\displaystyle {\tilde {\Omega }}=d{\tilde {\omega }}+{\tilde {\omega }}\wedge {\tilde {\omega }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ad2ced1c6c782743857255a46a888c2f8065d4b)
- ビアンキの第二恒等式:
![{\displaystyle d{\tilde {\Omega }}={\tilde {\Omega }}\wedge {\tilde {\omega }}-{\tilde {\omega }}\wedge {\tilde {\Omega }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32c559ff9872adec95848318fd781dff75f459cc)
また主バンドル上の共変外微分
を用いると、捩率形式と曲率形式は以下のようにも表現できる事が知られている:
定理 ― 以下が成立する[21]
![{\displaystyle {\tilde {\tau }}=d_{\tilde {\omega }}{\tilde {\theta }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5df9c1a37d84bd3b1411f8ed229c54f221f8cd1f)
![{\displaystyle {\tilde {\Omega }}=d_{\tilde {\omega }}{\tilde {\omega }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2dcfc44829d44a49126a5b03884ab4236d727fe)
カルタン幾何学における捩率形式の解釈
カルタン幾何学とは、直観的には多様体Mの各点における「一次近似」が等質空間SとみなせるようなM上の幾何構造の事である。等質空間SをMのモデル幾何学と呼び、どのようなモデル幾何学を選ぶかにより様々なカルタン幾何学が定義できる。
本節ではアフィン空間をモデルとするカルタン幾何学における、捩率形式の解釈を述べる。なお、カルタン幾何学ではそれ以外の場合に対しても捩率を定義できるが一般の場合の捩率に関してはカルタン幾何学の項目を参照されたい。
アフィン空間
まずアフィン空間の定義を簡単に述べる。
アフィン空間
とは、
![{\displaystyle \mathbb {A} ^{n}=\mathbb {R} ^{n}\times \{1\}\subset \mathbb {R} ^{n}\times \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/10b370d5b20ee34c1f8d27b44fb71b61e8674e6a)
の事であり、
にはアフィン同型群
![{\displaystyle \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\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbe8b0094859e32dcc4825c3b268e2b7633df2e7)
が
![{\displaystyle {\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}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65f09b614dd97e81c52ad1195279c363e89f842f)
により作用している。アフィン同型群
は半直積
![{\displaystyle \mathrm {Iso} (\mathbb {A} ^{n})=\mathrm {GL} _{n}(\mathbb {R} )\ltimes \mathbb {R} ^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c18c85a7d878caad566c635cf6fe1daf24ca47e)
で書き表せる。
の元が
上の一点
を固定する変換なのに対し、
の元
は
の元をbだけ動かす
上の並進であるとみなせる。
アフィン空間をモデルとするカルタン幾何学
をM(の接バンドル)のフレームバンドルとするとき、通常の主接続の接続形式
は
のリー代数
に値を取るが、アフィン空間をモデルとするカルタン幾何学では
ではなく
のリー代数
![{\displaystyle {\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\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e819b134ca6e08b981d548623885ffded5fe25fe)
に値を取る接続形式(カルタン接続)を用いる[22]。
をカルタン接続とすると、
が
に値を取ることから、
![{\displaystyle {\tilde {\eta }}={\begin{pmatrix}{\tilde {\omega }}&{\tilde {\theta }}\\0&0\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c5ec9e74fa3f026445519791979290edc3d586b)
のように成分表示できる。ここで
は
に値を取り、この事から
は通常の主接続であるとみなせる。またカルタン幾何学では各
に対し、
![{\displaystyle v\in T_{e}F(M)\mapsto {\tilde {\eta }}(v)\in {\mathfrak {iso}}(\mathbb {A} ^{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14b61900734d26dd2dd77f8fe1abd6fb9d5fca56)
が全単射になることを要請するが[22]、この要請のもと
は標準形式と一致する事を示す事ができる[23]。
捩率形式の意味づけ
カルタン幾何学ではカルタン接続
に「第二構造方程式」を適用した
![{\displaystyle {\tilde {\Omega }}^{\mathrm {Cartan} }:=d{\tilde {\eta }}+{\tilde {\eta }}\wedge {\tilde {\eta }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60de90f6c6bb9f2745c5ea3d74e3533208e222b0)
を(カルタン幾何学における)曲率という[24]。これを成分で書くと、第一および第二構造方程式から、
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/955bbb1db2dd3f479a7fa9c8f1f340cab18d0861)
と(通常の接続の意味での)曲率形式
と捩率形式
で書ける。
の定義から、行列の右上の成分は並進に対応していたので、以上のことから捩率形式
はカルタン幾何学の意味での曲率の並進部分である事がわかる。
注
出典
注釈
- ^ ここで「∇と∇'がパラメータを込めて同一の測地線を定める」は
が∇の測地線であれば、同じパラメータsに対して
が∇'の測地線になり、その逆も成り立つという意味である。
を別の変数tに変換した
が∇'の測地線になる場合は考慮していない。 - ^ #Tu p.84.ではτ自身ではなくその成分
の事を捩率形式と呼んでいる。 - ^
であれば
であるが、必ずしも
でなくともよい[12]。
参考文献
- Shishichi Kobayashi; Katsumi Nomizu (2009). Foundations of Differential Geometry Volume I. Wiley Classics Library. Wiley. ISBN 978-0-471-15733-5. Zbl 0119.37502
- 小林昭七『接続の微分幾何とゲージ理論』裳華房、1989年5月15日。ISBN 978-4785310585。
- Loring W. Tu (2017/6/P15). Differential Geometry: Connections, Curvature, and Characteristic Classes. Graduate Texts in Mathematics. 275. Springer. ISBN 978-3319550824
- Chris Wendl. “Chapter 4: Natural constructions on vector bundles”. 2023年8月24日閲覧。
- Michael Spivak. A Comprehensive Introduction to Differential Geometry. VOLUME TWO (Second Edition ed.). Publish or Perish, Incorporated. ISBN 978-0914098805
- 新井朝雄『相対性理論の数理』日本評論社、2021年6月22日。ISBN 978-4535789289。
- Richard Sharpe (1997/6/12). Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. Graduate Texts in Mathematics. 166. Sprinver. ISBN 978-0387947327
|
---|
Glossary of tensor theory(英語版) |
範囲 (Scope) | |
---|
表記法 (Notation) | |
---|
テンソルの定義 | |
---|
算法 | |
---|
関連事項 | |
---|
有名なテンソル | |
---|
数学者 | |
---|
カテゴリ |