Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

3D Supergravity in the Batalin-Vilkovisky Formalism

T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Three-dimensional supergravity has a BV action obtained as the pullback of a super BF theory under an explicit canonical transformation.

desk verdict First explicit BV action for 3D supergravity with Rarita–Schwinger term; solid result, but the under-specified spinor pairing needs to be fixed before publication. read the letter →

arxiv 2412.14300 v3 pith:PKHTV4CC submitted 2024-12-18 hep-th math-phmath.MP

Alberto S. Cattaneo , Nima Moshayedi , Alberto Smailovic Funcasta This is my paper · ORCID
classification hep-thmath-phmath.MP MSC 81T7083E50
keywords supergravityBVformalismAKSZBFtheoryPalatini–CartanRarita–Schwingerfieldthree-dimensionalgravity
topics Quantum Gravity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Three-dimensional supergravity—general relativity in $2+1$ dimensions coupled to a spin-$3/2$ Rarita–Schwinger fermion—has a Batalin–Vilkovisky (BV) action that this paper constructs by pulling back the BV action of a simpler super BF theory through an explicit canonical transformation. The simpler theory is an AKSZ theory, so the full BV structure of 3D supergravity—including the ghost for diffeomorphisms and the ghost for local supersymmetry—is inherited rather than built by hand. If the construction is right, local supersymmetry appears inside the BV operator as $Qe=\psi\rho\varepsilon$ and $Q\psi=D_{\Gamma}\varepsilon$, and the Rarita–Schwinger kinetic term is recovered on shell. The result matters because it reduces the notoriously involved BV structure of three-dimensional supergravity to topological BF theory, making boundary and quantization questions more accessible.

What carries the argument

The load-bearing machinery is the AKSZ construction for super BF theory together with a type-2 generating function. The AKSZ target is $N\simeq V[1]\oplus V^{\wedge2}[1]\oplus\Pi S(P)[1]$, with symplectic potential $\alpha_N=b\,d_N a+\frac{1}{2}f\,d_N f$ and Hamiltonian $H_N=\langle\frac{1}{2}b[a,a]+\frac{\Lambda}{6}b^3\rangle+\frac{1}{2}f a f$; transgression to the mapping space $\mathrm{Map}(T[1]M,N)$ produces the BV action $S_{\mathrm{BF}\Phi}$. The canonical transformation $\Phi_{\mathrm{BF}\Phi}$ generated by $G_{\mathrm{BF}\Phi}$ turns that AKSZ action into the supergravity BV action, with the extended piece $G^{\mathrm{ext}}_{\mathrm{BF}}=-\phi^{+}\psi-\gamma^{+}(\varepsilon-\iota_{\xi}\psi)$ chosen so that the on-shell transformation of the diffeomorphism ghost becomes $Q\xi=\frac{1}{2}[\xi,\xi]+\frac{1}{2}\varepsilon e^{-1}(\rho)\varepsilon$. The ghost fermion $\varepsilon=\kappa+\iota_{\xi}\psi$ is the combination that makes two supersymmetry transformations square to a translation.

What would settle it

