On the rigidity of sloped height functions in $d\ge 3$ and non-crossing surfaces
We consider integer-valued $\nabla\phi$ height functions, with general convex interactions, placed on a slope. Sheffield (2003) conjectured that for all slopes, such height functions are localized in dimensions $d\ge3$, in the sense of having tight fluctuations in finite volume, and admitting infinite-volume limits. We establish this conjecture when there are two coordinates on which the slope vector is zero and on which the interactions are even and low temperature. In this setting, we also prove the uniqueness, in the appropriate sense, of the infinite-volume limit and classify its extremal components. We further study the structural properties of the infinite-volume limit. We establish the entropic repulsion between macroscopic domain walls (boundaries of level sets), showing that they are maximally separated in a precise sense described by a rotation-of-the-circle dynamical system. Lastly, we show exponential decay of correlations in the extremal components. Our setup includes, as a special case, infinitely many zero-slope integer-valued surfaces (of dimension two or higher) conditioned not to cross. We deduce the existence and structural properties of the bulk Gibbs measure over such non-crossing surfaces with any given average spacing.