Dimers in Piecewise Temperleyan Domains

We study the large-scale behavior of the height function in the dimer model on the square lattice. Richard Kenyon has shown that the fluctuations of the height function on Temperleyan discretizations of a planar domain converge in the scaling limit (as the mesh size tends to zero) to the Gaussian Free Field with Dirichlet boundary conditions. We extend Kenyon’s result to a more general class of discretizations. Moreover, we introduce a new factorization of the coupling function of the double-dimer model into two discrete holomorphic functions, which are similar to discrete fermions defined in Smirnov (Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, 2006 ; Ann Math (2) 172:1435–1467, 2010 ). For Temperleyan discretizations with appropriate boundary modifications, the results of Kenyon imply that the expectation of the double-dimer height function converges to a harmonic function in the scaling limit. We use the above factorization to extend this result to the class of all polygonal discretizations, that are not necessarily Temperleyan. Furthermore, we show that, quite surprisingly, the expectation of the double-dimer height function in the Temperleyan case is exactly discrete harmonic (for an appropriate choice of Laplacian) even before taking the scaling limit.