Conformal field theory on the Riemann sphere and its boundary version for SLE
Abstract.
From conformal field theory on the Riemann sphere, we implement its boundary version in a simply-connected domain using the Schottky double construction. We consider the statistical fields generated by background charge modification of the Gaussian free field with Dirichlet boundary condition under the OPE multiplications. We prove that the correlation functions of such fields with symmetric background charges form a collection of martingale-observables for (forward) chordal/radial SLE with force points and spins. We also present the connection between conformal field theory with Neumann boundary condition and the theory of backward SLE.
Key words and phrases:
conformal field theory, Gaussian free field, martingale-observables, SLE2010 Mathematics Subject Classification:
Primary 60J67, 81T40; Secondary 30C351. Introduction and results
Since Belavin, Polyakov, and Zamolodchikov [7] introduced an operator algebra formalism to relate some critical models to the representation theory of Virasoro algebra, conformal field theory has been applied in string theory and condensed matter physics. In mathematics, conformal field theory inspired the development of algebraic theories, e.g., the theory of vertex algebras. Also, it has been used to derive several exact results for the conformally invariant critical clusters in two-dimensional lattice models.
During the last two decades, some outstanding predictions from statistical physics have been proved using Schramm-Loewner evolution (SLE). For instance, the remarkable achievements in this area include the work of Lawler-Schramm-Werner on Mandelbrot conjecture (see [23] and references therein), Smirnov’s work on percolation model and Ising model at criticality (see [35, 36]), and the work of Schramm-Sheffield on contour lines of the two-dimensional discrete Gaussian free field (see [31]). Under quite general conditions, it requires just one martingale-observable, which determines the law uniquely to prove the scaling limit convergence of interface curves in lattice models.
In this paper we use the method of conformal field theory to study a certain family of chordal/radial SLE martingale-observables. To be precise, we develop a version of conformal field theory on the Riemann sphere and apply the Schottky double construction to this theory to implement its boundary version in a simply-connected domain with marked boundary/interior points. This theory is based on non-random (background charge) modification of the Gaussian free field in with Dirichlet boundary condition. The theory with Neumann boundary condition is presented in Section 9. We state Ward’s equations in terms of Lie derivatives for the fields in the OPE family generated by the modified Gaussian free field with a (symmetric) background charge placed at the marked points. Using the BPZ-Cardy equations for the fields in for a symmetric background charge (so that the associated partition function is real-valued) with a specific charge at the growth point of SLE, we show that the correlation functions of the fields in form a collection of martingale-observables for chordal/radial associated with the partition function
The partition function we consider is defined in terms of the Coulomb gas correlation function or the correlation function of the effective one-leg operator. In the physics literature, the partition function in conformal field theory is expressed as the correlation function of the boundary condition changing operator, see ([11, §11.3.1]). The other approaches to define the partition function in the context of SLE (up to a multiplicative constant depending possibly on ) can be found in [14, 22]. After introducing the partition functions of free field and the partition functions of SLE, Dubédat showed that they coincide and use these identities to prove local/global couplings of SLEs and free fields in [14]. The SLE partition function can be viewed as the total mass of natural measure on SLE curves and used to describe the restriction property, e.g., see [22].
It is a well-known statement in the physics literature (e.g., see [9, 12]) that under the insertion of the normalized one-leg operator rooted at all correlation functions of fields in the OPE family are martingale-observables for in from to (Here is the correlation function of and a specific background charge is placed at ) We construct the one-leg “operator” rooted at as one of the OPE exponentials of the linear combination of bosonic fields with proper charges at so that it is a primary field with the desired conformal dimensions at and producing a level two degenerate vector at Considering general non-random pre-pre-Schwarzian modifications of the Gaussian free field, we extend this result to the chordal/radial SLE with forces and spins.
In constructing such OPE exponentials, it is essential to require the so-called neutrality conditions on the charges. We clarify and explain two neutrality conditions: one condition for the linear combination of bosonic fields to be a well-defined (Fock space) field; the other condition for the (Coulomb gas) correlation function to be conformally invariant. To reconcile these two neutrality conditions, we place the “background charge(s)” at the marked point(s). We also derive the neutrality condition on the background charges using an extension of the Gauss-Bonnet theorem to the flat metric with conical singularities at the marked points. It appears that our approach can be extended to much more general settings like general Riemann surfaces with marked points (e.g., see [8] for this approach in a doubly-connected domain) and various patterns of insertion (e.g., -leg operators with the method of screening, see [1]). However, we do not claim that what we develop here is the only relevant conformal field theory to SLE theory. For example, as another relevant theory, a twisted conformal field theory can be related to radial SLE. Its bosonic observable with central charge corresponds to a discrete observable of the harmonic explorer with -symmetry.
1.1. A spherical conformal field theory and its boundary version
The fields we treat in this paper are statistical fields constructed from the Gaussian free field with Dirichlet boundary condition via differentiation and Wick’s formula. In the last section we develop a version of conformal field theory constructed from the Gaussian free field with Neumann boundary condition. The Gaussian free field in a simply-connected domain can be viewed as a Fock space field and its 2-point correlation is given by
where is the Dirichlet Green’s function for A Fock space field is a linear combination of basic fields, which are, by definition, formal expressions written as Wick’s product (-product) of derivatives of and Wick’s exponentials of If are Fock space fields and are distinct points in then a correlation function can be defined by Wick’s calculus. See Section 3 or [18, Lecture 1] for more details. (A more traditional notation for the correlation function is ) The points are called the nodes of the (tensor) product of ’s and we write for We extend the collection of Fock space fields by adding finite linear combinations of formal bosonic fields
with the neutrality condition
() |
and its Wick’s exponential Here and are divisors in which takes the value at all points except for finitely many points:
The centered Gaussian formal fields have formal correlations
in and the relations:
• A spherical conformal field theory. We consider a compact Riemann surface of genus-zero with (finitely many) marked points We introduce the formal fields () on with formal correlations
on (A bi-variant field can be defined as a multivalued correlation functional valued field.) We then modify (and in a similar way) by adding a non-random pre-pre-Schwarzian form (PPS form) of order with logarithmic singularities at ’s. Here is the modification parameter. Such resolves a background charge We write A version of the Gauss-Bonnet theorem leads to the neutrality condition
For satisfying we define the OPE exponential (whose meaning is explained in Subsection 3.4) of by
where the (formal) Coulomb gas correlation function is a -differential such that its evaluation on is given by
where the product is taken over finite ’s and ’s. One can view as the formal correlations
by Wick’s rule of centered jointly (generalized) Gaussians:
• Schottky double construction. We consider a simply-connected domain with marked boundary/interior points and the Schottky double of with the canonical involution For a divisor let us denote Suppose that a (double) background charge satisfies the neutrality condition
For this pair and a double divisor satisfying the neutrality condition we define the modification of by
where and We also define the multi-vertex field and the OPE exponential by
In [18] we study the standard chordal theory with (). In this case, the modification reads as
where is a conformal map from onto the upper half-plane
For the standard radial theory ( ) without further marked points or spins, the modification reads as
where is a conformal map from onto the unit disc The corresponding conformal field theory is -invariant. The non-random harmonic function on a punctured domain is multivalued.
The bosonic fields with the neutrality condition generate the OPE family the algebra (over ) spanned by and the derivatives of () under the OPE multiplication (If a single-valued field is holomorphic, then the OPE product of two fields and is the zeroth coefficient of the regular part in the operator product expansion as ) For example, contains etc., and the Virasoro field
In Section 6 we extend the OPE family by adding the OPE functionals at the punctures where the background charges are placed. For example, for
and () belong to the extended OPE family.
• Insertion formulas. We explain how the insertion of Wick’s exponential of the Gaussian free field gives rise to the change of background charge modifications. A particular insertion procedure plays an essential role in establishing the connection between chordal/radial SLE theory with force points (and spins) and conformal field theory in a simply-connected domain with certain symmetric background charges.
Theorem 1.1.
Given two background charges with the neutrality condition the image of under the insertion of is
• Ward’s equations and BPZ-Cardy equations. We mostly concern ourselves with a symmetric background charge One of our main goals is to present the precise relation between conformal field theory and for such a symmetric background charge see Theorem 1.5 below.
Let For a meromorphic vector field in we define
where in the last integral should be understood in the sense of distributions and the first integral should be taken in the sense of the Cauchy principal value if necessary. The following theorem enables us to represent the action of the Lie derivatives operators by inserting the Ward functionals into correlation functions of fields in the extended OPE family.
Theorem 1.2 (Ward’s identities).
Let be a tensor product of fields in the extended OPE family If the nodes of do not intersect with the poles of then we have
The proof of Theorem 1.2 is based on the following residue form of Ward identity
(1.1) |
for a field in the OPE family with a proper meaning of equality. Here is the -linear part of the Lie derivative We emphasize that (1.1) has a different nature at in and at each node of As Fock space functionals, (1.1) holds at each node of see Lemma 7.1. On the other hand, (1.1) holds within correlations at in see Lemma 7.2.
Ward’s equations (see Theorem 1.3 below) describe the insertion of the Virasoro field within correlations of fields in in terms of the Lie derivative operators and the puncture operators Let (resp. ) be the chordal (resp. radial) Loewner vector field with pole at
in the identity chart of (resp. in the identity chart of ).
Theorem 1.3 (Ward’s equations).
Given a symmetric background charge with the neutrality condition let and let be the tensor product of ’s. Then
where all fields are evaluated in the identity chart of and
where all fields are evaluated in the identity chart of
Let be a symmetric background charge with the neutrality condition and a specific charge at a marked boundary point We consider a symmetric divisor satisfying the neutrality condition and let By Theorem 1.1, is the image of under the insertion of
where is the one-leg operator and is its correlation. Let be a string in We assume that is not a node of Denote
We define the partition function associated with a symmetric background charge by
and let The following version of BPZ-Cardy equations play a crucial role in understanding precise relation between conformal field theory and SLE.
Theorem 1.4.
Given a symmetric background charge with and the neutrality condition let and let be the tensor product of ’s. Suppose that the parameters and satisfy
If then in the identity chart of we have
where is the operator of differentiation with respect to the real variable and is taken over the finite notes of and In the -uniformization we have
where the Lie derivative is taken over the finite notes of and
1.2. SLE and martingale-observables
Since Schramm introduced SLE in [30] as the only possible candidates for the scaling limits of interface curves in critical 2-D lattice models, SLE has been used with remarkable success to prove some important conjectures in statistical physics. For example, see the work of Lawler-Schramm-Werner ([23, 25]), Schramm-Sheffield ([31, 32]), and Smirnov ([35, 36]).
• Standard chordal/radial SLEs. For a simply-connected domain with a marked boundary point and a marked interior point radial Schramm-Loewner evolution (SLE) in with a positive parameter is the conformally invariant law on random curves from to satisfying the so-called “domain Markov property” (see (1.3) below). Let us review the basic definitions of radial in technical terms. For each let be the solution (which exists up to a time ) of the equation
(1.2) |
where is a given conformal map, and is a standard Brownian motion with Then for all
is a well-defined conformal map from onto the unit disc It is known that the SLE stopping time (defined to be the first time when the solution of Loewner equation (1.2) does not exist) satisfies The radial SLE curve is defined by the equation
and satisfies the “domain Markov property,”
(1.3) |
The sets are called the hulls of the SLE.
For a simply-connected domain with two marked boundary points the chordal SLE map with a positive parameter satisfies the equation
(1.4) |
where is a given conformal map and Then for all
is a well-defined conformal map from the domain onto where the SLE stopping time satisfies The chordal SLE curve is defined by the equation
• Martingale-observables. Many results in the SLE theory and its applications depend on the explicit form of certain martingale-observables. A non-random conformal field is an assignment of a (smooth) function to each local chart For a non-random conformal field of variables either in (in the chordal case) or in (in the radial case), let us define in any simply-connected domain with marked points by
Here is a conformal map in the chordal case () and is a conformal map in the radial case (). We say that is a martingale-observable for chordal/radial if for any the process
(stopped when any exits ) is a local martingale on chordal/radial SLE probability space. For instance, we can use the identity chart of and then for -differentials with conformal dimensions at we have
The notion of martingale-observables can be extended naturally to chordal/radial with force points and spins for a general symmetric background charge with the neutrality condition and a specific charge at see Theorem 1.5 below. The difference is called the (conformal) spin of at Here is the conformal dimension of charge
• SLEs with force points and spins. We now generalize the standard chordal/radial SLEs to with finitely many force points and spins. Let
(1.5) |
so that and satisfy By definition, for a given symmetric background charge on satisfying the neutrality condition with a specific charge at the chordal (resp. radial) map satisfies the chordal Loewner equation (1.4) (resp. the radial Loewner equation (1.2)) driven by the real process
(1.6) |
(resp. by the real process
(1.7) |
The chordal driven by
has the background charge
where and It is known that the chordal is almost surely a continuous path, see [26, Theorem 1.3]. The radial driven by
(1.8) |
has the background charge
In [27], Miller and Sheffield identified the radial with the flow lines of a (formal) vector field where is chosen such that the conformal spin
We now briefly explain how the chordal process can be produced from the standard chordal or () by the density By Proposition 14.3 in [KM13] or the special case of Theorem 1.5 below, the ratio of partition functions
is a martingale-observable for with
From the fact that in the -uniformization, it follows that the drift term
(1.9) |
from Girsanov’s theorem corresponds to the drift in (1.6), see [33, Theorem 6].
In Subsection 8.3 we present a certain collection of chordal/radial SLE martingale-observables not by Itô’s calculus but conformal field theory.
Theorem 1.5.
Let be a symmetric background charge with the neutrality condition and a specific charge at satisfying (1.5). Suppose is a string in the OPE family of then the non-random field
is a martingale-observable for chordal/radial
1.3. Examples of SLE martingale-observables
In Subsection 8.4 we present several examples of radial SLE martingale-observables.
• Radial observables. The case reveals some aspects of “field Markov property.” Indeed, curves are hyperbolic geodesics, and martingale-observables (of one variable) are non-random fields with the property
In a sense one can think of them as integrals of the motion in the corresponding Teichmüller space. The reader is invited to check that
are observables. Here are Schwarzian and pre-Schwarzian derivatives of respectively. (For the first observable, consider the radial version of Schramm-Sheffield martingale-observables,
(see the first example in Subsection 8.4) and normalize them so that the limit exists as For the second observable, consider the 1-point functions of the Virasoro fields,
where the central charge and the conformal dimensions are given by
See (5.25).) Recently, in [2] multiple observables are used to show Peltola and Wang’s theorem ([28]): multiple curves are contained in the real locus of real rational functions with prescribed real critical points.
• Radial observables. For the usual way to find martingale-observables of a given conformal type is using Itô’s calculus. A couple of well-known important examples are referred to below.
Example ().
The scalar (i.e., -differential)
played an important role in the theory of loop erased random walk (LERW), see [25]. Here is the Poisson kernel of a domain
Example ().
The martingale-observable
is a scalar with respect to and a -differential with respect to Lawler, Schramm, and Werner applied the optional stopping theorem to the martingale and estimated the probability that the point is not swallowed by the hull at time to be
The exponent is one of many exponents in [24]. See the example (derivative exponents on the boundary) in Subsection 8.5 with and
• Lawler-Schramm-Werner’s derivative exponents. Examples of 1-point rooted vertex observables include Lawler-Schramm-Werner’s derivative exponents ([24]) of radial SLEs on the boundary: given
where and are given by
• Friedrich-Werner’s formula. In the chordal case with it is well known ([15]) that the -point function of Virasoro field coincides with Friedrich-Werner’s function
We derive the radial version of this formula. See Theorem 8.3.
• Restriction property. We also use the one-leg operator to present a field theoretic proof of the restriction property of radial : for all hull
(1.10) |
where is the conformal map satisfying In particular, we explain the restriction exponents and in terms of conformal dimensions of the one-leg operators and their effective versions:
where and
See Subsection 4.4.
1.4. Neumann boundary condition and backward SLEs
In Section 9 we sketch an implementation of a version of conformal field theory with Neumann boundary condition. The Gaussian free field in with Neumann boundary condition can be constructed from the Gaussian free field on
For a background charge on with the neutrality condition we introduce the background modification of We present the connection between the OPE family of and the backward chordal/radial
Suppose that the parameters and are related to the SLE parameter as
Let be a symmetric background charge with the neutrality condition and a specific charge at a marked boundary point The backward chordal map from satisfies the equation
(1.11) |
driven by the real process
where the partition function is given by and Its radial counterpart can be defined in a similar way, see Subsection 9.5
We say a non-random conformal field is a martingale-observable for backward chordal/radial if for any the process
is a local martingale on backward chordal/radial SLE probability space.
Theorem 1.6.
The correlations of fields in form a collection of martingale-observables for backward chordal/radial
In this theory, the central charge is given by
2. Coulomb gas correlations
In this section we introduce the Coulomb gas correlations as the (holomorphic) differentials with conformal dimensions at ’s (including infinity) and with values
in the identity chart of and the chart at infinity. After explaining this definition, we prove that under the neutrality condition the Coulomb gas correlation functions are conformally invariant with respect to the Möbius group
2.1. Coulomb gas correlations on the Riemann sphere
Let
where is a finite set of (distinct) points on and ’s are real numbers, (“charges” at ’s), We can think of as a divisor (a function which takes the value at all points except for finitely many points) or as an atomic measure: So
(Some of ’s can be zero, and in any case if is not one of ’s. Sometimes we allow ’s to be complex. We need this case e.g., for the one-leg operators with spin see Subsection 8.2.) For a divisor in i.e., we define the correlation function by
(2.1) |
This is a holomorphic function of in
Typically it is multivalued except in special cases that all ’s are integers. (If they are all even, then the order in the product (2.1) does not matter.) If all then the correlation function is the Vandermonde determinant.
In general, we need to interpret formulas in terms of single-valued branches. (Sometimes, single-valuedness is referred to as “physically.”) If all ’s are in the real line then it is physical. If is symmetric or anti-symmetric with respect to in then the correlation function is single-valued. See Examples (b) and (c) in Subsection 2.5.
We can extend this definition to divisors on by simply ignoring the charge at infinity: if then
2.2. Conformal weights and neutrality condition
Fix a (real) parameter We say that a divisor satisfies the neutrality condition () if
(2.2) |
Note that there is a 1-to-1 correspondence between divisors on satisfying () and arbitrary divisors in Let
Using this function we define the “weights” or “dimensions” at by
It is obvious that
2.3. Coulomb gas correlation functions as differentials
Let us recall the definitions of conformal fields and certain transformation laws such as differentials. A local coordinate chart on a Riemann surface is a conformal map on an open subset of By definition, a non-random conformal field is an assignment of a (smooth) function to each local chart A non-random conformal field is a differential of weights or (conformal) dimensions if for any two overlapping charts and we have
where is the transition map, and (resp. ) is the notation for (resp. ). Pre-pre-Schwarzian forms of order (or forms), pre-Schwarzian forms of order (or forms), and Schwarzian forms of order are fields with transformation laws
respectively, where
are pre-Schwarzian and Schwarzian derivatives of The transformation laws can be extended to the random field: e.g., a field is called a -differential if the non-random field is a -differential in for each
Let be a compact Riemann surface of genus zero, and let be a divisor satisfying (). We define the Coulomb gas correlation function
as a (multivalued) holomorphic differential in ’s such that
-
(a)
the conformal dimensions at ’s are the numbers ’s;
-
(b)
if then is the value of in the identity charts at finite ’s and the chart at infinity (in the case .
Alternatively, we can restate (b) as follows: if is a uniformizing conformal map, then
(By convention, refers to the chart at the pre-image of infinity.)
Examples.
(a) If then is a (scalar) function of namely,
(b) If then
for finite and for We note that is a -differential in and a more traditional notation would be
Möbius invariance of the bi-differential
is of course well known, and could be used as an alternate way to derive our theorem.
2.4. Möbius invariance
To justify the above definition of Coulomb gas correlation function, we need to verify that the differentials are Möbius invariant on Since translation invariance of is obvious, we need to verify the invariance of under the dilation-rotations and the inversion First we assume and denote
(so that ). For a Möbius map we also denote
Lemma 2.1.
If satisfies the neutrality condition , and if is a Möbius map such that then
(2.3) |
Proof.
For a dilation-rotation we have
so conformal invariance of under the dilation-rotations means that
This identity holds by the neutrality condition – both sides are equal to
For the inversion we have
Thus (2.3) reduces to
This holds by because the exponents of on both sides coincide:
∎
Theorem 2.2.
Under the neutrality condition , the differentials are Möbius invariant on
Proof.
Due to the previous lemma, it remains to check the Möbius invariance of on the Riemann sphere in the case that a charge at infinity is non-zero. Let
We may assume that by translation. For the inversion denote and Then and
(2.4) |
It follows from and that the conformal invariance of under means
(2.5) |
where is the transition map between the two charts at infinity. The equations (2.4) – (2.5) reduce to the identity
This holds by the neutrality condition because the exponent of on the left-hand side is
Finally, for a dilation-rotation we have and
We need to check that
where is the transition map between the two charts at infinity. (Indeed, the first chart is and the second one is ) Thus the condition for conformal invariance is
The left-hand side simplifies to . It follows from the neutrality condition () that
∎
2.5. Schottky double construction
In this subsection we introduce Coulomb gas correlations for simply-connected domain They are constructed from those of the Schottky double. We compute them in the - and -uniformizations.
Suppose is a simply-connected domain (). Let be its Carathéodory “boundary” (prime ends). Consider the Schottky double which equips with the canonical involution For example, we identify with the Schottky double of or that of Then the corresponding involution is for and for
For two divisors and in we define
Then is a divisor in (We may assume that is a divisor in , i.e., if ) We call a double divisor in By definition,
(We often omit the subscripts when there is no danger of confusion.) More precisely, the above definition means
(2.6) |
where is the complex conjugation.
Let The following theorem is immediate from Theorem 2.2.
Theorem 2.3.
If satisfies the neutrality condition then is a well-defined differential with conformal dimensions at
-uniformization
Let us consider Then its prime end is We may assume that if We now define
where the product is taken over finite ’s and ’s, and as always we use the convention
Theorem 2.4.
Under the neutrality condition is the value of the differential in the identity chart of (and the chart at infinity).
Remark.
The expression of course makes sense without any neutrality condition but we should always reconstruct neutrality by adjusting the charge at infinity. (Recall that there is a 1-to-1 correspondence between divisors on satisfying () and arbitrary divisors in )
We leave the proof of the above theorem as a trivial exercise. In the next subsection we state the version of this theorem in the -uniformization and provide its proof. For a divisor in we define
Examples.
We have
(a) if then
(b) if then (up to a phase)
(c) if then (up to a phase)
(The products are taken over finite ’s and ’s.)
-uniformization
In the unit disc we define
Theorem 2.5.
Under the neutrality condition is the value of the differential in the identity chart of
Proof.
We identify with the Schottky double of Then the corresponding involution is
A double divisor corresponds to a divisor on If one of the ’s is 0, we call it (so that ). Denote
We need to show that By definition (2.6),
where we use the chart at the nodes including It follows that
Indeed, is the value of in the identity chart of and the chart at infinity, so
where is the transition map. Recall the expression for
Let us rewrite this as a fraction with
and
Comparing to we have
To verify it remains to show that
The exponent of on the left-hand side is
∎
For the exterior of the unit disc, we leave it to the readers to check that the Coulomb gas correlation functions in the -uniformization have the same expression as in the -uniformization but one must disregard the node at infinity (as in the -uniformization).
3. Conformal field theory of Gaussian free field
In this section we review a version of conformal field theory with central charge (i.e., ) both in a simply-connected domain and on the Riemann sphere implemented in [18, 17] and present their connection in the context of Schottky double construction. Coulomb gas correlations in the case are represented as correlations of (formal) multi-vertex fields constructed from the Gaussian free field through Wick’s calculus. In Sections 4 – 5, we extend multi-vertex fields to the case and interpret them as the OPE exponentials of background charge modifications of bosonic fields.
3.1. Bosonic field and its Wick’s exponentials
The chiral bosonic fields are described as the holomorphic part or anti-holomorphic part of the Gaussian free field in the physics literature.
• Gaussian free field. The Gaussian free field in a planar domain with Dirichlet boundary condition is an isometry from the Dirichlet energy space such that the image consists of centered Gaussian random variables. Here is a probability space and is the completion of smooth functions with compact supports in with respect to the norm
where is the (normalized) area measure and is the Dirichlet Green’s function for In the upper half-plane, we have
where In the unit disc, we have
The same formula holds in the exterior of the unit disc, but
The Gaussian free field can be viewed as a Fock space field with the -point correlation function
where the sum is over all partitions of the set into disjoint pairs This correlation function is a unique continuous function on such that
for all test functions with disjoint supports.
• Chiral bosonic fields. We write for the current field. The chiral boson
is a well-defined, “multivalued”, path dependent, “generalized” centered Gaussian. More precisely,
where is a curve from to Then the values of are multivalued correlation functionals in the complement of the curve. For example, we have
(3.1) |
where is the complex Dirichlet Green’s function, Here is the harmonic conjugate of The multivalued function is defined up to constants. Sometimes we work with a uniformization In such a case, it is convenient to choose the constant so that
We write
Then we have
• Wick’s calculus. For centered jointly Gaussian random variables let be Wick’s product of Then by Wick’s formula we have
(3.2) |
where the sum is taken over all Feynman diagrams labeled by ’s without edges joining any and Recall that the Feynman diagram labeled by is a graph with vertices such that edges have no common endpoints. (Such edges are called “Wick’s contractions.”) We denote the unpaired vertices by For generalized Gaussians or Fock space fields like or we set the tensor product with disjoint sets to be (3.2). For example,
where each of terms on the right hand-side comes from or 2 contractions, respectively. Wick’s exponentials of (generalized) Gaussian is defined by
For centered jointly (generalized) Gaussians ’s we have
3.2. Formal bosonic fields
To make the computation easy, it is convenient to consider a representation
such that
It is not possible to define such in a conformally invariant way, but linear combinations
satisfying the neutrality condition are well-defined as Fock space fields.
Lemma 3.1.
If a double divisor satisfies , i.e.,
then the formal bosonic field can be represented as a linear combination of well-defined Fock space fields.
Proof.
Let us choose any point . (It can be one of ’s.) Then
Under the neutrality condition, the first two terms on the right-hand side become the Fock space correlation functional:
∎
Remark.
The representation in the lemma is not unique, of course, but it is “unique” in the sense of “multivalued” fields. For example, is “independent” of If we specify the curves in the definition of bi-vertex fields with two different choices of then the difference is an integral over a loop. If we choose then where is a “monodromy field:”
3.3. Correlations of formal fields in the unit disc and the upper half-plane
We define in as centered Gaussian (formal) fields with “formal” correlations
(3.3) |
Note that these formal correlations have no -invariance and depend on the order of particles. It is easy to verify that
where on the left-hand side has the usual meaning, but we use “formal” correlations on the right-hand side. The same interpretation is applied for , etc. If a double divisor in satisfies the neutrality condition then we can compute correlations of (or other functionals involving e.g., Wick’s exponentials of ) with various Fock space fields by applying Wick’s calculus to our formal fields in In the case of an arbitrary simply-connected domain we fix a conformal map and define so the correlations are
The “formal” correlations depend on the choice of the conformal map but this dependence disappears under the neutrality condition. In particular, we can use this method to introduce formal bosonic fields in but it is more convenient to define in as follows:
for finite ’s and set
3.4. OPE exponentials and multi-vertex fields
The OPE product of two fields and is a generic notation for a coefficient in the operator product expansion as i.e., expansion with respect to a chart independent asymptotic scale. Typically (but not always) we use for the coefficient of the first non-diverging term. So, the OPE product of non-chiral fields is obtained by subtracting all divergent terms in the operator product expansion and then taking the limit as This is the case in notation in the definition of OPE powers of Let denote the logarithm of conformal radius of i.e.,
Then by Wick’s calculus,
as In general, unlike Wick’s multiplication, the OPE multiplication is neither commutative nor associative. For example, if is a non-random holomorphic function and if are holomorphic fields, then and
We define OPE exponentials of the Gaussian free field by
Then we have
see [18, Proposition 3.3]. More generally, OPE exponentials (non-chiral multi-vertex fields) of can be defined in a similar way
and be computed as
where See [17, Section 5] for more details.
• Multi-vertex fields. We now extend the OPE exponentials or multi-vertex fields to chiral fields by stating the definition of the chiral multi-vertex field in terms of Coulomb gas correlation function and Wick’s exponential. Suppose a double divisor in satisfies the neutrality condition Then the Wick’s exponential
is a well-defined Fock space functional; is a scalar, i.e., -differential and
We define the multi-vertex field by
Thus a multi-vertex field consists of two parts – its expectation given by the correlation differential and the Wick exponential The conformal dimensions of at ’s are
(Recall that in this section.)
• Formal representation of multi-vertex fields. For a given conformal map we formally set
Then under the neutrality condition
where the left-hand side is by the definition above and the right-hand side is computed by Wick’s calculus from formal correlations in The result does not depend on the choice of the conformal map and is the same if we use formal correlations in or
3.5. Conformal field theory on the Riemann sphere
In this subsection we define the Gaussian free field on both as a Gaussian field indexed by the energy space and as a bi-variant Fock space field. After introducing formal bosonic fields, we define multi-vertex fields on
• Energy space. For a compact Riemann surface of genus zero, we denote with the scalar product
The Dirichlet energy space, is the Hilbert space defined as the completion of the smooth forms with respect to the scalar product such that the Laplacian operator
is unitary. Note that if , then by Green’s theorem satisfies the neutrality condition
(3.4) |
Furthermore, is represented as
for any -uniformization of The -invariance of the right-hand side means that
is independent of Since translation invariance is trivial, it suffices to show this for and It follows from the neutrality condition on
• Gaussian free field. The Gaussian free field on is a (real, centered) Gaussian field indexed by , i.e.,
is an isometry such that is a (real, centered) Gaussian random variable for each We introduce the Fock space functionals (“generalized” Gaussians)
(Note that is not in but as a signed/complex measure it can be approximated by ’s in because it satisfies here ’s are -functions, i.e., forms.) Then the Fock space functionals have the following properties:
-
(a)
in particular
-
(b)
For somewhat symbolically we have
The integral is independent of the reference point by (b) and the neutrality condition Thus we can think of the Gaussian free field as a bi-variant field with
on As a scalar, conformal invariance is manifest in the cross-ratio on the right-hand side. As in a simply-connected domain, we define the chiral boson as a bi-variant multivalued field by
It is obvious that does not depend on On we have
• Formal 1-point field. We introduce on as a centered Gaussian formal field with formal correlation
For a compact Riemann surface of genus zero, we fix a uniformization and define so that
The dependence of the formal correlations on the choice of disappears if we apply this formalism only to the linear combinations satisfying the neutrality condition
For example, we have a representation Next we introduce the formal bosonic fields on as centered Gaussian formal fields satisfying and
For a given uniformizing map we define If both and satisfy the neutrality condition then the linear combinations
and
are well-defined Fock space fields. For a divisor satisfying the neutrality condition we have
where for
• Vertex fields. Suppose that both and satisfy the neutrality condition We define the multi-vertex field by
where the Coulomb gas correlation function is given by
We remark that does not interact with in due to the independence of and :
In the identity chart of and the chart at infinity, the value of the differential is
where the product is taken over finite ’s and ’s, and as usual
Remark.
Recall that we may assume that if There is a 1-1 correspondence between a divisor on and a double divisor with
Sometimes it is convenient to write for for and for etc.
4. Modified multi-vertex fields
In this section we extend the concept of multi-vertex fields to the case Their correlation functions are defined in terms of correlation functions with the neutrality condition and their Wick’s parts are Wick’s exponentials of bosonic fields with charges satisfying the neutrality condition To reconcile these two neutrality conditions, background charges with the neutrality condition are placed. In the next section we view the modified multi-vertex fields as the OPE exponentials of background charge modification of
4.1. Definition
Let us fix the (background charge) parameter This parameter is related to the central charge in the following way:
As we mentioned in the last remark in the previous section, we often use the 1-1 correspondence between a divisor on and a double divisor with Recall that the Coulomb gas correlation functions are well-defined -differentials under the neutrality condition
see Theorem 2.3, and that Wick’s exponentials are well-defined Fock space fields under the neutrality condition
where see Subsection 3.4.
To reconcile these two neutrality conditions on and on we need at least one marked point in to place the “background charge” there. Let us consider the case of one marked point and denote by this marked point. It can be one of the nodes of The case is called radial, and the case chordal.
• Standard chordal case. For a divisor on satisfying the neutrality condition we define by
Sometimes we write or to indicate the location of the marked point and/or the background charge. Let us emphasize that the expectation of the multi-vertex (the correlation ) does not depend on but the Wick part does. Multi-vertex functionals/fields are differentials with the same conformal dimensions as in
• Standard radial case. For a divisor on satisfying the neutrality condition we define by
Again, is -invariant but its expectation is -invariant. (This is not the only way to satisfy neutrality condition in Wick’s part of the functional.)
Both cases can be generalized to several marked points. Additional marked points are not necessarily on the boundary Suppose we have a background charge on with the neutrality condition For a divisor on satisfying the neutrality condition we define by
4.2. Background charge operators
Let us introduce the background charge operators. For a background charge on we define the background charge operator associated with by
Note that the Wick part of is the constant field
• Standard chordal case. We write for Then we would have in all charts because
and clearly in the -uniformization.
• Standard radial case. We write for This is a non-random differential with dimensions
at Note that in the -uniformization.
4.3. OPE exponentials
We use the background charge operators to modify the multi-vertex fields so that the OPE calculus of the modified multi-vertex fields has a very simple and natural form. We call the modified multi-vertex fields the OPE exponentials; the reason for this terminology becomes apparent in the next section.
Suppose is a divisor on satisfying the neutrality condition For this divisor and a background charge on (satisfying the neutrality condition ), we define the OPE exponentials (the modified multi-vertex fields) by
We remark that all charges in the correlation
interact except that background charges do not interact with each other.
• Standard radial case. If then
We call the (double) divisor of Wick’s exponents and the effective charges at Thus the sum of exponents is zero but the sum of (effective) charges is i.e., satisfies and satisfies Sometimes we omit the subscript in when
Proposition 4.1.
The conformal dimensions of at are
Proof.
The Coulomb gas correlations have conformal dimensions respectively at Since Wick’s exponentials are scalars or -differentials, we have
∎
We call the numbers effective conformal dimensions at ; they are dimensions of As we have just seen,
Proposition 4.2.
In the -uniformization, we have
where and ’s are non-zero nodes.
Proof.
Since in the -uniformization and we have
Proposition now follows from Theorem 2.5. We have in the identity chart of ∎
In other words, in is given by the usual Coulomb gas correlation function for effective charges.
• Standard chordal case. If then
Recall that in all charts. The (effective) charge at is so the sum of (effective) charges is Sometimes we omit subscript in when The conformal dimension of at is
Remark.
4.4. Example: one-leg operators
As a special case of Theorem 1.5, under the insertion of Wick’s part of the radial one-leg operator (rooted at ) with all correlation functions of the fields in the extended OPE family of () are radial martingale-observables (see Subsection 5.4 for the modified Gaussian free and Subsection 6.2 for its extended OPE family) if the parameters (the charge of at ) and are related to the SLE parameter as
(a) We define the radial one-leg operator (rooted at ) by
Its conformal dimensions at and at are
(4.1) |
and
The effective charges at are and the effective dimensions at are
(4.2) |
Indeed, where is the “effective” one-leg operator
In we have so in
where is a conformal map and
(b) Let be the parameter in the definition of radial see (1.8). We define the radial one-leg operator with spin by
where Its conformal dimensions at are
so the spin and the conformal dimension at are
In we have and
See (1.7) and (1.8). Later we define the partition function in terms of the correlation function of the effective one-leg operator.
(c) We define the chordal one-leg operator by
Its conformal dimension at and effective dimension at are
In we have so in
4.5. Algebra of multi-vertex functionals and OPE exponentials
In the general case, given a background charge we define the multiplication of OPE exponentials by
In the next section we relate this operation to OPE/tensor multiplication. Multiplication of OPE exponentials is commutative and associative (if we ignore the order of particles). Formally, we have the following representation
where
5. Background charge modifications of Gaussian free field
In this section we discuss background charge modifications of the Gaussian free field in a simply-connected domain with marked boundary/interior points. A special type of such modifications with a marked boundary point appeared in [29] and [18] to present their connections to chordal SLE theory. Similar constructions had been well known both in the physics literature and in the algebraic literature. For example, see [11, Chapter 9] for Coulomb gas formalism, and [16] for Fairlie’s modifications of Virasoro generators.
The background charge modifications of the radial conformal field theory with a marked interior point under our consideration equip the Gaussian free field with the additive monodromy around the puncture We define the OPE exponentials of modified bosonic fields with nodes in as differentials in the OPE family. The OPE exponentials extend to the puncture through operator product expansion with the constant field or the rooting procedure. We discuss these extensions in the next section.
5.1. Modification of Gaussian free field on the Riemann sphere
In this subsection we borrow the concepts of the background charge modifications of Gaussian free field on a compact Riemann surface from [17]. Later we adapt them in a simply-connected domain employing Schottky double construction.
Recall that a non-random field is called a pre-pre-Schwarzian form of order (or ) if the transformation law is
where in a chart in a chart and is the transition map between two overlapping charts We consider a holomorphic/harmonic PPS form such that is meromorphic and is a finite linear combination of -measures, Such is called a simple PPS form. We often write as a divisor and call it the background charge of
Proposition 5.1.
On a compact Riemann surface of genus zero, we have the neutrality condition for the background charge of a simple form
(5.1) |
It is a consequence of a version of Gauss-Bonnet theorem, e.g., see [17, Corollary 6.3]. For the reader’s convenience, we present its proof.
Proof of Proposition 5.1.
Let us choose a conformal metric (a positive -differential) on where is a meromorphic differential with a sole double pole at In the identity chart of with one can take so and
where is the Euler characteristic of Let Then is a simple form. We now consider the harmonic form, Proposition now follows from
(5.2) |
since
By means of Green’s theorem, the integral in (5.2) is the sum of all residues of the meromorphic differential It is well known that such a sum vanishes. ∎
Given a background charge with the neutrality condition , there is a unique (up to an additive constant) simple form with the background charge
where and is a meromorphic differential with a sole double pole at On the Riemann sphere and in the identity chart of In terms of a uniformization
We now define the background charge modifications of the formal bosonic fields. Given two background charges with the neutrality conditions we define
so that Then is a form. In the -uniformization, we have
Here the summation is taken over all ’s but In particular, if then
(5.3) |
in the -uniformization.
For two divisors satisfying the neutrality condition we define
where
Then we have
in the -uniformization.
Sometimes it is convenient to write and
5.2. Stress tensors and Virasoro fields
For the reader’s convenience, we briefly review the definitions of a stress tensor and the Virasoro field. See [18, Lectures 4 and 5] for more details. Suppose ( respectively) is a Fock space holomorphic (anti-holomorphic, respectively) quadratic differential. Recall that a Fock space field is (anti-)holomorphic if the correlation is (anti-)holomorphic in the complement of for any tensor product of the Gaussian free fields. Let be a non-random holomorphic vector field defined in some neighborhood of We define the residue operator (, respectively) as an operator on Fock space fields:
in a given chart A pair is called a stress tensor for a Fock space field if for all non-random local vector fields the so-called “residue form of Ward’s identity”
(5.4) |
holds in the maximal open set where is holomorphic. We recall the definition of Lie derivatives (see [18, Section 3.4]):
where is a local flow of and is an arbitrary chart. The Lie derivative operator depends -linearly on vector fields and it is convenient to consider its -linear part and anti-linear part
The -linear part and the anti-linear part are related as and the conjugation means that If is a -differential, then
(5.5) |
if is a form, then
(5.6) |
if is a pre-Schwarzian form of order then
(5.7) |
if is a Schwarzian form of order then
(5.8) |
We denote by Ward’s family of the linear space of all Fock space fields with a stress tensor in common. If is closed under complex conjugation, we can choose In this symmetric case, the Lie derivatives operators acts on as the residue operators In this case if and only if the following Ward’s OPEs hold in every local chart
(5.9) |
where means the singular part of the operator product expansion in chart as and is the local vector field given by
See [18, Proposition 5.3]. We often use the notation for the singular part of the operator product expansion.
For example, in a simply-connected domain, the Gaussian free field (with Dirichlet boundary condition) has a stress tensor
It follows from Ward’s OPE
It is well known that Ward’s family is closed under the OPE product and differentiations, see [18, Proposition 5.8]. This fact implies that is also a stress tensor for and
On the Riemann sphere, the current fields are defined as well-defined single-variable Fock space fields,
It is easy to see that this definition does not depend on the choice of Furthermore, is holomorphic and is anti-holomorphic. As in a simply-connected domain, the Gaussian free field has a stress tensor
In this case, Ward’s OPE reads as
A pair of Fock space fields is called the Virasoro pair for the family if and if are non-random holomorphic (or meromorphic with poles where background charges are placed, see Section 5) Schwarzian forms. In the symmetric case, is called the Virasoro field for Ward’s family Both in a simply-connected domain and on the Riemann sphere, the Virasoro field is given by
or by the operator product expansion
It is easy to see that is a Schwarzian form of order See [18, Proposition 3.4] in a simply-connected domain or [17, Proposition 4.1] on a compact Riemann surface.
Theorem 5.2.
The bosonic field has a stress tensor
The Virasoro pair for the family is given by
Proof.
We first observe that is a holomorphic quadratic differential. Indeed, and satisfy
Similarly, is an anti-holomorphic quadratic differential.
Next we check Ward’s OPE on
Similar operator product expansion holds for as
Finally we want to show that is a Schwarzian form of order We find
from the expressions of and All we need to check is that is a Schwarzian form of order It follows from the transformation laws for and
Similarly, is a Schwarzian form of order ∎
Example.
In the -uniformization, we have
Denote by the OPE family of on the algebra (over ) spanned by and the derivatives of with nodes in under the OPE multiplication Let
Theorem 5.3.
Given background charges with the neutrality conditions the image of under the insertion of is within correlations.
Proof.
We first show that the image of under the insertion of is within correlations:
By Wick’s calculus, we have
(5.10) | ||||
We define the correspondence by the formula and the rules
Denote
It suffices to show
for Differentiating (5.10), it follows from Wick’s calculus that
We now compute
which completes the proof. ∎
5.3. Embeddings
In this subsection we construct the Gaussian free field in a simply-connected domain with Dirichlet boundary condition from the Gaussian free field on its Schottky double Recall that the Gaussian free field can be defined as a Gaussian field indexed by the energy space. See Subsection 3.5 for this definition on The energy space can be embedded isometrically into in a natural way. For example, for in the energy space
where
and As a Fock space field, the Gaussian free field in with Dirichlet boundary condition can be constructed from the Gaussian free field on
where is the canonical involution in the Schottky double of For example,
and
In the chordal case, the current fields and the stress energy tensors are related as
and
Similar statements hold in the radial case. Furthermore, the formal bosonic fields are related as
More generally, for a double divisor satisfying the neutrality condition we have
(5.11) |
In Subsection 9.1 we construct the Gaussian free field in with Neumann boundary condition from
5.4. Modification of Gaussian free field in a simply-connected domain
In Subsection 5.1 we introduce background charge modifications of the Gaussian free field on the Riemann sphere. Here the background charges satisfy the neutrality condition In this subsection, from we construct background charge modifications of the Gaussian free field with Dirichlet boundary condition in a simply-connected domain.
Let us fix a background charge parameter This parameter is related to the central charge as For a double background charge on satisfying the neutrality condition
we set and define
Then is a form and
in the -uniformization.
We also define background charge modifications of formal bosonic fields as
For a double divisor satisfying the neutrality condition we set Then we have
(5.12) |
• Chordal case without spins. For a simply-connected domain with marked boundary points a background charge and a conformal map we have
We also define Then it is a form and
In particular, if then we have
(5.13) |
and the 1-point function does not depend on the choice of the conformal map. Due to this property, these modifications (5.13) are well-defined. As a form, the current field is conformally invariant with respect to
• Radial case with a spin only at a marked interior point. For a simply-connected domain with a marked interior point we consider a conformal map
from onto the unit disc Let be marked boundary points. Given a background charge with the neutrality condition
the 1-point function is given by
in the -uniformization. Also we define Then it is a form and
In particular, if then
(5.14) |
Since the multivalued function does not depend on the choice of the conformal map, the “bosonic” field, in is invariant with respect to Also we have
(5.15) |
Remarks.
(a) For the 1-point function has monodromy around
(b) For the 1-point function has a simple pole at and is holomorphic in
(c) As a form, the current is conformally invariant with respect to
For a symmetric background charge on we have
and
(5.16) |
in the -uniformization if all ’s are in Later, we present the connection between boundary conformal field theory with symmetric background charges and the chordal/radial SLE theory with forces and spins. The following theorem is parallel with Theorem 5.2.
Theorem 5.4.
For a symmetric background charge on the bosonic field in has a stress tensor
and its Virasoro field is
Example.
For a background charge satisfying the neutrality condition , we have
in the -uniformization, where and
5.5. OPE exponentials in a punctured domain
For simplicity, we consider the standard radial case Our goal in this subsection is to explain the statement that under the neutrality condition on the modified multi-vertex field (with ) in can be viewed as the OPE exponential of Non-chiral vertex fields are defined by
We have
The non-random field is a form and is the conformal radius. In terms of a conformal map we have
where is the identity chart of Thus the conformal radius is a -differential and is a -differential with Its 1-point function in the -uniformization is
Since and contain the same Wick’s exponential and they are differentials with the same conformal dimensions and the same correlation functions in the -uniformization, we conclude that
Next, we explain the OPE product of OPE exponentials and why it corresponds to the addition of divisors. Here is the typical example:
(5.17) |
Here means the coefficients of the leading term in OPE expansion. An alternative notation for such OPE multiplication is see [18, Section 15.2]. To see (5.17), we need to compute asymptotic behavior of
This implies The same argument shows that if and are non-random fields, then
Taking the above identity shows (5.17).
The computation is more transparent if we use formal OPE exponentials. Let us formally define
(which depends on the choice of conformal map) so that
holds (formally) within formal correlations. In addition to the product of 1-point functions (and Wick’s exponential), we have the interaction term
in . As in the OPE product of non-chiral vertex fields, we have (again formally)
(5.18) |
where the OPE product could be further specified as the product (leading coefficient) or as (coefficient of in the operator product expansion of ). Let us compute (5.18):
It is trivial to compute Wick’s exponential part in the operator product expansion. The identity now shows (5.18).
Note that the last OPE has the form
(5.19) |
5.6. Insertions and changes of background charges
Denote by the OPE family of on the algebra (over ) spanned by and the derivatives of with nodes in under the OPE multiplication Let
Theorem 5.5.
Given background charges on with the neutrality conditions the image of under the insertion of is within correlations.
Theorem 5.5 follows immediately from Theorem 5.3 and the Schottky double construction (5.12) of from
We now present a typical example of the insertion operators which create the chordal/radial SLE curves. In the radial case with the insertion of one-leg operator
produces an operator
acting on Fock space functionals/fields by the rules
(5.20) |
for Fock space functionals and in and the formula
(5.21) |
where is a conformal map and
(5.22) |
In the chordal case with recall that the insertion of one-leg operator
produces an operator by the rules (5.20) and the formula
where is a conformal map and
See [18, Section 14.2].
Let
Let correspond to the string under the map given by (5.20) – (5.21). Then by Theorem 5.5 we have
(5.23) |
Examples.
Let in the radial case with in (5.22).
(a) The current is a pre-Schwarzian form of order
(5.24) |
In the -uniformization,
(b) The Virasoro field is a Schwarzian form of order
(5.25) | ||||
where (see (4.1) and (4.2)) and is the Schwarzian derivative of In the -uniformization,
(c) The operator produced by the insertion of one-leg operator can be extended to the formal fields. For example, we have
and
6. Extended OPE family
In this section we extend the OPE family (, ) of by adding the generators obtained from the operator product expansion of fields in at the punctures or the rooting procedure. Examples include the OPE exponentials of with nodes at
6.1. OPE at the puncture
Let us consider the radial case first. For simplicity we only consider the “formal” holomorphic puncture differential in the case that
This is a (formal) Fock space correlation functional with conformal dimension at
Proposition 6.1.
We have
Proof.
As we have
Here we use as and the identity The notation means the first leading term of the operator product expansion. ∎
We can express the above proposition in any of the following formulas:
The point is that the arithmetic of divisors has the OPE nature, both in and at the puncture
Let us mention a special case () of the proposition.
Corollary 6.2.
We have
This OPE is related to the “rooting” procedure (see [18, Section 12.3] for this procedure in the chordal case):
where the point is at distance from in the chart. Equivalently, this definition can be reached by applying the following rooting rule to the formal field
-
(a)
the point in the terms and is replaced by the puncture
-
(b)
the term is replaced by
In the chordal case with we consider the “formal” boundary puncture differential
In terms of a uniformizing map we have and
as We use the identity This OPE can be expressed as
We refer to (5.19) to remind the readers what this type of OPE is. In the special case we have
This is related to the “rooting” procedure:
where the point is at distance from in the chart. In terms of a uniformizing map satisfying as in a fixed boundary chart at then the rooting procedure becomes
where the point is at (spherical) distance from in the chart see [18, Section 12.3].
6.2. Definition of the extended OPE family
For simplicity, we consider the standard radial case with If then for all points and all holomorphic (local) vector fields we have
(6.1) |
This is not a characterization of fields in e.g., would satisfy (6.1). Note that the fields in are typically not defined at e.g., and
A Fock space functional at is the value of a Fock space field at
Here Fock space means the Fock space of the Gaussian free field and the functionals that depend on the chart at the puncture A Fock space functional at correlates with Fock space strings in In fact we can consider the (tensor) products Such products are well-defined Fock space functionals. Examples of Fock space functional at include and even formal functionals (with our usual proviso of neutrality).
Definition.
We say if for some fields The (extended) OPE family is the collection of Fock space strings
For example, if (), then both and are in but they are different, see the last example in the next subsection.
6.3. Examples of the OPE family
It is clear that so every belongs to the extended family. We now present some less obvious examples in the standard radial case,
Example.
As mentioned before,
and more generally We define the formal functional by
Let us discuss the vertex algebra at the puncture. We define the multiplication of OPE exponentials at the puncture by
so that
Examples.
(a) We have It is because
(b) We have
This follows from with and
(c) We have
Example.
For in general. For example, with the choice of we have It is because
6.4. Insertions
In this subsection we extend the insertion of the one-leg operator to the strings containing puncture functionals in particular to the fields in the extended OPE family. For simplicity, we consider the standard radial case with Let denote the one-leg operator,
If is a node of e.g.,
then the accurate definition of the product is
Proposition 6.3.
Let and Then we have
Proof.
By definition,
In follows from (5.23) that
Comparing the OPE coefficients at the puncture, we have
∎
Examples.
Let and
(c) Note cf.
We have because the differentials on both sides have the same dimension and are equal to 1 in
It is not difficult to see that Theorem 5.5 extends to Theorem 1.1 using the argument in the proof of Proposition 6.3. We remark that Proposition 6.3 is a special case ( and ) of Theorem 1.1.
For two background charges satisfying the neutrality condition let
If the nodes of intersect with the those of , then the product of and should be understood as the sense of OPE’s.
The insertion of is an operator on Fock space functionals/fields given by the rules (5.20) and the formula
Example.
Suppose that a divisor on satisfies the neutrality condition Then we have
(6.2) |
Since both sides contain the same Wick’s exponential all we need is to check that both sides have the same correlation functions. It follows from Theorem 1.1 and the algebra of OPE exponentials that
7. Ward identities and BPZ equations
We represent the Ward functionals as the Lie derivative operators within correlations of fields in the extended OPE family. Combining these representations (Ward identities) with the expression of the Virasoro fields in terms of the Ward functionals, we derive the Belavin-Polyakov-Zamolodchikov equations (BPZ equations) for correlations involving the Virasoro fields or the Virasoro generators.
7.1. Ward’s identity
Let and as before.
Lemma 7.1.
For a non-random local vector field all fields in satisfy local Ward’s identity (5.4) in
Proof.
For simplicity, let us consider the case of holomorphic fields and only. We need to show that if and satisfy the residue form (5.4) of Ward’s identity at the nodes, then so does (The case was covered in [18, Proposition 5.8].) In this case, we have and We need to check that
By Leibniz’s rule, the left-hand side is Since and satisfy the residue form of Ward’s identity, it is equal to
Let us show
Let and be three concentric circles centered at with increasing radii, In the correlations with the string whose nodes are outside of the discs, we have
For the multivalued factor is canceled out by the of and In a similar way, we compute as
Subtracting, we express as
The last integral simplifies to ∎
The next lemma states that within correlations of fields in the residue form of Ward’s identity holds at the marked points ’s where the background charges are placed.
Lemma 7.2.
We have
within correlations of fields in
Proof.
From the relation
and the fact that the meromorphic function has a simple pole at with it follows that
We now claim that
(7.1) |
for any string of fields in Then lemma follows immediately. Note that the second identity
is obvious since is a scalar with respect to .
To prove the claim, let us consider a reference background charge such that
Differentiating the relation (Theorem 5.5) we have
(7.2) |
It follows from Wick’s calculus that
(7.3) |
(Indeed, if one applies Wick’s calculus to the term comes from contraction and the term comes from contraction.) Here we take so that the term in the above makes sense but send to at the end. By Wick’s calculus, we find the non-random factor in the last term as
(7.4) |
Alternatively, the last identity in the above follows from Theorem 5.5:
Combining (7.3) and (7.4), we have
In application to within correlations,
Applying Theorem 5.5 again to each term on the right-hand side, we obtain
Sending to we have
The claim (7.1) now follows from the above equation and (7.2). We now finish the proof of the lemma. ∎
Combining the above two lemmas, we claim that all fields in satisfy Ward’s identity (5.4) in within correlations. Applying the same arguments as in the proof of Lemma 7.1 to this claim, we extend this claim to
Theorem 7.3.
For a non-random local vector field all fields in satisfy local Ward’s identity (5.4) in within correlations.
7.2. Ward equations on the Riemann sphere
In this subsection we express the Virasoro fields in terms of Lie derivative within correlations of fields in
Given a meromorphic vector field with poles we define the Ward functional by
for any tensor product of Fock space fields such that the set of all nodes of does not intersect the set of poles of
Proposition 7.4.
In correlations with any string of fields in the extended OPE family we have
Proof.
Since the sum of all residues of the meromorphic -differential is zero, we have
It follows from Ward’s identity (Theorem 7.3) that
which completes the proof. ∎
Given let us consider the vector fields given by
in the identity chart of Ward’s equations on the Riemann sphere now follow from the previous theorem.
Corollary 7.5.
In the -uniformization, for any tensor product of fields in the extended OPE family we have
(7.5) |
and
(7.6) |
7.3. Ward’s equations in a simply-connected domain
To derive Ward’s equations in and , we modify Ward’s functional to be defined in a simply-connected domain. Ward’s equations in (resp. in ) represent the insertion of the Virasoro fields within correlations of fields in in terms of Lie derivative operators with respect to the chordal (resp. radial) Loewner vector fields.
We first consider the special case that no background charge is placed on the boundary The general case can be treated through a suitable limit procedure. In this special case, is continuous on the boundary. (The continuity on the boundary should be understood in terms of standard boundary charts.) As we mentioned before, we mostly concern ourselves with a symmetric background charge In this case, is real on the boundary. (Again, we understand the real-valuedness on the boundary in terms of standard boundary charts.)
Given a meromorphic vector field in (continuous up to the boundary) with poles ’s (), we define the Ward functional by
where Both integrals are coordinate independent since is a -differential and is a -differential. Their correlations with Fock space functionals are well-defined provided that any node of is not a pole of
Somewhat symbolically, the Ward functional can be represented as
or
where in the last integral should be understood in the sense of distributions. If a background charge is placed on the boundary, then the first integral should be taken in the sense of the Cauchy principal value.
From now on, we only consider the case that is symmetric. Then We now prove Theorem 1.2.
Proof of Theorem 1.2.
We may consider the case that It is enough to show that
in correlations with any string of fields in the extended OPE family
We recall the representation of a stress tensor in terms of Ward’s functionals with the meromorphic vector field
Proposition 7.6 (Proposition 5.11 in [18]).
Let be a holomorphic quadratic differential in and Suppose is continuous and real on the boundary (including ). Then
(7.7) |
Applying the above proposition to in the case that we obtain (7.7) for and Combining the above proposition with Theorem 1.2 and using a limit procedure in the general case that we derive Ward’s equation in
Corollary 7.7 (Ward’s equations in ).
In the -uniformization, for any tensor product of fields in the extended OPE family we have
(7.8) |
Example.
Let be the tensor product of -differentials in If then we have
Given a meromorphic vector field with a local flow on we define its reflected vector field with respect to the unit circle by the vector field of the reflected flow of Indeed, if is the flow of , then is the reflected flow and its vector field is given by the equation Thus we have Using a similar method as in the previous corollary, we obtain the following form of Ward’s equations in the radial case.
Corollary 7.8 (Ward’s equations in ).
In the -uniformization, for any tensor product of fields in the extended OPE family
(7.9) |
Let us emphasize that the above formulas apply to the strings without nodes at The case where is a node is discussed in the following subsection. We use OPE calculus and local operators. Theorem 1.3 now follows from Corollaries 7.7 – 7.8 and the next lemma.
Lemma 7.9.
We have
(7.10) |
in the identity chart of and
(7.11) |
in the identity chart of
7.4. BPZ equations
Recall the definition of Virasoro generators : they are operators acting on fields, i.e.,
(7.12) |
We write in and
(7.13) |
in
Recall the Belavin-Polyakov-Zamolodchikov equations (BPZ equations [7]) in the chordal case with see [18, Proposition 5.13].
Proposition 7.10.
Let and let be the tensor product of ’s. Then
where all fields are evaluated in the identity chart of
Somewhat symbolically, we have
where means e.g., We can neglect the check mark if we come to terms that we never differentiate at the poles of
The previous proposition can be extended to the general background charge, see the next two theorems. We only present the proof of BPZ equations in the radial case. The chordal case can be proved in a similar way.
Theorem 7.11 (BPZ equations in ).
Let and let be the tensor product of ’s. Then
where all fields are evaluated in the identity chart of
Theorem 7.12 (BPZ equations in ).
Let and let be the tensor product of ’s. Then
where all fields are evaluated in the identity chart of and is given by (7.13).
Proof.
Recall Ward’s OPE, (see [18, Proposition 5.3]). It follows immediately that
(7.14) |
Denote By (7.12), we observe that
It follows from (7.14) that
(7.15) |
On the other hand, by Theorem 1.3,
where the first term on the right-hand side is
Combining the last three equations and subtracting all singular terms, we get
where is the regular part of the operator product expansion. Theorem now follows by taking the limit in both sides. For instance, the left-hand side converges to ∎
7.5. Null vectors
After we briefly review the level two degeneracy equations for current primary fields, we apply these equations and the BPZ equations to the (tensor/OPE) products of the one-leg operators and the fields in the extended OPE family.
We denote by and the current generators and the Virasoro generators, the modes of and in theory, respectively:
As operators acting on fields in we have the following equations:
and
where is the central charge,
By definition, is (Virasoro) primary if is a -differential; equivalently
(7.16) |
and similar equations hold for Here means that for all A (Virasoro) primary field is called current primary with charges and if and
Let us recall the characterization of level two degenerate current primary fields.
Proposition 7.13 (Proposition 11.2 in [18]).
Let be a current primary field in and let be charges of If then
If the parameters and are related to the SLE parameter as
then and the formal fields satisfy
(7.17) |
(in all charts). Since are formal fields, we need to assume the neutrality condition on for some product of formal fields. For example, the one-leg operator (both in the chordal case and in the radial one) satisfy the level two degeneracy equation. As mentioned before, we will use this level two degeneracy equation for to establish the connection between the chordal/radial SLE theory and conformal field theory.
• Standard chordal case with . Recall the BPZ equations in
which we apply to the field in where has no node at In all applications is holomorphic, so we have
(7.18) |
If is also holomorphic (in particular, in the “boundary” situation), then (7.18) becomes
Let us discuss both sides in the equation (7.18).
We study the cases that is the null vector
Of course, is a formal field, so we need to assume the neutrality condition in Recall that the conformal dimensions of respectively at are
(7.19) |
Recall the level two degeneracy equation (7.17) for the formal field . In the boundary case we have
(7.20) |
in the -uniformization because and is holomorphic.
In the case that with we have
where
• Standard radial case with . We apply the BPZ equation to the tensor product of fields in with holomorphic
(7.21) |
Let us discuss both sides in the equation (7.21).
We consider the -uniformization. For we have
(7.22) |
where is given by (7.19). In particular, for
In the case of the corresponding differential operator is
where and is given by (7.19).
By Lemma 7.9, the right hand-side becomes
8. Connection to the theory of forward chordal/radial SLE with forces and spins
In Subsections 8.1 – 8.2 we define the one-leg operators for chordal/radial SLEs with forces and spins as the OPE exponentials with specific background charge at the marked points. The insertion of a one-leg operator changes the boundary values of Fock space fields. As the PDEs for correlation functions of the fields in the extended OPE family the BPZ-Cardy equations for such insertion operations are used to prove the connection (Theorem 1.5) between the theory and the chordal/radial theory. A dipolar theory studied in [19] is the special of this theory since it is well known ([33, 37]) that dipolar with two force points is equivalent to chordal with In Subsection 8.6 we present field theoretic approach to chordal restriction martingale-observable introduced in [13, Lemma 4].
8.1. One-leg operators for chordal SLEs with forces and spins
Let be a simply-connected domain with two distinct marked boundary points and be a symmetric background charge on with
satisfying the neutrality condition
Here the parameters and are related to the SLE parameter as
Let For any divisor we denote and
• Insertions. The insertion of the one-leg operator
produces an operator acting on Fock space functionals/fields by the rules (5.20) and the formula
where is a conformal map.
We denote
where is the effective one-leg operator
Theorem 1.1 says that
for any string of fields in We define the partition function associated with a symmetric background charge by
In the -uniformization, is non-negative (up to a phase), see Example (b) in Subsection 2.5 and thus we have
• BPZ equations. Let and Let be the tensor product of fields in It follows from Theorem 7.11 that
(8.1) |
in the -uniformization. Here is the operator of differentiation with respect to the real variable and is taken over the finite notes of and In particular, the partition function satisfies the null vector equation
(8.2) |
in the -uniformization since up to a phase in the -uniformization. Here is taken over
• BPZ-Cardy equations. For and a tensor product of fields in , we denote
The following is the first half of Theorem 1.4.
Proposition 8.1 (BPZ-Cardy equations in ).
In the identity chart of we have
(8.3) |
where and is taken over the finite notes of and
Proof.
By differentiation,
On the other hand, it follows from the BPZ equations (8.1) that the left-hand side of the above becomes By Leibniz’s rule for Lie derivatives, we have
Combining all of the above, we find
We remark that the coefficient of vanishes since the partition function satisfies the null vector equation (8.2). ∎
8.2. One-leg operators for radial SLEs with forces and spins
Let be a simply-connected domain with a marked boundary point and a marked interior point As in the previous subsection, we consider a symmetric background charge on with
satisfying the neutrality condition
Let We introduce the one-leg operator with spin as
where is a symmetric background charge.
• Insertions. As in the chordal theory, the insertion of the one-leg operator produces an operator acting on Fock space functionals/fields by the rules (5.20) and the formula
We denote
where is the effective one-leg operator with spin : Then we have
Examples.
We consider the case
Let
(a) The bosonic is a pre-pre-Schwarzian form of order
where is a conformal map;
(b) The current is a pre-Schwarzian form of order
(c) The Virasoro field is a Schwarzian form of order
where and
Let be a tensor product of fields in the extended family We assume that is not a node of Denote
where The following is the second half of Theorem 1.4.
Proposition 8.2 (BPZ-Cardy equations in ).
In the -uniformization we have
where the Lie derivative is taken over the finite notes of and
Proof.
Let Applying the BPZ equation in to we have
where is the differential operator in Subsection 7.13:
In particular, satisfies the null vector equation
(8.4) |
By differentiation,
It follows from Leibniz rule for Lie derivative that
Combining all of the above, we have
(8.5) |
in the -uniformization. Note that the coefficient of vanishes since satisfies the null vector equation (8.4).
8.3. Martingale-observables for chordal/radial SLE with forces and spins
We now prove Theorem 1.5.
Proof of Theorem 1.5.
We first consider the chordal case. Let be the chordal map driven by the real process
Then we have
It follows from Itô’s formula that
where
At each time satisfy the differential equations
As
In terms of the time-dependent flows is rewritten as
The last equality follows from the fact any fields in depend smoothly on local charts. Thus the drift term of simplifies to
It vanishes by the BPZ-Cardy equations (Proposition 8.1).
Next, we consider the radial case. For denote
Then the process is represented by
where is the radial map driven by the real process
Using a similar argument in the chordal case, we find the drift term of as
By the BPZ-Cardy equations (Proposition 8.2) in the radial case, is driftless. ∎
8.4. Examples of radial SLE martingale-observables
In this subsection we present examples of radial SLE martingale-observables including Schramm-Sheffield’s observables, Friedrich-Werner’s formula, and the restriction formula in the standard radial case with the following background charge :
(8.6) |
Example (Schramm-Sheffield’s observables).
In the standard chordal case with
the 1-point functions of the bosonic fields
were introduced as SLE martingale-observables by Schramm and Sheffield, see [32]. Similarly, the 1-point functions (with standard radial background charge in (8.6)) of the bosonic fields are martingale-observables of radial SLEs:
where is a conformal map. By Itô’s calculus, we have
One can use the -point martingale-observables
or Hadamard’s variation formula
(8.7) |
to construct a coupling of radial SLE and the Gaussian free field such that
see [14].
Let us recall the restriction property of radial (see [21, Section 6.5]):
-
•
the law of in conditioned to avoid a fixed hull is identical to the law of in
-
•
equivalently, there exist and such that for all
where is the conformal map satisfying (The restriction exponents and of radial are equal to and respectively.)
Let On the event a conformal map is defined by
where is a Loewner map from onto and Let be the effective one-leg operator, i.e., and
Then
where exponents are given by
Restriction property of radial follows from the local martingale property of (by optional stopping theorem). This is a special case of the following formula:
(8.8) |
In Subsection 8.6 we use the CFT argument to prove (8.8) for radial
We now prove Friedrich-Werner’s formula in the radial case.
Theorem 8.3.
Let all distinct. Then we have
where and
Proof.
Let We apply Ward’s equations to the function
by replacing on the right-hand side with the corresponding Ward’s functional. Denote and
The non-random field is a boundary differential of conformal dimension with respect to and of conformal dimension with respect to It is also a differential of conformal dimension with respect to It follows from Ward’s equation for that
(8.9) |
where
Let
(if the limit exists). Define the non-random field as follows:
-
•
is a boundary differential of conformal dimension with respect to and of conformal dimension with respect to
-
•
is a differential of conformal dimension with respect to
-
•
We now claim that if the limit exists then the limit exists and
(8.10) |
By (8.9) and (8.10), and satisfy the same recursive equation (see the remark at the end of this subsection) and are therefore equal since for Thus
To verify the induction argument for existence of the limit and show (8.10), denote We write for the probability that radial path hits all segments and for the same probability conditioned on the event that the path avoids By the induction hypothesis,
(8.11) |
where On the other hand, by the restriction property of radial we have
(8.12) |
and
(8.13) |
where is a slit map from onto with . It follows from (8.11) – (8.13) and that
up to terms. Thus the limit exists. Since we have (8.10):
∎
8.5. 1-point vertex observables
In this subsection we discuss some basic examples of 1-point vertex observables, including Lawler-Schramm-Werner’s derivative exponents of radial SLEs on the boundary. Let
Then by (6.2) we have
where the exponents are and the dimensions are
The last formulas come from
• Constant fields. The simplest examples of 1-point vertex fields are constant fields, i.e., vertex fields with By the neutrality condition, Since
This is a martingale.
• Real fields. The 1-point vertex fields are real if and only if and By the neutrality condition, Thus the only real fields are
When there is no covariance at In this special case,
Example.
If then coincides with the Lawler-Schramm-Werner observable
where is the Poisson kernel of a domain As mentioned in Subsection 1.2, this 1-point field is an important observable in the theory of LERW.
Example.
If then
is Beffara’s type observable for radial see [3]. In the chordal case, Beffara’s observables are real martingale-observables of conformal dimensions
with the estimate
where is the probability that the curve () hits the disc at of size measured in a local chart See [6]. In [3], Feynman-Kac formula is used to construct radial SLE martingale-observables with the desired dimensions.
• 1-point vertex fields without covariance at . A 1-point vertex field has no covariance at if and only if
The first case is just the non-chiral vertex field
When the 1-point vertex observable
is holomorphic. Recall the expression for the exponents and the dimensions
• Holomorphic 1-point fields without spin at . A holomorphic 1-point field has no spin at if and only if Equivalently,
Case 1. By the neutrality condition, we have
The holomorphic 1-point field is a generalization of the one-leg operator In this case, its conformal dimensions are
Thus
Example (Derivative exponents on the boundary [24]).
On the unit circle, (up to constant)
where Given the equation is solved by
With the choice of Lawler, Schramm, and Werner proved that is a martingale. They applied the optional stopping theorem to and used the estimate
to derive the derivative exponents:
(Recall that is the first time when a point is swallowed by the hull of SLE, see Subsection 1.2.) From the derivative exponent for they obtained the annulus crossing exponent for and combined it with other exponents to prove Mandelbrot’s conjecture that the Hausdorff dimension of the planar Brownian frontier is . See [23] and references therein.
Example.
The field is a scalar if In this case,
Its derivative has the conformal dimensions It is not a vertex observable. If with then or As we will see below, the holomorphic 1-differentials without spin at are not forms of Unlike the chordal case (see [18, Proposition 15.2]), the holomorphic differential observables are not necessarily vertex observables.
Example.
If we take so that (there are only two values of such that namely ), then
and
In this case, we have
If then
and its anti-derivative is See the next example.
Case 2. Let It follows from the neutrality condition that
Thus we have
Example.
The fields have no covariance at if and only if or In these cases, we have
and
For example, if then
and if then both and produce the same observable
• Holomorphic differentials without spin at . Let A holomorphic 1-point field is a 1-differential with respect to if and only if or Furthermore, if has no spin at then (If or then the other possibility never happens because of the neutrality condition.)
Case 1. By the neutrality condition, we have
and
Example.
If then
and its anti-derivative is See the previous example.
Example.
If then and its anti-derivative is
Its imaginary part is a bosonic observable for a twisted conformal field theory.
Case 2. By the neutrality condition, we have
and
8.6. Restriction formulas
Let We first consider the chordal with
Fix a hull Let be the chordal map with the hull On the event a conformal map is defined by
where is a Loewner map from onto and is the conformal map satisfying Let
where
and is the effective one-leg operator. Then the process is expressed in terms of and as
(8.14) |
We now present the conformal field theoretic proof for the restriction formula ([13]) of chordal
(8.15) |
Let
Recall that the driving process satisfies
It follows from Itô’s formula that the drift term of equals
evaluated at We rewrite the drift term of in terms of and
Here we use
By Ward’s equations we have
It follows from conformal invariance that
Sending to
where does not apply to By the level two degeneracy equation for with respect to ,
It follows from Ward’s equation that
The formula for Lie derivatives of differentials gives
Combining all of the above, we have
We now present a conformal field theoretic proof for the restriction formula of radial For this purpose, we let
and consider the effective one-leg operator
Fix a hull such that does not intersect Let be the radial map with the hull On the event a conformal map is defined by
where is a radial Loewner map from onto and is the conformal map satisfying Let
(8.16) |
where satisfies and
We now represent in terms of the effective one-leg operator:
where and
Theorem 8.4.
We have
(8.17) |
Proof.
Recall that
It follows from Itô’s formula that
evaluated at The drift term of is
We rewrite the drift term of in terms of and
(8.18) |
evaluated at
Using the similar method in [18, Section 14.5], we represent in terms of the Lie derivatives:
(8.19) | ||||
where and
We only need to compute the vector field We represent as the difference of two Loewner vector fields associated with the flows in the domains and Applying the chain rule to and computing the capacity changes, we have
where By the above equation and
(8.20) |
It follows from (8.19) and (8.20) that
By Ward’s equation,
It follows from conformal invariance that
Sending to and applying (7.15) (and , see (7.16)),
where By (8.18) and the level two degeneracy equation, the drift of simplifies to
It follows from the null vector equation that
Thus we find the drift term of as
evaluated at Since
we have (8.17). ∎
9. Conformal field theory with Neumann boundary condition
In this section we briefly implement a version of conformal field theory from background charge modifications of the Gaussian field with Neumann boundary condition. In the last subsection we present the connection of this theory to the theory of the backward SLEs.
9.1. Gaussian free field with Neumann boundary condition
The Gaussian free field in a planar domain with Neumann boundary condition is an isometry from the Neumann energy space such that the image consists of centered Gaussian random variables. Here is a probability space and is the completion of smooth functions up to the boundary with mean zero (or the neutrality condition ), compact supports in and Neumann boundary condition (where is normal to ) with respect to the norm
where is the normalized area measure and is the Neumann Green’s function for In the upper half-plane, we have
As in the Dirichlet case, can be constructed from the Gaussian free field on its Schottky double The Neumann energy space can be embedded isometrically into in a natural way. For example, for in the energy space
where in the upper half-plane and in the lower half-plane ( ). For example, a test function in with mean zero and Neumann boundary condition extends smoothly to such that
As a Fock space space, the Gaussian free field in can be constructed from the Gaussian free field
This field is formal and thus we need to require the neutrality condition on For example, is a 2-variant well-defined Fock space field. The formal field has the formal correlation:
From the Schottky double construction, the current field in with Dirichlet boundary condition and the current field are related as follows. For example,
On the other hand, the current field with Neumann boundary condition is related to as
In a similar way, stress tensors are related as
and
It is easy to check that is a stress tensor for Indeed, as we have the following Ward’s OPE for
in the identity chart of Here we use
in
Formal fields with Neumann boundary condition are defined by
For example, we have
(9.1) |
and
in As in the Dirichlet case, 2-variant fields are well-defined multivalued Fock space fields.
9.2. Modifications and OPE exponentials
We first define background charge modifications of the chiral bosonic fields with Neumann boundary condition. Given double background charges with the neutrality conditions in we define the formal fields () by
where is a form () and is a form such that
(9.2) | ||||
in the -uniformization. Furthermore, is a form. For two divisors satisfying the neutrality condition we define
where Compare this definition to the definition of in the Dirichlet case:
where satisfies the neutrality condition We now explain why the signs of appear differently. The choices of signs are consistent with the representation of when the nodes are on the boundary. For we have and thus the formal field can be represented either by or by On the other hand, the formal field is represented by The relation for is obvious:
in the -uniformization.
A stress tensor for is given by
As in Ward’s OPE for holds:
In the symmetric case the Virasoro field
gives rise to the Virasoro pair The central charge in this theory is given by
If the parameter is related to the SLE parameter as
(9.3) |
then
Modified multi-vertex fields or OPE exponentials are defined by
We denote by the OPE family of
Theorem 9.1.
Given two double background charges with the neutrality conditions is the image of under the insertion of
Proof.
Example.
Given a marked boundary point we consider a conformal map For and
The function does not depend on the choice of
9.3. One-leg operators
We consider a simply-connected domain with two marked points in the chordal case, and in the radial case. For a symmetric background charge on with and the neutrality condition the one-leg operator in the chordal case (the radial case, respectively) is defined by
where in the chordal case (and in the radial case, respectively). The insertion of is an operator
on Fock space functionals/fields by the rules (5.20) and the formula in the chordal case
where is a conformal map. In the radial case, the corresponding formula is given by
where is a conformal map.
We now show the level two degeneracy equations for if the parameters and satisfy We remark that and in (9.3) have such a relation.
Proposition 9.2.
Provided that we have
(9.4) |
Proof.
Let In terms of the action of Virasoro generators and current generators, the one-leg operators are Virasoro primary holomorphic fields of conformal dimension and current primary with charge This implies the level two degeneracy equation (9.4) for the one-leg operator provided that
We here present an alternate but direct proof using Wick’s calculus. For simplicity, we consider the standard chordal case only. It is left to the reader as an exercise to prove (9.4) for general background charges. Since the difference is a differential, it suffices to show (9.4) in In the -uniformization we have
Let us first compute
Indeed, as we have
where terms and come from 1 and 2 contractions, respectively. It follows from that
Thus its contribution to is On the other hand, we have
It has no contribution to To compute we need to compute We have
This implies that and
Differentiating we have
Now (9.4) follows provided that ∎
9.4. Ward’s equations and BPZ-Cardy equations
We define the puncture operators by As in the Dirichlet case, Ward’s equations hold for the extended OPE family of Since its proof is similar to the Dirichlet case, we leave it to the reader as an exercise.
Theorem 9.3 (Ward’s equations).
Let and let be the tensor product of ’s. Then
where all fields are evaluated in the identity chart of and
where all fields are evaluated in the identity chart of
For a symmetric background charge with the neutrality condition and a specific charge at a marked boundary point we define the backward SLE partition function by
and the effective one-leg operators by Denote
(9.5) |
Let and Let be the tensor product of fields in Combining Proposition 9.2 with Theorem 9.3, we obtain the BPZ equations:
(9.6) |
in the -uniformization. In particular, the partition function satisfies the null vector equation
(9.7) |
in the -uniformization. Here is the operator of differentiation with respect to the real variable and and is taken over the finite notes of and We obtain the following form of BPZ-Cardy equations in the chordal case. The radial case can be derived in a similar way.
Theorem 9.4 (BPZ-Cardy equations).
Suppose that the parameters and satisfy
If with then we have
(9.8) |
in the identity chart of In the -uniformization we have
(9.9) |
9.5. Connection to backward SLE theory
We now prove Theorem 1.6 and present Sheffield’s observables. By definition, the backward radial (see (1.11) for the chordal case) map from satisfies the equation
(9.10) |
driven by the real process
where the partition function is given by
Proof of Theorem 1.6.
We first consider the chordal case. For denote
We want to show that
is a local martingale on backward chordal SLE probability space. By Itô’s formula, we compute as follows:
Using the same argument in the proof of Theorem 1.5, the last term can be rewritten as
Thus we find the drift term of as
employing the BPZ-Cardy equations (9.8).
Next, we consider the radial case. For denote
As in the chordal case, the process
is a local martingale by Itô’s formula and the BPZ-Cardy equations (9.9). Indeed, we find the drift term of as
∎
Example (Sheffield’s observables).
In the standard chordal case with the 1-point functions of the bosonic fields
were introduced as backward SLE martingale-observables in [34]. Due to the following special case of Hadamard’s variation formula
(9.11) |
the formal -point functions
are martingale-observables for backward SLE. Sheffield used (9.11) to construct a coupling of backward SLE and the Gaussian free field with Neumann boundary condition, see [34].
Acknowledgements
We would like to thank Tom Alberts, and Sung-Soo Byun for careful reading and much-appreciated help improving this manuscript.
References
- [1] Tom Alberts, Nam-Gyu Kang, and Nikolai G. Makarov. Conformal field theory for multiple SLEs. in preparation.
- [2] Tom Alberts, Nam-Gyu Kang, and Nikolai G. Makarov. Pole dynamics and an integral of motion for multiple SLE(0). 2020. arXiv:2011.05714.
- [3] Tom Alberts, Michael J. Kozdron, and Gregory F. Lawler. The Green function for the radial Schramm-Loewner evolution. J. Phys. A, 45(49):494015, 17, 2012.
- [4] Michel Bauer and Denis Bernard. Conformal field theories of stochastic Loewner evolutions. Comm. Math. Phys., 239(3):493–521, 2003. arXiv:hep-th/0210015.
- [5] Michel Bauer and Denis Bernard. CFTs of SLEs: the radial case. Phys. Lett. B, 583(3-4):324–330, 2004.
- [6] Vincent Beffara. The dimension of the SLE curves. Ann. Probab., 36(4):1421–1452, 2008.
- [7] A. A. Belavin, A. M. Polyakov, and A. B. Zamolodchikov. Infinite conformal symmetry in two-dimensional quantum field theory. Nuclear Phys. B, 241(2):333–380, 1984.
- [8] Sung-Soo Byun, Nam-Gyu Kang, and Hee-Joon Tak. Conformal field theory for annulus SLE: partition functions and martingale-observables. 2018. arXiv:1806.03638v2.
- [9] John Cardy. Calogero-Sutherland model and bulk-boundary correlations in conformal field theory. Phys. Lett. B, 582(1-2):121–126, 2004.
- [10] John Cardy. SLE(kappa,rho) and Conformal Field Theory. 2004. arXiv:math-ph/0412033.
- [11] Philippe Di Francesco, Pierre Mathieu, and David Sénéchal. Conformal field theory. Graduate Texts in Contemporary Physics. Springer-Verlag, New York, 1997.
- [12] B. Doyon and J. Cardy. Calogero-Sutherland eigenfunctions with mixed boundary conditions and conformal field theory correlators. J. Phys. A, 40(10):2509–2540, 2007.
- [13] Julien Dubédat. martingales and duality. Ann. Probab., 33(1):223–243, 2005.
- [14] Julien Dubédat. SLE and the free field: partition functions and couplings. J. Amer. Math. Soc., 22(4):995–1054, 2009.
- [15] Roland Friedrich and Wendelin Werner. Conformal restriction, highest-weight representations and SLE. Comm. Math. Phys., 243(1):105–122, 2003.
- [16] V. G. Kac and A. K. Raina. Bombay lectures on highest weight representations of infinite-dimensional Lie algebras, volume 2 of Advanced Series in Mathematical Physics. World Scientific Publishing Co. Inc., Teaneck, NJ, 1987.
- [17] Nam-Gyu Kang and Nikolai G. Makarov. Calculus of conformal fields on a compact Riemann surface. arXiv:1708.07361.
- [18] Nam-Gyu Kang and Nikolai G. Makarov. Gaussian free field and conformal field theory. Astérisque, (353):viii+136, 2013.
- [19] Nam-Gyu Kang and Hee-Joon Tak. Conformal field theory of dipolar SLE with the Dirichlet boundary condition. Anal. Math. Phys., 3(4):333–373, 2013.
- [20] Kalle Kytölä. On conformal field theory of . J. Stat. Phys., 123(6):1169–1181, 2006.
- [21] Gregory F. Lawler. Conformally invariant processes in the plane, volume 114 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2005.
- [22] Gregory F. Lawler. Partition functions, loop measure, and versions of SLE. J. Stat. Phys., 134(5-6):813–837, 2009.
- [23] Gregory F. Lawler, Oded Schramm, and Wendelin Werner. The dimension of the planar Brownian frontier is . Math. Res. Lett., 8(4):401–411, 2001.
- [24] Gregory F. Lawler, Oded Schramm, and Wendelin Werner. Values of Brownian intersection exponents. II. Plane exponents. Acta Math., 187(2):275–308, 2001.
- [25] Gregory F. Lawler, Oded Schramm, and Wendelin Werner. Conformal invariance of planar loop-erased random walks and uniform spanning trees. Ann. Probab., 32(1B):939–995, 2004.
- [26] Jason Miller and Scott Sheffield. Imaginary geometry I: interacting SLEs. Probab. Theory Related Fields, 164(3-4):553–705, 2016.
- [27] Jason Miller and Scott Sheffield. Imaginary geometry IV: interior rays, whole-plane reversibility, and space-filling trees. Probab. Theory Related Fields, 169(3-4):729–869, 2017.
- [28] Eveliina Peltola and Yilin Wang. Large deviations of multichordal SLE0+, real rational functions, and zeta-regularized determinants of Laplacians. arXiv:2006.08574, to appear in J. Eur. Math. Soc.
- [29] I. Rushkin, E. Bettelheim, I. A. Gruzberg, and P. Wiegmann. Critical curves in conformally invariant statistical systems. J. Phys. A, 40(9):2165–2195, 2007.
- [30] Oded Schramm. Scaling limits of loop-erased random walks and uniform spanning trees. Israel J. Math., 118:221–288, 2000.
- [31] Oded Schramm and Scott Sheffield. Contour lines of the two-dimensional discrete Gaussian free field. Acta Math., 202(1):21–137, 2009.
- [32] Oded Schramm and Scott Sheffield. A contour line of the continuum Gaussian free field. Probab. Theory Related Fields, 157(1-2):47–80, 2013.
- [33] Oded Schramm and David B. Wilson. SLE coordinate changes. New York J. Math., 11:659–669 (electronic), 2005.
- [34] Scott Sheffield. Conformal weldings of random surfaces: SLE and the quantum gravity zipper. Ann. Probab., 44(5):3474–3545, 2016.
- [35] Stanislav Smirnov. Critical percolation in the plane: conformal invariance, Cardy’s formula, scaling limits. C. R. Acad. Sci. Paris Sér. I Math., 333(3):239–244, 2001.
- [36] Stanislav Smirnov. Conformal invariance in random cluster models. I. Holomorphic fermions in the Ising model. Ann. of Math. (2), 172(2):1435–1467, 2010.
- [37] Dapeng Zhan. Duality of chordal SLE. Invent. Math., 174(2):309–353, 2008.