computo ergo sum

2026-10-15 · chapter ヤン–ミルズと質量ギャップ第 12 部 二本目の道:空間の方向から入口・尺度のはしご・十章の地図 · Kiichi, Shiori and Rin

この本の全体 目次と読む順
  1. 第 0 部 入口 — この本の読み方
  2. 0-01 この本の読み方
  3. 0-02 一枚の絵
  4. 0-03 問題文を一語ずつ読む
  5. 0-04 数学の四次元と物理の四次元
  6. 第 1 部 数学の準備
  7. 1-01 ベクトル空間と線形写像
  8. 1-02 群とは何か
  9. 1-03 リー群とリー環
  10. 1-04 SU(2) と SU(3)
  11. 1-05 多様体と接空間
  12. 1-06 微分形式と外微分
  13. 1-07 ベクトル束と接続
  14. 1-08 確率と測度
  15. 1-09 無限次元の確率
  16. 1-10 ヒルベルト空間と自己共役作用素
  17. 1-11 フーリエ解析と分布
  18. 1-12 寄り道:四次元でだけ起きること
  19. 第 2 部 物理の準備
  20. 2-01 ラグランジアンと作用
  21. 2-02 場という考え
  22. 2-03 電磁気学はゲージ理論である
  23. 2-04 特殊相対論と時空
  24. 2-05 量子力学の骨
  25. 2-06 調和振動子と生成消滅
  26. 2-07 経路積分の考え方
  27. 2-08 統計力学と相転移
  28. 2-09 寄り道:イジング模型で見るギャップと相関長
  29. 2-10 緩和の時間と動的指数 z
  30. 第 3 部 ヤン–ミルズ理論(古典)
  31. 3-01 ゲージ原理
  32. 3-02 非可換ゲージ場
  33. 3-03 作用と方程式
  34. 3-04 幾何としてのゲージ理論
  35. 3-05 インスタントンと位相
  36. 3-06 寄り道:Donaldson とエキゾチック R⁴
  37. 3-07 標準模型の中のヤン–ミルズ
  38. 第 4 部 量子化
  39. 4-01 正準量子化とハミルトニアン
  40. 4-02 経路積分とユークリッド化
  41. 4-03 摂動論と Feynman ダイアグラム
  42. 4-04 発散と繰り込み
  43. 4-05 発散の代数
  44. 4-06 漸近自由
  45. 4-07 次元転移と Λ
  46. 4-08 ゲージ固定と Faddeev–Popov
  47. 4-09 場の量子論の公理
  48. 4-10 Osterwalder–Schrader の公理と再構成
  49. 4-11 質量ギャップの定義
  50. 4-12 寄り道:摂動級数は発散する
  51. 第 5 部 格子ゲージ理論
  52. 5-01 Wilson の格子
  53. 5-02 強結合展開
  54. 5-03 反射正値性と転送行列
  55. 5-04 無限体積極限とクラスター展開
  56. 5-05 弱結合と連続極限
  57. 5-06 U(1) と非可換の違い
  58. 5-07 モンテカルロ法
  59. 5-08 グルーボールと弦張力の測定
  60. 5-09 何を固定して極限を取るか
  61. 5-10 有限群の格子ゲージ理論
  62. 5-11 寄り道:Bakry–Émery と一リンク積分
  63. 第 6 部 構成的場の理論
  64. 6-01 構成的場の理論とは
  65. 6-02 二次元の可解性とヤン–ミルズ測度
  66. 6-03 スカラー場の構成
  67. 6-04 クラスター展開
  68. 6-05 繰り込み群の段の列
  69. 6-06 三次元ヤン–ミルズの紫外安定性
  70. 6-07 四次元
  71. 6-08 四次元の φ⁴ の自明性
  72. 6-09 確率量子化と正則性構造
  73. 6-10 四次元で止まる場所
  74. 6-11 発散以外の障害
  75. 6-12 寄り道:「1/0 に記号を与えれば」
  76. 第 7 部 物理の側から
  77. 7-01 物理はどう見ているか
  78. 7-02 閉じ込めの機構
  79. 7-03 弦の絵
  80. 7-04 大 N
  81. 7-05 ひも理論と余剰次元
  82. 7-06 余剰次元が見えなくなる仕組み
  83. 7-07 ゲージ場はどこから来るか
  84. 7-08 ホログラフィー
  85. 7-09 質量ギャップが幾何になる
  86. 7-10 四次元に戻す
  87. 7-11 超対称と Seiberg–Witten
  88. 7-12 等価原理に当たる一文
  89. 7-13 物理の掘り方が数学と離れる場所
  90. 第 8 部 二つの言葉の辞書 — 物理の視点と数学の視点
  91. 8-01 辞書の読み方
  92. 8-02 辞書 A
  93. 8-03 辞書 B
  94. 8-04 辞書 C
  95. 8-05 私たちの仮定の物理側の対応
  96. 地図
  97. 第 9 部 現在地と課題
  98. 9-01 世界はどこまで来ているか
  99. 9-02 二つの掘り方の切れ目
  100. 9-03 新しい概念の候補
  101. 9-04 課題の一覧
  102. 9-05 よくある誤解
  103. 9-06 証明が含むべき段 — 七段の表
  104. 一本目の道 — 時間の方向から
  105. 第 10 部 一本目の道(前半)— 時間の方向から:質量ギャップと拡散型緩和時間の仮定
  106. 10-00 入口 — 階段と、酔歩・物差し・時計
  107. 10-01 構成の筋と仮定 ξ²
  108. 10-02 四次元格子で試した道と壁
  109. 10-03 階段の四段 — なぜ 0+1 次元から始めるか
  110. 10-04 二重井戸の経路の測度とキンク
  111. 10-05 一段目の言明 — 四条件と命題 4.5
  112. 10-06 (H1) 相の中の局所 Poincaré
  113. 10-07 (H2) の地図 — 七つの道筋と環の継ぎ目
  114. 10-08 計算機援用とは何か — 窓の中の鎖の条件
  115. 10-09 区画の枠組みと道筋 5 の三本の筋
  116. 10-10 迂回策の一覧 — 壊れ方の型
  117. 10-11 (H3)(H4) と芯の定数
  118. 10-12 統合表と依存グラフ
  119. 10-13 Lean の言明と機械検査の限界
  120. 10-14 突き合わせ — 記録の数と既知の数
  121. 10-15 残件と費用 — 定理までの距離
  122. 10-16 主張しないこと
  123. 10-17 ひらめきと小さな問い
  124. 第 11 部 一本目の道(後半)— 仮定の形を直し、時間を連続にする
  125. 11-00 今後の考察 — 入口
  126. 11-01 仮定 ξ² を妨げる一つの形 — ほぼ保存される大域の量
  127. 11-02 物差しと座標を選び直す — 保存が壊れる長さ
  128. 11-03 仮定 ξ² を直す二つの形 — 区画の仮定 ξ² と局所の仮定 ξ²
  129. 11-04 片側の橋はどの仮定 ξ² を要るか
  130. 11-05 時間を連続にする — Hamiltonian 格子と真空の測度
  131. 11-06 凸性の代わりに稀さで払う — 群の上の繰り込みと対数 Sobolev
  132. 11-07 四次元だからこそ — 無次元の結合と位相
  133. 11-08 問いと、主張しないこと
  134. 11-A1 第 11 部の記号の対応表
  135. 二本目の道 — 空間の方向から
  136. 第 12 部 二本目の道:空間の方向から — 小さな捩れた T² と閉じ込め
  137. 12-00 入口 — 時間でなく空間を
  138. 12-01 捩れた T² と 't Hooft の流束
  139. 12-02 渦と分数インスタントン
  140. 12-03 容器 — 枠を条件づけると独立になる
  141. 12-04 板の閉じ込め
  142. 12-05 渦の挿入の恒等式
  143. 12-06 力学で駆動した挿入と流れの補題
  144. 12-07 なぜ決まった写像は失敗するか
  145. 12-08 測った記録
  146. 12-09 この道が止まる場所 — T² を広げることが帯である
  147. 移り変わりの帯 — 二本の道が同じ壁に着く
  148. 第 13 部 移り変わりの帯 — 二本の道が同じ壁に着く
  149. 13-00 入口 — 合流
  150. 13-01 帯の正しい形
  151. 13-02 一つの不等式への還元
  152. 13-03 非可換が効く唯一の場所
  153. 13-04 構造だけでは渡れない
  154. 13-05 チェス盤と同時の反転
  155. 13-06 繰り込みの比較 — 群を区別する比較
  156. 13-07 時間の側から見た帯
  157. 13-08 試して止まった道の地図
  158. 13-09 測った記録
  159. 13-10 新しい見方の候補
  160. 13-11 紫外の制御 — 無限個の段で閉じるとは何か
  161. 閉じる
  162. 第 14 部 閉じる — 条件つきの言明
  163. 14-00 入口 — この部の約束
  164. 14-01 条件つきの言明 — 質量ギャップと閉じ込めを矢印ごとに
  165. 14-02 条件の台帳
  166. 14-03 問いの表(横断の索引)
  167. 14-04 主張しないこと(横断の索引)
  168. 付録
  169. A-01 記号表
  170. A-02 用語集
  171. A-03 文献案内
  172. A-04 Lean と機械検査
  173. A-05 この本の作り方
  174. A-06 仮定の索引
  175. A-07 この本から出た論文

