カルタン形式 (物理学)

理論物理学において良く用いられる、四脚場 () や () の理論は四次元多様体にを適用した特殊例である。これは計量の符号がどのような場合でも適用することができる（計量テンソルを参照）。四次元でない場合は、三つ組 ()や五つ組 ()、二脚場 ()、五脚場 ()、十一脚場 ()などの用語が用いられる。 一般の次元については多脚場 () という用語が用いられる。
基底依存の添字記法については、を参照。
基礎的要素.
 を-次元可微分多様体、自然数 および が
を満たすものとする。さらに 上の 主束 と、それに付随する -ベクトル束 が の自然な -次元表現として与えられたものとする。等価な表現として、 は符号数 の計量 （非縮退二次形式）を備えた 上のランク- 実ベクトル束であるとも言える。
カルタン形式の基礎的な要素は、 上のベクトル束から の接束 への可逆線形写像 である。可逆という条件は課されない場合もある。特に、 が自明な束である場合は、（局所的には常に仮定できるが） は直交断面 formula_1 を基底に持つ。すなわち、この基底に対しformula_2 は定数行列である。 上の局所座標 formula_3 （添字の負号は単に の添字と区別するためのもの）および対応する接束の局所標構 formula_4 を選ぶと、写像 は基底断面の像
により決定される。これにより、接束の（非座標）基底が定義される（ただし、 が可逆な場合。また、 が局所的にのみ自明化される場合は基底も局所的なものとなる）。行列 formula_6 は、四脚場、多脚場などと呼ばれる。これの局所標構としての解釈は局所基底の暗黙の選択に依存する。
同値関係 formula_7 が成り立つ場合は、を のように縮小でき、これを接束の主束と呼ぶ。一般には、このような縮小は位相幾何学的な理由により不可能である。したがって、一般の連続写像 に対しては、 上のどこかの点で縮退してしまうことが避けられない。
例: 一般相対性理論.
一般相対性理論における時空の幾何学を、普通使われている計量テンソル場の代わりに四つ組場を用いて記述することができる。計量テンソル   は、接空間における内積を次のように直接定義する。
四つ組 は、接空間からミンコフスキー空間への、内積を保存する（線形）写像と見なすことができる。 よって、問題となる接空間上の二つのベクトルをミンコフスキー空間へと写像したうえで内積をとればよいことになる。
ここで、添字 および は接空間座標をなめ、 および はミンコフスキー座標をなめる。四つ組場 は計量テンソル場を上述の手続で次のように定義する。
構成法.
 上の（擬）リーマン計量は の によるにより定義される。換言すれば、T"M" の二つの断面 および に対し、以下のように計算される。
 上の接続形式 は、次の二つの条件を満たす接続形式として一意に定義される。
これはと呼ばれる。
このようにして得られた を用いて、 上の接続 を同型写像 "e" を通じて定義することができる。
ここまでで ゲージ理論が得られたので、曲率 を各点のゲージ共変量として formula_11 のように定義できる。これは単にリーマン曲率テンソルを微分形式で記述したものである。
上に用いた記法以外にも、接続形式 を 、曲率形式 を 、正準ベクトル値 1-形式 を 、 を と書く記法もある。
パラティーニ作用.
四つ組形式の一般相対性理論において四次元可微分多様体 の作用は、随伴場強度  formula_12 を伴う四脚場 と接続形式 の汎関数として以下のように定義される。
ここで、 formula_16 はゲージ曲率 2-形式、 formula_17 は反対称レビ・チビタ記号、formula_18は formula_19 の行列式である。ここで、関係式 formula_20 および formula_21 を使えば、上記の微分形式で書かれた作用が通常のアインシュタイン・ヒルベルト作用と等価であることがわかるだろう。導出途中ではプランク質量単位を用いて formula_22 としてあるが、最後の項はSI単位の因子を全て含んでいることに注意されたい。
スピノル場が存在する場合、パラティーニ作用は formula_23 が非零であることを意味する。したがって捩れテンソルが非零、すなわち formula_24 となる。も参照されたい。