• ### Symplectic quotients have symplectic singularities(1706.02089)

Oct. 22, 2019 math.AG, math.SG, math.RT
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 show that these results hold without the hypothesis that $(V,G)$ is $3$-large.
• ### The Hilbert series of $\operatorname{SL}_2$-invariants(1710.02606)

June 19, 2018 math.AG, math.AC, math.RA
Let $V$ be a finite dimensional representations of the group $\operatorname{SL}_2$ of $2\times 2$ matrices with complex coefficients and determinant one. Let $R=\mathbb{C}[V]^{\operatorname{SL}_2}$ be the algebra of $\operatorname{SL}_2$-invariant polynomials on $V$. We present a calculation of the Hilbert series $\operatorname{Hilb}_R(t)=\sum_{n\ge 0}\dim (R_n)\: t^n$ as well as formulas for the first four coefficients of the Laurent expansion of $\operatorname{Hilb}_R(t)$ at $t=1$.
• ### The Laurent coefficients of the Hilbert series of a Gorenstein algebra(1605.01572)

Nov. 1, 2017 math.CO, math.AG, math.AC
By a theorem of R. Stanley, a graded Cohen-Macaulay domain $A$ is Gorenstein if and only if its Hilbert series satisfies the functional equation $\operatorname{Hilb}_A(t^{-1})=(-1)^d t^{-a}\operatorname{Hilb}_A(t),$ where $d$ is the Krull dimension and $a$ is the a-invariant of $A$. We reformulate this functional equation in terms of an infinite system of linear constraints on the Laurent coefficients of $\operatorname{Hilb}_A(t)$ at $t=1$. The main idea consists of examining the graded algebra $\mathcal F=\bigoplus_{r\in \mathbb{Z}}\mathcal F_r$ of formal power series in the variable $x$ that fulfill the condition $\varphi(x/(x-1))=(1-x)^r\varphi(x)$. As a byproduct, we derive quadratic and cubic relations for the Bernoulli numbers. The cubic relations have a natural interpretation in terms of coefficients of the Euler polynomials. For the special case of degree $r=-(a+d)=0$, these results have been investigated previously by the authors and involved merely even Euler polynomials. A link to the work of H. W. Gould and L. Carlitz on power sums of symmetric number triangles is established.
• ### The Hilbert series and $a$-invariant of circle invariants(1707.03128)

July 11, 2017 math.CO, math.AC, math.RA
Let $V$ be a finite-dimensional representation of the complex circle $\mathbb{C}^\times$ determined by a weight vector $\mathbf{a}\in\mathbb{Z}^n$. We study the Hilbert series $\operatorname{Hilb}_{\mathbf{a}}(t)$ of the graded algebra $\mathbb{C}[V]^{\mathbb{C}_{\mathbf{a}}^\times}$ of polynomial $\mathbb{C}^\times$-invariants in terms of the weight vector $\mathbf{a}$ of the $\mathbb{C}^\times$-action. In particular, we give explicit formulas for $\operatorname{Hilb}_{\mathbf{a}}(t)$ as well as the first four coefficients of the Laurent expansion of $\operatorname{Hilb}_{\mathbf{a}}(t)$ at $t=1$. The naive formulas for these coefficients have removable singularities when weights pairwise coincide. Identifying these cancelations, the Laurent coefficients are expressed using partial Schur polynomial that are independently symmetric in two sets of variables. We similarly give an explicit formula for the $a$-invariant of $\mathbb{C}[V]^{\mathbb{C}_{\mathbf{a}}^\times}$ in the case that this algebra is Gorenstein. As an application, we give methods to identify weight vectors with Gorenstein and non-Gorenstein invariant algebras.
• ### Approximating orbifold spectra using collapsing connected sums(1611.07676)

Sept. 6, 2020 math.DG, math.SP
For a closed Riemannian orbifold $O$, we compare the spectra of the Laplacian, acting on functions or differential forms, to the Neumann spectra of the orbifold with boundary given by a domain $U$ in $O$ whose boundary is a smooth manifold. Generalizing results of several authors, we prove that the metric of $O$ can be perturbed to ensure that the first $N$ eigenvalues of $U$ and $O$ are arbitrarily close to one another. This involves a generalization of the Hodge decomposition to the case of orbifolds with manifold boundary. Using these results, we study the behavior of the Laplace spectrum on functions or forms of a connected sum of two Riemannian orbifolds as one orbifold in the pair is collapsed to a point. We show that the limits of the eigenvalues of the connected sum are equal to those of the non-collapsed orbifold in the pair. In doing so, we prove the existence of a sequence of orbifolds with singular points whose eigenvalue spectra come arbitrarily close to the spectrum of a manifold, and a sequence of manifolds whose eigenvalue spectra come arbitrarily close to the eigenvalue spectrum of an orbifold with singular points. We also consider the question of prescribing the first part of the spectrum of an orientable orbifold.
• ### Differentiable stratified groupoids and a de Rham theorem for inertia spaces(1511.00371)

