接続形式 (Connection Form)
接続形式は
数学、特に
微分幾何学において、
微分形式や動標構の概念を用いて接続のデータを構築する方法です。接続形式の歴史は、20世紀初頭の
エリ・カルタンにまで遡ります。彼は動標構の手法を通じてこの概念を導入しました。接続形式は選択した標構(或いは
座標系)に依存し、そのため
テンソル的な対象とは言えません。
概要
接続形式は、カルタンの初期の研究によって様々な一般化や再解釈が提案されました。特に、主バンドル上での接続は、
テンソル的な対象として再解釈される点において重要です。一方で、接続形式は微分可能
多様体上に定義される
微分形式であるため、
テンソル性を持たなくても計算が比較的容易です。このため、接続形式は今でも広く用いられています。特に
物理学の分野では、
ゲージ理論におけるゲージ共変導関数を通じて多く利用されています。
接続形式は
微分形式の
行列からなり、
ベクトルバンドルの基底に関連付けられています。基底変換は、
レヴィ・チヴィタ接続に使われる
クリストッフェル記号と同様の方法で
外微分の変換を行います。接続形式の重要な不変量は、その曲率形式です。また、
ベクトルバンドルのファイバと接続の同一視を扱った標準1-形式も不変量となります。大半の場合、接続形式は構造群が
リー群であるファイバーバンドルに構造を付与して考えられます。
微分可能
多様体の上のファイバーバンドルとその標構に関して、局所切断を使って接続を定義します。接続は、
微分作用素として表され、局所切断の
外微分と関連して動作します。外積接続は局所切断に関連付けられたデータに基づいており、特に接続形式を適用するプロセスにおいて効果的です。
例えば、
ベクトルバンドル上の局所標構が与えられた場合、接続形式は外積接続を用いることにより一意に決まります。この形式は、様々な
座標系に依存することに留意しなければなりません。接続形式がどのように変換されるかは、接続の性質を理解する際に重要なポイントとなります。
曲率と捩率
接続形式に関連する曲率は、接続形式の変化に対する応答を示します。曲率形式は接続の保たれる性質と密接に関連しており、特にリーマン幾何学において重要です。捩率は接続の変化によってどう圧縮や伸展するかを解析するもので、これもまた物理的な解釈を持ちます。
主バンドルと接続形式
接続形式の概念は、主バンドルの枠組みの中でも捉えられます。接続は、主バンドルにおいて、特定の条件下での平行移動と結びついています。この関係により、相互作用する物理モデルや幾何学的構造が表現され、一般的な接続の整合性が保たれることになります。
接続形式と接続の理解は、
微分幾何学や
物理学の多くの領域において重要な役割を果たしており、抽象的な
数学の枠を超えて、実際の問題解決に寄与しています。