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

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.

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

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.

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.

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 BecchiRouetStoraTyutin symmetry on the lattice. Following
the interpretation of this problem in terms of Wittentype 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 gaugefixing
group manifold and show that this modification circumvents the orbitdependence
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 noncompactness of
the underlying manifold, the corresponding gaugefixing partition function
turns out to be orbit independent for all the orbits except in a region of
measure zero.

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

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.

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 EulerSatake 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
EulerSatake characteristic of a wreath product of a global quotient orbifold.

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 introduce the \Gammaextension of the spectrum of the Laplacian of a
Riemannian orbifold, where \Gamma is a finitely generated discrete group. This
extension, called the \Gammaspectrum, is the union of the Laplace spectra of
the \Gammasectors of the orbifold, and hence constitutes a Riemannian
invariant that is directly related to the singular set of the orbifold. We
compare the \Gammaspectra of known examples of isospectral pairs and families
of orbifolds and demonstrate that it many cases, isospectral orbifolds need not
be \Gammaisospectral. We additionally prove a version of Sunada's theorem that
allows us to construct pairs of orbifolds that are \Gammaisospectral for any
choice of \Gamma.

We determine the extent to which the collection of $\Gamma$EulerSatake
characteristics classify closed 2orbifolds. In particular, we show that the
closed, connected, effective, orientable 2orbifolds are classified by the
collection of $\Gamma$EulerSatake 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 nonorientable 2orbifolds and
any collection of $\Gamma$, nor for noneffective 2orbifolds. As a corollary,
we generate families of orbifolds with the same $\Gamma$EulerSatake
characteristics in arbitrary dimensions for any finite collection of $\Gamma$;
this is used to demonstrate that the $\Gamma$EulerSatake characteristics each
constitute new invariants of orbifolds.

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$multisectors are special cases of the $\Gamma$sectors, and
that the $\Gamma$sectors are orbifold covers of Leida's fixedpoint 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.

We introduce the $\Gamma$EulerSatake 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 BryanFulman and Tamanoi. Each of these Euler
characteristics is defined as the EulerSatake 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.

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 multisectors, 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 EulerSatake
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$EulerSatake 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.

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 EulerSatake
characteristic of the orbifold and a boundary term. The boundary term is
expressed as a sum of Euler characteristics of tangency and exitregion
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.

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

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 ChenRuan
orbifold cohomology of the two base spaces are isomorphic (as additive groups).
This construction is used to indicate an extension of the ChernWeil
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.

We determine several necessary and sufficient conditions for a closed
almostcomplex orbifold $Q$ with cyclic local groups to admit a nonvanishing
vector field. These conditions are stated separately in terms of the orbifold
EulerSatake 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 ChenRuan orbifold cohomology
$H_{orb}^\ast (Q; \R)$.

The goal of this work is to generalize the GaussBonnet 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 GaussBonnet 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 ChenRuan 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 almostcomplex
structures.