入口 — 時間でなく空間を

この章で分かること — 第 10 部は、時間の方向(揺らぎが均される時間と転送行列)から質量ギャップに向かう道でした。第 12 部は、空間の方向から閉じ込めに向かう二本目の道です。四次元のうち二つの方向を小さな捩れた二次元トーラス T2T^2 に縮め、残りの平面 R2\mathbb R^2 の上で Wilson ループの面積則を考えます。この章では、(1) なぜ一度小さな捩れた T2T^2 を経由するのか、(2) その結果、問題がどう二つに割れるのか、(3) どの尺度でどの道具が効くのか(図 2「尺度のはしご」)、(4) 第 12 部の十章の地図、を述べます。

前提となる章 — 5-01(Wilson の格子)・5-02(強結合)・7-02 中心渦・4-06(漸近自由)・4-07(次元転移)・6-07(四次元の構成の到達点)。第 10 部の入口 10-00。

先に言うこと — この章は地図の章で、新しく証明する文はありません。「小さな捩れた T2T^2 では T2T^2 の大きさまで弱結合のまま」は、紫外の制御(格子間隔 aa から T2T^2 の大きさまでの、aa に一様な多重尺度の評価)を仮定した上での物理の見立てです。第 12 部の道は、質量ギャップそのものではなく、まず閉じ込め(面積則)に向かいます。二つが別の言明であることは 7-02 と 9-05 のとおりです。

