Table of Contents
Fetching ...

Uniqueness of the critical and supercritical Liouville quantum gravity metrics

Jian Ding, Ewain Gwynne

Abstract

We show that for each ${\mathbf c}_{\mathrm M} \in [1,25)$, there is a unique metric associated with Liouville quantum gravity (LQG) with matter central charge ${\mathbf c}_{\mathrm M}$. An earlier series of works by Ding-Dubédat-Dunlap-Falconet, Gwynne-Miller, and others showed that such a metric exists and is unique in the subcritical case ${\mathbf c}_{\mathrm M} \in (-\infty,1)$, which corresponds to coupling constant $γ\in (0,2)$. The critical case ${\mathbf c}_{\mathrm M} = 1$ corresponds to $γ=2$ and the supercritical case ${\mathbf c}_{\mathrm M} \in (1,25)$ corresponds to $γ\in \mathbb C$ with $|γ| = 2$. Our metric is constructed as the limit of an approximation procedure called Liouville first passage percolation, which was previously shown to be tight for $\mathbf c_{\mathrm M} \in [1,25)$ by Ding and Gwynne (2020). In this paper, we show that the subsequential limit is uniquely characterized by a natural list of axioms. This extends the characterization of the LQG metric proven by Gwynne and Miller (2019) for $\mathbf c_{\mathrm M} \in (-\infty,1)$ to the full parameter range $\mathbf c_{\mathrm M} \in (-\infty,25)$. Our argument is substantially different from the proof of the characterization of the LQG metric for $\mathbf c_{\mathrm M} \in (-\infty,1)$. In particular, the core part of the argument is simpler and does not use confluence of geodesics.

Uniqueness of the critical and supercritical Liouville quantum gravity metrics

Abstract

We show that for each , there is a unique metric associated with Liouville quantum gravity (LQG) with matter central charge . An earlier series of works by Ding-Dubédat-Dunlap-Falconet, Gwynne-Miller, and others showed that such a metric exists and is unique in the subcritical case , which corresponds to coupling constant . The critical case corresponds to and the supercritical case corresponds to with . Our metric is constructed as the limit of an approximation procedure called Liouville first passage percolation, which was previously shown to be tight for by Ding and Gwynne (2020). In this paper, we show that the subsequential limit is uniquely characterized by a natural list of axioms. This extends the characterization of the LQG metric proven by Gwynne and Miller (2019) for to the full parameter range . Our argument is substantially different from the proof of the characterization of the LQG metric for . In particular, the core part of the argument is simpler and does not use confluence of geodesics.

Paper Structure

This paper contains 18 sections, 19 theorems, 44 equations, 2 figures.

Key Result

Theorem 1.3

Let $h$ be a whole-plane GFF, or more generally a whole-plane GFF plus a bounded continuous function. For each $\xi >0$, the re-scaled LFPP metrics $\mathfrak a_\varepsilon^{-1} D_h^\varepsilon$ converge in probability with respect to the topology on lower semicontinuous functions on $\mathbbm C\ti

Figures (2)

  • Figure 1: Comparison of the different phases of LQG. This paper proves that the LQG metric is unique in the critical and supercritical phases. The bi-Hölder continuity w.r.t. to the Euclidean metric in the subcritical phase is proven in lqg-metric-estimates. The statement that the critical LQG metric induces the Euclidean topology, but is not Hölder continuous, is proven in dg-critical-lqg.
  • Figure 2: Illustration of three "good" balls (i.e., ones for which ${\mathsf E}_{z,r}$ occurs) and one "very good" ball (i.e., one for which ${\mathsf E}_{z,r}(h+{\mathsf f}_{z,r})$ occurs) which are hit by the $D_h$-geodesic $P$. Each of the "good" balls contains several pairs of non-singular points $u,v$ in the support of ${\mathsf f}_{z,r}$ (light blue) for which $\widetilde{D}_h(u,v) \leq {\mathfrak c}'_0 D_h(u,v)$. These points and the $\widetilde{D}_h$-geodesics joining them are shown in red. For the "very good" ball (the labeled ball in the figure), $P$ gets $D_{h-{\mathsf f}_{z,r}}$-close to each of $u$ and $v$ for one of the aforementioned pairs of points $u,v$. To prove Proposition \ref{['prop-outline-counting']}, we will show that there are lots of "very good" balls for which $P$ spends a lot of time in the support of ${\mathsf f}_{z,r}$.

Theorems & Definitions (37)

  • Definition 1.1
  • Definition 1.2
  • Theorem 1.3
  • Definition 1.4
  • Remark 1.5: Conjectured random planar map connection
  • Definition 1.6
  • Definition 1.7: LQG metric
  • Theorem 1.8
  • Proposition 1.9
  • proof
  • ...and 27 more