Epstein curves and holography of the Schwarzian action

This paper establishes a geometric correspondence between the Schwarzian action, the length and area of Epstein curves in the hyperbolic disk, and renormalized volumes in hyperbolic space, thereby providing new proofs for the non-negativity of the Schwarzian action and extending these holographic identities to higher-order coadjoint orbits.

The Gist

Imagine you have a flexible, stretchy rubber band shaped like a perfect circle. Now, imagine you stretch, twist, and warp this rubber band into a new shape, but you keep the ends connected so it's still a loop. In the world of mathematics, this stretching process is called a diffeomorphism.

This paper explores a deep connection between three seemingly different things:

1. How much you "stretched" the rubber band (a mathematical formula called the Schwarzian action).
2. A hidden curve drawn inside a hyperbolic disk (a strange, saddle-shaped universe where parallel lines diverge).
3. The area and length of that hidden curve.

Here is the simple breakdown of what the authors discovered, using everyday analogies.

1. The Hidden Shadow: The Epstein Curve

Imagine you have a light source shining from the "edge" of a room (the circle) into the center of a hyperbolic room (the disk). The authors use a method developed by a mathematician named Epstein to cast a "shadow" or a "silhouette" inside the room based on how you stretched your rubber band.

• The Analogy: Think of the rubber band stretching as changing the "texture" of the floor. The Epstein curve is the envelope of all the tiny bubbles (horocycles) that sit on the floor, sized according to that texture.
• The Discovery: The authors proved that the "cost" of stretching your rubber band (the Schwarzian action) is exactly equal to the length of this hidden shadow curve inside the room. Even more surprisingly, it is also exactly equal to the negative area enclosed by that shadow.
  • In plain English: If you know how much energy it took to stretch the circle, you automatically know the length and area of this invisible geometric shape inside the hyperbolic disk.

2. The "Renormalized" Ruler

In physics and math, measuring distances in infinite or curved spaces is tricky because the numbers often blow up to infinity. To fix this, mathematicians use "renormalization"—a way of cutting off the infinite parts to get a meaningful number.

• The Analogy: Imagine trying to measure the distance between two cities, but the road keeps getting wider and wider until it disappears into the horizon. You can't measure the whole road. Instead, you measure the distance between two specific "checkpoints" (horocycles) placed near the cities.
• The Discovery: The authors found that the "bi-local observables" (special measurements used in quantum physics theories) are actually just these renormalized distances between two points on the rubber band, measured using the same "checkpoints" (horocycles) that create the Epstein shadow.
  • In plain English: The weird quantum numbers physicists use to describe these systems are just a fancy way of saying "how far apart are these two points, once we ignore the infinite parts of the universe?"

3. The Energy of a Loop (Loewner Energy)

The paper also connects this stretching to something called "Loewner energy," which describes the "cost" of a loop's shape.

• The Analogy: Imagine a soap film forming a bubble. The soap film wants to minimize its surface area. The "Loewner energy" is like the tension in the soap film.
• The Discovery: The authors showed that the "stretching cost" (Schwarzian action) is actually the rate of change of this soap film energy as you slowly shrink the bubble.
  • In plain English: If you watch a bubble shrink, the speed at which its energy changes tells you exactly how much the rubber band was stretched.

4. Why is the "Cost" Always Positive?

One of the most satisfying results in the paper is a proof that the "stretching cost" (Schwarzian action) is always a positive number (or zero).

• The Analogy: Think of the "Isoperimetric Inequality." In a flat park, a circle encloses the most area for a given fence length. If you make the fence wiggly, you enclose less area for the same length.
• The Discovery: The authors used the geometry of the hyperbolic disk to show that the Epstein shadow curve is never a perfect circle unless your rubber band wasn't stretched at all (it was just rotated). Any stretching makes the curve "wiggly," which increases the "wasted" space (the isoperimetric excess).
  • In plain English: You can't stretch a circle without "wasting" some geometric efficiency. This "waste" is the Schwarzian action, and it's always positive.

5. The "Patchwork" Rubber Band

Finally, the authors looked at rubber bands that aren't perfectly smooth but are made of smooth pieces stitched together (piecewise Möbius).