この章の順序
  1. 二本目の道 — 何を、どの方向から見るか
  2. 二つの壁 — 紫外と移り変わりの帯
  3. なぜ小さな捩れた T² か — 二つの理由
  4. 尺度のはしご — どの尺度で、どの道具が効くか(図 2・表 1)
  5. 第 12 部の十章の地図(表 2)
  6. この部の記号と語の約束
  7. 第 10 部・第 13 部への案内
  8. 言えないこと
  9. 五分類の表と依存グラフ(表 3)

01

二本目の道 — 何を、どの方向から見るか

第 10 部の道は、格子の一つの方向を「時間」と見て、転送行列の隙間や、揺らぎが均される時間(拡散型緩和時間の仮定、旧称 仮定 H)から質量ギャップに近づくものでした。どこで止まったかは 10-15 にまとめてあります。

第 12 部では向きを変えます。四次元の格子の四つの方向のうち二つ(1・2 の方向)を小さな周期 LL のトーラス T2T^2 に巻き、残りの二つ(3・4 の方向)を大きな平面と見ます。平面の中に描いた Wilson ループ W(C)W(C) が、囲む面積 AA について ⟨W(C)⟩≤e−σA\langle W(C)\rangle\le e^{-\sigma A} と減るか(面積則)を問います。時間の道が「隙間」を見たのに対し、この道が見るのは「平面の中の渦の数え方」です。

