{"id":"de72ff24-92dd-4f66-8dd5-c5b5a5a0b5e4","arxiv_id":"2507.06279","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The BV pushforward of standard Palatini-Cartan gravity on Sigma x I equals the restricted BV theory, which is isomorphic to the AKSZ theory compatible with BFV boundary data.","lead":"The authors prove that the standard Batalin-Vilkovisky description of Palatini-Cartan gravity on a cylinder carries the same physical information as a boundary-friendly AKSZ-style description, by integrating out a redundant part of the connection. This makes general relativity on cylindrical spacetimes compatible with boundary data, a step toward treating gravity as an extended field theory.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Missing proof of quasiisomorphism: Theorem 13 establishes equality of effective actions, but §2.2's equivalence also requires an inverse chain map q or cohomology isomorphism, and neither is constructed; the advertised equality of observable expectation values is therefore one-directional.","rationale":"I read the paper in good faith and found the construction plausible: the symplectomorphism of Theorem 9 is laid out with a long componentwise proof in Appendix A, and Lemma 11 checks nondegeneracy of the Gaussian integrand in every dimension, which is the right necessary condition for a contractible fiber. The reader's weakest assumption is also the most load-bearing concern. Section 2.2 makes clear that the equivalence claim requires a quasiisomorphism, not merely equality of effective actions; Theorem 13 supplies only the effective-action identity. With the correct BV grading, the fiber is T*[-1]V and the nondegenerate quadratic form should make the fiber acyclic, so the missing quasiisomorphism is very likely repairable; but the proof is absent, and the boundary section explicitly defers its key computation. This is a proof gap rather than a demonstrated error, so I would not lower the verdict below the reader's CONDITIONAL. I found no independent basis for a stronger objection, and I agree with the reader's assessment that the advertised equality of observable expectation values is the point that needs to be closed.","tokens_in":24828,"tokens_out":12162,"duration_ms":156449,"concrete_test":"Work in the finite-dimensional fiber model of §5.1–5.2: Ff = T*[-1]V with symplectic form ∫δvδv† and S_fiber = 1/2∫e_n e^{N−3}[v,v], and set d = {S_fiber,·}. Compute the BV cohomology of the polynomial/formal functional complex in (v,v†). If H^0(d) ≅ C and all higher cohomology vanishes, the fiber is acyclic and a homological-perturbation argument supplies the missing quasiisomorphism; if, for example, H^0(d) contains nonconstant polynomials in v, then p is not injective on cohomology and the two theories can have different observable algebras despite equal effective actions. Equivalently, attempt to construct q as the Gaussian expectation followed by the section v = v† = 0 and verify q∘p and p∘q are homotopic to the identity up to Ω-exact terms.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central equivalence is defined in §2.2 as a quasiisomorphism between BV observable cohomologies: the chain map p induced by the BV pushforward must induce an isomorphism H_Ω(F_s) ≅ H_Ω(F_r), so that every restricted observable is the image of some full observable and expectation values correspond. What the paper actually proves is Theorem 13: f_PV(μ_s^{1/2}e^{iS_s/ℏ}) = μ_r^{1/2}e^{iS_r/ℏ}, i.e. the pushforward of the exponential of the action. This is the O=1 case of p and fixes the effective action, but it does not by itself give the inverse chain map q or show that p is injective/surjective on cohomology. Section 5.2 proves nondegeneracy of the quadratic form in v (Lemma 11), which is the natural ingredient for proving the fiber is acyclic, but the paper never states or cites the acyclicity argument; it jumps from Lemma 11 to the conclusion that the restricted theory is obtained by BV pushforward, and then to equivalence. The same gap reappears in the boundary extension: §6.2 closes with 'The BV pushforward now has all the properties as in Section 2,' and Proposition 21 explicitly defers the verification. Thus the advertised one-to-one correspondence of observables and expectation values is not established by the text as written.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":25149,"tokens_out":6533,"duration_ms":77364,"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":[{"comment":"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.","section":"§2.2 and Theorem 13"},{"comment":"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.","section":"§6.2 and §6.3, Proposition 21"},{"comment":"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.","section":"§5.1, Proposition 10"}],"minor_comments":[{"comment":"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.","section":"§5.2, Lemma 11, N > 4 case"},{"comment":"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.","section":"Throughout"},{"comment":"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.","section":"Definition 6, equation (7)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a contribution to a well-developed research programme by the same authors, and the reliance on prior results [CS19b], [CCS21b], and [CCS21a] is natural and appropriately cited. The main concern is not the style but the substance: the central equivalence claim in Section 2.2 is not established by the computations in Sections 4–5, because the quasiisomorphism property on observable cohomology is missing. This is fixable within the paper's scope if the authors supply the missing acyclicity/homotopy argument and the boundary verification. The determinant miscomputation in Lemma 11 suggests that the appendices, though detailed, have not been checked with full care; the authors should audit the remaining algebraic identities as well."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe new thing here is the pushforward itself. Earlier work got the restricted PC theory as a BV sub-theory isomorphic to the AKSZ construction ([CCS21a]) and handled the classical reduction ([CC25]); nobody had shown that the standard bulk BV theory reduces to the restricted one by integrating out the redundant v-fields. That is a real, nontrivial step, and the paper does most of it properly.\n\nWhat earns credit: the symplectomorphism ψ in Theorem 9 is written out explicitly, and the verification in Appendix A is a long but legible componentwise check. Lemma 11 proves nondegeneracy of the Gaussian quadratic form in all dimensions N ≥ 4 with explicit determinant computations, including the slightly tricky cases with blocks of size 3 and (N−3). That is real, reproducible work. The reliance on the same group's earlier theorems ([CS19b], [CCS21b], [CCS21a]) is honest; those are cited results, not smuggled assumptions.\n\nThe soft spot is exactly where the stress-test lands. Section 2.2 defines equivalence via a quasiisomorphism between BV observable cohomologies: the chain map p must induce an isomorphism. Theorem 13 only establishes the O=1 case, the pushforward of the exponentiated action. That fixes the effective action but says nothing about whether every restricted observable comes from a full observable, or whether the map is injective on cohomology. The natural missing ingredient would be an acyclicity argument for the fibers; Lemma 11 supplies nondegeneracy of the quadratic form, which is a necessary input, but the paper never states or proves the acyclicity step. The same gap reappears in Section 6: §6.2 says 'the BV pushforward now has all the properties as in Section 2' without proof, and Proposition 21 defers a long computation. The good b-condition is plausible but its verification is one line.\n\nNone of this destroys the paper. The gap is addressable, not a demonstrated error. But the abstract's claim that expectation values of corresponding observables are the same is stronger than what is proved. In its current form, the paper shows the effective actions match; it does not show the observable complexes match.\n\nWho is this for? Researchers working on BV-BFV and extended field theories for gravity, and anyone who wants a worked BV pushforward in a non-topological setting. It deserves a serious referee; I would send it to review, but the referee should push for an explicit proof of the quasiisomorphism or a precise statement of what additional structure is needed to get it.","headline":"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.","tokens_in":25632,"tokens_out":2689,"would_cite":true,"duration_ms":31095,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T70","83C45","53C80"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Batalin–Vilkovisky formalism","Palatini–Cartan gravity","BV pushforward","AKSZ construction","BV-BFV structure","structural constraints","coframe fields","boundary conditions"],"falsifier":"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.","tokens_in":24598,"feed_emoji":"🌌","tokens_out":15359,"duration_ms":145445,"temperature":0.7,"pith_summary":"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.","feed_headline":"A BV pushforward equates two formulations of Palatini–Cartan gravity","feed_subtitle":"The standard action and the restricted boundary-compatible action yield the same expectation values on Σ × I.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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$."],"supporting_citations":[{"why":"Defines the standard BV theory for Palatini–Cartan gravity that plays the role of the starting theory in the pushforward.","marker":"[CS19a]"},{"why":"Shows the restricted BV theory is BV-isomorphic to the AKSZ theory of gravity, making it the target formulation of the equivalence.","marker":"[CCS21a]"},{"why":"Supplies the unique decomposition of the connection into a constrained part and the residual field $v$.","marker":"[CS19b]"},{"why":"Supplies the decomposition lemma and the boundary BFV data for the reduced phase space used in the boundary analysis.","marker":"[CCS21b]"},{"why":"Establishes at the classical level that the $\\Sigma$-component of the connection is redundant and can be integrated away.","marker":"[CC25]"},{"why":"Provides the general framework for BV pushforwards on BV bundles and the BV-BFV formalism used in Sections 2 and 6.","marker":"[CMR18]"},{"why":"Proves the chain-map and homotopy-invariance properties of BV pushforwards on which the equivalence notion rests.","marker":"[Mne08]"},{"why":"Introduces the BV-BFV structure for field theories with boundary that the restricted theory is meant to carry.","marker":"[CMR14]"}],"fun_headline_variants":["BV pushforward equates Palatini–Cartan and AKSZ gravity","BV pushforward proves Palatini–Cartan gravity equivalence","Palatini–Cartan gravity: BV pushforward yields AKSZ form","BV pushforward unifies Palatini–Cartan and boundary BFV","Symplectomorphism proves BV equivalence for Palatini–Cartan"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["BV pushforward equates Palatini–Cartan and AKSZ gravity","BV pushforward proves Palatini–Cartan gravity equivalence","Palatini–Cartan gravity: BV pushforward yields AKSZ form","BV pushforward unifies Palatini–Cartan and boundary BFV","Symplectomorphism proves BV equivalence for Palatini–Cartan"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000698,"raw_usage":{"total_tokens":3144,"prompt_tokens":929,"completion_tokens":2215,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":545,"completion_tokens_details":{"reasoning_tokens":2116}},"tokens_in":545,"tokens_out":2215,"duration_ms":16947,"temperature":1.0,"reasoning_tokens":2116,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T19:14:07.408126+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}