この本の全体 目次と読む順
- 第 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 この本から出た論文
捩れた T² と 't Hooft の流束
この章で分かること — 第 12 部の舞台を定義します。格子 の上の Wilson 作用に、小さな の平面の 't Hooft の捩れ を入れ、平面の方向の流束 の二つの区画、その分配関数の比(流束の自由エネルギー)、二つの区画を一つの測度にまとめた捩れの和のアンサンブルを置きます。そのうえで、この道の土台になる三つの初等的な事実 — (1) 作用 0 の配位(捩れを食う真空)の一意性、(2) その周りの随伴の場の反周期性と、格子の二次元 Laplacian のギャップ 、(3) の区画には平坦な配位が無く最小作用が正 — を証明つきで述べます。
前提となる章 — 12-00(この部の入口と記号)・5-01(リンク変数・プラケット・Wilson 作用)・1-04( と Pauli 行列)・3-05(位相電荷)・7-02 中心渦。
先に言うこと — この章の言明は全て、群 ・有限の格子・ を固定・捩れ の上の文です。連続極限・格子間隔に一様な評価・閉じ込めについては何も言いません。定義の多くは 't Hooft(1979・1981)と Mack–Petkova(1980)の型の既知のもので 典、三つの事実は初等的で、証明を本文に置きます 初。三つとも物理の文献では知られた事柄の格子版で、新しさは主張しません。
- 設定 — 格子・作用・符号の場 z
- 区画と流束の自由エネルギー — 補題 1(面を動かす)・定義 2
- 捩れの和のアンサンブル — 命題 3(偏り θ を一つの期待値に)
- 中心の値のプラケットと holonomy — 補題 4・補題 5
- 事実 1 — 捩れを食う真空の一意性
- 事実 2 — 随伴の場の反周期性とギャップ
- 事実 3 — (1,1) の区画には平坦な配位が無い
- 三つの事実が言うこと
- 言えないこと
- 五分類の表と依存グラフ(表 1)
設定 — 格子・作用・符号の場 z
格子を ()とします。1・2 の方向が小さな 、3・4 の方向が平面です。各リンク に を置き、プラケット ()の値を
と書きます(5-01 と同じ)。プラケットごとの符号 を与えたとき、作用と分配関数を
と置きます。 は正規化した Haar 測度です。 なら (2) は 5-01 の Wilson 作用そのもので、各項は から に入ります。 のプラケットは「中心の元 を一つ差し込んだプラケット」で、そこでは のとき作用が 0 になります。
二つの区画の符号。小さな の捩れを、各 平面( を止めた の平面)のちょうど一枚のプラケット、 の プラケットに を置くことで入れます。全ての で同じ位置です。これを と書きます(他は全て )。平面の方向の流束を一つ足した符号 は、 に加えて、平面の単位の正方形 の上の面
の 枚の プラケットに を置いたものです。 は平面の点 の上に立つ「 を巻く面」で、平面の中では点のように振る舞います(12-00 §03 の理由 2)。
区画と流束の自由エネルギー
面の置き場所 は分配関数に効きません。それを示すのが次の補題です。
補題 1(面を動かす) 初 リンク について、 を含む全てのプラケットの符号を反転した場を と書くと、。特に、(a) 面 は隣の正方形の面 へ動かせ、 の分配関数は によらない。(b) 面の集合 の上に面を置いた符号 の分配関数は、 の偶奇だけで決まる。
証明。変数の取り替え は Haar 測度を保ちます。 は中心の元なので、 を一度だけ含むプラケットでは が に変わり、他のプラケットは変わりません(格子のプラケットは一つのリンクを高々一度含みます)。よって で、積分は等しくなります。(a):平面の点 の上の 3 方向のリンク全て( を走らせた 本)に補題を順に使います。 プラケットでこれらのリンクを含むのは、 と の上のものだけで、それぞれちょうど一本を含みます。 プラケット()は 3 方向のリンクを二本含み、その両方が同じ平面の点の上にあるので、符号は二度反転して元に戻ります。他のプラケットは 3 方向のリンクを含みません。よって二枚の面 と の符号が反転し、面は一つ隣へ動きます。4 方向も同じです。(b):面を動かして二枚を重ねると で消えるので、(a) と平面の正方形の連結性から従います。∎
補題 1 は 't Hooft の捩れの格子版の基本の性質で、 の場そのものではなく、各平面を貫く の個数の偶奇(流束 )だけが分配関数に効くことを言っています 典(一般の形は 't Hooft 1979、格子の の符号の場による形は Mack–Petkova 1980)。この章で使うのは (a)・(b) の場合だけです。
定義 2(区画と流束の自由エネルギー) 、 と書き、流束の組 と をそれぞれ区画と呼びます。混ざった平面( など)の流束は 0 とします。そのうえで
と置きます。 は平面の方向の流束 を一つ入れる自由エネルギーの差('t Hooft の流束の自由エネルギー)、 は二つの区画の「偏り」です。(4) の右の等式は からです。 なので です。(つまり )は転送行列による別の議論が要り、13-04 で扱います。
この量が閉じ込めに効く理由は、Tomboulis–Yaffe の不等式が、平面の Wilson ループの期待値を捩れた分配関数の比で上から押さえることにあります 典。 が平面の大きさ について と減れば、その不等式を通して面積則が出ます。不等式の正確な形と、 が 1 から離れるだけでは足りないことは 13-01 で扱います。
捩れの和のアンサンブル
二つの区画を別々の測度として持つ代わりに、面の置き方も確率変数にした一つの測度にまとめます。平面の単位の正方形の全体を ( 個)とし、部分集合 ごとに符号 を作ります。
定義(捩れの和のアンサンブル) 典 配位と面の集合の組 の上の確率測度
を捩れの和のアンサンブルと呼びます。プラケットの の符号を確率変数として足し上げる形は Mack–Petkova(1980)の表示の型で、彼らは閉じた(各立方体の六枚の積が の)符号の場の全体で足し上げています。ここでは平面の流束 に関わる面だけを足す、小さな形を使います。
命題 3(偏りを一つの期待値に) 初 。
証明。補題 1 (b) から は が偶数なら 、奇数なら です。 の 個の部分集合のうち、ちょうど半分が偶数個です。よって 、 で、比が (4) の です。∎
命題 3 の表示では、面の置き方 は平面の点の上の「渦がいるか」の記録で、 は平面全体の渦の数の偶奇です。偏り が小さいとは、偶奇がほぼ公平に混ざっていること、つまり渦が平面の中に自由に湧いていることです。 では、ループと絡む渦の面は広がった面で、この「点の上の記録」の形には書けません(12-00 §03)。この表示は、平面をブロックに分けて柱ごとの偏りの積に書き直す形(容器の恒等式、12-03)と、渦を一つ差し込む写像の恒等式(12-05)の出発点になります。
中心の値のプラケットと holonomy
三つの事実の証明は、全てのプラケットが中心の値()を取る配位の性質に帰着します。まず、作用 0 がそれと同じことを確かめます。
補題 4(作用 0 の配位) 初 であるための必要十分条件は、全てのプラケットで となることです。
証明。 の元は ()と書け、 です(1-04)。(2) の各項 は 0 以上で、0 になるのは 、つまり なら ()、 なら ()のときだけです。∎
次に、プラケットが全て中心の値なら、平面を一周する holonomy どうしの交換子は、その平面の符号の積で決まります。基点 から の方向へ一周する直線の道に沿ったリンクの積を と書きます( なら長さ 、 なら長さ )。
補題 5(交換子は平面の符号の積) 初 全てのプラケットで なら、 と基点 について
が成り立ちます。右の積は を通る 平面(二次元のトーラス)の全てのプラケットにわたります。
証明。 を通る 平面を、 を角に置いた正方形 に切り開きます。 の境界を から反時計回りに一周する道は、 の方向の一周・ の方向の一周・ の方向の逆向きの一周・ の方向の逆向きの一周をこの順に並べたもので、その holonomy が (6) の左辺です。一方、正方形の格子の円板では、境界の holonomy は、各プラケットの値を基点への道で平行移動して共役したものの、ある順序の積に等しくなります(格子の非可換 Stokes の定理:プラケットを一枚ずつ剥がして境界の道を縮める、帰納法)。全てのプラケットの値が中心の元 なら、共役で値は変わらず、順序にもよらないので、積は です。∎
では、 平面は全て一枚だけ を持つので 、他の平面は です。 では、さらに 平面がちょうど一枚(面 と交わる一枚)の を持つので です。これは、連続理論の 't Hooft の捩れた境界条件で、二つの方向の貼り合わせの整合が中心の元 だけずれる、という関係の格子版です 典('t Hooft 1979)。
最後に、holonomy が配位をどこまで決めるかを述べます。
補題 6(holonomy で決まる) 初 同じ について (全ての )を満たす二つの配位 が、基点 0 での四つの holonomy を一致させる(、)なら、 は のゲージ変換です。
証明。各格子点 に、0 から への決まった道 (1 の方向、2 の方向、3 の方向、4 の方向の順に正の向きへ進む道)を選び、道に沿った積を と書きます。リンク について、閉じた道 を考えます。トーラスの格子の二次元の骨格では、0 を基点とする閉じた道は、有限枚のプラケットを掃くことで、四つの直線の一周の語に変形できます( の格子版、標準の位相の事実 典)。変形で掃いたプラケットは中心の値なので、 の holonomy は「掃いたプラケットの の積」と「 の語」の積で、どちらも と で同じです。よって 、すなわち と置くと です。∎
事実 1 — 捩れを食う真空の一意性
捩れを食う配位。、 と置き、配位 を次で定めます。1 の方向のリンクは のもの( の継ぎ目を渡るもの)だけ 、2 の方向のリンクは のものだけ 、他のリンク(3・4 の方向を含む)は全て とします。
補題 7 初 。また のプラケットは、 の プラケットだけが で、他は全て です。よって 。
証明。 から 、 で、積は 。プラケット (1) を見ると、継ぎ目を含まない プラケットは全て 。、 では 、、 では 、角 では 。1・2 の方向のリンクは によらないので、3・4 の方向を含むプラケットは全て 。補題 4 から作用は 0 です。∎
補題 8(反可換な対) 初 が を満たすなら、ある で 、 となります。また、 と の両方と可換な の元は だけです。
証明。 の跡を取ると 、よって で ()。同様に から 。 なので、 は と同値です。直交する単位ベクトルの組 は、回転 で に移せます( は正の向きの正規直交基底)。 は全射で、 となる を取れば主張の前半です。後半: が と可換なら 、 と可換なら 、よって 、。∎
事実 1(捩れを食う真空の一意性) 初 区画 で作用 0 の配位()は、ゲージ変換と、3・4 の方向の中心の変換(ある 3 方向の切り口 の全ての 3 方向のリンクに を掛ける操作、4 方向も同様)を除いて、 ただ一つです。小さな の上だけ(二次元の格子 、捩れ )なら、ゲージ変換だけを除いて一つです。
証明。補題 4 から 。補題 5 から、基点 0 の holonomy は 、他の対は可換です。補題 8 で基点のゲージを選び直せば 、。 は両方と可換なので 。 の holonomy は です。切り口 の 3 方向のリンクに を掛けると、それらを含むプラケットは全て二本を含むので( と のプラケットの 3 方向の二辺は同じ にある)、作用は変わらず、 だけが符号を変えます。4 方向も同じです。これで四つの組 は全て から中心の変換で得られ、補題 6 から、holonomy が一致する作用 0 の配位はゲージ変換で移り合います。二次元では が無いので、ゲージ変換だけで足ります。∎
補題 8 の証明が示すとおり、 は による共役で に移ります。小さな の方向の中心の変換は、ゲージ変換に吸収されます。平面の方向の中心の変換は吸収されず、作用 0 の配位はゲージの類として四つあります。
事実 2 — 随伴の場の反周期性とギャップ
真空 の周りの揺らぎの二次の部分には、随伴の場の共変な Laplacian が現れます。小さな (二次元の格子 )の上で、 に値を取る場 に
と置きます。 は直交変換なので、 は の内積に関して対称で非負です。
事実 2 初 のとき、 の基底 の成分 ごとに、 は次の符号つきの境界条件の下のスカラーの Laplacian に分かれます。
| 成分 | 1 の方向 | 2 の方向 | 最小の固有値 |
|---|---|---|---|
| () | 周期 | 反周期 | |
| () | 反周期 | 周期 | |
| () | 反周期 | 反周期 |
どの成分も少なくとも一つの方向で反周期です。よって の最小の固有値は で、零モードはありません。
証明。 は を保ち の符号を変え( など)、 は を保ち の符号を変えます。 のリンクは継ぎ目を渡るものだけが なので、(7) は成分ごとに、継ぎ目を渡る結合だけに符号 の付いたスカラーの Laplacian になります。長さ の輪で一本の結合に符号 を付けた差分作用素 は、 を満たす について を固有関数に持ち、固有値は です。 なら (最小 0)、 なら (最小 、)です。二次元では二つの方向の和なので、表の値になります。∎
捩れの無い周期的な の真空 では、全ての成分が両方の方向で周期的で、定数の が三次元ぶんの零モードになります。捩れの役目は、この零モードを消して、揺らぎに の下限を与えることです。 が大きいとき で、格子間隔 の単位を戻すと ()です。
同じギャップを質量に読み替えると、格子の上の質量 は 、すなわち
です(格子の伝播関数の減衰率と隙間の関係、)初。この は 12-02 §05 で、柱に閉じ込めた分数インスタントンの作用の収束の速さとして現れます。
事実 3 — (1,1) の区画には平坦な配位が無い
事実 3 初 区画 では、作用 0 の配位はありません。したがって最小作用
は正です。また です。
証明。作用 0 の配位があったとすると、補題 4 と補題 5 から、基点の holonomy は 、()、混ざった対は可換です。補題 8 から は の両方と可換なので 、 も同じです。すると となって矛盾します。配位の空間 はコンパクトで作用は連続なので最小は達せられ、それは 0 でないので正です。上界: を区画 で評価すると、面 の 枚では 、 で一枚あたり 、他は 0 です。∎
上界の配位は「細い渦の面」で、一枚のプラケットの厚さの面に作用 を払います。事実 3 が言うのは最小作用が 0 でないことだけで、どれだけ小さいか(細い面より遥かに安い滑らかな塊があるか)は言いません。それが次の章の分数インスタントンの話で、格子の上の数値では は の程度で、 よりずっと小さいと読まれています(12-02 §05)。
連続理論では、捩れ の束の位相電荷は半整数に限られ、作用は で下から押さえられます 典('t Hooft 1981、Tanizaki–Ünsal の式 (2.24)・(2.25))。事実 3 は、この下限の格子版の最も弱い形(正であること)にあたります。格子の上で が に近いことは、連続の下限の格子版としては示されていません。
三つの事実が言うこと
- 事実 1 は、小さな の古典的な真空が孤立していることを言います。周期的な では、可換な holonomy の組の全体(平坦な接続の族)が真空になり、その上を揺らぎが自由に動くので半古典の勘定が始められません。捩れがそれを一点(とその中心の像)に縮めます。
- 事実 2 は、孤立した真空の周りの揺らぎが の下限を持つことを言います。これが、12-00 §03 の「 の大きさまで弱結合のまま」という見立ての古典の側の根拠です。量子の側(紫外の制御)は仮定のままです。
- 事実 3 は、平面の方向の流束 を入れると必ず作用を払うこと、つまり渦は「ただ」では置けないことを言います。偏り を 1 から離すのは渦のコストと渦の位置のエントロピーの競合で、そのコストの下限の一番弱い形が事実 3 です。
三つとも、 を固定した有限の格子の上の文です。 を増やすこと( を物理の長さとして広げること)は、この章のどの文も含みません。それが移り変わりの帯の問題です(12-09)。
言えないこと
(a) 連続極限。三つの事実はどれも について何も言いません。事実 2 のギャップは古典の揺らぎの下限で、量子の有効作用のギャップではありません。
(b) 閉じ込め。 の定義と命題 3 は閉じ込めの道具の置き場所で、 がどれだけ小さいかは言いません。格子間隔を固定した場合の評価は 12-04、半古典の率は 12-02。
(c) 他の群。証明は の Pauli 行列の計算(補題 8)に依ります。 の場合はこの章では扱いません。
(d) 最小作用の値。 が に近いこと、 とともに に近づくことは数値の読みで、この章では示しません。
五分類の表と依存グラフ
| 行 | 言明(一行) | 分類 | 根拠 | 範囲 | 機械検査 |
|---|---|---|---|---|---|
| [01] | 流束だけが分配関数に効く(一般の形)・捩れの関係 | 典 | 't Hooft 1979・Mack–Petkova 1980 | — | — |
| [02] | 補題 1:面を動かす・偶奇だけで決まる | 初 | §02 の証明 | 面 の場合 | — |
| [03] | 定義 2:・ (4) | 定義 | §02 | ・混ざった流束 0 | — |
| [04] | Tomboulis–Yaffe:Wilson ループを捩れた分配関数の比で押さえる | 典 | 13-01 で式を | — | — |
| [05] | 命題 3: ⟸ [02] | 初 | §03 の証明 | 面の和のアンサンブル (5) | — |
| [06] | 補題 4:作用 0 ⟺ | 初 | §04 | — | — |
| [07] | 補題 5:交換子は平面の符号の積 (6) | 初 | §04(格子の非可換 Stokes) | 全プラケットが中心の値 | — |
| [08] | 閉じた道は直線の一周の語に変形できる | 典 | 標準の位相 | トーラスの格子 | — |
| [09] | 補題 6:holonomy で決まる ⟸ [07][08] | 初 | §04 | 同じ ・中心の値 | — |
| [10] | 補題 7: は区画 (1,0) で作用 0 | 初 | §05 | — | — |
| [11] | 補題 8:反可換な対の正規形と可換子 | 初 | §05 | — | |
| [12] | 事実 1:捩れを食う真空の一意性 ⟸ [06][07][09][10][11] | 初 | §05 | ゲージ変換と平面の方向の中心の変換を除いて | — |
| [13] | 事実 2:随伴の場の反周期性とギャップ ⟸ [10] | 初 | §06 | 二次元の格子 ・ | — |
| [14] | (8): ⟸ [13] | 初 | §06 | 代数の言い換え | — |
| [15] | 事実 3:(1,1) に平坦な配位が無く ⟸ [06][07][11] | 初 | §07 | 区画 (1,1) | — |
| [16] | 連続理論の下限 | 典 | 't Hooft 1981・TU (2.24)(2.25) | 連続・捩れの束 | — |
依存グラフ(前提の番号は結論の番号より小さい):
[01] 典 FLUX 流束だけが効く・捩れの関係 't Hooft・Mack–Petkova [02] 初 MOVE 補題 1:面を動かす 面 Π_q [03] 定 DF ΔF・θ = tanh(ΔF/2) n₁₂ = 1 [04] 典 TY Tomboulis–Yaffe 13-01 [05] 初 SUM 命題 3:θ = E[(−1)^|Q|] ⟸ [02] [06] 初 ZERO 補題 4:作用 0 ⟺ U_p = z_p [07] 初 COMM 補題 5:交換子 = 平面の符号の積 中心の値 [08] 典 TOP 閉じた道は一周の語に変形できる [09] 初 HOL 補題 6:holonomy で決まる ⟸ [07][08] [10] 初 TE 補題 7:U⁰ は作用 0 [11] 初 PAIR 補題 8:反可換な対・可換子 ±1 SU(2) [12] 初 F1 事実 1 ⟸ [06][07][09][10][11] [13] 初 F2 事実 2:ギャップ 4sin²(π/2N) ⟸ [10] (ℤ/N)² [14] 初 MASS m_N = 2 arsinh sin(π/2N) ⟸ [13] [15] 初 F3 事実 3:0 < S_min ≤ 2N² ⟸ [06][07][11] [16] 典 BPS 連続の下限 4π²/g² 連続
確かめ方は、全ての「⟸」の右の番号が左の番号より小さいことを目で見ることです。円はありません。この章に仮定の行はありません。引用の行は [01]・[04]・[08]・[16] で、三つの事実の証明が使う引用は [08](補題 6 を通して事実 1 だけ)です。事実 2・事実 3 は引用なしで閉じています。
この章が言えている範囲
| 言えている | 言えていない |
|---|---|
| 初 面を動かす補題・偏りの期待値の表示(命題 3)・捩れを食う真空の一意性(ゲージと平面の方向の中心を除いて)・随伴の Laplacian のギャップ ・(1,1) の区画で 。全て SU(2)・有限の格子・ 固定・ | 量子の揺らぎのギャップ。格子間隔に一様な評価。 の値と 依存 |
| 典 流束だけが効くことの一般の形・Tomboulis–Yaffe の不等式・連続理論の作用の下限 | (13-04 で扱う)。他の群 |
出典と再現
| もの | 種別 | 出典・道具 |
|---|---|---|
| 捩れた境界条件・流束の自由エネルギー | 典 | G. 't Hooft, Nucl. Phys. B 153 (1979) 141。G. 't Hooft, Commun. Math. Phys. 81 (1981) 267(書誌は 3-05 と同じ) |
| プラケットの の符号を足し上げる表示 | 典 | G. Mack, V. B. Petkova, Ann. Phys. 125 (1980) 117 |
| Tomboulis–Yaffe の不等式 | 典 | E. T. Tomboulis, L. G. Yaffe, Commun. Math. Phys. 100 (1985)(頁は未確認)。式の形は 13-01 |
| 位相電荷の分数部分と作用の下限 | 典 | Y. Tanizaki, M. Ünsal, arXiv:2201.06166 の式 (2.24)・(2.25)(本文で確認) |
| 補題 1〜8・事実 1〜3・(8) | 初 | 本文の証明。数値の計算は使っていない |
この章で使った語 — 't Hooft の捩れ・区画・流束 ・面 ・流束の自由エネルギー ・偏り ・捩れの和のアンサンブル・捩れを食う配位 ・中心の変換・随伴の Laplacian・反周期・最小作用 。意味は A-02 用語集 にあります。
次に読む章:12-02 渦と分数インスタントン — の区画の最小作用の中身と、希薄な気体の勘定。
← 12-00 入口 — 時間でなく空間を目次12-02 渦と分数インスタントン →