巻いた T2T^2 には 't Hooft の捩れ(12-01)を入れます。捩れの無い周期的な T2T^2 に縮めると、平坦な接続の族(零モード)が残り、小さな T2T^2 と大きな四次元の間を相転移なしにつなぐ見通しが立たないことが、物理の文献で知られています 典(Tanizaki–Ünsal 2022 の §2.1 の題は「周期的な T2T^2 への縮約と、断熱的な連続性の不在」)。捩れを入れた T2T^2 では、同じ論文が、小さな T2×R2T^2\times\mathbb R^2 の弱結合の真空の構造が R4\mathbb R^4 の強結合の領域へ相転移なしにつながるという予想を述べています 典。この予想は予想のままで、この本でも予想として扱います。

02

二つの壁 — 紫外と移り変わりの帯

格子から出発して四次元の理論を作り、閉じ込めや質量ギャップを示そうとすると、性質の違う二つの壁に当たります。

  1. 紫外の壁。格子間隔 aa を 0 に近づけても崩れない、全ての尺度での一様な評価が要ります。漸近自由(4-06)のおかげで短い距離では結合が弱くなり、摂動の言葉で各尺度を制御する多重尺度の解析が考えられます。四次元のヤン–ミルズでこれに最も近いのは Bałaban の連作で、到達点と残りは 6-07 にあります。この本ではこれを「紫外の制御」という名の仮定として扱います 仮。
  2. 移り変わりの帯。結合が弱い尺度(短い距離)から強い尺度(長い距離)へ移る中間の尺度、物理の長さで 1/Λ1/\Lambda の前後(Λ\Lambda は次元転移で生まれる尺度、4-07)を、摂動に頼らずに渡る必要があります。両側にはそれぞれ道具があります(弱結合の側の摂動・半古典、強結合の側の強結合展開 5-02)。帯の中で効く道具が無いことが、この本の第 10 部の道もこの道も止まる場所です(第 13 部)。

二つの壁は、四次元に直接向かうと同時に現れます。格子間隔を小さくする(紫外)ことと、大きな箱で長い距離を見る(帯を渡る)ことを、一つの評価の中で同時にこなさなければならないからです。

03

なぜ小さな捩れた T² か — 二つの理由

小さな捩れた T2T^2 を経由すると、二つの壁を別々の段に分けられる、というのがこの道の骨組みです。理由は二つです。

理由 1:捩れが零モードを消すので、T2T^2 の大きさまで弱結合のまま進める(見立て)。捩れた T2T^2 の上では、作用が 0 の配位はゲージを除いて一つに固定され(12-01 事実 1)、その周りの随伴の揺らぎの格子 Laplacian には正のギャップ 4sin⁡2(π/2N)4\sin^2(\pi/2N) があります(12-01 事実 2、N=L/aN=L/a)初。物理の単位に直すと、NN が大きいときこのギャップは (π/L)2(\pi/L)^2 の程度で、古典的な揺らぎは全て 1/L1/L 程度の質量を持ちます。すると、結合の走りは T2T^2 の大きさ LL で止まり、LΛ≪1L\Lambda\ll1 なら有効結合 g2(L)g^2(L) は小さいまま、と見込まれます 読(物理の見立て。紫外の制御を仮定した上で)。この段には帯が現れません。

理由 2:T2T^2 を巻く渦の面は、平面の中で局所的に閉じる。中心渦(7-02)は四次元では二次元の面で、平面の Wilson ループと絡む渦の面は、四次元では面積とともにコストが増える広がった対象です。この本の検討で四次元のまま帯を渡ろうとした道は、どれも「位相的な量(渦がループと絡むかどうか)を、局所的な操作で単調に比べられない」という一点で止まりました(地図は 13-08)読。R2×T2\mathbb R^2\times T^2 では、平面の点 pp の上の面 {p}×T2\{p\}\times T^2 は面積 L2L^2 の閉じた面で、平面の中では点のように振る舞います。渦を一枚足す・除く操作が、平面の有界な領域の中の操作になります 初(面が有界な領域に入ることは定義からの事実)。この局所性が、容器(12-03)・板の閉じ込め(12-04)・挿入の恒等式(12-05)の全てを支えます。

