Lie algebroids can not always be integrated into Lie groupoids. We introduce a new object--``Weinstein groupoid'', which is a differentiable stack with groupoid-like axioms. With it, we have solved the integration problem of Lie algebroids. It turns out that every Weinstein groupoid has a Lie algebroid, and every Lie algebroid can be integrated into a Weinstein groupoid.
Furthermore, we apply this general result to Jacobi manifolds and construct contact groupoids for Jacobi manifolds. There are further applications in prequantization and integrability of Poisson bivectors.
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 define Dirac pairs on Jacobi algebroids, which is a generalization of Dirac pairs on Lie algebroids introduced by Kosmann-Schwarzbach. We show the relationship between Dirac pairs on Lie and on Jacobi algebroids, and that Dirac pairs on Jacobi algebroids characterize several compatible structures on manifolds or on Jacobi algebroids.
Jacobi-Nijenhuis algebroids are defined as a natural generalization of Poisson-Nijenhuis algebroids, in the case where there exists a Nijenhuis operator on a Jacobi algebroid which is compatible with it. We study modular classes of Jacobi and Jacobi-Nijenhuis algebroids.
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…
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.
We show that the Gerstenhaber algebra of the 1-jet Lie algebroid of a Jacobi manifold has a canonical exact generator, and discuss duality between its homology and the Lie algebroid cohomology. We also discuss a new example of a Lie bialgebroid on Poisson manifolds.
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.
We show that the leaves of an LA-groupoid which pass through the unit manifold are, modulo a connectedness issue, Lie groupoids. We illustrate this phenomenon by considering the cotangent Lie algebroids of Poisson groupoids thus obtaining an interesting class of symplectic groupoids coming from their symplectic foliations. In particular, we show that for a (strict) Lie 2-group the coadjoint orbits of the units in the dual of its Lie 2-algebra are symplectic groupoids, meaning that the classical Kostant-Kirillov-Souriau symplectic forms on these special coadjoint orbits are multiplicative.
We develop a theory of Lie algebroids over differentiable stacks that extends the standard theory of Lie algebroids over manifolds. In particular we show that Lie algebroids satisfy descent for submersions, define the category of Lie algebroids over a differentiable stack, construct a cohomology theory for these objects, and explain the relation to the theory of $\mathcal{LA}$-groupoids. We construct a number of examples.
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 give examples of Lie-Rinehart algebras whose enveloping algebra is not a full Hopf algebroid in the sense of Bohm and Szlachanyi. We construct these examples as quotients of a canonical Lie-Rinehart algebra over a Jacobi algebra which does admit an antipode.
In a preceding paper we introduced a notion of compatibility between a Jacobi structure and a Riemannian structure on a smooth manifold. We proved that in the case of fundamental examples of Jacobi structures : Poisson structures, contact structures and locally conformally symplectic structures, we get respectively Riemann-Poisson structures in the sense of M. Boucetta, (1/2)-Kenmotsu structures and locally conformally Kähler structures. In this paper we are generalizing this work to the framework of Lie algebroids.
We study the geometric nature of the Jacobi equation. In particular we prove that Jacobi vector fields (JVFs) along a solution of the Euler-Lagrange (EL) equations are themselves solutions of the EL equations but considered on a non-standard algebroid (different from the tangent bundle Lie algebroid). As a consequence we obtain a simple non-computational proof of the relation between the null subspace of the second variation of the action and the presence of JVFs (and conjugate points) along an extremal. We work in the framework of skew-symmetric algebroids.
Lie algebroids can not always be integrated into Lie groupoids. We introduce a new object--``Weinstein groupoid'', which is a differentiable stack with groupoid-like axioms. With it, we have solved the integration problem of Lie algebroids. It turns out that every Weinstein groupoid has a Lie algebroid and every Lie algebroid can be integrated into a Weinstein groupoid.
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.
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…
We define a new kind of algebroid which fulfills a Leibniz rule, a Jacobi identity twisted by a 3-form $H$ with values in the kernel of the anchor map, and the twist is closed under a naturally occurring exterior covariant derivative. We give examples and define three kinds of cohomology two via realization as Q-structure on graded manifolds. This classifies PQ3-manifolds.
A complex Lie algebroid is a complex vector bundle over a smooth (real) manifold M with a bracket on sections and an anchor to the complexified tangent bundle of M which satisfy the usual Lie algebroid axioms. A proposal is made here to integrate analytic complex Lie algebroids by using analytic continuation to a complexification of M and integration to a holomorphic groupoid. A collection of diverse examples reveal that the holomorphic stacks presented by these groupoids tend to coincide with known objects associated to structures in complex geometry. This suggests that the object integrating…
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…
We characterize Poisson and Jacobi structures by means of complete lifts of the corresponding tensors: the lifts have to be related to canonical structures by morphisms of corresponding vector bundles. Similar results hold for generalized Poisson and Jacobi structures (canonical structures) associated with Lie algebroids and Jacobi algebroids.
Just like Atiyah Lie algebroids encode the infinitesimal symmetries of principal bundles, exact Courant algebroids are believed to encode the infinitesimal symmetries of $S^1$-gerbes. At the same time, transitive Courant algebroids may be viewed as the higher analogue of Atiyah Lie algebroids, and the non-commutative analogue of exact Courant algebroids. In this article, we explore what the "principal bundle" behind transitive Courant algebroids are, and they turn out to be principal 2-bundles of string groups. First, we construct the stack of principal 2-bundles of string groups with connecti…
In this paper we investigate the relations between semispray, nonlinear connection, dynamical covariant derivative and Jacobi endomorphism on Lie algebroids. Using these geometric structures, we study the symmetries of second order differential equations in the general framework of Lie algebroids.
We first recall some basic definitions and facts about Jacobi manifolds, generalized Lie bialgebroids, generalized Courant algebroids and Dirac structures. We establish an one-one correspondence between reducible Dirac structures of the generalized Lie bialgebroid of a Jacobi manifold $(M,Λ,E)$ for which 1 is an admissible function and Jacobi quotient manifolds of $M$. We study Jacobi reductions from the point of view of Dirac structures theory and we present some examples and applications.
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…
Lichnerowicz-Jacobi cohomology and homology of Jacobi manifolds are reviewed. We present both in a unified approach using the representation of the Lie algebra of functions on itself by means of the hamiltonian vector fields. The use of the associated Lie algebroid allows to prove that the Lichnerowicz-Jacobi cohomology and homology are invariant under conformal changes of the Jacobi structure and to stablish the duality between Lichnerowicz-Jacobi cohomology and homology when the modular class vanishes. We also compute the Lichnerowicz-Jacobi cohomology and homology for a large variety of exa…
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.
We define involution algebroids which generalise Lie algebroids to the abstract setting of tangent categories. As a part of this generalisation the Jacobi identity which appears in classical Lie theory is replaced by an identity similar to the Yang-Baxter equation. Every classical Lie algebroid has the structure of an involution algebroid and every involution algebroid in a tangent category admits a Lie bracket on the sections of its underlying bundle. As an illustrative application we take the first steps in developing the homotopy theory of involution algebroids.
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…
This thesis deals with deformations of VB-algebroids and VB-groupoids. They can be considered as vector bundles in the categories of Lie algebroids and groupoids and encompass several classical objects, including Lie algebra and Lie group representations, 2-vector spaces and the tangent and the cotangent algebroid (groupoid) to a Lie algebroid (groupoid). Moreover, they are geometric models for some kind of representations of Lie algebroids (groupoids), namely 2-term representations up to homotopy. Finally, it is well known that Lie groupoids are "concrete" incarnations of differentiable stack…
Shifted symplectic Lie and $L_\infty$ algebroids model formal neighbourhoods of manifolds in shifted symplectic stacks, and serve as target spaces for twisted variants of classical AKSZ topological field theory. In this paper, we classify zero-, one- and two-shifted symplectic algebroids and their higher gauge symmetries, in terms of classical geometric "higher structures", such as Courant algebroids twisted by $Ω^2$-gerbes. As applications, we produce new examples of twisted Courant algebroids from codimension-two cycles, and we give symplectic interpretations for several well known features …
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 this paper, we introduce the notion of $E$-Courant algebroids, where $E$ is a vector bundle. It is a kind of generalized Courant algebroid and contains Courant algebroids, Courant-Jacobi algebroids and omni-Lie algebroids as its special cases. We explore novel phenomena exhibited by $E$-Courant algebroids and provide many examples. We study the automorphism groups of omni-Lie algebroids and classify the isomorphism classes of exact $E$-Courant algebroids. In addition, we introduce the concepts of $E$-Lie bialgebroids and Manin triples.
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.
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.
We generalize the van Est map and isomorphism theorem in three ways, and we discuss conjectured connections with homotopy theory, including a proposal of a category which unifies differentiable stacks, Lie algebroids and homotopy theory. In Part 2 of this thesis we generalize the van Est map from a comparison map between Lie groupoid cohomology and Lie algebroid cohomology to a (more conceptual) comparison map between the cohomology of a stack $\mathcal{G}$ and the cohomology of a simple foliation $\mathcal{H}\to\mathcal{G}$. In Part 1 we generalize the functions that we can take cohomology of…
In this paper, we show that the Jacobiator $J$ of a pre-Courant algebroid is closed naturally. The corresponding equivalence class $[J^\flat]$ is defined as the Pontryagin class, which is the obstruction of a pre-Courant algebroid to be deformed into a Courant algebroid. We construct a Leibniz 2-algebra and a Lie 2-algebra associated to a pre-Courant algebroid and prove that these algebraic structures are isomorphic under deformations. Finally, we introduce the twisted action of a Lie algebra on a manifold to give more examples of pre-Courant algebroids, which include the Cartan geometry.
We study affine Jacobi structures on an affine bundle $π:A\to M$, i.e. Jacobi brackets that close on affine functions. We prove that there is a one-to-one correspondence between affine Jacobi structures on $A$ and Lie algebroid structures on the vector bundle $A^+=\bigcup_{p\in M}Aff(A_p,\R)$ of affine functionals. Some examples and applications, also for the linear case, are discussed. For a special type of affine Jacobi structures which are canonically exhibited (strongly-affine or affine-homogeneous Jacobi structures) over a real vector space of finite dimension, we describe the leaves of i…
Adopting the omni-Lie algebroid approach to Dirac-Jacobi structures, we propose and investigate a notion of weak dual pairs in Dirac-Jacobi geometry. Their main motivating examples arise from the theory of multiplicative precontact structures on Lie groupoids. Among other properties of weak dual pairs, we prove two main results. 1) We show that the property of fitting in a weak dual pair defines an equivalence relation for Dirac-Jacobi manifolds. So, in particular, we get the existence of self-dual pairs and this immediately leads to an alternative proof of the normal form theorem around Dirac…
We describe a method for solving the Maurer-Cartan structure equation associated with a Lie algebra that isolates the role of the Jacobi identity as an obstruction to integration. We show that the method naturally adapts to two other interesting situations: local symplectic realizations of Poisson structures, in which case our method sheds light on the role of the Poisson condition as an obstruction to realization; and the Maurer-Cartan structure equation associated with a Lie algebroid, in which case we obtain an explicit formula for a solution to the equation which generalizes the well known…
Based on ideas of W. M. Tulczyjew, a geometric framework for a frame-independent formulation of different problems in analytical mechanics is developed. In this approach affine bundles replace vector bundles of the standard description and functions are replaced by sections of certain affine line bundles called AV-bundles. Categorial constructions for affine and special affine bundles as well as natural analogs of Lie algebroid structures on affine bundles (Lie affgebroids) are investigated. One discovers certain Lie algebroids and Lie affgebroids canonically associated with an AV-bundle which…
We discuss the integrability of Jacobi manifolds by contact groupoids, and then look at what the Jacobi point of view brings new into Poisson geometry. In particular, using contact groupoids, we prove a Kostant-type theorem on the prequantization of symplectic groupoids, which answers a question posed by Weinstein and Xu \cite{prequan}. The methods used are those of Crainic-Fernandes on $A$-paths and monodromy group(oid)s of algebroids. In particular, most of the results we obtain are valid also in the non-integrable case.
In this paper, we show that the spaces of sections of the $n$-th differential operator bundle $\dev^n E$ and the $n$-th skew-symmetric jet bundle $\jet_n E$ of a vector bundle $E$ are isomorphic to the spaces of linear $n$-vector fields and linear $n$-forms on $E^*$ respectively. Consequently, the $n$-omni-Lie algebroid $\dev E\oplus\jet_n E$ introduced by Bi-Vitagliago-Zhang can be explained as certain linearization, which we call pseudo-linearization of the higher analogue of Courant algebroids $TE^*\oplus \wedge^nT^*E^*$. On the other hand, we show that the omni $n$-Lie algebroid $\dev E\op…
The van Est map is a map from Lie groupoid cohomology (with respect to a sheaf taking values in a representation) to Lie algebroid cohomology. We generalize the van Est map to allow for more general sheaves, namely to sheaves of sections taking values in a (smooth or holomorphic) $G$-module, where $G$-modules are structures which differentiate to representations. Many geometric structures involving Lie groupoids and stacks are classified by the cohomology of sheaves taking values in $G$-modules and not in representations, including $S^1$-groupoid extensions and equivariant gerbes. Examples of …
Motivated by the importance of symplectic isotropic realisations in the study of Poisson manifolds, this paper investigates the local and global theory of contact isotropic realisations of Jacobi manifolds, which are those of minimal dimension. These arise naturally when considering multiplicity-free actions in contact geometry, as shown in this paper. The main results concern a classification of these realisations up to a suitable notion of isomorphism, as well as establishing a relation between the existence of symplectic and contact isotropic realisations for Poisson manifolds. The main too…
A new description, different by the classical theory of Hamiltonian Mechanics, in the general framework of generalized Lie algebroids is presented. In the particular case of Lie algebroids, new and important results are obtained. We present the \emph{dual mechanical systems} called by use, \emph{dual mechanical}$(ρ,η) $\emph{-systems, Hamilton mechanical}$(ρ,η) $\emph{-systems} or \emph{% Cartan mechanical}$(ρ,η) $\emph{-systems.} and we develop their geometries. We obtain the canonical $(ρ,η) $\emph{-}semi(spray) associated to a dual mechanical $(ρ,η) $-system. The Hamilton mechanical $(ρ,η)$…
We show that a suitable notion of Dirac-Jacobi structure on a generic line bundle $L$, is provided by Dirac structures in the omni-Lie algebroid of $L$. Dirac-Jacobi structures on line bundles generalize Wade's $\mathcal E^1 (M)$-Dirac structures and unify generic (i.e.~non-necessarily coorientable) precontact distributions, Dirac structures and local Lie algebras with one dimensional fibers in the sense of Kirillov (in particular, Jacobi structures in the sense of Lichnerowicz). We study the main properties of Dirac-Jacobi structures and prove that integrable Dirac-Jacobi structures on line-b…
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…
Stacky Lie groupoids are generalizations of Lie groupoids in which the "space of arrows" of the groupoid is a differentiable stack. In this paper, we consider actions of stacky Lie groupoids on differentiable stacks and their associated quotients. We provide a characterization of principal actions of stacky Lie groupoids, i.e., actions whose quotients are again differentiable stacks in such a way that the projection onto the quotient is a principal bundle. As an application, we extend the notion of Morita equivalence of Lie groupoids to the realm of stacky Lie groupoids, providing examples tha…
We provide explicit formulas for integrating multiplicative forms on local Lie groupoids in terms of infinitesimal data. Combined with our previous work [8], which constructs the local Lie groupoid of a Lie algebroid, these formulas produce concrete integrations of several geometric stuctures defined infinitesimally. In particular, we obtain local integrations and non-degenerate realizations of Poisson, Nijenhuis-Poisson, Dirac, and Jacobi structures by local symplectic, symplectic-Nijenhuis, presymplectic, and contact groupoids, respectively.
The semi-classical data attached to stacks of algebroids in the sense of Kashiwara and Kontsevich are Maurer-Cartan elements on complex manifolds, which we call extended Poisson structures as they generalize holomorphic Poisson structures. A canonical Lie algebroid is associated to each Maurer-Cartan element. We study the geometry underlying these Maurer-Cartan elements in the light of Lie algebroid theory. In particular, we extend Lichnerowicz-Poisson cohomology and Koszul-Brylinski homology to the realm of extended Poisson manifolds; we establish a sufficient criterion for these to be finite…
We present a systematic treatment of line bundle geometry and Jacobi manifolds with an application to geometric mechanics that has not been noted in the literature. We precisely identify categories that generalise the ordinary categories of smooth manifolds and vector bundles to account for a lack of choice of a preferred unit, which in standard differential geometry is always given by the global constant function $1$. This is what we call the `unit-free' approach. After giving a characterisation of local Lie brackets via their symbol maps we apply our novel categorical language to review Jaco…
We solve the integration problem for generalized complex manifolds, obtaining as the natural integrating object a weakly holomorphic symplectic groupoid, which is a real symplectic groupoid with a compatible complex structure defined only on the associated stack, i.e., only up to Morita equivalence. We explain how such objects differentiate to give generalized complex manifolds, and we show that a generalized complex manifold is integrable in this sense if and only if its underlying real Poisson structure is integrable. Crucial to our solution are several new technical tools which are of indep…
