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.
Given a closed symplectic manifold, we study when the Lefschetz decomposition induced by the $\mathfrak{sl}(2;\mathbb{R})$-representation yields a decomposition of the de Rham cohomology. In particular, this holds always true for the second de Rham cohomology group, or if the symplectic manifold satisfies the Hard Lefschetz Condition.
In this note we study the behavior of symplectic cohomology groups under symplectic deformations. Moreover, we show that for compact almost-Kähler manifolds $(X,J,g,ω)$ with $J$ $\mathcal{C}^\infty$-pure and full the space of de Rham harmonic forms is contained in the space of symplectic-Bott-Chern harmonic forms. Furthermore, we prove that the second non-HLC degree measures the gap between the de Rham and the symplectic-Bott-Chern harmonic forms.
We propose a produre of reduction a locally conformal symplectic structure. This procedure of reduction can be applied to wide class of submanifolds. There are no local obstructions for this procedure. But there are global obstructions. We find a necessary and sufficient condition when this reduction holds in terms of the special kind of de Rham cohomology class (tangent to the characteristic foliation) of the Lee form.
It is shown that the de Rham complex of a symplectic manifold $M$ satisfying the hard Lefschetz condition is formal. Moreover, it is shown that the differential Gerstenhaber-Batalin-Vilkoviski algebra associated to such a symplectic structure gives rise, along the lines explained in the papers of Barannikov and Kontsevich [alg-geom/9710032] and Manin [math/9801006], to the structure of a Frobenius manifold on the de Rham cohomology of $M$.
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 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.
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.
We show that every de Rham cohomology class on the total space of a symplectic fiber bundle with closed Lefschetz fibers, admits a Poisson harmonic representative in the sense of Brylinski. The proof is based on a new characterization of closed Lefschetz manifolds.
We introduce a Hilbert $A$-module structure on the higher oscillatory module, where $A$ denotes the $C^*$-algebra of bounded endomorphisms of the basic oscillatory module. We also define the notion of an exterior covariant derivative in an $A$-Hilbert bundle and use it for a construction of an $A$-elliptic complex of differential operators for certain symplectic manifolds equipped with a symplectic connection.
This paper examines the relationship between the symplectic quotient X//G of a Hamiltonian G-manifold X, and the associated symplectic quotient X//T, where T is a maximal torus, in the case in which X//G is a compact manifold or orbifold. The three main results are: a formula expressing the rational cohomology ring of X//G in terms of the rational cohomology ring of X//T; an `integration' formula, which expresses cohomology pairings on X//G in terms of cohomology pairings on X//T; and an index formula, which expresses the indices of elliptic operators on X//G in terms of indices on X//T. (The …
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.
In their 2007 paper, Jarvis, Kaufmann, and Kimura defined the full orbifold $K$-theory of an orbifold ${\mathfrak X}$, analogous to the Chen-Ruan orbifold cohomology of ${\mathfrak X}$ in that it uses the obstruction bundle as a quantum correction to the multiplicative structure. We give an explicit algorithm for the computation of this orbifold invariant in the case when ${\mathfrak X}$ arises as an abelian symplectic quotient. Our methods are integral $K$-theoretic analogues of those used in the orbifold cohomology case by Goldin, Holm, and Knutson in 2005. We rely on the $K$-theoretic Kirwa…
We introduce the notion of regular symplectomorphism and graded regular symplectomorphism between singular phase spaces. Our main concern is to exhibit examples of unitary torus representations whose symplectic quotients cannot be graded regularly symplectomorphic to the quotient of a symplectic representation of a finite group, while the corresponding GIT quotients are smooth. Additionally, we relate the question of simplicialness of a torus representation to Gaussian elimination.
Suppose a compact Lie group acts on a polarized complex projective manifold (M,L). Under favorable circumstances, the Hilbert-Mumford quotient for the action of the complexified group may be described as a symplectic quotient (or reduction). This paper addresses some metric questions arising from this identification, by analyzing the relationship between the Szego kernel of the pair (M,L) and that of the quotient.
In this article we are concerned with how to compute the cohomology ring of a symplectic quotient by a circle action using the information we have about the cohomology of the original manifold and some data at the fixed point set of the action. Our method is based on the Tolman-Weitsman theorem which gives a characterization of the kernel of the Kirwan map. First we compute a generating set for the kernel of the Kirwan map for the case of product of compact connected manifolds such that the cohomology ring of each of them is generated by a degree two class. We assume the fixed point set is iso…
We show how to construct a resolution of symplectic orbifolds obtained as quotients of presymplectic manifolds with a torus action. As a corollary, this allows us to desingularise generic symplectic quotients. Given a manifold with a Hamiltonian action of a compact Lie group, symplectic reduction at a coadjoint orbit which is transverse to the moment map produces a symplectic orbifold. If moreover the points of this coadjoint orbit are regular elements of the Lie coalgebra, that is, their stabiliser is a maximal torus, the result for torus quotients may be applied to obtain a desingularisation…
In this article, we construct a genus-$0$ or genus-$1$ positive allowable Lefschetz fibration on any minimal symplectic filling of the link of non-cyclic quotient surface singularities. As a byproduct, we also show that any minimal symplectic filling of the link of quotient surface singularities can be obtained from a sequence of rational blowdowns from its minimal resolution.
Consider a holomorphic torus action on a possibly non-compact Kähler manifold. We show that the higher cohomology groups appearing in the geometric quantization of the symplectic quotient are isomorphic to the invariant parts of the corresponding cohomology groups of the original manifold. For non-Abelian group actions on compact Kähler manifolds, this result was proved recently by Teleman and by Braverman. Our approach is applying the holomorphic instanton complex to the prequantum line bundles over the symplectic cuts. We also settle a conjecture of Zhang and the present author on the exact …
We use symplectic cobordism, and the localization result of Ginzburg, Guillemin, and Karshon, to find a wall-crossing formula for the signature of regular symplectic quotients of Hamiltonian torus actions. The formula is recursive, depending ultimately on fixed point data. In the case of a circle action, we obtain a formula for the signature of singular quotients as well. We also show how formulas for the Poincare polynomial and the Euler characteristic (equivalent to those of Kirwan) can be expressed in the same recursive manner.
Let $K$ be a compact Lie group of positive dimension. We show that for most unitary $K$-modules the corresponding symplectic quotient is not regularly symplectomorphic to a linear symplectic orbifold (the quotient of a unitary module of a finite group). When $K$ is connected, we show that even a symplectomorphism to a linear symplectic orbifold does not exist. Our results yield conditions that preclude the symplectic quotient of a Hamiltonian $K$-manifold from being locally isomorphic to an orbifold. As an application, we determine which unitary $\operatorname{SU}_2$-modules yield symplectic q…
We study the existence of symplectic resolutions of quotient singularities V/G where V is a symplectic vector space and G acts symplectically. Namely, we classify the symplectically irreducible and imprimitive groups, excluding those of the form $K \rtimes S_2$ where $K < \SL_2(\C)$, for which the corresponding quotient singularity admits a projective symplectic resolution. As a consequence, for $\dim V \neq 4$, we classify all quotient singularities $V/G$ admitting a projective symplectic resolution which do not decompose as a product of smaller-dimensional quotient singularities, except for …
The symplectic implosion construction of Guillemin, Jeffrey and Sjamaar associates to a Hamiltonian action of a compact group K on a symplectic manifold X its 'imploded cross section'. When X is a complex projective variety and K acts linearly on X, this construction is closely related to geometric invariant theory (GIT) for the action on X of a maximal unipotent subgroup U of the complexification G of K. The aim of this paper is to generalise symplectic implosion to give a symplectic construction for GIT-like quotients by unipotent radicals U of arbitrary parabolic subgroups P of the complex …
We prove that when $d>2$, a $d$-dimensional symplectic quotient at the zero level of a unitary circle representation $V$ such that $V^{\Sp^1}=\{0\}$ cannot be $\Z$-graded regularly symplectomorphic to the quotient of a unitary representations of a finite group.
We provided two explicit formulas for the intersection cohomology (as a graded vector space with pairing) of the symplectic quotient by a circle in terms of the $S^1$ equivariant cohomology of the original symplectic manifold and the fixed point data. The key idea is the construction of a small resolution of the symplectic quotient.
Let $K$ be a compact group. For a symplectic quotient $M_λ$ of a compact Hamiltonian Kähler $K$-manifold, we show that the induced complex structure on $M_λ$ is locally invariant when the parameter $λ$ varies in $\mathrm{Lie}(K)^*$. To prove such a result, we take two different approaches: (i) by using the complex geometry properties of the symplectic implosion construction; (ii) by investigating the variation of GIT quotients.
Let $(X,ω_X)$ be a derived scheme with a 0-symplectic form and suppose there is a Hamiltonian $G$-action with a moment map for $G$ a reductive group. We prove, under no further assumptions, that symplectic reduction along any coadjoint orbit in the category of derived Artin stacks has a 0-symplectic form.
Let $K$ be a compact Lie group with complexification $G$, and let $V$ be a unitary $K$-module. We consider the real symplectic quotient $M_0$ at level $0$ of the homogeneous quadratic moment map as well as the complex symplectic quotient, defined here as the complexification of $M_0$. We show that if $(V, G)$ is $3$-large, a condition that holds generically, then the complex symplectic quotient has symplectic singularities and is graded Gorenstein. This in particular implies that the real symplectic quotient is graded Gorenstein. In the case that $K$ is a torus or $\operatorname{SU}_2$, we sho…
Given a closed surface endowed with a volume form, we equip the space of compatible Riemannian structures with the structure of an infinite-dimensional symplectic manifold. We show that the natural action of the group of volume-preserving diffeomorphisms by push-forward has a group-valued momentum map that assigns to a Riemannian metric the canonical bundle. We then deduce that the Teichmüller space and the moduli space of Riemann surfaces can be realized as symplectic orbit reduced spaces.
We identify a family of torus representations such that the corresponding singular symplectic quotients at the $0$-level of the moment map are graded regularly symplectomorphic to symplectic quotients associated to representations of the circle. For a subfamily of these torus representations, we give an explicit description of each symplectic quotient as a Poisson differential space with global chart as well as a complete classification of the graded regular diffeomorphism and symplectomorphism classes. Finally, we give explicit examples to indicate that symplectic quotients in this class may …
We show that the symplectic contraction map of Hilgert-Manon-Martens -- a symplectic version of Popov's horospherical contraction -- is simply the quotient of a Hamiltonian manifold $M$ by a "stratified null foliation" that is determined by the group action and moment map. We also show that the quotient differential structure on the symplectic contraction of $M$ supports a Poisson bracket. We end by proving a very general description of the topology of fibers of Gelfand-Zeitlin systems on multiplicity free Hamiltonian $U(n)$ and $SO(n)$ manifolds.
Let $S^1$ act on a symplectic manifold in a Hamiltonian fashion with momentum map $Ψ$. Fix a value $a$ of $Ψ$. There is a question of whether the symplectic quotient at $a$ is diffeomorphic to the orbit space of some proper Lie group action. We prove under mild assumptions that this only occurs if the symplectic quotient is diffeomorphic to an effective orbifold. This, in turn, only occurs if $a$ is a regular value, or there is at most one positive weight or at most one negative weight.
Motivated by the study of hyperkahler structures in moduli problems and hyperkahler implosion, we initiate the study of non-reductive hyperkahler and algebraic symplectic quotients with an eye towards those naturally tied to projective geometry, like cotangent bundles of blow-ups of linear arrangements of projective space. In the absence of a Kempf-Ness theorem for non-reductive quotients, we focus on constructing algebraic symplectic analogues of additive quotients of affine spaces, and obtain hyperkahler structures on large open subsets of these analogues by comparison with reductive analogu…
Let T be a compact torus and (M,ω) a Hamiltonian T-space. In a previous paper, the authors showed that the T-equivariant K-theory of the manifold M surjects onto the ordinary integral K-theory of the symplectic quotient M \mod T of M by T, under certain technical conditions on the moment map. In this paper, we use equivariant Morse theory to give a method for computing the K-theory of the symplectic quotient by obtaining an explicit description of the kernel of the surjection κ: K^*_T(M) \onto K^*(M \mod T). Our results are K-theoretic analogues of the work of Tolman and Weitsman for Borel equ…
We determine a one-to-one correspondence between Milnor fibers and minimal symplectic fillings of a quotient surface singularity (up to diffeomorphism type) by giving an explicit algorithm to compare them mainly via techniques from the minimal model program for 3-folds and Pinkham's negative weight smoothing. As by-products, we show that: -- Milnor fibers associated to irreducible components of the reduced versal deformation space of a quotient surface singularity are not diffeomorphic to each other with a few obvious exceptions. For this, we classify minimal symplectic fillings of a quotient …
Given a Hamiltonian system $ (M,ω, G,μ) $ where $(M,ω)$ is a symplectic manifold, $G$ is a compact connected Lie group acting on $(M,ω)$ with moment map $ μ:M \rightarrow\mathfrak{g}^{*}$, then one may construct the symplectic quotient $(M//G, ω_{red})$ where $M//G := μ^{-1}(0)/G$. Kirwan used the norm-square of the moment map, $|μ|^2$, as a G-equivariant Morse function on $M$ to derive formulas for the rational Betti numbers of $M//G$. A real Hamiltonian system $(M,ω, G,μ, σ, ϕ) $ is a Hamiltonian system along with a pair of involutions $(σ:M \rightarrow M, ϕ:G \rightarrow G) $ satisfying cer…
A key result in equivariant symplectic geometry is Delzant's classification of compact connected symplectic toric manifolds. The moment map induces an embedding of the quotient of the manifold by the torus action into the dual of the Lie algebra of the torus; its image is a unimodular ("Delzant") polytope; this gives a bijection between unimodular polytopes and isomorphism classes of compact connected symplectic toric manifolds. In this paper we extend Delzant's classification to non-compact symplectic toric manifolds. For a non-compact symplectic toric manifold the image of the moment map nee…
Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data. Under some restrictions, our formulas apply to integral cohomology. In certain cases these methods enable us to show that the cohomology of the reduced space is torsion-free.
We present the various constructions of new symplectic $4$-manifolds with non-negative signatures using the complex surfaces on the BMY line $c_1^2 = 9χ_h$, the Cartwright-Steger surfaces, the quotients of Hirzebruch's certain line-arrangement surfaces, along with the exotic symplectic $4$-manifolds constructed in \cite{AP2, AS}. In particular, our constructions yield to (i) an irreducible symplectic and infinitely many non-symplectic $4$-manifolds that are homeomorphic but not diffeomorphic to $(2n-1)CP^{2}\#(2n-1)\bar{CP}^{2}$ for each integer $n \geq 9$, (ii) the families of simply connecte…
Let $M$ be a proper Hamiltonian $K$-space with proper moment map $μ$. The symplectic quotient $X=μ^{-1}(0)/K$ is in general a singular stratified space. In this paper we first generalize the Kirwan map to this symplectic setting which maps the $K$ equivariant cohomology of $μ^{-1}(0)$ to the middle perversity intersection cohomology $IH^*(X)$. Next, we show that there is a natural right inverse of the Kirwan map, under an assumption coming from the cosupport axiom for the intersection homology sheaf. Furthermore, we can identify the subspace of $H^*_K(μ^{-1}(0))$ which corresponds to $IH^*(X)$…
We show that the quotient C^4/G admits a symplectic resolution for G = (Q_8 x D_8)/(Z/2) < Sp(4,C). Here Q_8 is the quaternionic group of order eight and D_8 is the dihedral group of order eight, and G is the quotient of their direct product which identifies the nontrivial central elements -1 of each. It is equipped with the tensor product of the defining two-dimensional representations of Q_8 and D_8. This group is also naturally a subgroup of the wreath product group of Q_8 by S_2. We compute the singular locus of the family of commutative spherical symplectic reflection algebras deforming C…
We show that the Siegel upper half space $Σ_{d}$ is identified with the Marsden-Weinstein quotient obtained by symplectic reduction of the cotangent bundle $T^{*}\mathbb{R}^{2d^{2}}$ with $\mathsf{O}(2d)$-symmetry. The reduced symplectic form on $Σ_{d}$ corresponding to the standard symplectic form on $T^{*}\mathbb{R}^{2d^{2}}$ turns out to be a constant multiple of the symplectic form on $Σ_{d}$ obtained by Siegel. Our motivation is to understand the geometry behind two different formulations of the Gaussian wave packet dynamics commonly used in semiclassical mechanics. Specifically, we show …
We compute the Hilbert series of the graded algebra of regular functions on a symplectic quotient of a unitary circle representation. Additionally, we elaborate explicit formulas for the lowest coefficients of the Laurent expansion of such a Hilbert series in terms of rational symmetric functions of the weights. Considerable efforts are devoted to including the cases where the weights are degenerate. We find that these Laurent expansions formally resemble Laurent expansions of Hilbert series of graded rings of real invariants of finite subgroups of $\U_n$. Moreover, we prove that certain Laure…
Gromov's nonsqueezing theorem, aka the property of the symplectic camel, leads to a very simple semiclassical quantiuzation scheme by imposing that the only "physically admissible" semiclassical phase space states are those whose symplectic capacity (in a sense to be precised) is nh + (1/2)h where h is Planck's constant. We the construct semiclassical waveforms on Lagrangian submanifolds using the properties of the Leray-Maslov index, which allows us to define the argument of the square root of a de Rham form.
For a finite dimensional symplectic manifold $(M,ω)$ with a symplectic form $ω$, corresponding loop space ($LM=C^\infty(S^1,M)$) admits a weak symplectic form $Ω^ω$. We prove that the loop space over $\mbr^n$ admits Darboux chart for the weak symplectic structure $Ω^ω$. Further, we show that inclusion map from the symplectic cohomology (as defined by Kriegl and Michor \cite{KM}) of the loop space over $\mathbb R^n$ to the De Rham cohomology of the loop space is an isomorphism.
Given a contact manifold $M_#$ together with a transversal infinitesimal automorphism $ξ$, we show that any local leaf space $M$ for the foliation determined by $ξ$ naturally carries a conformally symplectic (cs-) structure. Then we show that the Rumin complex on $M_#$ descends to a complex of differential operators on $M$, whose cohomology can be computed. Applying this construction locally, one obtains a complex intrinsically associated to any manifold endowed with a cs-structure, which recovers the generalization of the so-called Rumin-Seshadri complex to the conformally symplectic setting.…
We compute the Hilbert series of the graded algebra of real regular functions on the symplectic quotient associated to an $\operatorname{SU}_2$-module and give an explicit expression for the first nonzero coefficient of the Laurent expansion of the Hilbert series at $t = 1$. Our expression for the Hilbert series indicates an algorithm to compute it, and we give the output of this algorithm for representations of dimension at most $10$. Along the way, we compute the Hilbert series of the module of covariants of an arbitrary $\operatorname{Sl}_2$- or $\operatorname{SU}_2$-module as well its firs…
A Fourier transform technique is introduced for counting the number of solutions of holomorphic moment map equations over a finite field. This in turn gives information on Betti numbers of holomorphic symplectic quotients. As a consequence simple unified proofs are obtained for formulas of Poincare polynomials of toric hyperkahler varieties, Poincare polynomials of Hilbert schemes of points and twisted ADHM spaces of instantons on C^2 and Poincare polynomials of all Nakajima quiver varieties. As an application, a proof of a conjecture of Kac on the number of absolutely indecomposable represent…
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 study the symplectic reduction of the phase space describing $k$ particles in $\mathbb{R}^n$ with total angular momentum zero. This corresponds to the singular symplectic quotient associated to the diagonal action of $\operatorname{O}_n$ on $k$ copies of $\mathbb{C}^n$ at the zero value of the homogeneous quadratic moment map. We give a description of the ideal of relations of the ring of regular functions of the symplectic quotient. Using this description, we demonstrate $\mathbb{Z}^+$-graded regular symplectomorphisms among the $\operatorname{O}_n$- and $\operatorname{SO}_n$-symplectic qu…
Let (M,ω,Φ) be a Hamiltonian T-space and let H be a closed Lie subtorus of T. Under some technical hypotheses on the moment map Φ, we prove that there is no additive torsion in the integral full orbifold K-theory of the orbifold symplectic quotient [M//H]. Our main technical tool is an extension to the case of moment map level sets the well-known result that components of the moment map of a Hamiltonian T-space M are Morse-Bott functions on M. As first applications, we conclude that a large class of symplectic toric orbifolds, as well as certain S^1-quotients of GKM spaces, have integral full …