Pith. sign in

REVIEW 3 major objections 3 minor 2 cited by

BV Pushforward of Palatini-Cartan gravity

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

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

Pith's one-line read On cylindrical spacetimes, the standard BV formulation of Palatini–Cartan gravity is equivalent, via a BV pushforward, to the restricted AKSZ-like theory with compatible boundary BFV data.

desk verdict The pushforward is a real new step and the componentwise computations are solid, but the advertised observable-level equivalence is one-directional: Theorem 13 proves equality of effective actions, not the required quasiisomorphism on BV observables. read the letter →

arxiv 2507.06279 v1 pith:LXBYFQ3X submitted 2025-07-08 math-ph gr-qchep-thmath.MP

Giovanni Canepa , Alberto S. Cattaneo This is my paper · ORCID
classification math-phgr-qchep-thmath.MP MSC 81T7083C4553C80
keywords Batalin–VilkoviskyformalismPalatini–CartangravityBVpushforwardAKSZconstructionBV-BFVstructurestructuralconstraintscoframefieldsboundaryconditions
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

This paper sets out to prove that the standard Batalin–Vilkovisky (BV) formulation of Palatini–Cartan gravity and the restricted, AKSZ-like formulation used for boundary data are not just related but equivalent, at least when spacetime is a cylinder $\Sigma \times I$. The mechanism is a BV pushforward: the authors write the standard theory as the restricted theory plus an extra field, then integrate that field out using a Gaussian integral whose quadratic form is shown to be nondegenerate. The central identity is Theorem 13, which says the exponentiated action of the restricted theory is exactly the pushforward of the exponentiated action of the standard theory. In the paper's equivalence sense, this means the two theories share BV observables and expectation values, so the restricted theory can serve as the boundary-compatible version of Palatini–Cartan gravity. This is a concrete step toward presenting gravity as an extended field theory with gluing rules.

What carries the argument

The carrying object is the BV pushforward along a Lagrangian submanifold of the fiber of a BV bundle, specialized to a Gaussian integration that eliminates the redundant part of the $\Sigma$-component of the connection. Three ingredients load-bear: the decomposition theorems that uniquely split the connection and its antifield into a part obeying the structural constraint and a residual part $v$ with $e^{N-3}v = 0$; the explicit symplectomorphism $\psi$ exhibiting the standard theory as the restricted theory plus terms in $(v, v^\dagger)$; and the nondegeneracy lemma for the quadratic form $\int_{\Sigma \times I} \frac{1}{2(N-3)!}\, e_n\, e^{N-3}[v,v]$, proved by determinant computations in a convenient tetrad basis. The composition of these pieces is the map $f_{PV}$ of Theorem 13. For a compact interval, the same mechanism is made boundary-safe by the good b-condition that kills $v$ and its $d_{\omega_n}$-derivatives on the boundary.

What would settle it

Compute the BV cohomology of the standard and restricted theories in a concrete case such as $N = 4$ on $M = T^3 \times S^1$, and check whether the pushforward $p$ induces an isomorphism; exhibiting a closed observable in the standard theory whose pushforward is exact in the restricted theory, or a cohomology class not hit by $p$, would refute the quasiisomorphism and with it the equality of observables, even if the exponentiated-action identity still holds.

Watch

Extended reading notes

Core claim

On a spacetime of the form $M = \Sigma \times I$ with $N \geq 4$, the standard BV theory for Palatini–Cartan gravity is equivalent to the restricted BV theory defined by structural constraints such as $W^\dagger \in \mathrm{Im}(W^{1,1}_{e^{N-3}})$, which in turn was previously shown to be BV-isomorphic to the AKSZ construction based on boundary BFV data. The equivalence is established by an explicit symplectomorphism $\psi$ that rewrites the standard theory as the restricted theory plus a complementary pair $(v, v^\dagger)$, followed by the BV pushforward along the Lagrangian submanifold $V = \{v^\dagger = 0\}$ in the fiber $T^*[1]V$. Theorem 13 states that $\mu_r^{1/2} e^{i S_r/\hbar} = f_{PV}\bigl(\mu_s^{1/2} e^{i S_s/\hbar}\bigr)$ with $f_{PV} = PV \circ \psi^*$, so the exponentiated action of the restricted theory is obtained by integrating out $v$. When $I$ has boundary, the same conclusion holds through a relaxed BV pushforward using the good b-condition $B = \{\iota^*_\partial v = 0,\ \iota^*_\partial (d_{\omega_n})^k v = 0 \text{ for all } k \geq 1\}$. On the paper's equivalence notion, the two theories have the same BV observables and matching expectation values. The paper also notes that a nonzero cosmological constant can be included by adding $\frac{1}{(N-1)!} e_n e^{N-1}\Lambda$ to the reduced action.

Load-bearing premise