Take an explicit Majorana representation of $\mathrm{spin}(2,1)$ and check whether the bilinear form on $\Pi S(P)$ that makes $\omega_N=d_N(b\,d_N a+\frac{1}{2} f\,d_N f)$ a symplectic form also turns $\frac{1}{2}\phi D_A\phi$ into the Rarita–Schwinger term under the field redefinitions (4.35); if no non-degenerate graded pairing with the required symmetry exists, Proposition 4.3 fails and the AKSZ foundation of Theorem 4.11 collapses.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.11: there is a BV extension $T_{\mathrm{GR}\Phi}=(F_{\mathrm{GR}\Phi},S_{\mathrm{GR}\Phi},Q_{\mathrm{GR}\Phi},\omega_{\mathrm{GR}\Phi})$ of three-dimensional supergravity obtained by pulling back the BF-supergravity AKSZ theory through the canonical transformation generated by $G_{\mathrm{BF}\Phi}=G_{\mathrm{BF}}+G_{\mathrm{BF}}^{\mathrm{ext}}$, with $G_{\mathrm{BF}}^{\mathrm{ext}}=-\phi^{+}\psi-\gamma^{+}(\varepsilon-\iota_{\xi}\psi)$. Under this transformation the spinorial fields are identified as $\phi=\psi$ and $\gamma=\varepsilon-\iota_{\xi}\psi$, and the classical Rarita–Schwinger term $\frac{1}{2}\psi D_{\Gamma}\psi$ is reproduced. The resulting BV operator contains the local supersymmetry transformations $Qe=\psi\rho\varepsilon$ and $Q\psi=D_{\Gamma}\varepsilon$, while the diffeomorphism ghost transforms on shell as $Q\xi=\frac{1}{2}[\xi,\xi]+\frac{1}{2}\varepsilon\,e^{-1}(\rho)\varepsilon$—the term encoding that two supersymmetries compose to a translation. One generating function therefore extends the known gravity–BF equivalence of [CSS18] to include spin-$3/2$ fermions.

Load-bearing premise

The load-bearing premise is that the spin-$3/2$ Majorana field space carries a non-degenerate graded bilinear form with the symmetry needed to make the AKSZ target symplectic and to reproduce the Rarita–Schwinger kinetic term; the paper does not spell out this form or prove its properties.

Editorial extensions

If this is right

  • The full BV action of 3D supergravity is the pullback $S_{\mathrm{GR}\Phi}=\Phi_{\mathrm{BF}\Phi}^{*}S_{\mathrm{BF}\Phi}$, so every BRST/BV structure of the theory can be derived from the simpler BF-supergravity AKSZ structure.
  • With all ghosts except $\varepsilon$ switched off, the BV operator reproduces the local supersymmetry transformations $Qe=\psi\rho\varepsilon$ and $Q\psi=D_{\Gamma}\varepsilon$, with the spin connection left unchanged.
  • On shell the diffeomorphism ghost obeys $Q\xi=\frac{1}{2}[\xi,\xi]+\frac{1}{2}\varepsilon e^{-1}(\rho)\varepsilon$, exhibiting the standard supersymmetry-algebra relation that two supersymmetries generate a translation.
  • Since BF supergravity is an AKSZ theory and the equivalence is a symplectomorphism, 3D supergravity inherits an AKSZ-type description, making it a topological theory.
  • The construction supplies the first explicit BV extension of 3D supergravity found in the literature, in contrast to four dimensions where BV actions require nonlinear anti-field terms.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural next step, not taken in the paper, is to perform the BV–BFV reduction to a boundary using the explicit generating function; the boundary theory should be a super-Chern–Simons theory whose states could be compared with the bulk AKSZ action.
  • The equivalence can be run in reverse to pull Wilson-line-type observables of BF theory back to supergravity observables, providing a candidate complete set of diffeomorphism-invariant observables for 3D supergravity.
  • Because the entire construction rests on one bilinear form, testing the Euclidean-signature version or other real spinor representations would indicate how generic the theorem is; the authors say the results generalise, but each case needs its own non-degeneracy check.
  • At the quantum level, the AKSZ formulation suggests a perturbative path integral that localises on the BF supergravity moduli space; verifying that the measure is well defined would be a concrete check of the equivalence beyond the classical BV structure.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper constructs a Batalin-Vilkovisky (BV) extension of three-dimensional supergravity with the Rarita–Schwinger term by showing that this theory is equivalent to a BF supergravity theory realized as an AKSZ theory. The central result, Theorem 4.11, states that the tuple T_GRΦ is a BV extension, with action S_GRΦ obtained by pulling back the BF supergravity action S_BFΦ under a canonical transformation generated by G_BFΦ = G_BF − φ+ψ − γ+(ε − ιξψ). The authors show that on shell the BV operator contains local supersymmetry transformations Qe = ψρε and Qψ = Dε, and that the diffeomorphism ghost transforms as Qξ = 1/2[ξ,ξ] + 1/2 ε e^{-1}(ρ)ε, which encodes that two supersymmetries yield a translation.

