Exact bosonization of the Ising model

We present exact combinatorial versions of bosonization identities, which equate the product of two Ising correlators with a free field (bosonic) correlator. The role of the discrete free field is played by the height function of an associated bipartite dimer model. Some applications to the asymptotic analysis of Ising correlators are discussed.