arxiv: 2604.23496 · v1 · submitted 2026-04-26 · 🧮 math-ph · hep-th· math.MP· math.SG

Recognition: unknown

Q-Manifolds and Sigma Models

Noriaki Ikeda

Authors on Pith no claims yet

Pith reviewed 2026-05-08 05:23 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MPmath.SG

keywords Q-manifoldsQP-manifoldsBatalin-Vilkovisky formalismLie algebroidsCourant algebroidssigma modelsBV action functionalsgeometric structures

0 comments

The pith

The geometry of Q-manifolds and QP-manifolds encodes Batalin-Vilkovisky actions for sigma models using Lie and Courant algebroids.

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

This review paper shows that the Batalin-Vilkovisky formalism is captured mathematically by the structures of Q-manifolds and QP-manifolds. It presents Lie algebras, Lie algebroids and higher algebroids as standard examples of these manifolds. The paper constructs BV action functionals directly from the geometric structures of Lie algebroids and Courant algebroids. A sympathetic reader would care because this supplies a systematic geometric origin for the algebraic operations and master equation that appear in the quantization of sigma models.

Core claim

The mathematical structures of BV formalism are summarized as a Q-manifold and a QP-manifold. Lie algebras, Lie algebroids and other higher algebroids are explained as typical examples of Q- and QP-manifolds. Finally, the BV action functionals are constructed by geometric structures of Lie algebroids and Courant algebroids.

What carries the argument

Q-manifold and QP-manifold, graded manifolds equipped with a degree-one homological vector field that encodes the differential and symplectic data underlying the BV master equation and antibracket.

If this is right

BV actions for sigma models follow directly from the geometry of the underlying algebroid.
The formalism extends to higher structures by replacing ordinary algebroids with QP-manifolds.
The antibracket and master equation arise as natural operations on the graded tangent bundle of the algebroid.
Courant algebroids handle cases with additional physical data such as fluxes or non-geometric backgrounds.

Where Pith is reading between the lines

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

This dictionary may classify consistent sigma models by the type of algebroid they induce.
Deformations of the homological vector field while keeping it homological could describe quantum corrections systematically.
The approach invites checking whether every known BV formulation of a field theory fits inside a QP-manifold without leftover data.

Load-bearing premise

That the standard geometric structures of Q-manifolds, QP-manifolds, Lie algebroids, and Courant algebroids are sufficient and appropriate to encode and construct the BV action functionals without additional data or assumptions.

What would settle it

A specific sigma model whose required BV action contains terms or data that cannot be recovered from the geometry of the associated Lie algebroid or Courant algebroid alone.

read the original abstract

Recent developments of Batalin-Vilkovisky (BV) formalism and related geometry are reviewed. Mathematical structures of BV formalism are summarized as a Q-manifold and a QP-manifold. Lie algebras, Lie algebroids and other higher algebroids are explained as typical examples of Q- and QP-manifolds. Finally, the BV action functionals are constructed by geometric structures of Lie algebroids and Courant algebroids.

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.

Desk Editor's Note private letter to a colleague

This is a review that organizes Q-manifolds, QP-manifolds, and algebroid examples for BV formalism in sigma models without adding new results.

read the letter

The main takeaway is that this paper reviews how Q-manifolds and QP-manifolds encode the structures of Batalin-Vilkovisky formalism for sigma models. It walks through Lie algebras and Lie algebroids as standard examples, then shows the construction of BV action functionals using Lie algebroids and Courant algebroids. The flow from homological vector fields to the master action via derived brackets is the core thread. What it does well is collect these pieces into one narrative. For a reader who knows the physics side but wants the geometric language spelled out, having the identifications between the BV differential, the odd symplectic form, and the algebroid brackets in one place can be practical. The abstract suggests the exposition is direct and follows the usual logical order from definitions to applications. The soft spots are straightforward: the paper states up front that it is summarizing recent developments rather than proving new theorems or fixing open problems. The constructions it describes are the established ones, so its contribution rests on whether the writing is clearer or more complete than existing sources. No load-bearing gaps or inconsistencies show up in the outline, and the assumptions about these geometric structures being sufficient match what the field already uses. This paper is for people already working in mathematical physics who need a compact reference on the Q-manifold approach to gauge symmetries. It could fit a reading group if the group is comparing different geometric encodings of BV data. A reader hunting for original calculations or new phenomena would not find them here. I would send it to peer review for a journal that accepts review articles, because the topic is relevant and the approach looks consistent with the literature it draws on.