March 16, 2016 math.DG
We introduce the notions of a differentiable groupoid and a differentiable stratified groupoid, generalizations of Lie groupoids in which the spaces of objects and arrows have the structures of differentiable spaces, respectively differentiable stratified spaces, compatible with the groupoid structure. After studying basic properties of these groupoids including Morita equivalence, we prove a de Rham theorem for locally contractible differentiable stratified groupoids. We then focus on the study of the inertia groupoid associated to a proper Lie groupoid. We show that the loop and the inertia space of a proper Lie groupoid can be endowed with a natural Whitney B stratification, which we call the orbit Cartan type stratification. Endowed with this stratification, the inertia groupoid of a proper Lie groupoid becomes a locally contractible differentiable stratified groupoid.
• ### Symplectic reduction at zero angular momentum(1504.04933)

April 20, 2015 math-ph, math.MP, math.AG, math.SG, math.AC
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 quotients and determine which of these quotients are graded regularly symplectomorphic to linear symplectic orbifolds. We demonstrate that when $n \leq k$, the zero fibre of the moment map has rational singularities and hence is normal and Cohen-Macaulay. We also demonstrate that for small values of $k$, the ring of regular functions on the symplectic quotient is graded Gorenstein.
• ### Gauge-fixing on the Lattice via Orbifolding(1406.6678)

June 25, 2014 hep-th, math-ph, math.MP, hep-lat
When fixing a covariant gauge, most popularly the Landau gauge, on the lattice one encounters the Neuberger 0/0 problem which prevents one from formulating a Becchi--Rouet--Stora--Tyutin symmetry on the lattice. Following the interpretation of this problem in terms of Witten-type topological field theory and using the recently developed Morse theory for orbifolds, we propose a modification of the lattice Landau gauge via orbifolding of the gauge-fixing group manifold and show that this modification circumvents the orbit-dependence issue and hence can be a viable candidate for evading the Neuberger problem. Using algebraic geometry, we also show that though the previously proposed modification of the lattice Landau gauge via stereographic projection relies on delicate departure from the standard Morse theory due to the non-compactness of the underlying manifold, the corresponding gauge-fixing partition function turns out to be orbit independent for all the orbits except in a region of measure zero.
• ### On compositions with $x^2/(1-x)$(1404.1022)

April 3, 2014 math.CO, math.SG, math.AC
In the past, empirical evidence has been presented that Hilbert series of symplectic quotients of unitary representations obey a certain universal system of infinitely many constraints. Formal series with this property have been called \emph{symplectic}. Here we show that a formal power series is symplectic if and only if it is a formal composite with the formal power series $x^2/(1-x)$. Hence the set of symplectic power series forms a subalgebra of the algebra of formal power series. The subalgebra property is translated into an identity for the coefficients of the even Euler polynomials, which can be interpreted as a cubic identity for the Bernoulli numbers. Furthermore we show that a rational power series is symplectic if and only if it is invariant under the idempotent M\"{o}bius transformation $x\mapsto x/(x-1)$. It follows that the Hilbert series of a graded Cohen-Macaulay algebra $A$ is symplectic if and only if $A$ is Gorenstein with its a-invariant and its Krull dimension adding up to zero. It is shown that this is the case for algebras of regular functions on symplectic quotients of unitary representations of tori.
• ### When is a symplectic quotient an orbifold?(1403.3307)

March 31, 2014 math.AG, math.SG, math.RT
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 quotients that are $\mathbb{Z}$-graded regularly symplectomorphic to a linear symplectic orbifold. We similarly determine which unitary circle representations yield symplectic quotients that admit a regular diffeomorphism to a linear symplectic orbifold.
• ### Stratifications of inertia spaces of compact Lie group actions(1207.0595)

