We introduce the_inertial cohomology ring_ NH^*_T(Y) of a stably almost complex manifold carrying an action of a torus T. We show that in the case that Y has a locally free action by T, the inertial cohomology ring is isomorphic to the Chen-Ruan orbifold cohomology ring H_{CR}^*(Y/T) of the quotient orbifold Y/T.
For Y a compact Hamiltonian T-space, we extend to orbifold cohomology two techniques that are standard in ordinary cohomology. We show that NH^*_T(Y) has a natural ring surjection onto H_{CR}^*(Y//T), where Y//T is the symplectic reduction of Y by T at a regular value of the moment map. We extend to NH^*_T(Y) the graphical GKM calculus (as detailed in e.g. [Harada-Henriques-Holm]), and the kernel computations of [Tolman-Weitsman, Goldin].
We detail this technology in two examples: toric orbifolds and weight varieties, which are symplectic reductions of flag manifolds. The Chen-Ruan ring has been computed for toric orbifolds, with \Q coefficients, in [Borisov-Chen-Smith]); symplectic toric orbifolds obtained by reduction by a connected torus (though with different computational methods), and extend them to \Z coefficients in certain cases, including weighted projective spaces.
In this paper, we study Hamiltonian R-actions on symplectic orbifolds [M/S], where R and S are tori. We prove an injectivity theorem and generalize Tolman-Weitsman's proof of the GKM theorem in this setting. The main example is the symplectic reduction X//S of a Hamiltonian T-manifold X by a subtorus S of T. This includes the class of symplectic toric orbifolds. We define the equivariant Chen-Ruan cohomology ring and use the above results to establish a combinatorial method of computing this equivariant Chen-Ruan cohomology in terms of orbifold fixed point data.
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…
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 construct Morse-Smale-Witten complex for an effective orientable orbifold. For a global quotient orbifold, we also construct a Morse-Bott complex. We show that certain type of critical points of a Morse function has to be discarded to construct such a complex, and gradient flows should be counted with suitable weights. The homology of these complexes are shown to be isomorphic to the singular homology of the quotient spaces under the self-indexing assumptions.
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.
Making use of theory of differentiable stacks, we study symplectic vortex equations over a compact orbifold Riemann surface. We discuss the category of representable morphisms from a compact orbifold Riemann surface to a quotient stack. After that we define symplectic vortex equations over a compact orbifold Riemann surface. We also discuss the moduli space of solutions to the equations for linear actions of the circle group on the complex plane.
Suppose given an holomorphic and Hamiltonian action of a compact torus $T$ on a polarized Hodge manifold $M$. Assume that the action lifts to the quantizing line bundle, so that there is an induced unitary representation of $T$ on the associated Hardy space. If in addition the moment map is nowhere zero, for each weight $\boldsymbolν$ the $\boldsymbolν$-th isotypical component in the Hardy space of the polarization is finite-dimensional. Assuming that the moment map is transverse to the ray through $\boldsymbolν$, we give a gometric interpretation of the isotypical components associated to the…
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…
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 …
We discuss BFV deformation quantization of singular symplectic quotient spaces in the special case of linear Hamiltonian torus actions. In particular, we show that the Koszul complex on the moment map of an effective linear Hamiltonian torus action is acyclic. We rephrase the nonpositivity condition of Arms, Gotay and Jennings for linear Hamiltonian torus actions. It follows that reduced spaces of such actions admit continuous star products.
In this article, we construct an orbifold quantum cohomology twisted by a flat gerbe. Then we compute these invariants in the case of a smooth manifold and a discrete torsion on a global quotient orbifold.
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 construct all possible Hamiltonian torus actions for which all the non-empty reduced spaces are two dimensional (and not single points) and the manifold is connected and compact, or, more generally, the moment map is proper as a map to a convex set. This construction completes the classification of tall complexity one spaces.
Consider an algebraic action of a connected complex reductive algebraic group on a complex polarized projective variety. In this paper, we first introduce the nilpotent quotient, the quotient of the polarized projective variety by a maximal unipotent subgroup. Then, we introduce and investigate three induced actions: one by the reductive group, one by a Borel subgroup, and one by a maximal torus, respectively. Our main result is that there are natural correspondences among quotients of these three actions. In the end, we mention a possible application to the moduli spaces of parabolic bundles …
We develop Floer theory of Lagrangian torus fibers in compact symplectic toric orbifolds. We first classify holomorphic orbi-discs with boundary on Lagrangian torus fibers. We show that there exists a class of basic discs such that we have one-to-one correspondences between a) smooth basic discs and facets of the moment polytope, and b) between basic orbi-discs and twisted sectors of the toric orbifold. We show that there is a smooth Lagrangian Floer theory of these torus fibers, which has a bulk-deformation by fundamental classes of twisted sectors of the toric orbifold. We show by several ex…
We study torus actions on symplectic manifolds with proper moment maps in the case that each reduced space is two-dimensional. We provide a complete set of invariants for such spaces. Our proof uses sheaves of groupoids of Hamiltonian 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 …
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 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.
We prove the existence of torus invariant almost complex structure on any positively omnioriented four dimensional primitive quasitoric orbifold. We construct pseudo-holomorphic blowdown maps for such orbifolds. We prove a version of McKay correspondence when the blowdowns are crepant.
In this continuation of [L-Y1] and [L-L-S-Y], we explain how the Azumaya structure on D-branes together with a netted categorical quotient construction produces the same resolution of ADE orbifold singularities as that arises as the vacuum manifold/variety of the supersymmetric quantum field theory on the D-brane probe world-volume, given by Douglas and Moore [D-M] under the string-theory contents and constructed earlier through hyper-Kähler quotients by Kronheimer and Nakajima. This is consistent with the moral behind this project that Azumaya-type structure on D-branes themselves -- stated a…
We investigate the fine structure of the simplectic foliations of Poisson homogeneous spaces. Two general results are proved for weak splittings of surjective Poisson submersions from Heisenberg and Drinfeld doubles. The implications of these results are that the torus orbits of symplectic leaves of the quotients can be explicitly realized as Poisson-Dirac submanifolds of the torus orbits of the doubles. The results have a wide range of applications to many families of real and complex Poisson structures on flag varieties. Their torus orbits of leaves recover important families of varieties su…
