key: cord-0653162-ct7lrjth
authors: Wang, Yilin
title: Large deviations of Schramm-Loewner evolutions: A survey
date: 2021-02-13
journal: nan
DOI: nan
sha: 38f2796803e01fa75b892029e1d4e9b3f97b6118
doc_id: 653162
cord_uid: ct7lrjth

These notes survey the first results on large deviations of Schramm-Loewner evolutions (SLE) with emphasis on interrelations between rate functions and applications to complex analysis. More precisely, we describe the large deviations of SLE$_kappa$ when the $kappa$ parameter goes to zero in the chordal and multichordal case and to infinity in the radial case. The rate functions, namely Loewner and Loewner-Kufarev energies, are closely related to the Weil-Petersson class of quasicircles and real rational functions.

These notes aim to overview the first results on the large deviations of Schramm-Loewner evolutions (SLE). SLE is a one-parameter family, indexed by κ ≥ 0, of random non-selfcrossing and conformally invariant curves in the plane. They are introduced by Schramm [Sch00] in 1999 by combining stochastic analysis with Loewner's century-old theory [Loe23] for the evolution of planar slit domains. When κ > 0, these curves are fractal, and the parameter κ reflects the curve's roughness. SLEs play a central role in 2D random conformal geometry. For instance, they describe interfaces in conformally invariant systems arising from scaling limits of discrete statistical physics models, which was also Schramm's original motivation, see, e.g., [LSW04, Sch07, Smi06, SS09] . More recently, SLEs are shown to be coupled with random surfaces and provide powerful tools in the study of probabilistic Liouville quantum gravity, see, e.g., [DS11, She16, MS16a, DMS14] . SLEs are also closely related to conformal field theory whose central charge is a function of κ, see, e.g., [BB03, Car03, FW03, FK04, Dub15, Pel19] .

Large deviation principle describes the probability of rare events of a given family of probability measures on an exponential scale. The formalization of the general framework of large deviation was introduced by Varadhan [Var66] with many contributions by Donsker and Varadhan around the eighties. Large deviations estimates have proved to be the crucial tool required to handle many questions in statistics, engineering, statistical mechanics, and applied probability.

In these notes, we only give a minimalist account of basic definitions and ideas from both SLE and large deviation theory, only sufficient for considering the large deviations of SLE. We by no means attempt to give a thorough reference to the background of these two theories and apologize for the omission. Our approach focuses on showing how large deviation consideration propels to the discovery (or rediscovery) of interesting deterministic objects from complex analysis, including Loewner energy, Loewner-Kufarev energy, Weil-Petersson quasicircles, real rational functions, foliations, etc., and leads to novel results on their interrelation. Unlike objects considered in random conformal geometry that are often of a fractal or discrete nature, these deterministic objects, arising from the κ → 0+ or ∞ large deviations of SLE (on which the rate function is finite), live in the continuum and are more regular. Nevertheless, we will see that the interplay between these deterministic objects are analogous to many coupling results from random conformal geometry whereas proofs are rather simple and based in analysis. Impatient readers may skip to the last section where we summarize and compare the quantities and theorems from both random conformal geometry and the large deviation world to appreciate the similarity. The main theorems presented here are collected from [Wan19a, Wan19b, RW21, VW20a, PW21, APW20, VW20b] . Compared to the original papers, in most of the time we choose to outline the intuition and omit proofs or only present the proof in a simple case to illustrate the idea. But we also take the opportunity to clarify some subtle points in the original papers.

We first consider a simple example to illustrate the concept of large deviations. Let X ∼ N (0, σ 2 ) be a real, centered Gaussian random variable of variance σ 2 . The density function of X is given by

Let ε > 0, √ εX ∼ N (0, σ 2 ε). As ε → 0+, √ εX converges almost surely to 0, so the probability measure p √ εX on R converges to the Dirac measure δ 0 . Let M > 0, the rare event { √ εX ≥ M } has probability P(

To quantify how rare this event happens when ε → 0+, we have where I X (x) = x 2 /2σ 2 is called the large deviation rate function of the family { √ εX} ε>0 . Now let us state the large deviation principle more precisely. Let X be a Polish space, B its completed Borel σ-algebra, {µ ε } ε>0 a family of probability measures on (X , B). Remark 1.4. Using (1.1), it is easy to show that the distribution of { √ εX} ε>0 from the example above satisfies the large deviation principle with good rate function I X .

The reader should mind carefully that large deviation results depend on the topology involved which can be a subtle point. On the other hand, it follows from the definition that the large deviation principle transfers nicely through continuous functions: Then the family of pushforward probability measures {f * µ ε } ε>0 on Y satisfies the large deviation principle with good rate function I .

One classical result, of critical importance to our discussion, is the large deviation principle of the scaled Brownian path. Let T ∈ (0, ∞), we write if W is absolutely continuous, and set to equal ∞ otherwise. Equivalently, we can write

where the supremum is taken over all k ∈ N and all partitions {0 = t 0 < t 1 < · · · < t k ≤ T }. In fact, note that the sum on the right-hand side of (1.3) is the Dirichlet energy of the linear interpolation of W from its values at (t 0 , · · · , t k ) which is set to be constant on [t k , T ]. The identity (1.3) then follows from the density of piecewise constant functions in L 2 (R + ) applied to the approximation of the function f (t) := dW t /dt. Notice that on any interval [s, r], the constant a minimizing r s |f (t) − a| 2 dt is the average of f on [s, r] . Therefore, the best approximating piecewise linear functions of W with respect to the partition {0 = t 0 < t 1 < · · · < t k ≤ T } for the Dirichlet inner product is the linear interpolation of W . Remark 1.7. We note that Brownian path has almost surely infinite Dirichlet energy, i.e., I T (B) = ∞. In fact, W has finite Dirichlet energy implies that W is 1/2-Hölder, whereas Brownian motion is only a.s. (1/2 − δ)-Hölder for δ > 0. However, Schilder's theorem shows that Brownian motion singles out the Dirichlet energy which quantifies, as ε → 0+, the density of Brownian path around a deterministic function W . In fact, let (1.4)

The second limit follows from the lower semicontinuity of I T . More intuitively, we write with some abuse "P( √ εB stays close to W ) ∼ ε→0+ exp(−I T (W )/ε)".

(1.5)

We now give some heuristics to show that the Dirichlet energy appears naturally as the large deviation rate function of the scaled Brownian motion. Fix 0 = t 0 < t 1 < . . . < t k ≤ T . The finite dimensional marginals of Brownian motion (B t 0 , . . . , B t k ) gives a family of independent Gaussian random variables

respectively. Multiplying the Gaussian vector by √ ε, we obtain the large deviation principle of the finite dimensional marginal with rate function

from Remark 1.4, Theorem 1.5, and the independence of the family of increments. Approximating Brownian motion on the finite interval [0, T ] by its linear interpolations, it suggests that the scaled Brownian paths satisfy the large deviation principle of rate function the supremum of the rate function of all of its finite dimensional marginals which then turns out to be the Dirichlet energy by (1.3).

A rigorous proof of Schilder's theorem uses the Cameron-Martin theorem which allows generalization to any abstract Wiener space. Namely, the associated family of Gaussian measures scaled by √ ε satisfies the large deviation principle with the rate function being 1/2 times its Cameron-Martin norm. See, e.g., [DS89, Thm. 3.4.12] . This result applies to the Gaussian free field (GFF), which is the generalization of Brownian motion where the time parameter belongs to a higher dimension space, and the rate function is again the Dirichlet energy (on the higher dimension space).

Schilder's theorem also holds when T = ∞ using the following projective limit argument.

Definition 1.8. A projective system (Y j , π ij ) consists of Polish spaces 1 {Y j } j∈N and continuous maps π ij : Y j → Y i such that π jj is the identity map on Y j and π ik = π ij • π jk whenever i ≤ j ≤ k. The projective limit of this system is the subset

endowed with the induced topology by the infinite product space j∈N Y j . In particular, the canonical projection π j : X → Y j defined as the j-th coordinate map is continuous.

Example 1.9. The projective limit of (C 0 [0, j], π ij ), where π ij is the restriction map . Assume that X is the projective limit of (Y j , π ij ). Let {µ ε } ε>0 be a family of probability measures on X , such that for any j ∈ N, the probability measures {µ ε • π −1 j } ε>0 on Y j satisfies the large deviation principle with the good rate function I j . Then {µ ε } ε>0 satisfies the large deviation principle with the good rate function

Example 1.9, Theorems 1.5 and 1.10 imply the following Schilder's theorem on the infinite time interval.

Corollary 1.11. The family of processes {( √ εB t ) t≥0 } ε>0 satisfies the large deviation principle in C 0 [0, ∞) endowed with the topology of uniform convergence on compact sets with good rate function I ∞ .

The description of SLE is based on the Loewner transform, a deterministic procedure that encodes a non-self-crossing curve on a 2-D domain into a driving function. In this survey, we use two types of Loewner chain: the chordal Loewner chain in (D; a, b) , where D is a simply connected domain with two distinct boundary points a (starting point) and b (target point); and later in Section 5, the radial Loewner chain in D targeting at an interior point. The definition is invariant under conformal maps (namely, biholomorphic functions). Hence, by Riemann mapping theorem, it suffices to describe in the chordal case when (D; a, b) = (H; 0, ∞), and in the radial case when D = D, targeting at 0. Throughout the article, H = {z ∈ C : Im(z) > 0} is the upper halfplane, H * = {z ∈ C : Im(z) < 0} is the lower halfplane, D = {z ∈ C : |z| < 1} is the unit disk, and D * = {z ∈ C : |z| > 1} ∪ {∞}.

We say that γ is a simple curve in (D; a, b) , if D is a simply connected domain, a, b are two distinct prime ends of D, and γ has a continuous and injective parametrization

Let us start with this chordal Loewner description of a simple curve γ in (H; 0, ∞). We parameterize the curve by the halfplane capacity. More precisely, γ is continuously

The coefficient 2t is the halfplane capacity of γ [0,t] . It is easy to show that g t can be extended by continuity to the boundary point γ t and that the real-valued function 

(1.7)

In fact, the solution t → g t (z) to (1.7) is defined up to the swallowing time of z

which is set to 0 when z = 0. We obtain an increasing family of H-hulls • If W is the driving function of a simple chord γ in (H; 0, ∞), we have K t = γ [0,t] , and the solution g t of (1.7) is exactly the conformal map constructed from γ as in (1.6).

• The imaginary axis iR + is driven by W ≡ 0 defined on R + .

• (Additivity) Let (K t ) t∈[0,T ) be the family of hulls generated by the driving function W . Fix s > 0, the driving function generating (g s (

• (Scaling) Fix λ > 0, the driving function generating the scaled and capacityreparameterized family of hulls (λK λ −2 t ) t∈[0,λ 2 T ) is t → λW λ −2 t . This property implies that the driving function of the ray

where C only depends on α ∈ (0, π).

• Not every continuous driving function arises from a simple chord. It is unknown how to characterize analytically the class of functions which generate simple curves. Sufficient conditions exist, such as when W is 1/2-Hölder with Hölder norm strictly less than 4 [MR05, Lin05].

We now very briefly review the definition and relevant properties of chordal SLE. For further SLE background, we refer the readers to, e.g., [Law05, Wer04b] . The chordal Schramm-Loewner evolution of parameter κ in (H; 0, ∞), denoted by SLE κ , is the process of hulls (K t ) t≥0 generated by √ κB via the Loewner transform, where B is the standard Brownian motion and κ ≥ 0. Rohde and Schramm showed that SLE κ is almost surely traced out by a continuous non-self-crossing curve γ κ , called the trace of SLE κ , such that

for all t ≥ 0. Moreover, SLE traces exhibit phase transitions depending on the value of κ: LSW04] ). The following statements hold almost surely: For κ ∈ [0, 4], γ κ is a chord. For κ ∈ (4, 8), γ κ is a self-touching curve. For κ ∈ [8, ∞), γ κ is a space-filling curve. Moreover, for all κ ≥ 0, γ κ goes to ∞ as t → ∞.

The SLEs have attracted a great deal of attention during the last 20 years, as they are the first construction of random self-avoiding paths and describe the interfaces in the scaling limit of various statistical mechanics models, e.g.,

• SLE 2 ↔ Loop-erased random walk [LSW04] ;

• SLE 8/3 ↔ Self-avoiding walk (conjecture);

• SLE 3 ↔ Critical Ising model interface [Smi10] ;

• SLE 4 ↔ Level line of the Gaussian free field [SS09] ;

• SLE 6 ↔ Critical independent percolation interface [Smi06] ;

• SLE 8 ↔ Contour line of uniform spanning tree [LSW04] .

The reason that SLE curves describe those interfaces arising from conformally invariant systems is that they are the unique random Loewner chain that are scaling-invariant and satisfy the domain Markov property. More precisely, for λ > 0, the law of SLE is invariant under the scaling transformation

and for all s ∈ [0, ∞), if one defines K (s)

t ) t≥0 has the same distribution as (K t ) t≥0 and is independent of σ(W r : r ≤ s). In fact, these two properties on (K t ) translate into the properties of the driving function W : having independent stationary increments (i.e., being a Lévy process) and being invariant under the transformation W t λW λ −2 t . Multiples of Brownian motions are the only continuous processes satisfying these two properties.

