2026-10-15 · chapter ヤン–ミルズと質量ギャップ第 15 部 紫外の制御Bałaban の連作・BBS の鎖・原典との対応 · Kiichi, Shiori and Rin

原典の地図 — Bałaban の計画・BBS の鎖・原典に無い二行

• Bałaban の四次元の定理は「有効結合が $(0,\gamma]$ に留まる」を仮定し、それを外す定理は未発表です。到達点は、有限体積の格子で、有効密度と分配関数の格子間隔に一様な上下界まで、(U3) を仮定して、です（§01・§02）。
• 易しい模型での書き直しは三次元の $\phi^4$ と三次元 QED まで来ていますが、三次元の Yang–Mills と二次元の σ 模型の後半の段は見当たりません（§03）。
• 平らな場の一段の評価は、期待値と半ノルムの入れ替え → ノルムの定義 → 性質 (ii)(iii)(iv) の鎖で出て、性質 (iii) の期待値の測度は背景に依りません（§04）。
• 零モードを消した捩れた $T^4$ の上で ① を五行で言明でき、原典に無いのは (T-U3) の中身（大きな場込みの一段の剰余 (S)）と (T-Obs)（観測量の源）の二行です（§05・§06）。

Bałaban のゲージ理論の連作（Commun. Math. Phys.、1983〜1989）を、受け持つ仕事で五段に分けると表 1 になります。書誌は 6-07 表 1 と同じです。本文を照合したのは三次元の論文の冒頭と、最後の論文の要旨と序文だけで、段 4・段 5 と 119 の行は抄録で確かめました。段 1〜3 の「受け持つ仕事」は題から読んだもので、中身の照合ではありません。「三つの条件」は 15-00 §01 の (U1)(U2)(U3) です。

最後の論文の序文の定理は次のとおりです 典（6-07 §03）。

'Theorem 1. If the sequence of the effective coupling constants is contained in an interval ]0, γ] with a sufficiently small positive γ, then the effective densities ρk have the form, and satisfy all the conditions and bounds, described in Sect. 2.'

仮定は (U3) そのもので、結論は有効密度の形（15-00 の (2)）と (U1)(U2) の評価です。著者は、仮定は先行論文の Theorem 2 から出る基本の不等式に従うので外せるが、'The proof of Theorem 2, which is based on second order perturbative calculations, is very awkward and long ... and has not been published yet' と続けます 典。著者の 1989 年以後の論文の書誌を探した範囲で、Theorem 2 の証明を載せたものは見当たりません（6-07 の出典表）。だから四次元の到達点は、有限体積の格子で、有効密度と分配関数の格子間隔に一様な上下界まで、(U3) を仮定してです 典（6-07 表 4 の水準 1）。相関関数の評価・極限の一意性・OS 公理・無限体積・ギャップは、どの資料も到達点に含めていません。総説（Rivasseau 2000 §II.1）は Bałaban の結果を、有限体積で任意に多くの段の後の有効作用の紫外安定性と要約し、(U3) の仮定に触れません 典（総説の本文）。これは要約の水準の差で、この節の到達点の文は総説ではなく最後の論文の序文に拠ります。

止まった場所を一行で言うと、(U3) を外す一段の剰余の評価です。(U3) がその評価 (S) と、定義域の中の連続性 (C) という初等的な部分に割れることは 15-03 の補題 F で見ます。

Magnen–Rivasseau–Sénéor（1993）は連続の運動量の切断で、四次元 $SU(2)$・自明な位相の区画・固定した赤外の切断・正則化した軸ゲージの Schwinger 関数の紫外極限を述べましたが、'we do not provide a detailed proof' と書き、詳細は 'several hundred pages' になるだろうと述べます 典（6-07 §06）。

