Jacobi groupoids are introduced as a generalization of Poisson and contact groupoids and it is proved that generalized Lie bialgebroids are the infinitesimal invariants of Jacobi groupoids. Several examples are discussed.
We study quasi-Jacobi and Jacobi-quasi bialgebroids and their relationships with twisted Jacobi and quasi Jacobi manifolds. We show that we can construct quasi-Lie bialgebroids from quasi-Jacobi bialgebroids, and conversely, and also that the structures induced on their base manifolds are related via a quasi Poissonization.
We describe infinitesimally Dirac groupoids via geometric objects that we call Dirac bialgebroids. In the two well-understood special cases of Poisson and presymplectic groupoids, the Dirac bialgebroids are equivalent to the Lie bialgebroids and IM-$2$-forms, respectively. In the case of multiplicative involutive distributions on Lie groupoids, we find new properties of infinitesimal ideal systems.
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…
The notion of a generalized Lie bialgebroid (a generalization of the notion of a Lie bialgebroid) is introduced in such a way that a Jacobi manifold has associated a canonical generalized Lie bialgebroid. As a kind of converse, we prove that a Jacobi structure can be defined on the base space of a generalized Lie bialgebroid. We also show that it is possible to construct a Lie bialgebroid from a generalized Lie bialgebroid and, as a consequence, we deduce a duality theorem. Finally, some special classes of generalized Lie bialgebroids are considered: triangular generalized Lie bialgebroids and…
Motivated by a search for Lie group structures on groups of Poisson diffeomorphisms [24], we investigate linearizability of Poisson structures of Poisson groupoids around the unit section. After extending the Lagrangian neighbourhood theorem to the setting of cosymplectic Lie algebroids, we establish that dual integrations of triangular bialgebroids are always linearizable. Additionally, we show that the (non-dual) integration of a triangular Lie bialgebroid is linearizable whenever the $r$-matrix is of so-called cosymplectic type. The proof relies on the integration of a triangular Lie bialge…
We define multiplicative Poisson-Nijenhuis structures on a Lie groupoid which extends the notion of symplectic-Nijenhuis groupoid introduced by Stié23non and Xu. We also introduce a special class of Lie bialgebroid structure on a Lie algebroid $A$, called P-N Lie bialgebroid, which defines a hierarchy of compatible Lie bialgebroid structures on $A$. We show that under some topological assumption on the groupoid, there is a one-to-one correspondence between multiplicative Poisson-Nijenhuis structures on a Lie groupoid and P-N Lie bialgebroid structures on the corresponding Lie algebroid.
We prove that under certain mild assumptions a Lie bialgebroid integrates to a Poisson groupoid. This includes, in particular, a new proof of the existence of local symplectic groupoids for any Poisson manifold, a theorem of Karasev and of Weinstein.
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.
In these lecture notes, we give a quick account of the theory of Poisson groupoids and Lie bialgebroids. In particular, we discuss the universal lifting theorem and its applications including integration of quasi-Lie bialgebroids, integration of Poisson Nijenhuis structures and Alekseev and Kosmann-Schwarzbach's theory of D/G-momentum maps.
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.
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 study some properties of coisotropic submanifolds of a manifold with respect to a given multivector field. Using this notion, we generalize the results of Weinstein \cite{wein} from Poisson bivector field to Nambu-Poisson tensor or more generally to any multivector field. We also introduce the notion of Nambu-Lie groupoid generalizing the concepts of both Poisson-Lie groupoid and Nambu-Lie group. We show that the infinitesimal version of Nambu-Lie groupoid is the notion of weak Lie-Filippov bialgebroid as introduced in \cite{bas-bas-das-muk}. Next we introduce coisotropic subgroupoids of a …
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…
An alternative proof of the duality of generalized Lie bialgebroid is given and proved a canonical Jacobi structure can be defined on the base of it. We also introduce the notion of morphism between generalized Lie bialgebroids and proved that the induced Jacobi structure is unique upto a morphism.
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 prove that the cotangent of a double Lie groupoid S has itself a double groupoid structure with sides the duals of associated Lie algebroids, and double base the dual of the Lie algebroid of the core of S. Using this, we prove a result outlined by Weinstein in 1988, that the side groupoids of a general symplectic double groupoid are Poisson groupoids in duality. Further, we prove that any double Lie groupoid gives rise to a pair of Poisson groupoids (and thus of Lie bialgebroids) in duality. To handle the structures involved effectively we extend to this context the dualities and canonical …
We introduce the concept of twisted contact groupoids, as an extension either of contact groupoids or of twisted symplectic ones, and we discuss the integration of twisted Jacobi manifolds by twisted contact groupoids. We also investigate the very close relationships which link homogeneous twisted Poisson manifolds with twisted Jacobi manifolds and homogeneous twisted symplectic groupoids with twisted contact ones. Some examples for each structure are presented.
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 introduce multiplicative Dirac structures on Lie groupoids, providing a unified framework to study both multiplicative Poisson bivectors (i.e., Poisson group(oid)s) and multiplicative closed 2-forms (e.g., symplectic groupoids). We prove that for every source simply connected Lie groupoid $G$ with Lie algebroid $AG$, there exists a one-to-one correspondence between multiplicative Dirac structures on $G$ and Dirac structures on $AG$, which are compatible with both the linear and algebroid structures of $AG$. We explain in what sense this extends the integration of Lie bialgebro…
On the level of Lie algebras, the contraction procedure is a method to create a new Lie algebra from a given Lie algebra by rescaling generators and letting the scaling parameter tend to zero. One of the most well-known examples is the contraction from su(2) to e(2), the Lie algebra of upper-triangular matrices with zero trace and purely imaginary diagonal. In this paper, we will consider an extension of this contraction by taking also into consideration the natural bialgebra structures on these Lie algebras. This will give a bundle of central extensions of the above Lie algebras with a Lie bi…
We study precontact groupoids whose infinitesimal counterparts are Dirac-Jacobi structures. These geometric objects generalize contact groupoids. We also explain the relationship between precontact groupoids and homogeneous presymplectic groupoids. Finally, we present some examples of precontact groupoids.
We look at Poisson geometry taking the viewpoint of singular foliations, understood as suitable submodules generated by Hamiltonian vector fields rather than partitions into (symplectic) leaves. The class of Poisson structures which behave best from this point of view, are those whose submodule generated by Hamiltonian vector fields arises from a smooth holonomy groupoid. We call them almost regular Poisson structures and determine them completely. They include regular Poisson and log symplectic manifolds, as well as several other Poisson structures whose symplectic foliation presents singular…
We study generalized Lie bialgebroids over a single point, that is, generalized Lie bialgebras. Lie bialgebras are examples of generalized Lie bialgebras. Moreover, we prove that the last ones can be considered as the infinitesimal invariants of Lie groups endowed with a certain type of Jacobi structures. We also propose a method to obtain generalized Lie bialgebras. It is a generalization of the Yang-Baxter equation method. Finally, we describe the structure of a compact generalized Lie bialgebra.
Let $(G\rr P, \mathsf D_G)$ be a Dirac groupoid. We show that there are natural Lie algebroid structures on the units $\lie A(\mathsf D_G)$ and on the core $I^\tg(\mathsf D_G)$ of the multiplicative Dirac structure. In the Poisson case, the Lie algebroid $A^*G$ is isomorphic to $\lie A(\mathsf D_G)$ and in the case of a closed 2-form, the $IM$-2-form is equivalent to the core algebroid that we find. We construct a vector bundle $\lie B(\mathsf D_G)\to P$ associated to any (almost) Dirac structure. In the Dirac case, $\lie B(\mathsf D_G)$ has the structure of a Courant algebroid that generalize…
Poisson homogeneous spaces for Poisson groupoids are classfied in terms of Dirac structures for the corresponding Lie bialgebroids. Applications include Drinfel'd's classification in the case of Poisson groups and a description of leaf spaces of foliations as homogeneous spaces of pair groupoids.
This is the second part of a series of two papers dedicated to a systematic study of holomorphic Jacobi structures. In the first part, we introduced and study the concept of a holomorphic Jacobi manifold in a very natural way as well as various tools. In the present paper, we solve the integration problem for holomorphic Jacobi manifolds by proving that they integrate to complex contact groupoids. A crucial tool in our proof is what we call the "homogenization scheme", which allows us to identify holomorphic Jacobi manifolds with homogeneous holomorphic Poisson manifolds and holomorphic contac…
This paper explains the fundamental relation between Jacobi structures and the classical Spencer operator coming from the theory of PDEs so as to provide a direct and geometric approach to the integrability of Jacobi structures. It uses recent results on the integrability of Spencer operators and multliplicative forms on Lie groupoids with non-trivial coefficients. In Theorem 1 we show that the Spencer operator associated to a contact groupoid reveals that the base manifold carries a Jacobi structure. Theorem 2 deals with the problem of integrating Jacobi structures to contact groupoids.
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…
We introduce Poisson double algebroids, and the equivalent concept of double Lie bialgebroid, which arise as second-order infinitesimal counterparts of Poisson double groupoids. We develop their underlying Lie theory, showing how these objects are related by differentiation and integration. We use these results to revisit Lie 2-bialgebras by means of Poisson double structures.
We define gauge transformations of Jacobi structures on a manifold. This is related to gauge transformations of Poisson structures via the Poissonization. Finally, we discuss how the contact structure of a contact groupoid is effected by a gauge transformation of the Jacobi structure on its base.
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…
Locally conformal symplectic (l.c.s.) groupoids are introduced as a generalization of symplectic groupoids. We obtain some examples and we prove that l.c.s. groupoids are examples of Jacobi groupoids in the sense of \cite{IM}. Finally, we describe the Lie algebroid of a l.c.s. groupoid.
We extend the calculus of multiplicative vector fields and differential forms and their intrinsic derivatives from Lie groups to Lie groupoids; this generalization turns out to include also the classical process of complete lifting from arbitrary manifolds to tangent and cotangent bundles. Using this calculus we give a new description of the Lie bialgebroid structure associated with a Poisson groupoid.
Lie theory for the integration of Lie algebroids to Lie groupoids, on the one hand, and of Poisson manifolds to symplectic groupoids, on the other, has undergone tremendous developements in the last decade, thanks to the work of Mackenzie-Xu, Moerdijk-Mrcun, Cattaneo-Felder and Crainic-Fernandes, among others. In this thesis we study - part of - the categorified version of this story, namely the integrability of LA-groupoids (groupoid objects in the category of Lie algebroids), to double Lie groupoids (groupoid objects in the category of Lie groupoids) providing a first set of sufficient condi…
The canonical involution of a double (=iterated) tangent bundle may be dualized in different ways to yield relations between the Tulczyjew diffeomorphism, the Poisson anchor associated with the standard symplectic structure on the cotangent space,and the reversal diffeomorphism. We show that the constructions which yield these maps extend very generally to the double Lie algebroids of double Lie groupoids, where they play a crucial role in the relations between double Lie algebroids and Lie bialgebroids.
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.
We introduce a new method to perform reduction of contact manifolds that extends Willett's (math.SG/0104080) and Albert's results. To carry out our reduction procedure all we need is a complete Jacobi map $J$ from a contact manifold $M$ to a Jacobi manifold $Γ_0$. This naturally generates the action of the contact groupoid of $Γ_0$ on $M$, and we show that the quotients of fibers of $J$ by suitable Lie subgroups are either contact or locally conformal symplectic manifolds with structures induced by the one on $M$. We show that Willett's reduced spaces are prequantizations of our reduced spaces…
In this paper we prove Gray stability for compact contact groupoids and we use it to prove stability results for deformations of the induced Jacobi bundles.
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…
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.
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 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…
Groupoids provide a more appropriate framework for differential geometry than principal bundles. Synthetic differential geometry is the avant-garde branch of differential geometry, in which nilpotent infinitesimals are available in abundance. The principal objective in this paper is to show within our favorite framework of synthetic differential geometry that the tangent space of the group of bisections of a microlinear groupoid at its identity is naturally a Lie algebra. We give essentially distinct two proofs for its Jacobi identity.
Butcher series for Hamiltonian Poisson integrators through symplectic groupoids
Univ Rennes, INRIA (Research team MINGuS), IRMAR (CNRS UMR 6625) and ENS Rennes(雷恩大学、INRIA(MINGuS研究团队)、IRMAR(CNRS UMR 6625)和雷恩高等师范学院);Göttingen Mathematisches Institut, Georg-August-Universität Göttingen(哥廷根数学研究所,格奥尔格-奥古斯特哥廷根大学)
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…