Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-220/4/d/solution

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.

New to topics? Read the docs here!