Homotopies in Batalin-Vilkovisky Formalism
Pith reviewed 2026-07-01 00:42 UTC · model grok-4.3
The pith
Homotopies induced by renormalization group flow and non-infinitesimal gauge fixing changes yield field redefinitions that produce spans of quantum master actions with isomorphic effective actions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper shows that homotopies of quantum master actions coming from renormalization group flow and non-infinitesimal gauge fixing changes induce field redefinitions; these redefinitions can be used to build spans of quantum master actions whose effective actions are isomorphic.
What carries the argument
Homotopy of quantum master actions in geometric Batalin-Vilkovisky formalism, which supplies field redefinitions that preserve the quantum master equation.
If this is right
- Spans of quantum master actions can be constructed whose effective actions are isomorphic.
- Renormalization group flow supplies a homotopy between quantum master actions.
- Non-infinitesimal changes of gauge fixing supply another class of such homotopies.
- The field redefinitions induced by the homotopies preserve the quantum master equation.
Where Pith is reading between the lines
- The same homotopies could be applied to relate different perturbative expansions of a single theory.
- The construction may extend to finite renormalization group transformations that are not infinitesimal.
- Spans built this way could be used to compare different gauge choices while keeping the same observables.
Load-bearing premise
The homotopies induced by renormalization group flow and non-infinitesimal gauge fixing changes are compatible with the geometric structure of the Batalin-Vilkovisky formalism and induce valid field redefinitions that preserve the quantum master equation.
What would settle it
An explicit computation for a concrete field theory in which a field redefinition coming from one of these homotopies produces a new action that fails to satisfy the quantum master equation.
read the original abstract
We review the notion of homotopy of quantum master actions in geometric Batalin-Vilkovisky formalism. Then we construct new examples of such homotopies, coming from renormalization group flow and non-infinitesimal changes of gauge fixing. Finally, we use the field redefinitions given by these homotopies to construct spans of quantum master actions with isomorphic effective actions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript reviews the notion of homotopy of quantum master actions in the geometric Batalin-Vilkovisky formalism. It constructs new examples of such homotopies coming from renormalization group flow and non-infinitesimal changes of gauge fixing. Finally, it uses the field redefinitions given by these homotopies to construct spans of quantum master actions with isomorphic effective actions.
Significance. If the constructions are valid, the work supplies concrete new examples of homotopies in the geometric BV setting and a method for relating quantum master actions via spans whose effective actions are isomorphic. This could clarify structural aspects of renormalization and gauge fixing within the formalism. The abstract does not indicate machine-checked proofs, reproducible code, or parameter-free derivations.
Simulated Author's Rebuttal
We thank the referee for reviewing our manuscript on homotopies in the geometric Batalin-Vilkovisky formalism. We appreciate the recognition that the work supplies concrete new examples from renormalization group flow and gauge fixing, along with a method for relating quantum master actions via spans. We address the overall assessment below, noting that no specific major comments were listed in the report.
Circularity Check
No significant circularity identified
full rationale
The provided abstract and context describe a review of homotopies in geometric BV formalism followed by construction of new examples from RG flow and gauge-fixing changes, then application to spans of quantum master actions. No equations, definitions, or claims are supplied that reduce a derived result to an input by construction, nor any load-bearing self-citation chains or fitted parameters renamed as predictions. The work is presented as building on standard BV structures with independent constructions, consistent with a self-contained mathematical development.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
2026 , school =
Zika, Martin , title =. 2026 , school =
2026
-
[2]
The local structure of Poisson manifolds , volume =
Weinstein, Alan , year =. The local structure of Poisson manifolds , volume =. Journal of Differential Geometry , publisher =. doi:10.4310/jdg/1214437787 , number =
-
[3]
Morita equivalence of Poisson manifolds , volume =
Xu, Ping , year =. Morita equivalence of Poisson manifolds , volume =. Communications in Mathematical Physics , publisher =. doi:10.1007/bf02099098 , number =
-
[4]
Factorization Algebras in Quantum Field Theory , ISBN =
Costello, Kevin and Gwilliam, Owen , year =. Factorization Algebras in Quantum Field Theory , ISBN =. doi:10.1017/9781316678664 , publisher =
-
[5]
A Note on the Antibracket Formalism , volume =
Witten, Edward , year =. A Note on the Antibracket Formalism , volume =. Modern Physics Letters A , publisher =. doi:10.1142/s0217732390000561 , number =
-
[6]
Quantum field theory:
Mnev, Pavel , year =. Quantum field theory:
-
[7]
Exact renormalization group in Batalin-Vilkovisky theory , volume =
Zucchini, Roberto , year =. Exact renormalization group in Batalin-Vilkovisky theory , volume =. Journal of High Energy Physics , publisher =. doi:10.1007/jhep03(2018)132 , number =
-
[8]
Hata, H. and Zwiebach, B. , year =. Developing the Covariant Batalin-Vilkovisky Approach to String Theory , volume =. Annals of Physics , publisher =. doi:10.1006/aphy.1994.1006 , number =
-
[9]
Maurer–Cartan Methods in Deformation Theory: The Twisting Procedure , ISBN =
Dotsenko, Vladimir and Shadrin, Sergey and Vallette, Bruno , year =. Maurer–Cartan Methods in Deformation Theory: The Twisting Procedure , ISBN =. doi:10.1017/9781108963800 , publisher =. 2212.11323 , archivePrefix=
-
[10]
2016 , eprint=
Homotopy theory of homotopy algebras , author=. 2016 , eprint=
2016
-
[11]
2002 , eprint=
Formal solution of the master equation via HPT and deformation theory , author=. 2002 , eprint=
2002
-
[12]
Iterated spans and classical topological field theories
Haugseng, Rune , keywords =. Iterated spans and classical topological field theories , publisher =. 2014 , copyright =. doi:10.48550/ARXIV.1409.0837 , url =
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1409.0837 2014
-
[13]
2017 , eprint=
On the perturbation algebra , author=. 2017 , eprint=
2017
-
[14]
2024 , eprint=
Dagger n -categories , author=. 2024 , eprint=
2024
-
[15]
Unimodular homotopy algebras and Chern–Simons theory , journal =. 2015 , issn =. doi:https://doi.org/10.1016/j.jpaa.2015.05.017 , url =
-
[16]
Field theory equivalences as spans of L_ -algebras
Jalali Farahani, Mehran and Saemann, Christian and Wolf, Martin , year =. Field theory equivalences as spans of L_ -algebras. Journal of Physics A: Mathematical and Theoretical , publisher =. doi:10.1088/1751-8121/ad5521 , number =
-
[17]
and Dherin, Benoit and Weinstein, Alan , title =
Cattaneo, Alberto S. and Dherin, Benoit and Weinstein, Alan , title =. 2010 , eprint=. doi:10.4310/jsg.2010.v8.n2.a4 , journal =
-
[18]
Cattaneo, Alberto S. and Felder, Giovanni. Effective Batalin--Vilkovisky Theories, Equivariant Configuration Spaces and Cyclic Chains. Higher Structures in Geometry and Physics: In Honor of Murray Gerstenhaber and Jim Stasheff. 2011. doi:10.1007/978-0-8176-4735-3_6
-
[19]
Remarks on Chern-Simons invariants
Cattaneo, Alberto S. and Mnëv, Pavel , year =. Remarks on Chern–Simons Invariants , volume =. Communications in Mathematical Physics , publisher =. doi:10.1007/s00220-009-0959-1 , number =. 0811.2045 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-009-0959-1 2045
-
[20]
and Mnëv, Pavel and Reshetikhin, Nicolai , year =
Cattaneo, Alberto S. and Mnëv, Pavel and Reshetikhin, Nicolai , year =. Classical BV Theories on Manifolds with Boundary , volume =. Communications in Mathematical Physics , publisher =. doi:10.1007/s00220-014-2145-3 , number =. 1201.0290 , archivePrefix=
-
[21]
and Mnev, Pavel and Reshetikhin, Nicolai , year =
Cattaneo, Alberto S. and Mnev, Pavel and Reshetikhin, Nicolai , year =. Perturbative Quantum Gauge Theories on Manifolds with Boundary , volume =. Communications in Mathematical Physics , publisher =. doi:10.1007/s00220-017-3031-6 , number =. 1507.01221 , archivePrefix=
-
[22]
Bicategories of spans and relations , journal =
Aurelio Carboni and Stefano Kasangian and Ross Street , abstract =. Bicategories of spans and relations , journal =. 1984 , issn =. doi:https://doi.org/10.1016/0022-4049(84)90061-6 , url =
-
[23]
Reports of the Midwest category seminar I
Benabou, J and Davis, R and Dold, Albrecht and Isbell, John Claiborne and MacLane, S and Oberst, Ursula E and Roos, J E. Reports of the Midwest category seminar I
-
[24]
Monk.Finite element methods for Maxwells equations
Johnson, Niles and Yau, Donald , year =. 2-Dimensional Categories , ISBN =. doi:10.1093/oso/9780198871378.001.0001 , publisher =
-
[25]
A 2-Categories Companion , ISBN =
Lack, Stephen , year =. A 2-Categories Companion , ISBN =. doi:10.1007/978-1-4419-1524-5_4 , booktitle =
-
[26]
Lagrangian Relations and Quantum L_
Jurčo, Branislav and Pulmann, Ján and Zika, Martin , year =. Lagrangian Relations and Quantum L_. Communications in Mathematical Physics , publisher =. doi:10.1007/s00220-025-05290-w , number =
-
[27]
On the Groups H( , n), I , volume =
Eilenberg, Samuel and Lane, Saunders Mac , doi =. On the Groups H( , n), I , volume =. Annals of Mathematics , number =
-
[28]
Catenacci, R. and Cremonini, C. A. and Grassi, P. A. and Noja, S. , year =. On forms, cohomology and BV Laplacians in odd symplectic geometry , volume =. Letters in Mathematical Physics , publisher =. doi:10.1007/s11005-021-01384-3 , number =
-
[29]
1965 , pages =
Brown, Ronald , journal =. 1965 , pages =
1965
-
[30]
Homologie des espaces fibrés , volume =
Shih, Weishu , year =. Homologie des espaces fibrés , volume =. doi:10.1007/bf02684292 , journal =
-
[31]
Communications in Algebra , volume =
Martin Markl , title =. Communications in Algebra , volume =. 2001 , publisher =. doi:10.1081/AGB-100106814 , eprint =
-
[32]
Loop Homotopy Algebras in Closed String Field Theory
Markl, Martin , doi =. Communications in Mathematical Physics , month = jul, number =. arXiv , arxivId =:hep-th/9711045 , issn =
work page internal anchor Pith review Pith/arXiv arXiv
-
[33]
Coherence for compact closed categories , journal =. 1980 , issn =. doi:https://doi.org/10.1016/0022-4049(80)90101-2 , url =
-
[34]
Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) , journal =
Peter Selinger , keywords =. Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) , journal =. 2007 , note =. doi:https://doi.org/10.1016/j.entcs.2006.12.018 , url =
-
[35]
and Coecke, B
Abramsky, S. and Coecke, B. , booktitle=. A categorical semantics of quantum protocols , year=
-
[36]
Categorical Quantum Mechanics , DOI =
Abramsky, Samson and Coecke, Bob , year =. Categorical Quantum Mechanics , DOI =. Handbook of Quantum Logic and Quantum Structures , publisher =
-
[37]
Introduction to Graded Geometry, Batalin-Vilkovisky Formalism and their Applications , url =
Qiu, Jian and Zabzine, Maxim , journal =. Introduction to Graded Geometry, Batalin-Vilkovisky Formalism and their Applications , url =
-
[38]
Gerstenhaber and Batalin-Vilkovisky algebras; algebraic, geometric, and physical aspects , url =
Roger, Claude , journal =. Gerstenhaber and Batalin-Vilkovisky algebras; algebraic, geometric, and physical aspects , url =
-
[39]
An Algebra of Additive Relations , volume =
Saunders Mac Lane , journal =. An Algebra of Additive Relations , volume =
-
[40]
Quantum Quandaries: A Category-Theoretic Perspective
Baez, John , isbn =. Quantum Quandaries: A Category-Theoretic Perspective. The Structural Foundations of Quantum Gravity. 2006 , month =
2006
-
[41]
A note on the Wehrheim-Woodward category , journal =. 2011 , issn =. doi:10.3934/jgm.2011.3.507 , url =
-
[42]
Journal of the Mathematical Society of Japan , number =
Alan Weinstein , title =. Journal of the Mathematical Society of Japan , number =. 1988 , doi =
1988
-
[43]
2017 , school =
Ondřej Skácel , title =. 2017 , school =
2017
-
[44]
2026 , school =
Vorobel, Michal , title =. 2026 , school =
2026
-
[45]
2026 , eprint=
Forms, half-densities, and the quantum odd symplectic category in the BV formalism , author=. 2026 , eprint=
2026
-
[46]
Weinstein, Alan , year =. The symplectic “category” , ISBN =. doi:10.1007/bfb0092426 , booktitle =
-
[47]
How to derive Feynman diagrams for finite-dimensional integrals directly from the BV formalism. arXiv e-prints , keywords =. doi:10.48550/arXiv.1202.1554 , archivePrefix =. 1202.1554 , primaryClass =
-
[48]
Jur. Higher Structures in M-Theory. Fortsch. Phys. 2019. doi:10.1002/prop.201910001. arXiv:1903.02807
-
[49]
and Markl, Martin and Sachs, Ivo , year =
Doubek, Martin and Jurčo, B. and Markl, Martin and Sachs, Ivo , year =. Algebraic Structure of String Field Theory , isbn =
-
[50]
Closed String Field Theory: Quantum Action and the BV Master Equation
Closed string field theory: Quantum action and the Batalin-Vilkovisky master equation. Nuclear Physics B , keywords =. 1993 , month = jan, volume =. doi:10.1016/0550-3213(93)90388-6 , archivePrefix =. hep-th/9206084 , primaryClass =
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/0550-3213(93)90388-6 1993
-
[51]
2021 , url =
Diploma thesis, Charles University, Mathematical Institute , title = ". 2021 , url =
2021
-
[52]
Homological algebra of homotopy algebras , journal =
Vladimir. Homological algebra of homotopy algebras , journal =. 1997 , publisher =. doi:10.1080/00927879708826055 , URL =
-
[53]
Modular operads and Batalin-Vilkovisky geometry
Barannikov, S. , year =. Modular Operads and Batalin-Vilkovisky Geometry , ISSN =. doi:10.1093/imrn/rnm075 , journal =. 1710.08442 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1093/imrn/rnm075
-
[54]
Modular operads and the quantum open-closed homotopy algebra
Doubek, Martin and Jurčo, Branislav and M\". Modular operads and the quantum open-closed homotopy algebra , volume =. Journal of High Energy Physics , publisher =. 2015 , month = dec, pages =. doi:10.1007/jhep12(2015)158 , number =. 1308.3223 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep12(2015)158 2015
-
[55]
arXiv Mathematics e-prints , keywords =
On the perturbation lemma, and deformations. arXiv Mathematics e-prints , keywords =. 2004 , month = mar, eid =
2004
-
[56]
, year = 1983, month = nov, volume =
Quantization of gauge theories with linearly dependent generators. , year = 1983, month = nov, volume =. doi:10.1103/PhysRevD.28.2567 , adsurl =
-
[58]
Symplectic rigidity: Lagrangian submanifolds , ISBN =
Audin, Michèle and Lalonde, Fran. Symplectic rigidity: Lagrangian submanifolds , ISBN =. 1994 , pages =. doi:10.1007/978-3-0348-8508-9_11 , booktitle =
-
[59]
Arnol’d, V. I. , year =. Lagrange and legendre cobordisms. I , volume =. Functional Analysis and Its Applications , publisher =. doi:10.1007/bf01086179 , number =
-
[60]
doi:10.1007/bf02108080 , year =
Albert Schwarz , title =. doi:10.1007/bf02108080 , year =
-
[61]
Barnes and Larry A
Donald W. Barnes and Larry A. Lambe , journal =. A Fixed Point Approach to Homological Perturbation Theory , volume =
-
[62]
Letters in Mathematical Physics , keywords =
Abstract Hodge Decomposition and Minimal Models for Cyclic Algebras. Letters in Mathematical Physics , keywords =. doi:10.1007/s11005-009-0314-7 , archivePrefix =. 0810.2393 , primaryClass =
-
[63]
arXiv e-prints , keywords =
Microformal geometry and homotopy algebras. arXiv e-prints , keywords =
-
[64]
arXiv e-prints , keywords =
On the Geometry of Forms on Supermanifolds. arXiv e-prints , keywords =
-
[65]
arXiv e-prints , keywords =
Renormalisation and the Batalin-Vilkovisky formalism. arXiv e-prints , keywords =
-
[66]
Minimal models of quantum homotopy Lie algebras via the BV-formalism
Minimal models of quantum homotopy Lie algebras via the BV-formalism. Journal of Mathematical Physics , keywords =. doi:10.1063/1.5022890 , archivePrefix =. 1703.00082 , primaryClass =
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1063/1.5022890
-
[67]
Quantum L_ Algebras and the Homological Perturbation Lemma
Doubek, Martin and Jurčo, Branislav and Pulmann, Ján , year =. Quantum L_ Algebras and the Homological Perturbation Lemma. Communications in Mathematical Physics , publisher =. doi:10.1007/s00220-019-03375-x , number =
-
[68]
Noncommutative differential calculus, homotopy BV algebras and formality conjectures
Tamarkin, D. and Tsygan, B. , TITLE =. Methods Funct. Anal. Topology , FJOURNAL =. 2000 , NUMBER =. math/0002116 , archivePrefix=
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[69]
The ring of differential operators on forms in noncommutative calculus , ISBN =
Tamarkin, Dmitri and Tsygan, Boris , year =. The ring of differential operators on forms in noncommutative calculus , ISBN =. doi:10.1090/pspum/073/2131013 , journal =
-
[70]
arXiv Mathematics e-prints , keywords =
Poisson geometry and Morita equivalence. arXiv Mathematics e-prints , keywords =
-
[71]
Half-densities and forms in Batalin-Vilkovisky formalism , year =
-
[72]
Quantum field theory as effective BV theory from Chern–Simons , volume =
Krotov, Dmitry and Losev, Andrei , year =. Quantum field theory as effective BV theory from Chern–Simons , volume =. Nuclear Physics B , publisher =. doi:10.1016/j.nuclphysb.2008.07.021 , number =
-
[73]
Geometry of Batalin-Vilkovisky quantization
Geometry of Batalin-Vilkovisky quantization. Communications in Mathematical Physics , keywords =. doi:10.1007/BF02097392 , archivePrefix =. hep-th/9205088 , primaryClass =
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/bf02097392
-
[74]
Batalin-Vilkovisky Integrals in Finite Dimensions
Batalin-Vilkovisky integrals in finite dimensions. Journal of Mathematical Physics , keywords =. doi:10.1063/1.3278524 , archivePrefix =. 0812.0464 , primaryClass =
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1063/1.3278524
-
[75]
Kupka, Julian and Strickland‐Constable, Charles and Valach, Fridrich , year =. Geometry of Supergravity and the Batalin–Vilkovisky Formulation of the N=1 Theory in Ten Dimensions , volume =. Fortschritte der Physik , publisher =. doi:10.1002/prop.70106 , number =. 2508.06398 , archivePrefix=
-
[76]
2026 , eprint=
BV pushforward as a quasi-isomorphism , author=. 2026 , eprint=
2026
-
[77]
arXiv e-prints , keywords =
Shifted symplectic higher Lie groupoids and classifying spaces. arXiv e-prints , keywords =
-
[78]
P. Baguis and T. Stavracou , title =. doi:10.1063/1.531902 , year =
-
[79]
Pavol. On the Origin of the. doi:10.1007/s11005-006-0097-z , year =
-
[80]
Semi-Classical Analysis , author=
-
[81]
doi:10.1090/s0002-9947-1973-0321133-2 , year =
H. doi:10.1090/s0002-9947-1973-0321133-2 , year =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.