Gauging the Schwarzian Action

The Big Picture: Making a Rigid Rule Flexible

Imagine you have a very strict rule for how a rubber band can stretch. In the world of this paper, this rule is called the Schwarzian derivative. It's a mathematical formula that describes how a shape changes when you stretch or twist it.

Currently, this rule only works if the stretching happens in a very specific, "global" way. Think of it like a dance where everyone in the room must move in perfect unison. If you change the dance steps for just one person, the whole pattern breaks. This is called a global symmetry.

The authors of this paper asked: What if we want to let each person dance their own way, locally, without breaking the pattern? To do this, they needed to turn that strict, global rule into a flexible, local gauge symmetry.

The Problem: The "Nonlinear" Dancer

The main character in this story is a variable they call $f$ . You can think of $f$ as the position of a dancer.

The Issue: When the group (the "SL(2, R)" group) tells $f$ to move, it doesn't move in a simple, straight line. It moves in a complicated, curved way (a "nonlinear" transformation).
The Analogy: Imagine trying to teach a robot to dance. If the robot's instructions are "move 1 step forward," that's easy (linear). But if the instructions are "move forward, but the distance depends on how fast you are currently spinning," that's hard (nonlinear). It's very difficult to build a "local" version of the dance when the instructions are this messy.

The Solution: The "Composite Field" (The Translator)

