---
title: Ordered Super-Schwarzian Action
url: https://www.emergentmind.com/topics/ordered-super-schwarzian-action
type: topic
---

# Ordered Super-Schwarzian Action

Ordered super-Schwarzian action denotes a supersymmetric Schwarzian effective action in which the ordering of fermionic fields, superderivatives, or group-theoretic factors is not left ambiguous but is fixed by an underlying construction. In nearly AdS\(_2\) supergravity, the canonical example is the \(\mathcal N=1\) boundary action
\[
S_{\text{eff}}[t,\psi]\propto \int du\,d\#\;\Phi_r(u,\#)\,\mathcal S[t,\psi;u,\#],
\qquad
\mathcal S[t,\psi;u,\#]=\frac{D^3\psi}{D\psi}-\frac{3}{2}\left(\frac{D^2\psi}{D\psi}\right)^2,
\]
with \(D=\frac{\partial}{\partial\#}+\#\frac{\partial}{\partial u}\), obtained from the supersymmetric extrinsic curvature of a boundary supercurve in AdS\(_2\) superspace [1703.10969]. Related work extends this logic to nonlinear realizations, coadjoint orbits, and higher-\(\mathcal N\) superconformal groups, while a distinct quantum-mechanical literature uses “ordered” for anomaly-free quantization prescriptions in which a Schwarzian term is fixed by operator ordering [2004.04489] [1602.02179].

## 1. Nearly AdS\(_2\) origin of the ordered \(\mathcal N=1\) action

The direct geometric origin of the ordered super-Schwarzian action lies in the supersymmetric extension of Jackiw–Teitelboim gravity. In the bosonic theory, integrating out the bulk metric with a fixed proper-length boundary curve yields the Schwarzian action for the reparametrization mode \(t(u)\). The supersymmetric extension replaces JT gravity by minimal \(\mathcal N=1\) AdS\(_2\) supergravity in superspace \((z,\bar z;\theta,\bar\theta)\), with boundary superspace coordinates \((u,\#)\), and imposes a fixed superline element constraint rather than an ordinary fixed-length condition [1703.10969].

The boundary is embedded as a supercurve
\[
z=z(u,\#),\qquad \bar z=\bar z(u,\#),\qquad \theta=\theta(u,\#),\qquad \bar\theta=\bar\theta(u,\#),
\]
subject to the induced superspace constraint
\[
du+2\#\,d\#\,du=\frac{1}{4\epsilon^2}\,dz^\mu E_\mu^{\ 1}dz^\nu E_\nu^{\ 1}.
\]
With
\[
D\equiv \frac{\partial}{\partial\#}+\#\frac{\partial}{\partial u},
\]
this implies
\[
Dz=-D\theta,\qquad D\bar z=-D\bar\theta.
\]
Solving the constraints gives
\[
\theta=\bar\theta=\psi(u,\#),\qquad z(u,\#)=t(u,\#)+i\epsilon\,(D\psi)(u,\#),
\]
with
\[
Dt=-\psi D\psi,
\]
and a parametrization in terms of a bosonic mode \(f(u)\) and a fermionic mode \(\eta(u)\),
\[
t(u,\#)=f\big(u+\#\eta(u)\big),
\qquad
\psi(u,\#)=\sqrt{f'(u)}\,\eta(u)+\#\left[1+\frac{\eta(u)\eta'(u)}{2f'(u)}\right].
\]
The pair \((f,\eta)\) is identified as the Goldstone multiplet of broken one-dimensional superreparameterization invariance [1703.10969].

The effective boundary action is then
\[
S_{\text{eff}}\propto \int du\,d\#\;\Phi_r(u,\#)\,\mathcal S[t,\psi;u,\#],
\]
where the renormalized dilaton superfield is
\[
\Phi_r(u,\#)=\epsilon\,\Phi|_{\text{bdy}}
=\epsilon\,\frac{\alpha+\beta t+\gamma t^2}{D\psi},
\]
and the \(\mathcal N=1\) super-Schwarzian is
\[
\boxed{
\mathcal S[t,\psi;u,\#]
=
\frac{D^3\psi}{D\psi}
-\frac{3}{2}\frac{(D^2\psi)^2}{(D\psi)^2}
}.
\]
This is the basic ordered super-Schwarzian action in the holographic nearly-AdS\(_2\) sense [1703.10969].

## 2. Why the action is “ordered”

In this supergravity construction, “ordered” refers to the fact that the relative placement of fermions and superderivatives is fixed by geometry rather than by an ad hoc supersymmetric completion. The relevant quantity is the supersymmetric extrinsic curvature of the boundary supercurve,
\[
K=\frac{1}{T_A T^A}\,T_A D n^A,
\]
with tangent vector \(T^A\), normal vector \(n^A\), and a covariant derivative along the supercurve that includes the induced spin connection. The explicit computation yields
\[
K=4\epsilon\;\mathcal S[t,\psi;u,\#]+O(\epsilon^2),
\]
so the finite part of \(K\) is precisely the super-Schwarzian, including its ordering [1703.10969].

The paper identifies three ingredients that remove ambiguity. First, fermion and derivative ordering is fixed by a geometric derivation from the super-extrinsic curvature, rather than by guesswork. Second, the fixed superline element condition and the superconformal gauge determine the admissible boundary embeddings and the allowed derivative structure. Third, invariance under the residual global superconformal group \(OSp(1|2)\), together with Dirichlet conditions on the dilaton superfield and the superspace embedding, selects a unique expression [1703.10969].

The component expansion makes the ordered structure explicit. Writing
\[
\mathcal S[t,\psi;u,\#]=S_b(u)+\#\,S_f(u),
\]
one finds
\[
S_b(u)=\mathrm{Sch}(f;u)\,(1-\eta\eta')+\frac{1}{2}\eta'''\eta+\frac{3}{2}\eta''\eta',
\]
\[
S_f(u)=\mathrm{Sch}(f;u)\,\eta+\eta'''+\frac{3}{2}\frac{\eta''\eta'}{f'}.
\]
Setting \(\eta=0\) reduces the super-Schwarzian to the ordinary bosonic Schwarzian, and the action correspondingly collapses to the standard nearly-AdS\(_2\) boundary action [1703.10969].

This suggests that, in the AdS\(_2\) supergravity literature, an ordered super-Schwarzian action is not merely a supersymmetric analogue of \(\int \mathrm{Sch}(f)\), but the boundary action whose composite structure is fixed by the superspace geometry itself.

## 3. Nonlinear realizations and canonical coset ordering

A second major formulation uses nonlinear realizations of finite superconformal groups. For \(\mathcal N=1\) and \(\mathcal N=2\), the super-Schwarzian derivatives arise from Maurer–Cartan invariants of \(OSp(1|2)\) and \(SU(1,1|1)\), after imposing inverse Higgs constraints that express all Goldstone superfields in terms of a minimal fermionic superfield \(\psi\). In this setting, “ordering” refers to the particular ordering of generators in the coset representative and to the resulting canonical ordering of the Maurer–Cartan forms [2004.04489].

For \(\mathcal N=1\), the super-Schwarzian derivative is
\[
S[\psi;t,\theta]
=
\frac{D^4\psi}{D\psi}
-
2\,\frac{D^3\psi\,D^2\psi}{(D\psi)^2},
\]
while for \(\mathcal N=2\) it is
\[
S[\psi;t,\theta,\bar\theta]
=
\frac{D^3\psi}{D\psi}
-
\frac{D^2\psi\,D^2\psi}{2(D\psi)^2}
-
2i\,\frac{D^2\psi\,\bar D\psi}{(D\psi)^2}.
\]
The construction does not explicitly write a full super-Schwarzian action, but it shows that these derivatives are the last surviving Maurer–Cartan invariants once the Goldstone content has been reduced to a single fermionic superfield, which is the group-theoretic sense in which the expressions are canonically ordered [2004.04489].

The coadjoint-orbit method provides a complementary version of the same idea. For \(N=3\), one starts from the anomalous coadjoint transformation of a fermionic superfield \(b(x,\theta)\) of weight \(1/2\), constructs the Kirillov–Kostant two-form, and obtains both an \(N=3\) super-Schwarzian action and an \(N=(3,0)\) super-Liouville action. A key step is that the coadjoint representative can be “renormalized” into a composite super-Schwarzian,
\[
\mathrm{Ad}^*_{f,\varphi} b
=
\Delta^2 b(f,\varphi)+c\,S(f,\varphi;x,\theta)
=
c\,S(F_0(f,\varphi),\Phi_0(f,\varphi);x,\theta),
\]
for a suitable background superdiffeomorphism \((F_0,\Phi_0)\). This makes the orbit dependence geometrically organized and yields actions invariant under \(OSp(2|3)\) transformations when the initial point of the orbit is appropriately chosen [2008.00457].

## 4. Extended supersymmetry: \(N=3\) and \(N=4\)

For \(N=3\), the nonlinear realization of \(OSp(3|2)\) shows that the situation is structurally richer than for \(N=0,1,2,4\). Instead of a single invariant, several independent invariants built from the fermionic superfield \(\eta^i(t,\theta)\) appear. The standard \(N=3\) super-Schwarzian derivative is only one particular contraction,
\[
I[\eta(t,\theta);t,\theta]
:=
\epsilon_{ijk}\,\eta^i D_jD_k\eta^l\,(D\eta\cdot D\eta)^{-1},
\]
and the extra invariants suggest a hierarchy of \(OSp(3|2)\)-invariant terms ordered by derivative degree, \(SO(3)\) tensor structure, and Grassmann parity [2009.13064].

For \(N=4\), the coadjoint-orbit construction produces an explicit super-Schwarzian action. In the formulation based on the \(N=4\) superconformal algebra, the super-Schwarzian derivative is
\[
S(f,\varphi;x,\theta)=\log\det[D_{\theta_a}\varphi^b(x,\theta)]
=\log\Delta,
\qquad
\Delta=\partial_x f+\varphi_a\partial_x\varphi^a+\varphi^a\partial_x\varphi_a,
\]
and the action is
\[
S_{\text{SS}}[f,\varphi]
=
\int dx\,d^4\theta\;\big(b(f,\varphi)+c\,S(f,\varphi;x,\theta)\big).
\]
For \(b=0\), this action is invariant under \(PSU(1,1|2)\), and the coadjoint-orbit geometry fixes both the derivative structure and the superspace weight of the integrand [1801.06800].

A different \(N=4\) construction uses nonlinear realizations of \(SU(1,1|2)\). There the basic invariant is an \(SU(2)\) triplet
\[
I^a[\psi;t,\theta,\bar\theta]
=
\bar D_\alpha(\sigma^a)^\alpha{}_\beta D^\beta
\ln\big(D_\gamma\psi^\delta\,\bar D^\gamma\psi_\delta\big),
\]
which the paper identifies as the \(N=4\) super-Schwarzian derivative and proposes as the core ingredient of an \(N=4\) supersymmetric SYK-like effective action built from \(I^aI^a\) [2007.04015].

The most general one-dimensional \(N=4\) superconformal case is controlled by the exceptional supergroup \(D(1,2;\alpha)\). In that framework, the super-Schwarzian appears not as a bosonic Cartan component but as the \(d\theta^{ia}\) component of an \(su(2)\) automorphism form. The invariant action is
\[
S
=
-\frac{1}{72}\int d\tau\,
D_{kc}D_{ld}D_{lb}\,\sigma^{kb}\Big|_{\theta\to0},
\]
with \(\sigma^{ia}(\tau,\theta)\) the unique invariant fermionic superfield surviving the minimal Cartan constraints. This action is invariant under the full \(D(1,2;\alpha)\) superconformal group and reduces, after the appropriate limit, to the \(SU(1,1|2)\) case [2112.14481].

## 5. The quantum-mechanical meaning of ordering

A different use of the same language appears in one-dimensional supersymmetric quantum mechanics with second-order supercharges. There the issue is not a boundary superreparametrization mode, but the operator ordering problem in the quantization of a classical supersymmetric system whose supercharges are quadratic in momentum. Naive canonical quantization produces an anomaly: the quantum Hamiltonian and supercharges fail to close the nonlinear supersymmetry algebra unless the superpotential \(W(x)\) has a special form. The anomaly is repaired by a specific ordering prescription that adds an \(\hbar^2\) term given by a Schwarzian derivative [1602.02179].

The correction takes the form
\[
\Delta(W)=-\frac{\hbar^2}{2m}\,S(z(x)),
\qquad
z'(x)=\frac{1}{W(x)},
\]
so the anomaly-free Hamiltonian differs from the directly quantized one by a Schwarzian term. In this sense, the ordered realization is the quantization in which the kinetic term and quadratic supercharges are rewritten as ordered products of non-commuting operators, and the resulting \(\hbar^2\) counterterm is uniquely fixed by supersymmetry [1602.02179].

This usage is conceptually related but not identical to the AdS\(_2\) boundary action. The common feature is that ordering is not arbitrary: in the supergravity case it is fixed by superspace geometry; in the quantum-mechanical anomaly problem it is fixed by closure of the nonlinear supersymmetry algebra. This suggests that “ordered super-Schwarzian” is best understood as a structural label for a uniquely fixed Schwarzian or super-Schwarzian composite, rather than as the name of a single universal Lagrangian.

## 6. Holography, bootstrap, and low-temperature dynamics

The physical role of the ordered super-Schwarzian action is clearest in holography. In nearly AdS\(_2\) supergravity it is the effective boundary theory of the Goldstone supermultiplet \((f,\eta)\), and in supersymmetric SYK it is the low-energy action of the broken superreparameterization mode. The supergravity derivation therefore closes the holographic circle: the super-Schwarzian found on the SYK side is the same boundary action produced by integrating out the AdS\(_2\) supergravity bulk [1703.10969].

Exact control over correlation functions is much more developed in the bosonic Schwarzian than in the supersymmetric case, but the bootstrap picture does extend. The Schwarzian theory is equivalent to a suitable large-\(c\) limit of two-dimensional Virasoro CFT, and its out-of-time-ordered four-point function is governed by a crossing kernel or \(R\)-matrix given by a \(6j\)-symbol of \(SU(1,1)\). The same paper discusses generalizations to \(\mathcal N=1\) and \(\mathcal N=2\) supersymmetric Schwarzian quantum mechanics, where the time-ordered sector is under control through super-Liouville and super-Virasoro methods, but the exact super-\(R\)-matrix needed for the OTO sector remains open [1705.08408].

A more recent development places the Schwarzian and super-Schwarzian sectors directly inside four-dimensional gauge theory. By constructing a large-\(\Lambda\) flow from the discrete spectrum of free \(U(N)\) \(\mathcal N=4\) SYM on \(\mathbb R\times S^3\) to an effective continuum, one recovers the low-temperature expansion of the Gibbons–Hawking action of AdS\(_5\) black holes, including the Schwarzian contribution. In the near-BPS sector, the resulting mass gap matches the conjectured strong-coupling result associated with the \(SU(1,1|1)\) super-Schwarzian, and the emergent reparameterizations are identified with redefinitions of the relevant cutoff scale [2404.01540].

Taken together, these constructions show that the ordered super-Schwarzian action occupies a precise place at the interface of superspace geometry, superconformal representation theory, and black-hole microphysics. Its characteristic feature is always the same: a super-Schwarzian functional whose composite structure is fixed, rather than chosen, by the mechanism that produces it.

Source: https://www.emergentmind.com/topics/ordered-super-schwarzian-action