SLE4 coupling with a Gaussian free field (source code)

= SLE4 coupling with a Gaussian free field
{c}
{title2=$\lambda=\pi/2\quad\text{when }G_{\mathbb H}(z,w)=\log|(z-\overline w)/(z-w)|$}

For a <Gaussian free field> with boundary heights $-\lambda$ and $+\lambda$ on the two sides of the starting point, its distinguished zero-height interface has chordal $\operatorname{SLE}_4$ law. Conditional on an initial curve segment, the field is a zero-boundary field in the slit domain plus $m_t(z)=\lambda-(2\lambda/\pi)\arg(g_t(z)-W_t)$. Its mean bracket equals minus the variation of its conditional Green <covariance>. Subtracting the initial <harmonic function> gives the corresponding coupling to a zero-boundary field.