
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.

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$.

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.

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.

By a theorem of R. Stanley, a graded CohenMacaulay 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 ainvariant 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/(x1))=(1x)^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.

Let $V$ be a finitedimensional 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 nonGorenstein invariant algebras.

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 CohenMacaulay. We also
demonstrate that for small values of $k$, the ring of regular functions on the
symplectic quotient is graded Gorenstein.

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/(1x)$. 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/(x1)$. It follows that
the Hilbert series of a graded CohenMacaulay algebra $A$ is symplectic if and
only if $A$ is Gorenstein with its ainvariant 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.

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.

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 $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 1large, 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 1large.

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.

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 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 paper, we are concerned with the BFVreduction 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 superPoisson bracket discovered by M. Rothstein. We also
discuss the problem of infinite reducibility. Several examples are elaborated
on.

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.

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^{nl} with l > 1 there are no obstructions to this formality.

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' ChevalleyEilenberg
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.