Oct. 24, 2013 math.DG, math.AT
We study the topology of the inertia space of a smooth $G$-manifold $M$ where $G$ is a compact Lie group. We construct an explicit Whitney stratification of the inertia space, demonstrating that the inertia space is a triangulable differentiable stratified space. In addition, we demonstrate a de Rham theorem for differential forms defined on the inertia space with respect to this stratification.
• ### An impossibility theorem for linear symplectic circle quotients(1310.0414)

Oct. 1, 2013 math.SG, math.RT, math.AC
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.
• ### Functional equations for orbifold wreath products(1007.2402)

May 18, 2013 math.DG, math.AT
We present generating functions for extensions of multiplicative invariants of wreath symmetric products of orbifolds presented as the quotient by the locally free action of a compact, connected Lie group in terms of orbifold sector decompositions. Particularly interesting instances of these product formulas occur for the Euler and Euler--Satake characteristics, which we compute for a class of weighted projective spaces. This generalizes results known for global quotients by finite groups to all closed, effective orbifolds. We also describe a combinatorial approach to extensions of multiplicative invariants using decomposable functors that recovers the formula for the Euler--Satake characteristic of a wreath product of a global quotient orbifold.
• ### The Hilbert series of a linear symplectic circle quotient(1302.2662)

May 11, 2013 math.SG, math.AC
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 Laurent coefficients are strictly positive. Experimental observations are presented concerning the behavior of these coefficients as well as relations among higher coefficients, providing empirical evidence that these relations hold in general.
• ### On Orbifold Criteria for Symplectic Toric Quotients(1205.1870)

April 12, 2013 math.SG, math.RT
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.
• ### \Gamma-extensions of the spectrum of an orbifold(1207.5728)

Jan. 31, 2013 math.DG, math.AT
We introduce the \Gamma-extension of the spectrum of the Laplacian of a Riemannian orbifold, where \Gamma is a finitely generated discrete group. This extension, called the \Gamma-spectrum, is the union of the Laplace spectra of the \Gamma-sectors of the orbifold, and hence constitutes a Riemannian invariant that is directly related to the singular set of the orbifold. We compare the \Gamma-spectra of known examples of isospectral pairs and families of orbifolds and demonstrate that it many cases, isospectral orbifolds need not be \Gamma-isospectral. We additionally prove a version of Sunada's theorem that allows us to construct pairs of orbifolds that are \Gamma-isospectral for any choice of \Gamma.
• ### Classifying closed 2-orbifolds with Euler characteristics(0902.2220)

Feb. 12, 2009 math.DG, math.AT
We determine the extent to which the collection of $\Gamma$-Euler-Satake characteristics classify closed 2-orbifolds. In particular, we show that the closed, connected, effective, orientable 2-orbifolds are classified by the collection of $\Gamma$-Euler-Satake characteristics corresponding to free or free abelian $\Gamma$ and are not classified by those corresponding to any finite collection of finitely generated discrete groups. Similarly, we show that such a classification is not possible for non-orientable 2-orbifolds and any collection of $\Gamma$, nor for noneffective 2-orbifolds. As a corollary, we generate families of orbifolds with the same $\Gamma$-Euler-Satake characteristics in arbitrary dimensions for any finite collection of $\Gamma$; this is used to demonstrate that the $\Gamma$-Euler-Satake characteristics each constitute new invariants of orbifolds.
• ### Generalized twisted sectors of orbifolds(0902.1196)

Feb. 6, 2009 math.DG, math.AT
For a finitely generated discrete group $\Gamma$, the $\Gamma$-sectors of an orbifold $Q$ are a disjoint union of orbifolds corresponding to homomorphisms from $\Gamma$ into a groupoid presenting $Q$. Here, we show that the inertia orbifold and $k$-multi-sectors are special cases of the $\Gamma$-sectors, and that the $\Gamma$-sectors are orbifold covers of Leida's fixed-point sectors. In the case of a global quotient, we show that the $\Gamma$-sectors correspond to orbifolds considered by other authors for global quotient orbifolds as well as their direct generalization to the case of an orbifold given by a quotient by a Lie group. Furthermore, we develop a model for the $\Gamma$-sectors corresponding to a generalized loop space.
• ### Generalized orbifold Euler characteristics for general orbifolds and wreath products(0902.1198)

