第17章 SLE4-GFF 結合
第17章 SLE4-GFF 結合
STATUS: この節の主張は、定理・引用定理・発見法・予想を区別して読む。 STATUS: スケーリング極限や連続極限のうち本章で証明していない入力は、本文中で外部入力として扱う。
SLE\(_4\) と GFF の結合（coupling）は外部定理として扱う (Schramm と Sheffield 2009年, 2013年)。以後は「結合」と書く。
| 項目 | 内容 |
|---|---|
| 入力 | 適切な境界条件を持つ GFF |
| 出力 | level line としての SLE\(_4\) |
| 主要道具 | GFF の領域マルコフ性、調和拡張、local set |
| 難所 | 点ごとの level set がない場から曲線を定義すること |
| 本教材で証明しない部分 | Schramm-Sheffield の完全な結合構成 |
| 下流での使い方 | CLE、imaginary geometry、LQG への入口 |
この章の役割は、SLE が単独の曲線理論に閉じていないことを示すことである。ただし、GFF 結合を知っても percolation -> SLE\(_6\) や LERW -> SLE\(_2\) の証明を代替することはできない。
結合の入力と出力を分ける
GFF-SLE 結合の入力は、境界値を持つ GFF と、境界上の始点・終点である。出力は、場と曲線を同じ確率空間上に構成し、その曲線が SLE\(_4\) の法則を持ち、曲線を条件にした残りの場が適切な境界条件を持つ GFF になる、という主張である。
この主張は「GFF の等高線を描けば SLE\(_4\) になる」という素朴な文ではない。GFF には点ごとの値がないため、等高線は通常の意味では定義できない。local set は、場と同時に定義されたランダム閉集合であり、その集合を見た後の条件付き平均が調和関数として更新される対象である。この性質を使って level line を定義する。
結合を使うときは、入力と出力を混ぜないことが大切である。入力には、領域、境界値、level line の高さ、始点と終点、適切な正則性が含まれる。出力には、曲線の法則、曲線を条件にした場の条件付き法則、複数の曲線を順に引くときの整合性が含まれる。SLE\(_4\) という一つの記号だけを見て、任意の GFF の任意の level line が同じ法則になると一般化してはいけない。
何を本教材で証明しないか
本教材では、local set の構成、境界条件の厳密な取り扱い、曲線の一意性、measurability の証明を行わない。これらは Schramm-Sheffield の深い結果として引用する。
代わりに、本教材で持ち帰るべき点は次である。
- SLE\(_4\) は GFF の境界線として自然に現れる。
- GFF には点ごとの level set がないため、結合は通常の等高線描画ではない。
- この結合は SLE とランダム場をつなぐが、percolation や LERW の収束証明を置き換えない。
本章の到達点
本章で解決した問いは、SLE4-GFF 結合の入力、出力、外部定理として借りる部分を分けることである。残った問いは、一本の曲線からループ集合、場の理論、ランダム面へどのように進むかである。次章では、それらを発展項目として短く地図化する。