第18章 CLE・CFT・LQG への三つの出口
第18章 CLE・CFT・LQG への三つの出口
STATUS: この節の主張は、定理・引用定理・発見法・予想を区別して読む。 STATUS: スケーリング極限や連続極限のうち本章で証明していない入力は、本文中で外部入力として扱う。
この章は出口であり、本編の証明を補う章ではない。
CLE は、一本の曲線ではなく、平面内のループ集合を扱う。SLE の局所的な成長と整合するループ ensemble として自然に現れる。
CFT との対応は発見的対応表として扱う。SLE の martingale PDE と CFT の null-vector equation が似た形を持つこと、中心電荷 \[ c(\kappa)=\frac{(3\kappa-8)(6-\kappa)}{2\kappa} \] が対応表を作ることは重要だが、ここでは CFT formalism を定理として使わない。
LQG は、GFF からランダム面を作る方向である。Gaussian multiplicative chaos や KPZ 関係は深い理論だが、本教材では「SLE 本体の証明」ではなく、次に進むための地図として置く。物理的直観を定理の代わりにしてはいけない。
CLE は loop の理論である
SLE は一本の chordal curve から始まる。CLE は、領域内に無数のループがランダムに配置された対象である。percolation のクラスター境界を全体として見ると、一本の探索経路ではなくループ集合が自然に現れる。SLE が一本の境界の局所法則を与えるのに対し、CLE は領域全体のループ集合の法則を与える。
この教材では CLE を構成しない。位置づけだけを示す。SLE を理解した後、一本の曲線から多数のループへ拡張するときの出口が CLE である。
CLE を読むときにも、単純な loop と filled loop、ループの向き、ネスティングの有無を分ける必要がある。一本の SLE の trace を何本も並べれば自動的に CLE になるわけではない。領域マルコフ性と共形不変性を、ループ集合全体の条件付き法則として再定式化する必要がある。
CFT は証明の代用品ではない
CFT は、臨界模型の相関関数、境界条件変更作用素、中心電荷、null-vector equation などを通じて、SLE と深く対応する。SLE martingale の PDE と CFT の null-vector equation が同じ形を持つことは、強力な辞書である。
しかし、本教材では CFT を厳密な証明装置として使わない。CFT の形式的計算が SLE の \(\kappa\) や臨界指数を予測することはあるが、それは格子模型の収束証明そのものではない。percolation -> SLE\(_6\) には Smirnov の定理が必要であり、LERW -> SLE\(_2\) には Lawler-Schramm-Werner の証明が必要である。
LQG はランダム面への出口である
LQG は、GFF からランダムな面積測度や距離を作り、ランダム曲面の幾何を調べる理論である。SLE は LQG 上の曲線や切断線として現れることがあり、KPZ 関係は Euclid 幾何とランダム幾何の次元を結びつける。
ただし、この直観は本編の SLE 分類原理とは別である。SLE の基本導入は、Loewner 方程式、領域マルコフ性、等角不変性、Brown 駆動で完結する。LQG はその先にあるランダム幾何への出口として扱う。
KPZ 関係を読むときは、Euclid 平面での次元と LQG 面積測度で測った次元を区別する。SLE の Hausdorff 次元公式は Euclid 幾何の定理であり、KPZ の関係式はランダム面上の指数を結びつける別の枠組みである。本教材ではこの対応を発見的な地図として示し、証明済みの SLE 相分類へ戻ってこられるようにする。
出口章の読み方
この章の語彙は、次のように読む。
| 語 | 本教材での扱い |
|---|---|
| CLE | SLE からループ集合へ進む出口 |
| CFT | martingale PDE と null-vector equation の発見的対応表 |
| LQG | GFF からランダム面へ進む出口 |
| KPZ | 物理的説明と発展項目 |
どれも重要だが、SLE 本体を薄めるために使ってはいけない。読者がまず説明できるべきことは、なぜ曲線が Loewner chain で記述され、なぜ駆動関数が Brown 運動になるかである。
本章の到達点
本章で解決した問いは、CLE、CFT、LQG を本編の証明装置ではなく出口として読む位置づけである。残った問いは発展編の範囲に属する。本教材の中心に戻るなら、Loewner 符号化、Schramm 分類、模型ごとの収束証明の三つを説明できるかを確認すればよい。