pith. sign in

arxiv: 2605.30558 · v2 · pith:MINLKNTNnew · submitted 2026-05-28 · 🧮 math-ph · hep-th· math.AT· math.MP· math.QA

BV pushforward as a quasi-isomorphism

Alberto S. Cattaneo , Pavel Mnev This is my paper

Pith reviewed 2026-06-29 00:10 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.ATmath.MPmath.QA
keywords BV theoryquasi-isomorphismhomological perturbation lemmapushforward mapeffective theorydeformation retractiontopological quantum mechanicsAKSZ theory
0
0 comments X

The pith

The BV pushforward map is a quasi-isomorphism of BV complexes when fields are split into infrared and ultraviolet subspaces.

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

The paper shows that the pushforward map P_* takes observables of a full BV theory to those of an effective theory on the infrared fields and induces an isomorphism on the cohomology. This is established by constructing a strong deformation retraction of the complexes using the homological perturbation lemma. Two proofs are provided, one by matching Feynman diagrams to cable diagrams and another via topological quantum mechanics. The construction also yields an explicit quasi-inverse map i_int that lifts effective observables back to the full theory.

Core claim

In a BV theory on fields split into infrared and ultraviolet parts, the BV pushforward P_* is part of a strong deformation retraction and therefore a quasi-isomorphism of the BV complexes, with the quasi-inverse i_int realized as a path integral in the topological quantum mechanics perspective.

What carries the argument

Strong deformation retraction constructed via the homological perturbation lemma, with P_* as one component and i_int as the quasi-inverse.

If this is right

  • The induced map on BV cohomology is an isomorphism, so physical observables are preserved.
  • An explicit formula for lifting effective observables to the full theory is obtained.
  • The classical limit of the lifting map can be studied using the AKSZ realization.
  • Feynman diagrams for the pushforward correspond to cable diagrams from perturbation theory.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This equivalence suggests that computations in the effective theory capture the same cohomological information as the full theory.
  • The path integral form of i_int may allow numerical or approximate evaluations in specific models.
  • Similar retraction constructions could apply to other field splittings or gauge theories.

Load-bearing premise

The space of fields admits a splitting into infrared and ultraviolet subspaces on which a BV theory is defined.

What would settle it

Construct a concrete BV theory with an infrared-ultraviolet field split where the pushforward map fails to induce an isomorphism on the cohomology of the BV operator.

Figures

Figures reproduced from arXiv: 2605.30558 by Alberto S. Cattaneo, Pavel Mnev.

