コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

捩率テンソル

出典: フリー百科事典『ウィキペディア(Wikipedia)』
捩率形式から転送)

捩率テンソル(れいりつテンソル、: torsion tensor)とは、アフィン接続に対し、

により定義されるテンソルである。「捩率」という名称に関してはLoring W. Tuは「「捩率」と呼ぶうまい理由は無いように見える」[1]と述べており、Michael Spivakも同様の事を述べているなど[2]、「捩れ」としての意味付けはできない。


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

定義と性質

[編集]

準備

[編集]

捩率テンソルを定義するため、アフィン接続の定義を述べる:

定義 (アフィン接続) ― Mを多様体とし、M上のベクトル場全体の集合とする。 汎関数

で以下の性質を満たすものをアフィン接続: Affine connection)といい、を接続アフィン接続が定めるYX方向の共変微分という[3]

  1. (関数に関する左線形性)
  2. (実数に関する右線形性) 
  3.  (ライプニッツ則)

ここでXYZM上のベクトル場であり、abは実数であり、ff1f2M上定義された任意の実数値可微分関数であり、は点uにおいてとなるEの切断であり、fX方向微分である。

定義

[編集]

定義 (捩率テンソル) ― XYM上のベクトル場とするとき、

捩率テンソルという。

性質

[編集]

明らかに次が成立する:

定理 ― 捩率テンソルは以下を満たす[4]

局所座標

である(アインシュタインの縮約記法で表記)。ここでであり、クリストッフェル記号

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

 ― における捩率テンソルの値は点PにおけるXYの値XPYPのみに依存して決まり、P以外の点Qにおける値XQYQには依存しない。

よって特に

とみなせる。また

と書くとき、次が成立する[5][6]

 ― 任意のijkに対し、

よって捩率テンソルが恒等的に0になる接続、すなわち捩れなし: torsion-free)の場合、Γi
jk
jkに対して対象なテンソルになる。このため捩れなしの接続の事を対称: symmetric)な接続ともいう[5]外微分dに対し、次が成立する:

定理 ― を多様体Mの接バンドルTM上の接続とするとき、

が捩れなしM上の任意の1-形式ηM上の任意のベクトル場XYに対し、

すなわちが捩れなしである事は、が外微分と「両立」する事と同値である。

意味づけ

[編集]

「捩率」という名称に関してはLoring W. Tuによれば「を「捩率」と呼ぶうまい理由は無いように見える」[1]が、このテンソルには以下のような意味付けが可能である。

なめらかな任意の写像に対し、リー括弧の性質よりであることから、とすると、次が成立する:

定理 ― 記号を上述のように取るとき、以下が成立する:

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

他の概念との関係性

[編集]

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

定理 (リーマン幾何学の基本定理) ― リーマン多様体とし、M上定義されたアフィン接続とする。このとき、レヴィ・チヴィタ接続は以下の2つの性質を満たす。また以下の2性質を両方満たすアフィン接続はレヴィ・チヴィタ接続に限られる[8]

  • は捩れなしである。
  • M上の任意のベクトル場XYZに対し、


またをアフィン接続とするとき、と(パラメータを込めて)同一の測地線[注 1]を定め、しかも捩れがないアフィン接続が存在する:

定理 ― を多様体M上のアフィン接続とし、Mの局所座標に関するのクリストッフェル記号をとし、とする。このとき、M上のベクトル場に対し、

は局所座標によらずwell-definedで、アフィン接続の公理を満たし、しかもの測地線はの測地線と一致する[9]

特にの測地線と一致し、しかも捩れがないアフィン接続である[9]

また次が成立する:

定理 ― 2つの接続が同一である必要十分条件は、は同一の測地線を定め、しかもの捩率テンソルが同一な事である [10]

捩率形式

[編集]

定義

[編集]

定義 ―  局所的な基底に対し、捩率テンソルを

と成分表示して得られる2-形式を並べてできる縦ベクトルを基底に関する捩率形式: torsion form)という[11][注 2]

さらに行列値1-形式

により定義し、ωを基底に関する接続形式といい、曲率テンソル

に対し、行列値2-形式

により定義し、ωを基底に関する曲率形式という。


性質

[編集]

局所的な基底の双対基底をとすると[注 3]、これらは1形式である。これらを並べた縦ベクトルをとする。このとき、次が成立する:

