数学 › 未解決問題と大定理 › Yang–Mills 理論と質量ギャップ II
赤外切断つきの 4 次元 Yang–Mills 理論（Magnen–Rivasseau–Sénéor）
、 とする。位相的に自明なセクターで、赤外切断を固定し、正則化した軸ゲージを使うとき、運動量空間の適切な型の紫外切断について、切断を取り除いた極限で Schwinger 関数が構成でき、無限小のゲージ不変性を表す Slavnov 恒等式が非摂動的に成り立つ。
閉包の状態
※ 主張のみ
証明を Rikai に書かない定理です（研究最前線の結果や、証明が本 1 冊分になるもの）。主張のみの台帳に理由つきで登録されています。理由と出典は 本文の注意 にあります。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
主張のみなので、Rikai の中で証明が使う前提はありません。
これを使っている定理
証明で明示的に参照している定理は、まだありません。