[論文レビュー] Imaginary geometry III: reversibility of SLE_κ for κ\in (4,8)

Jason Miller, Scott Sheffield⋆|DSpace@MIT (Massachusetts Institute of Technology)|Jan 6, 2012

Mathematical Dynamics and Fractals参考文献 29被引用数 69

ひとこと要約

本稿は、$κ \in (4,8)$ の範囲において、弦型 SLE$_\kappa$ プロセスの時間反転対称性を確立し、Jordan 領域 $D$ 内の点 $x$ から $y$ への SLE$_\kappa$ 曲線の時間反転が、再パrameterization を除いて $y$ から $x$ への SLE$_\kappa$ 曲線と同一分布に従うことを証明する。この結果は、$κ/2 - 4$ が境界充填行動の臨界閾値であるとされる $ρ_1, \u03c1_2 \geq \kappa/2 - 4$ の場合の $ρ$-パラメータを持つ $ρ_1;\u03c1_2)$ プロセスへと拡張され、正規化された連続的 conformal loop ensemble $ρ_\kappa$ と、SLE$_\kappa$ の境界に沿って区分的に定数となる差をとるガウス自由場とのカップリングを定義するための鍵となる要素を提供する。

ABSTRACT

Suppose that D is a planar Jordan domain and x and y are distinct boundary points of D. Fix κ\in (4,8) and let η be an SLE_κprocess from x to y in D. We prove that the law of the time-reversal of ηis, up to reparameterization, an SLE_κprocess from y to x in D. More generally, we prove that SLE_κ(ρ_1;ρ_2) processes are reversible if and only if both ρ_i are at least κ/2-4, which is the critical threshold at or below which such curves are boundary filling. Our result supplies the missing ingredient needed to show that for all κ\in (4,8) the so-called conformal loop ensembles CLE_κ are canonically defined, with almost surely continuous loops. It also provides an interesting way to couple two Gaussian free fields (with different boundary conditions) so that their difference is piecewise constant and the boundaries between the constant regions are SLE_κcurves.

研究の動機と目的

• SLE$_\kappa$ プロセスの時間反転対称性を、これまで未解決であった $\kappa \in (4,8)$ の範囲で確立すること。
• この結果を、$\u03c1_1, \u03c1_2 \geq \kappa/2 - 4$ の条件下で、$\u03c1_1;\u03c1_2)$ プロセスへと拡張し、時間反転対称性が成立するための臨界閾値を同定すること。
• 分岐型 SLE$_\kappa(\kappa-6)$ プロセスの出発点に依存しない、$\u03c0_\kappa$ がほとんど確実に連続なループからなるという事実を証明することで、 conformal loop ensemble 理論における重要な未解決問題を解決すること。
• 境界条件が異なる2つのガウス自由場のカップリングを構成し、その差が $\u03c1_\kappa$ の境界に沿って区分的に定数となるようにすること。
• 特に $\kappa \in (4,8)$ の範囲において、虚数幾何における双対性および時間反転の原理を、light cone および flow line の技法を用いて、厳密に基礎づけること。

提案手法

• 証明は、[MS12a] で示された $\u03c1_{\kappa'}$ 追跡の light cone 特徴付けに依存しており、ガウス自由場を通じて $\u03c1_{\kappa'}$ の外側境界と $\u03c1_\kappa$ プロセスを関連付ける。
• SLE$_\kappa(\u03c1)$ および SLE$_{\kappa'}(\u03c1')$ の追跡が境界と非自明に相互作用しても連続的であることが、[MS12a] で確立されている。
• 一般の場合を、曲線を次第に枯渇させる再帰的反復手続きを用いて臨界ケースに還元し、時間反転プロセスが $\u03c1_{\kappa'}(\u03c1_1;\u03c1_2)$ クラスに留まるように保証する。
• 2つのガウス自由場 $h$ と $\widetilde{h}$ のカップリングを用い、$h - \widetilde{h}$ が $\u03c1_{\kappa'}(\u03c1^L;\u03c1^R)$ 路径に沿って区分的に定数となるようにし、その路線の反転対称性を用いて、時間反転されたプロセスが $\widetilde{h}$ の flow line に一致することを示す。
• 座標変換の公式と、特にストリップ領域における境界条件の回転に対する挙動を用いて、路線分布の対称性を検証する。
• [Dub07, Sch00, Zha08, MS12b] で示された可換性および双対性の技法を基盤としながら、$\kappa \in (4,8)$ の範囲における非単純かつ境界充填的である領域にまでその応用を拡張する。

実験結果

リサーチクエスチョン

• RQ1 Jordan 領域 $D$ 内の点 $x$ から $y$ への SLE$_\kappa$ プロセスの時間反転が、$\kappa \in (4,8)$ の範囲で $y$ から $x$ への SLE$_\kappa$ プロセスと同一分布に従うかどうか。
• RQ2 $\u03c1$-パラメータが $\u03c1_1;\u03c1_2)$ プロセスにおいて時間反転対称性を保証するための正確な条件は何か。
• RQ3 時間反転対称性が成立するならば、$\kappa \in (4,8)$ の範囲における $\u03c0_\kappa$ の構成は、分岐型 SLE$_\kappa(\kappa-6)$ プロセスの出発点に依存しない正規化された形にできるか。
• RQ4 境界条件が異なる2つのガウス自由場をどのようにカップリングすれば、その差が区分的に定数となり、不連続性の線が $\u03c1_\kappa$ 曲線に一致するか。
• RQ5 $\u03ba' \in (4,8)$ の範囲において、点 $z$ が $\u03c1_{\kappa'}(\u03c1^L;\u03c1^R)$ ルートの左側にある確率 $P_L(z)$ の確率的解釈は何か。特に $\u03c1^L = \u03c1^R = \kappa'/2 - 4$ の場合に注目する。

主な発見

• SLE$_\kappa$ プロセス（$\kappa \in (4,8)$）の時間反転は、再パrameterization を除いて $y$ から $x$ への SLE$_\kappa$ プロセスと同一分布に従うことが示され、この範囲における完全な時間反転対称性が確立された。
• $\u03c1_1;\u03c1_2)$ プロセスは、$\u03c1_1, \u03c1_2 \geq \kappa/2 - 4$ のときかつそのときに限り時間反転対称性を有する。この値は、曲線が境界に充填するようになる臨界閾値である。
• この結果により、$\kappa \in (4,8)$ の範囲における $\u03c0_\kappa$ は、分岐型 SLE プロセスの出発点に依存しない正規化された形で定義可能であり、ほとんど確実に連続なループから成る。
• 本稿では、2つのガウス自由場 $h$ と $\widetilde{h}$ のカップリングを構成し、$h - \widetilde{h}$ が区分的に定数となるようにし、定数領域の境界が $\u03c1_\kappa(\u03c1^L;\u03c1^R)$ 曲線となるようにした。また、時間反転された路線が $\widetilde{h}$ の flow line に一致することを示した。
• $\kappa' \in (4,8)$ の範囲において、点 $z$ が $\u03c1_{\kappa'}(\u03c1^L;\u03c1^R)$ ルートの左側にある確率 $P_L(z)$ は、線形関数であり、左境界では $1 - \kappa'/4$、右境界では $\kappa'/4$ をとる。$\kappa'/4 \in (1/2,1)$ であることから、左境界付近では点 $z$ がルートの右側にある確率が高くなる。
• $\kappa' \to 8$ のとき、ルートは空間を埋め尽くし、$P_L(z) \to 1/2$ となる。これは、任意の点の周囲をルートが対称的に通過することを示している。