pith. sign in

arxiv: 2606.23902 · v2 · pith:2FE47A5Rnew · submitted 2026-06-22 · 🧮 math-ph · hep-th· math.MP· math.QA· math.SG

Forms, half-densities, and the quantum odd symplectic category in the BV formalism

Pavol \v{S}evera This is my paper

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

classification 🧮 math-ph hep-thmath.MPmath.QAmath.SG
keywords Batalin-Vilkovisky formalismodd symplectic categoryhalf-densitiesquantization functordifferential formssymplectic geometryquantum field theory
0
0 comments X

The pith

The Batalin-Vilkovisky formalism fits geometrically into the quantum odd symplectic category via the odd quantization functor.

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

This note reviews the geometric structures underlying the Batalin-Vilkovisky formalism in field theory. It shows how differential forms and half-densities supply the data that the odd quantization functor maps into the quantum odd symplectic category. The review organizes these elements so that BV appears as the output of a categorical quantization procedure rather than an ad-hoc set of rules. A reader cares because the category supplies a single setting in which classical symplectic data become quantum operators and measures. The fit makes the otherwise technical BV equations look like instances of a general construction.

Core claim

The paper presents a detailed review demonstrating that the geometric content of the Batalin-Vilkovisky formalism, including its use of forms and half-densities, is recovered precisely when the odd quantization functor is applied to objects in the quantum odd symplectic category.

What carries the argument

The quantum odd symplectic category together with the odd quantization functor that turns its classical objects into quantum structures involving half-densities.

If this is right

  • BV master equations become instances of functorial quantization inside the odd symplectic category.
  • Half-densities acquire a canonical interpretation as the volume data carried by morphisms in the category.
  • Differential forms supply the underlying algebra that makes the odd symplectic structure well-defined.
  • The entire BV procedure can be rewritten as a single arrow in the quantum category.

Where Pith is reading between the lines

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

  • The same functorial language may apply directly to other quantization problems that involve odd symplectic structures.
  • Explicit examples worked out in the review could be used to test whether the category reproduces known results in deformation quantization.
  • The framework suggests a way to compare different choices of regularization by comparing the corresponding objects in the category.

Load-bearing premise

The quantum odd symplectic category and odd quantization functor already contain everything needed to reproduce the geometry of the Batalin-Vilkovisky formalism.

What would settle it

An explicit computation in a simple mechanical system where the half-density produced by the odd quantization functor fails to satisfy the standard BV master equation.

read the original abstract

This note is a detailed review of the geometry behind the Batalin-Vilkovisky formalism and how it fits into the framework of the quantum odd symplectic category and the odd quantization functor.

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. This note is a detailed review of the geometry behind the Batalin-Vilkovisky formalism, focusing on forms and half-densities, and how it fits into the framework of the quantum odd symplectic category and the odd quantization functor.

Significance. If the exposition accurately synthesizes the relevant prior literature on odd symplectic geometry and quantization functors, the review could serve as a useful reference for clarifying the geometric content of the BV formalism in a categorical setting. The paper advances no new theorems or derivations, so its contribution is purely expository.

minor comments (1)
  1. The abstract is concise but could benefit from a brief outline of the main topics or sections covered to help readers navigate the review.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive review and recommendation to accept the manuscript. We agree that the work is expository in nature, as stated in the abstract, and appreciate the assessment that it may serve as a useful reference if it accurately synthesizes the prior literature.

Circularity Check

0 steps flagged

No significant circularity; review draws on external literature

full rationale

This paper is explicitly a detailed review of established geometry underlying the Batalin-Vilkovisky formalism and its embedding into the quantum odd symplectic category and odd quantization functor. No original theorems, derivations, predictions, or parameter-dependent statements are advanced. The content relies on prior external literature rather than any self-referential equations, fitted inputs renamed as predictions, or self-citation chains that bear the central load. No load-bearing steps reduce by construction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger cannot be populated with specific free parameters or invented entities from the text. The paper relies on standard axioms of differential geometry, symplectic geometry, and category theory from the prior literature it reviews.

