{"id":"74236d39-552a-4224-9931-3c95e5185f30","arxiv_id":"2412.14300","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A BV action for 3D supergravity is obtained by proving the Rarita-Schwinger theory is symplectomorphic to a BF supergravity AKSZ theory.","lead":"This paper constructs a Batalin-Vilkovisky (BV) action for three-dimensional supergravity by showing it is equivalent to a simpler topological field theory called BF supergravity. The construction makes the supersymmetry transformations and diffeomorphism ghosts appear explicitly, giving a clean framework for quantizing 3D supergravity and studying its boundary structure.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The AKSZ target in Proposition 4.3 relies on a non-degenerate spin(2,1)-invariant bilinear form on the Majorana spinor sector that the paper never defines; with the wrong graded symmetry the spinor block of ω_N vanishes, so every formula from (4.12) onward is unsupported until this pairing is…","rationale":"The reader's weakest assumption already identified the unspecified spinor bilinear form, and I agree that this is the most load-bearing point. Unlike the summarized expansions in Theorem 4.11, which are computational and could in principle be checked by hand, Proposition 4.3 is the foundation: without a non-degenerate, invariant pairing, BF supergravity is not an AKSZ theory, the canonical transformation has no well-defined source, and Theorem 4.11 has no content. The paper's notation 'appropriate contraction' (Section 1.2) is not enough here, because the graded symmetry of the pairing determines whether the quadratic 2-form in the odd cotangent directions is non-zero at all. I also note a secondary issue: the enumeration in Proposition 4.9 appears to include terms such as (ιξϕ+, ψ+) that depend on old antifields, which cannot be independent variables in a type-2 generating function; however, this affects the uniqueness argument for G_ext, not the existence of the proposed extension. Since the explicit standard Majorana pairing is likely to resolve the main concern, the appropriate verdict remains CONDITIONAL rather than REJECT or ACCEPT.","tokens_in":16457,"tokens_out":62070,"duration_ms":557109,"concrete_test":"Fix the explicit 3D Majorana pairing, e.g., β(χ,ψ) = χ^T C ψ with C = γ^0 and C^T = -C, and write the target coordinates f = (f^1,f^2). Compute ω_N = d_N(b d_N a + 1/2 f^T C d_N f), verify that the spinor block 1/2 C_{ij} d_N f^i ∧ d_N f^j is non-degenerate and that L_{Q_N}ω_N = 0 for Q_N = -{H_N,·}; then expand the transgression to confirm the spinor terms in (4.12d) and (4.14). If the spinor block is zero or not Q_N-invariant, Proposition 4.3 is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 4.3 defines the AKSZ target N with α_N = b d_N a + 1/2 f d_N f and asserts that ω_N = d_N α_N is symplectic. For the spinor block to be non-degenerate, the implicit pairing β in 1/2 β(f,d_N f) must be a bilinear form on ΠS(P)[1] with the correct graded symmetry. Here f is an even coordinate of degree 1, so d_N f is odd and only the ordinary antisymmetric part of β contributes to the 2-form; the paper neither states β nor verifies non-degeneracy or invariance under the spin(2,1) action generated by the a-coordinate. The standard 3D Majorana pairing is provided by the charge conjugation matrix C, which is antisymmetric and does make the spinor block non-degenerate, so the construction is likely repairable. But because every subsequent formula—the BF supergravity action (4.12), the QBFΦ action (4.14), the generating function (4.34), and the BV supergravity action (4.40)—is obtained by transgressing or pulling back this target, a missing or wrongly symmetrized pairing would invalidate the central theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":16671,"tokens_out":8963,"duration_ms":71857,"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":[{"comment":"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.","section":"Prop. 4.3, Eqs. (4.7)–(4.9)"},{"comment":"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.","section":"Thm. 4.11, Eqs. (4.37)–(4.38) and Def. 4.13"},{"comment":"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.","section":"Prop. 4.6, Eqs. (4.22)–(4.24)"}],"minor_comments":[{"comment":"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.","section":"Def. 4.1 and Prop. 4.3"},{"comment":"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.","section":"Eq. (4.10)"},{"comment":"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.","section":"Throughout"},{"comment":"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.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"The construction is plausible and the paper is a good fit for the journal, but the missing spinor bilinear form and the compressed proof of Theorem 4.11 need to be addressed before publication. I recommend major revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First, the headline: this paper provides the first explicit BV action for 3D supergravity with the Rarita–Schwinger term, and it does so by extending the known CSS18 BV equivalence between Palatini–Cartan gravity and BF theory to include spin-3/2 fermions. The new generating function (4.34) and the resulting BV operator are genuinely new and not a repackaging of old results.\n\nThe paper is well structured and honest. The AKSZ formulation of BF supergravity is straightforward, and the canonical transformation is explicit. The fact that the BV operator correctly produces the local supersymmetry transformations Qe = ψρε and Qψ = Dε, with the expected 1/2 ε e^{-1}(ρ)ε term in Qξ, is a strong check. The construction is not circular; the supersymmetry algebra guides the choice of generating function, but the verification is independent. Self-citations to [CSS18, CS19a] are appropriate.\n\nThe soft spots are real but proportionately moderate. The most important one is in Proposition 4.3: the AKSZ target is defined with α_N = b d_N a + 1/2 f d_N f, but the bilinear pairing on the spinor space is never specified. To check that ω_N is symplectic, you need to know the graded symmetry and non-degeneracy of that pairing. The standard 3D Majorana pairing via charge conjugation is antisymmetric and should work, but the paper must state it and verify invariance. This is a load-bearing detail because every later formula descends from this target; it is likely repairable, but it cannot be left implicit. Second, the 'one verifies' in Theorem 4.11 skips a fair amount of algebra. Definition 4.13 gives the final explicit formulas, but not the step-by-step derivation. That is more of a presentation issue, though it would help referees to see at least the main intermediate steps. Proposition 4.6 is also a bit delicate, relying on on-shell identities; but I did not find contradictions.\n\nOverall, the central claim holds up, conditional on the spinor pairing being the standard one. This paper deserves a serious referee; it fills a gap and will be useful for BV-BFV boundary work and quantization. I would send it to review with a request to clarify the spinor pairing and provide more of the omitted expansions. I'd cite it in my own work if I were working on 3D quantum gravity.","headline":"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.","tokens_in":17256,"tokens_out":5014,"would_cite":true,"duration_ms":42563,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T70","83E50"],"pacs":[],"model":"deepseek-v4-flash","headline":"Three-dimensional supergravity has a BV action obtained as the pullback of a super BF theory under an explicit canonical transformation.","keywords":["supergravity","BV formalism","AKSZ formalism","BF theory","Palatini–Cartan formalism","Rarita–Schwinger field","three-dimensional gravity"],"falsifier":"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.","tokens_in":16220,"feed_emoji":"⚛️","tokens_out":11255,"duration_ms":85281,"temperature":0.7,"pith_summary":"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.","feed_headline":"3D supergravity is the pullback of a simpler BF theory","feed_subtitle":"An explicit canonical transformation puts diffeomorphism ghosts and local supersymmetry into one BV action.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the strong BV equivalence between 3D Palatini–Cartan gravity and BF theory that this paper extends by adding spin-3/2 fermions.","marker":"[CSS18]"},{"why":"Introduces the AKSZ construction used to realise BF supergravity as an AKSZ theory.","marker":"[Ale+97]"},{"why":"Defines the Batalin–Vilkovisky formalism that the paper applies to supergravity.","marker":"[BV81]"},{"why":"Provides Lemma 9, the identity $[L^\\Gamma_\\xi,\\iota_\\xi]\\phi=\\iota_{[\\xi,\\xi]}\\phi$, used to prove Proposition 4.6.","marker":"[CS19a]"},{"why":"Establishes the on-shell equivalence between super BF theory and 3D supergravity that motivates the AKSZ target.","marker":"[AT86]"},{"why":"Supplies the definition of mapping spaces and the transgression map that underpin the AKSZ field space (2.12)–(2.19).","marker":"[CMR14]"},{"why":"Establishes that 3D BF theory is on-shell equivalent to Palatini–Cartan gravity, the classical statement being extended.","marker":"[Wit88]"}],"fun_headline_variants":["3D supergravity emerges as pullback of BF theory","One BV action unifies gravity and supersymmetry in 3D","Canonical transformation turns 3D supergravity into BF","Spin-3/2 fermions fit into BF theory in this BV pullback"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["3D supergravity emerges as pullback of BF theory","One BV action unifies gravity and supersymmetry in 3D","Canonical transformation turns 3D supergravity into BF","Spin-3/2 fermions fit into BF theory in this BV pullback"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001027,"raw_usage":{"total_tokens":4283,"prompt_tokens":853,"completion_tokens":3430,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":469,"completion_tokens_details":{"reasoning_tokens":3354}},"tokens_in":469,"tokens_out":3430,"duration_ms":21151,"temperature":1.0,"reasoning_tokens":3354,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T12:22:26.419130+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}