Referee Report

0 major / 2 minor

Summary. The manuscript reviews recent developments in the Batalin-Vilkovisky (BV) formalism, summarizing its core mathematical structures as Q-manifolds and QP-manifolds. It presents Lie algebras, Lie algebroids, and higher algebroids as standard examples of these structures and constructs the associated BV action functionals geometrically from Lie algebroids and Courant algebroids.

Significance. As a review of established geometric formulations of BV formalism, the paper could provide a useful reference for researchers working on quantization, gauge theories, and sigma models if the exposition is clear and complete. It correctly recalls the identification of the BV differential with a homological vector field and the use of derived brackets (e.g., from the Courant bracket) to obtain the master action, which are standard results in the literature.

minor comments (2)

The title references sigma models, yet the abstract and summary focus exclusively on BV actions from algebroids; a short paragraph linking the constructions to sigma-model applications would improve alignment with the title.
Notation for Q-structures and QP-structures is introduced gradually; an early dedicated subsection collecting the definitions (e.g., the homological vector field Q with Q²=0 and the compatible symplectic form) would aid readability for readers new to the topic.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript, their recognition that it correctly recalls standard results in the geometric formulation of BV formalism, and their recommendation to accept. We appreciate the suggestion that the paper could serve as a useful reference for researchers in quantization, gauge theories, and sigma models.

Circularity Check

0 steps flagged

Review paper summarizing established geometry; no derivations or predictions present

full rationale

The manuscript is explicitly a review of prior work on BV formalism via Q-manifolds, QP-manifolds, Lie algebroids and Courant algebroids. The abstract and structure state that structures are 'summarized' and 'explained as typical examples' and that BV actions 'are constructed by' these geometries, but no new equations, fits, uniqueness theorems, or predictions are derived within the paper itself. All load-bearing identifications (e.g., BV differential as homological vector field, master action via derived bracket) are attributed to the existing literature without internal reduction to fitted parameters or self-citations that close a loop. The derivation chain is therefore absent; the paper functions as an expository summary rather than a self-contained proof or prediction exercise.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The review relies on standard definitions and properties of Q-manifolds, QP-manifolds, Lie algebroids, and Courant algebroids drawn from prior mathematical physics literature; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)

standard math Standard properties of differential graded manifolds (Q^2 = 0) and compatible Poisson structures on QP-manifolds
Invoked when summarizing BV formalism as Q- and QP-manifolds
domain assumption Geometric structures of Lie algebroids and Courant algebroids encode the necessary data for BV actions
Used to construct the action functionals in the final step

pith-pipeline@v0.9.0 · 5352 in / 1330 out tokens · 19177 ms · 2026-05-08T05:23:39.328012+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

38 extracted references · 27 canonical work pages · 1 internal anchor

[1]

Alexandrov, M

M. Alexandrov, M. Kontsevich, A. Schwartz and O. Zaboronsky, The Geometry of the master equation and topological quantum field theory, Int. J. Mod. Phys. A12(1997) 1405 [arXiv:hep-th/9502010]

work page arXiv 1997
[2]

A. D. Blaom. Geometric structures as deformed infinitesimal symmetries, Trans. Amer. Math. Soc.358(2006) 3651. arXiv:math/0404313 [math.DG]

work page arXiv 2006
[3]

I. A. Batalin and G. A. Vilkovisky, Gauge Algebra And Quantization, Phys. Lett. B102(1981) 27

1981
[4]

I. A. Batalin and G. A. Vilkovisky, Quantization Of Gauge Theories With Linearly Dependent Generators, Phys. Rev. D28(1983) 2567, [Erratum-ibid. D30(1984) 508]

1983
[5]

Birmingham, M

D. Birmingham, M. Blau, M. Rakowski and G. Thompson, Topological field theory, Phys. Rept.209(1991), 129-340

1991
[6]

A. S. Cattaneo and G. Felder, A Path integral approach to the Kont- sevich quantization formula, Commun. Math. Phys.212(2000) 591 [arXiv:math/9902090]

