Modules and representations up to homotopy of Lie $n$-algebroids
Madeleine Jotz Lean, Rajan Amit Mehta, Theocharis Papantonis
备注：
Typos and signs corrected, relation to other work, references and details in computations have been added, distinction between left and right modules have been made
This paper studies differential graded modules and representations up to homotopy of Lie $n$-algebroids, for general $n\in\mathbb{N}$. The adjoint and coadjoint modules are described, and the corresponding split versions of the adjoint and coadjoint representations up to homotopy are explained. In particular, the case of Lie 2-algebroids is analysed in detail. The compatibility of a Poisson bracket with the homological vector field of a Lie $n$-algebroid is shown to be equivalent to a morphism from the coadjoint module to the adjoint module, leading to an alternative characterisation of non-degeneracy of higher Poisson structures. Moreover, the Weil algebra of a Lie $n$-algebroid is computed explicitly in terms of splittings, and representations up to homotopy of Lie $n$-algebroids are used to encode decomposed VB-Lie $n$-algebroid structures on double vector bundles.
Weighted Lie algebroids were recently introduced as Lie algebroids equipped with an additional compatible non-negative grading, and represent a wide generalisation of the notion of a VB -algebroid. There is a close relation between two term representations up to homotopy of Lie algebroids and VB - algebroids. In this paper we show how this relation generalises to weighted Lie algebroids and in doing so we uncover new and natural examples of higher term representations up to homotopy of Lie algebroids. Moreover, we show how the van Est theorem generalises to weighted objects.
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 construct a homotopy Poisson algebra of degree 3 associated to a split Lie 2-algebroid, by which we give a new approach to characterize a split Lie 2-bialgebroid. We develop the differential calculus associated to a split Lie 2-algebroid and establish the Manin triple theory for split Lie 2-algebroids. More precisely, we give the notion of a strict Dirac structure and define a Manin triple for split Lie 2-algebroids to be a CLWX 2-algebroid with two transversal strict Dirac structures. We show that there is a one-to-one correspondence between Manin triples for split Lie 2-alg…
We consider homotopy actions of a Lie algebroid on a graded manifold, defined as suitable $L_{\infty}$-algebra morphisms. On the "semi-direct product" we construct a homological vector field that projects to the Lie algebroid. Our main theorem states that this construction is a bijection. Since several classical geometric structures can be described by homological vector fields as above, we can display many explicit examples, involving Lie algebroids (including extensions, representations up to homotopy and their cocycles) as well as transitive Courant algebroids.
A hom-Lie algebroid is a vector bundle together with a Lie algebroid like structure which is twisted by a homomorphism. In this paper we use the idea of representations up to homotopy of Lie algebroids to construct a same structure for hom-Lie algebroids and we will explain how representations up to homotopy of length 1 are related to extensions of hom-Lie algebroids.
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 establish a relationship between two different generalizations of Lie algebroid representations: representation up to homotopy and Vaintrob's Lie algebroid modules. Specifically, we show that there is a noncanonical way to obtain a representation up to homotopy from a given Lie algebroid module, and that any two representations up to homotopy obtained in this way are equivalent in a natural sense. We therefore obtain a one-to-one correspondence, up to equivalence.
We show that double Lie algebroids, together with a chosen linear splitting, are equivalent to pairs of 2-term representations up to homotopy satisfying compatibility conditions which extend the notion of matched pair of Lie algebroids. We discuss in detail the tangent of a Lie algebroid.
We will prove that the generalized Lie algebroid is a distinguished example by Lie algebroid. The generality of it with respect to the Lie algebroid is similar with the generality of the pull-back vector bundle with respect to the vector bundle. Next, we will prove that the proof of Theorem 3.1 from [15] is a misconception and the mentioned Theorem has no validity. Finally, we anatomize an optimal control problem solvable in the generalized Lie algebroid framework whereas Lie algebroid instrumentation can not solve it.
In this paper, first we introduce the notion of a $\VB$-Lie $2$-algebroid, which can be viewed as the categorification of a $\VB$-Lie algebroid. The tangent prolongation of a Lie $2$-algebroid is a $\VB$-Lie $2$-algebroid naturally. We show that after choosing a splitting, there is a one-to-one correspondence between $\VB$-Lie $2$-algebroids and flat superconnections of a Lie 2-algebroid on a 3-term complex of vector bundles. Then we introduce the notion of a $\VB$-$\LWX$ 2-algebroid, which can be viewed as the categorification of a $\VB$-Courant algebroid. We show that there is a one-to-one c…
In this paper, first we modify the definition of a Hom-Lie algebroid introduced by Laurent-Gengoux and Teles and give its equivalent dual description. Many results that parallel to Lie algebroids are given. In particular, we give the notion of a Hom-Poisson manifold and show that there is a Hom-Lie algebroid structure on the pullback of the cotangent bundle of a Hom-Poisson manifold. Then we give the notion of a Hom-Lie bialgebroid, which is a natural generalization of a purely Hom-Lie bialgebra and a Lie bialgebroid. We show that the base manifold of a Hom-Lie bialgebroid is a Hom-Poisson man…
We introduce and study the notion of representation up to homotopy of a Lie algebroid, paying special attention to examples. We use representations up to homotopy to define the adjoint representation of a Lie algebroid and show that the resulting cohomology controls the deformations of the structure. The Weil algebra of a Lie algebroid is defined and shown to coincide with Kalkman's BRST model for equivariant cohomology in the case of group actions.
We introduce and study a class of Lie algebroids associated to faithful modules which is motivated by the notion of cotangent Lie algebroids of Poisson manifolds. We also give a classification of transitive Lie algebroids and describe Poisson algebras by using the notions of algebroid and Lie connections.
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…
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.
We show in this paper that the correspondence between $2$-term representations up to homotopy and $\mathcal{VB}$-algebroids, established by Gracia-Saz and Mehta, holds also at the level of morphisms. This correspondence is hence an equivalence of categories. As an application, we study foliations and distributions on a Lie algebroid, that are compatible both with the linear structure and the Lie algebroid structure. In particular, we show how infinitesimal ideal systems in a Lie algebroid $A$ are related with subrepresentations of the adjoint representation of $A$.
A theorem of Maurer-Cartan type for Lie algebroids is presented. Suppose that any vector subbundle of a Lie algebroid is called interior differential system (IDS) for that Lie algebroid. A theorem of Cartan type is obtained. Extending the classical notion of exterior differential system (EDS) to Lie algebroids, a theorem of Cartan type is obtained.
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.
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 (…
We introduce the notion of the modular class of a Lie algebroid equipped with a Nambu structure. In particular, we recover the modular class of a Nambu-Poisson manifold $M$ with its Nambu tensor $Λ$ as the modular class of the tangent Lie algebroid $TM$ with Nambu structure $Λ.$ We show that many known properties of the modular class of a Nambu-Poisson manifold that of a Lie algebropid extend to the setting of a Lie algebroid with Nambu structure. Finally, we prove that for a large class of Nambu-Poisson manifolds considered as tangent Lie algebroids with Nambu structures, the associated modul…
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.
For any Lie algebroid A, its 1-jet bundle JA is a Lie algebroid naturally and there is a representation π: JA ->DA. Denote by dJ the corresponding coboundary operator. In this paper, we realize the deformation cohomology of a Lie algebroid A introduced by M. Crainic and I. Moerdijk as the cohomology of a subcomplex (Γ(Hom(^\bulletJA,A)DA), dJ) of the cochain complex (Γ(Hom(^\bulletJA,A)), dJ).
This thesis studies the representation theory and linear structures of $\mathcal{Q}$-manifolds and higher Lie algebroids. We introduce differential graded modules (or for short DG-modules) of $\mathcal{Q}$-manifolds and the equivalent notion of representations up to homotopy in the case of Lie $n$-algebroids ($n\in\mathbb{N}$), as generalisations of the homonymous structures that exist already in the case of ordinary Lie algebroids. The adjoint and coadjoint modules are described, and the corresponding split versions of the adjoint and coadjoint representations up to homotopy of Lie $n$-algebr…
We introduce the concept of a higher algebroid, generalizing the notions of an algebroid and a higher tangent bundle. Our ideas are based on a description of (Lie) algebroids as vector bundle comorphisms - differential relations of a special kind. In our approach higher algebroids are vector bundle comorphism between graded-linear bundles satisfying natural axioms. We provide natural examples and discuss applications in geometric mechanics.
As a continuation of previous papers, we study the concept of a Lie algebroid structure on an affine bundle by means of the canonical immersion of the affine bundle into its bidual. We pay particular attention to the prolongation and various lifting procedures, and to the geometrical construction of Lagrangian-type dynamics on an affine Lie algebroid.
The language of Lagrangian submanifolds is used to extend a geometric characterization of the inverse problem of the calculus of variations on tangent bundles to regular Lie algebroids. Since not all closed sections are locally exact on Lie algebroids, the Helmholtz conditions on Lie algebroids are necessary but not sufficient, so they give a weaker definition of the inverse problem. As an application the Helmholtz conditions on Atiyah algebroids are obtained so that the relationship between the inverse problem and the reduced inverse problem by symmetries can be described. Some examples and c…
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 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 study the extension of a Lie algebroid by a representation up to homotopy, including semidirect products of a Lie algebroid with such representations. The extension results in a higher Lie algebroid. We give exact Courant algebroids and string Lie 2-algebras as examples of such extensions. We then apply this to obtain a Lie 2-groupoid integration of an exact Courant algebroid.
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 introduce a notion of a homotopy momentum section on a Lie algebroid over a pre-multisymplectic manifold. A homotopy momentum section is a generalization of the momentum map with a Lie group action and the momentum section on a pre-symplectic manifold, and is also regarded as a generalization of the homotopy momentum map on a multisymplectic manifold. We show that a gauged nonlinear sigma model with Wess-Zumino term with Lie algebroid gauging has the homotopy momentum section structure.
We show how the relation between $Q$-manifolds and Lie algebroids extends to ``higher'' or ``non-linear'' analogs of Lie algebroids. We study the identities satisfied by a new algebraic structure that arises as a replacement of operations on sections of a Lie algebroid. When the base is a point, we obtain a generalization of Lie superalgebras.
The $L_\infty$-algebra is an algebraic structure suitable for describing deformation problems. In this paper we construct one $L_\infty$-algebra, which turns out to be a differential graded Lie algebra, to control the deformations of Lie algebroids and a second one to control the deformations of Lie subalgebroids. We also combine these two $L_\infty$-algebras into one to control the simultaneous deformations of a Lie algebroid and its Lie subalgebroids. The results generalize the deformation theory of Lie algebra and Lie subalgebras. Applications of our results include deformations of foliatio…
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 …
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…
This paper considers the Pontryagin characters of graded vector bundles of finite rank, in the cohomology vector spaces of a Lie algebroid over the same base. These Pontryagin characters vanish if the graded vector bundle carries a representation up to homotopy of the Lie algebroid. As a consequence, this gives a strong obstruction to the existence of a representation up to homotopy on a graded vector bundle of finite rank. In particular, if a graded vector bundle $E[0]\oplus F[1]\to M$ carries a $2$-term representation up to homotopy of a Lie algebroid $A\to M$, then all the (classical) $A$-P…
We introduce the notion of G-algebroid, generalising both Lie and Courant algebroids, as well as the algebroids used in $E_{n(n)}\times\mathbb{R}^+$ exceptional generalised geometry for $n\in\{3,\dots,6\}$. Focusing on the exceptional case, we prove a classification of "exact" algebroids and translate the related classification of Leibniz parallelisable spaces into a tractable algebraic problem. After discussing the general notion of Poisson-Lie duality, we show that the Poisson-Lie U-duality is compatible with the equations of motion of supergravity.
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…
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…
Let M be a manifold carrying the action of a Lie group G, and A a Lie algebroid on M equipped with a compatible infinitesimal G-action. Out of these data we construct an equivariant Lie algebroid cohomology and prove for compact G a related localization formula. As an application we prove a Bott-type formula.
We define and examine the notion of a Killing section of a Riemannian Lie algebroid as a natural generalisation of a Killing vector field. We show that the various expression for a vector field to be Killing naturally generalise to the setting of Lie algebroids. As an application we examine the internal symmetries of a class of sigma models for which the target space is a Riemannian Lie algebroid. Critical points of these sigma models are interpreted as generalised harmonic maps.
We show how to extend the construction of Tulczyjew triples to Lie algebroids via graded manifolds. We also provide a generalisation of triangular Lie bialgebroids as higher Poisson and Schouten structures on Lie algebroids.
We study the modular class of $Q$-manifolds, and in particular of negatively graded Lie $\infty$-algebroid. We show the equivalence of several descriptions of those classes, that it matches the classes introduced by various authors and that the notion is homotopy invariant. In the process, the adjoint and coadjoint actions up to homotopy of a Lie $\infty$-algebroid are spelled out. We also wrote down explicitly some dualities, e.g. between representations up to homotopies of Lie $\infty$-algebroids and their $Q$-manifold equivalent, which we hope to be of use for future reference.
We define a general notion of abstract double Lie algebroid. We show (1) that the double Lie algebroid of a double Lie groupoid is a double Lie algebroid in this sense; (2) that the double cotangent constructed from Lie algebroid structures on a vector bundle A and its dual A* is a double Lie algebroid if and only if (A, A*) is a Lie bialgebroid; (3) that a vacant double Lie algebroid structure is equivalent to a matched pair structure on the side Lie algebroids.
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…
Given a bundle of chain complexes, the algebra of functions on its shifted cotangent bundle has a natural structure of a shifted Poisson algebra. We show that if two such bundles are homotopy equivalent, the corresponding Poisson algebras are homotopy equivalent. We apply this result to $L_\infty$-algebroids to show that two homotopy equivalent bundles have the same $L_\infty$-algebroid structures and explore some consequence on the theory of shifted Poisson structures.
This paper provides an alternative, much simpler, definition for Li-Bland's LA-Courant algebroids, or Poisson Lie 2-algebroids, in terms of split Lie 2-algebroids and self-dual 2-representations. This definition generalises in a precise sense the characterisation of (decomposed) double Lie algebroids via matched pairs of 2-representations. We use the known geometric examples of LA-Courant algebroids in order to provide new examples of Poisson Lie 2-algebroids, and we explain in this general context Roytenberg's equivalence of Courant algebroids with symplectic Lie 2-algebroids. We study furthe…
We study the semidirect product of a Lie algebra with a representation up to homotopy and provide various examples coming from Courant algebroids, string Lie 2-algebras, and omni-Lie algebroids. In the end, we study the semidirect product of a Lie group with a representation up to homotopy and use it to give an integration of a certain string Lie 2-algebra.
The aim of this note is to point out that Chern characters can be computed using curvatures o ``super-connections up to homotopy'. We also present an application to the vanishing theorem for Lie algebroids which is at the origin of new secondary classes of algebroids (Fernandes), hence, in particular, of Poisson manifolds.
We give a new proof of the equivalence between the existence of a complete action of a Lie algebroid on a surjective submersion and its integrability. The main tools in our approach are double Lie groupoids and multiplicative foliations, our proof relies on a simple characterization of those vacant double Lie groupoids which induce a Lie groupoid structure on their orbit spaces.
A VB-algebroid is essentially defined as a Lie algebroid object in the category of vector bundles. There is a one-to-one correspondence between VB-algebroids and certain flat Lie algebroid superconnections, up to a natural notion of equivalence. In this setting, we are able to construct characteristic classes, which in special cases reproduce characteristic classes constructed by Crainic and Fernandes. We give a complete classification of regular VB-algebroids, and in the process we obtain another characteristic class of Lie algebroids that does not appear in the ordinary representation theory…
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.