axioms (1)
  • standard math Standard axioms of differential geometry and symplectic geometry
    Invoked implicitly as the foundation for discussing forms, half-densities, and odd symplectic structures in the BV formalism.

pith-pipeline@v0.9.1-grok · 5552 in / 1203 out tokens · 35978 ms · 2026-06-26T06:00:22.857804+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

16 extracted references · 1 linked inside Pith

  1. [1]

    Albert, B

    C. Albert, B. Bleile, J. Fröhlich,Batalin–Vilkovisky integrals in finite dimensions , J. Math. Phys. 51, 015213 (2010)

    2010

  2. [2]

    Cattaneo,The canonical BV Laplacian on half-densities , Reviews in Mathematical Physics 35.06 (2023)

    A.S. Cattaneo,The canonical BV Laplacian on half-densities , Reviews in Mathematical Physics 35.06 (2023)

    2023

  3. [3]

    Crainic,On the perturbation lemma, and deformations , arXiv: math/0403266 (2004)

    M. Crainic,On the perturbation lemma, and deformations , arXiv: math/0403266 (2004)

    Pith/arXiv arXiv 2004

  4. [4]

    Getzler, S

    E. Getzler, S. Pohorence,Global gauge conditions in the Batalin-Vilkovisky formalism , In- tegrability, quantization, and geometry II, Quantum theories and algebraic geometry, Proc. Sympos. Pure Math. 103.2, AMS, Providence, 2021, 257–279

    2021

  5. [5]

    Hörmander,The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis , Springer-Verlag, 1983

    L. Hörmander,The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis , Springer-Verlag, 1983

    1983

  6. [6]

    Jurčo, J

    B. Jurčo, J. Pulmann, M. Zika, Lagrangian Relations and Quantum 𝐿∞ algebras, Comm. Math. Phys. 406 (2025), 143

    2025

  7. [7]

    Khudaverdian,Semidensities on odd symplectic supermanifolds , Comm

    H. Khudaverdian,Semidensities on odd symplectic supermanifolds , Comm. Math. Phys. 247 (2004), no. 2, 353–390

    2004

  8. [8]

    P. Mnev, K. Wernli,Perturbative Chern-Simons invariants from non-acyclic flat connections , arXiv:2512.17638

    arXiv

  9. [9]

    Y. I. Manin, Gauge field theory and complex geometry , Grundlehren der Mathematischen Wissenschaften, vol. 289, Springer-Verlag, Berlin, 1988

    1988

  10. [10]

    Mikhailov and A

    A. Mikhailov and A. Schwarz,Families of gauge conditions in BV formalism , J. High Energy Phys. 7 (2017), 063

    2017

  11. [11]

    Safronov,Shifted geometric quantization , J

    P. Safronov,Shifted geometric quantization , J. Geom. Phys. 194 (2023)

    2023

  12. [12]

    Schwarz,Geometry of Batalin–Vilkovisky quantization , Comm

    A. Schwarz,Geometry of Batalin–Vilkovisky quantization , Comm. Math. Phys. 155 (1993), no. 2, 249–260

    1993

  13. [13]

    Ševera,Noncommutative Differential Forms and Quantization of the Odd Symplectic Cat- egory, Lett

    P. Ševera,Noncommutative Differential Forms and Quantization of the Odd Symplectic Cat- egory, Lett. Math. Phys. 68 (2004), 31–39

    2004

  14. [14]

    Ševera,On the origin of the BV operator on odd symplectic supermanifolds , Lett

    P. Ševera,On the origin of the BV operator on odd symplectic supermanifolds , Lett. Math. Phys. 78 (2006), no. 1, 55–59

    2006

  15. [15]

    Tamarkin and B

    D. Tamarkin and B. Tsygan,The ring of differential operators on forms in noncommutative calculus, Graphs and patterns in mathematics and theoretical physics, Proc. Sympos. Pure Math., vol. 73, AMS, Providence, RI, 2005, pp. 105–131

    2005

  16. [16]

    A, Weinstein,The symplectic ‘category’ , Differential Geometric Methods in Mathematical Physics (Clausthal 1980), Springer, Berlin, 1982, pp. 45–51. 10

    1980