---
title: Gauge-Invariant Schwarzian Action
url: https://www.emergentmind.com/topics/gauge-invariant-schwarzian-action
type: topic
---

# Gauge-Invariant Schwarzian Action

Gauge-invariant Schwarzian action denotes a family of one-dimensional boundary functionals in which the Schwarzian derivative, or a projective invariant that generalizes it, is fixed by residual gauge symmetry, by a bulk variational principle, or by an explicit gauging of projective symmetry. In the standard AdS$_2$/CFT$_1$ setting, the renormalized boundary action reduces to the Schwarzian functional $S_{\mathrm{Sch}}=-C\int du\,\{f,u\}$, invariant under residual $SL(2,\mathbb{R})$ Möbius transformations of the boundary reparametrization mode [2606.00929]. In BF and Chern–Simons formulations, the same structure appears as a boundary reduction of flat gauge fields [2606.15270], [2605.15293]. Other usages are more specialized: in flat JT gravity, gauge consistency requires a BMS-Schwarzian corrected by a dilatonic zero-mode [2112.14609], while a fully local gauging of the Schwarzian promotes global $SL(2,\mathbb{R})$ to a local gauge symmetry and replaces ordinary derivatives by covariant ones [2507.04091].

## 1. Projective invariance and the standard Schwarzian functional

