Planarity, percolation, and height functions
Fröhlich and Spencer proved the Berezinskii-Kosterlitz-Thouless transition in 1981, through a relation with delocalisation of height functions. My talk focuses on the phase transition for height functions. We mix ideas coming from height functions and planar percolation models in order to prove a coarse-graining inequality inspired by the renormalisation group picture. This allows us to make precise statements about the phase transition (e.g. sharpness) even without knowing exactly where this transition point lies. This talk is based on the recent preprint arXiv:2211.14365 (A dichotomy theory for height functions).