The scaling-invariance of SLE in (H; 0, ∞) makes it possible to define SLE in other simply connected domains (D; a, b) as the preimage of SLE in (H; 0, ∞) by a conformal map ϕ : D → H sending respectively the prime ends a, b to 0, ∞, since another choice ofφ equals λϕ for some λ > 0. The chordal SLE is therefore conformally invariant from the definition.

Remark 1.14. The SLE 0 in (H; 0, ∞) is simply the Loewner chain driven by W ≡ 0, namely the imaginary axis iR + . It implies that the SLE 0 in (D; a, b) equals ϕ −1 (iR + ) (i.e., the hyperbolic geodesic in D connecting a and b).

To describe the large deviations of chordal SLE 0+ (see Theorem 2.5), let us first specify the topology on the space of simple chords that we consider.

Definition 2.1. The Hausdorff distance d h of two compact subsets F 1 , F 2 ⊂ D is defined as

where B ε (x) denotes the Euclidean ball of radius ε centered at x ∈ D. We then define the Hausdorff metric on the set of closed subsets of a Jordan domain 2 D via the pullback by a uniformizing conformal map D → D. Although the metric depends on the choice of the conformal map, the topology induced by d h is canonical, as conformal automorphisms of D are fractional linear functions (i.e., Möbius transformations) which are uniformly continuous on D. Note that the definition of I D;a,b (γ) does not depend on the choice of ϕ either. In fact, two choices differ only by post-composing by a scaling factor. From the scaling property of the Loewner driving function, W changes to t → λW λ −2 t for some λ > 0, which has the same Dirichlet energy as W . Theorem 2.4 motivates us to consider the space X (D; a; b) of unparametrized simple chords with infinite total capacity in (D; a; b). We endow this space with the relative topology induced by the Hausdorff metric. Theorem 1.6 suggests that the Loewner energy is the large deviation rate function of {SLE κ } κ>0 , with ε = κ. Indeed, the following result is proved in [PW21] which strengthens a similar result in [Wan19a] . As we are interested in the 0+ limit, we only consider κ ≤ 4 where the trace γ κ of SLE κ is almost surely in X (D; a, b). 

and the sub-level set {γ ∈ X (D; a, b) | I D;a,b (γ) ≤ c} is compact for any c ≥ 0.

We note that the Loewner transform which maps a continuous driving function to the union of the hulls it generates is not continuous with respect to the Hausdorff metric. Therefore, we cannot deduce trivially the result using Schilder's theorem and the contraction principle (Theorem 1.5). This result thus requires some work and is rather technical, see [PW21, Sec. 5] for details. Remark 2.6. As Remark 1.7, we emphasize that finite energy chords are more regular than SLE κ curves for any κ > 0. In fact, we will see in Theorem 2.15 that finite energy chord is part of a Weil-Petersson quasicircle which is rectifiable, see Theorem 2.18. Moreover, finite energy curves do not have corners. If the curve as an angle at time t, then the driving function after time t is approximated by W t+s ≈ C √ s + W t by additivity and scaling property, see Section 1.2, which has infinite Dirichlet energy. On the other hand, Beffara [Bef08] shows that for 0 < κ ≤ 8, SLE κ has Hausdorff dimension 1 + κ/8 > 1 and thus is not rectifiable when κ > 0.

Given that for specific values of κ, SLE κ curves are the scaling limits of interfaces in statistical mechanics lattice models, it was natural to conjecture that they are reversible since interfaces are a priori unoriented. This conjecture was first proved by Zhan [Zha08b] for all κ ∈ [0, 4], i.e., in the case of simple curves, via couplings of both ends of the SLE path. See also Dubédat's commutation relations [Dub07] , and Miller and Sheffield's approach based on the Gaussian Free Field [MS16a, MS16b, MS16c] which also provides a proof in the non-simple curve case when κ ∈ (4, 8].

Theorem 2.7 (SLE reversibility [Zha08b] ). For κ ∈ [0, 4], the distribution of the trace γ κ of SLE κ in (H; 0, ∞) coincides with that of its image under ι : z → −1/z upon forgetting the time parametrization.

We deduce from Theorem 2.5 and Theorem 2.7 the following result. Proof. Without loss of generality, we assume that (D; a, b) = (H; 0, ∞) and show that I H;0,∞ (γ) = I H;0,∞ (ι(γ)).

We use a conformal map ϑ : H → D that maps i to 0 to define the pullback Hausdorff metric ϑ * d h on the set of closed subsets of H as in Definition 2.1. Our choice of ϑ satisfies ϑ • ι • ϑ −1 = − Id D . In particular, ι induces an isometry on closed subsets of H. Let δ n be a sequence of numbers converging to 0 from above, such that

is a continuity set for I H;0,∞ . The sequence exists since there are at most a countable number of δ such that O δ (γ) is not a continuity set as we argued in Remark 1.7. From Remark 1.3, lim

which tends to −I H;0,∞ (γ) as n → ∞ from the lower-semicontinuity of I H;0,∞ . Theorem 2.7 then shows that P κ (γ κ ∈ O δn (γ)) = P κ (ι(γ κ ) ∈ ι(O δn (γ))) = P κ (γ κ ∈ O δn (ι(γ))).

The last equality used the fact that ι induces an isometry. We obtain the claimed energy reversibility by applying (2.2) to ι(γ). Remark 2.9. This proof is different from [Wan19a] but the idea is very close. We use here Theorem 2.5 from the recent work [PW21] , whereas the original proof in [Wan19a] uses the more complicated left-right passing events without the strong large deviation result at hand.

Remark 2.10. The energy reversibility is a result about deterministic chords although the proof presented above relies on the probabilistic theory of SLE.

We note that from the definition alone, the reversibility is not obvious as the setup of Loewner evolution is directional. To illustrate this, consider a driving function W with finite Dirichlet energy that is constant (and contributes 0 Dirichlet energy) after time 1. From the additivity property of driving function, γ [1,∞) is the hyperbolic geodesic in H γ [0,1] with end points γ 1 and ∞. The reversed curve ι(γ) is a chord starting with an analytic curve which is different from the imaginary axis. Therefore unlike γ, the energy of ι(γ) typically spreads over the whole time interval R + .

We now generalize the Loewner energy to Jordan curves (simple loops) on the Riemann sphereĈ = C ∪ {∞}. This generalization reveals more symmetries of the Loewner energy (Theorem 2.11). Moreover, an equivalent description (Theorem 2.15) of the loop energy will provide an analytic proof of those symmetries including the reversibility and a rather surprising link to the class of Weil-Petersson quasicircles.

