Presymplectic gauge PDEs and Lagrangian BV formalism beyond jet-bundles
arXiv:2212.11350 · doi:10.1090/conm/788/15822
Abstract
A gauge PDE is a geometrical object underlying what physicists call a local gauge field theory defined at the level of equations of motion (i.e. without specifying Lagrangian) in terms of Batalin-Vilkovisky (BV) formalism. This notion extends the BV formulation in terms of jet-bundles on the one hand and the geometrical approach to PDEs on the other hand. In this work we concentrate on gauge PDEs equipped with a compatible presymplectic structure and show that under some regularity conditions this data defines a jet-bundle BV formulation. More precisely, the BV jet-bundle arises as the symplectic quotient of the super jet-bundle of the initial gauge PDE. In this sense, presymplectic gauge PDEs give an invariant geometrical approach to Lagrangian gauge systems, which is not limited to jet-bundles. Furthermore, the presymplectic gauge PDE structure naturally descends to space-time submanifolds (in particular, boundaries, if any) and, in this respect, is quite similar to AKSZ sigma models which are long known to have this feature. We also introduce a notion of a weak presymplectic gauge PDE, where the nilpotency of the differential is replaced by a presymplectic analog of the BV master equation, and show that it still defines a local BV system. This allows one to encode BV systems in terms of finite-dimensional graded geometry, much like the AKSZ construction does in the case of topological models.
arXiv comment21 pages, technical issues in Section 4.5 fixed, typos corrected
References in corpus (42)
- The Geometry of the Master Equation and Topological Quantum Field Theory
- Local BRST cohomology in gauge theories
- A path integral approach to the Kontsevich quantization formula
- Antibracket, Antifields and Gauge-Theory Quantization
- Local BRST cohomology in the antifield formalism: I. General theorems
- Geometry of Batalin-Vilkovisky quantization
- Geometry of jet spaces and integrable systems
- Higher order singletons, partially massless fields and their boundary values in the ambient approach
- Semiclassical approximation in Batalin-Vilkovisky formalism
- Local BRST cohomology in Einstein--Yang--Mills theory
- Parent field theory and unfolding in BRST first-quantized terms
- Local BRST cohomology and covariance
- Perturbative quantum gauge theories on manifolds with boundary
- Classical BV theories on manifolds with boundary
- BRST theory without Hamiltonian and Lagrangian
- Superfield BRST Charge and the Master Action
- A Poincare lemma for sigma models of AKSZ type
- Lectures on AKSZ Sigma Models for Physicists
- First order parent formulation for generic gauge field theories
- Parent formulations, frame-like Lagrangians, and generalized auxiliary fields
- Hamiltonian BRST and Batalin-Vilkovisky formalisms for second quantization of gauge theories
- Notes on the ambient approach to boundary values of AdS gauge fields
- Frame-like Lagrangians and presymplectic AKSZ-type sigma models
- Superfield algorithms for topological field theories
- Type-B Formal Higher Spin Gravity
- Parent formulation at the Lagrangian level
- On the structure of graded symplectic supermanifolds and Courant algebroids
- Gauge PDE and AKSZ-type Sigma Models
- Boundary values of mixed-symmetry massless fields in AdS space
- Boundary structure of General Relativity in tetrad variables
- Towards holography in the BV-BFV setting
- Presymplectic structures and intrinsic Lagrangians for massive fields
- Finite dimensional AKSZ-BV theories
- Presymplectic structures and intrinsic Lagrangians
- Higher Spin Gravities and Presymplectic AKSZ Models
- Presymplectic AKSZ formulation of Einstein gravity
- Local BRST cohomology in (non-)Lagrangian field theory
- Variational Tricomplex, Global Symmetries and Conservation Laws of Gauge Systems
- Presymplectic current and the inverse problem of the calculus of variations
- Presymplectic BV-AKSZ formulation of Conformal Gravity
- Variational tricomplex of a local gauge system, Lagrange structure and weak Poisson bracket
- On complexes related with calculus of variations