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.
For a Poisson manifold $M$ we develop systematic methods to compute its Picard group $Pic(M)$, i.e., its group of self Morita equivalences. We establish a precise relationship between $Pic(M)$ and the group of gauge transformations up to Poisson diffeomorphisms showing, in particular, that their connected components of the identity coincide; this allows us to introduce the Picard Lie algebra of $M$ and to study its basic properties. Our methods lead, in particular, to the proof of a conjecture from [BW04] stating that for any compact simple Lie algebra $\mathfrak{g}$ the group $Pic(\mathfrak{g…
We compute the group of Morita self-equivalences (the Picard group) of a Poisson structure on an orientable surface, under the assumption that the degeneracies of the Poisson tensor are linear. The answer involves mapping class groups of surfaces, i.e., groups of isotopy classes of diffeomorphisms. We also show that the Picard group of these structures coincides with the group of outer Poisson automorphisms.
Let $B$ be a twisted Poisson manifold with a fixed tropical affine structure given by a period bundle $P$. In this paper, we study the classification of almost symplectically complete isotropic realizations (ASCIRs) over $B$ in the spirit of \cite{DD}. We construct a product among ASCIRs in analogy with tensor product of line bundles, thereby introducing the notion of the Picard group of $B$. We give descriptions of the Picard group in terms of exact sequences involving certain sheaf cohomology groups, and find that the `Néron-Severi group' is isomorphic to $H^2(B, \underline{P})$. An example …
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 study deformations of invertible bimodules and the behavior of Picard groups under deformation quantization. While K_0-groups are known to be stable under formal deformations of algebras, Picard groups may change drastically. We identify the semiclassical limit of bimodule deformations as contravariant connections and study the associated deformation quantization problem. Our main focus is on formal deformation quantization of Poisson manifolds by star products.
The degeneracy locus of a generically symplectic Poisson structure on a Fano manifold is always a singular hypersurface. We prove that there exists just one family of generically symplectic Poisson structures in Fano manifold with cyclic Picard group having a reduced simple normal crossing degeneracy locus.
We previously extended the Marsden-Ratiu reduction theorem in Poisson geometry by means of graded geometry (see Part I of Arxiv:1009.0948) . In this note we provide the background material about graded geometry necessary for the proof. Further, we provide an alternative algebraic proof.
We discuss contravariant connections on Poisson manifolds. For vector bundles, the corresponding operational notion of a contravariant derivative had been introduced by Izu Vaisman. We show that these connections play an important role in the study of global properties of Poisson manifolds and we use them to define Poisson holonomy and new invariants of Poisson manifolds.
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 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.
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.
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 …
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…
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…
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…
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 …
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.
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.
Hans Duistermaat was scheduled to lecture in the 2010 School on Poisson Geometry at IMPA, but passed away suddenly. This is a record of a talk I gave at the 2010 Conference on Poisson Geometry (the week after the School) to share some of my memories of him and to give a brief assessment of his impact on the subject.
We inquire into the relation between the curl operators, the Poisson coboundary operators and contravariant derivatives on Poisson manifolds to study the theory of differential operators in Poisson geometry. Given an oriented Poisson manifold, we describe locally those two differential operators in terms of Poisson connection whose torsion is vanishing. Moreover, we introduce the notion of the modular operator for an oriented Poisson manifold. For a symplectic manifold, we describe explicitly the modular operator in terms of the curvature 2-section of Poisson connection, analogously to the Wei…
We introduce left central and right central functions and left and right leaves in quasi-Poisson geometry, generalizing central (or Casimir) functions and symplectic leaves from Poisson geometry. They lead to a new type of (quasi-)Poisson reduction, which is both simpler and more general than known quasi-Hamiltonian reductions. We study these notions in detail for moduli spaces of flat connections on surfaces, where the quasi-Poisson structure is given by an intersection pairing on homology.
We consider compatibility conditions between Poisson and Riemannian structures on smooth manifolds by means of a contravariant partially complex structure, or $f$-structure, introducing the notion of (almost) Kähler--Poisson manifolds. In addition, we study some of their properties under structure preserving maps and symmetries.
We consider surfaces embedded in a Riemannian manifold of arbitrary dimension and prove that many aspects of their differential geometry can be expressed in terms of a Poisson algebraic structure on the space of smooth functions of the surface. In particular, we find algebraic formulas for Weingarten's equations, the complex structure and the Gaussian curvature.
We study the natural Poisson structure on the Lie group SU(1,1) and related questions. In particular, we give an explicit description of the Ginzburg-Weinstein isomorphism for the sets of admissible elements. We also establish an analogue of Thompson's conjecture for this group.
We present a computational toolkit for (local) Poisson-Nijenhuis calculus on manifolds. Our python module $\textsf{PoissonGeometry}$ implements our algorithms, and accompanies this paper. We include two examples of how our methods can be used, one for gauge transformations of Poisson bivectors in dimension 3, and a second one that determines parametric Poisson bivector fields in dimension 4.
These are expanded notes from lectures given at the États de la Recherche workshop on "Derived algebraic geometry and interactions". These notes serve as an introduction to the emerging theory of Poisson structures on derived stacks.
We extend the notion of Poisson-Lie groups and Lie bialgebras from Poisson to g-quasi-Poisson geometry and provide a quantization to braided Hopf algebras in the corresponding Drinfeld category. The basic examples of these g-quasi-Poisson Lie groups are nilpotent radicals of parabolic subgroups. We also provide examples of moment maps in this new context coming from moduli spaces of flat connections on surfaces.
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…
We present twelve numerical methods for evaluation of objects and concepts from Poisson geometry. We describe how each method works with examples, and explain how it is executed in code. These include methods that evaluate Hamiltonian and modular vector fields, compute the image under the coboundary and trace operators, the Lie bracket of differential 1-forms, gauge transformations, and normal forms of Lie-Poisson structures on $\mathbf{R}^{3}$. The complexity of each of our methods is calculated, and we include experimental verifications on examples in dimensions two and three.
We study a modification of Poisson geometry by a closed 3-form. Just as for ordinary Poisson structures, these "twisted" Poisson structures are conveniently described as Dirac structures in suitable Courant algebroids. The additive group of 2-forms acts on twisted Poisson structures and permits them to be seen as glued from ordinary Poisson structures defined on local patches. We conclude with remarks on deformation quantization and twisted symplectic groupoids.
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.
Motivated by questions from quantum group and field theories, we review structures on manifolds that are weaker versions of Poisson structures, and variants of the notion of Lie algebroid. We give a simple definition of the Courant algebroids and introduce the notion of a deriving operator for the Courant bracket of the double of a proto-bialgebroid. We then describe and relate the various quasi-Poisson structures, which have appeared in the literature since 1991, and the twisted Poisson structures studied by Severa and Weinstein.
A group, defined as set with associative multiplication and inverse, is a natural structure describing the symmetry of a space. The concept of group generalizes to group objects internal to other categories than sets. But there are yet more general objects that can still be thought of as groups in many ways, such as quantum groups. We explain some of the generalizations of groups which arise in Poisson geometry and quantization: the germ of a topological group, Poisson Lie groups, rigid monoidal structures on symplectic realizations, groupoids, 2-groups, stacky Lie groups, and hopfish algebras…
We consider a general N=(2,2) non-linear sigma model with a torsion. We show that the consistency of N=(2,2) supersymmetry implies that the target manifold is necessary equipped with two (in general, different) Poisson structures. Finally we argue that the Poisson geometry of the target space is a characteristic feature of the sigma models with extended supersymmetry.
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 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.
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…
Our paper develops a theory of Poisson slices and a uniform approach to their partial compactifications. The theory in question is loosely comparable to that of symplectic cross-sections in real symplectic geometry.
The Kaehler quotient of a complex reductive Lie group relative to the conjugation action carries a complex algebraic stratified Kaehler structure which reflects the geometry of the group. For the group SL(n,C), we interpret the resulting singular Poisson-Kaehler geometry of the quotient in terms of complex discriminant varieties and variants thereof.
We prove that the standard Poisson structure on the Grassmannian Gr(k, n) is invariant under the action of the Coxeter element c =(1 2 ... n). In particular, its symplectic foliation is invariant under c. As a corollary, we obtain a second, Poisson geometric proof of the result of Knutson, Lam, and Speyer that the Coxeter element c interchanges the Lusztig strata of Gr(k, n). We also relate the main result to known anti-invariance properties of the standard Poisson structures on cominuscule flag varieties.
The moduli space of $G$-bundles on an elliptic curve with additional flag structure admits a Poisson structure. The bivector can be defined using double loop group, loop group and sheaf cohomology constructions. We investigate the links between these methods and for the case $\SL_2$ perform explicit computations, describing the bracket and its leaves in detail.
We study a Poisson structure $π$ on the Grothendieck resolution $X$ of a complex semi-simple group $G$ and prove that the desingularization map $μ:(X,π) \to (G,π_0)$ is Poisson, where $π_0$ is a Poisson structure such that intersections of conjugacy classes and opposite Bruhat cells $BwB_-$ are Poisson subvarieties. We compute the symplectic leaves of $X$ and show that $(X, π)$ resolves singularities of $(G, π_0)$.
We recall the question of geometric integrators in the context of Poisson geometry, and explain their construction. These Poisson integrators are tested in some mechanical examples. Their properties are illustrated numerically and they are compared to traditional methods.
The Banach Poisson geometry of multi-diagonal Hamiltonian systems having infinitely many integrals in involution is studied. It is shown that these systems can be considered as generalizing the semi-infinite Toda lattice which is an example of a bidiagonal system, a case to which special attention is given. The generic coadjoint orbits of the Banach Lie group of bidiagonal bounded operators are studied. It is shown that the infinite dimensional generalization of the Flaschka map is a momentum map. Action-angle variables for the Toda system are constructed.
Constrained Hamiltonian systems fall into the realm of presymplectic geometry. We show, however, that also Poisson geometry is of use in this context. For the case that the constraints form a closed algebra, there are two natural Poisson manifolds associated to the system, forming a symplectic dual pair with respect to the original, unconstrained phase space. We provide sufficient conditions so that the reduced phase space of the constrained system may be identified with a symplectic leaf in one of those. In the second class case the original constrained system may be reformulated equivalently…
We will introduce an associative (or quantum) version of Poisson structure tensors. This object is defined as an operator satisfying a "generalized" Rota-Baxter identity of weight zero. Such operators are called generalized Rota-Baxter operators. We will show that generalized Rota-Baxter operators are characterized by a cocycle condition so that Poisson structures are so. By analogy with twisted Poisson structures, we propose a new operator "twisted Rota-Baxter operators" which is a natural generalization of generalized Rota-Baxter operators. It is known that classical Rota-Baxter operators ar…
We introduce a Poisson variety compatible with a cluster algebra structure and a compatible toric action on this variety. We study Poisson and topological properties of the union of generic orbits of this toric action. In particular, we compute the number of connected components of the union of generic toric orbits for cluster algebras over real numbers. As a corollary we compute the number of connected components of refined open Bruhat cells in Grassmanians G(k,n) over real numbers.