Significance. If the construction is correct, the paper provides an explicit BV extension of 3D supergravity and demonstrates that the BV equivalence between 3D gravity and BF theory survives the inclusion of spin-3/2 fermions. The paper is notable for its explicitness: the generating function, the field redefinitions, and the components of the cohomological vector field are given concretely in (4.34), (4.35), and (4.41). The result is also checkable by direct expansion, and it does not fit parameters or assume the conclusion; the supersymmetry algebra is used as a guide, but the theorem purports to verify the outcome independently. The main weaknesses are that two load-bearing computations are not fully shown, and the spinor bilinear form underlying the AKSZ target is never defined.

major comments (3)
  1. [Prop. 4.3, Eqs. (4.7)–(4.9)] The assertion that ω_N = d_N(b d_N a + 1/2 f d_N f) is symplectic on the AKSZ target N = V[1] ⊕ V∧2[1] ⊕ ΠS(P)[1] requires a non-degenerate, spin(2,1)-invariant bilinear form on the spinor sector, but the manuscript never defines this pairing. The term 1/2 f d_N f contracts spinor indices implicitly; the paper does not state the bilinear form, nor does it verify its graded symmetry, non-degeneracy, or invariance under the spin(2,1) action generated by the a-coordinate. A standard choice in 3D is the charge conjugation matrix, which is antisymmetric and can make the spinor block non-degenerate, but this choice is not mentioned. Since every subsequent formula from the BF supergravity action (4.12) to the BV supergravity action (4.40) is obtained by transgressing or pulling back this target, the central construction is unsupported until this bilinear form is defined and its properties proved.
  2. [Thm. 4.11, Eqs. (4.37)–(4.38) and Def. 4.13] The proof of Theorem 4.11 asserts that after expanding the terms in (4.37) "one verifies" the on-shell identity (4.38), with the expansion "rendered explicit in Definition 4.13". However, Definition 4.13 merely states the final action (4.40) and the components of Q_GRΦ in (4.41); it does not show the intermediate steps by which the generating function (4.34) produces the coefficients and signs in (4.41c)–(4.41f). For example, the origin of the terms with explicit prefactors in (4.41d) is not demonstrated. Because the claim that T_GRΦ is a BV extension of 3D supergravity rests on this computation, the omitted expansion is load-bearing and should be supplied, e.g., in an appendix.
  3. [Prop. 4.6, Eqs. (4.22)–(4.24)] In the derivation of (4.24), the step labeled "holds if and only if" in (4.23) equates two expressions for Q_GRΦ(ιξe) and concludes that ι_{Q'(ξ)}e ≡ −1/2 (κ+ιξψ)ρ(κ+ιξψ). This conclusion uses the on-shell equations of motion (4.4c), the unstated spinor bilinear form, and the invertibility of the triad; the argument is too compressed to check, and the signs depend on the graded symmetry of the pairing, which is never specified. Since Proposition 4.6 is the guiding principle for the choice of the extension G_ext_BF in (4.34), the missing details should be supplied so that the reader can verify the computation independently.
minor comments (4)
  1. [Def. 4.1 and Prop. 4.3] The symbol S(P) is used inconsistently: in Definition 4.1 it is the space of 1-forms taking values in the spinor bundle, while in Proposition 4.3 it denotes the vector space (typical fibre) of the spinor representation. Please clarify the intended meaning in each occurrence.
  2. [Eq. (4.10)] In (4.10), the fermionic sector is written as Ω(M, ΠS(P))[1]; given Definition 4.1, it is unclear whether the fermionic fields are 1-forms or 0-forms. Please state the degrees and parities of all component fields explicitly.
  3. [Throughout] The manuscript contains numerous garbled symbols and typos (e.g., the misplaced glyphs in Eq. (3.2) and "Minkowvski" in Proposition 4.3); the text should be carefully proofread.
  4. [Abstract] The abstract's statement that 3D supergravity "is equivalent to an AKSZ theory" is imprecise: the paper shows that the BV extension of supergravity is the pullback of the AKSZ action of BF supergravity under a canonical transformation, not that the supergravity action itself is of AKSZ form. Please adjust the wording.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the BV extension is verified by explicit computation; reliance on [CSS18] is a legitimate prior theorem; the unproven spinor pairing is a gap, not a circular step.

full rationale

The central construction is a standard AKSZ/BV pullback: S_GRΦ is defined as Φ_BFΦ^* S_BFΦ, and the nontrivial content is the explicit generating function G_ext_BF = -ϕ+ψ - γ+(ε - ιξψ). The paper verifies directly that the pulled-back action has the correct classical spinorial term (4.36) and that the on-shell BV operator reproduces the expected local supersymmetry transformations (4.38). The desired supersymmetry algebra is used as a guide to select the generating function, but the theorem confirms the outcome by computation; this is construction guided by constraints, not a fitted quantity renamed as a prediction. The self-citations to [CSS18] and [CS19a] are to published theorems with stated assumptions that do not include the target supergravity result, so they constitute legitimate external evidence rather than load-bearing self-citation. The main weakness is the unstated spinor bilinear form underlying Proposition 4.3's symplectic form ω_N = d_N(b d_N a + 1/2 f d_N f); without defining this pairing and proving its graded symmetry and non-degeneracy, the AKSZ target is not fully justified. However, this is a proof gap or correctness risk, not a circular reduction: the symplectic form is an input to the AKSZ construction, not a conclusion derived from the supergravity BV action being constructed. No equation in the derivation reduces to its own input by construction, so the paper receives a circularity score of 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted; Λ is an input cosmological constant and the coefficients in G_ext_BF are fixed by the stated requirements. The paper borrows two published equivalences ([CSS18], [AT86]) and standard graded-geometry identities, and assumes non-degeneracy of the triad. No new particles, forces, or dimensions are introduced.

assumptions (5)
  • standard math Graded Cartan identity and commutators of Lie, interior, and exterior derivatives hold on graded manifolds (Appendix A), including Lemma 4.5 from [CS19a].
    Used in Proposition 4.6 to derive the on-shell action of the BV operator on the diffeomorphism ghost ξ.
  • domain assumption Strong BV equivalence between 3D Palatini-Cartan gravity and BF theory with the type-2 generating function G_BF in (3.19), as proven in [CSS18].
    The paper extends this known canonical transformation to include fermions; the bosonic part of the supergravity BV action relies on it.
  • domain assumption On-shell equivalence of 3D supergravity and super BF theory with Rarita-Schwinger term ([AT86]).
    Motivates the identification of the classical actions and the field content for the BV extension.
  • domain assumption The spacetime M is a closed oriented 3-manifold without boundary, and the cotriad e is non-degenerate so e^{-1} exists.
    Definitions 3.1-3.6 and the expression e^{-1}(ρ) in (4.17) require an invertible triad.
  • domain assumption The spin-3/2 Majorana representation ρ of spin(2,1) admits a non-degenerate invariant bilinear form that makes the target (N,ω_N) symplectic; this form is not spelled out in the paper.
    This is the load-bearing premise for the AKSZ formulation of BF supergravity in Proposition 4.3 and for all subsequent formulas.

how reviews work

0 comments
Cite this review

Pith. "Pith review of 3D Supergravity in the Batalin-Vilkovisky Formalism." pith.science (2026). https://pith.science/paper/PKHTV4CC

@misc{pith2026241214300,
  author       = {Pith},
  title        = {Pith review of: 3D Supergravity in the Batalin-Vilkovisky Formalism},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PKHTV4CC}},
  note         = {Machine review of arXiv:2412.14300}
}
read the original abstract