こうして問題は二つに割れます。

割ることで易しくなったわけではありません。帯は最後の段にそっくり残ります。割って得られたのは、帯の手前の全ての段を、帯と無関係に確かめられる形に並べられることと、帯が要求する不等式の形を一つに絞れることです(第 13 部)。

04

尺度のはしご — どの尺度で、どの道具が効くか

図 2 は、物理の長さ LL(小さな T2T^2 の一辺、あるいは見ている尺度)を縦に取り、下の格子間隔 aa から上の無限遠まで、どの尺度でどの道具が効くかを並べたものです。下(弱結合)と上(強結合)にはそれぞれ道具があり、真ん中の帯だけが空いている、という問題の形を一枚で見るための図です。図の番号と題は第 13 部の入口(13-00 の図 2「尺度のはしご」)と揃えてあります。図 1(論理の流れ)は 9-06 にあります。

図 2 尺度のはしご。縦軸は物理の長さ(下ほど短い)。各段の札は表 1 にあり、図の中の文は札の付いた行の要約で、それ自体は主張ではない
尺度 L ∞ 1/Λ L₀ a 閉じ込めの領域(強結合) T² を広げても、損失は渦の位置のエントロピーだけ、と見込まれる 強結合の側の道具(強結合展開・面積則)が効く → 5-02 (尺度と結合の対応は漸近自由による見立て) 移り変わりの帯 — 両側の道具が届かない 繰り込みの比較:格子を 2 倍にした渦の自由エネルギーを、少し小さい β′ の値で押さえる 一ループの水準で β − β′ = 0.258/数値の読み 約 0.2(SU(2))、U(1) は逆向き 摂動に頼らない誤差の評価が残る核心 → 第 13 部 希薄な分数インスタントンの気体(半古典) 位相電荷 1/2 の塊、作用 4π²/g² = π²β → 12-02 弦の張力 ∝ Λ²(ΛL)^(5/3)、指数の余裕 5/3 = 11/3 − 2 (希薄な領域・一ループの勘定・ΛL ≪ 1) T² を広げる向きの評価は、この段の中では半古典の見立て L₀:小さな捩れた T² の基点 捩れ・容器・板・挿入の道具 → 12-01, 12-03〜12-05 紫外:多重尺度の解析 a から L₀ まで、a に一様な評価(Bałaban の連作が最も近い) この本では「紫外の制御」という名の仮定 → 6-07

図 2 を文字で書くと次のとおりです。下から順に、格子間隔 aa から基点の長さ L0L_0 までが紫外の段(多重尺度の解析、この本では仮定)、L0L_0 が小さな捩れた T2T^2 の基点(第 12 部の道具が直接効く所)、L0L_0 から 1/Λ1/\Lambda までが希薄な分数インスタントンの気体の段(半古典の見立て、弦の張力が Λ2(ΛL)5/3\Lambda^2(\Lambda L)^{5/3} の程度)、1/Λ1/\Lambda の前後が移り変わりの帯(繰り込みの比較が一ループの水準と数値でしか分かっていない所)、その上が閉じ込めの領域(強結合の道具が効くと見込まれる所)です。

