曲率形式

原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳があることが判明しています。情報の利用には注意してください。正確な表現に改訳できる方を求めています。

微分幾何学では、曲率形式(curvature form)は、主バンドル上の接続形式の曲率を記述する。リーマン幾何学では、曲率形式は、リーマン曲率テンソルの代行物か一般化と考えることができる。

定義[編集]

G をリー代数 ${\displaystyle {\mathfrak {g}}}$ をもつリー群とし、P → B を主 G-バンドルとする。P 上のエーレスマン接続(Ehresmann connection)を ω とする。（エーレスマン接続は、P 上の ${\displaystyle {\mathfrak {g}}}$ に値を持つ 1-形式である。）

すると、曲率形式は P 上の ${\displaystyle {\mathfrak {g}}}$ に値を持つ 2-形式であり、

${\displaystyle \Omega =d\omega +{1 \over 2}[\omega ,\omega ]=D\omega }$

により定義される。

ここで、${\displaystyle d}$ は外微分を表し、${\displaystyle [\cdot ,\cdot ]}$ は ${\displaystyle [\alpha \otimes X,\beta \otimes Y]:=\alpha \wedge \beta \otimes [X,Y]_{\mathfrak {g}}}$ により定義され、D は共変外微分（英語版）(exterior covariant derivative)である。別な表現をすると、

${\displaystyle \,\Omega (X,Y)=d\omega (X,Y)+[\omega (X),\omega (Y)]}$

である。

ベクトルバンドルの曲率形式[編集]

E → B をベクトルバンドルとすると、ω を 1-形式の行列とも考えることができるので、上の式は構造方程式

${\displaystyle \,\Omega =d\omega +\omega \wedge \omega }$

となる。ここに ${\displaystyle \wedge }$ はウェッジ積とする。さらに詳しくは、${\displaystyle \omega _{\ j}^{i}}$ と ${\displaystyle \Omega _{\ j}^{i}}$ で、それぞれ ω と Ω の成分を表すとすると（各々の ${\displaystyle \omega _{\ j}^{i}}$ は通常の 1-形式で、各々の ${\displaystyle \Omega _{\ j}^{i}}$ は通常の 2-形式である）、

${\displaystyle \Omega _{\ j}^{i}=d\omega _{\ j}^{i}+\sum _{k}\omega _{\ k}^{i}\wedge \omega _{\ j}^{k}}$

となる。

例えば、リーマン多様体の接バンドルに対して、構造群は O(n) であり、Ω は O(n) のリー代数に値をもつ 2-形式であり、反対称行列である。この場合には、曲率形式 Ω は曲率テンソルで記述すると、 ${\displaystyle \,R(X,Y)=\Omega (X,Y),}$ となる。

ビアンキ恒等式[編集]

${\displaystyle \theta }$ が標構バンドル上のベクトルに値を持つ標準 1-形式であれば、接続形式 ${\displaystyle \omega }$ のトーション ${\displaystyle \Theta }$ は、ベクトルに値を持つ 2-形式で、次の構造方程式によって定義される。

${\displaystyle \Theta =d\theta +\omega \wedge \theta =D\theta .}$

ここに、上記のように、D は共変外微分（英語版）(exterior covariant derivative)である。

第一ビアンキ恒等式は、

${\displaystyle D\Theta =\Omega \wedge \theta }$

であり、第二ビアンキ恒等式は、

${\displaystyle \,D\Omega =0}$

で、より一般的な主バンドルのに任意の接続に対して有効である。

参考文献[編集]

• Shoshichi Kobayashi and Katsumi Nomizu (1963) Foundations of Differential Geometry, Vol.I, Chapter 2.5 Curvature form and structure equation, p 75, Wiley Interscience.

関連項目[編集]

• 接続 (主バンドル)
• 曲がった時空の数学への入門（英語版）
• チャーン・サイモンズ形式
• リーマン多様体の曲率（英語版）
• ゲージ理論

表 話 編 歴 テンソル
Glossary of tensor theory（英語版）
範囲 (Scope)	数学 座標 多重線型代数 ユークリッド幾何学 テンソル代数 微分幾何学 外微分 テンソル解析 物理学 • 工学 連続体力学 電磁気学 移動現象論 一般相対性理論 コンピュータビジョン
表記法 (Notation)	添字表記法 多重指数 アインシュタインの縮約記法 リッチ計算法（英語版） ペンローズのグラフ記法 フォークト表記 抽象添字記法 テトラド表記（英語版） ファン・デル・ヴェルデン表示
テンソルの定義	テンソル空間 テンソル場 テンソル密度（英語版） 曲線座標系におけるテンソル（英語版） 混テンソル（英語版） 反対称テンソル 対称テンソル テンソル作用素（英語版） テンソル束（英語版）
算法	テンソル積 楔積 テンソルの縮約 行列（2階テンソル）の転置 添字の上げ下げ（英語版） ホッジ双対 共変微分 外微分 共変外微分（英語版） リー微分
関連事項	次元 基底 ベクトル、ベクトル空間 多重ベクトル（英語版） ベクトルの共変性と反変性 線型写像 行列 スピノール カルタン形式 微分形式 接続形式 測地線 多様体 ファイバー束 曲率形式 レヴィ・チヴィタ接続 アフィン接続
有名なテンソル	数学 クロネッカーのデルタ エディントンのイプシロン 計量テンソル クリストッフェル記号 リッチテンソル リーマン曲率テンソル ワイルテンソル（英語版） 捩率テンソル 物理学 慣性モーメント 角運動量 応力テンソル エネルギー・運動量テンソル 電磁場テンソル グルーオン場の強度テンソル（英語版） アインシュタインテンソル 計量テンソル (一般相対論)（英語版）
数学者	レオンハルト・オイラー カール・フリードリヒ・ガウス オーギュスタン＝ルイ・コーシー ヘルマン・グラスマン グレゴリオ・リッチ＝クルバストロ トゥーリオ・レヴィ＝チヴィタ Jan Arnoldus Schouten（英語版） ベルンハルト・リーマン エルヴィン・クリストッフェル ヴォルデマール・フォークト エリ・カルタン ヘルマン・ワイル アルベルト・アインシュタイン
カテゴリ