Liouville Quantum Gravity

• Liouville Quantum Gravity is a probabilistic model for random 2D geometry defined via the exponential of a Gaussian free field and Gaussian multiplicative chaos.
• It rigorously constructs quantum measures and distances, linking scaling limits of random planar maps with conformal field theory and the KPZ relation.
• The framework underpins canonical quantum surfaces like spheres, disks, and cones while revealing intricate fractal, spectral, and geodesic properties.

Liouville Quantum Gravity (LQG) is the canonical probabilistic model of random two-dimensional Riemannian geometry, originating in theoretical and mathematical physics as the universal scaling limit of large random planar maps. It extends the formal path-integral of two-dimensional quantum gravity via the exponential of a Gaussian free field (GFF), rigorously implemented using Gaussian multiplicative chaos (GMC) theory. LQG is parametrized by a coupling constant $\gamma\in(0,2)$ (or background charge $Q=2/\gamma+\gamma/2$) and exhibits deep connections to conformal field theory, the KPZ relation, Schramm–Loewner evolution (SLE), and the combinatorics of random maps. The critical case $\gamma=2$ (corresponding to central charge $c=1$), and its extension to supercritical regimes ($\gamma>2$), present further mathematical challenges and distinctive geometry. LQG admits a coordinate-invariant description as an equivalence class of pairs (domain, field), explicit metric and measure structures, a spectrum of canonical surfaces (sphere, disk, cone, wedge), and a coupling with integrable models of random geometry and statistical mechanics.

1. Gaussian Free Field Formulation and Conformal Equivalence

A base object is the Gaussian free field $h$ on a planar domain $D$ (with Dirichlet or Neumann boundary conditions), a centered Gaussian distribution determined by the Green's function $G_D(z,w)$. As $h$ lacks pointwise interpretation, observables are regularized via circle averages or mollifier convolution at scale $\varepsilon$. LQG is defined not as a single metric space but via equivalence classes:

• A $Q=2/\gamma+\gamma/2$0-LQG surface is an equivalence class of pairs $Q=2/\gamma+\gamma/2$1, where two pairs are equivalent if $Q=2/\gamma+\gamma/2$2 under conformal maps $Q=2/\gamma+\gamma/2$3 $Q=2/\gamma+\gamma/2$4 parameter: $Q=2/\gamma+\gamma/2$5.
• The construction on arbitrary Riemann surfaces (sphere, disk, torus, annulus) proceeds by mapping to a canonical domain and applying conformal covariance (David et al., 2015, Remy, 2017).

2. Quantum Measures and the KPZ Relation

The formal metric tensor $Q=2/\gamma+\gamma/2$6 acquires probabilistic sense via:

• Area measure (bulk): $Q=2/\gamma+\gamma/2$7, with $Q=2/\gamma+\gamma/2$8 the $Q=2/\gamma+\gamma/2$9-circle average (Gwynne, 2019, Berestycki et al., 2024, Huang et al., 2015).
• Boundary length: $\gamma=2$0 for a smooth boundary arc (Huang et al., 2015).
• Conformal covariance: measures transform under $\gamma=2$1 as $\gamma=2$2 (Borga et al., 2024, David et al., 2014, Gwynne, 2019).

The KPZ relation encodes the change of fractal dimension between Euclidean and quantum geometries: $\gamma=2$3 (Holden et al., 18 Oct 2025, David et al., 2014, Ding et al., 2021, Berestycki et al., 2024, Gwynne et al., 2019).

3. Metric Geometry and The LQG Distance

A canonical random metric is constructed via Liouville first-passage percolation (LFPP) and a suitable renormalization: $\gamma=2$4 with scaling $\gamma=2$5 chosen so that $\gamma=2$6 converges as $\gamma=2$7 (Ding et al., 2021, Ding et al., 2021). The limiting metric $\gamma=2$8 satisfies:

• Length space: $\gamma=2$9 is a geodesic metric.
• Locality: Determined by local field.
• Weyl scaling: $c=1$0 modifies infinitesimal lengths by $c=1$1.
• Scaling/translation invariance and tightness across scales.

For $c=1$2, $c=1$3 is H\"older continuous with explicit exponents in terms of $c=1$4 and $c=1$5; for $c=1$6, only log-moduli of continuity are achieved. At $c=1$7, the metric develops singularities, i.e., points at infinite distance (Ding et al., 2021, Ding et al., 2021).

Critical regime: For $c=1$8 (central charge $c=1$9), the metric $\gamma>2$0 constructed from the critical LFPP parameter $\gamma>2$1, any subsequential limit of $\gamma>2$2 (with $\gamma>2$3, $\gamma>2$4) defines a weak LQG metric. The topology is Euclidean, but the modulus of continuity of $\gamma>2$5 w.r.t. the Euclidean metric is a negative power of log: $\gamma>2$6 (Ding et al., 2021). The induced balls are Euclidean open, establishing the precise topological equivalence.

4. Canonical Quantum Surfaces and Constructions

LQG admits a collection of universal canonical surfaces:

• Quantum sphere: $\gamma>2$7, the field is a GFF plus constant, conditioned to unit area (Miller et al., 2015).
• Quantum disk: GFF on disk with boundary conditions, area and boundary length constrained (Huang et al., 2015).
• Quantum cone/wedge: infinite-volume surfaces, scaling-invariant (cone: field plus $\gamma>2$8; wedge: surfaces with two marked boundary points, field with marked singularities).
• Path-decorated (SLE-decorated) quantum surfaces: whole-plane LQG coupled to space-filling SLEs, with the peanosphere (mating-of-trees) construction providing a Brownian bridge (or excursion/Lévy) encoding of the quantum boundary lengths and area (Borga et al., 2024, Miller et al., 2015).