表 1 図 2 の各段の中身と札(条件を同じ行に)
段中身札条件・範囲章
aa 〜 L0L_0aa に一様な多重尺度の評価(有効作用の局所性・大きな場の稀さ・結合の流れ)仮紫外の制御という名の仮定。四次元の Bałaban の連作には原典で未発表とされた段が残る6-07
L0L_0捩れを食う真空の一意性・随伴の Laplacian のギャップ 4sin⁡2(π/2N)4\sin^2(\pi/2N)・(1,1) の区画で最小作用が正初SU(2)・格子・NN 固定・n12=1n_{12}=112-01
L0L_0格子間隔と T2T^2 を固定すれば全ての β\beta で面積則初NN 固定・格子間隔固定。連続極限では張力が 0 になる。先行研究との照合は未了12-04
L0L_0小さな T2T^2 でのギャップと面積則を aa に一様に仮紫外の制御・挿入の一様な受理・枠の減相関の下の条件つきの研究計画12-09・14-01
L0L_0 〜 1/Λ1/\Lambda位相電荷 12\tfrac12 の自己双対の塊の作用の下限 4π2/g24\pi^2/g^2・希薄な気体の弦の張力 Λ2(ΛL)5/3\Lambda^2(\Lambda L)^{5/3}典+読前者は BPS の下限(原典の式)。後者は希薄な領域・一ループの勘定による物理の見立て(Tanizaki–Ünsal の式 (2.32)・(2.37))12-02
1/Λ1/\Lambda の前後繰り込みの比較:一ループの水準で β−β′=0.258\beta-\beta'=0.258(格子を 2 倍にするごと)初一ループの水準・SU(2)・β=4/g2\beta=4/g^2。摂動の外の主張ではない13-06
1/Λ1/\Lambda の前後数値の読み:SU(2) で β−β′≈0.2\beta-\beta'\approx0.2、U(1) では逆向き読格子 44→844^4\to8^4 ほか・種の数と誤差は 13-0913-06
1/Λ1/\Lambda の前後帯を摂動に頼らずに渡る不等式仮未解決。形は第 13 部で一つの不等式に絞る13-02
1/Λ1/\Lambda 〜 ∞\infty強結合の側の面積則典小さな β\beta での格子の言明。物理の長さの尺度との対応は漸近自由による見立て5-02

表 1 の L0L_0 の行のうち、上の二行は格子間隔を固定した言明で、三行目の「aa に一様」とは強さが違います。この差(格子間隔に一様にすること)が紫外の壁で、第 12 部の各章は、どの言明がどちらの側にあるかを同じ行に書きます。

05

第 12 部の十章の地図

第 12 部は次の十章です。札は章の中の行の札の主なもので、細かな割り方は各章の五分類の表にあります。「条件」の欄は、その章の主な言明に必ず付く条件です。

表 2 第 12 部の十章(札・条件を同じ行に)
章題一行の中身主な札条件
12-00入口 — 時間でなく空間をこの章読+典「弱結合のまま」は紫外の制御の仮定の下の見立て
12-01捩れた T² と 't Hooft の流束n12=1n_{12}=1・区画・流束の自由エネルギー・捩れの和のアンサンブル。三つの初等的な事実典(定義)/初(三つの事実)SU(2)・格子・NN 固定・n12=1n_{12}=1
12-02渦と分数インスタントン位相電荷 12\tfrac12 の塊・作用 4π2/g24\pi^2/g^2・希薄な気体・弦の張力 Λ2(ΛL)5/3\Lambda^2(\Lambda L)^{5/3}・格子の作用が π2β\pi^2\beta に下から近づくこと典/読/機/仮希薄な領域・一ループ・SU(2)。冷却の作用は上界
12-03容器 — 枠を条件づけると独立になる容器の恒等式(Mack–Petkova)・平面の方向の入れ子・四次元での限界典/初恒等式は既知。Lean は有限の代数だけ
12-04板の閉じ込め格子間隔と T2T^2 を固定すれば全ての β\beta で面積則初NN 固定・格子間隔固定・連続極限では張力が 0。先行研究との照合は未了
12-05渦の挿入の恒等式挿入比の期待値 1・区画の符号との相関・平均した評価・二次モーメント初有限の配位空間・正の重み・区画を反転する全単射
12-06力学で駆動した挿入と流れの補題Jarzynski 型の恒等式・同時の反転の評価初/典一段の核の評価は帯の試験には使えない
12-07なぜ決まった写像は失敗するか揺らぎの形を変えない写像は反遮蔽の 4 を見られない。11/3=−1/3+411/3=-1/3+4初/読一ループの水準
12-08測った記録駆動した挿入の仕事・渦の自由エネルギー・板の弦の張力読群・β\beta・格子の大きさ・測定数・誤差を各行に
12-09この道が止まる場所T2T^2 を広げること=移り変わりの帯仮+読—

