数学 › 微分幾何学 › ファイバー束・主束と接続
曲率形式とその性質
接続 の局所ゲージポテンシャル に対し、 値 2 形式 を曲率(場の強さ)という。
- 上で 。
- (Bianchi 恒等式)。
- 同伴束の接続 について 。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。
これを使っている定理 証明で参照している 5 件
- Ricci 形式と第一 Chern 類✓定理 7.2・Kähler 多様体
- 共変外微分と不変多項式✓補題 2.2・Chern–Weil 理論と特性類
- 曲面上の Chern 数の整数性✓定理 4.1・Chern–Weil 理論と特性類
- ゲージ変換の局所表示と作用✓命題 6.2・ファイバー束・主束と接続
- Yang–Mills 方程式・ゲージ不変性・共形不変性✓命題 2.3・Yang–Mills 理論と質量ギャップ I