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.
In this paper we show how connections and their generalizations on transitive Lie algebroids are related to the notion of connections in the framework of the derivation-based noncommutative geometry. In order to compare the two constructions, we emphasize the algebraic approach of connections on Lie algebroids, using a suitable differential calculus. Two examples allow this comparison: on the one hand, the Atiyah Lie algebroid of a principal fiber bundle and, on the other hand, the space of derivations of the algebra of endomorphisms of a $SL(n, \mathbb{C})$-vector bundle. Gauge transformation…
The notion of Courant algebroid was introduced by Liu, Weinstein and Xu in 1997. Its definition consists of five axioms and an assumption for a derivation. It is shown that two of the axioms and the assumption for the derivation follow from the rest of the axioms.
We propose a definition of Jacobi quasi-Nijenhuis algebroid and show that any such Jacobi algebroid has an associated quasi-Jacobi bialgebroid. Therefore, also an associated Courant-Jacobi algebroid is obtained. We introduce the notions of quasi-Jacobi bialgebroid morphism and Courant-Jacobi algebroid morphism providing also some examples of Courant-Jacobi algebroid morphisms.
We propose a definition of Poisson quasi-Nijenhuis Lie algebroids as a natural generalization of Poisson quasi-Nijenhuis manifolds and show that any such Lie algebroid has an associated quasi-Lie bialgebroid. Therefore, also an associated Courant algebroid is obtained. We introduce the notion of a morphism of quasi-Lie bialgebroids and of the induced Courant algebroids morphism and provide some examples of Courant algebroid morphisms. Finally, we use paired operators to deform doubles of Lie and quasi-Lie bialgebroids and find an application to generalized complex geometry.
In this paper, for a Jacobi algebroid $A$, by introducing the notion of Jacobi quasi-Nijenhuis algebroids, which is a generalization of Poisson quasi-Nijenhuis manifolds introduced by Stiénon and Xu, we study generalized complex structures on the Courant-Jacobi algebroid $A\oplus A^*$, which unifies generalized complex (contact) structures on an even(odd)-dimensional manifold.
We define the Poisson quasi-Nijenhuis structures with background on Lie algebroids and we prove that to any generalized complex structure on a Courant algebroid which is the double of a Lie algebroid is associated such a structure. We prove that any Lie algebroid with a Poisson quasi-Nijenhuis structure with background constitutes, with its dual, a quasi-Lie bialgebroid. We also prove that any pair $(π,ω)$ of a Poisson bivector and a 2-form induces a Poisson quasi-Nijenhuis structure with background and we observe that particular cases correspond to already known compatibilities between $π$ an…
We reformulate the notion of a Jacobi algebroid in terms of weighted odd Jacobi brackets. We then show how a Jacobi algebroid can be understood in terms of a kind of curved Q-manifold. In particular the homological condition on the odd vector field is deformed in a very specific way. This leads to the notion of a quasi Q-manifold.
In this paper we study the local description of spaces of forms on transitive Lie algebroids. We use this local description to introduce global structures like metrics, $\ast$-Hodge operation and integration along the algebraic part of the transitive Lie algebroid (its kernel). We construct a Čech-de Rham bicomplex with a Leray-Serre spectral sequence. We apply the general theory to Atiyah Lie algebroids and to derivations on a vector bundle.
VB-groupoids and algebroids are vector bundle objects in the categories of Lie groupoids and Lie algebroids respectively, and they are related via the Lie functor. VB-groupoids and algebroids play a prominent role in Poisson and related geometries. Additionally, they can be seen as models for vector bundles over singular spaces. In this paper we study their infinitesimal automorphisms, i.e. vector fields on them generating a flow by diffeomorphisms preserving both the linear and the groupoid/algebroid structures. For a special class of VB-groupoids/algebroids coming from representations of Lie…
Given a Lie algebroid with a representation, we construct a graded Lie algebra whose Maurer-Cartan elements characterize relative Rota-Baxter operators on Lie algebroids. We give the cohomology of relative Rota-Baxter operators and study infinitesimal deformations and extendability of order $n$ deformations to order $n+1$ deformations of relative Rota-Baxter operators in terms of this cohomology theory. We also construct a graded Lie algebra on the space of multi-derivations of a vector bundle whose Maurer-Cartan elements characterize left-symmetric algebroids. We show that there is a homomorp…
By studying the Frölicher-Nijenhuis decomposition of cohomology operators (that is, derivations $D$ of the exterior algebra $Ω(M)$ with $\mathbb{Z}-$degree $1$ and $D^2=0$), we describe new examples of Lie algebroid structures on the tangent bundle $TM$ (and its complexification $T^{\mathbb{C}}M$) constructed from pre-existing geometric ones such as foliations, complex, product or tangent structures. We also describe a class of Lie algebroids on tangent bundles associated to idempotent endomorphisms with nontrivial Nijenhuis torsion.
We introduce the notion of hypersymplectic structure on a Courant algebroid and we prove the existence of a one-to-one correspondence between hypersymplectic and hyperkähler structures. This correspondence provides a simpler way to define a hyperkähler structure on a Courant algebroid. We show that hypersymplectic structures on Courant algebroids encompass hyperkähler and hyperkähler structures with torsion on Lie algebroids. In the latter, the torsion existing at the Lie algebroid level is incorporated in the Courant structure. Cases of hypersymplectic structures on Courant algebroids which a…
In this paper, first we give a detailed study on the structure of a transitive Lie 2-algebroid and describe a transitive Lie 2-algebroid using a morphism from the tangent Lie algebroid TM to a strict Lie 3-algebroid constructed from derivations. Then we introduce the notion of a quadratic Lie 2-algebroid and define its first Pontryagin class, which is a cohomology class in H^5(M). Associated to a CLWX 2-algebroid, there is a quadratic Lie 2-algebroid naturally. Conversely, we show that the first Pontryagin class of a quadratic Lie 2-algebroid is the obstruction class of the existence of a CLWX…
We study twisted Jacobi manifolds, a concept that we had introduced in a previous Note. Twisted Jacobi manifolds can be characterized using twisted Dirac-Jacobi, which are sub-bundles of Courant-Jacobi algebroids. We show that each twisted Jacobi manifold has an associated Lie algebroid with a 1-cocycle. We introduce the notion of quasi-Jacobi bialgebroid and we prove that each twisted Jacobi manifold has a quasi-Jacobi bialgebroid canonically associated. Moreover, the double of a quasi-Jacobi bialgebroid is a Courant-Jacobi algebroid. Several examples of twisted Jacobi manifolds and twisted D…
In this paper we introduce and study some mathematical structures on top of transitive Lie algebroids in order to formulate gauge theories in terms of generalized connections and their curvature: metrics, Hodge star operator and integration along the algebraic part of the transitive Lie algebroid (its kernel). Explicit action functionals are given in terms of global objects and in terms of their local description as well. We investigate applications of these constructions to Atiyah Lie algebroids and to derivations on a vector bundle. The obtained gauge theories are discussed with respect to o…
Omni-Lie algebroids are generalizations of Alan Weinstein's omni-Lie algebras. A Dirac structure in an omni-Lie algebroid $\dev E\oplus \jet E$ is necessarily a Lie algebroid together with a representation on $E$. We study the geometry underlying these Dirac structures in the light of reduction theory. In particular, we prove that there is a one-to-one correspondence between reducible Dirac structures and projective Lie algebroids in $\huaT=TM\oplus E$; we establish the relation between the normalizer $N_{L}$ of a reducible Dirac structure $L$ and the derivation algebra $\Der(\pomnib (L))$ of …
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…
In this paper we consider deformations of an algebroid stack on an etale groupoid. We construct a differential graded Lie algebra (DGLA) which controls this deformation theory. In the case when the algebroid is a twisted form of functions we show that this DGLA is quasiisomorphic to the twist of the DGLA of Hochschild cochains on the algebra of functions on the groupoid by the characteristic class of the corresponding gerbe.
Introducing Nijenhuis forms on Lie-infinity algebras gives a general frame to understand deformations of the latter. We give here a Nijenhuis interpretation of a deformation of an arbitrary Lie algebroid into a Lie-infinity algebra. Then we show that Nijenhuis forms on Lie-infinity algebras also give a short and efficient manner to understand Poisson-Nijenhuis structures and, more generally, the so-called exact Poisson quasi-Nijenhuis structures with background.
For every Lie pair $(L,A)$ of algebroids we construct a dg-manifold structure on the $\mathbb{Z}$-graded manifold $\mathcal M=L[1]\oplus L/A$ such that the inclusion $ι: A[1] \to \mathcal M$ and the projection $p:\mathcal M\to L[1]$ are morphisms of dg-manifolds. The vertical tangent bundle $T^p\mathcal M$ then inherits a structure of dg-Lie algebroid over $\mathcal M$. When the Lie pair comes from a matched pair of Lie algebroids, we show that the inclusion $ι$ induces a quasi-isomorphism that sends the Atiyah class of this dg-Lie algebroid to the Atiyah class of the Lie pair. We also show ho…
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 introduce the notion of left (and right) quasi-Loday algebroids and a "universal space" for them, called a left (right) omni-Loday algebroid, in such a way that Lie algebroids, omni-Lie algebras and omni-Loday algebroids are particular substructures.
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…
Poisson structures of divisor-type are those whose degeneracy can be captured by a divisor ideal, which is a locally principal ideal sheaf with nowhere-dense quotient support. This is a large class of Poisson structures which includes all generically-nondegenerate Poisson structures, such as log-, $b^k$-, elliptic, elliptic-log, and scattering Poisson structures. Divisor ideals are used to define almost-injective Lie algebroids of derivations preserving them, to which these Poisson structures can be lifted, often nondegenerately so. The resulting symplectic Lie algebroids can be studied using …
In this paper we define a Grassmann odd analogue of Jacobi structure on a supermanifold. The basic properties are explored. The construction of odd Jacobi manifolds is then used to reexamine the notion of a Jacobi algebroid. It is shown that Jacobi algebroids can be understood in terms of a kind of curved Q-manifold, which we will refer to as a quasi Q-manifold.
Let G be a connected Lie group, LG its loop group, and PG->G the principal LG-bundle defined by quasi-periodic paths in G. This paper is devoted to differential geometry of the Atiyah algebroid A=T(PG)/LG of this bundle. Given a symmetric bilinear form on the Lie algebra g and the corresponding central extension of Lg, we consider the lifting problem for A, and show how the cohomology class of the Cartan 3-form on G arises as an obstruction. This involves the construction of a 2-form on PG with differential the pull-back of the Cartan form. In the second part of this paper we obtain similar LG…
We present a unified approach to constrained implicit Lagrangian and Hamiltonian systems based on the introduced concept of Dirac algebroid. The latter is a certain almost Dirac structure associated with the Courant algebroid on the dual $E^\ast$ to a vector bundle $E$. If this almost Dirac structure is integrable (Dirac), we speak about a Dirac-Lie algebroid. The bundle $E$ plays the role of the bundle of kinematic configurations (quasi-velocities), while the bundle $E^\ast$ - the role of the phase space. This setting is totally intrinsic and does not distinguish between regular and singular …
We study the noncommutative differential geometry of the algebra of endomorphisms of any SU(n)-vector bundle. We show that ordinary connections on such SU(n)-vector bundle can be interpreted in a natural way as a noncommutative 1-form on this algebra for the differential calculus based on derivations. We interpret the Lie algebra of derivations of the algebra of endomorphisms as a Lie algebroid. Then we look at noncommutative connections as generalizations of these usual connections.
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（康斯特克特大学）
A symplectic Lie group is a Lie group with a left-invariant symplectic form. Its Lie algebra structure is that of a quasi-Frobenius Lie algebra. In this note, we identify the groupoid analogue of a symplectic Lie group. We call the aforementioned structure a \textit{$t$-symplectic Lie groupoid}; the "$t$" is motivated by the fact that each target fiber of a $t$-symplectic Lie groupoid is a symplectic manifold. For a Lie groupoid $\mathcal{G}\rightrightarrows M$, we show that there is a one-to-one correspondence between quasi-Frobenius Lie algebroid structures on $A\mathcal{G}$ (the associated …
We introduce nonassociative geometric objects generalising naturally Lie groupoids and called (smooth) quasiloopoids and loopoids. We prove that the tangent bundles of smooth loopoids are canonically smooth loopoids again (it is nontrivial in the case of loopoids). We show also that this is not true if the cotangent bundles are concerned. After providing a few natural constructions, we show how the Lie-like functor associates with loopoids skew-algebroids and almost Lie algebroids and how discrete mechanics on Lie groupoids can be reformulated in the nonassociative case.
A Dirac structure is a Lagrangian subbundle of a Courant algebroid, $L\subset\mathbb{E}$, which is involutive with respect to the Courant bracket. In particular, $L$ inherits the structure of a Lie algebroid. In this paper, we introduce the more general notion of a pseudo-Dirac structure: an arbitrary subbundle, $W\subset\mathbb{E}$, together with a pseudo-connection on its sections, satisfying a natural integrability condition. As a consequence of the definition, $W$ will be a Lie algebroid. Allowing non-isotropic subbundles of $\mathbb{E}$ incorporates non-skew tensors and connections into D…
We prove the universal lifting theorem: for an $α$-simply connected and $α$-connected Lie groupoid $\gm$ with Lie algebroid $A$, the graded Lie algebra of multi-differentials on $A$ is isomorphic to that of multiplicative multi-vector fields on $\gm$. As a consequence, we obtain the integration theorem for a quasi-Lie bialgebroid, which generalizes various integration theorems in the literature in special cases. The second goal of the paper is the study of basic properties of quasi-Poisson groupoids. In particular, we prove that a group pair $(D, G)$ associated to a Manin quasi-triple $(\mathf…
