この本の全体 目次と読む順
- 第 0 部 入口 — この本の読み方
- 0-01 この本の読み方
- 0-02 一枚の絵
- 0-03 問題文を一語ずつ読む
- 0-04 数学の四次元と物理の四次元
- 第 1 部 数学の準備
- 1-01 ベクトル空間と線形写像
- 1-02 群とは何か
- 1-03 リー群とリー環
- 1-04 SU(2) と SU(3)
- 1-05 多様体と接空間
- 1-06 微分形式と外微分
- 1-07 ベクトル束と接続
- 1-08 確率と測度
- 1-09 無限次元の確率
- 1-10 ヒルベルト空間と自己共役作用素
- 1-11 フーリエ解析と分布
- 1-12 寄り道:四次元でだけ起きること
- 第 2 部 物理の準備
- 2-01 ラグランジアンと作用
- 2-02 場という考え
- 2-03 電磁気学はゲージ理論である
- 2-04 特殊相対論と時空
- 2-05 量子力学の骨
- 2-06 調和振動子と生成消滅
- 2-07 経路積分の考え方
- 2-08 統計力学と相転移
- 2-09 寄り道:イジング模型で見るギャップと相関長
- 2-10 緩和の時間と動的指数 z
- 第 3 部 ヤン–ミルズ理論(古典)
- 3-01 ゲージ原理
- 3-02 非可換ゲージ場
- 3-03 作用と方程式
- 3-04 幾何としてのゲージ理論
- 3-05 インスタントンと位相
- 3-06 寄り道:Donaldson とエキゾチック R⁴
- 3-07 標準模型の中のヤン–ミルズ
- 第 4 部 量子化
- 4-01 正準量子化とハミルトニアン
- 4-02 経路積分とユークリッド化
- 4-03 摂動論と Feynman ダイアグラム
- 4-04 発散と繰り込み
- 4-05 発散の代数
- 4-06 漸近自由
- 4-07 次元転移と Λ
- 4-08 ゲージ固定と Faddeev–Popov
- 4-09 場の量子論の公理
- 4-10 Osterwalder–Schrader の公理と再構成
- 4-11 質量ギャップの定義
- 4-12 寄り道:摂動級数は発散する
- 第 5 部 格子ゲージ理論
- 5-01 Wilson の格子
- 5-02 強結合展開
- 5-03 反射正値性と転送行列
- 5-04 無限体積極限とクラスター展開
- 5-05 弱結合と連続極限
- 5-06 U(1) と非可換の違い
- 5-07 モンテカルロ法
- 5-08 グルーボールと弦張力の測定
- 5-09 何を固定して極限を取るか
- 5-10 有限群の格子ゲージ理論
- 5-11 寄り道:Bakry–Émery と一リンク積分
- 第 6 部 構成的場の理論
- 6-01 構成的場の理論とは
- 6-02 二次元の可解性とヤン–ミルズ測度
- 6-03 スカラー場の構成
- 6-04 クラスター展開
- 6-05 繰り込み群の段の列
- 6-06 三次元ヤン–ミルズの紫外安定性
- 6-07 四次元
- 6-08 四次元の φ⁴ の自明性
- 6-09 確率量子化と正則性構造
- 6-10 四次元で止まる場所
- 6-11 発散以外の障害
- 6-12 寄り道:「1/0 に記号を与えれば」
- 第 7 部 物理の側から
- 7-01 物理はどう見ているか
- 7-02 閉じ込めの機構
- 7-03 弦の絵
- 7-04 大 N
- 7-05 ひも理論と余剰次元
- 7-06 余剰次元が見えなくなる仕組み
- 7-07 ゲージ場はどこから来るか
- 7-08 ホログラフィー
- 7-09 質量ギャップが幾何になる
- 7-10 四次元に戻す
- 7-11 超対称と Seiberg–Witten
- 7-12 等価原理に当たる一文
- 7-13 物理の掘り方が数学と離れる場所
- 第 8 部 二つの言葉の辞書 — 物理の視点と数学の視点
- 8-01 辞書の読み方
- 8-02 辞書 A
- 8-03 辞書 B
- 8-04 辞書 C
- 8-05 私たちの仮定の物理側の対応
- 地図
- 第 9 部 現在地と課題
- 9-01 世界はどこまで来ているか
- 9-02 二つの掘り方の切れ目
- 9-03 新しい概念の候補
- 9-04 課題の一覧
- 9-05 よくある誤解
- 9-06 証明が含むべき段 — 七段の表
- 一本目の道 — 時間の方向から
- 第 10 部 一本目の道(前半)— 時間の方向から:質量ギャップと拡散型緩和時間の仮定
- 10-00 入口 — 階段と、酔歩・物差し・時計
- 10-01 構成の筋と仮定 ξ²
- 10-02 四次元格子で試した道と壁
- 10-03 階段の四段 — なぜ 0+1 次元から始めるか
- 10-04 二重井戸の経路の測度とキンク
- 10-05 一段目の言明 — 四条件と命題 4.5
- 10-06 (H1) 相の中の局所 Poincaré
- 10-07 (H2) の地図 — 七つの道筋と環の継ぎ目
- 10-08 計算機援用とは何か — 窓の中の鎖の条件
- 10-09 区画の枠組みと道筋 5 の三本の筋
- 10-10 迂回策の一覧 — 壊れ方の型
- 10-11 (H3)(H4) と芯の定数
- 10-12 統合表と依存グラフ
- 10-13 Lean の言明と機械検査の限界
- 10-14 突き合わせ — 記録の数と既知の数
- 10-15 残件と費用 — 定理までの距離
- 10-16 主張しないこと
- 10-17 ひらめきと小さな問い
- 第 11 部 一本目の道(後半)— 仮定の形を直し、時間を連続にする
- 11-00 今後の考察 — 入口
- 11-01 仮定 ξ² を妨げる一つの形 — ほぼ保存される大域の量
- 11-02 物差しと座標を選び直す — 保存が壊れる長さ
- 11-03 仮定 ξ² を直す二つの形 — 区画の仮定 ξ² と局所の仮定 ξ²
- 11-04 片側の橋はどの仮定 ξ² を要るか
- 11-05 時間を連続にする — Hamiltonian 格子と真空の測度
- 11-06 凸性の代わりに稀さで払う — 群の上の繰り込みと対数 Sobolev
- 11-07 四次元だからこそ — 無次元の結合と位相
- 11-08 問いと、主張しないこと
- 11-A1 第 11 部の記号の対応表
- 二本目の道 — 空間の方向から
- 第 12 部 二本目の道:空間の方向から — 小さな捩れた T² と閉じ込め
- 12-00 入口 — 時間でなく空間を
- 12-01 捩れた T² と 't Hooft の流束
- 12-02 渦と分数インスタントン
- 12-03 容器 — 枠を条件づけると独立になる
- 12-04 板の閉じ込め
- 12-05 渦の挿入の恒等式
- 12-06 力学で駆動した挿入と流れの補題
- 12-07 なぜ決まった写像は失敗するか
- 12-08 測った記録
- 12-09 この道が止まる場所 — T² を広げることが帯である
- 移り変わりの帯 — 二本の道が同じ壁に着く
- 第 13 部 移り変わりの帯 — 二本の道が同じ壁に着く
- 13-00 入口 — 合流
- 13-01 帯の正しい形
- 13-02 一つの不等式への還元
- 13-03 非可換が効く唯一の場所
- 13-04 構造だけでは渡れない
- 13-05 チェス盤と同時の反転
- 13-06 繰り込みの比較 — 群を区別する比較
- 13-07 時間の側から見た帯
- 13-08 試して止まった道の地図
- 13-09 測った記録
- 13-10 新しい見方の候補
- 13-11 紫外の制御 — 無限個の段で閉じるとは何か
- 閉じる
- 第 14 部 閉じる — 条件つきの言明
- 14-00 入口 — この部の約束
- 14-01 条件つきの言明 — 質量ギャップと閉じ込めを矢印ごとに
- 14-02 条件の台帳
- 14-03 問いの表(横断の索引)
- 14-04 主張しないこと(横断の索引)
- 付録
- A-01 記号表
- A-02 用語集
- A-03 文献案内
- A-04 Lean と機械検査
- A-05 この本の作り方
- A-06 仮定の索引
- A-07 この本から出た論文
入口 — 時間でなく空間を
この章で分かること — 第 10 部は、時間の方向(揺らぎが均される時間と転送行列)から質量ギャップに向かう道でした。第 12 部は、空間の方向から閉じ込めに向かう二本目の道です。四次元のうち二つの方向を小さな捩れた二次元トーラス に縮め、残りの平面 の上で Wilson ループの面積則を考えます。この章では、(1) なぜ一度小さな捩れた を経由するのか、(2) その結果、問題がどう二つに割れるのか、(3) どの尺度でどの道具が効くのか(図 2「尺度のはしご」)、(4) 第 12 部の十章の地図、を述べます。
前提となる章 — 5-01(Wilson の格子)・5-02(強結合)・7-02 中心渦・4-06(漸近自由)・4-07(次元転移)・6-07(四次元の構成の到達点)。第 10 部の入口 10-00。
先に言うこと — この章は地図の章で、新しく証明する文はありません。「小さな捩れた では の大きさまで弱結合のまま」は、紫外の制御(格子間隔 から の大きさまでの、 に一様な多重尺度の評価)を仮定した上での物理の見立てです。第 12 部の道は、質量ギャップそのものではなく、まず閉じ込め(面積則)に向かいます。二つが別の言明であることは 7-02 と 9-05 のとおりです。
二本目の道 — 何を、どの方向から見るか
第 10 部の道は、格子の一つの方向を「時間」と見て、転送行列の隙間や、揺らぎが均される時間(拡散型緩和時間の仮定、旧称 仮定 H)から質量ギャップに近づくものでした。どこで止まったかは 10-15 にまとめてあります。
第 12 部では向きを変えます。四次元の格子の四つの方向のうち二つ(1・2 の方向)を小さな周期 のトーラス に巻き、残りの二つ(3・4 の方向)を大きな平面と見ます。平面の中に描いた Wilson ループ が、囲む面積 について と減るか(面積則)を問います。時間の道が「隙間」を見たのに対し、この道が見るのは「平面の中の渦の数え方」です。
巻いた には 't Hooft の捩れ(12-01)を入れます。捩れの無い周期的な に縮めると、平坦な接続の族(零モード)が残り、小さな と大きな四次元の間を相転移なしにつなぐ見通しが立たないことが、物理の文献で知られています 典(Tanizaki–Ünsal 2022 の §2.1 の題は「周期的な への縮約と、断熱的な連続性の不在」)。捩れを入れた では、同じ論文が、小さな の弱結合の真空の構造が の強結合の領域へ相転移なしにつながるという予想を述べています 典。この予想は予想のままで、この本でも予想として扱います。
二つの壁 — 紫外と移り変わりの帯
格子から出発して四次元の理論を作り、閉じ込めや質量ギャップを示そうとすると、性質の違う二つの壁に当たります。
- 紫外の壁。格子間隔 を 0 に近づけても崩れない、全ての尺度での一様な評価が要ります。漸近自由(4-06)のおかげで短い距離では結合が弱くなり、摂動の言葉で各尺度を制御する多重尺度の解析が考えられます。四次元のヤン–ミルズでこれに最も近いのは Bałaban の連作で、到達点と残りは 6-07 にあります。この本ではこれを「紫外の制御」という名の仮定として扱います 仮。
- 移り変わりの帯。結合が弱い尺度(短い距離)から強い尺度(長い距離)へ移る中間の尺度、物理の長さで の前後( は次元転移で生まれる尺度、4-07)を、摂動に頼らずに渡る必要があります。両側にはそれぞれ道具があります(弱結合の側の摂動・半古典、強結合の側の強結合展開 5-02)。帯の中で効く道具が無いことが、この本の第 10 部の道もこの道も止まる場所です(第 13 部)。
二つの壁は、四次元に直接向かうと同時に現れます。格子間隔を小さくする(紫外)ことと、大きな箱で長い距離を見る(帯を渡る)ことを、一つの評価の中で同時にこなさなければならないからです。
なぜ小さな捩れた T² か — 二つの理由
小さな捩れた を経由すると、二つの壁を別々の段に分けられる、というのがこの道の骨組みです。理由は二つです。
理由 1:捩れが零モードを消すので、 の大きさまで弱結合のまま進める(見立て)。捩れた の上では、作用が 0 の配位はゲージを除いて一つに固定され(12-01 事実 1)、その周りの随伴の揺らぎの格子 Laplacian には正のギャップ があります(12-01 事実 2、)初。物理の単位に直すと、 が大きいときこのギャップは の程度で、古典的な揺らぎは全て 程度の質量を持ちます。すると、結合の走りは の大きさ で止まり、 なら有効結合 は小さいまま、と見込まれます 読(物理の見立て。紫外の制御を仮定した上で)。この段には帯が現れません。
理由 2: を巻く渦の面は、平面の中で局所的に閉じる。中心渦(7-02)は四次元では二次元の面で、平面の Wilson ループと絡む渦の面は、四次元では面積とともにコストが増える広がった対象です。この本の検討で四次元のまま帯を渡ろうとした道は、どれも「位相的な量(渦がループと絡むかどうか)を、局所的な操作で単調に比べられない」という一点で止まりました(地図は 13-08)読。 では、平面の点 の上の面 は面積 の閉じた面で、平面の中では点のように振る舞います。渦を一枚足す・除く操作が、平面の有界な領域の中の操作になります 初(面が有界な領域に入ることは定義からの事実)。この局所性が、容器(12-03)・板の閉じ込め(12-04)・挿入の恒等式(12-05)の全てを支えます。
こうして問題は二つに割れます。
- 中間の到達目標(小さな の上): 小さな捩れた で、ギャップと面積則を格子間隔 に一様に示すこと。残る壁は紫外だけです(ただし、紫外の制御・挿入の一様な受理・枠の減相関という名の仮定を置いた上での条件つきの研究計画で、定理ではありません)仮。
- 最後の段( を広げる): を を越えて大きくしても、面積則の強さが一様に保たれること。残る壁は帯だけです(12-09)仮。
割ることで易しくなったわけではありません。帯は最後の段にそっくり残ります。割って得られたのは、帯の手前の全ての段を、帯と無関係に確かめられる形に並べられることと、帯が要求する不等式の形を一つに絞れることです(第 13 部)。
尺度のはしご — どの尺度で、どの道具が効くか
図 2 は、物理の長さ (小さな の一辺、あるいは見ている尺度)を縦に取り、下の格子間隔 から上の無限遠まで、どの尺度でどの道具が効くかを並べたものです。下(弱結合)と上(強結合)にはそれぞれ道具があり、真ん中の帯だけが空いている、という問題の形を一枚で見るための図です。図の番号と題は第 13 部の入口(13-00 の図 2「尺度のはしご」)と揃えてあります。図 1(論理の流れ)は 9-06 にあります。
図 2 を文字で書くと次のとおりです。下から順に、格子間隔 から基点の長さ までが紫外の段(多重尺度の解析、この本では仮定)、 が小さな捩れた の基点(第 12 部の道具が直接効く所)、 から までが希薄な分数インスタントンの気体の段(半古典の見立て、弦の張力が の程度)、 の前後が移り変わりの帯(繰り込みの比較が一ループの水準と数値でしか分かっていない所)、その上が閉じ込めの領域(強結合の道具が効くと見込まれる所)です。
| 段 | 中身 | 札 | 条件・範囲 | 章 |
|---|---|---|---|---|
| 〜 | に一様な多重尺度の評価(有効作用の局所性・大きな場の稀さ・結合の流れ) | 仮 | 紫外の制御という名の仮定。四次元の Bałaban の連作には原典で未発表とされた段が残る | 6-07 |
| 捩れを食う真空の一意性・随伴の Laplacian のギャップ ・(1,1) の区画で最小作用が正 | 初 | SU(2)・格子・ 固定・ | 12-01 | |
| 格子間隔と を固定すれば全ての で面積則 | 初 | 固定・格子間隔固定。連続極限では張力が 0 になる。先行研究との照合は未了 | 12-04 | |
| 小さな でのギャップと面積則を に一様に | 仮 | 紫外の制御・挿入の一様な受理・枠の減相関の下の条件つきの研究計画 | 12-09・14-01 | |
| 〜 | 位相電荷 の自己双対の塊の作用の下限 ・希薄な気体の弦の張力 | 典+読 | 前者は BPS の下限(原典の式)。後者は希薄な領域・一ループの勘定による物理の見立て(Tanizaki–Ünsal の式 (2.32)・(2.37)) | 12-02 |
| の前後 | 繰り込みの比較:一ループの水準で (格子を 2 倍にするごと) | 初 | 一ループの水準・SU(2)・。摂動の外の主張ではない | 13-06 |
| の前後 | 数値の読み:SU(2) で 、U(1) では逆向き | 読 | 格子 ほか・種の数と誤差は 13-09 | 13-06 |
| の前後 | 帯を摂動に頼らずに渡る不等式 | 仮 | 未解決。形は第 13 部で一つの不等式に絞る | 13-02 |
| 〜 | 強結合の側の面積則 | 典 | 小さな での格子の言明。物理の長さの尺度との対応は漸近自由による見立て | 5-02 |
表 1 の の行のうち、上の二行は格子間隔を固定した言明で、三行目の「 に一様」とは強さが違います。この差(格子間隔に一様にすること)が紫外の壁で、第 12 部の各章は、どの言明がどちらの側にあるかを同じ行に書きます。
第 12 部の十章の地図
第 12 部は次の十章です。札は章の中の行の札の主なもので、細かな割り方は各章の五分類の表にあります。「条件」の欄は、その章の主な言明に必ず付く条件です。
| 章 | 題 | 一行の中身 | 主な札 | 条件 |
|---|---|---|---|---|
| 12-00 | 入口 — 時間でなく空間を | この章 | 読+典 | 「弱結合のまま」は紫外の制御の仮定の下の見立て |
| 12-01 | 捩れた T² と 't Hooft の流束 | ・区画・流束の自由エネルギー・捩れの和のアンサンブル。三つの初等的な事実 | 典(定義)/初(三つの事実) | SU(2)・格子・ 固定・ |
| 12-02 | 渦と分数インスタントン | 位相電荷 の塊・作用 ・希薄な気体・弦の張力 ・格子の作用が に下から近づくこと | 典/読/機/仮 | 希薄な領域・一ループ・SU(2)。冷却の作用は上界 |
| 12-03 | 容器 — 枠を条件づけると独立になる | 容器の恒等式(Mack–Petkova)・平面の方向の入れ子・四次元での限界 | 典/初 | 恒等式は既知。Lean は有限の代数だけ |
| 12-04 | 板の閉じ込め | 格子間隔と を固定すれば全ての で面積則 | 初 | 固定・格子間隔固定・連続極限では張力が 0。先行研究との照合は未了 |
| 12-05 | 渦の挿入の恒等式 | 挿入比の期待値 1・区画の符号との相関・平均した評価・二次モーメント | 初 | 有限の配位空間・正の重み・区画を反転する全単射 |
| 12-06 | 力学で駆動した挿入と流れの補題 | Jarzynski 型の恒等式・同時の反転の評価 | 初/典 | 一段の核の評価は帯の試験には使えない |
| 12-07 | なぜ決まった写像は失敗するか | 揺らぎの形を変えない写像は反遮蔽の 4 を見られない。 | 初/読 | 一ループの水準 |
| 12-08 | 測った記録 | 駆動した挿入の仕事・渦の自由エネルギー・板の弦の張力 | 読 | 群・・格子の大きさ・測定数・誤差を各行に |
| 12-09 | この道が止まる場所 | を広げること=移り変わりの帯 | 仮+読 | — |
読む順は番号のとおりを勧めます。急ぐ読者は 12-01 の §01〜§02(設定)、12-02 の §01〜§03(分数インスタントンと希薄な気体)、12-04(板の閉じ込め)、12-09(止まる場所)の順に読めば、道の骨組みが追えます。
この部の記号と語の約束
- 群と結合。群は第 12 部を通して に固定します。Wilson 作用は 5-01 の規約で 、 です。
- と 。第 12 部の は群の次数ではなく、小さな の一辺の格子点の数です()。平面の一辺の格子点の数を と書きます。格子は です。
- 帯と窓。この部と第 13 部の主語は「移り変わりの帯」(略して帯)です。第 10・11 部の「窓」(サイトの窓・ の窓・時刻の窓)とは別の物で、語が同じでないことに意味はありません(注は 13-00)。
- 仮定の名。仮定は記号でなく名で呼びます:紫外の制御・挿入の一様な受理・枠の減相関・一様な板の張力・一様な板のギャップ。索引は A-06 にまとめます。
- 札。第 10 部と同じ五つ:初(紙で証明を本文に置いた)・典(原典で確認した既知)・機(計算機援用の評価)・読(数値の読み。物理の見立てには「物理の見立て」と添える)・仮(仮定、あるいは証明の筋だけがある行。根拠の欄に筋の在りかを書く)。読み方は 10-00。
第 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 部への橋です。
段の表へ。証明が含むべき段(器・紫外・小さな のギャップ・小さな の閉じ込め・帯・・一般の群)の表は 9-06 にあります。第 12 部は、その表の「小さな 」の二段と「帯」の段の入口を埋めます。
言えないこと
(a) 弱結合。「 の大きさまで弱結合のまま」は、紫外の制御を仮定した上での物理の見立てで、定理ではありません。格子間隔に一様な評価は、この本のどこにもありません。
(b) 断熱的な連続性。小さな と が相転移なしにつながることは予想で、この本はそれを使いません。使うのは「つながるなら何を示せばよいか」の形だけです。
(c) 閉じ込めとギャップ。この道の目標は面積則で、面積則から質量ギャップを出す既知の道はありません。二つは別の言明です(9-06・14-01)。
(d) 図 2。図 2 は道具の置き場所の地図で、尺度と結合の対応(どの がどの に当たるか)は漸近自由による見立てです。図の中の数は表 1 の札の付いた行の要約です。
五分類の表と依存グラフ
| 行 | 言明(一行) | 分類 | 根拠 | 範囲 | 機械検査 |
|---|---|---|---|---|---|
| [01] | 周期的な では断熱的な連続性が立たない(物理の文献の記述) | 典 | Tanizaki–Ünsal §2.1 | 物理の議論 | — |
| [02] | 捩れた から への連続性の予想 | 典 | 同、要旨 | 予想として | — |
| [03] | 捩れを食う真空の一意性と随伴の Laplacian のギャップ | 初 | 12-01 の事実 1・2 | SU(2)・格子・ 固定・ | — |
| [04] | 面 は平面の有界な領域に入る | 初 | 定義 | — | — |
| [05] | 紫外の制御 | 仮 | 6-07 | から まで | — |
| [06] | の大きさまで弱結合のまま ⟸ [03][05] | 読 | 物理の見立て | — | |
| [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] は「読」と「仮」で、閉じ込めの節点も質量ギャップの節点もありません。
この章が言えている範囲
| 言えている | 言えていない |
|---|---|
| 初 捩れた の上の作用 0 の配位の一意性と随伴の Laplacian のギャップ(12-01 に証明)・渦の面が平面の中で局所的であること | 格子間隔に一様なギャップ。小さな での面積則の に一様な形 |
| 典 周期的な と捩れた の違いについての物理の文献の記述・連続性の予想(予想として) | 連続性の予想そのもの |
| 読 「 の大きさまで弱結合のまま」(紫外の制御の仮定の下の物理の見立て)・図 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 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 |
| 一ループの | 初 | 、一ループの係数 から 。導き方は 13-06 |
| 数値 | 読 | この本の検討の数値の記録(13-09) |
| 十章の題と札 | 本書 | 表 2。各章の五分類の表が正 |
この章で使った語 — 二本目の道・小さな捩れた ・紫外の壁・移り変わりの帯・紫外の制御・中間の到達目標・尺度のはしご・基点 ・希薄な分数インスタントンの気体・繰り込みの比較。意味は A-02 用語集 にあります。
次に読む章:12-01 捩れた T² と 't Hooft の流束 — 設定・区画・流束の自由エネルギーと、三つの初等的な事実。
← 11-A1 第 11 部の記号の対応表目次12-01 捩れた T² と 't Hooft の流束 →