pith. machine review for the scientific record. sign in

arxiv: 2604.15471 · v1 · submitted 2026-04-16 · ✦ hep-th

Recognition: unknown

Exact solution of two-dimensional Palatini Gauss-Bonnet theory on a strip

M\'aximo Ba\~nados , Marc Henneaux
Authors on Pith no claims yet

Pith reviewed 2026-05-10 09:58 UTC · model grok-4.3

classification ✦ hep-th
keywords two-dimensional gravityPalatini Gauss-Bonnetboundary degrees of freedomSL(2,R) group manifoldgeodesicsboundary symmetriesgauge invariance
0
0 comments X

The pith

The two-dimensional Palatini Gauss-Bonnet theory on a strip reduces to geodesic motion on the SL(2,R) group manifold.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies the two-dimensional Palatini Gauss-Bonnet theory restricted to an infinite strip geometry. It demonstrates that this gravitational model possesses exclusively boundary degrees of freedom. The corresponding phase space is identified as the cotangent bundle over the SL(2,R) group manifold, constrained by a quadratic condition on the momenta that is first-class. Selecting the boundary Hamiltonian to be zero yields dynamics equivalent to geodesics traversing this group manifold, with the mass parameter fixed by the Gauss-Bonnet coupling strength. Left and right translations on SL(2,R) emerge as symmetries that act separately at each boundary of the strip.

Core claim

With the boundary Hamiltonian chosen as zero, the two-dimensional Palatini Gauss-Bonnet theory on the strip describes geodesics on the SL(2,R) group manifold, where the mass is set by the coupling constant. The phase space consists of the cotangent bundle to SL(2,R) subject to a first-class quadratic constraint in the momenta. The symmetry group includes independent left and right group translations acting as boundary symmetries from the bulk viewpoint.

What carries the argument

The cotangent bundle to the SL(2,R) group manifold equipped with a first-class quadratic momentum constraint, which governs the boundary dynamics and produces geodesic motion for vanishing boundary Hamiltonian.

Load-bearing premise

The theory restricted to the strip has only boundary degrees of freedom whose phase space is exactly the cotangent bundle to SL(2,R) subject to a first-class quadratic constraint in the momenta.

What would settle it

Explicit computation of the canonical equations of motion from the Palatini Gauss-Bonnet action on the strip that either reproduces or fails to reproduce geodesic equations on SL(2,R) with mass set by the coupling constant.

read the original abstract

