In this work we study the integrability of quotients of quasi-Poisson manifolds. Our approach allows us to put several classical results about the integrability of Poisson quotients in a common framework. By categorifying one of the already known methods of reducing symplectic groupoids we also describe double symplectic groupoids which integrate the recently introduced Poisson groupoid structures on gauge groupoids.
This note introduces the construction of relational symplectic groupoids as a way to integrate every Poisson manifold. Examples are provided and the equivalence, in the integrable case, with the usual notion of symplectic groupoid is discussed.
Locally conformal symplectic (l.c.s.) groupoids are introduced as a generalization of symplectic groupoids. We obtain some examples and we prove that l.c.s. groupoids are examples of Jacobi groupoids in the sense of \cite{IM}. Finally, we describe the Lie algebroid of a l.c.s. groupoid.
A Lagrangian field on a symplectic manifold $M$ is a family $Λ=\{Λ_x|x \in M\}$ of pointed Lagrangian submanifolds of $M$. This notion is a generalization of a real Lagrangian polarization for which each $Λ_x$ is the leaf containing $x$. Two Lagrangian fields $Λ$ and $\tilde Λ$ are called transversal if $Λ_x$ intersects $\tildeΛ_x$ transversally at $x$ for every $x$. Two transversal Lagrangian fields determine an almost para-Kähler structure on $M$. We construct a local symplectic groupoid on a neighborhood of the zero section of $T^\ast M$ from two transversal Lagrangian fields on $M$. The La…
We describe the deformation cohomology of a symplectic groupoid, and use it to study deformations via Moser path methods, proving a symplectic groupoid version of the Moser Theorem. Our construction uses the deformation cohomologies of Lie groupoids and of multiplicative forms, and we prove that in the symplectic case, deformation cohomology of both the underlying groupoid and of the symplectic groupoid have de Rham models in terms of differential forms. We use the de Rham model, which is intimately connected to the Bott-Shulman-Stasheff double complex, to compute deformation cohomology in sev…
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 introduce the notion of a symplectic hopfoid, which is a "groupoid-like" object in the category of symplectic manifolds where morphisms are given by canonical relations. Such groupoid-like objects arise when applying a version of the cotangent functor to the structure maps of a Lie groupoid. We show that such objects are in one-to-one correspondence with symplectic double groupoids, generalizing a result of Zakrzewski concerning symplectic double groups and Hopf algebra objects in the aforementioned category. The proof relies on the fact that one can realize the core of a symplectic double …
Motivated by an attempt to better understand the notion of a symplectic stack, we introduce the notion of a symplectic hopfoid, which should be thought of as the analog of a groupoid in the so-called symplectic category. After reviewing some foundational material on canonical relations and this category, we show that symplectic hopfoids provide a characterization of symplectic double groupoids in these terms. Then, we show how such structures may be used to produce examples of symplectic orbifolds, and conjecture that all symplectic orbifolds arise via a similar construction. The symplectic st…
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 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.
We construct symplectic groupoids integrating log-canonical Poisson structures on cluster varieties of type $\mathcal{A}$ and $\mathcal{X}$ over both the real and complex numbers. Extensions of these groupoids to the completions of the cluster varieties where cluster variables are allowed to vanish are also considered. In the real case, we construct source-simply-connected groupoids for the cluster charts via the Poisson spray technique of Crainic and Mărcuţ. These groupoid charts and their analogues for the symplectic double and blow-up groupoids are glued by lifting the cluster mutations to …
Given a Hamiltonian action of a proper symplectic groupoid (for instance, a Hamiltonian action of a compact Lie group), we show that the transverse momentum map admits a natural constant rank stratification. To this end, we construct a refinement of the canonical stratification associated to the Lie groupoid action (the orbit type stratification, in the case of a Hamiltonian Lie group action) that seems not to have appeared before, even in the literature on Hamiltonian Lie group actions. This refinement turns out to be compatible with the Poisson geometry of the Hamiltonian action: it is a Poi…
We propose a definition of symplectic 2-groupoid which includes integrations of Courant algebroids that have been recently constructed. We study in detail the simple but illustrative case of constant symplectic 2-groupoids. We show that the constant symplectic 2-groupoids are, up to equivalence, in one-to-one correspondence with a simple class of Courant algebroids that we call constant Courant algebroids. Furthermore, we find a correspondence between certain Dirac structures and Lagrangian sub-2-groupoids.
A log symplectic manifold is a Poisson manifold which is generically nondegenerate. We develop two methods for constructing the symplectic groupoids of log symplectic manifolds. The first is a blow-up construction, corresponding to the notion of an elementary modification of a Lie algebroid along a subalgebroid. The second is a gluing construction, whereby groupoids defined on the open sets of an appropriate cover may be combined to obtain global integrations. This allows us to classify all Hausdorff symplectic groupoids of log symplectic manifolds in a combinatorial fashion, in terms of a cer…
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 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 construct an infinite-dimensional symplectic 2-groupoid as the integration of an exact Courant algebroid. We show that every integrable Dirac structure integrates to a "Lagrangian" sub-2-groupoid of this symplectic 2-groupoid. As a corollary, we recover a result of Bursztyn-Crainic-Weinstein-Zhu that every integrable Dirac structure integrates to a presymplectic groupoid.
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)（数学与应用研究所）
These notes are an introduction to symplectic groupoids and the double structures associated with them. The treatment is intended to lie about midway between the original account of Coste, Dazord and Weinstein, which relied on effective use of the symplectic structures, and the account in my 2005 book, which showed, on the level of Poisson groupoids, that the basic results of the theory follow from `categorical' compatibility conditions between the associated Lie algebroid and Lie groupoid structures. The reader needs to know only the most basic ideas of symplectic geometry, Lie groups, and ve…
Using a basic idea of Sullivan's rational homotopy theory, one can see a Lie groupoid as the fundamental groupoid of its Lie algebroid. This paper studies analogues of Lie algebroids with non-trivial higher homotopy. Using various homotopy classes one can obtain e.g. central extensions of loop groups, or one can integrate a Lie biagebroid to a double symplectic groupoid. When combined with symplectic geometry, this idea leads to an infinite sequence of notions, starting with sympectic manifolds, Poisson manifolds and Courant algebroids. They are interrelated with higher-dimensional variational…
This paper gives methods for understanding invariants of symplectic quotients. The symplectic quotients considered here are compact symplectic manifolds (or more generally orbifolds), which arise as the symplectic quotients of a symplectic manifold by a compact torus. (A companion paper examines symplectic quotients by a nonabelian group, showing how to reduce to the maximal torus.) Let X be a symplectic manifold, with a Hamiltonian action of a compact torus T. The main topological result of this paper describes an explicit cobordism that exists between a symplectic quotient of X by T, and a c…
We introduce a de Rham model for stratified spaces arising from symplectic reduction. It turns out that the reduced symplectic form and its powers give rise to well-defined cohomology classes, even on a singular symplectic quotient.
We introduce the notion of relational symplectic groupoid as a way to integrate Poisson manifolds in general, following the construction through the Poisson sigma model (PSM) given by Cattaneo and Felder. We extend such construction to the infinite dimensional setting, where we are able to describe the relational symplectic groupoid in terms of immersed Lagrangian Bannach submanifolds. This corresponds to a groupoid object in the "extended symplectic category" and it can be related to the ususal version of symplectic groupoids via reduction. We prove the existence of such an object for any Poi…
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…
Let $\sf X$ be a symplectic orbifold groupoid with $\sf S$ being a symplectic sub-orbifold groupoid, and $\sf X_{\mathfrak a}$ be the weight-$\mathfrak a$ blowup of $\sf X$ along $\sf S$ with $\sf Z$ being the corresponding exceptional divisor. We show that there is a weighted blowup correspondence between some certain absolute orbifold Gromov--Witten invariants of $\sf X$ relative to $\sf S$ and some certain relative orbifold Gromov--Witten invariants of the pair $(\sf X_{\mathfrak a}|Z)$. As an application, we prove that the symplectic uniruledness of symplectic orbifold groupoids is a weigh…
This note gives an overview on the construction of symplectic groupoids as reduced phase spaces of Poisson sigma models and its generalization in the infinite dimensional setting (before reduction).
We introduce the concept of twisted contact groupoids, as an extension either of contact groupoids or of twisted symplectic ones, and we discuss the integration of twisted Jacobi manifolds by twisted contact groupoids. We also investigate the very close relationships which link homogeneous twisted Poisson manifolds with twisted Jacobi manifolds and homogeneous twisted symplectic groupoids with twisted contact ones. Some examples for each structure are presented.
We study higher-degree generalizations of symplectic groupoids, referred to as {\em multisymplectic groupoids}. Recalling that Poisson structures may be viewed as infinitesimal counterparts of symplectic groupoids, we describe "higher'' versions of Poisson structures by identifying the infinitesimal counterparts of multisymplectic groupoids. Some basic examples and features are discussed.
We apply the bar construction to the nerve of a double Lie groupoid to obtain a local Lie 2-groupoid. As an application, we recover Haefliger's fundamental groupoid from the fundamental double groupoid of a Lie groupoid. In the case of a symplectic double groupoid, we study the induced closed 2-form on the associated local Lie 2-groupoid, which leads us to propose a definition of a symplectic 2-groupoid.
We give an explicit form of the symplectic groupoid that integrates the semiclassical standard Podles sphere. We show that Sheu's groupoid, whose convolution C*-algebra quantizes the sphere, appears as the groupoid of the Bohr-Sommerfeld leaves of a (singular) real polarization of the symplectic groupoid. By using a complex polarization we recover the convolution algebra on the space of polarized sections. We stress the role of the modular class in the definition of the scalar product in order to get the correct quantum space.
We show that the leaves of an LA-groupoid which pass through the unit manifold are, modulo a connectedness issue, Lie groupoids. We illustrate this phenomenon by considering the cotangent Lie algebroids of Poisson groupoids thus obtaining an interesting class of symplectic groupoids coming from their symplectic foliations. In particular, we show that for a (strict) Lie 2-group the coadjoint orbits of the units in the dual of its Lie 2-algebra are symplectic groupoids, meaning that the classical Kostant-Kirillov-Souriau symplectic forms on these special coadjoint orbits are multiplicative.
We consider the Poisson sigma model associated to a Poisson manifold. The perturbative quantization of this model yields the Kontsevich star product formula. We study here the classical model in the Hamiltonian formalism. The phase space is the space of leaves of a Hamiltonian foliation and has a natural groupoid structure. If it is a manifold then it is a symplectic groupoid for the given Poisson manifold. We study various families of examples. In particular, a global symplectic groupoid for a general class of two-dimensional Poisson domains is constructed.
We use quasimap Floer cohomology for varying symplectic quotients to resolve several puzzles regarding displaceability of toric moment fibers. For example, we (i) present a compact Hamiltonian torus action containing an {\em open} subset of non-displaceable orbits and a codimension four singular set, partly answering a question of McDuff, and (ii) determine displaceability for most of the moment fibers of a symplectic ellipsoid.
We study pseudoholomorphic curves in symplectic quotients as adiabatic limits of solutions of a system of nonlinear first order elliptic partial differential equations in the ambient symplectic manifold. The symplectic manifold carries a Hamiltonian group action. The equations involve the Cauchy-Riemann operator over a Riemann surface, twisted by a connection, and couple the curvature of the connection with the moment map. Our main theorem asserts that the genus zero invariants of Hamiltonian group actions defined by these equations are related to the genus zero Gromov--Witten invariants of th…
We show that if a Lie group acts properly on a co-oriented contact manifold preserving the contact structure, then the contact quotient is topologically a stratified space (in the sense that a neighborhood of a point in the quotient is a product of a disk with a cone on a compact stratified space). As a corollary, we obtain that symplectic quotients for proper Hamiltonian actions are topologically stratified spaces in this strong sense thereby extending and simplifying previous work.
Let $G$ be a connected complex semi-simple Lie group and ${\mathcal{B}}$ its flag variety. For every positive integer $n$, we introduce a Poisson groupoid over ${\mathcal{B}}^n$, called the $n$th total configuration Poisson groupoid of flags of $G$, which contains a family of Poisson sub-groupoids whose total spaces are generalized double Bruhat cells and bases generalized Schubert cells. Certain symplectic leaves of these Poisson sub-groupoids are then shown to be symplectic groupoids over generalized Schubert cells. We also give explicit descriptions of symplectic leaves in three series of P…
We show that the quotient associated to a quasi-Hamiltonian space has a symplectic structure even when 1 is not a regular value of the momentum map: it is a disjoint union of symplectic manifolds of possibly different dimensions, which generalizes a result of Alekseev, Malkin and Meinrenken. We illustrate this theorem with the example of representation spaces of surface groups. As an intermediary step, we show that the isotropy submanifolds of a quasi-Hamiltonian space are quasi-Hamiltonian spaces themselves.
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…
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 study a reduction procedure for describing the symplectic groupoid of a Poisson homogeneous space obtained by quotient of a coisotropic subgroup. We perform it as a reduction of the Lu-Weinstein symplectic groupoid integrating Poisson Lie groups, that is suitable even for the non complete case.
We study symplectic deformation types of minimal symplectic fillings of links of quotient surface singularities. In particular, there are only finitely many symplectic deformation types for each quotient surface singularity.