Let γ : [0, 1] →Ĉ be a continuously parametrized Jordan curve with the marked point

The loop energy generalizes the chordal energy. In fact, let η be a simple chord in (C R + ; 0, ∞) and we parametrize γ = η ∪ R + in a way such that γ[0, 1/2] = R + ∪ {∞} and γ[1/2, 1] = η. Then from the additivity of chordal energy (which follows from the additivity of the Loewner driving function),

since γ[ε, 1/2] is contained in the hyperbolic geodesic 3 between γ(ε) and γ(0) inĈ γ[0, ε] for all 0 < ε < 1/2, see Figure 1 . Rohde and the author proved the following result.

We do not present the original proof of this theorem since it will follow immediately from Theorem 2.15, see Remark 2.17. Remark 2.13. The loop energy is presumably the large deviation rate function of SLE 0+ loop measure onĈ constructed in [Zha21] (see also [Wer08, BD16] for the earlier construction of SLE loop measure when κ = 8/3 and 2). However, the conformal invariance of the SLE loop measures implies that they have infinite total mass and has to be renormalized properly for considering large deviations. We do not claim it here and think it is an interesting question. However, these ideas will serve as heuristics to speculate results for finite energy Jordan curves in Section 3.

In [RW21] we also showed that if a Jordan curve has finite energy, then it is a quasicircle, namely the image of a circle or a line under a quasiconformal map of C. However, not all quasicircles have finite energy since they may have Hausdorff dimension larger than 1. The natural question is then to identify the family of finite energy quasicircles.

The answer is surprisingly a family of so-called Weil-Petersson quasicircles, which has been studied extensively by both physicists and mathematicians since the eighties, see, e.g., [ The class of Weil-Petersson quasicircles is preserved under Möbius transformation, so without loss of generality, we will use the following definition of a bounded Weil-Petersson quasicircle which is the simplest to state. Let γ be a bounded Jordan curve. We write Ω for the bounded connected component ofĈ γ and Ω * for the connected component containing ∞. Let f be a conformal map D → Ω and h : D * → Ω * fixing ∞.

Definition 2.14. The bounded Jordan curve γ is a Weil-Petersson quasicircle if and only if the following equivalent conditions hold:

where dA denotes the Euclidean area measure and D Ω (ϕ) := 1

π Ω |∇ϕ| 2 dA denotes the Dirichlet energy of ϕ in Ω. 

Remark 2.16. If γ is a Jordan curve passing through ∞, then 

For this, we recall the definition of a few classical functional spaces. For S = S 1 or R or a locally rectifiable Jordan curve γ, the space VMO(S) consists of functions u ∈ L 1 loc (S) with vanishing mean oscillation such that

where I denotes an arc on S, dx denotes the arclength measure, and

The homogeneous Sobolev space H 1/2 (S) consists of function u defined a.e. on S for which the H 1/2 semi-norm

Remark 2.19. When S = S 1 , Douglas formula says that u 2

where the last equality follows from the conformal invariance of Dirichlet energy. This gives the Douglas formula for S = R. (We note that there are different conventions in the definition of · H 1/2 (R) in the literature depending on if one adds the L 2 norm to it to define a norm. We opt for the semi-norm here as it coincides with the Dirichlet energy of the harmonic extension and that the space H 1/2 (R) coincides with the pull-back of H 1/2 (S 1 ) by the Cayley map.)

We have H 1/2 (S) ⊂ VMO(S). In fact, let I ⊂ S be any bounded arc,

by Cauchy-Schwarz inequality.

A holomorphic function g defined on D is in VMOA, if g is the harmonic extension of a function in VMO(S 1 ). See, e.g., [Gir01, Thm 3.6, Sec. 5] for this definition. (There are equivalent definitions which use Hardy spaces, see, e.g., [Pom78] . Interested readers may consult the survey [Gir01] which gives a comprehensive introduction to the theory of analytic functions of bounded mean oscillation in the unit disc including the equivalence between different definitions.)

Proof of Theorem 2.18. For a conformal map f from D to Ω bounded by a Weil-Petersson quasicircle γ, we have by definition D D (log |f |) < ∞. Setting g := log f , this implies that

The boundary values (taken as radial limits) of Dirichlet functions are in H 1/2 (S 1 ). See (3.6) for more detailed discussion about this fact. Therefore, log f ∈ VMOA. A theorem of Pommerenke [Pom78, Thm. 2] then shows that this implies that γ is asymptotically smooth.

Remark 2.20. We have already discussed in Remark 2.6 that Weil-Petersson quasicircles cannot have corners. Theorem 2.18 gives another justification of this fact as around the corner, the chord-arc ratio is bounded away from 1. However, to talk about corners, the curve has to have left and right derivatives. Therefore, a Weil-Petersson quasicircle need not be C 1 . In fact, it is not hard to check using Theorem 2.15 that the spiral defined by t → t exp(i log log |1/t|) in a neighborhood of 0 can be completed into a Weil-Petersson quasicircle. See, e.g., [MW21, Prop. 6.5].

The connection between Loewner energy and Weil-Petersson quasicircles goes further: Not only Weil-Petersson quasicircles are exactly those Jordan curves with finite Loewner energy, the Loewner energy is also closely related to the Kähler structure on the Weil-Petersson Teichmüller space T 0 (1), identified to the class of Weil-Petersson quasicircles via a conformal welding procedure. In fact, the right-hand side of (2.3) coincides with the universal Liouville action introduced by Takhtajan and Teo [TT06] and shown by them to be a Kähler potential of the Weil-Petersson metric, which is the unique homogeneous Kähler metric on T 0 (1) up to a scaling factor. Summarizing, we obtain the following result.

We do not enter into further details as it goes beyond the scope of large deviations that we choose to focus on here and refer the interested readers to [TT06, Wan19b] . This result gives an unexpected link between the probabilistic theory of SLE and Teichmüller theory, although the deep reason behind the link remains rather obscure.

Pioneering works [Dub09b, She16, MS16a] on couplings between SLEs and Gaussian free field (GFF) have led to many remarkable applications in 2D random conformal geometry. These coupling results are often speculated from the link with discrete models.

In [VW20a] , Viklund and the author provided another viewpoint on these couplings through the lens of large deviations by showing the interplay between Loewner energy of curves and Dirichlet energy of functions defined in the complex plane (which is the large deviation rate function of scaled GFF). These results are analogous to the SLE/GFF couplings, but the proofs are remarkably short and use only analytic tools without any of the probabilistic models.

To state the result, we write E(Ω) for the space of real functions on a domain Ω ⊂ C with weak first derivatives in L 2 (Ω) and recall the Dirichlet energy of ϕ ∈ E(Ω) is 

and f and h map conformally H and H * onto, respectively, H and H * , the two components of C γ, while fixing ∞.

A function ϕ ∈ E(C) has vanishing mean oscillation. In fact, the following version of Poincaré inequality (which can be obtained using a scaling argument) shows if D ⊂ C is a disk or square and ϕ ∈ W 1,2 (D), then

Here we use the notation

for the average of ϕ ∈ L 1 (D) over D and we write |D| for the Lebesgue measure of D. Therefore, using Cauchy-Schwarz inequality, we have Let us first explain why we consider this theorem as a finite energy analog of an SLE/GFF coupling. Note that we do not make rigorous statement here and only argue heuristically.

The first coupling result we refer to is the quantum zipper theorem, which couples SLE κ curves with quantum surfaces via a cutting operation and as welding curves [She16, DMS14] . A quantum surface is a domain equipped with a Liouville quantum gravity ( √ κ-LQG) measure, defined using a regularization of e √ κΦ dA(z), where √ κ ∈ (0, 2), and Φ is a Gaussian field with the covariance of a free boundary GFF 4 . The analogy is outlined in the table below. In the left column we list concepts from random conformal geometry and in the right column the corresponding finite energy objects.

To justify the analogy of the last line, we argue heuristically as follows. From the left-hand side, one expects that under an appropriate choice of topology and for small κ, "P(SLE κ loop stays close to γ, √ κΦ stays close to 2ϕ) = P( √ κΦ 1 stays close to 2u, √ κΦ 2 stays close to 2v)". From the large deviation principle and the independence between SLE and Φ, we obtain 4 In fact, Φ is a free boundary GFF plus a logarithmic singularity − √ κ log | · |. Note that the factor of the logarithmic singularity converges to 0 as κ → 0. similarly as (1.5) " lim κ→0 −κ log P(SLE κ stays close to γ, √ κΦ stays close to 2ϕ)

On the other hand the independence between Φ 1 and Φ 2 gives " lim κ→0 −κ log P( √ κΦ 1 stays close to 2u, √ κΦ 2 stays close to 2v)

We obtain the identity (3.1) using (3.3) heuristically.

We now present our short proof of Theorem 3.1 in the case where γ is smooth and ϕ ∈ C ∞ c (C) to illustrate the idea. The general case follows from an approximation argument, see [VW20a] for the complete proof.

Proof of Theorem 3.1 in the smooth case. From Remark 2.16, if ∞ ∈ γ, then

where σ f and σ h are the shorthand notation for log |f | and log |h |. The conformal invariance of Dirichlet energy gives

To show (3.1), after expanding the Dirichlet energy terms, it suffices to verify the cross terms vanish:

Indeed, by Stokes' formula, the first term on the left-hand side equals

) (this follows from an elementary differential geometry computation, see, e.g., [Wan19b, Appx. A]). The geodesic curvature at the same point z ∈ γ, considered as a point of ∂H * , equals −k(z). Therefore the sum in (3.4) cancels out and completes the proof in the smooth case.

The following result is on the converse operation of the cutting, which shows that we can also recover γ and ϕ from u and v by conformal welding. More precisely, an increasing homeomorphism w : R → R is said to be a (conformal) welding homeomorphism of a Jordan curve γ through ∞, if there are conformal maps f, h of the upper and lower half-planes onto the two components of C γ, respectively, such that

In general, for a given homeomorphism w, there might not exist a triple (γ, f, h) which solves the welding problem. Even when the solution exists, it might not be unique.

