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 the context of almost complex quantization, a natural generalization of algebro-geometric linear series on a compact symplectic manifold has been proposed. Here we suppose given a compatible action of a finite group and consider the linear subseries associated to the irreducible representations of $G$, give conditions under which these are base-point free and study properties of the associated projective morphisms. The results obtained are new even in the complex projective case.
Suppose that the compact and connected Lie group G acts holomorphically on the irreducible complex projective manifold M, and that the action linearizes to the Hermitian ample line bundle L on M. Assume that 0 is a regular value of the associated moment map. The spaces of global holomorphic sections of powers of L may be decomposed over the finite dimensional irreducible representations of G. In this paper, we study how the holomorphic sections in each equivariant piece asymptotically concentrate along the zero locus of the moment map. In the special case where G acts freely on the zero locus …
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 …
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…
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…
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 …
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 $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…
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 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 $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 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.
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 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 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…
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 $X$ be the circle bundle associated to a positive line bundle on a complex projective (or, more generally, compact symplectic) manifold. The Tian-Zelditch expansion on $X$ may be seen as a local manifestation of the decomposition of the (generalized) Hardy space $H(X)$ into isotypes for the $S^1$-action. More generally, given a compatible action of a compact Lie group, and under general assumptions guaranteeing finite dimensionality of isotypes, we may look for asymptotic expansions locally reflecting the equivariant decomposition of $H(X)$ over the irreducible representations of the group…
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 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.
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…
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.
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.
Let $γ$ be an automorphism of a polarized complex projective manifold $(M,L)$. Then $γ$ induces an automorphism $γ_k$ of the space of global holomorphic sections of the $k$-th tensor power of $L$, for every $k=1,2,...$; for $k\gg 0$, the Lefschetz fixed point formula expresses the trace of $γ_k$ in terms of fixed point data. More generally, one may consider the composition of $γ_k$ with the Toeplitz operator associated to some smooth function on $M$. Still more generally, in the presence of the compatible action of a compact and connected Lie group preserving $(M,L,γ)$, one may consider induce…
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.
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 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 …
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 …
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.
We generalize a theorem of Delzant classifying compact connected symplectic manifolds with completely integrable torus actions to certain singular symplectic spaces. The assumption on singularities is that if they are not finite quotient then they are isolated.
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…
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…
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.
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 study the moduli space of twisted quasimaps from a fixed smooth projective curve to a Nakajima's quiver variety and the moduli space of $δ$-stable framed twisted quiver bundles with moment map relations. We show that they carry symmetric obstruction theories and when $δ$ is large enough, they exactly coincide. These results generalize works of D.E. Diaconescu about the ADHM quiver, in the framework of the quasimap theory of I. Ciocan-Fontanine, D. Maulik and the author.
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 develop differential and symplectic geometry of differentiable Deligne-Mumford stacks (orbifolds) including Hamiltonian group actions and symplectic reduction. As an application we construct new examples of symplectic toric DM stacks as symplectic quotients of C^NxBG, where G is a finite non-abelian group.
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…
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 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…
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…
For a finite subgroup $Γ\subset \mathrm{SL}(2,\mathbb{C})$ and for $n\geq 1$, we use variation of GIT quotient for Nakajima quiver varieties to study the birational geometry of the Hilbert scheme of $n$ points on the minimal resolution $S$ of the Kleinian singularity $\mathbb{C}^2/Γ$. It is well known that $X:=\mathrm{Hilb}^{[n]}(S)$ is a projective, crepant resolution of the symplectic singularity $\mathbb{C}^{2n}/Γ_n$, where $Γ_n=Γ\wr\mathfrak{S}_n$ is the wreath product. We prove that every projective, crepant resolution of $\mathbb{C}^{2n}/Γ_n$ can be realised as the fine moduli space of $…
We introduce a multiplicative version of complex-symplectic implosion in the case of $SL(n, \C)$. The universal multiplicative implosion for $SL(n, \C)$ is an affine variety and can be viewed as a nonreductive geometric invariant theory quotient. It carries a torus action. and reductions by this action give the Steinberg fibres of $SL(n, \C)$. We also explain how the real symplectic group-valued universal implosion introduced by Hurtubise, Jeffrey and Sjamaar may be identified inside this space.
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 space of Poisson traces on symmetric powers of affine symplectic varieties. In the case of symplectic vector spaces, we also consider the quotient by the diagonal translation action, which includes the quotient singularities C^{2n-2}/S_n associated to the type A Weyl group S_n and its reflection representation C^{n-1}. We also compute the full structure of the natural D-module, previously defined by the authors, whose solution space over algebraic distributions identifies with the space of Poisson traces. As a consequence, we deduce bounds on the numbers of finite-dimensional ir…
