The nested simple conformal loop ensembles in the Riemann sphere.

*(English)*Zbl 1352.60117The paper under review studies various basic concepts in conformal field theory, from explicit probabilistic constructions and interpretations through nested CLE (Conformal Loop Ensembles), where a CLE in a simply connected planar domain \(D\) is a random countable collection of simple loops that are all contained in \(D\). The laws of CLEs are characterized by Markovian exploration described by S. Sheffield and the second author [Ann. Math. (2) 176, No. 3, 1827–1917 (2012; Zbl 1271.60090)]. CLEs as the collections of outer boundaries of outermost clusters in Poissonian collections of Brownian loops in \(D\) and the loops in a CLE that are very closely related to \(\mathrm{SLE}_k\) curves for \(k\in (8/3, 4]\) are described by O. Schramm [Isr. J. Math. 118, 221–288 (2000; Zbl 0968.60093)]. There is one \(\mathrm{CLE}_k\) law for each \(k\).

The first main result (Theorem 1) states that for any \(k\in (8/3, 4]\) the law of the nested \(\mathrm{CLE}_k\) in the full complex plane is invariant under \(z\mapsto 1/z\), and the other main result derives and highlights properties of this particular full-plane structure with intensity measures \(\nu^i = \nu^e=\alpha \times \nu^{cle}\) for some constant \(\alpha = \alpha (k)\), where \(\nu^i(A)\) (\(\nu^e\) or \(\nu^{\mathrm{cle}}\)) is the mean number of loops inside (outside or surrounding the origin) which are contained in a measurable set. Using inversion invariance of the \(\mathrm{SLE}_{3/8}\) loop soup, the first main result is deduced from the second main result.

Section 2 reviews loops and clusters from the \(\mathrm{SLE}_{8/3}\) loop soup. The Brownian loop soup \(\beta = \{\beta_j: j\in J\}\) in C with intensity \(c\) is a Poisson point process in the plane with intensity \(c\mu\), where \(J\) is the set of all points appearing in the point process. Sheffield and the second author [loc. cit.] showed that Brownian loop-soup clusters in \(D\) are disjoint for \(c\leq 1\) (\(c\in (0, 1]\) corresponds to \(k(c)\in (8/3, 4]\)). The second author [J. Am. Math. Soc. 21, No. 1, 137–169 (2008; Zbl 1130.60016)] showed that the family \(\eta = \{\eta_j, j\in J\}\) of outer boundaries of outermost clusters is a Poisson point process of \(\mathrm{SLE}_{8/3}\) loops, and this random family is invariant under any Möbius transformation of the Riemann sphere (in particular \(z\mapsto 1/z\)).

Subsection 2.2 discusses Markov chains of nested clusters and of nested loops. The scale invariance of the loop soup (the expected number of clusters that surround the origin and have diameter between 1 and 2 is finite) provides three infinite measures \(\nu\), \(\nu^i\), \(\nu^e\) as the intensity measure of the families \(K_j\), \(\gamma_j^i\), \(\gamma_j^e\), where \(K_j\) is a cluster that disconnects infinity from the origin, the boundaries of the complement \(K_j\) consist of countably many loops \(\gamma_j^i\) that contain the origin, and \(\gamma_j^e\) contains infinity in the noncompact component. Proposition 1 states that \(\nu\) is invariant under \(z\mapsto 1/z\) and its proof follows from the invariance of the full-plane \(\mathrm{SLE}_{8/3}\) loop soup under inversion. Subsection 2.3 tries to decompose the information provided by a loop \(\gamma\) that surrounds the origin into its size and its shape.

