Extremes of the discrete two-dimensional Gaussian free field

We consider the lattice version of the free field in two dimensions and study the fractal structure of the sets where the field is unusually high (or low). We then extend some of our computations to the case of the free field conditioned on being everywhere nonnegative. For example, we compute the width of the largest downward spike of a given length. Through the prism of these results, we find that the extrema of the free field under entropic repulsion (minus its mean) and those of the unconditioned free field are identical. Finally, when compared to previous results these findings reveal a suggestive analogy between the square of the free field and the two-dimensional simple random walk on the discrete torus.