work page arXiv 2000
[7]

Chatzistavrakidis, Topological field theories induced by twisted R-Poisson structure in any dimension, JHEP09(2021), 045 [arXiv:2106.01067 [hep-th]]

A. Chatzistavrakidis, Topological field theories induced by twisted R-Poisson structure in any dimension, JHEP09(2021), 045 [arXiv:2106.01067 [hep-th]]

work page arXiv 2021
[8]

Chatzistavrakidis, N

A. Chatzistavrakidis, N. Ikeda and G. ˇSimuni´ c, The BV action of 3D twisted R-Poisson sigma models, JHEP10(2022), 002 [arXiv:2206.03683 [hep-th]]

work page arXiv 2022
[9]

Chatzistavrakidis, N

A. Chatzistavrakidis, N. Ikeda and L. Jonke, Geometric BV for twisted Courant sigma models and the BRST power finesse, JHEP07(2024), 115 [arXiv:2401.00425 [hep-th]]

work page arXiv 2024
[10]

Chatzistavrakidis and L

A. Chatzistavrakidis and L. Jonke, Basic curvature and the Atiyah cocycle in gauge theory, [arXiv:2302.04956 [hep-th]]

work page arXiv
[11]

T. Courant. Dirac manifolds, Trans. A. M. S.319(1990) 631

1990
[12]

Ekstrand, R

J. Ekstrand, R. Heluani and M. Zabzine, Sheaves of N=2 supersymmetric vertex algebras on Poisson manifolds, J. Geom. Phys.62(2012), 2259-2278 [arXiv:1108.4943 [hep-th]]

work page arXiv 2012
[13]

Dilaton Gravity in Two Dimensions

D. Grumiller, W. Kummer and D. V. Vassilevich, Dilaton gravity in two- dimensions, Phys. Rept.369(2002), 327-430 [arXiv:hep-th/0204253 [hep-th]]

work page Pith review arXiv 2002
[14]

Gualtieri, Branes on Poisson varieties, [arXiv:0710.2719 [math.DG]]

M. Gualtieri, Branes on Poisson varieties, [arXiv:0710.2719 [math.DG]]

work page arXiv
[15]

Hansen and T

M. Hansen and T. Strobl, First Class Constrained Systems and Twisting of Courant Algebroids by a Closed 4-form, [arXiv:0904.0711 [hep-th]]

work page arXiv
[16]

Henneaux and C

M. Henneaux and C. Teitelboim, Quantization of gauge systems,Princeton, USA: Univ. Pr. (1992) 520 p

1992
[17]

Ikeda, Two-dimensional gravity and nonlinear gauge theory, Annals Phys

N. Ikeda, Two-dimensional gravity and nonlinear gauge theory, Annals Phys. 235(1994) 435 [arXiv:hep-th/9312059]

work page arXiv 1994
[18]

Ikeda, Chern-Simons gauge theory coupled with BF theory, Int

N. Ikeda, Chern-Simons gauge theory coupled with BF theory, Int. J. Mod. Phys. A18(2003) 2689 [arXiv:hep-th/0203043]

work page arXiv 2003
[19]

N. Ikeda, Lectures on AKSZ Sigma Models for Physicists, Noncommutative Geometry and Physics 4, Workshop on Strings, Membranes and Topological Field Theory: 79-169, 2017, World scientific, Singapore. [arXiv:1204.3714 [hep- th]]

work page arXiv 2017
[20]

Ikeda, Higher Dimensional Lie Algebroid Sigma Model with WZ Term, Universe7(2021) no.10, 391 [arXiv:2109.02858 [hep-th]]

N. Ikeda, Higher Dimensional Lie Algebroid Sigma Model with WZ Term, Universe7(2021) no.10, 391 [arXiv:2109.02858 [hep-th]]. 20

work page arXiv 2021
[21]

Ikeda and K

N. Ikeda and K. I. Izawa, General form of dilaton gravity and nonlinear gauge theory, Prog. Theor. Phys.90(1993), 237-246 [arXiv:hep-th/9304012 [hep-th]]

work page arXiv 1993
[22]

Ikeda and T