Feb. 6, 2009 math.DG, math.AT
We introduce the $\Gamma$-Euler-Satake characteristics of a general orbifold $Q$ presented by an orbifold groupoid $\mathcal{G}$, generalizing to orbifolds that are not necessarily global quotients the generalized orbifold Euler characteristics of Bryan-Fulman and Tamanoi. Each of these Euler characteristics is defined as the Euler-Satake characteristic of the space of $\Gamma$-sectors of the orbifold where $\Gamma$ is a finitely generated discrete group. We study the behavior of these characteristics under product operations applied to the group $\Gamma$ as well as the orbifold and establish their relationships to existing Euler characteristics for orbifolds. As applications, we generalize formulas of Tamanoi, Wang, and Zhou for the Euler characteristics and Hodge numbers of wreath symmetric products of global quotient orbifolds to the case of quotients by compact, connected Lie groups acting almost freely.
• ### Nonvanishing vector fields on orbifolds(0807.2738)

Aug. 12, 2008 math.DG, math.AT
We introduce a complete obstruction to the existence of nonvanishing vector fields on a closed orbifold $Q$. Motivated by the inertia orbifold, the space of multi-sectors, and the generalized orbifold Euler characteristics, we construct for each finitely generated group $\Gamma$ an orbifold called the space of $\Gamma$-sectors of $Q$. The obstruction occurs as the Euler-Satake characteristics of the $\Gamma$-sectors for an appropriate choice of $\Gamma$; in the case that $Q$ is oriented, this obstruction is expressed as a cohomology class, the $\Gamma$-Euler-Satake class. We also acquire a complete obstruction in the case that $Q$ is compact with boundary and in the case that $Q$ is an open suborbifold of a closed orbifold.
• ### The index of a vector field on an orbifold with boundary(0806.2113)

June 12, 2008 math.DG
A Poincar\'{e}-Hopf theorem in the spirit of Pugh is proven for compact orbifolds with boundary. The theorem relates the index sum of a smooth vector field in generic contact with the boundary orbifold to the Euler-Satake characteristic of the orbifold and a boundary term. The boundary term is expressed as a sum of Euler characteristics of tangency and exit-region orbifolds. As a corollary, we express the index sum of the vector field induced on the inertia orbifold to the Euler characteristics of the associated underlying topological spaces.
• ### $K$-Theory of Crepant Resolutions of Complex Orbifolds with SU(2) Singularities(math/0311067)

June 9, 2008 math.AT
We show that if $Q$ is a closed, reduced, complex orbifold of dimension $n$ such that every local group acts as a subgroup of $SU(2) < SU(n)$, then the $K$-theory of the unique crepant resolution of $Q$ is isomorphic to the orbifold $K$-theory of $Q$.
• ### Characteristic Classes of Bad Orbifold Vector Bundles(math/0606665)

Aug. 8, 2006 math.DG, math.AT
We show that every bad orbifold vector bundle can be realized as the restriction of a good orbifold vector bundle to a suborbifold of the base space. We give an explicit construction of this result in which the Chen-Ruan orbifold cohomology of the two base spaces are isomorphic (as additive groups). This construction is used to indicate an extension of the Chern-Weil construction of characteristic classes to bad orbifold vector bundles. In particular, we apply this construction to the orbifold Euler class and demonstrate that it acts as an obstruction to the existence of nonvanishing sections.
• ### A Complete Obstruction to the Existence of Nonvanishing Vector Fields on Almost-Complex, Closed, Cyclic Orbifolds(math/0408187)

Aug. 3, 2006 math.DG
We determine several necessary and sufficient conditions for a closed almost-complex orbifold $Q$ with cyclic local groups to admit a nonvanishing vector field. These conditions are stated separately in terms of the orbifold Euler-Satake characteristics of $Q$ and its sectors, the Euler characteristics of the underlying topological spaces of $Q$ and its sectors, and in terms of the orbifold Euler class $e_{orb}(Q)$ in Chen-Ruan orbifold cohomology $H_{orb}^\ast (Q; \R)$.
• ### Two Gauss-Bonnet and Poincar\'{e}-Hopf Theorems for Orbifolds with Boundary(math/0311075)

April 14, 2004 math.DG
The goal of this work is to generalize the Gauss-Bonnet and Poincar\'{e}-Hopf Theorems to the case of orbifolds with boundary. We present two such generalizations, the first in the spirit of Satake. In this case, the local data (i.e. integral of the curvature in the case of the Gauss-Bonnet Theorem and the index of the vector field in the case of the Poincar\'{e}-Hopf Theorem) is related to Satake's orbifold Euler characteristic, a rational number which depends on the orbifold structure. For the second pair of generalizations, we use the Chen-Ruan orbifold cohomology to express the local data in a way which can be related to the Euler characteristic of the underlying space of the orbifold. This case applies only to orbifolds which admit almost-complex structures.