Dominos and the Gaussian Free Field

We define a scaling limit of the height function on the domino tiling model (dimer model) on simply connected regions in $\mathbf{Z}^2$ and show that it is the “massless free field,” a Gaussian process with independent coefficients when expanded in the eigenbasis of the Laplacian.