• The Analogy: Imagine a rubber band made of several straight segments of rubber glued together. At the glue points, the curve has a sharp corner.
• The Discovery: Even with these sharp corners, the relationship holds. The "shadow" curve inside the hyperbolic room becomes a chain of circular arcs connected by straight lines. The math still works perfectly, proving that the "cost" of the stretch is still the length of this jagged shadow.

The Big Picture Connection

The paper is motivated by a concept in theoretical physics called Holography.

• The Hologram: Imagine a 3D object (like a hologram) where all the information about the 3D object is encoded on its 2D surface.
• The Connection: The authors are showing that the "physics" happening on the 2D rubber band (the Schwarzian action) is perfectly encoded in the "geometry" of the 3D-like hyperbolic space (the Epstein curve area and length).

Summary:
This paper proves that the mathematical "cost" of stretching a circle is identical to the length and area of a specific shadow curve cast inside a hyperbolic universe. It also shows that quantum measurements are just renormalized distances in this universe, and that the energy of a loop's shape changes at a rate determined by this stretching cost. It's a beautiful unification of geometry, physics, and calculus.

Technical Summary

Technical Summary: Epstein Curves and Holography of the Schwarzian Action

Problem Statement

The paper addresses the geometric interpretation of the Schwarzian action ($I_{Sch}$) associated with circle diffeomorphisms $\phi: S^1 \to S^1$. While the Schwarzian action is central to Schwarzian field theory and its proposed holographic duality with Jackiw–Teitelboim (JT) gravity, its direct geometric realization in two-dimensional hyperbolic space ($D$) has been less explored compared to higher-dimensional analogs. Specifically, the authors seek to establish precise identities between $I_{Sch}$ and geometric quantities (length, area, curvature) derived from the Epstein construction in the hyperbolic disk. Furthermore, the paper investigates the relationship between $I_{Sch}$ and the Loewner energy ($I_L$), as well as the geometric meaning of bi-local observables in the context of hyperbolic geodesics.

Methodology

The authors employ a geometric approach rooted in the Epstein construction, originally developed for hyperbolic 3-manifolds, adapted here to the 2D hyperbolic disk $D$.

1. Epstein Curves: For a metric $h = \phi^* d\theta$ on the boundary $S^1$, the authors construct an Epstein curve $Eph$ in $D$. This curve is defined as the envelope of a 1-parameter family of horocycles $(H_z)_{z \in S^1}$, where the "size" of the horocycle at $z$ is determined by the metric tensor $h(z)$.
2. Signed Geometric Quantities: The paper defines signed hyperbolic length ($L(Eph)$) and signed hyperbolic area ($A(Eph)$) for these curves, utilizing the Gauss–Bonnet theorem extended to signed quantities and non-immersed points.
3. Variational Analysis: The authors analyze the variation of the Loewner energy ($I_L$) along equipotential foliations of Jordan curves to relate it to the Schwarzian action.
4. Bi-local Observables: They interpret bi-local observables $O(\phi; u, v)$ as exponentials of renormalized lengths of hyperbolic geodesics truncated by the Epstein horocycles.
5. Generalization: The framework is extended to:
   • $n$-fold covers: Analyzing the action on coadjoint orbits $M\ddot{o}b_n(S^1) \backslash \text{Diff}(S^1)$.
   • Lower regularity: Extending the construction to $C^{1,1}$ piecewise Möbius circle homeomorphisms, where the Epstein curve becomes a union of horocyclic arcs.
   • De Sitter space: Utilizing the duality between hyperbolic and de Sitter spaces to define dual Epstein curves.

Key Contributions and Results

1. Identity Between Schwarzian Action and Epstein Geometry

The primary result (Theorem 1.1) establishes a direct equality between the Schwarzian action and the geometric properties of the Epstein curve associated with the pushforward metric $h = \phi^* d\theta$:
$$I_{Sch}(\phi) = L(Eph) = -A(Eph)$$
where $L(Eph)$ is the signed hyperbolic length and $A(Eph)$ is the signed hyperbolic area enclosed by the curve. This identity holds for $C^3$ diffeomorphisms.