For $\gamma>2$9, the quantum sphere with QLE(8/3, 0) metric is isomorphic— as a measure-metric space— to the Brownian map (Miller, 2017, Miller et al., 2015). For general $h$0, SLE and LQG are entwined via the imaginary geometry framework, and the mating-of-trees (Brownian loop, Bessel, Lévy approaches) underpin the universality and scaling-limit connections to random maps.

5. Conformal Field Theory and Correlation Structure

Liouville Quantum Gravity is entwined with Liouville conformal field theory (LCFT):

• Action: $h$1.
• Vertex operators: $h$2, $h$3.
• Central charge: $h$4.
• Seiberg bounds: For $h$5-point correlators to be finite, require $h$6 and $h$7.
• Ward identities and BPZ equations: The CFT structure is realized rigorously, with exact expressions and operator product expansions (OPE) (unique three-point structure constants, DOZZ formula) (David et al., 2014, Kupiainen et al., 2015).

The path-integral approach is made rigorous via GMC, with the partition function and correlators computed as explicit functionals of the field, integrated over the zero mode. Weyl anomaly formulas, modular invariance (torus), and boundary terms (disk, annulus) are established (David et al., 2015, Remy, 2017, Huang et al., 2015).

6. Coupling to Random Planar Maps and Statistical Physics Models

LQG arises as scaling limits of large random planar maps:

• Uniform quadrangulations/triangulations, with appropriately rescaled metric and measure, converge to the sphere/disk quantum surfaces, with area and boundary length measures matching the LQG definitions.
• Decorated planar maps (e.g., percolation, Ising, Fortuin-Kasteleyn) correspond to different $h$8 via the relation $h$9 (Holden et al., 18 Oct 2025, Gwynne et al., 2019).
• SLE curves in the scaling limit of critical lattice models coupled with maps converge to SLE-decorated LQG surfaces (Borga et al., 2024, Holden et al., 18 Oct 2025, Miller et al., 2015, Miller, 2017).

In the pure gravity case, the metric limit is precisely the Brownian map, and more generally, the KPZ relation links Euclidean and quantum exponents for statistical mechanics models coupled to geometry. For $D$0, the theory becomes nontrivial but exhibits infinite Hausdorff dimension in the limiting metric (Gwynne et al., 2019).

7. Metric, Spectral, and Geometric Properties

• Hausdorff dimension of the metric space $D$1 is $D$2, rigorously $D$3 for $D$4, with upper/lower bounds or conjectures in other cases (Ding et al., 2021).
• Spectral geometry: The spectrum of the Liouville Laplacian (generator of Liouville Brownian motion) satisfies a Weyl law $D$5 ($D$6) (Berestycki, 2 Dec 2025, Berestycki et al., 2023). The constant $D$7 is explicit and increases without bound as $D$8.
• Geodesic structure: For all $D$9 the metric is geodesic, with unique and merging geodesics at small scales; for $G_D(z,w)$0 the topology remains Euclidean, distances scale as log-powers (Ding et al., 2021).
• KPZ and fractal geometry: The KPZ relation governs dimensions of sets under quantum and Euclidean metrics/measures.

Main open problems include:

• Full metric scaling limits for random maps at $G_D(z,w)$1 and for $G_D(z,w)$2 ($G_D(z,w)$3) (Ding et al., 2021).
• Explicit determination of $G_D(z,w)$4 for general $G_D(z,w)$5.
• Comprehensive treatment of higher-genus surfaces and boundary conditions.
• Extension of spectral geometry (eigenvalue statistics, quantum ergodicity) to the random geometry setting (Berestycki, 2 Dec 2025, Berestycki et al., 2023).

---

References:

• (Holden et al., 18 Oct 2025) "Liouville quantum gravity: from random planar maps to conformal field theory"
• (Miller et al., 2015) "Liouville quantum gravity spheres as matings of finite-diameter trees"
• (Miller, 2017) "Liouville quantum gravity as a metric space and a scaling limit"
• (Ding et al., 2021) "The critical Liouville quantum gravity metric induces the Euclidean topology"
• (Ding et al., 2021) "Introduction to the Liouville quantum gravity metric"
• (David et al., 2014) "Liouville Quantum Gravity on the Riemann sphere"
• (Huang et al., 2015) "Liouville Quantum Gravity on the unit disk"
• (Gwynne, 2019) "Random surfaces and Liouville quantum gravity"
• (Gwynne et al., 2019) "Liouville quantum gravity with matter central charge in $G_D(z,w)$6: a probabilistic approach"
• (Borga et al., 2024) "Reconstructing SLE-decorated Liouville quantum gravity surfaces from random permutons"
• (Kupiainen et al., 2015) "Local Conformal Structure of Liouville Quantum Gravity"
• (Berestycki et al., 2023) "Weyl's law in Liouville quantum gravity"
• (Berestycki, 2 Dec 2025) "On the spectral geometry of Liouville quantum gravity"
• (Remy, 2017, David et al., 2015, Miller, 2017, Ang et al., 2024, Huang et al., 2015, Holden et al., 2018, Mertens et al., 2020) (for further construction and applications).