Equivalence of Liouville measure and Gaussian free field

Abstract

Given an instance $h$ of the Gaussian free field on a planar domain $D$ and a constant $\gamma \in (0,2)$, one can use various regularization procedures to make sense of the Liouville quantum gravity area measure $\mu :=e^{\gamma h(z)}dz.$ It is known that the field $h$ a.s. determines the measure ${\mu }_h$. We show that the converse is true: namely, $h$ is measurably determined by ${\mu }_h$. More generally, given a random closed fractal subset $\mathcal{A}$ endowed with a Frostman measure $\sigma$ whose support is $\mathcal{A}$ (independent of $h$), a Gaussian multiplicative chaos measure ${\mu }_{\sigma ,h}$ can be constructed. We give a mild condition on $(\mathcal{A},\sigma )$ under which ${\mu }_{\sigma ,h}$ determines $h$ restricted to $\mathcal{A}$, in the sense that it determines its harmonic extension off $\mathcal{A}$. Our condition is satisfied by the occupation measures of planar Brownian motion and SLE curves under natural parametrizations. Along the way we obtain general positive moment bounds for Gaussian multiplicative chaos. Contrary to previous results, this does not require any assumption on the underlying measure $\sigma$ such as scale invariance, and hence may be of independent interest.

26 pages. v4: substantially revised; Conjecture 1.5 of the previous version is proved under mild assumptions

References in corpus (4)

• Liouville quantum gravity and the Brownian map I: The QLE(8/3,0) metric
• Quantum gravity and the KPZ formula
• Scaling limits for the critical Fortuin-Kastelyn model on a random planar map III: finite volume case
• Scaling limits for the critical Fortuin-Kastelyn model on a random planar map II: local estimates and empty reduced word exponent

Cited by in corpus (10)

• Two perspectives of the 2D unit area quantum sphere and their equivalence
• Mating of trees for random planar maps and Liouville quantum gravity: a survey
• Statistical reconstruction of the Gaussian free field and KT transition
• Stochastic Ricci Flow on Compact Surfaces
• Field-measure correspondence in Liouville quantum gravity almost surely commutes with all conformal maps simultaneously
• The characteristic polynomial of a random unitary matrix and Gaussian multiplicative chaos - The $L^2$-phase
• Negative moments for Gaussian multiplicative chaos on fractal sets
• Reconstructing the base field from imaginary multiplicative chaos
• Volume of metric balls in Liouville quantum gravity
• Environment seen from infinite geodesics in Liouville Quantum Gravity