To solve this mess, the authors invented a new character, which they call the composite field (let's call it $\mathbf{f}$ ).

How it works: They took the original dancer ( $f$ ) and mixed them with their own speed ( $\dot{f}$ ) to create this new composite character.
The Magic: While the original dancer moves in a messy, curved way, this new composite character moves in a straight, simple line (linear transformation) when the group gives orders.
The Analogy: It's like having a translator. The original dancer speaks a complex, confusing language. The composite field is a translator who speaks a simple, universal language that everyone understands. Once you have the translator, it's easy to give instructions to the whole group.

The Main Achievement: The "Gauge-Invariant" Schwarzian

Now that they have this simple translator, they could finally build the flexible version of the rule they wanted.

Adding the "Gauge Potentials": To allow for local changes (where different parts of the dance floor move differently), they introduced new tools called gauge potentials (let's call them $A$ ). Think of these as "local conductors" who can adjust the music for specific sections of the dance floor.
The New Formula: They used their translator ( $\mathbf{f}$ ) and the conductors ( $A$ ) to write a new version of the Schwarzian derivative. This new version is gauge-invariant, meaning it stays perfect and unchanged even if everyone on the dance floor decides to move differently at the same time.

The Twist: Topology and "Defects"

The paper explores what happens when the dance floor is shaped like a circle (a loop, or $S^1$ ) instead of a straight line.

The Straight Line: If the floor is a straight line, you can always use the conductors to smooth everything out. The "local" version of the dance looks exactly the same as the old "global" version.
The Circle: If the floor is a circle, things get interesting. You can't always smooth everything out perfectly. There are different "topological sectors."
- The Analogy: Imagine a rubber band wrapped around a pole. You can twist it once, twice, or three times. No matter how you wiggle the rubber band, you can't untwist it without cutting it. These different numbers of twists are the "topological sectors."
The Result: The authors found that these different "twists" (labeled by a number $n$ ) create new, distinct versions of the theory. In the context of the paper's application to Jackiw-Teitelboim (JT) gravity (a theory of 2D gravity), these twists correspond to defects or "holes" in the fabric of space-time.

Why This Matters (According to the Paper)

A New Tool: They created a general recipe for turning messy, nonlinear rules into clean, local gauge rules. This could be used for other types of physics problems, not just this one.
Connecting to Gravity: In the specific case of 2D gravity (JT gravity), this new "gauged" version of the Schwarzian action allows the theory to naturally include these "defects" (the twisted rubber bands) at the boundary of the universe.
Noether Charges: They showed how to easily calculate the "conserved quantities" (like energy or momentum) of the system using their new composite field.

Summary in One Sentence

The authors took a complex, rigid mathematical rule used in physics, built a "translator" to simplify it, and used that to create a flexible, local version of the rule that naturally accounts for different "twists" or defects in the geometry of space-time.

Technical Summary: Gauging the Schwarzian Action

Problem Statement
The Schwarzian derivative, $S_t f$ , is a central object in theoretical physics, governing boundary dynamics in Jackiw-Teitelboim (JT) gravity and the infrared limit of the Sachdev-Ye-Kitaev (SYK) model. Its utility stems from its invariance under global $SL(2, \mathbb{R})$ (or $PSL(2, \mathbb{R})$ ) transformations acting on the fundamental field $f(t)$ . However, in the bulk formulation of JT gravity, the symmetry is local (gauge), whereas the boundary dynamics are restricted to global symmetry. This discrepancy limits the ability to couple boundary fields locally to bulk gauge fields and obscures the description of non-trivial topological sectors (defects) at the boundary. The primary challenge in promoting this global symmetry to a local gauge symmetry is that the fundamental field $f$ transforms under a non-linear (fractional linear) representation of $SL(2, \mathbb{R})$ , making standard gauging procedures inapplicable.

Methodology
The authors develop a general procedure to gauge symmetries where fundamental fields transform non-linearly. The methodology proceeds in three distinct steps:

Construction of a Composite Field: A composite field $\mathfrak{f}$ is constructed from the fundamental field $f$ and its derivative $\dot{f}$ . Specifically, $\mathfrak{f} = (T_0 + f T_1 + f^2 T_2)/\dot{f}$ , where $T_i$ are generators of the $sl(2, \mathbb{R})$ algebra. This composite field transforms linearly under the global $SL(2, \mathbb{R})$ action, specifically in the adjoint representation ( $\mathfrak{f} \to g \mathfrak{f} g^{-1}$ ).
Gauge Covariant Extension: To promote the symmetry to a local gauge symmetry, the authors introduce an $sl(2, \mathbb{R})$ -valued gauge potential $A(t)$ . They define a covariant derivative $D_A$ acting on the fractional linear representation and construct a gauge-covariant extension of the composite field, denoted $\mathfrak{f}_A$ . This field transforms covariantly under local gauge transformations.
Standard Gauging: The authors apply standard gauging techniques to $\mathfrak{f}_A$ , replacing ordinary derivatives with covariant derivatives ( $D_A$ ). The gauge-invariant Schwarzian derivative is then defined as a bilinear invariant of the covariant derivatives of $\mathfrak{f}_A$ .

Key Results

Gauge-Invariant Schwarzian Derivative: The authors derive a gauge-invariant analogue of the Schwarzian derivative, $S[A]_t(f) = \text{tr}(D_A D_A \mathfrak{f}_A)^2$ . When the gauge field $A$ vanishes, this expression reduces to the standard Schwarzian derivative.
Expansion and Couplings: Expanding $S[A]_t(f)$ in powers of the gauge field $A$ reveals that the first-order term corresponds to a linear coupling between the gauge potential and the Noether charges ( $N_i$ ) associated with the global $SL(2, \mathbb{R})$ symmetry. Higher-order terms introduce non-linear interactions involving the gauge field and the composite field.
Topological Sectors: On topologically trivial domains (e.g., $\mathbb{R}$ $R$ ), the gauge potentials can be completely gauged away, recovering the standard Schwarzian theory. However, on a circle ( $S^1$ $S^{1}$ ), the gauge field configurations fall into distinct homotopy classes labeled by an integer winding number $n \in \mathbb{Z}$ $n \in Z$ (associated with $\pi_1(SL(2, \mathbb{R})) = \mathbb{Z}$ $π_{1} (S L (2, R)) = Z$ ).
- For $n=0$ , the global $SL(2, \mathbb{R})$ symmetry is preserved.
- For $n \neq 0$ , the global symmetry is broken to $U(1)$ .
- Configurations with non-integer winding numbers represent non-vacuum excitations.
Application to JT Gravity: The authors apply this framework to the gauge theory formulation of JT gravity. They propose replacing the standard boundary Schwarzian action with the gauge-invariant version. This requires a boundary constraint linking the bulk scalar field $B$ $B$ to the boundary Noether charges ( $B|_{\partial D} = 2N$ $B ∣_{\partial D} = 2 N$ ).
- Extending non-trivializable gauge configurations (where $n \neq 0$ ) from the boundary into the bulk violates the flatness condition ( $F=0$ ) required by the bulk equations of motion.
- This violation implies that curvature is locally sourced in the interior, providing a natural interpretation of these topological sectors as defects (such as Wilson lines or punctures) in the bulk JT gravity theory.

Significance and Claims
The paper claims to provide a systematic prescription for gauging non-linear symmetries by utilizing composite fields that transform linearly. Specifically, it constructs the gauge-invariant analogue of the Schwarzian derivative, enabling locally invariant couplings to additional fields (such as fermions) and extending the gauge redundancy of the bulk to the boundary.

The authors emphasize that while the physical content in the trivial sector ( $n=0$ ) remains unchanged from the standard formulation, the gauged framework naturally admits non-trivial topological sectors. In the context of JT gravity, these sectors correspond to bulk defects, offering a boundary description well-suited for incorporating such features. The work is presented as a classical analysis, with quantum aspects left for future investigation. The authors note that their approach differs from previous attempts to gauge internal symmetries in SYK models, as this work focuses on the geometric $SL(2, \mathbb{R})$ symmetry of boundary reparametrizations.