物理学 › 格子ゲージ理論の繰り込み群：Bałaban と Dimock の原論文 › 準備 2有料章
ブロックの軸ゲージの存在と一意性 (1.15)(1.19)
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 4 件、定義なども含めて 4 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 4 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
- 平均のゲージ共変性（[12] の (11)）✓補題 2.11・準備 2
- 相対変数の平行移動 (1.21)(1.17)✓補題 3.2・準備 2
- 軸方向の木ゲージ✓補題 6.1・格子上の微分形式とゲージ固定
- 木ゲージ✓定理 4.8・格子ゲージ場
これを使っている定理 証明で参照している 12 件
- 二次形式の主要項（原論文 (1.7)）✓補題 4.6・Bałaban『Large field renormalization II』精読 第 1 部
- Lemma 1 [14]：1 段の軸ゲージの評価✓補題 3.6・準備 2
- 領域列の上での配位の差の評価（(1.65) の多スケール版）✓補題 3.10・準備 2
- 同じ平均をもつ 2 つの正則配位の差✓補題 3.11・準備 2
- Proposition 6 [14]：付加的な正則性の仮定は不要✓命題 6.1・準備 2
- 近似解と Landau ゲージへの帰着（原論文 (11)–(21)、Proposition 2）✓命題 4.1・準備 4
- 局所座標の局所版（原論文 (144)–(160) の局所的な形）✓命題 8.5・準備 4
- 軸ゲージの表示とゲージ共変性（原論文 (181)）✓命題 9.4・準備 4
- 最小配位の近くでの解析性✓補題 4.12・Bałaban『Renormalization group approach to lattice gauge field theories I』精読 第 2 部
- 平均の一貫性（原論文 (3.18)(3.23)(3.38)(3.39) の基礎）✓補題 5.2・Bałaban『Renormalization group approach to lattice gauge field theories I』精読 第 2 部
- 一般化された軸ゲージと Landau ゲージ（原論文 (3.26)(3.27)）✓命題 5.4・Bałaban『Renormalization group approach to lattice gauge field theories I』精読 第 2 部
- 正則性の伝播（原論文 Lemma 4、(3.36)–(3.53)）✓補題 6.2・Bałaban『Renormalization group approach to lattice gauge field theories I』精読 第 2 部