However, we now construct a welding homeomorphism starting from u ∈ E(H) and v ∈ E(H * ) and show that there exists a unique normalized solution to the welding problem, and the curve obtained is Weil-Petersson. For this, we recall that the trace of a generalized function in a Sobolev space of a domain D is the boundary value of the function on ∂D. It is defined through a trace operator extending the restriction map for smooth functions. More precisely,

is the Poisson integral of u, the equality follows from Douglas formula (2.5), and the inequality follows from the Dirichlet principle. Therefore, R extends to a bounded operator E(H) → H 1/2 (R) using the density of smooth functions in E(H).

There is a more concrete way to describe the trace of u ∈ E(H) following Jonsson and Wallin [JW84] using averages over balls as follows. We remark that this definition even generalizes to rougher domains bounded by chord-arc curves.

Supposeũ ∈ E(C) and γ is a chord-arc curve inĈ. The Jonsson-Wallin trace of u on γ is defined for arclength a.e. z ∈ γ by the following limit of averages

Let Ω be a domain bounded by a chord-arc curve γ and u ∈ E(Ω), the trace of u on a γ = ∂Ω is

whereũ ∈ E(C) is any function such thatũ| Ω = u. In particular, the definition R Ω→γ [u] does not depend on the choice of the extensionũ ∈ E(C). Moreover,

We refer to [VW20a, Appx. A] for more details.

With a slight abuse of notation, we write u ∈ H 1/2 (R) also for the trace of u ∈ E(H) on

2.6)), John-Nirenberg inequality implies that dµ := e u dx is a σ-finite measure supported on R. Let v ∈ E(H * ), we set similarly dν = e v dx. We define an increasing homeomorphism w by w(0) = 0 and then

We say w is the isometric welding homeomorphism associated with µ and ν. 

(3.8)

Now let us turn to the second identity between Loewner energy and Dirichlet energy. The idea is very simple: since the Dirichlet energy of a harmonic function equals that of its harmonic conjugate, (2.4) can be written as

(3.9)

We will interpret this identity as a flow-line identity.

More precisely, let γ be a Weil-Petersson quasicircle passing through ∞. Since γ is asymptotically smooth (Theorem 2.18), we can parametrize it by arclength s → γ(s). By Theorem II.4.2 of [GM05] 5 , for almost every ζ = γ(s) such that γ (s) exists, arg f (z)−ζ

has a non-restricted limit as z approaches f −1 (ζ) in H (which also coincides with the non-tangential limit of arg f ) and we denote this limit by τ (ζ). Moreover,

(3.10)

