確率論では、パラメータ κ を持つシュラム・レヴナー発展(, SLE)は、確率論的レヴナー発展(SLEκ)としても知られている。統計力学の多くの 2次元格子モデルの中から(scaling limit)が既に証明されているランダムな平面曲線の族のことをいう。パラメータ κ と複素平面内の領域 U が与えられたとき、SLEは、どれくらい曲線が曲がるかを制御する κ を持つような U の中のランダムな曲線の族を与える。SLEには 2つの主要な変形があり、一つは両端を固定された境界点からランダムな曲線の族である弧状の SLE(chordal SLE)と、もう一つは固定された（領域の）内部の点を端点として持つランダムな曲線の族である放射状の SLE(radial SLE)がある。これらの曲線は、共形不変性と領域マルコフ性を満たすとして定義される。

シュラム・レヴナー発展は、オデッド・シュラムにより、平面の(uniform spanning tree,UST)や(loop-erased random walk,LERW)である確率過程のスケール極限となるであろうという予想として発見され、一連の(Greg Lawler)やウェンデリン・ウェルナー(Wendelin Werner)との共著論文で開拓されてきた。

UST と LERW に対してのシュラム・レヴナー発展とは、平面上の様々な確率過程の(scaling limit)が記述できることが証明されているか、または予想されているものを言う。例を挙げると、(critical percolation)や、臨界イジングモデルや、二重ダイマーモデルや、(self-avoiding walk,SAW)や、その他の共形不変性をもつ臨界統計力学モデルがある。SLE曲線はこれらのモデルの境界面や自分と交わらないランダム曲線のスケール極限である。主要なアイデアは、共形不変性と一種のマルコフ性が、（レヴナーの微分方程式からの駆動函数(driving function)を使い）確率過程に遺伝して、領域の境界上での 1次元ブラウン運動の中へこれらの平面曲線の情報をエンコードすることが可能となる。この方法では、多くの平面モデルの重要な問題が、(Itō calculus)を応用した問題へと翻訳される。実際、この戦略の下、いくつかの数学的に非自明な予言が、物理学者により共形場理論を使い証明された。

レブナー方程式
(Loewner differential equation)
D を C と異なる単連結(simply connected)で開いた複素領域とし、γ を D の境界に出発点を持つ D の内部の単純曲線（ D の境界で γ(0) であり、γ((0, ∞)) では、D の部分集合となるような連続函数）とする。各々の t ≥ 0 に対し、γ([0, t]) 補集合 Dt は単連結となり、従って、リーマンの写像定理により D と共形同値である。ft が D から Dt への正規化された同型であれば、レヴナーがビーベルバッハの予想の仕事  で発見していた微分方程式を満たす。Dt から D への共形写像である、ft の逆函数 gt を使う方が便利であるときもある。以下では、レヴナー微分方程式をレヴナー方程式と記すこととする。

レヴナー方程式の z は、領域 D の中で、t ≥ 0 であり、t = 0 の境界での値は f0(z) = z または、g0(z) = z である。この方程式は、D の境界でも値を持つ駆動函数(driving function) ζ(t) に依存している。D が単位単板で、曲線 γ が「容量(capaity)」によりパラメトライズされていると、レヴナー方程式は、

   もしくは、   
となる。

D が上半平面のときは、レヴナー方程式は変数変換により、上記とは異なった方程式となり、

   もしくは、   
である。

駆動函数 ζ と曲線 γ は、
   or   
により関係付けられる。ここに ft と gt は連続性により拡張されている。

例

D を上半平面とし、駆動函数 ζ が恒等的に 0 であれば、

 は 0 から  までの直線を削除した上半平面である。

シュラム・レヴナー発展
シュラム・レヴナー発展は、上のセクションで述べたのように、レヴナー方程式によって駆動函数

で与えられたランダム曲線 γ である。ここに、 B(t) はある実数 κ によりスケーリングされた D の境界上のブラウン運動である。言い換えると、シュラム・レヴナー発展は、この写像の下のウィーナー測度の像として与えられ、平面上の確率測度である。

一般に、曲線 γ は単純である必要はなく、領域 Dt は D の中の補集合 γ([0,t]) でもない。

