# Bałaban『Large field renormalization II』精読 第 1 部：分母の下界、Proposition 1 の証明、Wilson 項の相殺
> Bałaban の R 操作の比の分母を Poincaré 不等式とガウス積分で下から抑え、臨界配置の存在と一意性を縮小写像で示し、分子の Wilson 項から g⁻²A(ζ₀,U₀) を抜き出して分母と相殺するまでを証明する。
> https://rikai.mugen-giken.com/physics/gauge-rg-papers/balaban-large-field-2-part-1
## 0. この記事の要点
4 次元の Yang–Mills 理論の紫外安定性を示す一連の論文の、最後の 1 本を読みます。ここで扱う操作 R は、場の大きい領域の寄与を、小さい領域と同じ形の項に書き換えるものです。第 1 部では、その比の分母が危険な理由と、分子との相殺までを証明します。
- T. Bałaban の論文 "Large field renormalization. II"（Commun. Math. Phys. 122 (1989) 355–392）は、4 次元の格子純ゲージ理論の紫外安定性を証明する一連の論文の最後の 1 本です。本章はその Introduction と §1 前半（式 (1.1)–(1.37)）を精読します。
- 主定理（Theorem 1）は「有効結合定数がすべて十分小さければ、くりこみ群を何回施しても有効密度は帰納法の仮定の形を保つ」という主張で、その帰結が格子間隔によらない紫外安定性の評価 (0.1) です。本章では言明と証明の構造を置き、証明の完結は第 3 部で行います。
- 大場の領域を処理する操作 R は、分子と分母に $g_k^{-2}$ のかかった [Wilson 項](/physics/lattice-field-theory/lattice-gauge-fields#def-wilson-action)をもつ比です。分母については、直方体上の軸ゲージの **Poincaré 不等式** $\sum_b|B'(b)|^2\le c_d(100M)^{d+1}\sum_p|(\partial B')(p)|^2$（原論文の係数 $d$ は、境界をまたぐボンドまで含めた本章の証明では $c_d=16d^2$）を完全に証明し、二次形式の下界とガウス積分から $\exp(-O(1)\log M\,|\Lambda|)$ の精度で分母を評価します。
- 前論文の Proposition 1（臨界軌道の存在・一意性・正則性・解析延長）は、原文ではこの論文の p.359 に数行で証明されています。本章では[縮小写像の原理](/mathematics/calculus/inverse-implicit-functions#thm-contraction)と正則関数の一様極限を使って、一意性の範囲と定数を明示した形で証明します。原論文の正則性の評価 $B_5M^5\varepsilon$ は $\ell^2$ と sup のノルムを混ぜて得られており、ノルムをそろえると $c_EB_5M^{3d/2+1}\varepsilon$（$c_E$ は延長の曲率の定数）になり、前論文の延長（$c_E=B_3C_EM^2$）を入れると $B_5M^{\theta_1}\varepsilon$、$\theta_1=\frac{3d}2+3$（$d=4$ で $9$）です（$M$ を固定してから $g_k\to0$ とする後の議論には影響しません）。
- 分子の Wilson 項は、展開と局所化を重ねて $-g_k^{-2}A(\zeta_0,U_0)$ と非負の二次形式と小さい項に分かれます。線形項は臨界性から**ちょうど 0** になり、分母の $+g_k^{-2}A(\zeta_0,U_0)$ と打ち消し合います。結合定数の位置依存から来る係数の食い違いは $|g''_k(x)^{-2}-g_k^{-2}|\le O(1)(k-j)$ で、これを独立の補題として証明します。
## 1. 動機
### 1.1. 何を示した論文か
4 次元の Yang–Mills 理論を数学的に構成することは、場の量子論の中心的な未解決問題の 1 つです。格子で正則化した理論は有限次元の積分で定義できますが、格子間隔 $\eta$ を $0$ に近づけたときに分配関数や相関関数が制御できるかどうかは自明ではありません。Bałaban は 1984 年から 1989 年にかけての十数本の論文で、トーラス上の格子純ゲージ理論について、ブロック平均によるくりこみ群を繰り返し施しても有効密度が制御された形を保つことを示し、その帰結として**紫外安定性**
$$
\chi_k\exp\Bigl[-\frac1{g_k^2}A(U_k)-E_-|T_\eta|\Bigr]\le\rho_k\le\exp\bigl(E_+|T_\eta|\bigr)
$$
を得ました。定数 $E_\pm$ は格子間隔にも段数 $k$ にもよりません。分配関数が体積に比例する指数の上下界で抑えられることは、連続極限を取る前提となる最初の一様評価です。
この一連の論文は 3 層に分かれています。
| 層 | 内容 |
|---|---|
| 準備（1984–85） | ゲージ場の平均操作、正則な配置の空間とゲージ固定、背景場中のプロパゲータとランダムウォーク展開、変分問題と背景場、3 次元の紫外安定性 |
| 小場のくりこみ（RG I–III、1987–88） | 場が小さい領域での有効作用の生成と結合定数のくりこみ、クラスター展開、帰納法の仮定の全一覧 |
| 大場のくりこみ（本論文と前論文、1989） | 場が大きい領域を扱う操作 R の定義と評価 |
[前論文 "Large field renormalization. I"](/physics/gauge-rg-papers/balaban-large-field-1-part-1) は、大場の領域のまわりで予備的な積分を $N$ 回行い、積分領域 $\Lambda$ を定め、R の基本形 R′ を比の形で定義しました。本論文は R′ の比に残っている危険な項を相殺し、局所化し、指数化して、R を完成させます。これで RG III の §2 に書かれた帰納法の仮定がすべての段で保たれることが示され、主定理が完結します。
### 1.2. なぜ分母が危険なのか
R′ の 1 項は、大場の成分 $Z$ ごとに
$$
\frac{\displaystyle\int dV'\,\delta_{G_0}(V')\,\chi\,\exp\Bigl[-\frac1{g_k^2}A(\zeta_0,\cdot)\Bigr]\cdots(\text{分子})}{\displaystyle\int dV'\,\delta_{G_0}(V')\,\chi\,\exp\Bigl[-\frac1{g_k^2}A(\zeta_0,U_{k,Z}(V'V_\Lambda))\Bigr]}
$$
という比です。分母の指数には $g_k^{-2}$ がかかっていて、$g_k\to0$ でいくらでも大きくなりえます。分母を下から抑えられなければ、比の上界は得られません。本論文の着想は単純で、分母の積分を臨界配置 $U_0$ のまわりで展開すると、主要項 $-g_k^{-2}A(\zeta_0,U_0)$ が積分の外に出て、残りは $g_k$ によらない有界なガウス型積分になる、というものです。そして分子からも同じ $-g_k^{-2}A(\zeta_0,U_0)$ を正確に抜き出せれば、両者が打ち消し合います。
この「正確に抜き出す」ところに 2 つの技術的な要がありました。1 つは、分子の展開の線形項が $g_k^{-1}$ の重みで現れるので、評価で小さくするのではなく**恒等的に 0** であることを示さなければならないことです。これは $U_0$ が拘束つきの臨界点であることから従います。もう 1 つは、分母の二次形式が正定値であることを、体積によらない定数で示すことです。ここで直方体上の Poincaré 不等式が使われます。
### 1.3. 物理への含意
この論文の議論は、結合定数が紫外で小さくなる（漸近自由性）ことに全面的に依存しています。$g_k\to0$ だから $g_k^{-2}$ の項が支配的になり、それを相殺すれば残りが小さくなるのです。可換なゲージ理論である 4 次元の量子電磁力学（QED₄）では結合定数が紫外で大きくなるので、同じ構成はそのままでは使えません。3 次元の量子電磁力学（QED₃）は超くりこみ可能で結合定数が次元をもつため、Dimock がこの枠組みをフェルミオンを含む形に移しています（本テーマの後半の章）。
もう 1 点、本論文の構造から読み取れる量的な事実があります。大場の領域は、それが生まれた段 $j$ から現在の段 $k$ まで、結合定数のくりこみを受けずに「凍結」されています。そのため領域の中の結合 $g''_k(x)$ と外の結合 $g_k$ の逆 2 乗の差は $O(1)(k-j)$ まで育ちます（[` で指します。どの定理のどの評価を使ったかを、証明の各段で明示します。
- 「小さい」という主張は、どの因子の積がなぜ $g_k\to0$ で $0$ に行くのかを、]