Figure 1
Figure 1. Figure 1: General cable diagram for a term in the homological perturbation series (104 for p~. Such cable diagrams correspond – by pinching the left side of the cable, forget￾ting the horizontal tiered structure, and recalling that ω ′′−1κ ∨ = h – to Feynman diagrams computing the BV pushforward of an observable (74) by Wick’s contrac￾tions, [PITH_FULL_IMAGE:figures/full_fig_p021_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Feynman graph for the BV pushforward of an observ￾able O in a free theory. (O corresponds to the input monomial on the left side of the cable in [PITH_FULL_IMAGE:figures/full_fig_p021_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Cable diagrams for K~. For functions on F ′ , we similarly take SbF ′∗[[~]]. Integrals (BV pushforwards) we encounter in this section are understood perturbatively – as perturbed Gaussian integrals computed via Feynman diagram expansion. In the setting of Section 4, consider a deformation of the BV action on F, S0 → S = S0 + Sint, where Sint = P n≥3 Sn, with Sn a polynomial of degree n on F. We assume that… view at source ↗
Figure 4
Figure 4. Figure 4: A typical cable diagram for a term in Q′ ~ . (each of the incoming and outgoing threads for Qn can be infrared or ultraviolet).30 30 An important property of admissible cable diagrams for Q′ ~ (and for iint below) is that the black dot κ ∨ occurs only in two possible situations: (a) just before the merging of two threads on one of the merging threads, by the mechanism of Figures 1, 3 (or equivalently formu… view at source ↗
Figure 5
Figure 5. Figure 5: Hamiltonian vector field generated by the contribution of a Feynman graph Γ to the effective action S ′ acting on an in￾frared observable O′ . Note that here a nontrivial transformation occurs only to one input thread,31 thus the diagram determines a derivation of SbF ∗ [[~]] (a formal vector field on F ′ ). Such a diagram can be seen as representing {S ′ Γ , O′} ′ – the action of the Hamiltonian vector fi… view at source ↗
Figure 6
Figure 6. Figure 6: Typical cable diagram for a term in pint. Acting on an element O ∈ SbF ∗ [[~]] (an input for the left side of the cable), such a diagram reproduces a Feynman graph in the perturbative expansion of (109), see [PITH_FULL_IMAGE:figures/full_fig_p026_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: A Feynman graph for the integral (109) computing the BV pushforward of an observable O. i Qint K~ Qint K~ Qint K~Qint K~ Qint K~ [PITH_FULL_IMAGE:figures/full_fig_p027_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: A typical cable diagram for iint. Thick threads stand for elements of F ∗ (i.e., thick thread = dashed thread F ′∗ plus thin thread F ′′∗). (F, ω, S), see Figures 8, 9. Nevertheless, in Section 8.2 below we will interpret them as Feynman diagrams for the BV integral for a different theory build out of (F, ω, S). 5.1. Example: toy interacting quantum scalar field. Consider the toy scalar theory (Example 4.2… view at source ↗
Figure 9
Figure 9. Figure 9: A typical cable diagram for Kint. with P(x) = Sint(x) = P n≥3 Pn n! x n a polynomial potential. The corresponding perturbation of the BV differential is (119) Q0,~ = x ∂ ∂ξ − i~ ∂ 2 ∂x∂ξ → Q~ = x ∂ ∂ξ − i~ ∂ 2 ∂x∂ξ + P ′ (x) ∂ ∂ξ | {z } Qint In this case the SDR (107) is (120) Kint y(C[[x, ξ]][[~]], Q~) iint=i ⇆ pint C[[~]]. Here iint is still the tautological inclusion of constants. The projection (121) p… view at source ↗
Figure 10
Figure 10. Figure 10: Graphical representation for a term in ZT→∞. Grey boxes are e −tiLE , with ti the width of the box. Between the boxes, terms of [κ, Q b int] or η are applied. homotopy ¯κ: F • → F•−1 compatible with the SDR (60). Then for the topologi￾cal quantum mechanics (163) with G = κb¯ and the Hamiltonian H = [Q~, κb¯], the statement of Theorem 6.1 still holds. The reason is that one can arrange the formulae in the … view at source ↗
Figure 11
Figure 11. Figure 11: A typical Feynman graph contributing to the pertur￾bative 1d AKSZ path integral (295). A particular configuration of times tv in the integrand in (296) corresponds to a particular horizontal placement of vertices. term in (293) vertex in Feynman graphs Ha ∈ Hom(F ∗ , SF ∗ ) Hb ∈ Hom(F ∗ , SF ∗ ) Hη ∈ Hom(S 2F ∗ , R) B ∈ Hom(F ∗ , R) O ∈ SF ∗ O Here incoming half-edges are decorated by p and outgoing ones … view at source ↗
Figure 12
Figure 12. Figure 12: Typical Feynman graph contributing to the expansion of iint (297. of the graph and |Aut(Γ)| is the order of the automorphism group. The weight of the graph is (296) Φτ Γ(O, xout, T ) = Z [0,T] Vbulk * O v∈Vbulk dtvHλ(v) ⊗ O ⊗ B ⊗VB , O edges e=(vu) π ∗ uvα + Γ [PITH_FULL_IMAGE:figures/full_fig_p056_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: 1d AKSZ Feynman graph for pint. Also note that, due to the exponential decay of the propagator (294), the integral (296) in the limit T → ∞ is supported on configurations {tv} where all tv are within O(1) of T . Thus, a typical configuration is where the dashed edges are very long and the other edges are finite. Finally, in the Feynman graphs appearing in (297) we immediately recognize the cable diagrams … view at source ↗
Figure 14
Figure 14. Figure 14: 1d AKSZ Feynman graph for Kint. A new element compared to [PITH_FULL_IMAGE:figures/full_fig_p058_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: Illustration for Example 8.14: BF theory on a cylin￾der with boundary condition for A on one side (t = T ) and observ￾able O′  Azm = H S1×{0} A  on the other side yields in the limit T → ∞ the lift of the observable iint(O′ )(Aout), cf. (319). References [1] M. Alexandrov, M. Kontsevich, A. Schwarz, O. Zaboronsky. “The geometry of the master equation and topological quantum field theory.” International … view at source ↗
read the original abstract

Given a BV theory on a space of fields split into two subspaces ("infrared" and "ultraviolet"), one has the BV pushforward map $P_*$, sending observables to observables of the effective theory on the infrared space. This note proves that $P_*$ is a quasi-isomorphism of BV complexes, by realizing it as a part of a strong deformation retraction constructed using the homological perturbation lemma. Two proofs are given: (i) comparing Feynman diagrams for $P_*$ with "cable diagrams" arising from homological perturbation theory and (ii) using topological quantum mechanics. This construction gives a formula for the quasi-inverse $i_\mathrm{int}$ of $P_*$ - the map lifting observables of the effective theory to the full theory. The topological quantum mechanics perspective - and its realization as an AKSZ theory - allows one to write $i_\mathrm{int}$ as a path integral (realizing cable diagrams for $i_\mathrm{int}$ as Feynman diagrams) and to study its classical limit.

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

0 major / 1 minor

Summary. Given a BV theory on a space of fields split into infrared and ultraviolet subspaces, the manuscript proves that the BV pushforward map P_* is a quasi-isomorphism of BV complexes. It realizes P_* as part of a strong deformation retraction constructed via the homological perturbation lemma. Two proofs are supplied: one equating the Feynman diagrams of P_* with cable diagrams from HPL, and the other realizing the construction inside an AKSZ model via topological quantum mechanics. The work also supplies an explicit formula for the quasi-inverse i_int, which admits a path-integral representation whose classical limit can be studied.

Significance. If the result holds, it supplies a rigorous justification, via standard homological algebra, for the quasi-isomorphism property of the BV pushforward that underlies effective BV theories. The two independent proofs, the explicit quasi-inverse, and the AKSZ/topological-QM realization (which converts cable diagrams into Feynman diagrams) are concrete strengths that increase the reliability of the claim.

minor comments (1)
  1. [Abstract] The abstract introduces 'cable diagrams' without a one-sentence gloss or forward reference; a brief parenthetical would improve immediate readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the result, and recommendation of minor revision. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation assumes the field-space splitting into IR/UV subspaces as an explicit setup hypothesis and then invokes the standard homological perturbation lemma to build a strong deformation retraction containing P_*. The two proofs—one equating Feynman diagrams of P_* with HPL cable diagrams and the other realizing the construction inside an AKSZ model via topological quantum mechanics—supply an explicit quasi-inverse i_int without reducing any claim to a self-definition, a fitted parameter renamed as a prediction, or a load-bearing self-citation chain. All steps rely on external, independently verifiable mathematical machinery rather than internal re-labeling of inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on established tools from homological algebra and BV theory without introducing new fitted parameters or postulated entities.

axioms (1)
  • standard math The homological perturbation lemma applies to the BV complexes arising from the infrared-ultraviolet splitting.
    Invoked to construct the strong deformation retraction containing P_*.

pith-pipeline@v0.9.1-grok · 5717 in / 1054 out tokens · 30870 ms · 2026-06-29T00:10:06.249368+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

31 extracted references · 5 canonical work pages · 2 internal anchors

  1. [1]

    The geometry of the master equation and topological quantum field theory

    M. Alexandrov, M. Kontsevich, A. Schwarz, O. Zaboronsky . “The geometry of the master equation and topological quantum field theory.” Internatio nal Journal of Modern Physics A 12, no. 07 (1997): 1405–1429

    1997

  2. [2]

    How to discretize the different ial forms on the interval

    R. Bandiera, F. Schaetz, “How to discretize the different ial forms on the interval.” Higher Structures 1 (2017): 56–86

    2017

  3. [3]

    Burghart, J

    F. Burghart, J. Steinebrunner, Unpublished undergradu ate student intern project directed by P. Mnev, Max Planck Insitute for Mathematics, Bonn, 2015

    2015

  4. [4]

    Minimal models in algebra, combinatorics and topology,

    A. Berglund, “Minimal models in algebra, combinatorics and topology,” PhD thesis, Stock- holm University 2008

    2008

  5. [5]

    Towards equivar iant Yang–Mills theory

    F. Bonechi, A. S. Cattaneo, M. Zabzine, “Towards equivar iant Yang–Mills theory.” Journal of Geometry and Physics 189 (2023): 104836

    2023

  6. [6]

    Surface Observables, 2-Knot Invariant s, and Nonabelian Electric Fluxes

    A. S. Cattaneo, “Surface Observables, 2-Knot Invariant s, and Nonabelian Electric Fluxes.” arXiv preprint arXiv:2511.13623 (2025)

    work page arXiv 2025

  7. [7]

    Perturbative q uantum gauge theories on manifolds with boundary

    A. S. Cattaneo, P. Mnev, N. Reshetikhin. “Perturbative q uantum gauge theories on manifolds with boundary.” Communications in Mathematical Physics 357.2 (2018): 631–730

    2018

  8. [8]

    A cellular topo logical field theory

    A. S. Cattaneo, P. Mnev, N. Reshetikhin. “A cellular topo logical field theory.” Communica- tions in Mathematical Physics 374.2 (2020): 1229–1320

    2020

  9. [9]

    Higher-Dimensional BF Theories in the Batalin–Vilkovisky For- malism: The BV Action and Generalized Wilson Loops

    A. S. Cattaneo, C. A. Rossi. “Higher-Dimensional BF Theories in the Batalin–Vilkovisky For- malism: The BV Action and Generalized Wilson Loops.” Commun ications in Mathematical physics 221.3 (2001): 591–657

    2001

  10. [10]

    Factorization Algebras in Q uantum Field Theory

    K. Costello, O. Gwilliam. “Factorization Algebras in Q uantum Field Theory.” Vol. 2. Cam- bridge University Press, 2021

    2021

  11. [11]

    On the perturbation lemma, and deformations

    M. Crainic. “On the perturbation lemma, and deformatio ns.” 2004. arXiv: math/0403266v1 [math.AT]

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  12. [12]

    Lie theory for nilpotent L∞ -algebras

    E. Getzler, “Lie theory for nilpotent L∞ -algebras.” Annals of mathematics (2009): 271–301

    2009

  13. [13]

    Cyclic L∞ algebras and shifted symplectic forms,

    E. Getzler, “Cyclic L∞ algebras and shifted symplectic forms,” talk at the confere nce “Fifty years of BRST,” Munich, March 24, 2026

    2026

  14. [14]

    Perturbation theory in differential homological algebra I

    V. K. Gugenheim and L. A. Lambe. “Perturbation theory in differential homological algebra I.” In: Illinois Journal of Mathematics 33.4 (1989), pp. 566 –582. 62 A. S. CATTANEO AND P. MNEV

    1989

  15. [15]

    Geometry of localized effective the ories, exact semi-classical approx- imation and the algebraic index

    Z. Gui, S. Li, K. Xu. “Geometry of localized effective the ories, exact semi-classical approx- imation and the algebraic index.” Communications in Mathem atical Physics 382.1 (2021): 441–483

    2021

  16. [16]

    Elliptic trace map on chiral algebras

    Z. Gui, S. Li. “Elliptic trace map on chiral algebras.” a rXiv preprint arXiv:2112.14572 (2021)

    work page arXiv 2021

  17. [17]

    Factorization algebras and free field the ories

    O. Gwilliam, “Factorization algebras and free field the ories.” Northwestern University, 2012

    2012

  18. [18]

    How to derive Feynman diagrams for finite-dimensional integrals directly from the BV formalism,

    O. Gwilliam, T. Johnson-Freyd. “How to derive Feynman d iagrams for finite-dimensional integrals directly from the BV formalism.” arXiv preprint a rXiv:1202.1554 (2012)

    work page arXiv 2012

  19. [19]

    Formal solution of the mas ter equa- tion via HPT and defor- mation theory

    J. Huebschmann, J. Stasheff. “Formal solution of the mas ter equa- tion via HPT and defor- mation theory.” Forum Math. 14 (2002): 847–868

    2002

  20. [20]

    Homological perturbation theory f or nonperturbative integrals

    T. Johnson-Freyd, “Homological perturbation theory f or nonperturbative integrals.” Letters in Mathematical Physics 105.11 (2015): 1605-1632

    2015

  21. [21]

    Semidensities on odd symplectic s upermanifolds

    H. M. Khudaverdian, “Semidensities on odd symplectic s upermanifolds.” Communications in mathematical physics 247.2 (2004): 353–390

    2004

  22. [22]

    Quantum field theory as effective BV theory from Chern–Simons

    D. Krotov, A. Losev. “Quantum field theory as effective BV theory from Chern–Simons.” Nuclear physics B 806, no. 3 (2009): 529–566

    2009

  23. [23]

    Vertex algebras and quantum master equation

    S. Li. “Vertex algebras and quantum master equation.” J ournal of Differential Geometry 123.3 (2023): 461–521

    2023

  24. [24]

    BV formalism and quantum homotopical struct ures

    A. Losev, “BV formalism and quantum homotopical struct ures.” Lectures at GAP3, Perugia, 2005

    2005

  25. [25]

    TQFT, homological algebra and elements of K. Saito’s theory of primitive form: an attempt of mathematical text written by mathematical phy sicist

    A. Losev, “TQFT, homological algebra and elements of K. Saito’s theory of primitive form: an attempt of mathematical text written by mathematical phy sicist.” In Primitive Forms and Related Subjects—Kavli IPMU 2014 , vol. 83, pp. 269–294. Mathematical Society of Japan, 2019

    2014

  26. [26]

    Notes on simplicial BF theory

    P. Mnev, “Notes on simplicial BF theory.” Moscow Mathematical Journal 9.2 (2009): 371– 410

    2009

  27. [27]

    Discrete BF theory

    P. Mnev, “Discrete BF theory.” arXiv preprint arXiv:0809.1160 (2008)

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  28. [28]

    Pert urbative quantum field theory and homotopy algebras

    C. Saemann, B. Jurco, H. Kim, T. Macrelli, M. W olf. “Pert urbative quantum field theory and homotopy algebras.” In Proceedings of Corfu Summer Institute 2019 “School and Work shops on Elementary Particle Physics and Gravity”—PoS (CORFU201 9). Proceedings Of Science, 2020

    2019

  29. [29]

    Symmetry factors of Feynm an diagrams and the homological perturbation lemma

    C. Saemann, E. Sfinarolakis. “Symmetry factors of Feynm an diagrams and the homological perturbation lemma.” Journal of High Energy Physics 2020.1 2 (2020): 88

    2020

  30. [30]

    Geometry of Batalin–Vilkovisky quantiza tion

    A. Schwarz. “Geometry of Batalin–Vilkovisky quantiza tion.” Communications in Mathemat- ical Physics 155.2 (1993): 249–260

    1993

  31. [31]

    On the origin of the BV operator on odd symplectic su permanifolds

    P. ˇSevera. “On the origin of the BV operator on odd symplectic su permanifolds.” Letters in Mathematical Physics 78.1 (2006): 55–59. Institut f ¨ur Mathematik, Universit ¨at Z ¨urich, Winterthurerstrasse 190, CH-8057 Z¨urich, Switzerland Email address : cattaneo@math.uzh.ch University of Notre Dame, Notre Dame, IN 46556, USA Institut f ¨ur Mathematik, Un...

    2006