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 momentum map. On other words, the right category to obtain symplectically reduced spaces is that of Poisson manifolds acted canonically upon by a Lie group.
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 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…
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.
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…
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 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.
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.
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.
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.
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.
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)（数学与应用研究所）
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…
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.
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.
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 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.
This is the first in a series of papers dedicated to the study of Poisson manifolds of compact types (PMCTs). This notion encompasses several classes of Poisson manifolds defined via properties of their symplectic integrations. In this first paper we establish some fundamental properties of PMCTs, which already show that they are the analogues of compact symplectic manifolds, thus placing them in a prominent position among all Poisson manifolds. For instance, their Poisson cohomology behaves very much like the de Rham cohomology of compact symplectic manifolds (Hodge decomposition, non-degener…
Poisson transversals are those submanifolds in a Poisson manifold which intersect all symplectic leaves transversally and symplectically. In a previous note we proved a normal form theorem around such submanifolds. In this communication, we promote that result to a normal form theorem for Poisson maps around Poisson transversals. A Poisson map pulls a Poisson transversal back to a Poisson transversal, and our first main result states that simultaneous normal forms exist around such transversals, for which the Poisson map becomes transversally linear, and intertwines the normal form data of the…
Given a compact oriented surface, we classify log Poisson bi-vectors whose degeneracy loci are locally modeled by a finite set of lines in the plane intersecting at a point. Further, we compute the Poisson cohomology of such structures and discuss the relationship between our classification and the second Poisson cohomology.
We give an intrinsic proof that Vorobjev's first approximation of a Poisson manifold near a symplectic leaf is a Poisson manifold. We also show that Conn's linearization results cannot be extended in Vorobjev's setting.
We explicitly construct several Poisson structures with compact support. For example, we show that any Poisson structure on $\R^n$ with polynomial coefficients of degree at most two can be modified outside an open ball, such that it becomes compactly supported. We also show that a symplectic manifold with either contact or cosymplectic boundary admits a Poisson structure which vanishes to infinite order at the boundary and agrees with the original symplectic structure outside an arbitrarily small tubular neighbourhood of the boundary. As a consequence, we prove that any even-dimensional manifo…
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 …
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…
We study the equivalence of Poisson structures around a given symplectic leaf of nonzero dimension. Some criteria of Poisson equivalence are derived from a homotopy argument for coupling Poisson structures. In the case when the transverse Lie algebra of the symplectic leaf is semisimple of compact type, we show that an obstruction to the linearizability is the cohomology class of a Casimir 2-cocycle. This allows us to obtain a semilocal analog of the Conn linearization theorem and to clarify examples of nonlinearizable Poisson structures due to \cite{DW}.
This paper is a fusion of a survey and a research article. We focus on certain rigidity phenomena in function spaces associated to a symplectic manifold. Our starting point is a lower bound obtained in an earlier paper with Zapolsky for the uniform norm of the Poisson bracket of a pair of functions in terms of symplectic quasi-states. After a short review of the theory of symplectic quasi-states, we extend this bound to the case of iterated Poisson brackets. A new technical ingredient is the use of symplectic integrators. In addition, we discuss some applications to symplectic approximation th…
The Lie-Poisson analogues of the cotangent bundle and coadjoint orbits of a Lie group are considered. For the natural Poisson brackets the symplectic leaves in these manifolds are classified and the corresponding symplectic forms are described. Thus the construction of the Kirillov symplectic form is generalized for Lie-Poisson groups.
We find computable criteria for stability of symplectic leaves of Poisson manifolds. Using Poisson geometry as an inspiration, we also give a general criterion for stability of leaves of Lie algebroids, including singular ones. This not only extends but also provides a new approach (and proofs) to the classical stability results for foliations and group actions.
We show that each triangular Poisson Lie group can be decomposed into Poisson submanifolds each of which is a quotient of a symplectic manifold. The Marsden-Weinstein-Meyer symplectic reduction technique is then used to give a complete description of the symplectic foliation of all triangular Poisson structures on Lie groups. The results are illustrated in detail for the generalized Jordanian Poisson structures on SL(n).
We study isomorphism classes of symplectic dual pairs P <- S -> P-, where P is an integrable Poisson manifold, S is symplectic, and the two maps are complete, surjective Poisson submersions with connected and simply-connected fibres. For fixed P, these Morita self-equivalences of P form a group Pic(P) under a natural ``tensor product'' operation. We discuss this group in several examples and study variants of this construction for rings (the origin of the notion of Picard group), Lie groupoids, and symplectic groupoids.
We discuss symplectic manifolds where, locally, the structure is that encountered in Lagrangian dynamics. Exemples and characteristic properties are given. Then, we refer to the computation of the Maslov classes of a Lagrangian submanifold. Finally, we indicate the generalization of this type of structures to Poisson manifolds.
This thesis studies normal forms for Poisson structures around symplectic leaves using several techniques: geometric, formal and analytic ones. One of the main results (Theorem 2) is a normal form theorem in Poisson geometry, which is the Poisson-geometric version of the Local Reeb Stability (from foliation theory) and of the Slice Theorem (from equivariant geometry). The result generalizes Conn's theorem from fixed points to arbitrary symplectic leaves. We present two proofs of this result: a geometric one relying heavily on the theory of Lie algebroids and Lie groupoids (similar to the new p…
We propose a Poisson-Lie analog of the symplectic induction procedure, using an appropriate Poisson generalization of the reduction of symplectic manifolds with symmetry. Having as basic tools the equivariant momentum maps of Poisson actions, the double group of a Poisson-Lie group and the reduction of Poisson manifolds with symmetry, we show how one can induce a Poisson action admitting an equivariant momentum map. We prove that, under certain conditions, the dressing orbits of a Poisson-Lie group can be obtained by Poisson induction from the dressing orbits of a Poisson-Lie subgroup.
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.
We show that a classical result of Gromov in symplectic geometry extends to the context of symplectic foliations, which we regard as a $h$-principle for (regular) Poisson geometry. Namely, we formulate a sufficient cohomological criterion for a regular bivector to be homotopic to a regular Poisson structure, in the spirit of Haefliger's criterion for homotoping a distribution to a foliation. We give an example to show that this criterion is not too unsharp.
We prove a normal form theorem for Poisson structures around Poisson transversals (also called cosymplectic submanifolds), which simultaneously generalizes Weinstein's symplectic neighborhood theorem from symplectic geometry and Weinstein's splitting theorem. Our approach turns out to be essentially canonical, and as a byproduct, we obtain an equivariant version of the latter theorem.
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…
Department of Mathematics, 900 University Ave, Riverside, CA 92507（河滨加利福尼亚大学数学系）
本文引入了可微化泊松流形，这是一种由具有近可积锚映射的辛李余结构诱导的泊松流形，扩展了包括对数辛、$b^m$-辛、$E$-辛流形和超曲面余结构在内的结构。作者证明了实数、有限维、非阿贝尔、可约李代数的对偶体 never 允许此类余结构，并给出了两个无限族的2-step nilpotent李代数，其中一个是可微化的，另一个不是。
In the framework of the connection theory, a contravariant analog of the Sternberg coupling procedure is developed for studying a natural class of Poisson structures on fiber bundles, called coupling tensors. We show that every Poisson structure near a closed symplectic leaf can be realized as a coupling tensor. Our main result is a geometric criterion for the neighborhood equivalence between Poisson structures over the same leaf. This criterion gives a Poisson analog of the relative Darboux theorem due to Weinstein. Within the category of the algebroids, coupling tensors are introduced on the…
We show that deformations of a coisotropic submanifold inside a fibrewise entire Poisson manifold are controlled by the $L_\infty$-algebra introduced by Oh-Park (for symplectic manifolds) and Cattaneo-Felder. In the symplectic case, we recover results previously obtained by Oh-Park. Moreover we consider the extended deformation problem and prove its obstructedness.
We introduce new invariants associated to collections of compact subsets of a symplectic manifold. They are defined through an elementary-looking variational problem involving Poisson brackets. The proof of the non-triviality of these invariants involves various flavors of Floer theory. We present applications to approximation theory on symplectic manifolds and to Hamiltonian dynamics.
We introduce poly-symplectic groupoids, which are natural extensions of symplectic groupoids to the context of poly-symplectic geometry, and define poly-Poisson structures as their infinitesimal counterparts. We present equivalent descriptions of poly-Poisson structures, including one related with AV-Dirac structures. We also discuss symmetries and reduction in the setting of poly-symplectic groupoids and poly-Poisson structures, and use our viewpoint to revisit results and develop new aspects of the theory initiated by D.Iglesias, J.C Marrero and M. Vaquero.
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…
We review recent results and ongoing investigations of the symplectic and Poisson geometry of derived moduli spaces, and describe applications to deformation quantization of such spaces.
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.
We describe first integrals of geostrophic equations, which are similar to the enstrophy invariants of the Euler equation for an ideal incompressible fluid. We explain the geometry behind this similarity, give several equivalent definitions of the Poisson structure on the space of smooth densities on a symplectic manifold, and show how it can be obtained via the Hamiltonian reduction from a symplectic structure on the diffeomorphism group.
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.
