In this note, we discuss symmetric brackets on skew-symmetric algebroids associated with a metric structure. Given a pseudo-Riemannian metric structure, we describe symmetric brackets induced by connections with totally skew-symmetric torsion in the language of Lie derivatives and differentials of functions. In particular, we obtain an explicit formula of the Levi-Civita connection. We also present some symmetric brackets on almost Hermitian manifolds. Especially, we discuss the first canonical Hermitian connection and show the formula for it in the case of nearly Kaehler manifolds using the properties of symmetric brackets.
We define covariant Lie derivatives acting on vector-valued forms on Lie algebroids and study their properties. This allows us to obtain a concise formula for the Frölicher-Nijenhuis bracket on Lie algebroids.
It is a classical fact in Poisson geometry that the cotangent bundle of a Poisson manifold has the structure of a Lie algebroid. Manifestations of this structure are the Lichnerowicz differential on multivector fields (calculating Poisson cohomology) and the Koszul bracket of differential forms. "Raising indices" by the Poisson tensor maps the de Rham differential to the Lichnerowicz differential and the Koszul bracket to the Schouten bracket. In this paper, we present a homotopy analog of the above results. When an ordinary Poisson structure is replaced by a homotopy one, instead of a single …
We show that the integrability obstruction of a transitive Lie algebroid coincides with the lifting obstruction of a crossed module of groupoids associated naturally with the given algebroid. Then we extend this result to general extensions of integrable transitive Lie algebroids by Lie algebra bundles. Such a lifting obstruction is directly related with the classification of extensions of transitive Lie groupoids. We also give a classification of such extensions which differentiates to the classification of transitive Lie algebroids discussed in \cite{KCHM:new}.
Almost Lie algebroids are generalizations of Lie algebroids, when the Jacobiator is not necessary null. A simple example is given, for which a Lie algebroid bracket or a Courant bundle is not possible for the given anchor, but a natural extension of the bundle and the new anchor allows a Lie algebroid bracket. A cohomology and related characteristic classes of an almost Lie algebroid are also constructed. We prove that these characteristic classes are all pull-backs of the characteristic classes of the base space, as in the case of a Lie algebroid.
Generalized Schouten, Froelicher-Nijenhuis and Froelicher-Richardson brackets are defined for an arbitrary Lie algebroid. Tangent and cotangent lifts of Lie algebroids are introduced and discussed and the behaviour of the related graded Lie brackets under these lifts is studied. In the case of the canonical Lie algebroid on the tangent bundle, a new common generalization of the Froelicher-Nijenhuis and the symmetric Schouten brackets, as well as embeddings of the Nijenhuis-Richardson and the Froelicher-Nijenhuis bracket into the Schouten bracket, are obtained.
We provide a framework for extensions of Lie algebroids, including non-abelian extensions and Lie algebroids over different bases. Our approach involves Ehresmann connections, which allows straight generalizations of classical constructions. We exhibit a filtration in cohomology and explain the associated spectral sequence. We also give a description of the groupoid integrating an extension in case a complete connection can be fixed. The problem of integrability is also studied.
A pre-Lie algebroid is an anchored bundle provided with an almost Lie bracket such that the anchor is compatible with the Lie bracket of vector fields. We firstly show how most geometrical structures intensively studied in the framework of Lie algebroid can easily be extended in the pre-Lie algebroid context. The principal purpose of this paper is to show that how all these results only depend of the foliated structure and do not depend of the pre-Lie algebroid structure that we can put on a foliated anchored bundle. As application, we obtain a Finsler connection on a foliated anchored bundle …
We construct the family of algebroid brackets $[\cdot,\cdot]_{c,v}$ on the tangent bundle $T^*M$ to a Poisson manifold $(M,π)$ starting from an algebroid bracket of differential forms. We use these brackets to generate Poisson structures on the tangent bundle $TM$. Next, in the case when $M$ is equipped with a bi-Hamiltonian structure $(M,π_1, π_2)$ we show how to construct another family of Poisson structures. Moreover we present how to find Casimir functions for those structures and we discuss some particular examples.
In this dissertation we study Courant algebroids, objects that first appeared in the work of T. Courant on Dirac structures; they were later studied by Liu, Weinstein and Xu who used Courant algebroids to generalize the notion of the Drinfeld double to Lie bialgebroids. As a first step towards understanding the complicated properties of Courant algebroids, we interpret them by associating to each Courant algebroid a strongly homotopy Lie algebra in a natural way. Next, we propose an alternative construction of the double of a Lie bialgebroid as a homological hamiltonian vector field on an even…
We express any Courant algebroid bracket by means of a metric connection, and construct a Courant algebroid structure on any orthogonal Whitney sum $E\oplus C$ where E is a given Courant algebroid and C is a flat, pseudo- Euclidean vector bundle. Then, we establish the general expression of the bracket of a transitive Courant algebroid, i.e., a Courant algebroid with a surjective anchor, and describe a class of transitive Courant algebroids which are Whitney sums of a Courant subalgebroid with neutral metric and Courant-like bracket and a pseudo-Euclidean vector bundle with a flat, metric conn…
We survey the many instances of derived bracket construction in differential geometry, Lie algebroid and Courant algebroid theories, and their properties. We recall and compare the constructions of Buttin and Vinogradov, and we prove that the Vinogradov bracket is the skew-symmetrization of a derived bracket. Odd (resp., even) Poisson brackets on supermanifolds are derived brackets of canonical even (resp., odd) Poisson brackets on their cotangent bundle (resp., parity-reversed cotangent bundle). Lie algebras have analogous properties, and the theory of Lie algebroids unifies the results valid…
A VB-algebroid is a vector bundle object in the category of Lie algebroids. We attach to every VB-algebroid a differential graded Lie algebra and we show that it controls deformations of the VB-algebroid structure. Several examples and applications are discussed. This is the first in a series of papers devoted to deformations of vector bundles and related structures over differentiable stacks.
Skew algebroid is a natural generalization of the concept of Lie algebroid. In this paper, for a skew algebroid E, its modular class mod(E) is defined in the classical as well as in the supergeometric formulation. It is proved that there is a homogeneous nowhere-vanishing 1-density on E* which is invariant with respect to all Hamiltonian vector fields if and only if E is modular, i.e. mod(E)=0. Further, relative modular class of a subalgebroid is introduced and studied together with its application to holonomy, as well as modular class of a skew algebroid relation. These notions provide, in pa…
The binary bracket of a Courant algebroid structure on $(E,\langle \cdot,\cdot \rangle)$ can be extended to a $n$-ary bracket on $Γ(E)$, yielding a multi-Courant algebroid. These $n$-ary brackets form a Poisson algebra and were defined, in an algebraic setting, by Keller and Waldmann. We construct a higher geometric version of Keller-Waldmann Poisson algebra and define higher multi-Courant algebroids. As Courant algebroid structures can be seen as degree $3$ functions on a graded symplectic manifold of degree $2$, higher multi-Courant structures can be seen as functions of degree $n\geq 3$ on …
The Lie algebroids are generalization of the Lie algebras. They arise, in particular, as a mathematical tool in investigations of dynamical systems with the first class constraints. Here we consider canonical symmetries of Hamiltonian systems generated by a special class of Lie algebroids. The ``coordinate part'' of the Hamiltonian phase space is the Poisson manifold $M$ and the Lie algebroid brackets are defined by means of the Poisson bivector. The Lie algebroid action defined on $M$ can be lifted to the phase space. The main observation is that the classical BRST operator has the same form …
We show that one can skip the skew-symmetry assumption in the definition of Nambu-Poisson brackets. In other words, a n-ary bracket on the algebra of smooth functions which satisfies the Leibniz rule and a n-ary version of the Jacobi identity must be skew-symmetric. A similar result holds for a non-antisymmetric version of Lie algebroids.
The search for a geometric interpretation of the constrained brackets of Dirac led to the definition of the Courant bracket. The search for the right notion of a "double" for Lie bialgebroids led to the definition of Courant algebroids. We recount the emergence of these concepts.
In the paper we study the algebroid A of the groupoid of partially invertible elements over the lattice of orthogonal projections of a $W^*$-algebra. In particular the complex analytic manifold structure of these objects is investigated. The expressions on the Lie brackets for A and related algebroids are given in noncommutative operator coordinates in the explicit way. We also prove statements describing structure of the groupoid of partial isometries and the frame groupoid of A as well as the structure of their algebroids.
We survey recent results on the local and global integrability of a Lie algebroid, as well as the integrability of infinitesimal multiplicative geometric structures on it.
In this paper, we will study compatible triples on Lie algebroids. Using a suitable decomposition for a Lie algebroid, we construct an integrable generalized distribution on the base manifold. As a result, the symplectic form on the Lie algebroid induces a symplectic form on each integral submanifold of the distribution. The induced Poisson structure on the base manifold can be represented by means of the induced Poisson structures on the integral submanifolds. Moreover, for any compatible triple with invariant metric and admissible almost complex structure, we show that the bracket annihilate…
We introduce the notion of skew-holomorphic Lie algebroid on a complex manifold, and explore some cohomologies theories that one can associate to it. Examples are given in terms of holomorphic Poisson structures of various sorts.
We present a global construction of a so-called D-bracket appearing in the physics literature of Double Field Theory (DFT) and show that if certain integrability criteria are satisfied, it can be seen as a sum of two Courant algebroid brackets. In particular, we show that the local picture of the extended space-time used in DFT fits naturally in the geometrical framework of para-Hermitian manifolds and that the data of an (almost) para-Hermitian manifold is sufficient to construct the D-bracket. Moreover, the twists of the bracket appearing in DFT can be interpreted in this framework geometric…
We investigate a class of Leibniz algebroids which are invariant under diffeomorphisms and symmetries involving collections of closed forms. Under appropriate assumptions we arrive at a classification which in particular gives a construction starting from graded Lie algebras. In this case the Leibniz bracket is a derived bracket and there are higher derived brackets resulting in an $L_\infty$-structure. The algebroids can be twisted by a non-abelian cohomology class and we prove that the twisting class is described by a Maurer-Cartan equation. For compact manifolds we construct a Kuranishi mod…
String and M theories seem to require generalizations of usual notions of differential geometry. Such generalizations usually involve extending the tangent bundle to larger vector bundles equipped with various algebroid structures. The most general geometric scheme is not well understood yet, and a unifying framework for such algebroid structures is needed. Our aim in this paper is to propose such a general framework. Our strategy is to follow the hierarchy of defining axioms for a Courant algebroid: almost-Courant - metric - pre-Courant - Courant. In particular, we focus on the symmetric part…
Lie n-algebroids and Lie infinity algebroids are usually thought of exclusively in supergeometric or algebraic terms. In this work, we apply the higher derived brackets construction to obtain a geometric description of Lie n-algebroids by means of brackets and anchors. Moreover, we provide a geometric description of morphisms of Lie n-algebroids over different bases, give an explicit formula for the Chevalley-Eilenberg differential of a Lie n-algebroid, compare the categories of Lie n-algebroids and NQ-manifolds, and prove some conjectures of Sheng and Zhu [SZ11].
We study Nijenhuis structures on Courant algebroids in terms of the canonical Poisson bracket on their symplectic realizations. We prove that the Nijenhuis torsion of a skew-symmetric endomorphism N of a Courant algebroid is skew-symmetric if the square of N is proportional to the identity, and only in this case when the Courant algebroid is irreducible. We derive a necessary and sufficient condition for a skew-symmetric endomorphism to give rise to a deformed Courant structure. In the case of the double of a Lie bialgebroid (A,A*), given an endomorphism n of A that defines a skew-symmetric en…
We introduce a new cohomology for Lie algebroids, and prove that it provides a differential graded Lie algebra which ``controls'' deformations of the structure bracket of the algebroid. We also have a closer look at various special cases such as Lie algebras, Poisson manifolds, foliations, Lie algebra actions on manifolds.
Axioms of Lie algebroid are discussed in order to review some known aspects for non-experts. In particular, it is shown that a Lie QD-algebroid (i.e. a Lie algebra bracket on the Functions(M)-module F of sections of a vector bundle E over a manifold M which satisfies [X,fY]=f[X,Y]+A(X,f)Y for all X,Y from F, all f from Functions(M), and for certain A(X,f) from Functions(M)) is a Lie algebroid if rank(E)>1, and is a local Lie algebra in the sense of Kirillov if E is a line bundle. Under a weak condition also the skew-symmetry of the bracket is relaxed.
Starting with a Lie algebroid ${\cal A}$ over a space $M$ we lift its action to the canonical transformations on the affine bundle ${\cal R}$ over the cotangent bundle $T^*M$. Such lifts are classified by the first cohomology $H^1({\cal A})$. The resulting object is a Hamiltonian algebroid ${\cal A}^H$ over ${\cal R}$ with the anchor map from $\G({\cal A}^H)$ to Hamiltonians of canonical transformations. Hamiltonian algebroids generalize Lie algebras of canonical transformations. We prove that the BRST operator for ${\cal A}^H$ is cubic in the ghost fields as in the Lie algebra case. The Poiss…
We introduce a plethora of skew algebroids on twistor spaces and describe the corresponding foliations. In a forthcoming paper, we use these algebroids to derive results about bihermitian manifolds, also known as generalized Kahler manifolds.
We use the supergeometric formalism, more precisely, the so-called "big bracket" (for which brackets and anchors are encoded by functions on some graded symplectic manifold) to address the theory of Jacobi algebroids and bialgebroids (following mainly Iglesias-Marrero and Grabowski-Marmo as a guideline). This formalism is in particular efficient to define the Jacobi-Gerstenhaber algebra structure associated to a Jacobi algebroid, to define its Poissonization, and to express the compatibility condition defining Jacobi bialgebroids. Also, we claim that this supergeometric language gives a simple…
Jacobi algebroids, that is graded Lie brackets on the Grassmann algebra associated with a vector bundle which satisfy a property similar to that of the Jacobi brackets, are introduced. They turn out to be equivalent to generalized Lie algebroids in the sense of Iglesias and Marrero and can be viewed also as odd Jacobi brackets on the supermanifolds associated with the vector bundles. Jacobi bialgebroids are defined in the same manner. A lifting procedure of elements of this Grassmann algebra to multivector fields on the total space of the vector bundle which preserves the corresponding bracket…
This note aims to demonstrate that every parabolic geometry has a naturally defined per-Courant algebroïd structure. This structure is a Courant algebroïd if and only if the the curvature $κ$ of the Cartan connection vanishes. In all other cases, if the parabolic geometry is regular, there does not exist a natural universal expression for a Courant bracket.
Courant algebroids are structures which include as examples the doubles of Lie bialgebras and the direct sum of tangent and cotangent bundles with the bracket introduced by T. Courant for the study of Dirac structures. Within the category of Courant algebroids one can construct the doubles of Lie bialgebroids, the infinitesimal objects for Poisson groupoids. We show that Courant algebroids can be considered as strongly homotopy Lie algebras.
The concept of algebroid is convenient for constructions of geometrical frameworks. For example, metric-affine and generalized geometries can be written on Lie and Courant algebroids, respectively. Furthermore, string theories might make use of many other algebroids such as metric algebroids, higher-Courant algebroids, or conformal Courant algebroids. Working on the possibly most general algebroid structure is fruitful as it creates a chance to study all of them at once. Local pre-Leibniz algebroids are such general ones in which metric-connection geometries are possible to construct. Yet, the…
We give a direct, explicit and self-contained construction of a local Lie groupoid integrating a given Lie algebroid which only depends on the choice of a spray vector field lifting the underlying anchor map. This construction leads to a complete account of local Lie theory and, in particular, to a finite-dimensional proof of the fact that the category of germs of local Lie groupoids is equivalent to that of Lie algebroids.
In this paper, we study the algebraic properties of the higher analogues of Courant algebroid structures on the direct sum bundle $TM\oplus\wedge^nT^*M$ for an $m$-dimensional manifold. As an application, we revisit Nambu-Poisson structures and multisymplectic structures. We prove that the graph of an $(n+1)$-vector field $π$ is closed under the higher-order Dorfman bracket iff $π$ is a Nambu-Poisson structure. Consequently, there is an induced Leibniz algebroid structure on $\wedge^nT^*M$. The graph of an $(n+1)$-form $ω$ is closed under the higher-order Dorfman bracket iff $ω$ is a premultis…
We develop a systematic approach to contact and Jacobi structures on graded supermanifolds. In this framework, contact structures are interpreted as symplectic principal GL(1,R)-bundles. Gradings compatible with the GL(1,R)-action lead to the concept of a graded contact manifold, in particular a linear (more generally, n-linear) contact structure. Linear contact structures are proven to be exactly the canonical contact structures on first jets of line bundles. They provide linear Kirillov (or Jacobi) brackets and give rise to the concept of a Kirillov algebroid, an analog of a Lie algebroid, f…
In previous work with M.C. Fernandes, we found a Lie algebroid symmetry for the Einstein evolution equations of general relativity. The present work was motivated by the effort to explain the coisotropic structure of the constraint subset for the initial value problem by extending the notion of hamiltonian structure from Lie algebra actions to general Lie algebroids over presymplectic manifolds. After comparing possible compatibility conditions between the anchor $A\to TM$ and the presymplectic structure on the base $M$, we choose the most natural of them, given by a suitably chosen connection…
In this thesis we develop the notion of LA-Courant algebroids, the infinitesimal analogue of multiplicative Courant algebroids. Specific applications include the integration of q- Poisson (d, g)-structures, and the reduction of Courant algebroids. We also introduce the notion of pseudo-Dirac structures, (possibly non-Lagrangian) subbundles W \subseteq E of a Courant algebroid such that the Courant bracket endows W naturally with the structure of a Lie algebroid. Specific examples of pseudo-Dirac structures arise in the theory of q-Poisson (d, g)-structures.
We look at generalized complex structures from the point of view of Poisson and Dirac geometry and we remark that the puzzling equations underlying the notion of generalized complex structure have miraculously simple meaning when passing to Lie algebroids/groupoids.
Jacobi algebroids (i.e. `Jacobi versions' of Lie algebroids) are studied in the context of graded Jacobi brackets on graded commutative algebras. This unifies varios concepts of graded Lie structures in geometry and physics. A method of describing such structures by classical Lie algebroids via certain gauging (in the spirit of E.Witten's gauging of exterior derivative) is developed. One constructs a corresponding Cartan differential calculus (graded commutative one) in a natural manner. This, in turn, gives canonical generating operators for triangular Jacobi algebroids. One gets, in particul…
A new concept of Loday algebroid (and its pure algebraic version - Loday pseudoalgebra) is proposed and discussed in comparison with other similar structures present in the literature. The structure of a Loday pseudoalgebra and its natural reduction to a Lie pseudoalgebra is studied. Further, Loday algebroids are interpreted as homological vector fields on a `supercommutative manifold' associated with a shuffle product and the corresponding Cartan calculus is introduced. Several examples, including Courant algebroids, Grassmann-Dorfman and twisted Courant-Dorfman brackets, as well as algebroid…
We present the notion of higher Kirillov brackets on the sections of an even line bundle over a supermanifold. When the line bundle is trivial we shall speak of higher Jacobi brackets. These brackets are understood furnishing the module of sections with an $L_{\infty}$-algebra, which we refer to as a homotopy Kirillov algebra. We are then to higher Kirillov algebroids as higher generalisations of Jacobi algebroids. Furthermore, we show how to associate a higher Kirillov algebroid and a homotopy BV-algebra with every higher Kirillov manifold. In short, we construct homotopy versions of some of …
In his study of Dirac structures, a notion which includes both Poisson structures and closed 2-forms, T. Courant introduced a bracket on the direct sum of vector fields and 1-forms. This bracket does not satisfy the Jacobi identity except on certain subspaces. In this paper we systematize the properties of this bracket in the definition of a Courant algebroid. This structure on a vector bundle $E\rightarrow M$, consists of an antisymmetric bracket on the sections of $E$ whose ``Jacobi anomaly'' has an explicit expression in terms of a bundle map $E\rightarrow TM$ and a field of symmetric bilin…
We show that the skew-symmetrized product on every Leibniz algebra E can be realized on a reductive complement to a subalgebra in a Lie algebra. As a consequence, we construct a nonassociative multiplication on E which, when E is a Lie algebra, is derived from the integrated adjoint representation. We apply this construction to realize the bracket operations on the sections of Courant algebroids and on the ``omni-Lie algebras'' recently introduced by the second author.
Generalized current algebras introduced by Alekseev and Strobl in two dimensions are reconstructed by a graded manifold and a graded Poisson brackets. We generalize their current algebras to higher dimensions. QP manifolds provide the unified structures of current algebras in any dimension. Current algebras give rise to structures of Leibniz/Loday algebroids, which are characterized by QP structures. Especially, in three dimensions, a current algebra has a structure of a Lie algebroid up to homotopy introduced by Uchino and one of the authors which has a bracket of a generalization of the Cour…
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…
The word `double' was used by Ehresmann to mean `an object X in the category of all X'. Double categories, double groupoids and double vector bundles are instances, but the notion of Lie algebroid cannot readily be doubled in the Ehresmann sense, since a Lie algebroid bracket cannot be defined diagrammatically. In this paper we use the duality of double vector bundles to define a notion of double Lie algebroid, and we show that this abstracts the infinitesimal structure (at second order) of a double Lie groupoid. We further show that the cotangent of either Lie algebroid in a Lie bialgebroid h…
We introduce statistical, conjugate connection and Hessian structures on anti-commutable pre-Leibniz algebroids. Anti-commutable pre-Leibniz algebroids are special cases of local pre-Leibniz algebroids, which are still general enough to include many physically motivated algebroids such as Lie, Courant, metric and higher-Courant algebroids. They create a natural framework for generalizations of differential geometric structures on a smooth manifold. The symmetrization of the bracket on an anti-commutable pre-Leibniz algebroid satisfies a certain property depending on a choice of an equivalence …
We give an explicit description, in terms of bracket, anchor, and pairing, of the standard cochain complex associated to a Courant algebroid. In this formulation, the differential satisfies a formula that is formally identical to the Cartan formula for the de Rham differential. This perspective allows us to develop the theory of Courant algebroid connections in a way that mirrors the classical theory of connections. Using a special class of connections, we construct secondary characteristic classes associated to any Courant algebroid.
Gravity and generalised geometry from a Lie 2-algebroid perspective
Rudjer Bošković Institute（鲁德·博什科维奇研究所）；Imperial College（帝国理工学院）；London Institute for Mathematical Sciences, Royal Institution（伦敦数学科学研究所，皇家学会）；Dublin Institute for Advanced Studies（都柏林高等研究院）；Galatasaray Üniversitesi（加拉塔萨雷大学）；Constructor University（康斯特克特大学）