Section 3 describes the construction of the full-plane CLEs. The authors first construct a coupling between nested CLEs for two simply connected domains \(D\) and \(D^{'}\) that surround the origin (Subsection 3.1) by showing (Proposition 2) that there almost surely exists an \(n_0\) such that the two nested CLEs coincide inside the loop \(\gamma_{n_0}\). The full-plane nested CLE chain to \(b\) from \(\infty\) is the restriction of the full-plane nested CLE to those loops that surround \(b\), thus \(\nu^{\mathrm{cle}}\) is defined to be the infinity intensity measure of \(\mathrm{CLE}\) \((\infty \to 0)\). Proposition 3 states that \(\nu^e=\nu^i\). By checking that \(\nu^i\) is invariant under the kernel \(Q^{\to e}\), Theorem 1 follows from Proposition 3 with the invariance in distribution under the map \(z\mapsto 1/z\) of the nested family \(\mathrm{CLE}(\infty \to 0)\) of loops \(\gamma_j\), \(j\in J\). Subsection 3.4 extends the previous result to the annular region (no longer simply connected) with two controlled parameters \((m_1, m_2)\).

Section 4 is devoted to the proof of \(\nu^i = \nu^e\). Sheffield and the second author [loc. cit.] constructed a CLE by starting from a Poisson point process of \(\mathrm{SLE}_k\) bubbles, and Subsection 4.1 reviews their ideas and tools. The proof starts to build measures as \(\varepsilon \to 0\), and, via interchanging the order of integration and by inversion, provides expressions for both \(\nu^i_{\varepsilon}\) and \(\nu^e_{\varepsilon}\). The expressions have Euclidean areas with key asymptotic values (Lemma 3), and the other terms can be identified.

Subsection 4.2 is devoted to the proof of Lemma 3. A similar result on the Minkowski content of chordal SLE paths (not loops) was proved by G. F. Lawler and M. A. Rezaei [Ann. Probab. 43, No. 3, 1082–1120 (2015; Zbl 1331.60165)]. Using analogous arguments, one considers now instead of a chordal SLE path an SLE bubble defined under the infinite measure \(\mu\) and keeps the function \(J\) as before, then restricts to the study of loops in the plane that surround the origin and stay confined in a given annulus. One of the main ingredients in the proofs of Lawler and Rezaei [loc. cit., Theorem 3.1] is to gain a very good control on the probability that the SLE intersects the \(\varepsilon\)-neighborhood of a point in the upper half-plane. The second main ingredient in their proof is to control the second moments of \(\nu_{\varepsilon, J}\) and their variation with respect to \(\varepsilon\), where \[ \nu_{\varepsilon, J} (\beta) = \int_{H}d^2z J(z) 1_{d(z, \beta)<\varepsilon}. \] The hitting time of a disc around \(z\) by the chordal \(\mathrm{SLE}_k \beta\) follows from Sections 2.3 and 4.2 of [Lawler and Rezaei, loc. cit.].

It would be nice to see the main results in the paper under review to have applications to the critical Ising model from statistical physics and the bulk stress-energy tensor from conformal field theory.

The first main result (Theorem 1) states that for any \(k\in (8/3, 4]\) the law of the nested \(\mathrm{CLE}_k\) in the full complex plane is invariant under \(z\mapsto 1/z\), and the other main result derives and highlights properties of this particular full-plane structure with intensity measures \(\nu^i = \nu^e=\alpha \times \nu^{cle}\) for some constant \(\alpha = \alpha (k)\), where \(\nu^i(A)\) (\(\nu^e\) or \(\nu^{\mathrm{cle}}\)) is the mean number of loops inside (outside or surrounding the origin) which are contained in a measurable set. Using inversion invariance of the \(\mathrm{SLE}_{3/8}\) loop soup, the first main result is deduced from the second main result.

Section 2 reviews loops and clusters from the \(\mathrm{SLE}_{8/3}\) loop soup. The Brownian loop soup \(\beta = \{\beta_j: j\in J\}\) in C with intensity \(c\) is a Poisson point process in the plane with intensity \(c\mu\), where \(J\) is the set of all points appearing in the point process. Sheffield and the second author [loc. cit.] showed that Brownian loop-soup clusters in \(D\) are disjoint for \(c\leq 1\) (\(c\in (0, 1]\) corresponds to \(k(c)\in (8/3, 4]\)). The second author [J. Am. Math. Soc. 21, No. 1, 137–169 (2008; Zbl 1130.60016)] showed that the family \(\eta = \{\eta_j, j\in J\}\) of outer boundaries of outermost clusters is a Poisson point process of \(\mathrm{SLE}_{8/3}\) loops, and this random family is invariant under any Möbius transformation of the Riemann sphere (in particular \(z\mapsto 1/z\)).

Subsection 2.2 discusses Markov chains of nested clusters and of nested loops. The scale invariance of the loop soup (the expected number of clusters that surround the origin and have diameter between 1 and 2 is finite) provides three infinite measures \(\nu\), \(\nu^i\), \(\nu^e\) as the intensity measure of the families \(K_j\), \(\gamma_j^i\), \(\gamma_j^e\), where \(K_j\) is a cluster that disconnects infinity from the origin, the boundaries of the complement \(K_j\) consist of countably many loops \(\gamma_j^i\) that contain the origin, and \(\gamma_j^e\) contains infinity in the noncompact component. Proposition 1 states that \(\nu\) is invariant under \(z\mapsto 1/z\) and its proof follows from the invariance of the full-plane \(\mathrm{SLE}_{8/3}\) loop soup under inversion. Subsection 2.3 tries to decompose the information provided by a loop \(\gamma\) that surrounds the origin into its size and its shape.

Section 3 describes the construction of the full-plane CLEs. The authors first construct a coupling between nested CLEs for two simply connected domains \(D\) and \(D^{'}\) that surround the origin (Subsection 3.1) by showing (Proposition 2) that there almost surely exists an \(n_0\) such that the two nested CLEs coincide inside the loop \(\gamma_{n_0}\). The full-plane nested CLE chain to \(b\) from \(\infty\) is the restriction of the full-plane nested CLE to those loops that surround \(b\), thus \(\nu^{\mathrm{cle}}\) is defined to be the infinity intensity measure of \(\mathrm{CLE}\) \((\infty \to 0)\). Proposition 3 states that \(\nu^e=\nu^i\). By checking that \(\nu^i\) is invariant under the kernel \(Q^{\to e}\), Theorem 1 follows from Proposition 3 with the invariance in distribution under the map \(z\mapsto 1/z\) of the nested family \(\mathrm{CLE}(\infty \to 0)\) of loops \(\gamma_j\), \(j\in J\). Subsection 3.4 extends the previous result to the annular region (no longer simply connected) with two controlled parameters \((m_1, m_2)\).

Section 4 is devoted to the proof of \(\nu^i = \nu^e\). Sheffield and the second author [loc. cit.] constructed a CLE by starting from a Poisson point process of \(\mathrm{SLE}_k\) bubbles, and Subsection 4.1 reviews their ideas and tools. The proof starts to build measures as \(\varepsilon \to 0\), and, via interchanging the order of integration and by inversion, provides expressions for both \(\nu^i_{\varepsilon}\) and \(\nu^e_{\varepsilon}\). The expressions have Euclidean areas with key asymptotic values (Lemma 3), and the other terms can be identified.

Subsection 4.2 is devoted to the proof of Lemma 3. A similar result on the Minkowski content of chordal SLE paths (not loops) was proved by G. F. Lawler and M. A. Rezaei [Ann. Probab. 43, No. 3, 1082–1120 (2015; Zbl 1331.60165)]. Using analogous arguments, one considers now instead of a chordal SLE path an SLE bubble defined under the infinite measure \(\mu\) and keeps the function \(J\) as before, then restricts to the study of loops in the plane that surround the origin and stay confined in a given annulus. One of the main ingredients in the proofs of Lawler and Rezaei [loc. cit., Theorem 3.1] is to gain a very good control on the probability that the SLE intersects the \(\varepsilon\)-neighborhood of a point in the upper half-plane. The second main ingredient in their proof is to control the second moments of \(\nu_{\varepsilon, J}\) and their variation with respect to \(\varepsilon\), where \[ \nu_{\varepsilon, J} (\beta) = \int_{H}d^2z J(z) 1_{d(z, \beta)<\varepsilon}. \] The hitting time of a disc around \(z\) by the chordal \(\mathrm{SLE}_k \beta\) follows from Sections 2.3 and 4.2 of [Lawler and Rezaei, loc. cit.].

It would be nice to see the main results in the paper under review to have applications to the critical Ising model from statistical physics and the bulk stress-energy tensor from conformal field theory.

Reviewer: Weiping Li (Stillwater)

##### MSC:

60J67 | Stochastic (Schramm-)Loewner evolution (SLE) |

60D05 | Geometric probability and stochastic geometry |

60G55 | Point processes (e.g., Poisson, Cox, Hawkes processes) |

##### Keywords:

random curves; conformal loop ensembles; Schramm-Loewner evolution; loop soups; conformal invariance; Poisson point process; nested cluster; scaling limit##### References:

[1] | Chelkak, D; Duminil-Copin, H; Hongler, C; Kemppainen, A; Smirnov, S, Convergence of Ising interfaces to schramm’s sles, Comptes Rendus de l’Académie des Sci., 352, 157-161, (2014) · Zbl 1294.82007 |

[2] | Chelkak, D; Smirnov, S, Universality in the 2D Ising model and conformal invariance of fermionic observables, Invent. Math., 189, 515-580, (2012) · Zbl 1257.82020 |

[3] | Doyon, B, Conformal loop ensembles and the stress-energy tensor, Lett. Math. Phys., 103, 233-284, (2013) · Zbl 1263.81253 |

[4] | Dubédat, J, SLE and the free field: partition functions and couplings, J. Am. Math. Soc., 22, 995-1054, (2009) · Zbl 1204.60079 |

[5] | Lawler, GF; Rezaei, MA, Minkowski content and natural parameterization for the schramm-Loewner evolution, Ann. Probab., 43, 1082-1120, (2015) · Zbl 1331.60165 |

[6] | Lawler, GF; Schramm, O; Werner, W, Conformal restriction: the chordal case, J. Am. Math. Soc., 16, 917-955, (2003) · Zbl 1030.60096 |

[7] | Lawler, GF; Schramm, O; Werner, W, Values of Brownian intersection exponents. II. plane exponents, Acta Math., 187, 275-308, (2001) · Zbl 0993.60083 |

[8] | Lawler, GF; Werner, W, The Brownian loop soup, Probab. Theory Relat. Fields, 128, 565-588, (2004) · Zbl 1049.60072 |

[9] | Lawler, GF; Werness, BM, Multi-point green’s functions for SLE and an estimate of beffara, Ann. Probab., 41, 1513-1555, (2013) · Zbl 1277.60134 |

[10] | Miller, J.P., Sheffield, S.: Imaginary geometry I. Interacting SLEs. arXiv:1201.1496 (preprint) · Zbl 1336.60162 |

[11] | Miller, J.P., Sheffield, S.: Imaginary geometry II. Reversibility of \({\rm SLE}_{κ } (ρ _1;ρ _2)\). Ann. Probab. (to appear) · Zbl 1049.60072 |

[12] | Miller, J.P., Sheffield, S.: Imaginary geometry III. Reversibility of \({\rm SLE}_{κ } \). arXiv:1201.1497 (preprint) · Zbl 1294.82007 |

[13] | Miller, J.P., Sheffield, S.: Imaginary geometry IV: interior rays, whole-plane reversibility, and space-filling trees. arXiv:1302.4738 (preprint) · Zbl 1378.60108 |

[14] | Miller, J.P., Watson, S.S., Wilson, D.B.: Extreme nesting in the conformal loop ensemble. Ann. Probab. (to appear) · Zbl 1347.60061 |

[15] | Nacu, Ş; Werner, W, Random soups, carpets and fractal dimensions, J. Lond. Math. Soc., 83, 789-809, (2011) · Zbl 1223.28012 |

[16] | Schramm, O, Scaling limits of loop-erased random walks and uniform spanning trees, Isr. J. Math., 118, 221-288, (2000) · Zbl 0968.60093 |

[17] | Schramm, O; Sheffield, S, Contour lines of the two-dimensional discrete Gaussian free field, Acta Math., 202, 21-137, (2009) · Zbl 1210.60051 |

[18] | Schramm, O; Sheffield, S; Wilson, DB, Conformal radii for conformal loop ensembles, Commun. Math. Phys., 288, 43-53, (2009) · Zbl 1187.82044 |

[19] | Sheffield, S, Exploration trees and conformal loop ensembles, Duke Math. J., 147, 79-129, (2009) · Zbl 1170.60008 |

[20] | Sheffield, S., Watson, S.S., Wu, H.: (in preparation) · Zbl 1277.60134 |

[21] | Sheffield, S; Werner, W, Conformal loop ensembles: the Markovian characterization and the loop-soup construction, Ann. Math., 176, 1827-1917, (2012) · Zbl 1271.60090 |

[22] | Werner, W, SLEs as boundaries of clusters of Brownian loops, Comptes Rendus Math. Acad. des Sci. Paris, 337, 481-486, (2003) · Zbl 1029.60085 |

[23] | Werner, W, Some recent aspects of random conformally invariant systems, Ecole d’été de physique des Houches, LXXXIII, 57-99, (2006) · Zbl 1370.60142 |

[24] | Werner, W, The conformally invariant measure on self-avoiding loops, J. Am. Math. Soc., 21, 137-169, (2008) · Zbl 1130.60016 |

[25] | Werner, W; Wu, H, On conformally invariant CLE explorations, Commun. Math. Phys., 320, 637-661, (2013) · Zbl 1290.60082 |

[26] | Werner, W., Wu, H.: From CLE(\(κ \)) to SLE(\(κ ,ρ \))’s. Electr. J. Probab. 18, 36 (2013) · Zbl 1170.60008 |

[27] | Zhan, D, Reversibility of chordal SLE, Ann. Probab., 36, 1472-1494, (2008) · Zbl 1157.60051 |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.