We extend the correspondence between Poisson maps and actions of symplectic groupoids, which generalizes the one between momentum maps and hamiltonian actions, to the realm of Dirac geometry. As an example, we show how hamiltonian quasi-Poisson manifolds fit into this framework by constructing an ``inversion'' procedure relating quasi-Poisson bivectors to twisted Dirac structures.
Using tools from Dirac geometry and through an explicit construction, we show that every Poisson homogeneous space of any Poisson Lie group admits an integration to a symplectic groupoid. Our theorem follows from a more general result which relates, for a principal bundle $M\to M/H$, integrations of a Dirac structure on $M/H$ to $H$-admissible integrations of its pullback Dirac structure on $M$ by pre-symplectic groupoids. Our construction gives a distinguished class of explicit real or holomorphic pre-symplectic and symplectic groupoids over semi-simple Lie groups and some of their homogeneou…
We give sufficient conditions for the existence of a Dirac structure on the total space of a Poisson fiber bundle endowed with a compatible connection. We also show that Cartan and Cartan-Hannay-Berry connections give rise to coupling Dirac structures.
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 describe an averaging procedure on a Dirac manifold, with respect to a class of compatible actions of a compact Lie group. Some averaging theorems on the existence of invariant realizations of Poisson structures around (singular) symplectic leaves are derived. We show that the construction of coupling Dirac structures (invariant with respect to locally Hamiltonian group actions) on a Poisson foliation is related with a special class of exact gauge transformations.
We study gauge transformations of Dirac structures and the relationship between gauge and Morita equivalences of Poisson manifolds. We describe how the symplectic structure of a symplectic groupoid is affected by a gauge transformation of the Poisson structure on its identity section, and prove that gauge-equivalent integrable Poisson structures are Morita equivalent. As an example, we study certain generic sets of Poisson structures on Riemann surfaces: we find complete gauge-equivalence invariants for such structures which, on the 2-sphere, yield a complete invariant of Morita equivalence.
We study the integrability of Poisson and Dirac structures that arise from quotient constructions. From our results we deduce several classical results as well as new applications. We also give explicit constructions of Lie groupoids integrating two interesting families of geometric structures: (i) a special class of Poisson homogeneous spaces of symplectic groupoids integrating Poisson groups and (ii) Dirac homogeneous spaces.
In this paper, we develop the theory of Hom-Lie algebroids, Hom-Lie bialgebroids and Hom-Courant algebroids introduced by Cai, Liu and Sheng. Specifically, we introduce the notions of Hom-Poisson, Hom-Nijenhuis and Hom-Poisson-Nijenhuis structures on a Hom-Lie algebroid and the notion of Hom-Dirac structures on a Hom-Courant algebroid. We show that these structures satisfy similar properties to structures non "Hom-"version. For example, there exists the hierarchy of a Hom-Poisson-Nijenhuis structure and we have a relation between Hom-Dirac structures and Maurer-Cartan type equation. Moreover w…
We study Dirac structures associated with Manin pairs (\d,\g) and give a Dirac geometric approach to Hamiltonian spaces with D/G-valued moment maps, originally introduced by Alekseev and Kosmann-Schwarzbach in terms of quasi-Poisson structures. We explain how these two distinct frameworks are related to each other, proving that they lead to isomorphic categories of Hamiltonian spaces. We stress the connection between the viewpoint of Dirac geometry and equivariant differential forms. The paper discusses various examples, including q-Hamiltonian spaces and Poisson-Lie group actions, explaining …
The notions of \emph{Poisson Lie group} and \emph{Poisson homogeneous space} are extended to the Dirac category. The theorem of Drinfel$'$d (\cite{Drinfeld93}) on the one-to-one correspondence between Poisson homogeneous spaces of a Poisson Lie group and a special class of Lagrangian subalgebras of the Lie bialgebra associated to the Poisson Lie group is proved to hold in this more general setting.
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.
We present proofs of classical results in Poisson geometry using techniques from Dirac geometry. This article is based on mini-courses at the Poisson summer school in Geneva, June 2016, and at the workshop "Quantum Groups and Gravity" at the University of Waterloo, April 2016.
We call a singularity of a presymplectic form $ω$ removable in its graph if its graph extends to a smooth Dirac structure over the singularity. An example for this is the symplectic form of a magnetic monopole. A criterion for the removability of singularities is given in terms of regularizing functions for pure spinors. All removable singularities are poles in the sense that the norm of $ω$ is not locally bounded. The points at which removable singularities occur are the non-regular points of the Dirac structure for which we prove a general splitting theorem: Locally, every Dirac structure is…
Stokes-Dirac structures are infinite-dimensional Dirac structures defined in terms of differential forms on a smooth manifold with boundary. These Dirac structures lay down a geometric framework for the formulation of Hamiltonian systems with a nonzero boundary energy flow. Simplicial triangulation of the underlaying manifold leads to the so-called simplicial Dirac structures, discrete analogues of Stokes-Dirac structures, and thus provides a natural framework for deriving finite-dimensional port-Hamiltonian systems that emulate their infinite-dimensional counterparts. The port-Hamiltonian sys…
The correspondence between Poisson structures and symplectic groupoids, analogous to the one of Lie algebras and Lie groups, plays an important role in Poisson geometry; it offers, in particular, a unifying framework for the study of hamiltonian and Poisson actions. In this paper, we extend this correspondence to the context of Dirac structures twisted by a closed 3-form. More generally, given a Lie groupoid $G$ over a manifold $M$, we show that multiplicative 2-forms on $G$ relatively closed with respect to a closed 3-form $ϕ$ on $M$ correspond to maps from the Lie algebroid of $G$ into the c…
Poisson actions of Poisson Lie groups have an interesting and rich geometric structure. We will generalize some of this structure to Dirac actions of Dirac Lie groups. Among other things, we extend a result of Jiang-Hua-Lu, which states that the cotangent Lie algebroid and the action algebroid for a Poisson action form a matched pair. We also give a full classification of Dirac actions for which the base manifold is a homogeneous space $H/K$, obtaining a generalization of Drinfeld's classification for the Poisson Lie group case.
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…
This paper is devoted to coregular submanifolds in Poisson geometry. We show that their local Poisson saturation is an embedded Poisson submanifold, and we give a normal form for this Poisson submanifold around the coregular submanifold. This result recovers the normal form around Poisson transversals, and it yields Poisson versions of some normal form/rigidity results around constant rank submanifolds in symplectic geometry. As an application, we prove a uniqueness result concerning coisotropic embeddings of Dirac manifolds in Poisson manifolds. We also show how our results generalize to the …
Coupling Dirac structures are Dirac structures defined on the total space of a fibration, generalizing hamiltonian fibrations from symplectic geometry, where one replaces the symplectic structure on the fibers by a Poisson structure. We study the associated Poisson gauge theory, in order to describe the presymplectic groupoid integrating coupling Dirac structures. We find the obstructions to integrability and we give explicit geometric descriptions of the integration.
We give a local normal form for Dirac structures. As a consequence, we show that the dimensions of the pre-symplectic leaves of a Dirac manifold have the same parity. We also show that, given a point $m$ of a Dirac manifold $M$, there is a well-defined transverse Poisson structure to the pre-symplectic leaf $P$ through $m$. Finally, we describe the neighborhood of a pre-symplectic leaf in terms of geometric data. This description agrees with that given by Vorobjev for the Poisson case
In this paper we study the modular classes of Dirac manifolds and of Dirac maps, and we discuss their basic properties. We apply these results to explain the relationship between the modular classes of the various structures involved in the reduction of a Poisson manifold under the action by of a Poisson Lie group.
A well known result of Drinfeld classifies Poisson Lie groups $(H,Π)$ in terms of Lie algebraic data in the form of Manin triples $(\mathfrak{d},\mathfrak{g},\mathfrak{h})$; he also classified compatible Poisson structures on $H$-homogeneous spaces $H/K$ in terms of Lagrangian subalgebras $\mathfrak{l}\subset\mathfrak{d}$ with $\mathfrak{l}\cap\mathfrak{h}=\mathfrak{k}=\mathrm{Lie}(K)$. Using the language of Courant algebroids and groupoids, Li-Bland and Meinrenken formalized the notion of \emph{Dirac Lie groups} and classified them in terms of so-called "$H$-equivariant Dirac Manin triples" $…
We write down the local equations that characterize the submanifolds N of a Dirac manifold M which have a normal bundle that is either a coisotropic or an isotropic submanifold of TM endowed with the tangent Dirac structure. In the Poisson case, these formulas prove again a result of Xu: the submanifold N has a normal bundle which is a coisotropic submanifold of TM with the tangent Poisson structure iff N is a Dirac submanifold. In the presymplectic case, it is the isotropy of the normal bundle which characterizes the corresponding notion of a Dirac submanifold. On the way, we give a simple de…
A description of time-dependent Mechanics in terms of Lagrangian submanifolds of Dirac manifolds (in particular, presymplectic and Poisson manifolds) is presented. Two new Tulczyjew triples are discussed. The first one is adapted to the restricted Hamiltonian formalism and the second one is adapted to the extended Hamiltonian formalism.
In this thesis we develop the notion of LA-Courant algebroids, the infinitesimal analogue of multiplicative Courant algebroids. Specific applications include the integration of q- Poisson (d, g)-structures, and the reduction of Courant algebroids. We also introduce the notion of pseudo-Dirac structures, (possibly non-Lagrangian) subbundles W \subseteq E of a Courant algebroid such that the Courant bracket endows W naturally with the structure of a Lie algebroid. Specific examples of pseudo-Dirac structures arise in the theory of q-Poisson (d, g)-structures.
In this paper we prove rigidity theorems for Poisson Lie group actions on Poisson manifolds. In particular, we prove that close infinitesimal momentum maps associated to Poisson Lie group actions are equivalent using a normal form theorem for SCI spaces. When the Poisson structure of the acted manifold is integrable, this yields rigidity also for lifted actions to the symplectic groupoid.
On a symplectic manifold a family of generalized Poisson brackets associated with powers of the symplectic form is studied. The extreme cases are related to the Hamiltonian and Liouville dynamics. It is shown that the Dirac brackets can be obtained in a similar way.
We consider the concept of Stokes-Dirac structures in boundary control theory proposed by van der Schaft and Maschke. We introduce Poisson reduction in this context and show how Stokes-Dirac structures can be derived through symmetry reduction from a canonical Dirac structure on the unreduced phase space. In this way, we recover not only the standard structure matrix of Stokes-Dirac structures, but also the typical non-canonical advection terms in (for instance) the Euler equation.
Given a Dirac subbundle and an isotropic subbundle of a Courant algebroid, we provide a canonical method to obtain a new Dirac subbundle. When the original Dirac subbundle is involutive (i.e., a Dirac structure) this construction has interesting applications, for instance to Dirac's theory of constraints and to the Marsden-Ratiu reduction in Poisson geometry.
Deformations of a Courant Algebroid E and its Dirac subbundle A have been widely considered under the assumption that the pseudo-Euclidean metric is fixed. In this paper, we attack the same problem in a setting that allows the pseudo-Euclidean metric to deform. Thanks to Roytenberg, a Courant algebroid is equivalent to a symplectic graded Q-manifold of degree 2. From this viewpoint, we extend the notions of graded Q-manifold, DGLA and L_\infty-algebra all to "blended" version so that Poisson manifold, Lie algebroid and Courant algebroid are unified as blended Q-manifolds; and define a submanio…
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…
In this contribution we review some of the interplay between sigma models in theoretical physics and novel geometrical structures such as Lie (n-)algebroids. The first part of the article contains the mathematical background, the definition of various algebroids as well as of Dirac structures, a joint generalization of Poisson, presymplectic, but also complex structures. Proofs are given in detail. The second part deals with sigma models. Topological ones, in particular the AKSZ and the Dirac sigma models, as generalizations of the Poisson sigma models to higher dimensions and to Dirac structu…
The notion of a Dirac submanifold of a Poisson manifold was studied by Xu (arXiv:math.SG/0110326). We give an interpretation of Xu's definition in terms of a general notion of tensor fields soldered to a normalized submanifold. Then, this interpretation is used to define Dirac submanifolds of a Jacobi manifold. Several properties and examples are discussed.
We associate to any integrable Poisson manifold a stack, i.e. a category fibered in groupoids over a site. The site in question has objects Dirac manifolds and morphisms pairs consisting of a smooth map and a closed 2-form. We show that two Poisson manifolds are symplectically Morita equivalent if and only if their associated stacks are isomorphic.
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…
Every action on a Poisson manifold by Poisson diffeomorphisms lifts to a Hamiltonian action on its symplectic groupoid which has a canonically defined momentum map. We study various properties of this momentum map as well as its use in reduction.
We introduce a new topological sigma model, whose fields are bundle maps from the tangent bundle of a 2-dimensional world-sheet to a Dirac subbundle of an exact Courant algebroid over a target manifold. It generalizes simultaneously the (twisted) Poisson sigma model as well as the G/G-WZW model. The equations of motion are satisfied, iff the corresponding classical field is a Lie algebroid morphism. The Dirac Sigma Model has an inherently topological part as well as a kinetic term which uses a metric on worldsheet and target. The latter contribution serves as a kind of regulator for the theory…
A new method of singular reduction is extended from Poisson to Dirac manifolds. Then it is shown that the Dirac structures on the strata of the quotient coincide with those of the only other known singular Dirac reduction method.
Let $X$ be a manifold with a bi-Poisson structure $\{η^t\}$ generated by a pair of $G$-invariant symplectic structures $ω_1$ and $ω_2$, where the Lie group $G$ acts properly on $X$. Let $H$ be some isotropy subgroup for this action representing the principle orbit type and $X^r_\mathfrak{h}$ be the submanifold of $X$ consisting of the points in $X$ with the stabilizer algebra equal to the Lie algebra $\mathfrak{h}$ of $H$ and with the stabilizer group conjugated to $H$ in $G$. We prove that the pair of symplectic structures $ω_1|_{X^r_\mathfrak{h}}$ and $ω_2|_{X^r_\mathfrak{h}}$ generates an $…
We reformulate notions from the theory of quasi-Poisson g-manifolds in terms of graded Poisson geometry and graded Poisson-Lie groups and prove that quasi-Poisson g-manifolds integrate to quasi-Hamiltonian g-groupoids. We then interpret this result within the theory of Dirac morphisms and multiplicative Manin pairs, to connect our work with more traditional approaches, and also to put it into a wider context suggesting possible generalizations.
These notes discuss various aspect of the ``representation theory'' of Poisson manifolds, with focus on Morita equivalence and Picard groups. We give a brief introduction to Poisson geometry (including Dirac and twisted Poisson structures) and algebraic Morita theory before presenting the geometric Morita theory of Poisson manifolds. We also point out the connections with the theory of symplectic groupoids and hamiltonian actions.
We consider existence and uniqueness of two kinds of coisotropic embeddings and deduce the existence of deformation quantizations of certain Poisson algebras of basic functions. First we show that any submanifold of a Poisson manifold satisfying a certain constant rank condition sits coisotropically inside some larger cosymplectic submanifold, which is naturally endowed with a Poisson structure. Then we give conditions under which a Dirac manifold can be embedded coisotropically in a Poisson manifold, extending a classical theorem of Gotay.
We study the stability of singular points for smooth Poisson structures as well as general Lie algebroids. We give sufficient conditions for stability lying on the first (not necessarily linear) approximation of the given Poisson structure or Lie algebroid at a singular point. The main tools used here are the classical Lichnerowicz-Poisson cohomology and the deformation cohomology for Lie algebroids recently introduced by Crainic and Moerdijk. We also provide several examples of stable singular points of order $k \geq 1$ for Poisson structures and Lie algebroids. Finally, we apply our results …
This manuscript is essentially a collection of lecture notes which were given by the first author at the Summer School Wisl-2019, Poland and written down by the second author. As the title suggests, the material covered here includes the Poisson and symplectic structures (Poisson manifolds, Poisson bi-vectors and Poisson brackets), group actions and orbits (infinitesimal action, stabilizers and adjoint representations), moment maps, Poisson and Hamiltonian actions. Finally, the phase space reduction is also discussed. The very last section introduces the Poisson-Lie structures along with some …
This article addresses the problem of developing an extension of the Marsden- Weinstein reduction process to symplectic Lie algebroids, and in particular to the case of the symplectic cover of a fiberwise linear Poisson structure, whose reduction process is the analogue to cotangent bundle reduction in the context of Lie algebroids.
According to the Weinstein splitting theorem, any Poisson manifold is locally, near any given point, a product of a symplectic manifold with another Poisson manifold whose Poisson structure vanishes at the point. Similar splitting results are known e.g. for Lie algebroids, Dirac structures and generalized complex structures. In this paper, we develop a novel approach towards these results that leads to various generalizations, including their equivariant versions as well as their formulations in new contexts.
The aim of this paper is to prove a normal form Theorem for Dirac-Jacobi bundles using the recent techniques from Bursztyn, Lima and Meinrenken. As the most important consequence, we can prove the splitting theorems of Jacobi pairs which was proposed by Dazord, Lichnerowicz and Marle. As an application we provide a alternative proof of the splitting theorem of homogeneous Poisson structures.
We introduce and study a new spectral sequence associated with a Poisson group action on a Poisson manifold and an equivariant momentum mapping. This spectral sequence is a Poisson analog of the Leray spectral sequence of a fibration. The spectral sequence converges to the Poisson cohomology of the manifold and has the $E_2$-term equal to the tensor product of the cohomology of the Lie algebra and the equivariant Poisson cohomology of the manifold. The latter is defined as the equivariant cohomology of the multi-vector fields made into a G-differential complex by means of the momentum mapping.…
A Lie group G in a group pair (D,G), integrating a Lie algebra g in a Manin pair (d,g) has a quasi-Poisson structure. We define the quasi-Poisson actions of such Lie groups G, that generalize the Poisson actions of Poisson Lie groups. We define and study the moment maps for those quasi-Poisson actions which are quasi-hamiltonian. These moment maps take values in the homogeneous space D/G. We prove an analogue of the hamiltonian reduction theorem for quasi-Poisson group actions, and we study the symplectic leaves of the orbit spaces of quasi-hamiltonian spaces.
We define two categories of Dirac manifolds, i.e. manifolds with complex Dirac structures. The first notion of maps I call \emph{Dirac maps}, and the category of Dirac manifolds is seen to contain the categories of Poisson and complex manifolds as full subcategories. The second notion, \emph{dual-Dirac maps}, defines a \emph{dual-Dirac category} which contains presymplectic and complex manifolds as full subcategories. The dual-Dirac maps are stable under B-transformations. In particular we get two structures of a category on Hitchin'sgeneralized complex manifolds, i.e., two reasonable notions …