The second equality uses the fact that γ is asymptotically smooth. Identity (3.10) shows that τ can be interpreted as the "winding" of γ. We note that the harmonic measure and the arclength measure are mutually absolutely continuous on γ (see, e.g., [ Proof. The welding homeomorphism w := h −1 • f | R is a quasisymmetric homeomorphism (and so is also w −1 ) since γ is a quasicircle. Using τ • h = τ • f • w −1 and the fact that the composition of an H 1/2 (R) function with a quasisymmetric homeomorphism is still in H 1/2 (R) (see [NS95b,  Section 3] for a proof in the setting of the unit circle and the proof for the line is exactly the same), we obtain that τ • h ∈ H 1/2 (R).

Since arg h defined using a continuous branch of arg(·) is also harmonic and has finite Dirichlet energy, the difference v :

On the other hand, v takes value in 2πZ. We conclude with the following lemma which shows that VMO functions behave like continuous functions. Since v only takes values in Z, for any interval I such that v * ,I < 1/6, there exists a unique n I ∈ Z such that |v I − n I | ≤ v * ,I and |{x ∈ I | v(x) = n I }|/|I| < 2 v * ,I < 1/3.

(3.11)

For any small number 0 < δ < 1/6, take ε > 0 such that sup I⊂R, |I|<ε v * ,I < δ. The map x → n [x,x+ε] is constant by (3.11). We call this value n ε . By subdividing further, we see that n ε does not depend on ε when ε < ε. We write n ε = n. Let δ < δ and

Let δ → 0, we obtain that |{x ∈ [x 0 , x 0 + ε] | v(x) = n}| = 0. It implies that v equals to n almost everywhere on [x 0 , x 0 + ε], hence on R. Conversely, if ϕ ∈ E(C) is continuous and lim z→∞ ϕ(z) exists and is finite, then for all z 0 ∈ C, any solution to the differential equatioṅ

is a C 1 Weil-Petersson curve through ∞. Moreover,

where ϕ 0 = ϕ − P[ϕ| γ ] has zero trace on γ.

The identity (3.12) is simply a rewriting of (3.9). A solution to (3.13) is called a flow-line of the winding field ϕ passing through z 0 . Here, we put a stronger condition by assuming ϕ is continuous and admits a limit in R as z → ∞ (in other words, ϕ ∈ E(C) ∩ C 0 (Ĉ)). This condition allows us to use Cauchy-Peano theorem to show the existence of the flow-line. However, we cautiously note that the solution to (3.13) may not be unique. The orthogonal decomposition of ϕ for the Dirichlet inner product gives D C (ϕ) = D C (P[ϕ| γ ]) + D C (ϕ 0 ). Using (3.12) and the observation that for all z ∈ γ, ϕ(z) = τ (z), we obtain (3.14).

Remark 3.9. The additional assumption of ϕ ∈ C 0 (Ĉ) is for technical reason to consider the flow-line of e iϕ in the classical differential equation sense. One may drop this assumption by defining a flow-line to be a chord-arc curve γ passing through ∞ on which ϕ = τ arclength almost everywhere. We will further explore these ideas in a setting adapted to bounded curves (see Theorem 6.14).

This identity is analogous to the flow-line coupling between SLE and GFF, of critical importance, e.g., in the imaginary geometry framework of Miller-Sheffield [MS16a] : very loosely speaking, an SLE κ curve is coupled with a GFF Φ and may be thought of as a flow-line of the vector field e iΦ/χ , where χ = 2/γ − γ/2. As γ → 0, we have e iΦ/χ ∼ e iγΦ/2 .

Let us finally remark that by combining the cutting-welding (3.1) and flow-line (3.14) identities, we obtain the following complex identity. See also Theorem 6.14 the complex identity for a bounded Jordan curve. 

Remark 3.11. A flow-line γ of the vector field e ψ is understood as a flow-line of e i Im ψ , as the real part of ψ only contributes to a reparametrization of γ.

Proof. From the identity arg f = P[Im ψ] • f , we have

From the cutting-welding identity (3.1), we have

On the other hand, the flow-line identity gives D C (Im ψ) = I L (γ) + D C (Im ψ 0 ). Hence,

as claimed.

Remark 3.12. From Corollary 3.10 we recover the flow-line identity (Theorem 3.8) by taking Im ψ = ϕ and Re ψ = 0. Similarly, the cutting-welding identity (3.1) follows from taking Re ψ = ϕ and Im ψ = P[τ ] where τ is the winding function along the curve γ. Therefore, the complex identity is equivalent to the union of cutting-welding and flow-line identities.

We now show that these identities between Loewner and Dirichlet energies have interesting consequences in geometric function theory.

The cutting-welding identity has the following application. Suppose γ 1 , γ 2 are locally rectifiable Jordan curves inĈ of the same length (possibly infinite if both curves pass through ∞) bounding two domains Ω 1 and Ω 2 and we mark a point on each curve. Let w be an arclength isometry γ 1 → γ 2 matching the marked points. We obtain a topological sphere from Ω 1 ∪ Ω 2 by identifying the matched points. Following Bishop [Bis90] , the arclength isometric welding problem is to find a Jordan curve γ ⊂Ĉ, and conformal mappings f 1 , f 2 from Ω 1 and Ω 2 to the two connected components ofĈ γ, such that Proof. For i = 1, 2, let f i be a conformal equivalence H → H i , and h i : H * → H * i both fixing ∞. By (2.4),

Set u i := log |f i |, v i := log |h i |. Then γ is the welding curve obtained from Theorem 3.3 with u = u 1 , v = v 2 andγ is the welding curve for u = u 2 , v = v 1 . Then (3.8) implies

as claimed.

The flow-line identity has the following consequence that we omit the proof. When γ is a bounded Weil-Petersson quasicircle (resp. Weil-Petersson quasicircle passing through ∞), we let f be a conformal map from D (resp. H) to one connected component of C γ.

Corollary 3.14 ([VW20a, Cor. 1.5]). Consider the family of analytic curves γ r := f (rT), where 0 < r < 1 (resp. γ r := f (R + ir), where r > 0). For all 0 < s < r < 1 (resp. 0 < r < s), we have

and equalities hold if only if γ is a circle (resp. γ is a line). Moreover, I L (γ r ) (resp. I L (γ r )) is continuous in r and

Remark 3.15. Both limits and the monotonicity are consistent with the fact that the Loewner energy measures the "roundness" of a Jordan curve. In particular, the vanishing of the energy of γ r as r → 0 expresses the fact that conformal maps take infinitesimal circles to infinitesimal circles.

We now consider the multichordal SLE κ , that are families of random curves (multichords) connecting pairwise distinct boundary points of a simply connected planar domain D.

Constructions for multichordal SLEs have been obtained by many groups [Car03, Wer04a, BBK05, Dub07, KL07, Law09, MS16a, MS16b, BPW21, PW19], and models the interfaces in two-dimensional statistical mechanics models with alternating boundary condition.

As in the single-chord case, we include the marked boundary points to the domain data (D; x 1 , . . . , x 2n ), assuming that they appear in counterclockwise order along the boundary ∂D. The objects considered in this section are defined in a conformally invariant or covariant way. So without loss of generality, we assume that ∂D is smooth in a neighborhood of the marked points. Due to the planarity, there exist C n different possible pairwise non-crossing connections for the curves, where

is the n:th Catalan number. We enumerate them in terms of n-link patterns

that is, partitions of {1, 2, . . . , 2n} giving a non-crossing pairing of the marked points. Now, for each n ≥ 1 and n-link pattern α, we let X α (D; x 1 , . . . , x 2n ) ⊂ j X (D; x a j , x b j ) denote the set of multichords γ = (γ 1 , . . . , γ n ) consisting of pairwise disjoint chords where γ j ∈ X (D; x a j , x b j ) for each j ∈ {1, . . . , n}. We endow X α (D; x 1 , . . . , x 2n ) with the relative product topology and recall that X (D; x a j , x b j ) is endowed with the topology induced from a Hausdorff metric defined in Section 2. Multichordal SLE κ is a random multichord γ = (γ 1 , . . . , γ n ) in X α (D; x 1 , . . . , x 2n ), characterized in two equivalent ways, when κ > 0.

By re-sampling property: From the statistical mechanics model viewpoint, the natural definition of multichordal SLE is such that for each j, the chord γ j has the same law as the trace of a chordal SLE κ in (D j ; x a j , x b j ), conditioned on the other curves {γ i | i = j}.

Here,D j is the component of D i =j γ i containing γ j , highlighted in grey in Figure 2 . In [BPW21] , the authors proved that when κ ∈ (0, 4], the multichordal SLE κ is the unique stationary measure of a Markov chain on X α (D; x 1 , . . . , x 2n ) defined by re-sampling the curves from their conditional laws. This idea was already introduced and used earlier in [MS16a, MS16b] , where Miller & Sheffield studied interacting SLE curves coupled with the Gaussian free field (GFF) in the framework of the so-called imaginary geometry.

x 1 It is therefore not surprising to see such terms in the Radon-Nikodym derivatives (4.3) of multichordal SLE from the re-sampling property. Indeed, the expression (4.4) already appears in [KL07] for multichords with "rainbow" link pattern. We refer the readers to [PW19, Thm. 1.3] for the case of multichords with general link patterns. Note that our expression looks different from [PW19] but is simply a combinatorial rearrangement. The precise definition of Brownian loop measure is not important for the presentation here, so we choose to omit it from our discussion.

Notice that when κ = 0, c = −∞, the second characterization does not apply. We first show the existence and uniqueness of multichordal SLE 0 using the first characterization by making links to rational functions.

From the re-sampling property, the multichordal SLE 0 in X α (D; x 1 , . . . , x 2n ) as a deterministic multichord γ = (γ 1 , . . . , γ n ) with the property that each γ j is the SLE 0 curve in its own component (D j ; x a j , x b j ). In other words, each γ j is the hyperbolic geodesic in (D j ; x a j , x b j ), see Remark 1.14. We call a multichord with this property a geodesic multichord. Without loss of generality, we assume that D = H.

The existence of geodesic multichord for each α follows by characterizing them as minimizers of a lower semicontinuous Loewner energy which is the large deviation rate function of multichordal SLE 0+ , to be discussed in Section 4.3. Assuming the existence, the uniqueness is a consequence of the following algebraic result.

We first recall some terminology. A rational function is an analytic branched cover ofĈ overĈ, or equivalently, the ratio of two polynomials P, Q ∈ C[X]. A point x 0 ∈Ĉ is a critical point (equivalently, a branched point) of a rational function h with index k ≥ 2 if

for some constant C = 0 in a local chart ofĈ around (n + 1)χ(Ĉ) − 2n(2 − 1) = 2n + 2 − 2n = 2 = χ(Ĉ).

We prove Theorem 4.3 by constructing the rational function associated to a geodesic multichord η.

Proof. The complement H η has n + 1 components that we call faces. We pick an arbitrary face F and consider a uniformizing conformal map h η from F onto H. Without loss of generality, we assume that F is adjacent to η 1 . We call F the other face adjacent to η 1 . Since η 1 is a hyperbolic geodesic inD 1 , the map h η extends by reflection to a conformal map onD 1 . In particular, this extension of h η maps F conformally onto H * . By iterating the analytic continuation across all the chords η k , we obtain a meromorphic function h η : H →Ĉ. Furthermore, h η also extends to H, and its restriction h η | R∪{∞} takes values in R ∪ {∞}. Hence, Schwarz reflection allows us to extend h η toĈ by setting h η (z) := h η (z * ) * for all z ∈ H * . Now, it follows from the construction that h η is a real rational function of degree n + 1, as exactly n + 1 faces are mapped to H and n + 1 faces to H * . Moreover, h −1 η (R ∪ {∞}) is precisely the union of η, its complex conjugate η * , and R ∪ {∞}. Finally, another choice of the face F we started with yields the same function up to post-composition by PSL(2, R) and z → −z. This concludes the proof.

To find out all the geodesic multichords connecting {x 1 , . . . , x 2n }, it thus suffices to classify all the rational functions with this set of critical points. The following result is due to Goldberg. Assuming the existence of geodesic multichord in X α (H; x 1 , . . . , x 2n ) and observing that two rational functions constructed in Theorem 4.3 are PSL(2, C) equivalent if and only if they are equivalent under the action of the group generated by PSL(2, R), z → −z , we obtain:

Corollary 4.6. There exists a unique geodesic multichord in X α (D; x 1 , . . . , x 2n ) for each α.

The multichordal SLE 0 is therefore well-defined. We also obtain a by-product of this result: This corollary is a special case of the Shapiro conjecture concerning real solutions to enumerative geometric problems on Grassmannians, see [Sot00] . Eremenko and Gabrielov [EG02] first proved this conjecture for the Grassmannian of 2-planes, when the conjecture is equivalent to Corollary 4.7. See also [EG11] for another elementary proof.

We now introduce the Loewner potential and energy and discuss the large deviations of multichordal SLE 0+ . Here ϕ : D → H is a conformal map such that ϕ(x), ϕ(y) ∈ R, and ϕ (x) and ϕ (y) are well-defined since we assumed that ∂D is smooth in a neighborhood of x and y.

We denote the minimal potential by The infimum of H D in X (D; x, y) is realized for the minimizer of I D;x,y , which is the hyperbolic geodesic in (D; x, y) .

One important property of the Loewner potential is that it satisfies the following cascade relation which follows from a conformal restriction formula for Loewner energy and the definition of m D (γ). Using techniques from quasiconformal mappings and the fact that multichords with finite potential consist of quasichords by Theorem 2.4, the Loewner potential is shown to have the following properties. At this point, we know from Lemma 4.10 that the infimum in (4.6) is attained by a geodesic multichord in X α (D; x 1 , . . . , x 2n ). This shows the existence of geodesic multichord and completes the proof of the uniqueness as in Corollary 4.6.

Definition 4.12. We define the multichordal Loewner energy of γ as

Theorem 4.13 ([PW21, Thm. 1.5]). The family of laws (P κ α ) κ>0 of multichordal SLE κ satisfies the large deviation principle in X α (D; x 1 , . . . , x 2n ) with good rate function I α D . Remark 4.14. When n = 1, Theorem 4.13 is equivalent to Theorem 2.5.

Remark 4.15. The expression of the rate function can be guessed from the Radon-Nikodym derivative (4.3). In fact, we write heuristically the density of a single SLE as exp(−I D (γ)/κ) for small κ from Theorem 2.5. Taking the expectation E ind κ of (4.3) with respect to the distribution of n independent SLE κ in j X (D; x a j , x b j ) ,

since c(κ)/2 ∼ −12/κ. The density of multichordal SLE κ is thus given by

Theorem 4.13 and the uniqueness of the energy minimizer imply immediately: Corollary 4.16. As κ → 0+, multichordal SLE κ in X α (D; x 1 , . . . , x 2n ) converges in probability to the unique geodesic multichord η in X α (D; x 1 , . . . , x 2n ) . (D; x 1 , . . . , x 2n ) be the Hausdorff-open ball of radius ε around the unique geodesic multichordη. Then, we have

This proves the corollary.

To define the energy I α D , one could have added to the potential H D an arbitrary constant that depends only on the boundary data (x 1 , . . . , x 2n ; α), e.g., one may drop the Poisson kernel terms in H D which then alters the value of the minimal potential. The advantage of using the Loewner potential (4.5) is that it allows comparing the potential of geodesic multichords of different boundary data. This becomes interesting when n ≥ 2 as the moduli space of the boundary data is non-trivial. We now discuss equations satisfied by the minimal potential based on [PW21] and the more recent work [AKM20] .

We first use Loewner's equation to describe each individual chord in the geodesic multichord, whose Loewner driving function can be expressed in terms of the minimal potential. We state the result when D = H and let U α = 12M α H . Theorem 4.17 ([PW21, Prop. 1.7]). Let η be the geodesic multichord in X α (H; x 1 , . . . , x 2n ). For each j ∈ {1, . . . , n}, the Loewner driving function W of the chord η j and the evolution V i t = g t (x i ) of the other marked points satisfy the differential equations Here again, SLE large deviations enable us to speculate the form of Loewner differential equations (4.8). In fact, for each n-link pattern α, one associates to the multichordal SLE κ a (pure) partition function Z α defined as 

As −κ log P H;xa j ,x b j (6−κ)/2κ ∼ −3 log P H;xa j ,x b j , from Remark 4.15 and (4.6) we obtain . . . , x 2n ).

(4.9)

The marginal law of the chord γ κ j in the multichordal SLE κ in X α (H; x 1 , . . . , x 2n ) is given by the stochastic Loewner equation derived from Z α :

See [PW19, Eq. (4.10)]). Replacing naively κ log Z α by −U α , we obtain (4.8).

To prove Theorem 4.17 rigorously, we analyse the geodesic multichords and the minimal potential directly and do not need to go through the SLE theory, which might be more tedious to control the errors when interchanging derivatives and limits. Let us check When n = 1, the minimal potential has an explicit formula:

.

(4.10)