The load-bearing premise is that the BV pushforward $p$ induced by Theorem 13 is a quasiisomorphism, because the paper proves the equality of exponentiated actions but does not construct the inverse chain map, and the claimed equality of observables and expectation values depends on that cohomological isomorphism.

Editorial extensions

If this is right

  • Palatini–Cartan gravity on $\Sigma \times I$ acquires a BV formulation with a compatible BV-BFV boundary structure, so bulk and boundary data can be attached consistently in an extended-field-theory sense.
  • Expectation values of corresponding observables in the standard and restricted theories agree, so computations can be done in whichever formulation is more convenient without changing physical predictions.
  • The redundant part of the connection along $\Sigma$ can be systematically integrated away, reducing the field content without loss of information at the level of the exponentiated action.
  • For a compact interval, the same reduction is valid under the boundary condition that $v$ and all its $d_{\omega_n}$-derivatives vanish on the boundary.
  • A nonzero cosmological constant is covered by adding $\frac{1}{(N-1)!} e_n e^{N-1}\Lambda$ to the reduced action, so the equivalence is not special to $\Lambda = 0$.

Reading between the lines

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

  • The paper proves the exponentiated-action identity, but the advertised equality of observables would be fully secured by an explicit inverse chain map or by a cohomology computation for the pushforward $p$, both of which the paper leaves implicit.
  • Because the eliminated field $v$ enters through a nondegenerate quadratic form, the reduction should hold perturbatively order by order in $\hbar$; a concrete check would be a one-loop computation of the effective action comparing the two sides in $N = 4$.
  • The structural constraints defining the restricted theory describe exactly the image of the pushforward, so the same integrate-out-the-kernel pattern may apply to other BV theories whose redundancy is controlled by a map like $e^{N-3}$.
  • On $I = S^1$ the pushforward gives a circle-reduced effective theory, and composing such reductions along intervals may be a route toward the gluing and cutting axioms of an extended field theory.
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 / 3 minor

Summary. The paper claims that, on a cylindrical space-time M = Σ × I with N ≥ 4, the standard BV formulation of Palatini–Cartan gravity is equivalent, via BV pushforward, to a restricted BV theory that is known, by previous work [CCS21a], to be BV-isomorphic to an AKSZ-type theory with compatible BV-BFV structure. The argument splits the standard BV fields into restricted fields plus a fiber parametrized by a redundant connection component v, constructs an explicit symplectomorphism ψ to a product-like BV theory, proves nondegeneracy of the quadratic part in v (Lemma 11), and then states that the BV pushforward along the fiber produces the restricted theory (Theorem 13). A boundary extension is treated by introducing relaxed BV pushforwards and a good b-condition in Section 6.

Significance. If fully established, the result would resolve a known obstruction to presenting Palatini–Cartan gravity as an extended field theory with BV-BFV structure, and it would give a concrete mechanism for integrating out redundant fields while preserving observable expectation values. The paper contains substantial explicit computations, including a detailed symplectomorphism in Section 4, a determinant proof of Gaussian nondegeneracy for all N ≥ 4 in Section 5.2, and a careful formal framework for BV pushforwards with boundaries in Section 6. These computations are valuable and largely reproducible from the text. However, the central advertised conclusion — equivalence of the two theories in the sense of Section 2.2, including a one-to-one correspondence of observables — is not actually proven, because the quasiisomorphism property of the induced chain map on observable cohomology is asserted rather than demonstrated. The paper is therefore a solid computational contribution whose main claim needs an additional, load-bearing argument.

major comments (3)
  1. [§2.2 and Theorem 13] The paper defines equivalence in Section 2.2 as a quasiisomorphism between BV observable cohomologies, requiring the chain map p induced by the BV pushforward to induce an isomorphism H_Ω(F_s) → H_Ω(F_r). What Theorem 13 proves is the equality f_PV(μ_s^{1/2}e^{iS_s/ℏ}) = μ_r^{1/2}e^{iS_r/ℏ}, i.e. the pushforward of the exponentiated action. This is the O = 1 case and it fixes the effective action, but it does not construct the inverse chain map q, nor does it establish injectivity or surjectivity of p on cohomology. The nondegeneracy of the quadratic form in v (Lemma 11) is a natural ingredient for proving acyclicity of the fiber, but no acyclicity or homotopy argument is given. Consequently, the advertised equalities of expectation values for arbitrary corresponding observables, and the statement that the two theories carry the same physical information, are not supported by the text as written. This is the central claim of the paper and needs to be fixed, for example by exhibiting a homotopy operator or by proving that the fiber is contractible in the relevant BV sense.
  2. [§6.2 and §6.3, Proposition 21] For the compact-interval case, the relaxed BV pushforward is asserted to have 'all the properties as in Section 2' at the end of Section 6.2, but the required chain-map and quasiisomorphism properties are not verified. Proposition 21 states the preBV-BFV data and its proof consists of 'a long but easy computation'; Proposition 22 verifies only the good b-condition. The text does not show that the relaxed pushforward produces a well-defined chain map on observable cohomology, nor that the effective S1 satisfies the appropriate master equation or that α1 descends in the required way. Since Section 6 is essential for the case M = Σ × [0,1] that motivates the BV-BFV interpretation, these omissions are load-bearing for the paper's main claim. The authors should either provide the missing verification or explicitly restrict the main theorem to the cases where no boundary analysis is needed.
  3. [§5.1, Proposition 10] The construction of the BV bundle structure uses a pointwise transformation Λ_x with Λ_x e = e0, where e0 is a reference tetrad. The proof asserts that applying Λ_x^2 to v and extending to v† as a cotangent lift gives the desired bundle isomorphism. However, it is not shown that this prescription assembles into a smooth global symplectomorphism between the infinite-dimensional graded manifolds, nor is the smooth dependence of Λ_x on the base point e ∈ Fr discussed. Since the global product structure FH ≅ Fr × Ff is a prerequisite for applying the BV pushforward, this gap should be closed by a more detailed argument or by an explicit statement of the additional regularity/triviality assumptions that are being made.