読む順は番号のとおりを勧めます。急ぐ読者は 12-01 の §01〜§02(設定)、12-02 の §01〜§03(分数インスタントンと希薄な気体)、12-04(板の閉じ込め)、12-09(止まる場所)の順に読めば、道の骨組みが追えます。

06

この部の記号と語の約束

07

第 10 部・第 13 部への案内

第 10 部(一本目の道)へ。第 10 部は時間の方向から質量ギャップに向かう道で、拡散型緩和時間の仮定(旧称 仮定 H)を一段目の模型で組み立てました。入口は 10-00、止まった所は 10-15、その先の考察は第 11 部(11-00)です。二つの道は、示そうとする言明が違います(第 10 部はギャップ、第 12 部はまず面積則)。

第 13 部(帯)へ。二本の道は、どちらも「全ての尺度で同じ定数」という型の言明の手前で止まります。第 13 部(13-00)は、その言明の正しい形(13-01)、一つの不等式への還元(13-02)、時間の側から見た同じ帯(13-07)を扱います。第 12 部の最後の章(12-09)が第 13 部への橋です。

段の表へ。証明が含むべき段(器・紫外・小さな T2T^2 のギャップ・小さな T2T^2 の閉じ込め・帯・R4\mathbb R^4・一般の群)の表は 9-06 にあります。第 12 部は、その表の「小さな T2T^2」の二段と「帯」の段の入口を埋めます。

08

言えないこと

(a) 弱結合。「T2T^2 の大きさまで弱結合のまま」は、紫外の制御を仮定した上での物理の見立てで、定理ではありません。格子間隔に一様な評価は、この本のどこにもありません。

(b) 断熱的な連続性。小さな T2T^2 と R4\mathbb R^4 が相転移なしにつながることは予想で、この本はそれを使いません。使うのは「つながるなら何を示せばよいか」の形だけです。

(c) 閉じ込めとギャップ。この道の目標は面積則で、面積則から質量ギャップを出す既知の道はありません。二つは別の言明です(9-06・14-01)。

(d) 図 2。図 2 は道具の置き場所の地図で、尺度と結合の対応(どの LL がどの β\beta に当たるか)は漸近自由による見立てです。図の中の数は表 1 の札の付いた行の要約です。

09

五分類の表と依存グラフ

表 3 この章の行(「—」は機械検査の無い行)
行言明(一行)分類根拠範囲機械検査
[01]周期的な T2T^2 では断熱的な連続性が立たない(物理の文献の記述)典Tanizaki–Ünsal §2.1物理の議論—
[02]捩れた T2×R2T^2\times\mathbb R^2 から R4\mathbb R^4 への連続性の予想典同、要旨予想として—
[03]捩れを食う真空の一意性と随伴の Laplacian のギャップ初12-01 の事実 1・2SU(2)・格子・NN 固定・n12=1n_{12}=1—
[04]面 {p}×T2\{p\}\times T^2 は平面の有界な領域に入る初定義——
[05]紫外の制御仮6-07aa から L0L_0 まで—
[06]T2T^2 の大きさまで弱結合のまま ⟸ [03][05]読物理の見立てLΛ≪1L\Lambda\ll1—
[07]四次元のまま帯を渡ろうとした道が止まった一点(位相的な量を局所的に比べられない)読13-08 の地図試した道の範囲—
[08]問題が中間の到達目標と最後の段に割れる ⟸ [04][06][07]仮この章 §03研究計画の形—
[09]図 2 と表 1 の各段 ⟸ [05][06][08]各行の札表 1表 1 の条件—

依存グラフ(前提の番号は結論の番号より小さい):