2. Non-Negativity of the Schwarzian Action

The paper provides two new proofs for the non-negativity of $I_{Sch}(\phi) \geq 0$:

• Isoperimetric Inequality: By expressing $I_{Sch}$ as the asymptotic isoperimetric excess of the Epstein curve (Theorem 1.4), the non-negativity follows from the hyperbolic isoperimetric inequality.
• Loewner Energy Monotonicity: By showing $I_{Sch}$ is proportional to the derivative of the Loewner energy along equipotentials (Theorem 1.7), and utilizing the known monotonicity of $I_L$, the non-negativity is derived. Equality holds if and only if $\phi$ is a Möbius transformation.

3. Bi-local Observables as Renormalized Lengths

The authors demonstrate that bi-local observables, crucial in Schwarzian field theory, correspond to the exponential of the renormalized length of hyperbolic geodesics truncated by the Epstein horocycles (Proposition 1.5):
$$O(\phi; u, v)^2 = \frac{1}{4} \exp(-RL_\phi(u, v))$$
Furthermore, they show that the collection of these observables along the edges of any ideal triangulation of $D$ fully determines the diffeomorphism $\phi$ up to Möbius transformations (Proposition 4.6).

4. Relation to Loewner Energy

The paper proves that the Schwarzian action is the derivative of the Loewner energy with respect to the equipotential foliation parameter (Theorem 1.7):
$$\frac{d I_L(\gamma_\epsilon)}{d\epsilon}\bigg|_{\epsilon=0} = -\frac{2}{\pi} I_{Sch}(\phi_\gamma)$$
This links the 2D Schwarzian action to the variation of a 3D renormalized volume (via the Bridgeman-Bromberg-Wang relation), suggesting a dimensional reduction of holographic principles.

5. Extensions to Coadjoint Orbits and Low Regularity

• $n$-fold Covers: For the coadjoint orbit $M\ddot{o}b_n(S^1) \backslash \text{Diff}(S^1)$, the authors derive a modified identity (Theorem 1.6):
  $$I_{Sch}^n(\phi) = L(Eph) = -A(Eph) - 2\pi(n-1)$$
• Piecewise Möbius Maps: The construction is extended to $C^{1,1}$ piecewise Möbius maps. In this case, the Epstein curve is completed by horocyclic arcs connecting the images of the breakpoints, and the identity $I_{Sch} = L(\Sigma_h) = -A(\Sigma_h)$ remains valid (Corollary 7.9).

6. Conformal Distortion

The paper shows that the Schwarzian action arises asymptotically as the change in hyperbolic area under conformal distortion of circles near the boundary (Theorem 1.9 and Corollary 1.10), providing a link to the variation of area under quasiconformal maps.

Significance and Claims

The authors claim that their work provides a unified geometric framework for understanding the Schwarzian action, its analogs for Virasoro coadjoint orbits, and the correlation functions of Schwarzian field theory.

• Holographic Motivation: The results are motivated by the proposed holographic duality between Schwarzian field theory and JT gravity. The Epstein construction offers a geometric realization where the Schwarzian action (the boundary theory action) is equated to the renormalized area (a bulk geometric quantity) in the hyperbolic disk.
• Geometric Interpretation of Observables: By identifying bi-local observables with renormalized geodesic lengths, the paper bridges the gap between abstract field theory observables and concrete hyperbolic geometry.
• Rigorous Proofs: The paper offers rigorous geometric proofs for the non-negativity of the Schwarzian action, utilizing tools from hyperbolic geometry (isoperimetric inequalities) and complex analysis (Loewner energy monotonicity).
• Limitations: The authors modestly note that while the Epstein construction works for smooth metrics, it requires regularization for the random diffeomorphisms appearing in the full Schwarzian field theory (which have regularity $C^{3/2-}$). The extension to the random setting is identified as a subject for future work.

In summary, the paper successfully translates the analytic properties of the Schwarzian derivative into the language of hyperbolic geometry, establishing precise equalities between the action, curve lengths, and enclosed areas, thereby deepening the geometric understanding of the Schwarzian theory and its holographic connections.