The hyperbolic geodesic in (H; x 1 , x 2 ) is the semi-circle η with endpoints x 1 and x 2 . We compute directly that d dt W t | t=0 = 6(x 2 − x 1 ) −1 . See, e.g., [PW21, Eq. (4.

3)] or [KNK04, Sec. 5]. Since hyperbolic geodesic is preserved under its own Loewner flow, i.e., g t (η [t,T ] ) is the semi-circle with end points W t and V t = g t (x 2 ), we obtain

By (4.10), this is exactly Equation (4.8) when n = 1.

Similarly, the level two null-state Belavin-Polyakov-Zamolodchikov equations satisfied by the SLE partition function

prompts us to find the following equations (see also [BBK05, AKM20] ). 

(4.12)

The recent work [AKM20] gives further an explicit expression of U α (x 1 , · · · , x 2n ) in terms of the rational function h η associated to the geodesic multichord in X α (H; x 1 , . . . , x 2n ) as considered in Section 4.2. More precisely, following [AKM20] , we normalize the rational function such that h η (∞) = ∞ by possibly post-composing h η by an element of PSL(2, R) and denote the other n poles (ζ α,1 , · · · , ζ α,n ) of h η . (x 1 , . . . , x 2n ; α) , we have

where C is a constant which only depends on n.

Remark 4.20. Finally let us remark that another reason to include the Poisson kernel to the Loewner potential is that it relates to the more general framework of defining Loewner energy in terms of the zeta-regularized determinants of Laplacians. We do not enter into further details here and refer the interested readers to [PW21, Thm. 1.9].

We now turn to the large deviations of SLE ∞ , namely, when ε := 1/κ using the notation in Definition 1.2. From (1.7), one can easily show that in the chordal setup, for any fixed t, the conformal map f t = g −1 t : H → H K t converges uniformly on compact sets to the identity map as κ → ∞ almost surely. In other words, the complement of the SLE κ hull converges for the Carathéodory topology towards H, which is not interesting for the large deviations. The main hurdle is that the driving function can be arbitrarily close to the target boundary point (i.e., ∞) where we normalize the conformal maps in the Loewner evolution. For this reason, we switch to the radial version of SLE.

We now describe the radial SLE on the unit disk D targeting at 0. The radial Loewner differential equation driven by a continuous function R + → S 1 : t → ζ t is defined as follows: For all z ∈ D, consider the equation

As in the chordal case, the solution t → g t (z) to (5.1) is defined up to the swallowing time

and the growing hulls are given by K t = {z ∈ D | τ (z) ≤ t}. The solution g t is the conformal map from D t := D K t onto D satisfying g t (0) = 0 and g t (0) = e t .

Radial SLE κ is the curve γ κ tracing out the growing family of hulls (K t ) t≥0 driven by a Brownian motion on the unit circle S 1 = {ζ ∈ C : |ζ| = 1} of variance κ, i.e.,

where B t is a standard one dimensional Brownian motion. Radial SLEs exhibit the same phase transitions as in the chordal case as κ varies. In particular, when κ ≥ 8, γ κ is almost surely space-filling and K t = γ κ [0,t] . We now argue heuristically to intuit the κ → ∞ limit and the large deviation result of radial SLE proved in [APW20] . During a short time interval [t, t + ∆t] where the Loewner flow is well-defined for a given point z ∈ D, we have g s (z) ≈ g t (z) for s ∈ [t, t + ∆t]. Hence, writing the time-dependent vector field (z(ζ t + z)(ζ t − z) −1 ) t≥0 generating the Loewner chain as (

where κ t is the occupation measure (or local time) on S 1 of β κ up to time t. As κ → ∞, the occupation measure of β κ during [t, t + ∆t] converges to the uniform measure on S 1 of total mass ∆t. Hence the radial Loewner chain converges to a measure-driven Loewner chain (also called Loewner-Kufarev chain) with the uniform probability measure on S 1 as driving measure, i.e.,

This implies g t (z) = e t z. Similarly, (5.3) suggests that the large deviations of SLE ∞ can also be obtained from the large deviations of the process of occupation measures ( κ t ) t≥0 .

We now give a more detailed account of the Loewner-Kufarev chain. The Loewner chains described in Section 1.2 and 5.1 are driven by a function taking values in R or S 1 . It is well-adapted to the study the conformal map from the unit disk or the upper half-plane to a slit domain by progressively growing the slit and we obtain an evolution family of slit domains. This method was extended by Kufarev [Kuf43] and further developed by Pommerenke [Pom65] to cover general evolution families beyond slit domains. In this case, a family of measures drive the dynamics and is described by the Loewner-Kufarev equation.

Let M(Ω) (resp. M 1 (Ω)) be the space of Borel measures (resp. probability measures) on Ω. We define

From the disintegration theorem (see e.g. [Bil95, Theorem 33.3]), for each measure ρ ∈ N + there exists a Borel measurable map t → ρ t from R + to M 1 (S 1 ) such that dρ = ρ t (dζ) dt. We say (ρ t ) t≥0 is a disintegration of ρ; it is unique in the sense that any two disintegrations (ρ t ) t≥0 , ( ρ t ) t≥0 of ρ must satisfy ρ t = ρ t for a.e. t ≥ 0. We denote by (ρ t ) t≥0 one such disintegration of ρ ∈ N + .

For z ∈ D, consider the Loewner-Kufarev ODE

Let τ (z) be the supremum of all t such that the solution is well-defined up to time t with g t (z) ∈ D, and D t := {z ∈ D : τ (z) > t} is a simply connected open set containing 0. The function g t is the unique conformal map of D t onto D such that g t (0) = 0 and g t (0) > 0. Moreover, it is straightforward to check that ∂ t log g t (0) = |ρ t | = 1. Hence, g t (0) = e t , namely, D t has conformal radius e −t seen from 0. We call (g t ) t≥0 the Loewner-Kufarev chain (or simply Loewner chain) driven by ρ ∈ N + .

It is also convenient to use its inverse (f t := g −1 t ) t≥0 , which satisfies the Loewner PDE:

We write L + for the set of Loewner-Kufarev chains defined for time R + . An element of L + can be equivalently represented by (f t ) t≥0 or (g t ) t≥0 or the evolution family of domains (D t ) t≥0 or the evolution family of hulls (K t = D D t ) t≥0 . By showing that the random measure δ β κ t (dζ) dt ∈ N [0,1] converges almost surely to the uniform measure (2π) −1 |dζ| dt on S 1 × [0, 1] as κ → ∞, we obtain: 

From the contraction principle Theorem 1.5 and Theorem 5.2, the large deviation principle of radial SLE κ as κ → ∞ boils down to the large deviation principle of δ β κ t (dζ) dt ∈ N [0,1] with respect to the Prokhorov topology. For this, we approximate δ β κ t (dζ) dt by

where µ κ n,i ∈ M 1 (S 1 ) is the time average of the measure δ β κ t on the interval [i/2 n , (i + 1)/2 n ). In terms of the occupation measures,

We start with the large deviation principle for µ κ n,i as κ → ∞. Let if µ = v 2 (ζ)|dζ| for some function v ∈ W 1,2 (S 1 ) and ∞ otherwise. Proof sketch. We show that N [0,1] is homeomorphic to the projective limit (Definition 1.8) of the projective system consisting of {Y n := M 1 (S 1 ) 2 n } n≥1 and π n,n+1 (µ 0 , . . . , µ 2 n+1 −1 ) = µ 0 + µ 1 2 , . . . , µ 2 n+1 −2 + µ 2 n+1 −1 2 (other projections π ij are obtained by composing consecutive projections). The canonical projection π n is given by Remark 5.9. We note that if ρ ∈ N [0,1] has finite Loewner-Kufarev energy, then ρ t is absolutely continuous with respect to the Lebesgue measure for a.e. t with density being the square of a function in W 1,2 (S 1 ). In particular, ρ t is much more regular than a Dirac measure. We see once more the regularizing phenomenon from the large deviation consideration.

From the contraction principle Theorem 1.5 and Theorem 5.2, we obtain immediately: Viklund and the author investigated in [VW20b] the duality between these two energies, and more generally, the interplay with the Dirichlet energy of a so-called winding function. We now describe briefly those results. While our approach is originally inspired by SLE theory, they are of independent interest from the analysis perspective and the proofs do not involve probability theory.

To describe our results in the most generality, we consider the Loewner-Kufarev energy for Loewner evolutions defined for t ∈ R, namely the whole-plane Loewner chain. We define in this case the space of driving measures to be

The whole-plane Loewner chain driven by ρ ∈ N , or equivalently by its measurable family of disintegration measures R → M 1 (S 1 ) : t → ρ t , is the unique family of conformal maps

t ) t≥s is the Loewner chain driven by (ρ t ) t≥s , which satisfies (5.5) with the initial condition f (s)

See, e.g., [VW20b, Sec. 7 .1] for a proof of the existence and uniqueness of such family.

Remark 6.1. If ρ t is the uniform probability measure for all t ≤ 0, then f t (z) = e −t z for t ≤ 0 and (f t ) t≥0 is the Loewner chain driven by (ρ t ) t≥0 ∈ N + . Indeed, we check directly that (f t ) t∈R satisfy the three conditions above. A Loewner chain in D considered in Section 5.2 can therefore be seen as a special case of whole-plane Loewner chain.

Note that the condition (iii) is equivalent to for all t ∈ R and z ∈ D,

As in (5.4), the family uniformizing maps (g t := f −1 t ) t∈R satisfies the Loewner-Kufarev ODE: For z ∈ D t 0 and t ∈ (−∞, t 0 ), we have

We remark that for ρ ∈ N , then ∪ t∈R D t = C. Indeed, D t has conformal radius e −t , therefore contains the centered ball of radius e −t /4 by Koebe's 1/4 theorem. Since {t ∈ R : z ∈ D t } = ∅, we define for all z ∈ C,

