Locality

Date: 2015-10-07; view: 337.

(This subsection and the next are more technical and may be omitted at a first reading). We have defined SLE in terms of curves which connect the origin and infinity in the upper half plane. Property 3.2 then allows us to define it for any pair of boundary points in any simply connected domain, by a conformal mapping. It is interesting to study how the variation of the domain affects the SLE equation. Let A be a simply connected region connected to the real axis which is at some finite distance from the origin (see Fig. 7). Consider a trace γ_t, with hull K_t, which grows from the origin according to SLE in the domain H A. According to Property 3.2, we can do this by first making a conformal mapping h₀ which removes A, and then a map which removes the image . This would be described by SLE in h₀ (H A), except that the Loewner ‘time' would not in general be the same as t. However, another way to think about this is to first use a SLE map g_t in H to remove K_t, then another map, call it h_t, to remove g_t (A). Since both these procedures end up removing K_t A, and all the maps are assumed to be normalised at infinity in the standard way (15), they must be identical, that is (see Fig. 7). If g_t maps the growing tip τ_t to a_t, then after both mappings it goes to ã_t = h_t (a_t). We would like to understand the law of ã_t.

(2K)

Fig. 7. An SLE hull in H A and two different ways of removing it: either by first removing A through h₀ and then using a Loewner map in the image of H A; or by removing K_t first with g_t and then removing the image of A with h_t. Since all maps are normalised, this diagram commutes.

Rather than working this out in full generality (see for example [12]), let us suppose that A is a short vertical segment (x, x + i ) with x, and that t = dt is infinitesimal. Then, under g_dt, x → x + 2dt/x and → (1 − 2dt/x²). The map that removes this is (see (16))

(22)

To find ã_dt, we need to set in this expression. Carefully expanding this to first order in dt, remembering that (dB_t)² = dt, and also taking the first non-zero contribution in /x, gives after a few lines of algebra

(23)

The factor in front of the stochastic term may be removed by rescaling dt: this restores the correct Loewner time. But there is also a drift term, corresponding to the effect of A. For κ < 6 we see that the SLE is initially repelled from A. From the point of view of the exploration process for the Ising model discussed in Section 2.1.1, this makes sense: if the spins along the positive real axis and on A are fixed to be up, then the spin just above the origin is more likely to be up than down, and so γ is more likely to turn to the left.

For κ = 6, however, this is no longer the case: the presence of A does not affect the initial behaviour of the curve. This is a particular case of the property of locality when κ = 6, which states that, for any A as defined above, the law of K_t in H A is, up to a time reparametrisation, the same as the law of K_t in H, as long as K_t ∩ A = . That is, up to the time that the curve hits A, it does not know its there. Such a property would be expected for the cluster boundaries of uncorrelated Ising spins on the lattice, i.e., percolation. This is then consistent with the identification of percolation cluster boundaries with SLE₆.