数学 › 未解決問題と大定理 › Yang–Mills 理論と質量ギャップ I
2 次元格子 Yang–Mills 理論の厳密解
上の設定で、 を の有限次元既約ユニタリ表現、 をその次元、 とし、
と置く。
- 。
- を の中の の長方形の境界を反時計回りに 1 周する閉路、 をそれに沿うリンク変数の積とすると
- とする。 が自明表現でなければ 。したがって として、Wilson ループの期待値の絶対値は で、 の取り方(結合定数の値)によらず面積則に従う。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 3 件、定義なども含めて 3 件)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義(直接 3 件)
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
- 木ゲージ✓定理 4.8・格子ゲージ場
- Schur の補題✓定理 3.1・Peter–Weyl の定理
- Haar 測度は開集合で正✓命題 3.6・Haar 測度
これを使っている定理 証明で参照している 1 件
- 2 次元 Yang–Mills 理論の連続極限✓定理 3.1・Yang–Mills 理論と質量ギャップ II