For parameter four, the SLE4 angle martingale is bounded, so the Continuous-time martingale convergence theorem gives an almost sure limit. The imaginary part of the Chordal Loewner equation gives
For a point off the full simple Loewner trace the flow exists at every finite time. If the limiting angle lay strictly between and , the last derivative would eventually be bounded above by a strictly negative constant. That would make negative, a contradiction. Hence the terminal angle is either zero or .
The simple transient chordal Loewner trace from to infinity splits the complex upper half-plane into a left component , adjacent to the negative real boundary, and a right component , adjacent to the positive real boundary. The Dirichlet boundary values of the SLE angle process identify which terminal value occurs. Indeed, run an independent planar Brownian motion from until it first hits the full Loewner trace or the real axis. This time is finite. The Brownian path up to that time is bounded, and Transience of chordal SLE ensures that any Loewner trace point it meets belongs to a finite initial segment. Thus its exit side for the truncated domains eventually agrees with its exit side for the full component. In every such exit is through the left bank or negative real boundary; in every exit is through the right bank or positive real boundary. Dominated convergence in the harmonic-measure representation therefore gives
This is a random side indicator, not the deterministic value . Uniform integrability also gives , so the SLE4 left-passage probability is
Use the Chordal Loewner equation with . For a fixed , let be its Loewner swallowing time, and write and before that time. The Loewner conformal radius is , half of the conformal radius of at . The Koebe quarter theorem bounds the conformal radius above by four times the distance to the boundary. For the reverse comparison, if maps zero to , apply the Schwarz lemma to on the unit disc, where ; it gives . Thus
We use the basic trace theorems that, for , the Loewner trace is continuous and Transience of chordal SLE gives . These facts make its image relatively closed in ; they do not assume the space-filling conclusion. The continuity and transience statements are available in Rohde and Schramm's basic trace theorems.
Take in the supplied SLE interior-point martingale. The derivative exponent vanishes, leaving
A nonnegative local martingale is a supermartingale. Applying the optional stopping theorem after localization at its first hit of a level gives the maximal inequality for a nonnegative supermartingale
Thus almost surely.
Suppose the Loewner trace avoids some open ball whose closure is inside . Before , the whole open ball is in : a connected open ball disjoint from the trace cannot be partly in the unbounded connected component. Hence . The bound on forces throughout this interval, for a positive random constant .
The Chordal Loewner equation and its derivative yield
The first identity forces , since otherwise becomes negative. At a finite maximal lifetime, ; otherwise the continuous Loewner driving function and the ordinary differential equation continue past that time. Integrating the last identity, using , gives
contradicting . Thus every fixed rational ball inside is hit almost surely. A countable intersection makes the trace a dense subset almost surely, and its relatively closed image, established by continuity and transience, then contains all of :
This proves space-filling SLE above parameter eight. It rules out unvisited open regions, rather than inferring visits merely from membership in the filled compact H-hulls. The choice does not address the critical value eight.
The Scaling invariance of SLE says that has the same law as . Therefore its first time reaching height one is , and
for every .
To identify , it suffices to look at small heights. The trace must have a point of positive imaginary part: otherwise it lies entirely on the real axis and its hull in is empty, contradicting . By continuity from , any positive height attained by the trace forces it to pass through every smaller positive height.
Consequently the increasing union of events has probability one. Each event has probability , so continuity of probability gives . This proves that SLE reaches every positive height:
Equivalently, a positive random height supremum whose law is invariant under every dilation must be infinite almost surely. This argument uses neither Transience of chordal SLE nor any assertion about where the trace goes as time tends to infinity.
Fix . Part i, with arbitrarily small and sufficiently large, shows that
The hulls increase with time. Once this half-disc lies in , the stated future-avoidance property gives
Intersecting these probability-one events over positive integer proves
almost surely. This is Transience of chordal SLE.
For a chordal SLE trace , the Scaling invariance of SLE makes independent of . The trace must enter the upper half-plane because its positive-time hull has positive half-plane capacity. Letting therefore makes this probability one, and continuity implies that every positive height is reached. This argument does not assume Transience of chordal SLE.
For , the Loewner trace visits every point of the complex upper half-plane almost surely. Choose in the SLE interior-point martingale to obtain . The maximal inequality for a nonnegative supermartingale bounds its running supremum. If a fixed interior ball were avoided, its center would have before swallowing, forcing . But the Chordal Loewner equation gives , forcing a finite lifetime with , and then forces , a contradiction. Countably many rational balls give a dense trace; continuity and Transience of chordal SLE make its image relatively closed, so it is all of the complex upper half-plane. This argument does not cover the critical parameter eight.