[01] 典 PER    周期的な T² では連続性が立たない                    物理の議論
[02] 典 ADI    捩れた T² × R² から R⁴ への連続性(予想)           予想
[03] 初 TW     捩れを食う真空の一意性・ギャップ 4sin²(π/2N)        SU(2)・N 固定・n₁₂ = 1
[04] 初 LOC    面 {p} × T² は平面の有界な領域に入る
[05] 仮 UV     紫外の制御                                           a から L₀ まで
[06] 読 WEAK   T² の大きさまで弱結合のまま ⟸ [03][05]              物理の見立て・LΛ ≪ 1
[07] 読 STOP   四次元のまま渡る道が止まった一点                     試した道の範囲
[08] 仮 SPLIT  中間の到達目標と最後の段に割れる ⟸ [04][06][07]
[09] 各 LAD    図 2・表 1 ⟸ [05][06][08]

確かめ方は、全ての「⟸」の右の番号が左の番号より小さいことを目で見ることです。円はありません。証明を置いた節点は [03](12-01 に証明)と [04](定義)だけです。[02] の予想はどの節点の前提にも入っていません。仮定の行 [05] は結論の量(ギャップ・面積則)を含まず、多重尺度の評価の形だけを述べます。この章の結論の側の節点 [06]・[08] は「読」と「仮」で、閉じ込めの節点も質量ギャップの節点もありません。


この章が言えている範囲

言えている言えていない
初 捩れた T2T^2 の上の作用 0 の配位の一意性と随伴の Laplacian のギャップ(12-01 に証明)・渦の面が平面の中で局所的であること格子間隔に一様なギャップ。小さな T2T^2 での面積則の aa に一様な形
典 周期的な T2T^2 と捩れた T2T^2 の違いについての物理の文献の記述・連続性の予想(予想として)連続性の予想そのもの
読 「T2T^2 の大きさまで弱結合のまま」(紫外の制御の仮定の下の物理の見立て)・図 2 の配置尺度と結合の対応の定量的な形。帯の幅
仮 問題が二つの段に割れるという研究計画の形どちらの段も閉じていない。帯を渡る不等式

出典と再現

もの種別出典・道具
周期的な T2T^2 と捩れた T2T^2 の縮約・連続性の予想典Y. Tanizaki, M. Ünsal, Center vortex and confinement in Yang–Mills theory and QCD with anomaly-preserving compactifications, arXiv:2201.06166(v2, 2022)。要旨・§2.1 の題・§2.2〜2.3 を本文で確認
格子の上の分数インスタントンの気体の数値典G. Bergner, A. González-Arroyo, I. Soler, Fractional instantons and confinement: first results on a T2×R2T_2\times R^2 roadmap, arXiv:2502.09463(2025)。要旨を確認
捩れた境界条件典G. 't Hooft, Nucl. Phys. B 153 (1979) 141/G. 't Hooft, Commun. Math. Phys. 81 (1981) 267(書誌は 3-05 と同じ)
紫外の到達点本書6-07
一ループの β−β′=0.258\beta-\beta'=0.258初β=4/g2\beta=4/g^2、一ループの係数 b0=22/(48π2)b_0=22/(48\pi^2) から 8b0ln⁡2≈0.25758b_0\ln2\approx0.2575。導き方は 13-06
数値 β−β′≈0.2\beta-\beta'\approx0.2読この本の検討の数値の記録(13-09)
十章の題と札本書表 2。各章の五分類の表が正

この章で使った語 — 二本目の道・小さな捩れた T2T^2・紫外の壁・移り変わりの帯・紫外の制御・中間の到達目標・尺度のはしご・基点 L0L_0・希薄な分数インスタントンの気体・繰り込みの比較。意味は A-02 用語集 にあります。

次に読む章:12-01 捩れた T² と 't Hooft の流束 — 設定・区画・流束の自由エネルギーと、三つの初等的な事実。

← 11-A1 第 11 部の記号の対応表目次12-01 捩れた T² と 't Hooft の流束 →

改訂 2026-10-15:初版。