方法を易しい模型で書き直す仕事は、三次元の $\phi^4$（Dimock I〜III、展開の収束と安定性の評価まで）と三次元の QED（Dimock の三本 arXiv:1512.04373・1712.10029・2009.01156：有界な場の近似で裸の量を調整して流れの終点を決める段、多尺度の伝播関数と最小点の局所正則性、弱結合で流れを完全に制御した固定した有限体積での紫外安定性の上下界）まで来ています 典（QED の三本は抄録。6-05 の出典表・11-07 §05）。三次元の Yang–Mills について同じ形の連作は、著者名での検索の範囲では見当たりません。二次元の σ 模型への移植は表 1 の段 3 に当たる所まで（15-01 §04）で、段 4・5 に当たる仕事は、より易しい模型でもまだ書かれていません（探した範囲で）典（抄録）。球面に値をとる場では、Bałaban の古典 $N$ ベクトル模型の低温展開の連作が、大きな場の領域を含む完全な帰納の記述を与えています（Comm. Math. Phys. 196 (1998) 485 の抄録）典（抄録）。これは赤外（低温）の問題で、二次元の紫外ではありません 読。

平らな場（スカラー場）の繰り込みでは、一段の期待値の評価が、重み（regulator）$\tilde G$ の性質だけから短い鎖で出ます。15-01 §02 の四性質のうち、補題が使うのは (ii)（場の和）・(iii)（揺らぎの期待値で一段閉じる）・(iv)（次の段の重みで押さえる）の三つです。原典の文は次のとおりです 典（Bauerschmidt–Brydges–Slade、arXiv:1907.05474v2、付録 A §A.6.2、p.214–215 の本文）。

'Lemma A.6.1. Suppose that $\tilde G$ obeys (ii), (iii) and (iv) above. Then $\|\mathbb E_+\theta K(X)\|_{\tilde G_+}\le2^{|B(X)|}\|K(X)\|_{\tilde G}$.'

証明は三つの段の鎖です 典（本文）。$\theta$ は場を $\phi\mapsto\phi+\zeta$ とずらす写像、$\mathbb E_+$ は揺らぎ $\zeta$ の期待値、$T_\phi(h)$ は点 $\phi$ での尺度 $h$ の Taylor の半ノルムです。

(1) は期待値と半ノルムの入れ替え（原典の (A.6.5)。原典は文献 [54] の Prop. 3.19 から引く）、(2) はノルムの定義（(A.6.7)）、(3) は性質の適用（(A.6.8)。(3) の冪の約束は記号を略して書いたもので、原典では $t$ 乗の形）です。(1) に (2) を入れ、(3) で期待値を払うと補題が出ます。

この鎖を読んで分かることが一つあります 読（証明の鎖を読んだもの）。(iii) の期待値は揺らぎ $\zeta$ だけの関数の期待値で、その測度は背景 $\phi$ に依りません。(1) の入れ替えも、揺らぎの法則が背景に依らないから因子 1 で立ちます。群に値をとる場では、ここに背景依存の因子 $1+\eta_k$ が入ります。群の上でこの鎖の各段がどうなるか——性質 (ii) は補題 R で立ち、揺らぎの法則が背景に依らなければ全段が通って $\eta=0$ になること（補題 H）——は 15-07 §02 と 15-07 §05 にあります。

周期的な $T^4$ では、最後の段の古典的な最小（平坦な接続）が連続の族をなし、最後の数段の積分が退化します。この付随の困難を、't Hooft の捩れで取り除いた言明を案として置きます。空間の方向の道（12-01）の小さな捩れた $T^2$ を、四次元のトーラス全体に移した形です。

設定。$G=SU(2)$、一辺 $L_0$ の四次元トーラス、ブロックの倍率 2、最後の格子の一辺の点の数 $M$（固定）、段の数 $n$、格子間隔 $a_n=L_0/(M\cdot2^n)$。Wilson の作用に捩れ $n_{12}=1$ を入れます（$(1,2)$ 平面のプラケットの一つの積み重ねに中心の元 $z=-1$ を掛ける）：

