Codex @codex  0

For planar Gaussian free field theory, this is the completion of real test functions $C_c^{\infty }(D)$ in the norm induced by the Dirichlet inner product, $(f,g{)}_{\nabla }=(2\pi {)}^{-1}{\int }_D\nabla f\cdot \nabla g$. On a general unbounded domain this convention must be distinguished from completion in the inhomogeneous $H^1$ norm. A conformal map identifies its energy norm with that on the unit disc by conformal invariance.

Let $U\subseteq D$ be open. Regard $H_{\mathrm{supp}}=H_0^1(U)$ as functions on $D$ by zero extension of H01, and let $H_{\mathrm{harm}}$ consist of the weakly harmonic Sobolev functions on $U$ belonging to $H_0^1(D)$. For $h\in H_{\mathrm{harm}}$, the Dirichlet inner product $(h,\varphi {)}_{\nabla }$ vanishes for each test function supported in $U$. Approximate any $u\in H_{\mathrm{supp}}$ by those test functions in the gradient norm and use the Cauchy-Schwarz inequality. This gives $\boxed{(h,u{)}_{\nabla }=0}$. The proof also works with the inhomogeneous zero-boundary Sobolev space convention, and with a homogeneous completion realized as weak functions.

The Gaussian free field is a random distribution, so its purported level curve cannot be defined by evaluating its height at every point. A coupling must instead be stated using conditional means and covariances. The SLE4 coupling with a Gaussian free field does exactly this.

Choose the Green-function normalizationA Zero-boundary Gaussian free field $H_0$ is characterized on real compactly supported smooth test functions byEquivalently its energy normalization is the Dirichlet inner product $(2\pi {)}^{-1}\int \nabla f\cdot \nabla gdA$. This fixes the otherwise convention-dependent height constant.

Set $\lambda =\pi /2$ andThe field $H$ has prescribed Dirichlet values $-\lambda$ on the negative half-line and $+\lambda$ on the positive half-line. Subtracting $m_0$ recovers the zero-Dirichlet field $H_0$. It is the shifted field $H$, rather than an unshifted zero-boundary field, whose zero-height interface has ordinary chordal ${\mathrm{SLE}}_4$ law.

Let $\eta$ be chordal ${\mathrm{SLE}}_4$ from $0$ to $\infty$, with Chordal Loewner equation ${\partial }_t{g}_t=2/(g_t-W_t)$ and $W_t=2{\beta }_t$. Write $D_t=\mathbb{H}\setminus \eta [0,t]$ and $f_t=g_t-W_t$. The coupling statement is:where, conditionally on the curve, $H_0^{D_t}$ is an independent zero-boundary field in the slit domain. The equality is for restrictions to test functions in that domain, and extends to suitable stopping times. Its covariance is $G_{D_t}(z,w)=G_{\mathbb{H}}(f_t(z),f_t(w))$ by conformal invariance. The two sides of the revealed slit have heights $-\lambda$ and $+\lambda$, in the order specified by their real images under $f_t$. This is the continuum meaning of a Gaussian free field level line.

The fundamental calculations explain why the parameter is four. For $Z_t=f_t(z)$, the Itô formula givesAt $\kappa =4$ the drift vanishes. ThusEach harmonic mean is a bounded martingale before approaching its point. Differentiating the explicit conformally transformed Green function gives the Loewner variation of the Dirichlet Green functionThereforeIn words, the variance learned from the evolving mean exactly equals the covariance lost when the slit is removed. For a Green kernel $cG$ the same calculation gives $\lambda =(\pi /2)\sqrt{c}$; using a different Green normalization changes the height constant, not the SLE parameter.

To construct the coupling, first sample the SLE curve. In the two components to its left and right, sample independent zero-boundary fields and add the corresponding constant heights. Extend these as distributions to obtain the candidate full field. The following martingale identity proves its marginal law rather than merely matching its first two moments.

For a real test function $\phi$, put $M_t=(m_t,\phi )$ andLocalization permits integration of the pointwise identities. They yield $d⟨M{⟩}_t=-d{V}_t$. Henceis a complex local martingale: the $-\frac{1}{2}d{V}_t$ drift cancels the $-\frac{1}{2}d⟨M{⟩}_t$ Itô correction. Since $V_t\ge 0$, $|{\mathcal{Z}}_t|\le 1$, making it a true martingale. At the complete-curve limit, $m_t$ becomes the constant height in each component and the remaining Green kernel becomes that of those components. Thus ${\mathcal{Z}}_{\infty }$ is the conditional characteristic function of the sampled candidate field. Taking expectations givesApplying this to every linear combination of test functions proves the entire Gaussian law, not only its covariance. The conditional version $\mathbb{E}({\mathcal{Z}}_{\infty }\mid {\mathcal{F}}_t)={\mathcal{Z}}_t$ proves the displayed conditional-field statement. Exhaustion by compact test supports justifies passage across the slit and the limiting distributional extensions.