定理 ― アフィン接続は次を満たす:

  • (カルタンの)第一構造方程式[13]: (Cartan's) first structural equation[14]
  • ビアンキの第一恒等式: first Bianchi identity[14]

ここでウェッジ積は行列とベクトルの積を用いてにより定義される。も同様に定義される。また曲率形式は以下を満たす:

定理 ―  

  • (カルタンの)第二構造方程式[15]: (Cartan's) second structural equation[16]
  • ビアンキの第二恒等式: second Bianchi identity[17]

接続行列のウェッジ積は行列積の事である。も同様に定義する。


ビアンキの第一および第二恒等式は以下のようにも書くことができる:

定理 ― M上のベクトル場X1X2X3に対し、以下が成立する:

  • ビアンキの第一恒等式[18]
  • ビアンキの第二恒等式[18]

ここで添字は「mod 3」で考える。すなわち「」は巡回和である。

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

[編集]

に対し、の基底全体の集合をとし、とすると、には自然に主バンドルとしての構造が入る。M(の接バンドル)のフレームバンドル英語版という。


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

準備

[編集]

フレームバンドル上に捩率形式を定義するため、いくつか定義を導入する。には主接続でその接続形式

を満たすものが一意に存在する[19]。ここでωは開集合上定義されたTMの基底に関するの接続形式であり、eUからへの写像とみなしたときのの引き戻しである。


さらに上定義されたベクトル値1-形式に対し、

where

となるように定義する。標準形式: canonical form)という[20]の双対基底をとすると、定義より明らかに

である。

定義

[編集]

フレームバンドル上の捩率形式および曲率形式を第一および第二構造方程式により定義する:

定義 ― フレームバンドル上の捩率形式を以下のように定義する[21]

さらにフレームバンドル上の曲率形式を以下のように定義する[21]

性質

[編集]

定義から明らかなように次が成立する:

定義 ―  

よって特に、アフィン接続の捩率形式τと曲率形式Ωが構造方程式やビアンキ恒等式を満たす事から、主接続の捩率形式、および曲率形式も構造方程式やビアンキ恒等式を満たす:

  • 第一構造方程式:
  • ビアンキの第一恒等式:
  • 第二構造方程式:
  • ビアンキの第二恒等式:


また主バンドル上の共変外微分を用いると、捩率形式と曲率形式は以下のようにも表現できる事が知られている:

定理 ― 以下が成立する[21]

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

[編集]

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


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

アフィン空間

[編集]

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

アフィン空間とは、

の事であり、にはアフィン同型群

により作用している。アフィン同型群半直積

で書き表せる。の元が上の一点を固定する変換なのに対し、の元の元をbだけ動かす上の並進であるとみなせる。

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

[編集]

M(の接バンドル)のフレームバンドルとするとき、通常の主接続の接続形式リー代数に値を取るが、アフィン空間をモデルとするカルタン幾何学ではではなくのリー代数

に値を取る接続形式(カルタン接続)を用いる[22]をカルタン接続とすると、に値を取ることから、

のように成分表示できる。ここでに値を取り、この事からは通常の主接続であるとみなせる。またカルタン幾何学では各に対し、

が全単射になることを要請するが[22]、この要請のもとは標準形式と一致する事を示す事ができる[23]

捩率形式の意味づけ

[編集]

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

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

と(通常の接続の意味での)曲率形式と捩率形式で書ける。の定義から、行列の右上の成分は並進に対応していたので、以上のことから捩率形式はカルタン幾何学の意味での曲率の並進部分である事がわかる。

[編集]

出典

[編集]
  1. ^ a b #Tu p.44. 原文「There does not seem to be a good reason for calling the torsion."」
  2. ^ #Spivak p.234. 「誰も「捩率」という用語によい説明をつけられないように見える」。原文「no one seems to have a good explanation for the term "torsion" in this case」.
  3. ^ #小林 p.76.
  4. ^ #Tu p.44.
  5. ^ a b #Tu p.100.
  6. ^ #Wendl4 p.102.
  7. ^ #Wendl4 p.101.
  8. ^ #Tu p.45.
  9. ^ a b #Kobayashi-Nomizu-1 p.146
  10. ^ #Spivak p.271.
  11. ^ #小林 p.107.
  12. ^ #Tu p.84.
  13. ^ #新井 p.270
  14. ^ a b #Tu p.203.
  15. ^ #新井 p.272.
  16. ^ #Tu p.80
  17. ^ #Tu p.204.
  18. ^ a b #Kobayashi-Nomizu-1 p.135.
  19. ^ #Tu p.268.
  20. ^ #Kobayashi-Nomizu-1 p.118.
  21. ^ a b c #Kobayashi-Nomizu-1 p.120.
  22. ^ a b #Sharpe p.184.
  23. ^ #Sharpe p.191.
  24. ^ #Sharpe p.184.

注釈

[編集]
  1. ^ ここで「∇'がパラメータを込めて同一の測地線を定める」はの測地線であれば、同じパラメータsに対して∇'の測地線になり、その逆も成り立つという意味である。 を別の変数tに変換した∇'の測地線になる場合は考慮していない。
  2. ^ #Tu p.84.ではτ自身ではなくその成分の事を捩率形式と呼んでいる。
  3. ^ であればであるが、必ずしもでなくともよい[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