In this paper we introduce a geometric description of Lagrangian and Hamiltonian classical field theories on Lie algebroids in the framework of k-symplectic geometry. We discuss the relation between Lagrangian and Hamiltonian descriptions through a convenient notion of Legendre transformation. The theory is a natural generalization of the standard one; in addition, other interesting examples are studied, in particular, systems with symmetry and Poisson sigma models.
In this paper, we introduce the notion of a pre-symplectic algebroid, and show that there is a one-to-one correspondence between pre-symplectic algebroids and symplectic Lie algebroids. This result is the geometric generalization of the relation between left-symmetric algebras and symplectic (Frobenius) Lie algebras. Although pre-symplectic algebroids are not left-symmetric algebroids, they still can be viewed as the underlying structures of symplectic Lie algebroids. %We study three classes of pre-symplectic algebroids in detail. Then we study exact pre-symplectic algebroids and show that the…
In categorified symplectic geometry, one studies the categorified algebraic and geometric structures that naturally arise on manifolds equipped with a closed nondegenerate (n+1)-form. The case relevant to classical string theory is when n=2 and is called "2-plectic geometry". Just as the Poisson bracket makes the smooth functions on a symplectic manifold into a Lie algebra, there is a Lie 2-algebra of observables associated to any 2-plectic manifold. String theory, closed 3-forms and Lie 2-algebras also play important roles in the theory of Courant algebroids. Courant algebroids are vector bun…
We show how to reduce, under certain regularities conditions, a Poisson-Nijenhuis Lie algebroid to a symplectic-Nijenhuis Lie algebroid with nondegenerate Nijenhuis tensor. We generalize the work done by Magri and Morosi for the reduction of Poisson-Nijenhuis manifolds. The choice of the more general framework of Lie algebroids is motivated by the geometrical study of some reduced bi-Hamiltonian systems. An explicit example of reduction of a Poisson-Nijenhuis Lie algebroid is also provided.
We describe the reduction procedure for a symplectic Lie algebroid by a Lie subalgebroid and a symmetry Lie group. Moreover, given an invariant Hamiltonian function we obtain the corresponding reduced Hamiltonian dynamics. Several examples illustrate the generality of the theory.
In some previous papers, a geometric description of Lagrangian Mechanics on Lie algebroids has been developed. In the present paper, we give a Hamiltonian description of Mechanics on Lie algebroids. In addition, we introduce the notion of a Lagrangian submanifold of a symplectic Lie algebroid and we prove that the Lagrangian (Hamiltonian) dynamics on Lie algebroids may be described in terms of Lagrangian submanifolds of symplectic Lie algebroids. The Lagrangian (Hamiltonian) formalism on Lie algebroids permits to deal with Lagrangian (Hamiltonian) functions not defined necessarily on tangent (…
In this paper, the geometric approach to the virial theorem developed in \cite{CFR12} is written in terms of quasi-velocities (see \cite{CNCS07}). A generalization of the virial theorem for mechanical systems on Lie algebroids is also given, using the geometric tools of Lagrangian and Hamiltonian mechanics on the prolongation of the Lie algebroid.
In this paper, we derive a "hamiltonian formalism" for a wide class of mechanical systems, including classical hamiltonian systems, nonholonomic systems, some classes of servomechanism... This construction strongly relies in the geometry characterizing the different systems. In particular, we obtain that the class of the so-called algebroids covers a great variety of mechanical systems. Finally, as the main result, a hamiltonian symplectic realization of systems defined on algebroids is obtained.
Based on the structure of a Lie algebroid for non-geometric fluxes in string theory, a differential-geometry calculus is developed which combines usual diffeomorphisms with so-called β-diffeomorphisms emanating from gauge symmetries of the Kalb-Ramond field. This allows to construct a bi-invariant action of Einstein-Hilbert type comprising a metric, a (quasi-)symplectic structure βand a dilaton. As a salient feature, this symplectic gravity action and the resulting equations of motion take a form which is similar to the standard action and field equations. Furthermore, the two actions turn out…
A 2-plectic manifold is a manifold equipped with a closed nondegenerate 3-form, just as a symplectic manifold is equipped with a closed nondegenerate 2-form. In 2-plectic geometry we meet higher analogues of many structures familiar from symplectic geometry. For example, any 2-plectic manifold has a Lie 2-algebra consisting of smooth functions and Hamiltonian 1-forms. This is equipped with a Poisson-like bracket which only satisfies the Jacobi identity up to `coherent chain homotopy'. Over any 2-plectic manifold is a vector bundle equipped with extra structure called an exact Courant algebroid…
The jet formalism for Classical Field theories is extended to the setting of Lie algebroids. We define the analog of the concept of jet of a section of a bundle and we study some of the geometric structures of the jet manifold. When a Lagrangian function is given, we find the equations of motion in terms of a Cartan form canonically associated to the Lagrangian. The Hamiltonian formalism is also extended to this setting and we find the relation between the solutions of both formalism. When the first Lie algebroid is a tangent bundle we give a variational description of the equations of motion.…
In this paper, we introduce a geometric description of contact Lagrangian and Hamiltonian systems on Lie algebroids in the framework of contact geometry, using the theory of prolongations. We discuss the relation between Lagrangian and Hamiltonian settings through a convenient notion of Legendre transformation. We also discuss the Hamilton-Jacobi problem in this framework and introduce the notion of a Legendrian Lie subalgebroid of a contact Lie algebroid.
In this paper we introduce the notion of generalized Lie algebroid and we develop a new formalism necessary to obtain a new solution for the Weistein's Problem. Many applications emphasize the importance and the utility of this new framework determined by the introduction of generalized Lie algebroids.
Using the technique of higher derived brackets developed by Voronov, we construct a homotopy Loday algebra in the sense of Ammar and Poncin associated to any symplectic $2$-manifold. The algebra we obtain has a particularly nice structure, in that it accommodates the Dorfman bracket of a Courant algebroid as the binary operation in the hierarchy of operations, and the defect in the symmetry of each operation is measurable in a certain precise sense. We move to call such an algebra a homotopy Dorfman algebra, or a $D_\infty$-algebra, which leads to the construction of a homotopy Courant algebro…
In this paper, we describe an integration of exact Courant algebroids to symplectic 2-groupoids, and we show that the differentiation procedure from [26] inverts our integration.
The aim of this review paper is to explain the relevance of Lie groupoids and Lie algebroids to both physicists and noncommutative geometers. Groupoids generalize groups, spaces, group actions, and equivalence relations. This last aspect dominates in noncommutative geometry, where groupoids provide the basic tool to desingularize pathological quotient spaces. In physics, however, the main role of groupoids is to provide a unified description of internal and external symmetries. What is shared by noncommutative geometry and physics is the importance of Connes's idea of associating a C*-algebra …
We give a systematic derivation of the local expressions of the NS H-flux, geometric F- as well as non-geometric Q- and R-fluxes in terms of bivector beta- and two-form B-potentials including vielbeins. They are obtained using a supergeometric method on QP-manifolds by twist of the standard Courant algebroid on the generalized tangent space without flux. Bianchi identities of the fluxes are easily deduced. We extend the discussion to the case of the double space and present a formulation of T-duality in terms of canonical transformations between graded symplectic manifolds. Finally, the constr…
In this paper, we introduce the notion of a left-symmetric bialgebroid as a geometric generalization of a left-symmetric bialgebra and construct a left-symmetric bialgebroid from a pseudo-Hessian manifold. We also introduce the notion of a Manin triple for left-symmetric algebroids, which is equivalent to a left-symmetric bialgebroid. The corresponding double structure is a pre-symplectic algebroid rather than a left-symmetric algebroid. In particular, we establish a relation between Maurer-Cartan type equations and Dirac structures of the pre-symplectic algebroid which is the corresponding do…
In this survey, we present a geometric description of Lagrangian and Hamiltonian Mechanics on Lie algebroids. The flexibility of the Lie algebroid formalism allows us to analyze systems subject to nonholonomic constraints, mechanical control systems, Discrete Mechanics and extensions to Classical Field Theory within a single framework. Various examples along the discussion illustrate the soundness of the approach.
The k-cosymplectic Lagrangian and Hamiltonian formalisms of first-order field theories are reviewed and completed. In particular, they are stated for singular and almost-regular systems. Subsequently, several alternative formulations for k-cosymplectic first-order field theories are developed: First, generalizing the construction of Tulczyjew for mechanics, we give a new interpretation of the classical field equations in terms of certain submanifolds of the tangent bundle of the $k^1$-velocities of a manifold. Second, the Lagrangian and Hamiltonian formalisms are unified by giving an extension…
We provide a short review of Courant algebroids and graded symplectic manifolds and show how different Courant algebroids emerge from double field theory. Fluxes of double field theory and their Bianchi identities are formulated by using pre-QP-manifolds. We stress the relation of the Poisson Courant algebroid with R-flux as a solution of the double field theory section condition.
The variational formalism for classical field theories is extended to the setting of Lie algebroids. Given a Lagrangian function we study the problem of finding critical points of the action functional when we restrict the fields to be morphisms of Lie algebroids. In addition to the standard case, our formalism includes as particular examples the case of systems with symmetry (covariant Euler-Poincare and Lagrange Poincare cases), Sigma models or Chern-Simons theories.
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 generalized to the theory compatible with a Courant algebroid. As an example, we identify the momentum section in a constrained Hamiltonian mechanics with Courant algebroid symmetry. Moreover, we construct cohomological formulations by considering the BFV and BV formalism of this Hamiltonian system. The Weil algebra for this structure is constructed.
We study sheaves on holomorphic spaces of loops and apply this to the study of the complex, defined in \cite{BdSHK}, governing deformations of the \emph{Poisson vertex algebra} structure on the space of holomorphic loops into a Poisson variety. We describe this complex in terms of the (continuous) de Rham-Lie cohomology of an associated Lie algebroid object in locally linearly compact topological (alias \emph{Tate}) sheaves of modules on $\mathcal{L}^{+}M$. In particular this allows us to easily compute the cohomology of the above in the case where $π$ is symplectic - we obtain de Rham cohomol…
We review some recent results on the theory of Lagrangian systems on Lie algebroids. In particular we consider the symplectic and variational formalism and we study reduction. Finally we also consider optimal control systems on Lie algebroids and we show how to reduce Pontryagin maximum principle.
The aim of this work is to study, from an intrinsic and geometric point of view, second-order constrained variational problems on Lie algebroids, that is, optimization problems defined by a cost functional which depends on higher-order derivatives of admissible curves on a Lie algebroid. Extending the classical Skinner and Rusk formalism for the mechanics in the context of Lie algebroids, for second-order constrained mechanical systems, we derive the corresponding dynamical equations. We find a symplectic Lie subalgebroid where, under some mild regularity conditions, the second-order constrain…
In this paper, we introduce the notion of Koszul-Vinberg-Nijenhuis structures on a left-symmetric algebroid as analogues of Poisson-Nijenhuis structures on a Lie algebroid, and show that a Koszul-Vinberg-Nijenhuis structure gives rise to a hierarchy of Koszul-Vinberg structures. We introduce the notions of ${\rm KVΩ}$-structures, pseudo-Hessian-Nijenhuis structures and complementary symmetric $2$-tensors for Koszul-Vinberg structures on left-symmetric algebroids, which are analogues of ${\rm PΩ}$-structures, symplectic-Nijenhuis structures and complementary $2$-forms for Poisson structures. We…
Pre-Courant algebroids are `Courant algebroids' without the Jacobi identity for the Courant-Dorfman bracket. In this paper we examine the corresponding supermanifold description of pre-Courant algebroids and some direct consequences thereof - such as the definition of (sub-)Dirac structures and the notion of the naive quasi-cochain complex. In particular we define symplectic almost Lie 2-algebroids and show how they correspond to pre-Courant algebroids. Moreover, the framework of supermanifolds allows us to economically define and work with pre-Courant algebroids equipped with a compatible non…
In recent years methods for the integration of Poisson manifolds and of Lie algebroids have been proposed, the latter being usually presented as a generalization of the former. In this note it is shown that the latter method is actually related to (and may be derived from) a particular case of the former if one regards dual of Lie algebroids as special Poisson manifolds. The core of the proof is the fact, discussed in the second part of this note, that coisotropic submanifolds of a (twisted) Poisson manifold are in one-to-one correspondence with possibly singular Lagrangian subgroupoids of sou…
We generalize the $(n+1)$-dimensional twisted $R$-Poisson topological sigma model with flux on a target Poisson manifold to a Lie algebroid. Analyzing consistency of constraints in the Hamiltonian formalism and the gauge symmetry in the Lagrangian formalism, geometric conditions of the target space to make the topological sigma model consistent are identified. The geometric condition is an universal compatibility condition of a Lie algebroid with the multi-symplectic structure. This condition is a generalization of the momentum map theory of a Lie group and is regarded as a generalization of t…
We examine Lie (super)algebroids equipped with a homological section, i.e., an odd section that `self-commutes', we refer to such Lie algebroids as inner Q-algebroids: these provide natural examples of suitably "superised" Q-algebroids in the sense of Mehta. Such Lie algebroids are a natural generalisation of Q-manifolds and Lie superalgebras equipped with a homological element. Amongst other results, we show that, via the derived bracket formalism, the space of sections of an inner Q-algebroid comes equipped with an odd Loday-Leibniz bracket.
Deformations of a Courant Algebroid E and its Dirac subbundle A have been widely considered under the assumption that the pseudo-Euclidean metric is fixed. In this paper, we attack the same problem in a setting that allows the pseudo-Euclidean metric to deform. Thanks to Roytenberg, a Courant algebroid is equivalent to a symplectic graded Q-manifold of degree 2. From this viewpoint, we extend the notions of graded Q-manifold, DGLA and L_\infty-algebra all to "blended" version so that Poisson manifold, Lie algebroid and Courant algebroid are unified as blended Q-manifolds; and define a submanio…
The study of mechanical systems on Lie algebroids permits an understanding of the dynamics described by a Lagrangian or Hamiltonian function for a wide range of mechanical systems in a unified framework. Systems defined in tangent bundles, Lie algebras, principal bundles, reduced systems and constrained are included in such description. In this paper, we investigate how to derive the dynamics associated with a Lagrangian system defined on the set of admissible elements of a given Lie algebroid using Tulczyjew's triple on Lie algebroids and constructing a Lagrangian Lie subalgebroid of a symple…
Reductions of higher tangent bundles of Lie groupoids provide natural examples of geometric structures which we would like to call higher algebroids. Such objects can be also constructed abstractly starting from an arbitrary almost Lie algebroid. A higher algebroid is, in principle, a graded bundle equipped with a differential relation of special kind (a Zakrzewski morphism). In the paper we investigate basic properties of higher algebroids and show some applications. Namely, we develop a geometric framework for variational calculus on higher algebroids (including both forces and momenta). Suc…
We study Maurer-Cartan elements on homotopy Poisson manifolds of degree $n$. They unify many twisted or homotopy structures in Poisson geometry and mathematical physics, such as twisted Poisson manifolds, quasi-Poisson $\g$-manifolds, and twisted Courant algebroids. Using the fact that the dual of an $n$-term $L_\infty$-algebra is a homotopy Poisson manifold of degree $n-1$, we obtain a Courant algebroid from a $2$-term $L_\infty$-algebra $\g$ via the degree $2$ symplectic NQ-manifold $T^*[2]\g^*[1]$. By integrating the Lie quasi-bialgebroid associated to the Courant algebroid, we obtain a Lie…
The first aim of this paper is to extend the Skinner-Rusk formalism on classical mechanics for first-order field theories. The second is to generalize the definition and properties of the evolution K-operator on classical mechanics for first-order field theories using in both cases Gunther's formalism (k-symplectic formalism).
In the present paper we explicitly construct deformation quantizations of certain Poisson structures on E^*, where E -> M is a Lie algebroid. Although the considered Poisson structures in general are far from being regular or even symplectic, our construction gets along without Kontsevich's formality theorem but is based on a generalized Fedosov construction. As the whole construction merely uses geometric structures of E we also succeed in determining the dependence of the resulting star products on these data in finding appropriate equivalence transformations between them. Finally, the concr…
In this work we investigate Ricci flows of almost Kaehler structures on Lie algebroids when the fundamental geometric objects are completely determined by (semi) Riemannian metrics, or effective) regular generating Lagrange/ Finsler, functions. There are constructed canonical almost symplectic connections for which the geometric flows can be represented as gradient ones and characterized by nonholonomic deformations of Grigory Perelman's functionals. The first goal of this paper is to define such thermodynamical type values and derive almost Kähler - Ricci geometric evolution equations. The se…
The objective of this work is twofold: First, we analyze the relation between the k-cosymplectic and the k-symplectic Hamiltonian and Lagrangian formalisms in classical field theories. In particular, we prove the equivalence between k-symplectic field theories and the so-called autonomous k-cosymplectic field theories, extending in this way the description of the symplectic formalism of autonomous systems as a particular case of the cosymplectic formalism in non-autonomous mechanics. Furthermore, we clarify some aspects of the geometric character of the solutions to the Hamilton-de Donder-Weyl…
This paper presents a geometric description on Lie algebroids of Lagrangian systems subject to nonholonomic constraints. The Lie algebroid framework provides a natural generalization of classical tangent bundle geometry. We define the notion of nonholonomically constrained system, and characterize regularity conditions that guarantee the dynamics of the system can be obtained as a suitable projection of the unconstrained dynamics. The proposed novel formalism provides new insights into the geometry of nonholonomic systems, and allows us to treat in a unified way a variety of situations, includ…
A natural geometric framework is proposed, based on ideas of W. M. Tulczyjew, for constructions of dynamics on general algebroids. One obtains formalisms similar to the Lagrangian and the Hamiltonian ones. In contrast with recently studied concepts of Analytical Mechanics on Lie algebroids, this approach requires much less than the presence of a Lie algebroid structure on a vector bundle, but it still reproduces the main features of the Analytical Mechanics, like the Euler-Lagrange-type equations, the correspondence between the Lagrangian and Hamiltonian functions (Legendre transform) in the h…
For a Lie groupoid $\mathcal{G}$ with Lie algebroid $A$, we realize the symplectic leaves of the Lie-Poisson structure on $A^*$ as orbits of the affine coadjoint action of the Lie groupoid $\mathcal{J}\mathcal{G}\ltimes T^*M$ on $A^*$, which coincide with the groupoid orbits of the symplectic groupoid $T^*\mathcal{G}$ over $A^*$. It is also shown that there is a fiber bundle structure on each symplectic leaf. In the case of gauge groupoids, a symplectic leaf is the universal phase space for a classical particle in a Yang-Mills field.
We introduce the notion of Glanon groupoids, which are Lie groupoids equipped with multiplicative generalized complex structures. It combines symplectic groupoids, holomorphic Lie groupoids and holomorphic Poisson groupoids into a unified framework. Their infinitesimal, Glanon Lie algebroids are studied. We prove that there is a bijection between Glanon Lie algebroids and source-simply connected and source-connected Glanon groupoids. As a consequence, we recover various integration theorem and obtain the integration theorem for holomorphic Poisson groupoids.
We reinterpret the generalised Lie derivative of M-theory $E_6$ generalised geometry as hamiltonian flow on a graded symplectic supermanifold. The hamiltonian acts as the nilpotent derivative of the tensor hierarchy of exceptional field theory. This construction is an M-theory analogue of the Courant algebroid and reveals the $L_\infty$-algebra underlying the tensor hierarchy. The AKSZ construction identifies that same hamiltonian with the lagrangian of a 7-dimensional generalisation of Chern-Simons theory that reduces to the M5-brane Wess-Zumino term on 5-brane boundaries. The exercise repeat…
This paper is devoted to studying symmetries of k-symplectic Hamiltonian and Lagrangian first-order classical field theories. In particular, we define symmetries and Cartan symmetries and study the problem of associating conservation laws to these symmetries, stating and proving Noether's theorem in different situations for the Hamiltonian and Lagrangian cases. We also characterize equivalent Lagrangians, which lead to an introduction of Lagrangian gauge symmetries, as well as analyzing their relation with Cartan symmetries.
This paper shows the equivalence of the categories of $N$-manifolds of degree $2$ with the category of double vector bundles endowed with a linear metric. Split Poisson $N$-manifolds of degree $2$ are shown to be equivalent to self-dual representations up to homotopy. As a consequence, the equivalence above induces an equivalence between so called metric VB-algebroids and Poisson $N$-manifolds of degree $2$. Then a new description of split Lie $2$-algebroids is given, as well as their "duals", the Dorfman $2$-representations. We show that Dorfman $2$-representations are equivalent in a simple …
We show that the 2d Poisson Sigma Model on a Poisson groupoid arises as an effective theory of the 3d Courant Sigma Model associated to the double of the underlying Lie bialgebroid. This field-theoretic result follows from a Lie-theoretic one involving a coisotropic reduction of the odd cotangent bundle by a generalized space of algebroid paths. We also provide several examples, including the case of symplectic groupoids in which we relate the symplectic realization construction of Crainic-Marcut to a particular gauge fixing of the 3d theory.
A general form for the boundary coupling of a Lie algebroid Poisson sigma model is proposed. The approach involves using the Batalin-Vilkovisky formalism in the AKSZ geometrical version, to write a BRST-invariant coupling for a representation up to homotopy of the target Lie algebroid or its subalgebroids. These considerations lead to a conjectural description of topological D-branes on generalized complex manifolds, which includes A-branes and B-branes as special cases.
We consider generalizations of symplectic manifolds called n-plectic manifolds. A manifold is n-plectic if it is equipped with a closed, nondegenerate form of degree n+1. We show that higher structures arise on these manifolds which can be understood as the categorified or homotopy analogues of important structures studied in symplectic geometry and geometric quantization. Just as a symplectic manifold gives a Poisson algebra of functions, we show that any n-plectic manifold gives a Lie n-algebra containing certain differential forms which we call Hamiltonian. Lie n-algebras are examples of st…
A solution for the Weinstein's Problem in the general framework of generalized Lie algebroids is the target of this paper. We present the mechanical systems called by use, mechanical (?; ?)-systems, Lagrange mechanical (?; ?)-systems or Finsler mechanical (?; ?)-systems and we develop their geometries. We obtain the canonical (?; ?)-semi(spray) associated to a mechanical (?; ?)-system. The Lagrange mechanical (?; ?)-systems are the spaces necessary to develop a Lagrangian formalism. We obtain the (?; ?)-semispray associated to a regular Lagrangian L and external force Fe and we derive the equa…
We introduce the notion of \emph{almost commutative Q-algebras} and demonstrate how the derived bracket formalism of Kosmann-Schwarzbach generalises to this setting. In particular, we construct `almost commutative Lie algebroids' following Va\uıntrob's Q-manifold understanding of classical Lie algebroids. We show that the basic tenets of the theory of Lie algebroids carry over verbatim to the almost commutative world.
\emph{Mechanical systems} called by use, \emph{mechanical}$\left(ρ,η\right) $\emph{-systems, Lagrange mechanical}$\left(ρ,η\right) $\emph{-systems} or \emph{Finsler mechanical}$\left(ρ,η\right) $\emph{-systems} are presented. The canonical $\left(ρ,η\right) $\emph{-}semi(spray) associated to a mechanical $\left(ρ,η\right) $-system is obtained. New and important results are obtained in the particular case of Lie algebroids. The Lagrange mechanical $(ρ,η)$% -systems are the spaces necessary to develop a new Lagrangian formalism. We obtain the $(ρ,η)$-semispray associated to a regular Lagrangian …
It is well-known that principal bundles and associated bundles underlie the geometric structure of classical gauge field theories. In this paper, we explore the reformulation of gauge theories in terms of Lie algebroids and their associated bundles. This turns out to be a simple but elegant change, mathematically involving a quotient that removes spurious structure. The payoff is that the entire geometric structure involves only vector bundles over space-time, and we emphasize that familiar concepts such as BRST are built into the geometry, rather than appearing as adjunct structure. Thus the …
In this paper we will present Lagrangian and Hamiltonian $k$-symplectic formalisms, we will recall the notions of symmetry and conservation law and we will define the notion of pseudosymmetry as a natural extension of symmetry. Using symmetries and pseudosymmetries, without the help of a Noether type theorem, we will obtain new kinds of conservation laws for $k$-symplectic Hamiltonian systems and $k$-symplectic Lagrangian systems.
The construction of gauge theories beyond the realm of Lie groups and algebras leads one to consider Lie groupoids and algebroids equipped with additional geometrical structures which, for gauge invariance of the construction, need to satisfy particular compatibility conditions. This paper analyzes these compatibilities from a mathematical perspective. In particular, we show that the compatibility of a connection with a Lie algebroid that one finds is the Cartan condition, introduced previously by A. Blaom. For the metric on the base M of a Lie algebroid equipped with any connection, we show t…