We say that ρ ∈ N generates a foliation (γ t : Figure 3 : Illustration of the winding function ϕ.

1. For all t ∈ R, γ t is a chord-arc Jordan curve.

2. It is possible to parametrize each curve γ t by S 1 so that the mapping t → γ t is continuous in the supremum norm.

Each γ t of a foliation is called a leaf.

Definition 6.2. We define similarly the Loewner-Kufarev energy on N by

where I DV is given by (5.6).

The following result gives a qualitative relation between finite Loewner-Kufarev energy measures and finite Loewner energy curves (i.e., Weil-Petersson quasicircles by Theorem 2.15). Every ρ with S(ρ) < ∞ thus generates a family of Weil-Petersson quasicircles that continuously sweep out the Riemann sphere, starting from ∞ and moving towards 0, as t goes from −∞ to ∞. Therefore, we can view S(ρ) as the energy of the generated foliation. Conversely, Theorem 6.11 shows that any Weil-Petersson quasicircles can be generated by a measure with finite Loewner-Kufarev energy (if they separate 0 from ∞).

Remark 6.4. This class of measures is a rare case for which a complete description of the geometry of the generated non-smooth interfaces is possible. Becker gave a sufficient condition on the Loewner chain to generate quasicircles [Bec72] , but not all quasicircles can be generated this way [GP18, Thm. 3 ].

We also show a quantitative relation among energies by introducing a real-valued winding function ϕ associated to a foliation (γ t ) t∈R as follows. Let g t = f −1 is by assumption chord-arc, thus rectifiable, γ t has a tangent arclength-a.e. Given z at which γ t has a tangent, we define

where the limit is taken inside D t and approaching z non-tangentially. We choose the continuous branch of arg which vanishes at 0. Monotonicity of (D t ) t∈R implies that there is no ambiguity in the definition of ϕ(z) if z ∈ γ t ∩ γ s . See [VW20b, Sec. 2.3] for more details.

Remark 6.5. Geometrically, ϕ(z) equals the difference of the argument of the tangent to the circle centered at 0 passing through z and that of γ t modulo 2π, see Figure 3 . Note also that in the trivial example when ρ has zero energy, the generated foliation consists of concentric circles centered at 0 whose winding function is identically 0.

The following is our main theorem. Although this result is about deterministic growth processes, it has the heuristic interpretation of being the large deviation counterpart of a potential radial mating of trees coupling between the whole-plane SLE κ with large κ (whose large deviation rate function is S(ρ)) with a whole-plane Gaussian free field with vanishing multiplicative factor (whose rate function is D C (ϕ)) that we also speculated in [VW20b, Sec. 10]. Here, the SLE is the flow-line of a unit random vector field which makes the angle a multiple of GFF with the vector field iz. It is closely related to [MS17] and analogous to the mating of trees theorem of Duplantier, Miller, and Sheffield [DMS14] (see also [GHS19] for a recent survey) in the chordal SLE setup. In fact, our intuition for Theorem 6.6 comes from the belief that such a radial mating of trees result should hold although its exact form was not clear to us before we proved this deterministic result.

We also note that if one stops the whole-plane SLE κ at any time t, the boundary of the domain D t is locally a SLE 16/κ curve. This is consistent with the fact that a measure with finite Loewner-Kufarev energy drives an evolution of domains bounded by Jordan curves with finite Loewner energy as stated in Proposition 6.3. It will become more apparent in Theorem 6.11, which is a quantitative version of Proposition 6.3, that the factor 16 is consistent with the SLE duality which relates SLE κ to SLE 16/κ . See also [VW20b, Sec. 10] for more discussion.

Remark 6.7. A subtle point in defining the winding function is that in the general case of a chord-arc foliation, a function defined arclength-a.e. on each leaf need not be defined Lebesgue-a.e., see, e.g., [Mil97] . Thus to consider the Dirichlet energy of ϕ, we use the following extension to W 1,2 loc . A function ϕ defined arclength-a.e. on all leaves of a foliation (γ t = ∂D t ) is said to have an extension φ in W 1,2 loc if for all t ∈ R, the Jonsson-Wallin trace (see Equation (3.5)) of φ on γ t , that we simply write as φ| γt , coincides with ϕ arclength-a.e on γ t . We also show that if such extension exists then it is unique. The Dirichlet energy of ϕ in the statement of Theorem 6.6 is understood as the Dirichlet energy of this extension. Theorem 6.6 has several applications which show that the foliation of Weil-Petersson quasicircles generated by ρ with finite Loewner-Kufarev energy exhibits several remarkable features and symmetries.

The first is the reversibility of the Loewner-Kufarev energy. Consider ρ ∈ N and the corresponding family of domains (D t ) t∈R . Applying ι : z → 1/z to D * t :=Ĉ D t , we obtain an evolution family of domains (D t = ι(D * t )) t∈R upon time-reversal and reparametrization, which may be described by the Loewner equation with an associated driving measureρ. While there is no known simple description ofρ in terms of ρ, energy duality implies remarkably that the Loewner-Kufarev energy is invariant under this transformation. To see this, we prove first the following result. Lemma 6.9. Let γ be a rectifiable Jordan curve separating 0 from ∞, D and D * be respectively the bounded and unbounded domain ofĈ γ. Let g be a conformal map from D → D fixing 0 and k be a conformal map D * → D * fixing ∞ such that g (0) > 0 and k (∞) > 0. For a differentiable point z ∈ γ, we have

where the limits are taken non-tangentially and we choose the continuous branches of arg(·) such that ϕ(w) := arg g (w)w g(w) → 0 as w → 0 and ψ(w) := arg k (w)w k(w) → 0 as w → ∞.

In particular, this lemma implies that the winding function at ι(z) of the curve ι(γ) is

With this observation, the proof of Theorem 6.8 is immediate.

Proof of Theorem 6.8. Letφ be the winding function associated to the foliation (∂D t = ι(∂D t )) t∈R . Sinceφ • ι = ϕ and the Dirichlet energy is invariant under conformal mappings, we obtain D C (φ) = D C (ϕ) which implies S(ρ) = S(ρ) by Theorem 6.6.

Proof of Lemma 6.9. If γ is smooth and ψ takes values in (−2π, 2π), then by the assumption that ϕ(w) → 0 as w → 0, the harmonicity of ϕ and the maximum principle, we have ϕ| γ = ψ| γ .

For the general case, we consider the foliation in D * formed by the family of equipotentials (γ r := h(rS 1 )) r≥1 where h = k −1 . Let D r and D * r be the bounded and unbounded connected components ofĈ γ r respectively. Let g r : D r → D and k r : D * r → D * be the uniformizing conformal maps associated to γ r . We define ϕ r and ψ r along γ r in a similar manner as in the statement of Lemma 6.9. From the construction, we have ψ r = ψ| γr , ∀r ≥ 1.

We extend ϕ to D * by setting ϕ| γr = ϕ r | γr for all r > 1. Since f r = g −1 r extends to a smooth function on D, one can show that the function associated to the equipotentials

is continuous for the C ∞ norm, we obtain that ϕ is continuous in D * . As |h (z)z/h(z) − 1| < 1/2 in a neighborhood of ∞, we see that ψ takes values in (−π/2, π/2) on that neighborhood. From the previous case, we obtain that ϕ = ψ on a neighborhood of ∞. Since ϕ − ψ takes values in 2πZ, is continuous, and equals 0 in a neighborhood of ∞, we obtain that ϕ = ψ in D * . Recall that we also defined ϕ in D as arg[g (w)w/g(w)]. We only need to show that the limit of ϕ taken from D * coincides with the limit taken from D.

For this, notice that γ is a rectifiable curve, so is ι(γ). From [Pom92, Thm. 6.8], (ι • h • ι) is in the Hardy space H 1 (D). In particular, we have that the length |ι(γ r )| converges to |ι(γ)|, and |γ r | converges to |γ| as r → 1+. We have also f r → f := g −1 locally uniformly as r → 1+ from the Carathéodory kernel convergence. A theorem of Warschawski [Pom92, Thm. 6.12] shows that A theorem of Hardy-Littlewood [Dur70, Thm. 1.9] implies that F r converges to 0 in L 1 (S 1 ) as r → 1+ since f r − f converges to 0 in H 1 (D) by (6.4). This limit and (6.4) imply that along a subsequence r n → 1+, f rn (z) converges to f (z) and F rn (z) converges to 0 on a full measure set E ⊂ S 1 , which shows that f rn converges to f uniformly on the radial segment [0, z] for all z ∈ E.

The limit (6.4) also implies that f r → f uniformly on D, see, [Pom92, Ex. 6.3.4]. Therefore,

Since f (w)w f (w) does not vanish on [0, z], the uniform convergence implies that the argument also converges uniformly (without the ambiguity in the choice of multiples of 2π). In particular,

We obtain that for z ∈ E, the limit of ϕ at f (z) taken from D * coincides with the limit taken from D which concludes the proof.

Remark 6.10. It is not known whether whole-plane SLE κ for κ > 8 is reversible. (For κ ≤ 8, reversibility was established in [Zha15, MS17] .) Therefore Theorem 6.8 cannot be predicted from the SLE point of view by considering the κ → ∞ large deviations as we did for the reversibility of chordal Loewner energy in Theorem 2.8. This result on the other hand suggests that reversibility for whole-plane radial SLE might hold for large κ as well.

From Proposition 6.3, being a Weil-Petersson quasicircle (separating 0 from ∞) is a necessary condition to be a leaf in the foliation generated by a measure with finite Loewner-Kufarev energy. The next result shows that this is also a sufficient condition and we can relate the Loewner energy of a leaf with the Loewner-Kufarev energy of the generating measure. In particular, we obtain a new and quantitative characterization of Weil-Petersson quasicircles.

Let γ be a Jordan curve separating 0 from ∞, f (resp. h) a conformal map from D (resp. D * ) to the bounded (resp. unbounded) component of C γ fixing 0 (resp. fixing ∞). where the infimum, which is attained, is taken over all ρ ∈ N such that γ is a leaf of the generated foliation.

Remark 6.12. The infimum is only realized for the measure ρ γ generating the family of equipotentials on both sides of γ, i.e., the image of the circles centered at 0 under f and h. In this case, the winding function ϕ γ is harmonic in C γ and tends to 0 as z tends to 0 or ∞. More precisely, we have

(6.5) Theorem 6.11 and Theorem 6.6 then give the identity I L (γ) = D C (ϕ γ ) + 2 log |f (0)/h (∞)|. (6.6) Note also that this minimum is zero if and only if γ is a circle centered at 0, whereas I L (γ) is zero for all circles. This explains the presence of the derivative terms. Proof. A consequence of generalized Grunsky inequality, see, e.g., [TT06, , shows that log |f (0)/h (∞)| ≤ 0. Theorem 6.11 then implies I L (γ) ≤ 16 S(ρ γ ) ≤ 16 S(ρ).

Another consequence of Theorem 6.11 is the following complex identity for bounded curve analogous to Corollary 3.10, which simultaneously expresses the interplay between Dirichlet energies under "welding" and "flow-line" operations, see Theorem 3.1 and 3.8.

More precisely, we say that a Weil-Petersson quasicircle γ is compatible with ϕ ∈ W 1,2 loc , if the winding function along γ, as defined in (6.3), coincides with the trace ϕ| γ arclengtha.e. Remark 6.15. We do not use the complex conjugate in defining the transformation law (6.7) as opposed to Corollary 3.10. The reason is that the convention for compatibility and for being a flow-line in both theorems differ by a sign.

Similar to Remark 3.12, Theorem 6.14 can be viewed as the combination of the following two corollaries. Taking Re ψ = 0 and ϕ = Im ψ, we obtain the following result. where ϕ 0 is the zero-trace part of ϕ in the complement of γ. In particular, γ is a Weil-Petersson quasicircle.

Remark 6.17. As opposed to Theorem 3.8, not every ϕ admits a compatible Jordan curve. For instance, when ϕ ≡ π/4, the flow-line of the vector field e i(arg z+π/2−ϕ(z)) starting from any point in C is a spiral which converges to ∞. See Figure 3 and Remark 6.5. In particular, not every real-valued function ϕ with finite Dirichlet energy is the welding function of a foliation. It would be interesting to characterize the class of winding functions analytically.

Proof. Using the notation in Theorem 6.14 and applying it to ψ := iϕ, we obtain

since for z ∈ S 1 , ϕ • f (z) = − arg(f (z)z/f (z)) by the assumption of ϕ being compatible with γ and (6.3). Similarly,

Theorem 6.14 gives

where the last two equalities follow from Remark 6.12. This completes the proof. where

(6.9)

We may view (6.9) as the transformation law such that e 2u dA cyl and e 2v dA cyl are the pullback measures by f and h of e 2φ dA cyl , where dA cyl (z) = |z| −2 |dz| 2 .

Proof. Let ϕ γ ∈ E(C) be the winding function that is harmonic in the complement of γ as in (6.5). Applying Theorem 6.14 to ψ := φ + iϕ γ , we obtain ζ = u, ξ = v which implies D C (φ) + D C (ϕ γ ) = D D (u) + D D * (v). We conclude with (6.6).

Let us end with a table summarizing the results presented in this survey, highlighting the close analogy between concepts and theorems from random conformal geometry and the finite energy/large deviation world. Although some results involving the finite energy objects are interesting on their own from the analysis perspective, we choose to omit from the table those without an obvious stochastic counterpart such as results in Section 3.3.

We hope that the readers are by now convinced that the ideas around large deviations of SLE are great sources for generating exciting results in the deterministic world. And vice versa, as finite energy objects are more regular and easier to handle, exploring their properties also provides a way to generate new conjectures in random conformal geometry. Rather than an end, we hope it to be the starting point of new development along those lines and this survey can serve as a first guide. Loewner chain driven by ρ ∈ N with Whole-plane radial SLE 16/κ Loewner-Kufarev energy S(ρ) < ∞; Foliation by Weil-Petersson quasicircles (Corollary 5.10, Definition 6.2) Radial mating of trees (unknown)

Energy duality D C (ϕ) = 16 S(ρ) (Theorem 6.6) ∂D t is a Weil-Petersson quasicircle

The outer boundary of SLE 16/κ for all t ∈ R and is locally a SLE κ curve I L (γ) = 16 inf ρ S(ρ) + 2 log |f (0)/h (∞)| (Theorem 6.11) Reversibility of whole-plane radial Loewner-Kufarev energy is reversible SLE 16/κ (unknown) (Theorem 6.8)

Topics in geometric function theory, Reprint of the 1973 original

Pole dynamics and an integral of motion for multiple SLE

Large deviations of radial SLE ∞

Conformal field theories of stochastic Loewner evolutions

Multiple Schramm-Loewner evolutions and statistical mechanics martingales

A new function space and applications

An SLE 2 loop measure

Löwnersche Differentialgleichung und quasikonform fortsetzbare schlichte Funktionen

The dimension of the SLE curves

Probability and measure

Conformal welding of rectifiable curves

Weil-Petersson curves, β-numbers, and minimal surfaces

On the uniqueness of global multiple SLEs

String theory as the Kähler geometry of loop space

Stochastic Loewner evolution and Dyson's circular ensembles

Integrably asymptotic affine homeomorphisms of the circle and Teichmüller spaces

Courbes corde-arc et espaces de Hardy généralisés

Identifying a large deviation rate function

Liouville quantum gravity as a mating of trees

Large deviations

Schramm-Loewner evolution and Liouville quantum gravity

Commutation relations for Schramm-Loewner evolutions

Duality of Schramm-Loewner evolutions

SLE and the free field: partition functions and couplings

SLE and Virasoro representations: localization

Theory of H p spaces

Asymptotic evaluation of certain Markov process expectations for large time

Large deviations techniques and applications

Rational functions with real critical points and the B. and M. Shapiro conjecture in real enumerative geometry

An elementary proof of the B. and M. Shapiro conjecture for rational functions

On flows of H 3/2 -vector fields on the circle

On conformal field theory and stochastic Loewner evolution

Conformal restriction, highestweight representations and SLE

Bounded analytic functions

Locally univalent functions, VMOA and the Dirichlet space

Mating of trees for random planar maps and Liouville quantum gravity: a survey

Analytic functions of bounded mean oscillation

Harmonic measure

Catalan numbers and branched coverings by the Riemann sphere

Quasiconformal extensions, Loewner chains, and the λ-lemma

On functions of bounded mean oscillation

Strong Szegö theorem on a Jordan curve

Scaling limits of anisotropic Hastings-Levitov clusters

Function spaces on subsets of R n

The configurational measure on mutually avoiding SLE paths

Exact solutions for Loewner evolutions

On one-parameter families of analytic functions

Conformally invariant processes in the plane

Partition functions, loop measure, and versions of SLE

Univalent functions and Teichmüller spaces

A sharp condition for the Loewner equation to generate slits

Geometric interpretation of half-plane capacity

Untersuchungen über schlichte konforme Abbildungen des Einheitskreises

Conformal restriction: the chordal case

Conformal invariance of planar loop-erased random walks and uniform spanning trees

The Brownian loop soup

Fubini foiled: Katok's paradoxical example in measure theory

The Loewner differential equation and slit mappings

Imaginary geometry I: interacting SLEs

Imaginary geometry II: reversibility of SLE κ (ρ 1 ; ρ 2 ) for κ ∈ (0, 4)

Imaginary geometry III: reversibility of SLE κ for κ ∈ (4, 8)

Quantum Loewner evolution

Imaginary geometry IV: interior rays, whole-plane reversibility, and space-filling trees

The Loewner Energy via Moving Frames and Surfaces of Finite Renormalised Area Bounding Weil-petersson Curves

Teichmüller theory and the universal period mapping via quantum calculus and the H 1/2 space on the circle

Teichmüller theory and the universal period mapping via quantum calculus and the H 1/2 space on the circle

Diff(S 1 ) and the Teichmüller spaces

Toward a conformal field theory for Schramm-Loewner evolutions

Über die Subordination analytischer Funktionen

On univalent functions, Bloch functions and VMOA

Boundary behaviour of conformal maps

Global and local multiple SLEs for κ ≤ 4 and connection probabilities for level lines of GFF

Large deviations of multichordal SLE 0+ , real rational functions, and zeta-regularized determinants of Laplacians

Topics in Hardy classes and univalent functions

Basic properties of SLE

The Loewner energy of loops and regularity of driving functions

Scaling limits of loop-erased random walks and uniform spanning trees

Conformally invariant scaling limits: an overview and a collection of problems

A counterexample in conformal welding concerning chord-arc curves

Conformal weldings of random surfaces: SLE and the quantum gravity zipper

Weil-Petersson Teichmüller space

2d-shape analysis using conformal mapping

Towards conformal invariance of 2D lattice models

Conformal invariance in random cluster models. I. Holomorphic fermions in the Ising model

Real Schubert calculus: polynomial systems and a conjecture of Shapiro and Shapiro

Contour lines of the two-dimensional discrete Gaussian free field

Weil-Petersson Teichmüller space II: Smoothness of flow curves of H 3 2 -vector fields

Weil-Petersson and little Teichmüller spaces on the real line

Geodesic flows on diffeomorphisms of the circle, Grassmannians, and the geometry of the periodic KdV equation

Weil-Petersson metric on the universal Teichmüller space

Asymptotic probabilities and differential equations

Interplay between Loewner and Dirichlet energies via conformal welding and flow-lines

The Loewner-Kufarev Energy and Foliations by Weil-Petersson Quasicircles

The energy of a deterministic Loewner chain: reversibility and interpretation via SLE 0+

Equivalent descriptions of the Loewner energy

Girsanov's transformation for SLE(κ, ρ) processes, intersection exponents and hiding exponents

Random planar curves and Schramm-Loewner evolutions

The conformally invariant measure on self-avoiding loops

Coadjoint orbits of the Virasoro group

Duality of chordal SLE

Reversibility of chordal SLE

Reversibility of whole-plane SLE

SLE loop measures. Probab. Theory Related Fields

Acknowledgments: I would like to thank Fredrik Viklund and an anonymous referee for