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 related notions. This text represents a brief review of a well-known material citing standard references for more details. The exposition is concise, but pedagogical. The Authors believe that it will be useful as an introductory exposition for students interested in this specific topic.
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.
Given a symplectic form and a pseudo-riemannian metric on a manifold, a non degenerate even Poisson bracket on the algebra of differential forms is defined and its properties are studied. A comparison with the Koszul-Schouten bracket is established.
We introduce a new kind of groupoid--a pseudo étale groupoid, which provides many interesting examples of noncommutative Poisson algebras as defined by Block, Getzler, and Xu. Following the idea that symplectic and Poisson geometries are the semiclassical limits of the corresponding quantum geometries, we quantize these noncommutative Poisson manifolds in the framework of deformation quantization.
We provide an alternative method for obtaining of compatible Poisson structures on Lie groups by means of the adjoint representations of Lie algebras. In this way, we calculate some compatible Poisson structures on four dimensional and nilpotent six dimensional symplectic real Lie groups. Then using Magri-Morosi's theorem we obtain new bi-Hamiltonian systems with four dimensional and nilpotent six dimensional symplectic real Lie groups as phase spaces.
Symplectic realization is a longstanding problem which can be traced back to Sophus Lie. In this paper, we present an explicit solution to this problem for an arbitrary holomorphic Poisson manifold. More precisely, for any holomorphic Poisson manifold $(X, π)$, we prove that there exists a holomorphic symplectic structure in a neighborhood $Y$ of the zero section of $T^*X$ such that the projection map is a symplectic realization of the given Poisson manifold, and moreover the zero section is a holomorphic Lagrangian submanifold. We describe an explicit construction for such a new holomorphic s…
We compute the Poisson cohomology of a class of Poisson manifolds that are symplectic away from a collection $D$ of hypersurfaces. These Poisson structures induce a generalization of symplectic and cosymplectic structures, which we call a k-cosymplectic structure, on the intersection of hypersurfaces in $D$.
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 Guillemin-Sternberg's theorem, and we identify Poisson transversals as the right analogue to symplectic submanifolds in this con…
We study noncommutative generalizations of such notions of the classical symplectic geometry as degenerate Poisson structure, Poisson submanifold and quotient manifold, symplectic foliation and symplectic leaf for associative Poisson algebras. We consider these structures for the case of the endomorphism algebra of a vector bundle, and give the full description of the family of Poisson structures for this algebra.
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.
In this short note we give a complete characterization of a certain class of compact corank one Poisson manifolds, those equipped with a closed one-form defining the symplectic foliation and a closed two-form extending the symplectic form on each leaf. If such a manifold has a compact leaf, then all the leaves are compact, and furthermore the manifold is a mapping torus of a compact leaf. These manifolds and their regular Poisson structures admit an extension as the critical hypersurface of a Poisson b-manifold as we consider in a later paper.
Using Fedosov's approach we give a geometric construction of a formal symplectic groupoid over any Poisson manifold endowed with a torsion-free Poisson contravariant connection. In the case of Kaehler-Poisson manifolds this construction provides, in particular, the formal symplectic groupoids with separation of variables. We show that the dual of a semisimple Lie algebra does not admit torsion-free Poisson contravariant connections.
We introduce scattering-symplectic manifolds, manifolds with a type of minimally degenerate Poisson structure that is not too restrictive so as to have a large class of examples, yet restrictive enough for standard Poisson invariants to be computable. This paper will demonstrate the potential of the scattering symplectic setting. In particular, we construct scattering-symplectic spheres and scattering symplectic gluings between strong convex symplectic fillings of a contact manifold. By giving an explicit computation of the Poisson cohomology of a scattering symplectic manifold, we also introd…
Noticing that the space of the solutions of a first order Hamiltonian field theory has a pre-symplectic structure, we describe a class of conserved charges on it associated to the momentum map determined by any symmetry group of transformations. Gauge theories are dealt with by using a symplectic regularization based on an application of Gotay's coisotropic embedding theorem. The analysis of Electrodynamics and of the Klein-Gordon theory illustrates the main results of the theory as well as the emergence of the energy-momentum tensor algebra of conserved currents.
In this paper we study the symplectic and Poisson geometry of moduli spaces of flat connections over quilted surfaces. These are surfaces where the structure group varies from region to region in the surface, and where a reduction (or relation) of structure occurs along the boundaries of the regions. Our main theoretical tool is a new form moment-map reduction in the context of Dirac geometry. This reduction framework allows us to use very general relations of structure groups, and to investigate both the symplectic and Poisson geometry of the resulting moduli spaces from a unified perspective…
The covariant canonical formalism is a covariant extension of the traditional canonical formalism of fields. In contrast to the traditional canonical theory, it has a remarkable feature that canonical equations of gauge theories or gravity are not only manifestly Lorentz covariant but also gauge covariant or diffeomorphism covariant. A mathematical peculiarity of the covariant canonical formalism is that its canonical coordinates are differential forms on a manifold. In the present paper, we find a natural Poisson bracket of this new canonical theory, and study symplectic structure behind it. …
These are lecture notes for the course "Poisson geometry and deformation quantization" given by the author during the fall semester 2020 at the University of Zurich. The first chapter is an introduction to differential geometry, where we cover manifolds, tensor fields, integration on manifolds, Stokes' theorem, de Rham's theorem and Frobenius' theorem. The second chapter covers the most important notions of symplectic geometry such as Lagrangian submanifolds, Weinstein's tubular neighborhood theorem, Hamiltonian mechanics, moment maps and symplectic reduction. The third chapter gives an introd…
We extend the AKSZ formulation of the Poisson sigma model to more general target spaces, and we develop the general theory of graded geometry for poly-symplectic and poly-Poisson structures. In particular we prove a Schwarz-type theorem and transgression for graded poly-symplectic structures, recovering the action functional and the poly-symplectic structure of the reduced phase space of the poly-Poisson sigma model, from the AKSZ construction.
We show how one can handle the formalism developped by Yurii Vorobjev in order to give general results about the problems of linearisation and of normal form of a Poisson structure in the neighborhood of one of its symplectic leaves.
Let $G_¶$ be a compact simple Poisson-Lie group equipped with a Poisson structure $¶$ and $(M, ø)$ be a symplectic manifold. Assume that $M$ carries a Poisson action of $G_¶$ and there is an equivariant moment map in the sense of Lu and Weinstein which acts to the dual Poisson-Lie group $G^*_¶$, $\m: M\rightarrow G^*_¶$. We prove that $M$ always possesses another symplectic form $\to$ so that the $G$-action preserves $\tildeø$ and there is a new moment map $μ= e^{-1} \circ \m: M\rightarrow \g^*$. Here $e$ is a universal (independent of $M$) invertible equivariant map $e: \g^*\rightarrow G^*_¶$…
We connect Poisson and near-symplectic geometry by showing that there is a singular Poisson structure on a near-symplectic 4-manifold. The Poisson structure $π$ is defined on the tubular neighbourhood of the singular locus $Z_ω$ of the 2-form $ω$, it is of maximal rank 4 and it vanishes on a degeneracy set containing $Z_ω$. We compute its smooth Poisson cohomology, which depends on the modular vector field and it is finite dimensional. We conclude with a discussion on the relation between the Poisson structure $π$ and the overtwisted contact structure associated to a near-symplectic 4-manifold…
Geometric quantization of a Poisson manifold need not imply quantization of its symplectic leaves. We provide the leafwise geometric quantization of a Poisson manifold, seen as a foliated one, whose quantum algebra restricted to each leaf is quantized.
In this paper we introduce the notion of a smooth structure on a stratified space, the notion of a Poisson smooth structure and the notion of a weakly symplectic smooth structure on a stratified symplectic space, refining the concept of a stratified symplectic Poisson algebra introduced by Sjamaar and Lerman. We show that these smooth spaces possess several important properties, e.g. the existence of smooth partitions of unity. Furthermore, under mild conditions many properties of a symplectic manifold can be extended to a symplectic stratified space provided with a smooth Poisson structure, e…
We establish a connection between smooth symplectic resolutions and symplectic deformations of a (possibly singular) affine Poisson variety. In particular, let V be a finite-dimensional complex symplectic vector space and G\subset Sp(V) a finite subgroup. Our main result says that the so-called Calogero-Moser deformation of the orbifold V/G is, in an appropriate sense, a versal Poisson deformation. That enables us to determine the algebra structure on the rational cohomology H^*(X) of any smooth symplectic resolution X \to V/G (multiplicative McKay correspondence). We prove further that if G i…
We consider the problem of the symplectic realization of a Poisson-Nijenhuis manifold. By applying a new technique developed by M. Crainic and I. Marcut for the study of the above problem in the case of a Poisson manifold, we establish the existence, under a condition, of a nondegenerate Poisson-Nijenhuis structure on an open neighborhood of the zero-section of the cotangent bundle of the manifold, which symplectizes the initial structure. Additionally, we present some examples.
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 show that, for any regular Poisson manifold, there is an injective natural linear map from the first leafwise cohomology space into the first Poisson cohomology space which maps the Reeb class of the symplectic foliation to the modular class of the Poisson manifold. The Riemannian interpretation of those classes will permit us to show that a regular Poisson manifold whose symplectic foliation is of codimension one is unimodular if and only if its symplectic foliation is Riemannian foliation. It permit us also to construct examples of unimodular Poisson manifolds and other which are not unim…
We use the techniques of integration of Poisson manifolds into symplectic Lie groupoids to build symplectic resolutions (= desingularizations) of the closure of a symplectic leaf. More generally, we show how Lie groupoids can be used to lift singularities, in particular when one imposes a compatibility condition with an additional structure given by a multi-vector field.
A symplectic groupoid $G.:=(G_1 \rightrightarrows G_0)$ determines a Poisson structure on $G_0$. In this case, we call $G.$ a symplectic groupoid of the Poisson manifold $G_0$. However, not every Poisson manifold $M$ has such a symplectic groupoid. This keeps us away from some desirable goals: for example, establishing Morita equivalence in the category of all Poisson manifolds. In this paper, we construct symplectic Weinstein groupoids which provide a solution to the above problem (Theorem \ref{main}). More precisely, we show that a symplectic Weinstein groupoid induces a Poisson structure on…
Symplectic manifolds which are homogeneous spaces of Poisson-Lie groups are studied in this paper. We show that these spaces are, under certain assumptions, covering spaces of dressing orbits of the Poisson-Lie groups which act on them. The effect of the Poisson induction procedure on such spaces is also examined, thus leading to an interesting generalization of the notion of homogeneous space. Some examples of homogeneous spaces of Poisson-Lie groups are discussed in the light of the previous results.
We prove that the information geometry's Frobenius manifold is a symplectic manifold having Poisson structures. By proving this statement, a bridge is created between the theories developed by Vinberg, Souriau and Koszul and the Frobenius manifold approach. Until now these approaches seemed disconnected.
A geometric description of the first Poisson cohomology groups is given in the semilocal context, around (possibly singular) symplectic leaves. This result is based on the splitting theorems for infinitesimal automorphisms of coupling Poisson structures which describe the interaction between the tangential and transversal data of the characteristic distributions. As a consequence, we derive some criteria of vanishing of the first Poisson cohomology groups and apply the general splitting formulas to some particular classes of Poisson structures associated with singular symplectic foliations.
We present a general framework for reduction of symplectic Q-manifolds via graded group actions. In this framework, the homological structure on the acting group is a multiplicative multivector field.
We prove unobstructed deformations for compact Kaehlerian even-dimensional Poisson manifolds whose Poisson tensor degenerates along a divisor with mild singularities. Examples include Hilbert schemes of del Pezzo surfaces.
During the last thirty years, symplectic or Marsden--Weinstein reduction has been a major tool in the construction of new symplectic manifolds and in the study of mechanical systems with symmetry. This procedure has been traditionally associated to the canonical action of a Lie group on a symplectic manifold, in the presence of a momentum map. In this note we show that the symplectic reduction phenomenon has much deeper roots. More specifically, we will find symplectically reduced spaces purely within the Poisson category under hypotheses that do not necessarily imply the existence of a moment…
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.
We show that generalized broken fibrations in arbitrary dimensions admit rank-2 Poisson structures compatible with the fibration structure. After extending the notion of wrinkled fibration to dimension 6 we prove that these wrinkled fibrations also admit compatible rank-2 Poisson structures. In the cases with indefinite singularities we can provide these wrinkled fibrations in dimension 6 with near-symplectic structures.
Let $G$ be a connected complex semisimple Lie group, equipped with a standard multiplicative Poisson structure $π_{\rm st}$ determined by a pair of opposite Borel subgroups $(B, B_-)$. We prove that for each $v$ in the Weyl group $W$ of $G$, the double Bruhat cell $G^{v,v} = BvB \cap B_-vB_-$ in $G$, together with the Poisson structure $π_{\rm st}$, is naturally a Poisson groupoid over the Bruhat cell $BvB/B$ in the flag variety $G/B$. Correspondingly, every symplectic leaf of $π_{\rm st}$ in $G^{v,v}$ is a symplectic groupoid over $BvB/B$. For $u, v \in W$, we show that the double Bruhat cell…
Groupoids are mathematical structures able to describe symmetry properties more general than those described by groups. They were introduced (and named) by H. Brandt in 1926. Around 1950, Charles Ehresmann used groupoids with additional structures (topological and differentiable) as essential tools in topology and differential geometry. In recent years, Mickael Karasev, Alan Weinstein and Stanisław Zakrzewski independently discovered that symplectic groupoids can be used for the construction of noncommutative deformations of the algebra of smooth functions on a manifold, with potential applica…
In this paper we will present Lagrangian and Hamiltonian $k$-symplectic formalisms, we will recall the notions of symmetry and conservation law and we will define the notion of pseudosymmetry as a natural extension of symmetry. Using symmetries and pseudosymmetries, without the help of a Noether type theorem, we will obtain new kinds of conservation laws for $k$-symplectic Hamiltonian systems and $k$-symplectic Lagrangian systems.
By considering suitable Poisson groupoids, we develop an approach to obtain Lie group structures on (subgroups of) the Poisson diffeomorphism groups of various classes of Poisson manifolds. As applications, we show that the Poisson diffeomorphism groups of (normal-crossing) log-symplectic, elliptic symplectic, scattering-symplectic and cosymplectic manifolds are regular infinite-dimensional Lie groups.
Several types of generically-nondegenerate Poisson structures can be effectively studied as symplectic structures on naturally associated Lie algebroids. Relevant examples of this phenomenon include log-, elliptic, $b^k$-, scattering and elliptic-log Poisson structures. In this paper we discuss topological obstructions to the existence of such Poisson structures, obtained through the characteristic classes of their associated symplectic Lie algebroids. In particular we obtain the full obstructions for surfaces to carry such Poisson structures.
In this note we prove that an analytic symplectic action of a semisimple Lie algebra can be locally linearized in Darboux coordinates. This result yields simultaneous analytic linearization for Hamiltonian vector fields in a neighbourhood of a common zero. We also provide an example of smooth non-linearizable Hamiltonian action with semisimple linear part. The smooth analogue only holds if the semisimple Lie algebra is of compact type. An analytic equivariant b-Darboux theorem for b-Poisson manifolds and an analytic equivariant Weinstein splitting theorem for general Poisson manifolds are also…
Symplectic groupoid multiplication and Poisson integrators
Universitat Politècnica de Catalunya - BarcelonaTech (UPC)（加泰罗尼亚理工大学）；Instituto de Matemática, Universidade Federal do Rio de Janeiro（里约热内卢联邦大学数学研究所）；University of La Laguna（拉各斯大学）；ULL-CSIC Geometría Diferencial y Mecánica Geométrica（ULL-CSIC微分几何与几何力学）；Departamento de Matemáticas, Estadística e Investigación Operativa（数学、统计与运筹学系）；Instituto de Matemáticas y Aplicaciones (IMAULL)（数学与应用研究所）
The concept of a symplectic structure first appeared in the works of Lagrange on the so-called "method of variation of the constants". These works are presented, together with those of Poisson, who first defined the composition law called today the "Poisson bracket". The method of variation of the constants is presented using today's mathematical concepts and notations.
Let $M^{2n}$ be a Poisson manifold with Poisson bivector field $Π$. We say that $M$ is b-Poisson if the map $Π^n:M\toΛ^{2n}(TM)$ intersects the zero section transversally on a codimension one submanifold $Z\subset M$. This paper will be a systematic investigation of such Poisson manifolds. In particular, we will study in detail the structure of $(M,Π)$ in the neighbourhood of $Z$ and using symplectic techniques define topological invariants which determine the structure up to isomorphism. We also investigate a variant of de Rham theory for these manifolds and its connection with Poisson cohomo…
In this paper we study Poisson actions of complete Poisson groups, without any connectivity assumption or requiring the existence of a momentum map. For any complete Poisson group $G$ with dual $G^\star$ we obtain a suitably connected integrating symplectic double groupoid $\calS$. As a consequence, the cotangent lift of a Poisson action on an integrable Poisson manifold $P$ can be integrated to a Poisson action of the symplectic groupoid $\poidd{\calS}{G^\star}$ on the symplectic groupoid for $P$. Finally, we show that the quotient Poisson manifold $P/G$ is also integrable, giving an explicit…
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（哥廷根数学研究所，格奥尔格-奥古斯特哥廷根大学）
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…
A $n$-dimensional Lie group $G$ equipped with a left invariant symplectic form $\om^+$ is called a symplectic Lie group. It is well-known that $\om^+$ induces a left invariant affine structure on $G$. Relatively to this affine structure we show that the left invariant Poisson tensor $π^+$ corresponding to $\om^+$ is polynomial of degree 1 and any right invariant $k$-multivector field on $G$ is polynomial of degree at most $k$. If $G$ is unimodular, the symplectic form $\om^+$ is also polynomial and the volume form $\wedge^{\frac{n}2}\om^+$ is parallel. We show also that any left invariant tens…
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.
In this paper we develope, in a geometric framework, a Hamilton-Jacobi Theory for general dynamical systems. Such a theory contains the classical theory for Hamiltonian systems on a cotangent bundle and recent developments in the framework of general symplectic, Poisson and almost-Poisson manifolds (including some approaches to a Hamilton-Jacobi theory for nonholonomic systems). Given a dynamical system, we show that every complete solution of its related Hamilton-Jacobi Equation (HJE) gives rise to a set of first integrals, and vice versa. From that, and in the context of symplectic and Poiss…
We show that various notions of integrability for Poisson brackets are all equivalent, and we give the precise obstructions to integrating Poisson manifolds. We describe the integration as a symplectic quotient, in the spirit of the Poisson sigma-model of Cattaneo and Felder. For regular Poisson manifolds we express the obstructions in terms of variations of symplectic areas. As an application of these results, we show that a Poisson manifold admits a complete symplectic realization if, and only if, it is integrable. We discuss also the integration of submanifolds and Morita equivalence of Poi…
A surjective submersion $π: M \to B$ carrying a field of simplectic structures on the fibres is symplectic if this Poisson structure is minimal. A symplectic submersion may be interpreted as a family of mechanical systems depending on a parameter in $B$. We give some conditions to find a closed form which represent the foliated form $σ$ gluing the symplectic forms on the fibres. This is the first step to prequantize all these systems at once. We will indeed exhibit an integrality condition which does not depend on the closed form representing $σ$: if the fibres are 1-connected and $H^3(B;Z)=0$…
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…
