数学 › 未解決問題と大定理 › Yang–Mills 理論と質量ギャップ II
格子 Yang–Mills の Langevin 力学
定義 7.1(「Yang–Mills 理論と質量ギャップ II」§7)
§5.2 の設定で V=S とする。格子 Yang–Mills の Langevin 力学とは、生成作用素
Lf=ΔKf−i∑XiSXif=e∈E∑(Δef−⟨∇eS,∇ef⟩)の閉包 Lˉ が L2(μΛ,β) の上に生成する半群 Pt=etLˉ(t≥0)をいう。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。