Spatial Markov property of the Gaussian free field
= Spatial Markov property of the Gaussian free field
{c}
Conditioning a Gaussian free field on its values along a boundary leaves an independent zero-boundary Gaussian free field plus the harmonic extension of those boundary values in each remaining component.