The conformally invariant metric on CLE$_4$ I: subsequential limits of the non-simple CLE graph metric

タイトル: CLE$_4$における共形不変計量 I: 非単純なCLEグラフ計量の部分列極限

著者: Emmanuel Kammerer, Konstantinos Kavvadias, Jason Miller, および Yi Tian

1. 問題設定と動機

本論文は、パラメータ $\kappa = 4$ の場合の共形ループ・アンサンブル（CLE）上の、標準的な共形不変計量の構成について扱っている。CLEは、単連結領域における非交差のループのランダムな集まりであり、Schramm–Loewner Evolution（SLE）の自然なループ版として機能する。

$\kappa \in (4, 8)$ の場合、CLEのループは非単純（non-simple）であり、互いに交差し、かつ領域の境界と交差する。この交差構造により、ループを頂点とし、交差するループ間にエッジが存在するという、ループ上の自然なグラフ計量を定義することができる。しかし、臨界ケースである $\kappa = 4$ では、ループは単純（simple）であり、互いに、あるいは境界と交差することはない。その結果、異なるループ間の標準的なグラフ計量は定義されない（無限大となる）。

中心となる問題は、$\kappa \downarrow 4$ としたときのCLE$_\kappa$のグラフ計量のスケーリング極限として、CLE$_4$上に意味のある共形不変計量が存在するかどうかを判断することである。WernerとWuによる先行研究では、特定の順序でCLE$_4$のループを発見する「一様探索（uniform exploration）」プロセスが定義されており、この探索が計量球（metric balls）の境界からの成長に対応するという予想が立てられている。本論文の目的は、このような計量を厳密に構成し、それが局所性や測地線特性を含む特定の公理を満たすことを検証することである。

2. 手法

著者らは部分列極限（subsequential limit）のアプローチを採用している。彼らは、数列 $\kappa_n \downarrow 4$ を考え、CLE$_{\kappa_n}$上のスケーリングされたグラフ距離 $a_{\kappa_n}^{-1} D_{\kappa_n}$ を解析する。ここで、$a_\kappa$ は $\kappa \downarrow 4$ のときに無限大に発散する正規化因子である（具体的には、原点を囲むループが境界に触れる確率の逆数である）。

手法は以下の段階を経て進行する：

1. タイトネスと部分列極限: 著者らはまず、スケーリングされた距離および関連する計量球（一定の距離内にあるループの集合）の積位相におけるタイトネス（tightness）を確立する。これにより、部分列極限の存在が保証される。
2. 境界識別による構成: 初期の構成を簡略化するため、彼らはまず、境界 $\partial D$ を単一の点として扱う、境界に拡張されたループの集合上の計量 $D_\partial$ を定義する。そして、$\kappa \downarrow 4$ における分岐型SLE$_\kappa(\kappa-6)$ プロセスの一様探索への収束に基づき、スケーリングされた境界へのグラフ距離がWernerとWuの一様探索に対応することを証明する。
3. 全域的計量への拡張: $D_\partial$ の収束性とCLEの反転不変性を利用して、ループ自体（境界が単一の点ではない場合）上の計量 $D$ を構成する。これには、任意のループからの計量球が、そのループの補集合における一様探索によって記述できることを示すプロセスが含まれる。
4. 公理の検証: 構築された計量が「弱測地線CLE$_4$計量カップリング」を定義する特定の公理を満たすことを証明することが、核心的な技術的課題である。これらの公理には以下が含まれる：
   • 弱測地線特性: 計量球は連結であり、半径に関して右連続かつ左極限を持つ（càdlàg）であり、距離に関する特定の加法性を満たす。
   • 局所性: 部分領域に制限された計量は、その領域内のループと、外部によって課される境界条件のみに依存する。
   • 共形不変性: 計量の法則は、共形自己同型写像の下で保存される。
   • 一様探索: 境界からループまでの距離は、一様探索における発見時刻と一致する。

