The Conformal Markov property of SLE states that, conditional on the hull , the image under of the future hull has the same law as the original hull and is independent of the past.
For a Loewner chain with continuous driver , this property says that is independent of the past and has the same distribution as . Thus has stationary increments and independent increments. Every continuous process with those properties is a Brownian motion with drift, so . Conformal scale invariance gives
which forces . Writing yields
The Locality property of SLE says the following. Let be simply connected and agree with in a neighborhood of , and let be conformal with . The image under of an in , stopped when it first leaves , has the law of an in , up to the corresponding stopping time and a change of half-plane-capacity parameterization.
With the notation supplied in the question, and . The Itô formula and give
For , the drift vanishes. The resulting continuous local martingale has quadratic variation
If is the usual half-plane-capacity time, then . The Dambis-Dubins-Schwarz theorem therefore gives
for a standard Brownian motion . The mapped hulls are consequently an , which proves locality.
Explore the two stopped curves in the opposite order. Begin with an from to , stopped on leaving , and then, in its unbounded complementary component, draw an from to , stopped on leaving . Before their respective stopping times, each curve is separated from the neighborhood in which the other hull changes the domain. The Locality property of SLE therefore says that mapping out the other stopped hull does not change either stopped marginal law.
The two exploration orders consequently define the same joint law for the pair of stopped hulls. Disintegrating this joint law with respect to the second curve shows that, conditional on , the first curve is an in the unbounded component of
from to , stopped when it leaves , as required.
Choose a Möbius transformation of that fixes and exchanges with . By Conformal invariance of SLE, it transforms an from to into one from to . Until is disconnected from infinity, the discrepancy between the two target domains lies beyond the component visible from the growing tip. The Locality property of SLE therefore makes the two initial curve laws identical up to that disconnection time. Hence an from to , stopped at , has the law of an from to stopped when it disconnects from infinity.

Articles by others on the same topic (0)

There are currently no matching articles.