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 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 construct using Lefschetz fibrations a large family of contact manifolds with the following properties: Any bounding contact embedding into an exact symplectic manifold satisfying a mild topological assumption is non-displaceable and generically has infinitely many leaf-wise intersection points. Moreover, any Stein filling has infinite dimensional symplectic homology.
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}.
The aim of this paper is to show that Lawson's foliation on the 5-sphere admits a smooth leafwise symplectic structure. The main part of the construction is to show that the Fermat type cubic surface admits an end-periodic symplectic structure.
Mitsumatsu constructed leafwise symplectic structures of certain codimension one foliations of the 5-sphere. This inspired the present author to improve his result on convergence of contact structure to foliation. We describe convergence of contact strcture to leafwise symplectic foliation by means of confoliation equipped with a certain 2-form. Such a 2-form appears in the works of Nunes da Costa and Petalidou on twisted Jacobi structures and partially relates to weak domination due to Massot, Niederkruger and Wendl. We also construct leafwise symplectic foliations on the product of the 4-sph…
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 use symplectic reduction to give a new construction of the core $C$ of a symplectic double groupoid $D$ as the common leaf space of characteristic foliations associated to various coisotropic submanifolds of $D$. In the case of the cotangent double groupoid of a Lie groupoid $G$, the canonical relations arising from this process turn out to be cotangent lifts of structure maps associated to $G$. We also show that under this reduction procedure the double groupoid structure on $D$ descends to a groupoid structure on the leaf space above, recovering the core groupoid structure on $C$ of Brown…
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 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 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 use a diffeo-geometric framework based on manifolds that are locally modeled on "convenient" vector spaces to study the geometry of some infinite dimensional spaces. Given a finite dimensional symplectic manifold $(M,ω)$, we construct a weak symplectic structure on each leaf ${\textbf I}_{w}$ of a foliation of the space of compact oriented isotropic submanifolds in $M$ equipped with top degree forms of total measure 1. These forms are called weightings and such manifolds are said to be weighted. We show that this symplectic structure on the particular leaves consisting of weig…
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 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.
Riemann Poisson manifolds were introduced by the author in [1] and studied in more details in [2]. Kähler-Riemann foliations form an interesting subset of the Riemannian foliations with remarkable properties (see [3]). In this paper we will show that to give a regular Riemann Poisson structure on a manifold $M$ is equivalent to to give a Kähler-Riemann foliation on $M$ such that the leafwise symplectic form is invariant with respect to all local foliate perpendicular vector fields. We show also that the sum of the vector space of leafwise cohomology and the vector space of basic forms is a sub…
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.
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.
We study the behavior of the modular class of an orientable Poisson manifold and formulate some unimodularity criteria in the semilocal context, around a (singular) symplectic leaf. Our results generalize some known unimodularity criteria for regular Poisson manifolds related to the notion of the Reeb class. In particular, we show that the unimodularity of the transverse Poisson structure of the leaf is a necessary condition for the semilocal unimodular property. Our main tool is an explicit formula for a bigraded decomposition of modular vector fields of a coupling Poisson structure on a foli…
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.
We answer the natural question: when are a regular Poisson structure along with a complex structure transverse to its symplectic leaves induced by generalized complex structure? The leafwise symplectic form and transverse complex structure determine an obstruction class in a certain cohomology, which vanishes if and only if our question has an affirmative answer. We first study a component of this obstruction, which gives the condition that the leafwise cohomology class of the symplectic form must be transversely pluriharmonic. As a consequence, under certain topological hypotheses, we infer t…
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 if a compact Kähler Poisson manifold has a symplectic leaf with finite fundamental group, then after passing to a finite étale cover, it decomposes as the product of the universal cover of the leaf and some other Poisson manifold. As a step in the proof, we establish a special case of Beauville's conjecture on the structure of compact Kähler manifolds with split tangent bundle.
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…
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…
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 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 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.
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 …
We develop the deformation theory of symplectic foliations, i.e. regular foliations equipped with a leafwise symplectic form. The main result of this paper is that each symplectic foliation has an attached $L_\infty$-algebra controlling its deformation problem. Indeed, viewing symplectic foliations as regular Poisson structures, we establish a one-to-one correspondence between the small deformations of a given symplectic foliation and the Maurer-Cartan elements of the associated $L_\infty$-algebra. Using this, we show that infinitesimal deformations of symplectic foliations can be obstructed. …
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…
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.
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…
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 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.
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).
Let $(M,ω)$ be a symplectic manifold, $N\subseteq M$ a coisotropic submanifold, and $Σ$ a compact oriented (real) surface. I define a natural Maslov index for each continuous map $u:Σ\to M$ that sends every connected component of $\partialΣ$ to some isotropic leaf of $N$. This index is real valued and generalizes the usual Lagrangian Maslov index. The idea is to use the linear holonomy of the isotropic foliation of $N$ to compensate for the loss of boundary data in the case codimension $N<\dim M/2$. The definition is based on the Salamon-Zehnder (mean) Maslov index of a path of linear symplect…
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 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 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 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.