The Schwarzian derivative of a monotonic function $f$ is
$$
\{f,t\}=\frac{f'''(t)}{f'(t)}-\frac{3}{2}\left(\frac{f''(t)}{f'(t)}\right)^2.
$$
It is invariant under Möbius transformations $f\mapsto (af+b)/(cf+d)$ with $ad-bc=1$, so the thermal configuration space is naturally $\mathrm{Diff}(S^1)/\mathrm{PSL}(2,\mathbb{R})$ [1801.09605]. In this sense, the ordinary Schwarzian action already carries a gauge-type redundancy: the physical mode is the reparametrization modulo projective transformations.

In the gauge-theory-of-gravity formulation of AdS$_2$/CFT$_1$, the boundary curve is embedded in the Poincaré patch
$$
ds^2=\frac{l^2}{z^2}(dz^2+d\tau^2),
$$
with $\tau=f(u)$ and $z=z(u)$, and the induced boundary metric fixed as $ds_\partial=(l/\epsilon)\,du$. The extrinsic curvature expands as
$$
K=\frac{1}{l}+\frac{\epsilon^2}{l}\{f,u\}+O(\epsilon^4),
$$
so the renormalized action
$$
S_{\mathrm{ren}}=\frac{1}{8\pi G}\int du\,\sqrt{\gamma}\,\phi\left(K-\frac{1}{l}\right)
$$
reduces, for $\phi(u)=\phi_r/\epsilon+O(\epsilon)$, to
$$
S_{\mathrm{Sch}}=-C\int du\,\{f,u\},\qquad C=\frac{\phi_r}{8\pi G}.
$$
The same construction gives the boundary stress tensor $T(u)=-C\{f,u\}$ and an emergent Virasoro algebra with central charge $c=3l/(2G)$; in the normalization where $u$ is a dimensionless circle coordinate, $c=12C$ [2606.00929].

The coadjoint-orbit interpretation is the natural algebraic counterpart of this geometric derivation. The Schwarzian functional is the geometric action on the Virasoro orbit $\mathrm{Diff}(S^1)/\mathrm{PSL}(2,\mathbb{R})$, and its invariance reflects the vanishing of the Schwarzian derivative for Möbius maps. This identifies the standard Schwarzian as a projective connection rather than merely a higher-derivative mechanical term [2606.00929].

## 2. BF and Chern–Simons origins of the gauge-invariant boundary action

A bulk-first derivation starts from two-dimensional BF gravity with an $\mathfrak{sl}(2,\mathbb{R})$ connection $A$ and an adjoint scalar $X$,
$$
S[X,A]=\frac{k}{4\pi}\int_M \mathrm{tr}(X F)+S_{\mathrm{bdy}},\qquad F=dA+A\wedge A.
$$
The equations of motion are $F=0$ and $dX+[A,X]=0$. After Drinfeld–Sokolov reduction in highest-weight gauge,
$$
a_\tau=L_{+1}-L(\tau)L_{-1},
$$
the associated linear problem becomes the Hill equation
$$
\psi''-L(\tau)\psi=0.
$$
If $\psi_1,\psi_2$ are independent solutions and $f=\psi_1/\psi_2$, then
$$
\{f,\tau\}=-2L(\tau),
$$
and the reduced boundary action is
$$
S_{\mathrm{Sch}}[f]=-C\int dt\,\{f,t\}.
$$
In this formulation, gauge-invariant boundary actions arise directly from bulk flatness and companion-form ODEs rather than from an independent boundary prescription [2606.15270].

The three-dimensional Chern–Simons derivation makes the same point in a higher-dimensional parent theory. For $AdS_3/\mathbb{Z}_2$ gravity on $M_3=M_2\times S^1$ with toroidal boundary, the $\mathfrak{so}(2,2)$ connection is reduced by imposing $\mathcal{L}_{\partial_\phi}A=0$ and decomposing
$$
A=\Phi\,d\phi+A_\perp.
$$
The curvature splits as
$$
F=F_\perp-d\phi\wedge D_\perp\Phi,
$$
so flatness becomes the two-dimensional BF system $F_\perp=0$, $D_\perp\Phi=0$. The reduced action is
$$
S_{\mathrm{CS}}[A]=k\int_{M_2}\mathrm{Tr}(\Phi F_\perp)-\frac{k}{2}\int_{\partial M_2}\mathrm{Tr}(\Phi A_\tau)\,d\tau,
$$
and on the flat subsector the bulk term vanishes, leaving the universal one-dimensional boundary action
$$
S_{1D}=-\frac{k}{2}\int_{S^1}\mathrm{Tr}(\Phi A_\tau)\,d\tau.
$$
This is the common origin of both the standard Schwarzian sector and its affine deformation [2605.15293].

These constructions are gauge-invariant in a precise sense: the one-dimensional action is inherited from a gauge-invariant BF or Chern–Simons parent theory, and the remaining boundary dynamics are determined by residual gauge symmetry together with a well-posed variational principle. The Schwarzian is therefore not an arbitrary boundary ansatz but the projective data of a reduced flat connection.

## 3. Drinfel'd–Sokolov, affine deformation, and current dressing

The reduced Chern–Simons theory admits two inequivalent boundary sectors. In the Drinfel'd–Sokolov sector,
$$
A_\tau=\Phi,
$$
the universal action becomes
$$
S_{\mathrm{DS}}[A_\tau]=-\frac{k}{2}\int_{S^1}\mathrm{Tr}(A_\tau^2)\,d\tau.
$$
Using the highest-weight basis and the Gauss decomposition of the boundary group element, the DS constraints imply
$$
A_\tau=L_+-\frac{1}{2}\{f,\tau\}L_-,
$$
so
$$
S_{\mathrm{Sch}}=\frac{k}{2}\int_{S^1}\{f,\tau\}\,d\tau,\qquad C=\frac{k}{2}=\frac{\ell}{8G}.
$$
The residual symmetry is $\mathrm{Diff}(S^1)/\mathrm{PSL}(2,\mathbb{R})$ [2605.15293].

In the generalized affine sector,
$$
A_\tau=\lambda'\Phi+u^{-1}\partial_\tau u,
$$
with $\lambda' > 0$ and $u(\tau)\in SL(2,\mathbb{R})$, the same boundary action yields a deformed Schwarzian. Choosing $T=L_+$ and imposing highest-weight conditions gives
$$
A_\tau=L_+-\frac{1}{2}\{\lambda,\tau\}L_-,
$$
while the boundary functional becomes
$$
S_{\mathrm{def}}[\tau]
=-\frac{k}{4}\int_{S^1}\{\tau,\sigma\}\,d\sigma
+\frac{k}{8}\int_{S^1}\left(\frac{\tau''}{\tau'}\right)^2 d\sigma
=-\frac{k}{4}\int_{S^1}\left[\{\tau,\sigma\}-\frac{1}{2}\left(\frac{\tau''}{\tau'}\right)^2\right]d\sigma.
$$
Its residual symmetry is $\mathrm{Aff}_+(\mathbb{R})$ rather than $\mathrm{PSL}(2,\mathbb{R})$, and the parabolic choice of $T$ is associated with a Rindler or non-extremal regime [2605.15293].

A crucial structural point is that these two one-dimensional theories are not gauge fixings of a single boundary mechanics. They arise from inequivalent boundary subspaces of the same universal action and therefore define distinct variational problems. The DS sector gives the standard projective orbit, while the affine sector gives a deformed orbit with reduced symmetry [2605.15293].

The same work also shows that the second chiral sector can be reorganized as loop-valued currents dressed by the reparametrization mode, producing semidirect-product actions of the form $\mathrm{Diff}(S^1)\ltimes LSL(2,\mathbb{R})$. This yields current-dressed Virasoro–Kac–Moody extensions in both the Schwarzian and deformed Schwarzian sectors, with levels fixed by the Chern–Simons data and by the boundary prescription for the second chiral copy [2605.15293].

## 4. Local gauging of $SL(2,\mathbb{R})$

A stronger notion of gauge-invariant Schwarzian action arises when the global $SL(2,\mathbb{R})$ symmetry of the fractional-linear field $f(t)$ is promoted to a local gauge symmetry. The construction begins with the composite adjoint field
$$
\mathbf{f}:=\frac{f^iT_i}{\dot f},
$$
which transforms linearly under global $SL(2,\mathbb{R})$ and obeys $\mathbf{f}^2=0$. Introducing a gauge potential $\mathbf{A}=A_kT^k$, one defines the covariant derivative on the fractional-linear representation,
$$
D_A f:=\dot f+A_k f^k,
$$
the covariant composite
$$
f_A:=\frac{f^iT_i}{D_A f},
$$
and the adjoint covariant derivative
$$
\mathbf{D}_A f_A:=\dot f_A-[\mathbf{A},\mathbf{f}_A].
$$
The gauge-invariant analogue of the Schwarzian derivative is then
$$
S[A]_t(f):=\mathrm{tr}\left(\mathbf{D}_A\mathbf{D}_A f_A\right)^2,
$$
with action
$$
\mathcal{I}[A]=-\int dt\,S[A]_t(f).
$$
For $\mathbf{A}=0$, this reduces to the ordinary Schwarzian $\{f,t\}$ [2507.04091].

This formulation preserves local $SL(2,\mathbb{R})$ by construction. At first order in the gauge field, the action couples universally to the Noether vector
$$
\mathbf{N}=\ddot{\mathbf{f}}+2\,\mathbf{f}\,S_t f,
$$
through the term $2\,\mathrm{tr}\,\mathbf{N}\mathbf{A}$. The framework also admits locally invariant couplings to additional fields; for fermions in the fundamental representation, one can use
$$
D_t s=\partial_t s+\mathbf{A}s,\qquad D_t\bar s=\partial_t\bar s-\bar s\,\mathbf{A}.
$$
This extends the usual Schwarzian mechanics by explicit gauge potentials and matter couplings [2507.04091].

The topological content becomes nontrivial on $S^1$. On a topologically trivial domain such as $\mathbb{R}$, the gauge field can be gauged away and the action reduces to the standard Schwarzian. On $S^1$, gauge transformations split into homotopy classes labeled by the winding number $n\in\mathbb{Z}=\pi_1(SL(2,\mathbb{R}))$, and the holonomy
$$
\mathcal{P}\exp\left(\oint_{S^1}A_\tau\,d\tau\right)
$$
distinguishes sectors. A simple representative is $\mathbf{A}_{(n)}=-2nT^1$; for $n\neq 0$, global $SL(2,\mathbb{R})$ is broken to $U(1)$, and different $n$ label distinct vacua connected by large gauge transformations [2507.04091].

This local gauging differs conceptually from the standard Schwarzian quotient by $\mathrm{PSL}(2,\mathbb{R})$. The ordinary theory removes projective redundancy; the gauged theory introduces an actual one-dimensional gauge field and a covariant projective structure.

## 5. Flat JT gravity, BMS-Schwarzian, and one-dimensional quantum gravity

In flat JT gravity in Bondi gauge, the asymptotic symmetry is an extension of the warped Virasoro group denoted BMS$_2$, with group law
$$
(f_1,n_1)\cdot (f_2,n_2)=\big(f_1\circ f_2,\;n_1+f_1^*n_2\big).
$$
The BMS-Schwarzian action is defined as the zero-mode of the transformed stress tensor,
$$
S_{\mathrm{BMS}}[f,n]=\oint d\phi\,\widetilde T(\phi).
$$
However, the pure BMS-Schwarzian is not by itself the gauge-consistent boundary action of flat JT gravity. The improved bulk variational principle requires fixing the zero-mode
$$
\int_0^{2\pi} d\phi\,x(\phi)^{-1}=A,
$$
and in group variables this produces an additional zero-mode term proportional to $\oint n\circ f$. The gauge-consistent combination is
$$
S=S_{\mathrm{BMS}}-c\oint n\circ f,
$$
which is invariant under constant BMS$_2$ translations generated by right-invariant vector fields. The pure $S_{\mathrm{BMS}}$ has no saddle points for real non-zero $b$ and $c$; the added zero-mode restores saddle points and makes the thermal partition function one-loop exact [2112.14609].

A different gauge-theoretic recasting appears in one-dimensional conformal quantum gravity. There the Schwarzian partition function is computed by a local path integral on the base circle, with $SL(2,\mathbb{R})$ realized on the base space rather than on the target reparametrization field. The exact fixed-modulus Schwarzian partition function is
$$
Z_{\mathrm{Sch}}(\beta)=\left(\frac{\ell}{\beta}\right)^{3/2}
\exp\!\left[\frac{2\pi^2\ell}{\beta}-\lambda\beta\right],
$$
and the construction uses a local quantum measure, with non-localities tied only to fixed gauge-invariant moduli. When all degrees of freedom fluctuate, the model develops an emergent Planck length
$$
\ell_P=\gamma^2\ell
$$
and exhibits UV-finiteness properties that differ from a standard Hilbert-space interpretation at short scales [2112.03793].

These two examples use “gauge-invariant Schwarzian” in distinct but compatible senses. In flat JT gravity, gauge consistency means compatibility with the bulk variational principle and with constant BMS$_2$ translations. In one-dimensional quantum gravity, it means a local gauge-theory representation whose path integral directly computes the Schwarzian partition function.

## 6. Matrix, higher-rank, and non-abelian generalizations

The bulk-first BF perspective extends beyond $\mathfrak{sl}(2,\mathbb{R})$. For $\mathfrak{sl}(3,\mathbb{R})$, the Drinfeld–Sokolov companion form yields the third-order ODE
$$
\psi'''-W_2(\tau)\psi'-W_3(\tau)\psi=0,
$$
and the boundary data are captured by the Wilczynski invariants $I_2$ and $I_3$. A generalized gauge-invariant Schwarzian action is then
$$
S_{\mathrm{gSch}}[f,g]=\int d\tau\,[\alpha I_2(\tau)+\beta I_3(\tau)].
$$
This is the higher-rank analogue of the ordinary Schwarzian and is organized by the same reduced BF phase space, companion ODE, monodromy data, and Casimir sectors [2606.15270].

Colored Jackiw–Teitelboim gravity provides a matrix-valued extension based on $su(N,N)$ BF theory. The zero-temperature boundary action contains a matrix Schwarzian term
$$
-\frac{\kappa\gamma}{2N}\int du\,
\mathrm{Tr}\!\left[\dot{\mathbf f}^{-1}\dddot{\mathbf f}
-\frac{3}{2}\big(\dot{\mathbf f}^{-1}\ddot{\mathbf f}\big)^2\right]
$$
together with a spin-1 sector involving $\mathbf d^{-1}\dot{\mathbf d}$. The full colored theory is not stable: the spin-1 mode has the wrong overall sign in the quadratic action, and for smooth saddles with $\nu_N>1$ the Lyapunov exponent can exceed $2\pi/\beta$. A stable truncation is obtained by dropping the spin-1 sector, leaving a manifestly stable matrix-Schwarzian theory [2204.09010].

A different non-abelian extension is formulated on Riemann surfaces through the canonical matrix ODE
$$
\Psi''=2A\Psi'+q\Psi,
$$
with non-abelian Schwarzian
$$
\mathcal{S}_{A,q}=2(A'-A^2-q).
$$
Under gauge transformations, $\mathcal{S}_{A,q}$ transforms by conjugation, and its traceless part
$$
\mathcal{R}_{A,q}=\mathcal{S}_{A,q}-\frac{1}{n}\mathrm{tr}(\mathcal{S}_{A,q})I
$$
is a genuine $\mathrm{End}(V)$-valued quadratic differential. The paper does not present a full variational principle, but it identifies $\mathcal{S}_{A,q}$ and $\mathcal{R}_{A,q}$ as the natural gauge-covariant projective curvatures; a quadratic action built from $\mathcal{R}_{A,q}$ is proposed there as the natural gauge-invariant functional [2603.04153].

Beyond AdS/JT, conformally invariant FLRW cosmology proposes a full $\mathrm{Diff}(S^1)$-invariant Schwarzian construction on proper time. One form is
$$
S_{\mathrm{conf}}[v,\phi]=\frac{1}{\kappa^2}\int d\tau
\left[v\,\{\phi,\tau\}-\frac{1}{2}\frac{\dot v^2}{v}\right],
$$
whose invariance follows from the transformation of the Schwarzian and the compensating conformal variation of the $v$ kinetic term. In that setting, the extra kinetic term for $v$ upgrades the residual Möbius symmetry of the standard Schwarzian to full $\mathrm{Diff}(S^1)$ acting on proper time [2004.05841].

Taken together, these developments show that the gauge-invariant Schwarzian action is not a single object but a class of projective boundary functionals. In the simplest case it is the Möbius-invariant Schwarzian on $\mathrm{Diff}(S^1)/\mathrm{PSL}(2,\mathbb{R})$; in BF and Chern–Simons gravity it is the induced action of a reduced flat connection; in flat JT it is the BMS-Schwarzian corrected by a required zero-mode; in the fully gauged construction it is a covariant density built from a local $SL(2,\mathbb{R})$ gauge field; and in higher-rank or matrix settings it becomes a projective-curvature functional controlled by residual gauge symmetry and bulk monodromy data.

Source: https://www.emergentmind.com/topics/gauge-invariant-schwarzian-action