Dirac reduction of dual Poisson-presymplectic pairs

The imploded cross-section of a symplectic manifold is a stratified space allowing for an abelianization of its symplectic reduction. After recalling symplectic and Poisson reduction and reviewing the basics of symplectic implosion, we prove a cross-section theorem for Poisson manifolds, generalizing the Guillemin-Sternberg theorem for symplectic manifolds, which constitutes a first step towards Poisson implosion. On our way, we find and fix a mistake in the proof of Guillemi...

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 co...

We analyze \emph{submersions with Poisson fibres}. These are submersions whose total space carries a Poisson structure, on which the ambient Poisson structure pulls back, as a Dirac structure, to Poisson structures on each individual fibre. Our ``Poisson-Dirac viewpoint'' is prompted by natural examples of Poisson submersions with Poisson fibers -- in toric geometry and Poisson-Lie groups -- whose analysis was not possible using the existing tools in the Poisson literature. ...

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, t...

We discuss in this note two dual canonical operations on Dirac structures $L$ and $R$ -- the \emph{tangent product} $L \star R$ and the \emph{cotangent product} $L \circledast R$. Our first result gives an explicit description of the leaves of $L \star R$ in terms of those of $L$ and $R$, surprisingly ruling out the pathologies which plague general ``induced Dirac structures''. In contrast to the tangent product, the more novel contangent product $L \circledast R$ need not ...

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 differentia...

In this paper we develope a theory of reduction for classical systems with Poisson Lie groups symmetries using the notion of momentum map introduced by Lu. The local description of Poisson manifolds and Poisson Lie groups and the properties of Lu's momentum map allow us to define a Poisson reduced space.

We give an elementary construction of symplectic connections through reduction. This provides an elegant description of a class of symmetric spaces and gives examples of symplectic connections with Ricci type curvature, which are not locally symmetric; the existence of such symplectic connections was unknown.

In this work we study the integrability of quotients of quasi-Poisson manifolds. Our approach allows us to put several classical results about the integrability of Poisson quotients in a common framework. By categorifying one of the already known methods of reducing symplectic groupoids we also describe double symplectic groupoids which integrate the recently introduced Poisson groupoid structures on gauge groupoids.

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...