• ### 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$.
• ### Koszul properties of the moment map of some classical representations(1705.02688)

May 18, 2018 math.AC
This work concerns the moment map $\mu$ associated with the standard representation of a classical Lie algebra. For applications to deformation quantization it is desirable that $S/(\mu)$, the coordinate algebra of the zero fibre of $\mu$, be Koszul. The main result is that this algebra is not Koszul for the standard representation of $\mathfrak{sl}_{n}$, and of $\mathfrak{sp}_{n}$. This is deduced from a computation of the Betti numbers of $S/(\mu)$ as an $S$-module, which are of interest also from the point of view of commutative algebra.
• ### Invariant Whitney Functions(1802.00143)

Feb. 1, 2018 math.AG, math.SG, math.AC
A theorem of Gerald Schwarz [24, Thm. 1] says that for a linear action of a compact Lie group $G$ on a finite dimensional real vector space $V$ any smooth $G$-invariant function on $V$ can be written as a composite with the Hilbert map. We prove a similar statement for the case of Whitney functions along a subanalytic set $Z\subset V$ fulfilling some regularity assumptions. In order to deal with the case when $Z$ is not $G$-stable we use the language of groupoids.
• ### 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.
• ### 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.
• ### 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.
• ### 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.
• ### The Koszul complex of a moment map(1205.4608)

June 11, 2013 math.SG, math.RT, math.GR
Let $K\to U(V)$ be a unitary representation of the compact Lie group $K$. Then there is a canonical moment mapping $\rho\colon V\to\mathfrak k^*$. We have the Koszul complex ${\mathcal K}(\rho,\mathcal C^\infty(V))$ of the component functions $\rho_1,...,\rho_k$ of $\rho$. Let $G=K_{\mathbb C}$, the complexification of $K$. We show that the Koszul complex is a resolution of the smooth functions on $\rho^{-1}(0)$ if and only if $G\to\GL(V)$ is 1-large, a concept introduced in earlier work of the second author. Now let $M$ be a symplectic manifold with a Hamiltonian action of $K$. Let $\rho$ be a moment mapping and consider the Koszul complex given by the component functions of $\rho$. We show that the Koszul complex is a resolution of the smooth functions on $Z=\rho^{-1}(0)$ if and only if the complexification of each symplectic slice representation at a point of $Z$ is 1-large.
• ### 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.
• ### On the existence of star products on quotient spaces of linear Hamiltonian torus actions(0811.2152)

Nov. 13, 2008 math.QA, math.SG
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.
• ### Variations on Homological Reduction(0708.3598)

Aug. 25, 2007 math-ph, math.MP, math.QA
In this paper, we are concerned with the BFV-reduction of first class constraints in classsical Hamiltonian mechanics and deformation quantization. As a result, we obtain continuous star products for certain singular reduced symplectic quotients. We relate the notion of "irreducibility" of a constraint to the notion of complete intersection used in commutative algebra. We generalize the classical BFV construction to the case of projective Tate generators using a super-Poisson bracket discovered by M. Rothstein. We also discuss the problem of infinite reducibility. Several examples are elaborated on.
• ### A homological approach to singular reduction in deformation quantization(math-ph/0603078)

March 29, 2006 math-ph, math.MP
We use the method of homological quantum reduction to construct a deformation quantization on singular symplectic quotients in the situation, where the coefficients of the moment map define a complete intersection. Several examples are discussed, among others one where the singularity type is worse than an orbifold singularity.
• ### Formalite $G_\infty$ adaptee et star-representations sur des sous-varietes coisotropes(math/0504276)

April 13, 2005 math.QA
Let X be a Poisson manifold and C a coisotropic submanifold and let I be the vanishing ideal of C. In this work we want to construct a star product * on X such that I[[lambda]] is a left ideal for *. Thus we obtain a representation of the star product algebra A[[lambda]] = C^\infty(X)[[lambda]] on B[[lambda]] = A[[lambda]] / I[[lambda]] deforming the usual representation of A on the functions on C. The result follows from a generalization of Tamarkin's formality adapted to the submanifold C. We show that in the case X = R^n and C = R^{n-l} with l > 1 there are no obstructions to this formality.
• ### BRST Cohomology and Phase Space Reduction in Deformation Quantisation(math/9901015)

Sept. 9, 1999 math-ph, math.MP, math.QA, math.SG
In this article we consider quantum phase space reduction when zero is a regular value of the momentum map. By analogy with the classical case we define the BRST cohomology in the framework of deformation quantization. We compute the quantum BRST cohomology in terms of a quantum' Chevalley-Eilenberg cohomology of the Lie algebra on the constraint surface. To prove this result, we construct an explicit chain homotopy, both in the classical and quantum case, which is constructed out of a prolongation of functions on the constraint surface. We have observed the phenomenon that the quantum BRST cohomology cannot always be used for quantum reduction, because generally its zero part is no longer a deformation of the space of all smooth functions on the reduced phase space. But in case the group action is sufficiently nice', e.g. proper (which is the case for all compact Lie group actions), it is shown for a strongly invariant star product that the BRST procedure always induces a star product on the reduced phase space in a rather explicit and natural way. Simple examples and counter examples are discussed.