N. Ikeda and T. Strobl, BV and BFV for the H-twisted Poisson sigma model, Annales Henri Poincare22(2021) no.4, 1267-1316 [arXiv:1912.13511 [hep-th]]

work page arXiv 2021
[23]

Jotz Lean, R

M. Jotz Lean, R. A. Mehta, T. Papantonis, Modules and representations up to homotopy of Lie n-algebroids, Journal of Homotopy and Related Structures (2023), arXiv:2001.01101

work page arXiv 2023
[24]

Klimcik and T

C. Klimcik and T. Strobl, WZW-Poisson manifolds, J. Geom. Phys.43(2002) 341 [arXiv:math/0104189]

work page arXiv 2002
[25]

Kontsevich, ”Deformation Quantization of Poisson M anifolds”, Lett

M. Kontsevich, Deformation quantization of Poisson manifolds, Lett. Math. Phys.66(2003) 157 [arXiv:q-alg/9709040]

work page arXiv 2003
[26]

Kosmann-Schwarzbach, Derived brackets, Lett

Y. Kosmann-Schwarzbach, Derived brackets, Lett. Math. Phys.69, 61 (2004), [arXiv:math.dg/0312524]

work page arXiv 2004
[27]

Kugo and I

T. Kugo and I. Ojima, Local Covariant Operator Formalism of Nonabelian Gauge Theories and Quark Confinement Problem, Prog. Theor. Phys. Suppl. 66(1979), 1-130

1979
[28]

Z.-J. Liu, A. Weinstein and P. Xu, Manin triples for Lie bialgebroids, J. Diff. Geom. 45 (1997), 547-574

1997
[29]

Manin, Gauge field theory and complex geometry, Grundlehren der Math- ematischen Wissenschaften, 289

Y. Manin, Gauge field theory and complex geometry, Grundlehren der Math- ematischen Wissenschaften, 289. Springer-Verlag, Berlin, 1997

1997
[30]

M. E. Peskin and D. V. Schroeder, An Introduction to quantum field theory, Addison-Wesley, 1995, ISBN 978-0-201-50397-5, 978-0-429-50355-9, 978-0-429- 49417-8

1995
[31]

Roytenberg, Courant algebroids, derived brackets and even symplectic su- permanifolds, math.DG/9910078

D. Roytenberg, Courant algebroids, derived brackets and even symplectic su- permanifolds, math.DG/9910078

work page arXiv
[32]

Roytenberg, AKSZ-BV formalism and Courant algebroid-induced topolog- ical field theories, Lett

D. Roytenberg, AKSZ-BV formalism and Courant algebroid-induced topolog- ical field theories, Lett. Math. Phys.79(2007) 143 [arXiv:hep-th/0608150]

work page arXiv 2007
[33]

Schaller and T

P. Schaller and T. Strobl, Poisson structure induced (topological) field theories, Mod. Phys. Lett. A9(1994) 3129 [arXiv:hep-th/9405110]

work page arXiv 1994
[34]

Poisson geometry with a 3-form background

P. ˇSevera and A. Weinstein, Poisson geometry with a 3-form background, Prog. Theor. Phys. Suppl.144(2001) 145 [arXiv:math/0107133]

work page Pith review arXiv 2001
[35]

Vaintrob, Lie algebroids and homological vector fields, Uspekhi Mat

A. Vaintrob, Lie algebroids and homological vector fields, Uspekhi Mat. Nauk, 52/314 (1997) 161

1997
[36]

Vaisman, Transitive Courant algebroids, Int

I. Vaisman, Transitive Courant algebroids, Int. J. Math. Math. Sci.2005(2005), 1737-1758 [arXiv:math/0407399 [math.DG]]

work page arXiv 2005
[37]

Witten, Topological Sigma Models, Commun

E. Witten, Topological Sigma Models, Commun. Math. Phys.118(1988) 411

1988
[38]

Mirror Manifolds And Topological Field Theory

E. Witten, Mirror manifolds and topological field theory, In *Yau, S.T. (ed.): Mirror symmetry I* 121-160 [hep-th/9112056]. Noriaki Ikeda Department of Mathematical Sciences, Ritsumeikan University Kusatsu, Shiga 525-8577, Japan e-mail:nikeda@se.ritsumei.ac.jp

work page internal anchor Pith review arXiv