Level lines of the massive planar Gaussian free field

The massive planar Gaussian free field (GFF) is a random distribution defined on a subset of the complex plane. As a random distribution, this field a priori does not have well-defined level lines. In this talk, we give a meaning to this concept by constructing a coupling between a massive GFF and a random collection of loops, called massive CLE_4, in which the loops can naturally be interpreted as the level lines of the field. This coupling is constructed by appropriately reweighting the law of the standard GFF-CLE_4 coupling and this construction can be seen as a conditional version of the path-integral formulation of the massive GFF. We then relate massive CLE_4 to a massive version of the Brownian loop soup. This provides a more direct construction of massive CLE_4 and proves a conjecture of Camia.