技術的な作業の大部分は、「大きな」CLE$_\kappa$のループが「太い（fat）」こと（すなわち、ある半径のユークリッド球を囲んでいること）を、$\kappa \downarrow 4$ のとき一様に証明することに費やされる。これにより、計量球のハウスドルフ位相における収束を妨げるような、マクロスクピックではあるが「細い（skinny）」ループの存在を防ぐ。これは、CLE$_\kappa$をCLE$_{16/\kappa}$（単純なループ）と結合させ、ブラウン・ループ・スープの構成を利用することで達成される。

3. 主な貢献と結果

主要定理 (Theorem 1.3):
任意の数列 $\kappa_n \downarrow 4$ に対して、ある部分列が存在し、スケーリングされたグラフ距離 $a_{\kappa_n}^{-1} D_{\kappa_n}$ が、有理点の集合上の積位相において、弱測地線CLE$_4$計量カップリング $D$ に法則の意味で収束する。

具体的な結果:

• 極限の存在: 本論文は、正規化されたグラフ計量の部分列極限が存在し、それがCLE$_4$のループ上の非自明な計量 $D$ を定義することを証明している。
• 計量球の特性付け: 境界から成長する計量球は、WernerとWuの一様探索によって探索される領域と正確に一致することが示されている。
• 公理の検証: 構築された計量は以下の性質を満たす：
  • 共形不変性: 計量は共形写像の下で不変である。
  • 局所性: 計量は部分領域に制限された際、一貫した挙動を示す。
  • 測地線構造: 計量球は連結であり、距離は弱測地線特性（2つのループ間の距離は、中間的な球への距離とその球からの距離の和であること）を満たす。
• ループの太さ: 命題 5.2 は、任意の $\epsilon > 0$ に対して $\delta > 0$ が存在し、$\kappa \downarrow 4$ のとき、直径が少なくとも $\epsilon$ であるすべてのCLE$_\kappa$のループは、高い確率で半径 $\delta$ のユークリッド球を囲むことを確立している。これは、計量球の収束の安定性を保証するための極めて重要な技術的補題である。

4. 意義と範囲

本論文は、非単純なCLEグラフ計量のスケーリング極限として、CLE$_4$上の共形不変な計量を初めて厳密に構成したと主張している。このアプローチは、異なる間接的な構成を用いた、Sheffield, Watson, および Wu による未発表の先行研究とは異なるものである。

意義:

• 予想の解決: WernerとWuによる、「一様探索はCLE$_4$上の共形不変な計量の計量球の成長に対応する」という予想を裏付けている。
• ランダム平面図形: 著者らは、この計量空間が、$3/2$-安定ランダム平面図形（頂点の重みが $k^{-2}$ のオーダーである図形）のスケーリング極限を記述すると予想している。これらの図形はグロモフ・ハウスドルフ・スケーリング極限を持たないが、これらの図形における根（root）への距離は、構築されたCLE$_4$計量における距離に収束すると期待されている。
• 双対性: この計量空間は、大きな面を持つランダム図形のスケーリング極限から生じる $\alpha$-安定カーペット（具体的には $3/2$-安定カーペット）の「双対」と見なされる。

謙虚な姿勢と今後の課題:
著者らは、これが3部構成のシリーズの最初の論文であることを明示している。

• 部分列極限 vs 真の極限: 本論文は、部分列極限の存在のみを証明している。極限の一意性（したがって、数列 $\kappa \downarrow 4$ 全体に沿った極限の存在）は、後続の論文 [KKMT26a, KKMT26b] で確立される。
• 応用: 本論文は、ランダム平面図形のスケーリング極限の問題を解決したと主張しているのではなく、むしろそれを記述すると期待される、必要な計量構造を提供している。$3/2$-安定図形との関連性は、構築された計量の特性に基づく期待として提示されている。

要約すると、本論文はスケーリング極限を通じてCLE$_4$の候補となる計量を構築することに成功し、その存在を部分列極限として証明し、構築された計量が、共形不変な計量に求められる基本的な幾何学的および確率的性質を備えていることを検証しており、後続の論文における一意性の証明のための基礎を築いている。