minor comments (3)
  1. [§5.2, Lemma 11, N > 4 case] In the block decomposition for N > 4, the text states that the matrix A = ½[[0,-1,1],[-1,0,-1],[1,-1,0]] has determinant 1. In fact det(½M) = (½)^3 det M = (½)^3 · 2 = ¼, not 1. The conclusion of nondegeneracy is unaffected because the determinant is still nonzero, but the numerical value used in the subsequent counting of blocks is incorrect and should be corrected.
  2. [Throughout] There are several typographical errors that should be fixed: 'asssumed' in Remark 14, 'symplecting space' in the Introduction, and 'Leibnitz' instead of 'Leibniz'. The underlined-script notation for forms along I in Remark 5 is used heavily in the Appendix and would benefit from a short table of notations.
  3. [Definition 6, equation (7)] The expression W^{-1}_{e^{N-3}} is used before the domain and invertibility properties of W are recalled; the reader is referred to [Can24], but a one-line description of the relevant invertibility statement would improve readability and make the structural constraint (7) self-contained.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular reduction: the BV pushforward from standard to restricted PC gravity is a genuine computation; the main caveat is a non-circular completeness gap in the quasiisomorphism argument.

full rationale

The derivation chain is not circular. The restricted BV theory F_r is defined independently (Definition 6) as a constrained subspace of the standard field space, before any pushforward is performed; the paper then proves, by an explicit symplectomorphism ψ (Theorem 9 and Appendix A) and a Gaussian integration whose nondegeneracy is checked in Lemma 11, that the BV pushforward of the standard BV action equals the restricted action (Theorem 13). The pushforward identity is a computation, not an input: F_r, S_r and ϖ_r are fixed in advance, and the v variables that are integrated out are genuinely additional fields whose quadratic form is shown to be nondegenerate rather than assumed. The cited decomposition theorems (Theorem 7 from [CS19b], Lemma 8 from [CCS21b], and Lemma 12 from [CCS21b]) are concrete, parameter-free mathematical lemmas with stated assumptions that do not include the target equivalence, so they act as ordinary lemmas rather than as an unverified self-citation chain. The identification of F_r with the AKSZ theory is inherited from [CCS21a]; that is a legitimate prior result, not an ansatz smuggled into this paper's derivation. The main caveat is a completeness gap, not circularity: Section 2.2 defines equivalence as a quasiisomorphism of BV observable cohomologies, requiring an inverse chain map q or a cohomology isomorphism, while Section 5 proves only the O=1 pushforward identity f_PV(μ_s^{1/2}e^{iS_s/ħ}) = μ_r^{1/2}e^{iS_r/ħ} (Theorem 13). The one-directional chain map p is not shown to be invertible on cohomology, and Proposition 21 in Section 6 defers verification with 'The BV pushforward now has all the properties as in Section 2.' This means the advertised equality of observable expectation values is established only conditionally on a missing quasiisomorphism argument. That is a correctness/completeness concern, not a circular reduction by definition, by fit, or by self-citation, so it does not raise the circularity score.

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

The central proof rests on prior BV and PC constructions from the same research group, plus a formal infinite-dimensional Gaussian integration. No free parameters are fitted to data. The main new ingredients are the explicit symplectomorphism psi and the nondegeneracy check for the v-integration; the AKSZ interpretation is inherited from [CCS21a].