Three-dimensional supergravity in the Batalin-Vilkovisky formalism is constructed by showing that the theory including the Rarita-Schwinger term is equivalent to an AKSZ theory.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Batalin-Vilkovisky formulation of the $\mathcal N=1$ supergravity in ten dimensions

    hep-th 2025-01 conditional novelty 7.0 of 10

    A BV action for ten-dimensional N=1 supergravity coupled to Yang-Mills is proposed in component fields, with consistency checks but no complete proof of the classical master equation.

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages · cited by 1 Pith paper

  1. [2]

    Double BFV quantisation of 3d Gravity

    url: https://doi.org/10.4310/atmp.2022.v26.n3.a 2. [CS24] G. Canepa and M. Schiavina. Double BFV quantisation of 3d Gravity. 2024. arXiv: 2410.23184 [math-ph]. url: htt ps://arxiv.org/abs/2410.23184. [Can+24] G. Canepa et al. “Boundary Structure of the Standard Model Coupled to Gravity”. In: Annales Henri Poincar´ e (Sept. 2024). issn: 1424-0661. doi: 10....

    work page Pith review arXiv 2016

  2. [31]

    Batalin-Vilkovisky analysis of super- symmetric systems

    issn: 0370-2693. doi: https://doi.org/10.1016/037 0-2693(81)90205-7 . url: https://www.sciencedirect .com/science/article/pii/0370269381902057. [Bau+90] L. Baulieu et al. “Batalin-Vilkovisky analysis of super- symmetric systems”. In: Physics Letters B 252.3 (1990), pp. 387–394. issn: 0370-2693. doi: https://doi.org/10 .1016/0370-2693(90)90557-M . url: htt...

    work page arXiv 1990

  3. [603]

    Introduction to the BV-BFV Formalism

    issn: 1432-0916. doi: 10.1007/s00220-014-2145-3 . url: http://dx.doi.org/10.1007/s00220-014-2145-3. [CM20] A. S. Cattaneo and N. Moshayedi. “Introduction to the BV-BFV Formalism”. In: Reviews in Mathematical Physics 32.09 (Apr. 2020), p. 2030006. issn: 1793-6659. doi: 10.1 142/s0129055x2030006x. url: http://dx.doi.org/10.1 142/S0129055X2030006X. [CS18] A....

    work page arXiv 2019

  4. [2022]

    Boundary structure of gauge and matter fields coupled to gravity

    arXiv: 2206.14680 [math-ph] . url: https://arxi v.org/abs/2206.14680. [CS22] G. Canepa and M. Schiavina. “Fully extended BV-BFV description of general relativity in three dimensions”. In: Adv. Theor. Math. Phys. 26.3 (2022), pp. 595–642. issn: 1095-0761,1095-0753. doi: 10.4310/atmp.2022.v26.n3.a

    work page Pith review arXiv 2022

  5. [2025]

    BV description of $N = 1$, $D = 4$ Supergravity in the first order formalism

    arXiv: 2503.07373 [math-ph] . url: https://arxi v.org/abs/2503.07373. [CMS24] A. S. Cattaneo, L. Menger, and M. Schiavina. “Gravity with Torsion as Deformed BF Theory”. In: Classical and Quantum Gravity 41.15 (June 2024), p. 155001. issn: 1361-

    work page Pith review arXiv 2024

  6. [6382]

    Classical BV Theories on Manifolds with Boundary

    doi: 10.1088/1361-6382/ad5135 . url: http://dx .doi.org/10.1088/1361-6382/ad5135. [CMR14] A. S. Cattaneo, P. Mnev, and N. Reshetikhin. “Classical BV Theories on Manifolds with Boundary”. In: Communica- tions in Mathematical Physics 332.2 (Aug. 2014), pp. 535–

    work page doi:10.1088/1361-6382/ad5135

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.