 Solution

Use $U_t=2W_t$ and write $Z_t=X_t+i{Y}_t$ up to its interior-point swallowing time for a Loewner chain $T_z$. The Chordal Loewner equation givesThe branch of the complex logarithm with argument in $(0,\pi )$ is well-defined while $t<T_z$. The Itô formula yields the crucial cancellationThe $2/Z_t^2$ drift is cancelled by the quadratic variation term, because $\kappa =4$. Thus both $L_t=\log |Z_t|$ and ${\theta }_t=\arg Z_t$ are continuous local martingales, withThis is the logarithmic martingale for SLE4.

We justify absence of a finite swallowing time rather than presuming that the logarithm survives forever. On a finite horizon $H$, $0<Y_t\le \mathrm{Im}z$. Also $|X_t|$ is bounded pathwise before $T_z\wedge H$. Indeed, while $|X_t|\ge 1$ its drift $2X_t/|Z_t{|}^2$ has absolute value at most $2$; on each excursion outside $[-1,1]$, integrate from its starting point and bound the Brownian oscillation on $[0,H]$. For example,Therefore $L_t$ is bounded above pathwise on this interval.

Suppose $T_z\le H$. By the Dambis-Dubins-Schwarz theorem, $L$ is a Brownian motion run at its own quadratic variation. If that clock diverged as $t\uparrow T_z$, Brownian oscillation would make $L$ unbounded above, contradicting the preceding bound. The one-sided bound criterion for a martingale clock therefore gives a finite clock limit and a finite real limit for $L_t$. Hence $|Z_t|$ is bounded away from zero near $T_z$.

Now $Y_t=Y_0\exp (-2{\int }_0^t|Z_s{|}^{-2}ds)$ has a strictly positive limit at $T_z$. The drift in $X$ is integrable there, so continuity of $W$ gives a finite limit for $X$ as well. The limiting point is in $\mathbb{H}$ and away from the Loewner driver singularity, and the differential equation extends past $T_z$, a contradiction. Thus $T_z=\infty$ almost surely. A point of the Loewner trace at a finite time belongs to that time's hull, soThis proves the fixed-interior-point avoidance of SLE4 without using simplicity as an input.

The angle remains in $(0,\pi )$ at all finite times. The bounded local martingale criterion upgrades its local martingale equation to a genuine martingale:In particular this is the SLE4 angle martingale, and it converges almost surely and in $L^1$ by bounded Martingale convergence theorem.

It remains to identify the limiting angle using the assumed simple path tending to infinity. Orient that path from $0$ to infinity. Its left component is the one adjacent to the negative real half-axis. Under $g_t$, the left boundary of the slit domain maps to $(-\infty ,U_t)$ and the right boundary to $(U_t,\infty )$. The harmonic measure of the former as seen from $z$ isThis follows by conformal invariance of planar Brownian motion: in the upper half-plane, $\arg (w-U_t)/\pi$ is the bounded harmonic function with values $1$ on the left half-axis and $0$ on the right.

To justify the limiting boundary classification, condition on a simple proper realization of the path and use an independent planar Brownian motion from $z$. It exits the upper half-plane in finite time almost surely, so its path up to that time is compact. The curve tends to infinity, so its intersection with this compact set is contained in a finite initial curve segment. Once that segment has been drawn, the Brownian path exits the slit domain through its left boundary exactly when $z$ is in the final left component: a path from that component cannot reach the right boundary without crossing the curve, and the reverse assertion holds on the right. Endpoints have zero harmonic measure. Bounded convergence of these exit indicators provesTaking expectations in the bounded angle martingale gives the SLE4 left-passage probabilityFor the imaginary axis it is $1/2$; near the negative real axis it tends to $1$, fixing the orientation of “left”.