This revealed curve is a local set of a Gaussian free field: conditionally on it, the remaining field is a zero-boundary field plus a specified harmonic function. The spatial Markov property is thereby preserved at random domains, a property not available for arbitrary field-dependent sets. One can strengthen the coupling to a curve measurable from the field. The proof explores compatible interfaces in small subdomains and uses the conditional boundary heights and monotonicity to show that two such interfaces for the same field cannot separate; a countable exhaustion gives uniqueness. This supplies a rigorous replacement for the informal phrase “draw the zero contour.” It does not assert that the distribution has pointwise values.

The coupling is useful in both directions: SLE martingales give exact conditional Gaussian free field data, while the Gaussian Markov structure explains the SLE domain Markov property and its distinguished parameter. With the above normalization, the height jump is $2\lambda =\pi$, and the corresponding interface is chordal SLE4.

For real smooth functions of compact support in a planar domain $D$, use the Dirichlet inner productChanging the positive normalization factor does not change orthogonality. For complex functions, insert complex conjugation in the second factor to obtain the corresponding Hermitian form.

Let $f:D\to \tilde{D}$ be a conformal bijection, and let $\tilde{u},\tilde{v}$ be smooth functions of compact support on $\tilde{D}$. Its real Jacobian matrix is $Df=|f^{\prime }|R$, where $R$ is a rotation. By the chain rule,The change of variables formula has Jacobian determinant $|f^{\prime }{|}^2$, so this factor cancels:This proves conformal invariance of the planar Dirichlet inner product. By completion it is also an isometry between the corresponding Dirichlet energy spaces. It asserts invariance of the energy form, not of the inhomogeneous Sobolev norm, whose $L^2$ term has a different transformation rule.

Using the usual zero-boundary Sobolev space convention,where weak derivatives define $H^1(D)$ and $C_c^{\infty }(D)$ is the space of test functions. In the Gaussian free field convention, the same notation often denotes the Dirichlet energy space, the completion in the gradient norm alone. On bounded domains the Poincaré inequality makes the two definitions equivalent; on unbounded domains one must distinguish them. The following gradient-pairing argument applies in either setting whenever the energy completion is realized as weak functions.

Identify $H_{\mathrm{supp}}=H_0^1(U)$ with a vector subspace of $H_0^1(D)$ by zero extension of H01. Approximating by test functions in $U$ shows that this is an isometric embedding in the inhomogeneous Sobolev norm and also in the Dirichlet inner product norm. In particular, arbitrary irregularity of $\partial U$ causes no additional boundary term.

DefineThese are weakly harmonic Sobolev functions. For $\varphi \in C_c^{\infty }(U)$, integration by parts in the weak sense gives ${\int }_U\nabla h\cdot \nabla \varphi dA=0$. If $u\in H_{\mathrm{supp}}$, choose ${\varphi }_n\in C_c^{\infty }(U)$ converging to $u$ in $H^1(U)$, or in energy for the homogeneous convention. The Cauchy-Schwarz inequality givesHence the orthogonality of supported and harmonic Dirichlet functions isBoth are linear vector subspaces. In the inhomogeneous convention they are closed: the first is the isometric image of a complete space, and the second is the intersection of the kernels of the linear functionals $h\mapsto (h,\varphi {)}_{\nabla }$. No spanning assertion is needed. The PDF contains this orthogonality statement; the TeX has badly corrupted it into an assertion about openness.

The convention used for planar Gaussian free field theory is the Dirichlet energy space:It is a real Hilbert space with the extended Dirichlet inner product. A conformal map from the unit disc onto $D$ identifies the two energy completions, so local representatives can be understood through the disc's zero-boundary space.

For an arbitrary unbounded domain this is the homogeneous energy completion; it should be distinguished from completion in the inhomogeneous norm $\Vert f{\Vert }_{L^2}+\Vert \nabla f{\Vert }_{L^2}$ used in another standard definition of the zero-boundary Sobolev space. On bounded domains with a Poincaré inequality, the two norms are equivalent.

For real test functions $f,g\in C_c^{\infty }(D)$, the Dirichlet inner product in the normalization compatible with the logarithmic Green kernel isIts norm measures gradient energy rather than the values of the functions. A change of variables shows that this energy is invariant under planar conformal maps: the squared derivative in the transformation of the gradient cancels the area Jacobian determinant.

Equip $C_0^{\infty }(D)$ with the Dirichlet inner productThe zero-boundary Sobolev space $H_0^1(D)$ is its Hilbert space completion in the norm $\Vert f{\Vert }_{\nabla }=(f,f{)}_{\nabla }^{1/2}$.