A menagerie of Schwarzians: coadjoint orbits of Virasoro and near-dS$_2$ quantum gravity

This paper presents a complete classification of generalized Schwarzian theories as integrals over Virasoro coadjoint orbits, demonstrating their correspondence to near-dS$_2$ gravity and providing exact solutions for their oscillatory path integrals despite inherent ambiguities in defining quantum fluctuations.

The Gist

The Big Picture: The Universe's "Low-Res" Mode

Imagine the universe is a massive, high-definition video game. Usually, to understand it, you need to know every single particle and force. But physicists have discovered that for certain objects—like black holes that are almost cold (near-extremal) or the very early universe (near-de Sitter space)—the game simplifies. It drops to a "low-resolution" mode.

In this low-res mode, all the complex details blur together, and the physics is governed by a single, simple rule called the Schwarzian theory. Think of this theory as the "operating system" for these specific cosmic scenarios.

For a long time, scientists only knew one version of this operating system. This paper says: "Wait a minute! There isn't just one version. There is a whole zoo (a 'menagerie') of them."

The Zoo: A Map of Possibilities

The author, Henry Maxfield, has mapped out every possible version of this theory. He uses a mathematical concept called Coadjoint Orbits to organize them.

• The Analogy: Imagine a giant, multi-dimensional landscape (a map).
  • The "Spine": In the middle of this map, there is a familiar road. This is the original Schwarzian theory we already know. It describes black holes and the famous SYK model (a model for quantum chaos).
  • The "New Branches": Radiating out from this road are new, unexplored paths. These are the new theories Maxfield discovered. They describe different kinds of spacetime geometries, specifically those related to de Sitter space (a model for our universe's accelerating expansion).

The paper classifies these new paths based on how they behave. Some are "elliptic" (like a circle), some are "hyperbolic" (like a saddle), and some are "parabolic" (like a parabola). Each path represents a different way the universe can wiggle at its lowest energy levels.

The Twist: The "Coupling" That Changes Sign

In the old theories, the "knob" you turn to control the physics (called the coupling, $u$) was always positive. It was like a volume knob that could only go up.

In these new theories, the knob can go negative.

• The Analogy: Imagine driving a car where the gas pedal sometimes acts as a brake. The physics gets weird when the value flips from positive to negative.
• The Problem: When this "coupling" hits zero, the math breaks down. It's like trying to divide by zero. In the old days, physicists would just say, "That point doesn't exist, let's ignore it."
• The Discovery: Maxfield says, "No, we can't ignore it! If we look closely, the universe doesn't break; it just gets singular."

The "Singularities": When Smoothness Breaks

When the coupling hits zero, the smooth curves of spacetime develop sharp kinks or "singularities."

• The Analogy: Imagine a smooth rubber sheet. Usually, it bends gently. But in these new theories, the sheet can develop a sharp crease or a tear.
• The Solution: Maxfield shows that these "tears" aren't fatal errors. They are actually necessary features. If you try to force the sheet to stay perfectly smooth, the math fails. But if you allow the sheet to have a specific type of kink (mathematically described as $\theta \log |\theta|$), everything works out.

He proves that these kinks are real physical features in Jackiw-Teitelboim (JT) gravity, a simplified model of 2D gravity. In the full theory, these kinks are "smoothed out" by the finite size of the universe, but in the simplified "Schwarzian" limit, they look like sharp points.

The "One-Loop" Magic: Why It's Easy to Solve

Usually, calculating quantum physics is a nightmare because you have to sum up infinite possibilities (loops).

• The Analogy: It's like trying to predict the weather by simulating every single air molecule.
• The Trick: Maxfield uses a mathematical shortcut called Fermionic Localization.
  • Normally, this trick only works if the system has a specific symmetry (like a circle rotating).
  • In these new theories, the symmetry is broken (the "circle" is stretched and twisted).
  • The Breakthrough: Maxfield shows that even though the symmetry is broken, the "magic trick" still works! The complex quantum calculation collapses down to a simple calculation involving just the "classical" solutions (the smoothest paths) and their immediate neighbors.

This means he can write down the exact answer for the probability of these universes existing, without needing approximations.

The Results: A Menu of Universes

The paper ends with a "menu" (Table 1) of all these theories.

1. The Old Favorites: Theories where the universe is smooth and the coupling is constant.
2. The New Hyperbolic Theories ($T_{n,\Delta}$): These describe universes where the "coupling" wiggles, crossing zero $2n$ times. They have a specific "winding number" ($\Delta$) that tells you how much the universe twists.
3. The Parabolic Theories ($\tilde{T}_{n,\pm}$): These are the edge cases where the twist is just right to create a "parabolic" shape.
4. The SL(n) Theories: Special cases where the universe has extra symmetries.

The most surprising result: For some of these new theories, the universe only exists if the "coupling" satisfies a very strict rule (like a delta function). It's as if the universe says, "I will only exist if you tune this knob to exactly this value, or I vanish."

Why Should We Care?

1. New Physics: This expands our understanding of how gravity works in the simplest possible settings. It suggests that our universe (which is expanding like de Sitter space) might have hidden "sectors" or phases we haven't noticed because we were only looking at the "smooth" version.
2. Black Holes & The Big Bang: Since these theories govern the "edge" of black holes and the "beginning" of the universe, understanding this "menagerie" helps us understand the quantum nature of spacetime itself.
3. Mathematical Beauty: It connects deep areas of math (group theory, differential equations) with the physical reality of gravity, showing that the universe is far more diverse in its "low-energy" forms than we previously thought.

In a nutshell: Maxfield took a simple rule that physicists thought was the only game in town, realized it was actually a whole family of games, figured out the rules for the weird new ones (including the ones with "kinks"), and proved that they are all mathematically consistent and physically real.

Technical Summary

1. Problem Statement

The Schwarzian theory is a well-established effective field theory describing the universal low-energy dynamics of near-extremal black holes (AdS$_2$) and the Sachdev-Ye-Kitaev (SYK) model. Mathematically, it is characterized as a path integral over a specific coadjoint orbit of the Virasoro group, corresponding to the breaking of the infinite-dimensional diffeomorphism group $\text{Diff}(S^1)$ down to $\text{PSL}(2, \mathbb{R})$.

However, the classification of Virasoro coadjoint orbits is much richer than the single orbit used in standard Schwarzian theory. It includes:

• Orbits with unbroken $\text{U}(1)$ symmetry (constant $b$).
• Orbits with enhanced $\text{SL}(n)(2, \mathbb{R})$ symmetry.
• "Hyperbolic" orbits ($T_{n, \Delta}$) and "parabolic" orbits ($\tilde{T}_{n, \pm}$) associated with non-compact stabilizers.

The Core Questions:

1. Do sensible quantum theories exist for all Virasoro coadjoint orbits, not just the standard one?
2. Do these theories have a physical realization, particularly in the context of de Sitter (dS) gravity?
3. How does the theory behave when the "coupling function" (renormalized dilaton) $u(\theta)$ is allowed to change sign or vanish, a scenario forbidden in standard Euclidean treatments but natural in Lorentzian dS gravity?

2. Methodology

The author employs a combination of group-theoretic classification, path integral quantization, and holographic duality to solve these problems.

A. Classification via Coadjoint Orbits

The paper utilizes the classification of Virasoro coadjoint orbits (following works by Kirillov, Witten, and others).

• Orbit Parameters: Orbits are classified by the stabilizer subgroup of a representative element $b(\theta)$ under the coadjoint action.
• Coupling Function: The theory is defined by a path integral over the orbit with an action $I = \langle b, u \rangle$, where $u(\theta)$ is a vector field (coupling) on $S^1$.
• Novelty: Unlike previous studies where $u(\theta)$ was restricted to be constant and positive (Euclidean temperature), this work allows $u(\theta)$ to be a general function that can vanish and change sign.

B. Path Integral and One-Loop Exactness

The central quantity is the wavefunctional $\Psi[u] = \int \mathcal{D}\phi \, e^{iI}$.

• Fermionic Localization: The author argues that despite the lack of a compact $\text{U}(1)$ symmetry (which usually guarantees the Duistermaat-Heckman theorem), the path integral remains one-loop exact. This is proven by constructing a specific $\text{U}(1)$-invariant metric (or symmetric bilinear form) explicitly, allowing for fermionic localization even when $u(\theta)$ has zeroes.
• Singularities: A major technical hurdle is that when $u(\theta)$ has zeroes, the quadratic fluctuation operator $Q$ fails to be essentially self-adjoint. This necessitates a choice of boundary conditions at the zeroes of $u$.

C. Holographic Realization in dS$_2$ JT Gravity

The paper embeds these theories into Jackiw-Teitelboim (JT) gravity in de Sitter space (dS$_2$).

• Wheeler-DeWitt Wavefunctions: The Schwarzian theories arise as the asymptotic behavior of Wheeler-DeWitt wavefunctions near future infinity ($\mathcal{I}^+$).
• Regularization: The choice of boundary conditions for the fluctuation operator is justified by restoring a finite cutoff in JT gravity. The analysis shows that "singular" diffeomorphisms (which appear problematic in the Schwarzian limit) correspond to smooth, finite-action off-shell configurations in the full JT theory.

3. Key Contributions and Results

A. Complete Classification of Schwarzian Theories

The paper provides a complete map of all possible Schwarzian theories corresponding to Virasoro coadjoint orbits (visualized in Figure 1 of the paper):

1. $\text{U}(1)_b$ Orbits: The standard elliptic orbits (constant $b$).
2. $\text{SL}(n)(2, \mathbb{R})$ Orbits: Points where symmetry is enhanced (e.g., $n=1$ is the original Schwarzian).
3. $T_{n, \Delta}$ Orbits (Hyperbolic): New theories parametrized by an integer $n$ and a real parameter $\Delta > 0$. These correspond to geometries with a "hyperbolic" monodromy.
4. $\tilde{T}_{n, \pm}$ Orbits (Parabolic): Theories with parabolic monodromy, arising as limits of the hyperbolic cases.

B. Solution of the Path Integrals

The author derives exact analytic expressions for the path integral $\Psi[u]$ for all orbits and all coupling functions $u(\theta)$. The results are summarized in Table 1 of the paper:

• Vanishing Integrals: For most orbits, if $u(\theta)$ has zeroes, the path integral vanishes unless specific constraints are met.
• $T_{n, \Delta}$ Result:
  $$\Psi_{T_{n, \Delta}}[u] = \left( \int_{\text{p.v.}} \frac{d\theta}{u} \right)^{-1/2} \exp\left[ i \frac{c}{24} \left( \frac{\Delta^2}{2\pi} \left( \int_{\text{p.v.}} \frac{d\theta}{u} \right)^{-1} - \int \frac{(u')^2}{u} \right) \right]$$
  Here, the integral is defined via a principal value prescription.
• $\text{SL}(n)(2, \mathbb{R})$ Result:
  $$\Psi_{\text{SL}(n)(2, \mathbb{R})}[u] = \delta\left( \int_{\text{p.v.}} \frac{d\theta}{u} \right) \exp\left[ -i \frac{c}{24} \int \frac{(u')^2}{u} \right]$$
  The path integral is non-zero only if the principal value integral of $1/u$ vanishes. This implies a strict selection rule on the coupling function.

C. Handling Singularities and Boundary Conditions

• Singular Diffeomorphisms: When $u(\theta)$ has zeroes, classical solutions for the diffeomorphism $\phi(\theta)$ become singular, behaving as $\phi(\theta) \sim \text{sgn}(\theta)|\theta|^p$.
• Boundary Condition Choice: The quadratic fluctuation operator $Q$ requires a boundary condition at the zeroes of $u$. The author selects the condition that allows singularities of the form $\theta \log|\theta|$ (corresponding to $p=1$ in the exponentiated diffeomorphism).
• Justification: This choice is uniquely selected by the requirement that the singular configurations correspond to valid, finite-action off-shell configurations in dS$_2$ JT gravity. Alternative boundary conditions (e.g., disallowing $\theta \log|\theta|$) lead to different physics that is not realized in the JT gravity embedding.

D. New Physics for the Original Schwarzian

Even for the original $\text{Diff}(S^1)/\text{PSL}(2, \mathbb{R})$ theory, allowing $u(\theta)$ to change sign yields new results. Specifically, the path integral vanishes unless $\int 1/u = 0$, a constraint that does not appear in the standard constant-$u$ case.

4. Significance

1. Unification of dS and AdS Dynamics: The work establishes a precise dictionary between the moduli space of constant positive curvature 2D Lorentzian geometries (dS$_2$) and the full classification of Virasoro coadjoint orbits. It shows that the "new" Schwarzian theories are not mathematical curiosities but are the natural effective theories for near-dS$_2$ quantum gravity.
2. Resolution of Singularities: It resolves the ambiguity in defining Schwarzian theories with vanishing couplings by linking them to the physical regularization provided by JT gravity. This validates the inclusion of singular configurations in the path integral.
3. One-Loop Exactness Beyond U(1): The paper extends the Duistermaat-Heckman theorem to non-compact flows ($\mathbb{R}$) by explicitly constructing the necessary invariant metric, proving that these complex Lorentzian theories remain exactly solvable at one-loop order.
4. Microscopic Implications: The results suggest that any microscopic dual to near-dS$_2$ gravity (analogous to SYK for AdS) must be capable of supporting time-dependent couplings that change sign and satisfy specific integral constraints (like $\int 1/u = 0$).
5. Cosmological Observables: The formalism provides a framework for computing cosmological correlation functions in dS$_2$ gravity, particularly for states where the renormalized dilaton changes sign (associated with black hole singularities in the bulk).

In summary, Maxfield provides a comprehensive "menagerie" of Schwarzian theories, solving them exactly and demonstrating their physical necessity in the context of de Sitter quantum gravity, while clarifying the mathematical subtleties of singular path integrals.