曲線の族を使うSLEには 2つのバージョンがあり、非負である実数のパラメータ κ に依存している。
弧状 SLEκは、領域の境界上の 2点をつなぐ曲線と関係している。（普通は、0 と無限遠点をもつ上半平面上で考える。）
放射状 SLEκは、領域内部の点と境界上の点を結ぶ曲線と関係している。（単位円板の 1 と 0 をつなぐ曲線であることもある。）

SLEは領域の境界上のブラウン運動の選択に依存し、使うブラウン運動の種類によっていくつかの変形がある。例えば、固定点から出発するかもしれないし、単位円上の一様に分布した点から出発することもありかもしれないし、動くような設定になっているかもしれないような場合もあるし、他にも考えられる。パラメータ κ はブラウン運動の散乱率を制御し、SLEの振る舞いは κ の値に強く依存する。

シュラム・レヴナー発展で共通に使われる 2つの領域は、上半平面と単位円板である。レヴナーの微分方程式はこの 2つの場合で異なっているが、それらは、単位円板と上半平面が共形同値であるので、変数変換により同値となっている。しかしながら、これらの間の共形同値はシュラム・レヴナーの発展を駆動するブラウン運動は保存されない。

κ の特殊値
κ = 2 は(loop-erased random walk)に対応している。同じことであるが、一様スパニングツリーに対応している。
κ = 8/3 に対して、SLEκ は、特別な性質を持っていて、(self-avoiding random walks)のスケール極限となると予想されている。このひとつのバージョンがブラウン運動の外側の境界である。この場合も三角格子上の(critical percolation)のスケール極限で発生する。
κ = 3 はイジングモデルのスケール極限である。
0 ≤ κ ≤ 4 に対しては、曲線 γ(t) は（確率 1 で）単純である。
κ = 4 は、調和臨界点と(Gaussian free field)の積分路に対応している。
κ = 6 に対して、SLEκ は局所性をもち、三角格子上の(critical percolation)で発生する。他の格子の上についても、発生することが予想されている。
4 < κ < 8 に対して、曲線 γ(t) は自分自身に交わり、全ての点がループ上に含まれるが、（確率 1 で）曲線は空間を満たしているわけではない。
κ = 8 は、一様スパニングツリーと双対ツリーを分ける経路に対応している。
κ ≥ 8 に対して、曲線 γ(t) は（確率 1 で）空間を満たす。

SLEがある共形場理論に対応しているとき、パラメータ κ は共形場理論の中心電荷 c に、

として、関係付いている。c < 1 の各々の値は、2つの κ の値に対応していて、一つは、0 から 4 の間のκ であり、もう一つは「双対」の値で 4 より大きな 16/κ という値に対応している。

 では、（確率 1 で）経路のハウスドルフ次元(Hausdorff dimension)は、min(2, 1 + κ/8) に等しいことが示されている。

応用
 では、SLE6 を使い、 で予想されている平面ブラウン運動の境界はフラクタル次元が 4/3 であることが証明された。

(triangular lattice)上の臨界は、スタニスラフ・スミルノフ(Stanislav Smirnov)により、 κ=6 であるSLEに関係していることが証明された。 より前の結果である(Harry Kesten)の結果を組み合わせると、パーコレーションの多くの臨界指数を決定することができる。 一方、このブレイクスルーは、モデルの多くの側面を分析することを可能とした。

(Loop-erased random walk)は、ローラー、シュラム、ウェルナーにより、κ = 2 のSLEへ収束することが示された。 このことは、ループ回避ランダムウォークの量的な性質の多くを導くことを可能とした。（それらのいくつかは、リチャード・ケンヨンにより早くから導出されていた。） (uniform spanning tree)の外側の曲線であるランダムペアノ曲線(Peano curve)は、κ = 8 のSLEへ収束することが示された。

ローデ(Rohde)とシュラム(Schramm)は、κ が次の関係式によりフラクタル次元と関連ついていることを示した。

参考文献

さらに進んだ文献

 

  (Chapter 6 treats the classical theory of Loewner's equation)
 Schramm's original paper, introducing SLE

外部リンク
 ( video of MSRI lecture)
 (Slides from a talk.)

確率過程
複素解析
数学に関する記事
数学のエポニム