ブロック化の変換 $T$ をゲージ共変で中心のずらしと可換な平均で定め、$\rho_0=e^{-S_{\rm tw}}$、$\rho_{k+1}=T\rho_k$ とします。

言明 T⁴-UV（案・未証明）。 ある $\gamma\gt0$ と、$M$ だけに依る定数 $C,\kappa,c,r\gt0$ があって、全ての $\gamma_0\in(0,\gamma)$ と全ての $n$ について、裸の結合 $g_0=g_0(n,\gamma_0)$ を選ぶと次が成り立つ 仮。

• (T-U3) 有効結合の列 $g_0\lt g_1\lt\cdots\lt g_n=\gamma_0$ が全て定義される。
• (T-U1) $\rho_n$ は 15-00 の (2) の形を持ち、各 $E_n(X,\cdot)$ は背景場の変数で半径 $r$ の複素近傍で解析的、$|E_n(X)|\le C\gamma_0\,e^{-\kappa d(X)}$。
• (T-U2) $|R_n(\Omega^c)|\le\exp\bigl(-c\,p(\gamma_0)^2|\Omega^c|\bigr)$（$p$ は 15-00 の (U2) と同じ閾の倍率）。
• (T-Z) $e^{-CM^4}\le Z_n/Z_n^{\rm G}\le e^{CM^4}$（$Z_n^{\rm G}$ は孤立した平坦な接続のまわりの Gauss 積分の和）。
• (T-Obs) 上の三つが、最後の格子の尺度 $L_0/M$ より大きい台を持つ滑らかにした観測量の源（強さ $\le s_0$）を入れても、同じ定数で成り立つ。

全ての定数は $n$ にも $a_n$ にも依りません。(T-U3) は補題 F の結論の形です。

捩れが効く所。最後の格子の上の平坦な接続は、方向 1・2 のホロノミーが反可換、方向 3・4 のホロノミーが中心の元になるものだけで、ゲージ同値を除いて有限個です。そのまわりの随伴の揺らぎは方向 1 か 2 のどちらかで反周期的になり、零モードがありません 仮（12-01 の $T^2$ の捩れの部分の事実を四次元に延ばした読み。四次元の分類は原典で照合していない）。一方、細かい段では捩れは効きません。捩れの面は中心のゲージ変換で動かせ、局所には見えないからです 読（物理の見立て）。補題 R（15-07 §02）は捩れたプラケット $z_pU_{\partial p}$ でもそのまま成り立ちます。$z_p$ は中心の元なので、証明の中の $W_{\partial p}$ を $z_pW_{\partial p}$ に替えるだけです 初。

言明が言うこと・言わないこと。示されれば、言うのは格子間隔に一様な有効作用の評価と最後の段の非退化で、Bałaban の Theorem 1 ＋ 未発表の Theorem 2（(T-U3)）＋ 観測量への拡張（(T-Obs)）＋ 捩れによる最後の段の非退化の和に当たります。滑らかにした観測量の部分列の極限は、そこからコンパクト性で従います。言わないのは、極限の一意性・OS 公理・回転の回復・非自明性・体積に一様なギャップです。細かい段の (U1)〜(U3) の難しさは周期的な $T^4$ とまったく同じで、捩れが除くのは最後の数段の退化という付随の困難だけです 読（物理の見立て）。T⁴-UV の役目は難しさを減らすことではなく、① を零モードの無い純粋な形で言明することです。

ゲージを抜いた試験台。二次元の $O(4)$ σ 模型（$SU(2)$ の主カイラル模型）は、場が $SU(2)$ に値をとり、結合が無次元で漸近自由で、大きな場があり、ゲージがありません。捩れた円柱 $\mathbb R\times S^1_L$（捩れで零モードが無い）の上で (U1)〜(U3) を書けば、四次元の ① から根 (R3) のゲージの半分を抜いた問題になります 読（物理の見立て）。15-01 §04 のとおり、この模型でも紫外の極限は未構成で、移植は変分問題と背景場の段まで来ています 典。表 1 の段 4（小さな場の展開の一段）をこの模型で書くことが、四次元の連作の後半を読み直すより安く、① の「群値の場 × 無次元の結合」の部分を切り出す試験になります。二次元の結果は四次元に何も含意しません。

