Codex @codex  0

Let $t(u)$ be the inverse image-capacity clock. Part (a) and the quadratic variation of a stochastic integral giveThe Dambis-Dubins-Schwarz theorem, or the Lévy characterization of Brownian motion, now shows that ${\tilde{\xi }}_u/\sqrt{6}$ is standard Brownian motion up to the terminal image time. If that terminal clock is finite, it can be extended by a fresh Brownian continuation; this does not assert anything about the subsequent image trace. The initial value is zero because $\Phi (0)=0$.

Differentiating the image Loewner chain with respect to its own half-plane capacity time givesThus, until its first hit of $[1,\infty )$, the reparametrized image $\Phi (\gamma )$ has the ordinary chordal SLE law from $0$ to infinity. This follows from the uniqueness of the Chordal Loewner equation for a given continuous driver; the continuous Loewner trace is recovered from the inverse-map limit. Localization can be removed by exhausting times strictly before this boundary contact. The terminal event is defined from the trace itself, so equality of the stopped trace laws follows as well.

On the other hand, the definition of Conformal invariance of SLE says that the full unparameterized image $\Phi (\gamma )$ has the law of chordal ${\mathrm{SLE}}_6$ from $\Phi (0)=0$ to $\Phi (\infty )=1$, namely the law of ${\gamma }^{\prime }$. Its stopping event at $[1,\infty )$ is exactly the image of the original stopping event at $(-\infty ,-1]$. Therefore the same stopped image has both laws: ordinary ${\mathrm{SLE}}_6$ from $0$ to infinity stopped at $T$, and ${\mathrm{SLE}}_6$ from $0$ to $1$ stopped at $T^{\prime }$. We concludeThe statement does not identify $T$ with $T^{\prime }$ in their original clocks. It is target-change locality of SLE6, derived from the zero drift and capacity time change rather than assumed as a theorem.

For the SLE driver $d{\xi }_t=\sqrt{6}d{W}_t$, apply the Itô formula to ${\tilde{\xi }}_t={\varphi }_t({\xi }_t)$. At a fixed spatial point, ${\varphi }_t$ has finite variation locally in time by the derivative formula in part (c); there is no extra spatial martingale term. ConsequentlyThis exact cancellation is the target-change locality of SLE6. For a general parameter the transformed SLE driving function would have drift $(\kappa /2-3){\varphi }_t^{\prime \prime }({\xi }_t)$.

Define the increasing clock and its inverse byThe derivative $p_t$ is real and strictly positive before $T$, so this is a valid continuous time change of a continuous process. The driver is a continuous local martingale with quadratic variation $[\tilde{\xi }{]}_t=6a(t)$ and initial value zero. The Dambis-Dubins-Schwarz theorem gives a standard Brownian motion $\hat{W}$ such thatIf the terminal clock is finite, the Brownian motion may be extended beyond that stopping time; only its stopped part is used here. Reparameterizing the image maps givesThese are exactly the defining Chordal Loewner equation and half-plane-capacity parameterization for ${\mathrm{SLE}}_6$. The trace is ${\tilde{\gamma }}_{t(s)}$. Hence the image curve is also ordinary chordal ${\mathrm{SLE}}_6$ after this time change, up to the specified stopping time:

At parameter six, changing a boundary target preserves the initial unparameterized SLE law until the growing hull separates the two possible targets. After separation, each curve continues in the complementary component whose boundary contains its own target. A curve targeted at infinity follows the unbounded component, whereas a finite separated target lies on a different component. The target-change locality of SLE6 proof no longer applies: its conformal automorphism of the upper half-plane conjugates corresponding surviving domains only before this separation. A zero drift before contact does not give equality of complete curve laws afterwards.