I couldn’t resist breaking the order of my revision notes in order that the title might be self-referential. Anyway, it’s the night before my exam on Conformal Invariance and Randomness, and I’m practising writing this in case of an essay question about the Gaussian Free Field and its relation to the SLE objects discussed in the course.
What is a Gaussian Free Field?
The most natural definition is too technical for this context. Instead, recall that we could very informally consider a Poisson random measure to have the form of a series of Poisson random variables placed at each point in the domain, weighted infinitissimely so that the integrals over an area give a Poisson random variable with mean proportional to the measure of the area, and so that different areas are independent. Here we do a similar thing only for infinitesimal centred Gaussians. We have to specify the covariance structure.
We define the Green’s function on a domain D, which has a resonance with PDE theory, by:
We want the covariance structure of the hypothetical infinitesimal Gaussians to be given by . So formally, we define for open A, by a centred Gaussian RV with covariance .
The good news is that we have a nice expression , and the Green’s functions are conformally invariant in the sense that , following directly for conformality of Brownian Motion.
The bad news is that the existence is not clear. The motivation for this is the following though. We have a so-called excursion measure for BMs in a domain D. There isn’t time to discuss this now: it is infinite, and invariant under translations of the boundary (assuming the boundary is , which is fine after taking a conformal map). Then take a Poisson Point Process on the set of Brownian excursions with this measure. Now define a function f on the boundary of the domain dD, and define to be the sum of the values of f at the starting point of BMs in the PPP passing through A, weighted by the time spent in A. We have a universality relation given by the central limit theorem: if we define h to be (in a point limit) the expected value of this variable, and we take n independent copies, we have:
where this limiting random variable is Gaussian.
For now though, we assume existence without full proof.
We consider chordal SLE_k, which has the form of a curve from 0 to in H. The g_t the regularising function as normal, consider for some fixed x. We are interested in the evolution of the function arg x. Note that conditional on the (almost sure for K<=4) event that x does not lie on the curve, arg x will converge either to 0 or pi almost surely, depending on whether the curve passes to the left or the right (respectively) of x.
By Loewner’s DE for the upper half-plane and Ito’s formula:
So, when K=4, the dt terms vanish, which gives that log X is a local martingale, and so
is a true martingale since it is bounded. Note that
Note that also:
SLE_4 and the Gaussian Free Field on H
We will show that this chordal SLE_4 induces a conformal Markov type of property in Gaussian Free Fields constructed on the slit-domain. Precisely, we will show that if is a GFF on , then , where c is a constant to be determined, and in keeping with the lecturer’s notation!
It will suffice to check that for all fixed p with compact support is a centred Gaussian with variance .
First, applying Ito and conformal invariance of the Green’s functions under the maps g_t,
The details are not particularly illuminating, but exploit the fact that Green’s function on H has a reasonable nice form . We are also being extremely lax with constants, but we have plenty of freedom there.
After applying Ito and some (for now unjustified) Fubini:
and so as we would have suspected (since h(x) was), this is a local martingale. We now deploy Dubins-Schwarz:
for B an independent BM and
So conditional on , we want to make up the difference to . Add to an independent random variable distribution as , where
Why is this important?
This is important, or at least interesting, because we can use it to reverse engineer the SLE. Informally, we let in the previous result. This states that taking a GFF in the domain left by removing the whole of the SLE curve (whatever that means) then adding at points on the left of the curve, which is the limit is the same as a normal GFF on the upper half plane added to the argument function. It is reasonable to conjecture that a GFF in a non-connected domain has the same structure as taking independent GFFs in each component, and this gives an interesting invariance condition on GFFs. It can also be observed (Schramm-Sheffield) that SLE_4 arises by reversing the argument – take an appropriate conditioned GFF on H and look for the interface between it being ‘large’ and ‘small’ (Obviously this is a ludicrous simplification). This interface is then, under a suitable limit, SLE_4.