pith. sign in

arxiv: 2606.30965 · v1 · pith:RUQ2FWN3new · submitted 2026-06-29 · 🧮 math-ph · hep-th· math.DG· math.MP· math.SG

Homotopies in Batalin-Vilkovisky Formalism

Pith reviewed 2026-07-01 00:42 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.DGmath.MPmath.SG
keywords Batalin-Vilkovisky formalismquantum master equationhomotopiesrenormalization group flowgauge fixingfield redefinitionseffective actions
0
0 comments X

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.

The paper reviews the notion of homotopy between quantum master actions in the geometric Batalin-Vilkovisky formalism. It constructs new examples of such homotopies that arise from renormalization group flow and from finite changes of gauge fixing. These homotopies supply explicit field redefinitions that connect different quantum master actions. The resulting spans have effective actions that are isomorphic, so the physical content extracted from the actions remains the same. A reader would care because the construction shows how the geometric structure of the formalism accommodates these flows and changes while preserving the quantum master equation.

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

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

  • 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.

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 / 0 minor

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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities are identifiable.

pith-pipeline@v0.9.1-grok · 5592 in / 1000 out tokens · 26641 ms · 2026-07-01T00:42:21.319236+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

151 extracted references · 95 canonical work pages · 23 internal anchors

  1. [1]

    2026 , school =

    Zika, Martin , title =. 2026 , school =

  2. [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. [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. [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. [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. [6]

    Quantum field theory:

    Mnev, Pavel , year =. Quantum field theory:

  7. [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. [8]

    and Zwiebach, B

    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. [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. [10]

    2016 , eprint=

    Homotopy theory of homotopy algebras , author=. 2016 , eprint=

  11. [11]

    2002 , eprint=

    Formal solution of the master equation via HPT and deformation theory , author=. 2002 , eprint=

  12. [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 =

  13. [13]

    2017 , eprint=

    On the perturbation algebra , author=. 2017 , eprint=

  14. [14]

    2024 , eprint=

    Dagger n -categories , author=. 2024 , eprint=

  15. [15]

    2015 , issn =

    Unimodular homotopy algebras and Chern–Simons theory , journal =. 2015 , issn =. doi:https://doi.org/10.1016/j.jpaa.2015.05.017 , url =

  16. [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. [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. [18]

    and Felder, Giovanni

    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. [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=

  20. [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. [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. [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. [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. [24]

    Oxford University Press, New York, doi:10.1093/oso/9780198537793.001.0001

    Johnson, Niles and Yau, Donald , year =. 2-Dimensional Categories , ISBN =. doi:10.1093/oso/9780198871378.001.0001 , publisher =

  25. [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. [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. [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. [28]

    and Cremonini, C

    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. [29]

    1965 , pages =

    Brown, Ronald , journal =. 1965 , pages =

  30. [30]

    Homologie des espaces fibrés , volume =

    Shih, Weishu , year =. Homologie des espaces fibrés , volume =. doi:10.1007/bf02684292 , journal =

  31. [31]

    Communications in Algebra , volume =

    Martin Markl , title =. Communications in Algebra , volume =. 2001 , publisher =. doi:10.1081/AGB-100106814 , eprint =

  32. [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 =

  33. [33]

    1980 , issn =

    Coherence for compact closed categories , journal =. 1980 , issn =. doi:https://doi.org/10.1016/0022-4049(80)90101-2 , url =

  34. [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. [35]

    and Coecke, B

    Abramsky, S. and Coecke, B. , booktitle=. A categorical semantics of quantum protocols , year=

  36. [36]

    Categorical Quantum Mechanics , DOI =

    Abramsky, Samson and Coecke, Bob , year =. Categorical Quantum Mechanics , DOI =. Handbook of Quantum Logic and Quantum Structures , publisher =

  37. [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. [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. [39]

    An Algebra of Additive Relations , volume =

    Saunders Mac Lane , journal =. An Algebra of Additive Relations , volume =

  40. [40]

    Quantum Quandaries: A Category-Theoretic Perspective

    Baez, John , isbn =. Quantum Quandaries: A Category-Theoretic Perspective. The Structural Foundations of Quantum Gravity. 2006 , month =

  41. [41]

    2011 , issn =

    A note on the Wehrheim-Woodward category , journal =. 2011 , issn =. doi:10.3934/jgm.2011.3.507 , url =

  42. [42]

    Journal of the Mathematical Society of Japan , number =

    Alan Weinstein , title =. Journal of the Mathematical Society of Japan , number =. 1988 , doi =

  43. [43]

    2017 , school =

    Ondřej Skácel , title =. 2017 , school =

  44. [44]

    2026 , school =

    Vorobel, Michal , title =. 2026 , school =

  45. [45]

    2026 , eprint=

    Forms, half-densities, and the quantum odd symplectic category in the BV formalism , author=. 2026 , eprint=

  46. [46]

    category

    Weinstein, Alan , year =. The symplectic “category” , ISBN =. doi:10.1007/bfb0092426 , booktitle =

  47. [47]

    arXiv e-prints , keywords =

    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. [48]

    Higher Structures in M-Theory

    Jur. Higher Structures in M-Theory. Fortsch. Phys. 2019. doi:10.1002/prop.201910001. arXiv:1903.02807

  49. [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. [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 =

  51. [51]

    2021 , url =

    Diploma thesis, Charles University, Mathematical Institute , title = ". 2021 , url =

  52. [52]

    Homological algebra of homotopy algebras , journal =

    Vladimir. Homological algebra of homotopy algebras , journal =. 1997 , publisher =. doi:10.1080/00927879708826055 , URL =

  53. [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=

  54. [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=

  55. [55]

    arXiv Mathematics e-prints , keywords =

    On the perturbation lemma, and deformations. arXiv Mathematics e-prints , keywords =. 2004 , month = mar, eid =

  56. [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 =

  57. [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 =

  58. [59]

    Arnol’d, V. I. , year =. Lagrange and legendre cobordisms. I , volume =. Functional Analysis and Its Applications , publisher =. doi:10.1007/bf01086179 , number =

  59. [60]

    doi:10.1007/bf02108080 , year =

    Albert Schwarz , title =. doi:10.1007/bf02108080 , year =

  60. [61]

    Barnes and Larry A

    Donald W. Barnes and Larry A. Lambe , journal =. A Fixed Point Approach to Homological Perturbation Theory , volume =

  61. [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 =

  62. [63]

    arXiv e-prints , keywords =

    Microformal geometry and homotopy algebras. arXiv e-prints , keywords =

  63. [64]

    arXiv e-prints , keywords =

    On the Geometry of Forms on Supermanifolds. arXiv e-prints , keywords =

  64. [65]

    arXiv e-prints , keywords =

    Renormalisation and the Batalin-Vilkovisky formalism. arXiv e-prints , keywords =

  65. [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 =

  66. [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 =

  67. [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=

  68. [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 =

  69. [70]

    arXiv Mathematics e-prints , keywords =

    Poisson geometry and Morita equivalence. arXiv Mathematics e-prints , keywords =

  70. [71]

    Half-densities and forms in Batalin-Vilkovisky formalism , year =

  71. [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 =

  72. [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 =

  73. [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 =

  74. [75]

    Geometry of Supergravity and the Batalin–Vilkovisky Formulation of the N=1 Theory in Ten Dimensions , volume =

    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=

  75. [76]

    2026 , eprint=

    BV pushforward as a quasi-isomorphism , author=. 2026 , eprint=

  76. [77]

    arXiv e-prints , keywords =

    Shifted symplectic higher Lie groupoids and classifying spaces. arXiv e-prints , keywords =

  77. [78]

    Baguis and T

    P. Baguis and T. Stavracou , title =. doi:10.1063/1.531902 , year =

  78. [79]

    On the Origin of the

    Pavol. On the Origin of the. doi:10.1007/s11005-006-0097-z , year =

  79. [80]

    Semi-Classical Analysis , author=

  80. [81]

Showing first 80 references.