【ゲージ理論】ゲージ場、曲率、共変微分、共変外微分の定義

1440

　ゲージ理論または主G束の微分幾何で基本的な役割を果たすゲージ場、曲率、共変微分、共変外微分の定義をまとめます。Yang-Mills接続の安定性についての記事を書きたいので自分の中での整理も兼ねて準備のための記事です。相当手抜きです。

　 $M$ を $m$ 次元多様体、 $G$ をLie群、 $g$ を $G$ のLie環とします。 $g$ の基底を $T_{a}, (a = 1, 2, \dots, n)$ 、 $P = P (M, G)$ を主 $G$ 束とします。 $M$ の開被覆を $(U_{α}, {x_{α}^{μ}}), (U_{β}, {x_{β}^{μ}}), \dots$ とします。　

ゲージ場

$P$ のゲージ場（ゲージポテンシャル、ゲージ接続）とは、各 $U_{α}$ 上の $g$ に値を取る１形式
$A_{α} = A_{μ}^{a} (x) d x_{α}^{μ} \otimes T_{a}$
である。また $P$ の変換関数 $f_{α β} : U_{α} \cap U_{β} \to G$ に対して、 $A_{α}, A_{β}$ の関係はゲージ変換
$A_{β} = f_{α β}^{- 1} A_{α} f_{α β} + f_{α β}^{- 1} d f_{α β}$
で与えられる。

曲率

　 $g$ に値を取る１形式 $A = A_{μ}^{a} (x) d x_{α}^{μ} \otimes T_{a}, B = B_{μ}^{a} (x) d x_{α}^{μ} \otimes T_{a}$ に対して、微分形式の外積と $g$ のLie括弧を同時に計算する記号を
$[A \land B] := A_{μ}^{a} B_{ν}^{b} d x^{μ} \land d x^{ν} \otimes [T_{a}, T_{b}]$
と定義します。

曲率

$P$ のゲージ場 $(U_{α}, A_{α}), (U_{β}, A_{β}), \dots$ に対して、曲率（フィールドストレングス）とは各 $U_{α}$ 上の $g$ に値を取る２形式で
$F_{α} := d A_{α} + \frac{1}{2} [A_{α} \land A_{α}]$
で与えられる。

　多くのゲージ理論では $G$ は線形Lie群なので、 $T_{a}$ は行列で与えることができます。このとき $A$ を要素が１形式である行列と見なすことで、
$\begin{aligned} [A \land A] & = A_{μ}^{a} A_{ν}^{b} d x^{μ} \land d x^{ν} \otimes [T_{a}, T_{b}] \\ = A_{μ}^{a} A_{ν}^{b} d x^{μ} \land d x^{ν} \otimes (T_{a} T_{b} - T_{a} T_{b}) \\ = 2 (A_{μ}^{a} d x^{μ} \otimes T_{a}) \land (A_{ν}^{b} d x^{ν} \otimes T_{b}) \\ = 2 A \land A \end{aligned}$
とできます。ただし $A \land A$ は行列の積と要素である１形式どうしの外積を同時に実行します。よって曲率は
$F = d A + A \land A$
と書くこともできます。また $A_{μ} = A_{μ}^{a} T_{a}$ と書くと
$F = d A + \frac{1}{2} [A \land A] = \frac{1}{2} (\frac{\partial}{\partial x^{μ}} A_{ν} - \frac{\partial}{\partial x^{ν}} A_{μ} + [A_{μ}, A_{ν}]) d x^{μ} \land d x^{μ}$
なので曲率の成分は
$F_{μ ν} = \frac{\partial}{\partial x^{μ}} A_{ν} - \frac{\partial}{\partial x^{ν}} A_{μ} + [A_{μ}, A_{ν}]$
と表すことが出来ます。

同伴ベクトル束の共変微分

　 $ρ : G \to G L (r, K), (K = R, C)$ を表現とします。表現 $ρ$ に関する同伴ベクトル束を $E = P \times_{ρ} K^{r}$ とします。 $E$ に値を取る $k$ 形式を $Ω^{k} (E)$ と書くことします。

共変微分

　 $ψ \in Γ (E)$ に対して、共変微分 $D_{A} : Γ (E) = Ω^{0} (E) \to Ω^{1} (E)$ を
$D_{A} ψ := d ψ + ρ_{*} (A) ψ$
で定義する。ただし、 $ρ_{*}$ は $ρ$ を滑らかな写像と見なしたときの微分写像である。 $E$ のフレーム場を ${E_{i}}$ とし、 $ρ (A)$ の ${E_{i}}$ に関する表現行列を $ρ (A)_{j}^{i}$ と書くとき、
$ψ = ψ^{i} \otimes E_{i}, (ψ^{i} \in Ω^{0} (M))$ に対して、共変微分の成分表示は
$\begin{aligned} D_{A} ψ & = (D_{A} ψ)^{i} \otimes E_{i} \\ (D_{A} ψ)^{i} & = d ψ^{i} + ρ_{*} (A_{μ}^{a} T_{a})_{j}^{i} ψ^{j} d x^{μ} \end{aligned}$
である。

同伴ベクトル束の共変外微分

　 $Ω^{k} (E), (k \geq 1)$ に対しては、 $D_{A}$ を拡張した共変外微分が定義されます。

共変外微分

　共変外微分 $d_{A} : Ω^{k} (E) \to Ω^{k + 1} (E), (k \geq 1)$ を
$d_{A} ψ = d ψ + ρ_{*} (A) \land ψ$
で定義する。 $ρ_{*} (A) \land ψ$ は行列の作用と微分形式の外積を同時に計算する記号である。 $E$ のフレーム場を ${E_{i}}$ とし、 $ρ (A)$ の ${E_{i}}$ に関する表現行列を $ρ (A)_{j}^{i}$ と書くとき、
$ψ = ψ^{i} \otimes E_{i}, (ψ^{i} \in Ω^{k} (M))$ に対して、共変外微分の成分表示は
$\begin{aligned} d_{A} ψ & = (d_{A} ψ)^{i} \otimes E_{i} \\ (d_{A} ψ)^{i} & = d ψ^{i} + ρ_{*} (A_{μ}^{a} T_{a})_{j}^{i} d x^{μ} \land ψ^{j} \end{aligned}$
である。

投稿日：2022年11月16日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Submersion

31404

専門は相対論やLorentz幾何です。Einstein系の厳密解の構成や接触幾何の応用などの研究をしています。Ph.D保有者の中ではクソ雑魚の部類です。

他の人のコメント

コメントはありません。

読み込み中

Submersion

【ゲージ理論】ゲージ場、曲率、共変微分、共変外微分の定義

ゲージ場
曲率
同伴ベクトル束の共変微分
同伴ベクトル束の共変外微分