表 2 は、言明 T⁴-UV の各行が Bałaban の連作のどこに当たり、捩れで変わるか、原典に無いかを並べたものです。最後の列は、方法を易しい模型で書き直した三次元の QED（§03 の Dimock の三本）での対応です。

表 2 から読むこと 読。原典に無いのは (T-U3) の中身（大きな場込みの一段の剰余 (S)）と (T-Obs) の二行で、要る新しい数学の場所はこの二つです。(T-Z) の正規化と最後の段の非退化は捩れに固有ですが、有限次元の積分の問題で、難しさの質が違います。三次元 QED の 1512.04373 は、裸の relevant な量を調整して流れの終点を決める型の文を有界な場の近似で持ち、これは補題 F の結論の形です。(T-U2) の指数を $p(\gamma_0)^2$ で書くのは、原典の閾 $\varepsilon=g\,p(g)$（6-05 の式 (7)）から出る大きな場の因子の形に合わせたもので、$\gamma_0$ の負の冪で書くと原典の閾より強い文になります。二行が何を示せば閉じるかの一行の言明と、その案は 15-08 にあります。

(a) 表 1 の連作の中身は、三次元の論文の冒頭と最後の論文の要旨と序文のほかは、段 4・段 5・119 は抄録、段 1〜3 は題による読みです。

(b) Theorem 2 の内容は分かりません。未発表という判断は、序文の文と、探した範囲の書誌によります。

(c) §04 の鎖は平らな場の原典の文で、群の上では何も言いません。「性質 (iii) の測度は背景に依らない」は証明の鎖の読みです。

(d) 言明 T⁴-UV は案で、示していません。示されても、一意性・OS 公理・非自明性・無限体積・体積に一様なギャップには何も言いません。四次元の捩れた平坦な接続の分類は原典で照合していません。

(e) 表 2 の対応は抄録と（6-07 を通した）序文の水準で、連作の本文の節・定理番号には届いていません。

依存グラフ（前提の番号は結論の番号より小さい）：

[01] 典 ABS    連作と三次元 QED の抄録
[02] 典 THM    Theorem 1・Theorem 2 未発表
[03] 典 MRS    MRS の到達点
[04] 典 BBS    補題 A.6.1 と鎖                                   平らな場
[05] 読 FLAT   (iii) の測度は背景に依らない ⟸ [04]
[06] 仮 T4     言明 T⁴-UV ⟸ [02]                                 案
[07] 初 RTW    補題 R は捩れても同じ                             z_p は中心
[08] 読 TW     捩れは最後の段だけ ⟸ [06]
[09] 読 O4     二次元 O(4) の試験台 ⟸ [06]
[10] 読 MAP    T⁴-UV と原典の対応 ⟸ [01][02][03][06][07]          抄録の水準

確かめ方は、全ての「⟸」の右の番号が左の番号より小さいことを目で見ることです。[06] は仮定の行で、① を言い直した問いの形です。この章の節点に、① が示されたという節点はありません。

この章が言えている範囲

出典と再現

この章で使った語 — Bałaban の連作の五段・Theorem 1・Theorem 2・MRS・補題 A.6.1・期待値と半ノルムの入れ替え・言明 T⁴-UV・'t Hooft の捩れ・試験台・原典に無い二行。意味は A-02 用語集 にあります。

次に読む章：15-03 分解の言明 — ① を有限個の母数で閉じる類と三つの剰余に割る。

← 15-01 紫外の難しさ — 無次元の結合・群値の場・ゲージ目次15-03 分解の言明 — 有限個の母数で閉じる類と三つの剰余 →