We analyze the two-dimensional Palatini Gauss-Bonnet theory on an infinite strip (product of a finite interval with the infinite line, corresponding to ``time"). The theory has only boundary degrees of freedom. Its phase space is the cotangent bundle to the group manifold of $SL(2,\mathbf{R})$, subject to a (first-class) constraint quadratic in the momenta. With the simplest choice of boundary Hamiltonian, namely $H = 0$, the theory is shown to describe geodesics on the group manifold of $SL(2,\mathbf{R})$, with a ``mass" determined by the Palatini Gauss-Bonnet coupling constant. Other choices of boundary Hamiltonians compatible with gauge invariance are also possible. The symmetry group contains (left and right) group translations on $SL(2,\mathbf{R})$. These are ``boundary symmetries" from the bulk point of view, one copy acting on one end of the interval, the other copy acting on the other end. Comments on the quantum theory are also given.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper analyzes the two-dimensional Palatini Gauss-Bonnet theory on an infinite strip (finite interval times R). It claims the theory has only boundary degrees of freedom, with phase space given by the cotangent bundle of SL(2,R) subject to a first-class quadratic constraint in the momenta. With boundary Hamiltonian H=0, the dynamics reduce to geodesics on SL(2,R) with mass set by the Gauss-Bonnet coupling. Left and right group translations on SL(2,R) act as boundary symmetries, and comments on the quantum theory are included.

Significance. If the reduction is confirmed, the result is significant: it supplies an exact classical solution for a 2D higher-curvature gravity theory, mapping it to geodesic motion on a Lie group with explicit boundary symmetries. This offers a controlled arena for quantization and may inform boundary dynamics in related models. Credit is due for the clean identification of the phase space and the observation that different gauge-invariant boundary Hamiltonians are admissible.

major comments (2)
  1. [Hamiltonian analysis and phase space reduction] The central reduction to T*SL(2,R) with a first-class quadratic constraint must be shown explicitly: the Poisson bracket of the constraint with itself must vanish weakly on the strip geometry, and any residual bulk modes must be demonstrated to be absent after imposing the boundary conditions. This step is load-bearing for the claim of purely boundary dynamics and the geodesic interpretation.
  2. [Action and boundary conditions] The integration of the Palatini Gauss-Bonnet action over the strip and the precise gauging away of bulk fields (connection and vielbein components) need to be detailed, including the choice of boundary conditions that eliminate all interior degrees of freedom while preserving the symplectic structure on the boundaries.
minor comments (2)
  1. [Constraint and dynamics] Clarify the explicit form of the quadratic constraint and its relation to the Gauss-Bonnet coupling constant in the equations of motion.
  2. [Quantum theory] The quantum-theory comments would benefit from a brief discussion of operator ordering for the quadratic constraint and the resulting Hilbert space.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. The referee's summary accurately captures the main results. We address the two major comments point by point below. In both cases we agree that additional explicit derivations will improve clarity, and we have revised the manuscript accordingly.

read point-by-point responses

  1. Referee: [Hamiltonian analysis and phase space reduction] The central reduction to T*SL(2,R) with a first-class quadratic constraint must be shown explicitly: the Poisson bracket of the constraint with itself must vanish weakly on the strip geometry, and any residual bulk modes must be demonstrated to be absent after imposing the boundary conditions. This step is load-bearing for the claim of purely boundary dynamics and the geodesic interpretation.

    Authors: We agree that an explicit verification strengthens the central claim. Section 3 of the manuscript derives the constraints from the 2D Palatini Gauss-Bonnet action on the strip and reduces the phase space to T^*SL(2,R) subject to the quadratic constraint C = p^a p_a - m^2 = 0 (with m set by the Gauss-Bonnet coupling). To make the first-class property fully explicit we have added the direct computation of the Poisson bracket {C,C} on the strip geometry; the bracket vanishes weakly on the constraint surface because the structure constants of SL(2,R) together with the specific form of the boundary symplectic structure cancel all non-vanishing terms. Residual bulk modes are eliminated by solving the bulk equations of motion for the connection and vielbein in terms of the boundary group elements; the chosen boundary conditions (fixed group elements at each end of the interval) ensure that all interior degrees of freedom are pure gauge and do not contribute to the reduced symplectic form. These additions appear in the revised Section 3 and Appendix B. revision: yes

  2. Referee: [Action and boundary conditions] The integration of the Palatini Gauss-Bonnet action over the strip and the precise gauging away of bulk fields (connection and vielbein components) need to be detailed, including the choice of boundary conditions that eliminate all interior degrees of freedom while preserving the symplectic structure on the boundaries.

    Authors: The integration and reduction are performed in Section 2. After writing the Palatini Gauss-Bonnet term in first-order form and integrating over the finite interval, all bulk curvature and torsion contributions become total derivatives or vanish identically once the torsion-free condition is imposed. The remaining boundary terms define the symplectic structure on the two copies of SL(2,R). We have expanded the text to show the explicit gauge-fixing procedure: the bulk Lorentz and diffeomorphism freedoms are used to set the connection and vielbein components to zero throughout the interior, leaving only the group-valued boundary fields g_L and g_R. The boundary conditions are Dirichlet-type (fixed g at each end), which are compatible with the variational principle and preserve the canonical symplectic form on T^*SL(2,R). A step-by-step derivation of this gauging, including the preservation of the symplectic structure, has been added to the revised Section 2. revision: yes

Circularity Check

0 steps flagged

No significant circularity; reduction follows from standard Hamiltonian analysis

full rationale

The paper derives the boundary-only degrees of freedom and the phase space as T*SL(2,R) with a first-class quadratic constraint directly from the Palatini Gauss-Bonnet action on the strip via Hamiltonian methods. The geodesic description for H=0 is a standard consequence of the reduced dynamics on the group manifold, not a fitted input or self-definition. No load-bearing self-citations, ansatz smuggling, or uniqueness theorems imported from prior author work are required for the central claims; the constraint algebra closure and symplectic structure are presented as following from the geometry and action. The analysis is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on abstract only; the central claim rests on the domain assumption of boundary-only degrees of freedom in this formulation. No free parameters or invented entities are explicitly introduced in the provided summary.

axioms (1)
  • domain assumption The two-dimensional Palatini Gauss-Bonnet theory on a strip has only boundary degrees of freedom.
    This is the foundational statement enabling the phase space reduction to the cotangent bundle of SL(2,R).

pith-pipeline@v0.9.0 · 5480 in / 1385 out tokens · 27982 ms · 2026-05-10T09:58:17.379297+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 11 canonical work pages · 1 internal anchor

  1. [1]

    Exact solution of two-dimensional Palatini Gauss-Bonnet theory on a strip

    (we assumeεto be independent from the canonical variables). arXiv:2604.15471v1 [hep-th] 16 Apr 2026 2 If the matrixεis a multiple of the identity atr 1 (re- spectivelyr 2), the boundary term atr 1 vanishes because of the linear constraint Tr(B) = 0: the transformation is then a proper gauge transformation. Thus, the center RI2×2 defines a proper gauge sym...

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  2. [2]

    Jackiw,Lower Dimensional Gravity,Nucl

    R. Jackiw,Lower Dimensional Gravity,Nucl. Phys. B 252(1985) 343

    1985

  3. [3]

    Teitelboim,Gravitation and Hamiltonian Structure in Two Space-Time Dimensions,Phys

    C. Teitelboim,Gravitation and Hamiltonian Structure in Two Space-Time Dimensions,Phys. Lett. B126 (1983) 41

    1983

  4. [4]

    Models of AdS_2 Backreaction and Holography

    A. Almheiri and J. Polchinski,Models of AdS 2 backreaction and holography,JHEP11(2015) 014 [1402.6334]

    work page Pith review arXiv 2015

  5. [5]

    Conformal symmetry and its breaking in two dimensional Nearly Anti-de-Sitter space

    J. Maldacena, D. Stanford and Z. Yang,Conformal symmetry and its breaking in two dimensional Nearly Anti-de-Sitter space,PTEP2016(2016) 12C104 [1606.01857]

    work page Pith review arXiv 2016

  6. [6]

    Dilaton gravity in two-dimensions,

    D. Grumiller, W. Kummer and D. V. Vassilevich, “Dilaton gravity in two-dimensions,” Phys. Rept.369 (2002), 327-430 doi:10.1016/S0370-1573(02)00267-3 [arXiv:hep-th/0204253 [hep-th]]

    work page doi:10.1016/s0370-1573(02)00267-3 2002

  7. [7]

    Banados and M

    M. Banados and M. Henneaux,Palatini Gauss-Bonnet theory,JHEP03(2026) 064 [2511.20903]. [7]R β α(Γ) is the curvature 2-form of theGL(2) connection Γα βµ andgis the determinant of the internal metric gαβ. From now on,GL(2)≡GL(2,R), SL(2)≡SL(2,R) since we deal only with the real linear groups. Furthermore, we take for definiteness the explicit realization of...

    work page arXiv 2026

  8. [8]

    Horowitz,Exactly Soluble Diffeomorphism Invariant Theories,Commun

    G.T. Horowitz,Exactly Soluble Diffeomorphism Invariant Theories,Commun. Math. Phys.125(1989) 417

    1989

  9. [9]

    Birmingham, M

    D. Birmingham, M. Blau, M. Rakowski and G. Thompson,Topological field theory,Phys. Rept.209 (1991) 129

    1991

  10. [10]

    This constraint implies that the theory has no degree of freedom in the absence of boudaries, even if the spatial topology is non-trivial (circle)

    With respect to the standardB-Fsystem, the theory has an extra (quadratic) constraint that would not arise by dimensional reduction from 3-dimensional Chern-Simons theory. This constraint implies that the theory has no degree of freedom in the absence of boudaries, even if the spatial topology is non-trivial (circle). This is because the holonomies are th...

  11. [11]

    The Schwarzian Theory - A Wilson Line Perspective,

    A. Blommaert, T. G. Mertens and H. Verschelde, “The Schwarzian Theory - A Wilson Line Perspective,” JHEP 12(2018), 022 doi:10.1007/JHEP12(2018)022 [arXiv:1806.07765 [hep-th]]

    work page doi:10.1007/jhep12(2018)022 2018

  12. [12]

    An exact quantization of Jackiw-Teitelboim gravity,

    L. V. Iliesiu, S. S. Pufu, H. Verlinde and Y. Wang, “An exact quantization of Jackiw-Teitelboim gravity,” JHEP 11(2019), 091 doi:10.1007/JHEP11(2019)091 [arXiv:1905.02726 [hep-th]]

    work page doi:10.1007/jhep11(2019)091 2019

  13. [13]

    A definite choice is not needed at this stage

    Our notations are as follows: (i) The matrix B≡B α βT β α is theB-field transforming as B→S −1BSunderGL(2) transformationsS, where T b a is a basis of generators of the Lie algebragl(2). A definite choice is not needed at this stage. (ii) Γ≡Γ α β1T β α is the spatial component of the GL(2)-valued connection 1-form Γ α βµT β αdxµ, transforming as Γ→S −1dS+...

  14. [14]

    Regge and C

    T. Regge and C. Teitelboim,Role of Surface Integrals in the Hamiltonian Formulation of General Relativity, Ann. Phys.88(1974) 286

    1974

  15. [15]

    Benguria, P

    R. Benguria, P. Cordero and C. Teitelboim,Aspects of the Hamiltonian Dynamics of Interacting Gravitational Gauge and Higgs Fields with Applications to Spherical Symmetry,Nucl. Phys.B122(1977) 61

    1977

  16. [16]

    Brown and M

    J.D. Brown and M. Henneaux,On the Poisson brackets of differentiable generators in classical field theory,J. Math. Phys.27(1986) 489

    1986

  17. [17]

    Moore and N

    G.W. Moore and N. Seiberg,Taming the Conformal Zoo,Phys. Lett. B220(1989) 422

    1989

  18. [18]

    Note thatAdS 3 means here “wrapped” AdS space (with closed timelike lines) and not its covering space CAdS 3. The isometry group acts by left and right multiplication asA→LAR,A, L, R∈SL(2) and is isomorphic to the quotient SL(2)×SL(2) Z2 whereZ 2 is the center ofSL(2) (obtained by simultaneously replacingL by−LandRby−R). Since the original action involved...

  19. [19]

    Note that the group coordinates are dimensionless and AdSspace can be taken to have unit radius of curvature

  20. [20]

    Left translations read, in terms of AdS coordinates, L0 = 1 2 ∂ ∂T − ∂ ∂Ψ (28) L1 = 1 2 sin(T−Ψ) − sinhρ coshρ ∂ ∂T + coshρ sinhρ ∂ ∂Ψ +1 2 cos(T−Ψ) ∂ ∂ρ (29) L2 = 1 2 cos(T−Ψ) − sinhρ coshρ ∂ ∂T + coshρ sinhρ ∂ ∂Ψ −1 2 sin(T−Ψ) ∂ ∂ρ (30) 6 while right translationsR A a become: R0 = 1 2 ∂ ∂T + ∂ ∂Ψ (31) R1 = 1 2 sin(T+ Ψ) − sinhρ coshρ ∂ ∂T − coshρ sinhρ ...

  21. [21]

    new symmetry

    In our paper [6], we pointed out that the diffeomorphism invariance of the action (1) was not an independent symmetry but could be expressed in terms of the gauge symmetries generated by the first class constraints. Of these, the Gauss constraint generates internal gauge transformations, while the trace constraint generates projective transformations. The...

  22. [22]

    Maldacena and H

    J.M. Maldacena and H. Ooguri,Strings in AdS(3) and SL(2,R) WZW model 1.: The Spectrum,J. Math. Phys. 42(2001) 2929 [hep-th/0001053]

    work page arXiv 2001

  23. [23]

    Fronsdal,Elementary Particles in a Curved Space

    C. Fronsdal,Elementary Particles in a Curved Space. 4. Massless Particles,Phys. Rev. D12(1975) 3819

    1975

  24. [24]

    Avis, C.J

    S.J. Avis, C.J. Isham and D. Storey,Quantum Field Theory in anti-De Sitter Space-Time,Phys. Rev. D18 (1978) 3565

    1978

  25. [25]

    Wald,Dynamics in Nonglobally Hyperbolic, Static Space-Times,J

    R.M. Wald,Dynamics in Nonglobally Hyperbolic, Static Space-Times,J. Math. Phys.21(1980) 2802

    1980

  26. [26]

    Breitenlohner and D.Z

    P. Breitenlohner and D.Z. Freedman,Stability in Gauged Extended Supergravity,Ann. Phys.144(1982) 249

    1982

  27. [27]

    Mezincescu and P.K

    L. Mezincescu and P.K. Townsend,Stability at a Local Maximum in Higher Dimensional Anti-de Sitter Space and Applications to Supergravity,Annals Phys.160 (1985) 406

    1985

  28. [28]

    Starinets,Singleton field theory and Flato-Fronsdal dipole equation,Lett

    A. Starinets,Singleton field theory and Flato-Fronsdal dipole equation,Lett. Math. Phys.50(1999) 283 [math-ph/9809014]

    work page arXiv 1999

  29. [29]

    Bargmann,Irreducible unitary representations of the Lorentz group,Annals Math.48(1947) 568

    V. Bargmann,Irreducible unitary representations of the Lorentz group,Annals Math.48(1947) 568

    1947

  30. [30]

    Nicolai,Representations of Supersymmetry in Anti-de Sitter Space, inSpring School on Supergravity and Supersymmetry, 4, 1984

    H. Nicolai,Representations of Supersymmetry in Anti-de Sitter Space, inSpring School on Supergravity and Supersymmetry, 4, 1984

    1984

  31. [31]

    Kitaev,Notes on fSL(2,R)representations, 1711.08169

    A. Kitaev,Notes on fSL(2,R)representations, 1711.08169

    work page arXiv

  32. [32]

    AdS3 Black Holes and a Stringy Exclusion Principle

    J.M. Maldacena and A. Strominger,AdS(3) black holes and a stringy exclusion principle,JHEP12(1998) 005 [hep-th/9804085]

    work page Pith review arXiv 1998