assumptions (6)
  • domain assumption The standard BV action for Palatini-Cartan gravity from [CS19a] satisfies the classical and quantum master equation on closed manifolds.
    Section 3.1 uses Definition 4 and the cohomological vector field Q_s as the starting point; no proof is repeated.
  • domain assumption Theorem 7 and Lemma 8 from [CS19b] and [CCS21b] give unique decompositions omega = bomega + v and W_dagger = e^{N-3} tau_dagger + epsilon_n e^{N-4} [mu_dagger, e] under the structural constraints.
    These decompositions are used in Section 4 to build the symplectomorphism psi; their proofs are only cited.
  • domain assumption The restricted BV theory is BV-isomorphic to the AKSZ theory of gravity, as proven in [CCS21a].
    Used in the introduction and Section 3.2 to identify the pushforward result with the AKSZ and BV-BFV compatible version; not re-derived.
  • ad hoc to paper The field space admits a global reference tetrad e0 and smooth pointwise transformations Lambda_x that trivialize the fiber bundle FH to Fr.
    Section 5.1 constructs the BV bundle locally; global smoothness and absence of topological obstructions are assumed.
  • ad hoc to paper Formal BV integration over the infinite-dimensional fiber T*[1]V is well-defined and the Gaussian determinant is absorbed into the chosen half-densities mu_r and mu_s.
    Section 5.2 checks a finite-dimensional matrix determinant; no analytic or regularization treatment of the infinite-dimensional Gaussian integral is given.
  • domain assumption The coframe e induces a nondegenerate metric on every slice Sigma x {t}, and the auxiliary section epsilon_n with d_I epsilon_n = 0 together with e forms a global basis of V.
    Used throughout to split fields and define the structural constraints; this restricts the class of allowed spacetimes to cylindrical ones with slicewise nondegenerate coframes.

how reviews work

0 comments
Cite this review

Pith. "Pith review of BV Pushforward of Palatini-Cartan gravity." pith.science (2026). https://pith.science/paper/LXBYFQ3X

@misc{pith2026250706279,
  author       = {Pith},
  title        = {Pith review of: BV Pushforward of Palatini-Cartan gravity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LXBYFQ3X}},
  note         = {Machine review of arXiv:2507.06279}
}
read the original abstract

The goal of this note is to show that the standard BV formulation of gravity in the Palatini-Cartan formalism is equivalent, using a BV pushforward, to an AKSZ-like version compatible with BFV data on the boundary.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. The reduced Dirac structure of General Relativity on manifolds with corners

    math-ph 2026-07 conditional novelty 7.0 of 10

    The reduced corner phase space of Palatini–Cartan gravity is a Dirac structure—the graph of a Poisson bivector—yielding a strict BF2V theory.

  2. 4D Palatini-Cartan Gravity in Hamiltonian Form

    gr-qc 2025-07 accept novelty 6.0 of 10

    Eliminating an auxiliary piece of the spatial connection turns 4D Palatini-Cartan gravity into a Hamiltonian system with zero Hamiltonian, first-class constraints, and an ADM mass boundary term.

Reference graph

Works this paper leans on

3 extracted references · 1 canonical work pages · cited by 2 Pith papers

  1. [537]

    BV-BFV approach to general relativity: Palatini– Cartan–Holst action

    issn: 1432-0916. doi: 10.1007/s00220-005-1339-0 . [CS19a] A. S. Cattaneo and M. Schiavina. “BV-BFV approach to general relativity: Palatini– Cartan–Holst action”. Advances in Theoretical and Mathematical Physics 23 (8 Dec. 2019), pp. 2025–2059. doi: 10.4310/ATMP.2019.v23.n8.a3. [CS19b] A. S. Cattaneo and M. Schiavina. “The reduced phase space of Palatini–...

    arXiv 2019

  2. [603]

    Perturbative quantum gauge theories on manifolds with boundary

    issn: 1432-0916. doi: 10.1007/s00220-014-2145-3 . [CMR18] A. S. Cattaneo, P. Mnev, and N. Reshetikhin. “Perturbative quantum gauge theories on manifolds with boundary”. Communications in Mathematical Physics 357.2 (Jan. 2018), pp. 631–730. doi: 10.1007/s00220-017-3031-6 . [CR05] A. S. Cattaneo and C. A. Rossi. “Wilson surfaces and higher dimensional knot ...

    doi:10.1007/s00220-014-2145-3 2018

  3. [1614]

    On the properties of coframes

    issn: 1432-0916. doi: 10.1007/s00220-021-04127-6 . [Can24] G. Canepa. “On the properties of coframes” (2024). arXiv: 2410.17682 [math-ph]. [CC25] G. Canepa and A. S. Cattaneo. “4D Palatini–Cartan gravity in hamiltonian form” (2025). arXiv: 2507.02431 [gr-qc]. [CCS21b] G. Canepa, A. S. Cattaneo, and M. Schiavina. “Boundary structure of general rel- ativity...

    work page Pith review arXiv 2024

Pith tools

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