On the Relation of Lie Algebroids to Constrained Systems and their BV/BFV Formulation

  title={On the Relation of Lie Algebroids to Constrained Systems and their BV/BFV Formulation},
  author={Noriaki Ikeda and Thomas Strobl},
  journal={Annales Henri Poincar{\'e}},
  • N. Ikeda, T. Strobl
  • Published 28 February 2018
  • Mathematics, Physics
  • Annales Henri Poincaré
We observe that a system of irreducible, fiber-linear, first-class constraints on $$T^*M$$T∗M is equivalent to the definition of a foliation Lie algebroid over M. The BFV formulation of the constrained system is given by the Hamiltonian lift of the Vaintrob description (E[1], Q) of the Lie algebroid to its cotangent bundle $$T^*E[1]$$T∗E[1]. Affine deformations of the constraints are parametrized by the first Lie algebroid cohomology $$H^1_Q$$HQ1 and lead to irreducible constraints also for… Expand
BFV extensions and their obstructions in mechanical systems with Lie-2 symmetry
One of the main assumptions in textbooks about constrained systems—see, e.g., [1]—is that the constraint functions Ga are regular on the unconstrained symplectic manifold. Important existenceExpand
Momentum section on Courant algebroid and constrained Hamiltonian mechanics
We propose a generalization of the momentum map on a symplectic manifold with a Lie algebra action to a Courant algebroid structure. The theory of a momentum section on a Lie algebroid is generalizedExpand
Hitchhiker’s guide to Courant algebroid relations
Abstract Courant algebroids provide a useful mathematical tool (not only) in string theory. It is thus important to define and examine their morphisms. To some extent, this was done before using anExpand
Momentum Sections in Hamiltonian Mechanics and Sigma Models
  • N. Ikeda
  • Physics, Mathematics
  • Symmetry, Integrability and Geometry: Methods and Applications
  • 2019
We show a constrained Hamiltonian system and a gauged sigma model have a structure of a momentum section and a Hamiltonian Lie algebroid theory recently introduced by Blohmann and Weinstein. WeExpand
From BFV to BV and spacetime covariance
The BFV formulation of a given gauge theory is usually significantly easier to obtain than its BV formulation. Grigoriev and Damgaard introduced simple formulas for obtaining the latter from theExpand
Gauged sigma-models with nonclosed 3-form and twisted Jacobi structures
We study aspects of two-dimensional nonlinear sigma models with Wess-Zumino term corresponding to a nonclosed 3-form, which may arise upon dimensional reduction in the target space. Our goal in thisExpand
BV and BFV for the H-Twisted Poisson Sigma Model
We present the BFV- and the BV-extension of the Poisson sigma model (PSM) twisted by a closed 3-form $H$, i.e.\ of the HPSM. A novel feature in comparison to the standard PSM is that the superfieldExpand


Geometry on Lie algebroids I: compatible geometric structures on the base
The object of our study is a Lie algebroid $A$ or a Cartan-Lie algebroid $(A,\nabla)$ (a Lie algebroid with a compatible connection) over a base manifold $M$ equipped with appropriately compatibleExpand
Integration of quadratic Lie algebroids to Riemannian Cartan–Lie groupoids
Cartan–Lie algebroids, i.e., Lie algebroids equipped with a compatible connection, permit the definition of an adjoint representation, on the fiber as well as on the tangent of the base. We callExpand
2d gauge theories and generalized geometry
A bstractWe show that in the context of two-dimensional sigma models minimal coupling of an ordinary rigid symmetry Lie algebra g leads naturally to the appearance of the “generalized tangent bundle”Expand
The universal Lie infinity-algebroid of a singular foliation
We associate a Lie ∞-algebroid to every resolution of a singular foliation, where we consider a singular foliation as a locally generated, O-submodule of vector fields on the underlying manifoldExpand
The Geometry of the Master Equation and Topological Quantum Field Theory
In Batalin–Vilkovisky formalism, a classical mechanical system is specified by means of a solution to the classical master equation. Geometrically, such a solution can be considered as a QP-manifold,Expand
Relative formality theorem and quantisation of coisotropic submanifolds
We prove a relative version of Kontsevich's formality theorem. This theorem involves a manifold M and a submanifold C and reduces to Kontsevich's theorem if C=M. It states that the DGLA ofExpand
Dirac Sigma Models
We introduce a new topological sigma model, whose fields are bundle maps from the tangent bundle of a 2-dimensional world-sheet to a Dirac subbundle of an exact Courant algebroid over a targetExpand
Strings in Singular Space-Times and Their Universal Gauge Theory
We study the propagation of bosonic strings in singular target space-times. For describing this, we assume this target space to be the quotient of a smooth manifold M by a singular foliationExpand
Gauging without initial symmetry
Abstract The gauge principle is at the heart of a good part of fundamental physics: Starting with a group G of so-called rigid symmetries of a functional defined over space–time Σ , the originalExpand
Lie Algebroid Yang–Mills with matter fields
Abstract Lie Algebroid Yang–Mills theories are a generalization of Yang–Mills gauge theories, replacing the structural Lie algebra by a Lie Algebroid E . In this note we relax the conditions on theExpand