Source author record

Christopher Seaton

Christopher Seaton appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
12topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2020arXiv

Constructing symplectomorphisms between symplectic torus quotients

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 have graded isomorphic algebras of real regular functions and graded Poisson isomorphic complex symplectic quotients yet not be graded regularly diffeomorphic nor graded regularly symplectomorphic.

preprint2019arXiv

Symplectic quotients have symplectic singularities

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.

preprint2018arXiv

Hilbert series associated to symplectic quotients by $\operatorname{SU}_2$

We compute the Hilbert series of the graded algebra of real regular functions on the symplectic quotient associated to an $\operatorname{SU}_2$-module and give an explicit expression for the first nonzero coefficient of the Laurent expansion of the Hilbert series at $t = 1$. Our expression for the Hilbert series indicates an algorithm to compute it, and we give the output of this algorithm for representations of dimension at most $10$. Along the way, we compute the Hilbert series of the module of covariants of an arbitrary $\operatorname{Sl}_2$- or $\operatorname{SU}_2$-module as well its first three Laurent coefficients.

preprint2018arXiv

The Hilbert series of $\operatorname{SL}_2$-invariants

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

preprint2017arXiv

The Laurent coefficients of the Hilbert series of a Gorenstein algebra

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 $φ(x/(x-1))=(1-x)^rφ(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.

preprint2015arXiv

Symplectic reduction at zero angular momentum

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.

preprint2014arXiv

Gauge-fixing on the Lattice via Orbifolding

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.

preprint2014arXiv

On compositions with $x^2/(1-x)$

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

preprint2014arXiv

When is a symplectic quotient an orbifold?

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.

preprint2013arXiv

On Orbifold Criteria for Symplectic Toric Quotients

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.

preprint2013arXiv

Stratifications of inertia spaces of compact Lie group actions

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.

preprint2013arXiv

The Hilbert series of a linear symplectic circle quotient

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.

preprint2013arXiv

Γ-extensions of the spectrum of an orbifold

We introduce the Γ-extension of the spectrum of the Laplacian of a Riemannian orbifold, where Γis a finitely generated discrete group. This extension, called the Γ-spectrum, is the union of the Laplace spectra of the Γ-sectors of the orbifold, and hence constitutes a Riemannian invariant that is directly related to the singular set of the orbifold. We compare the Γ-spectra of known examples of isospectral pairs and families of orbifolds and demonstrate that it many cases, isospectral orbifolds need not be Γ-isospectral. We additionally prove a version of Sunada's theorem that allows us to construct pairs of orbifolds that are Γ-isospectral for any choice of Γ.

preprint2009arXiv

Classifying closed 2-orbifolds with Euler characteristics

We determine the extent to which the collection of $Γ$-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 $Γ$-Euler-Satake characteristics corresponding to free or free abelian $Γ$ 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 $Γ$, nor for noneffective 2-orbifolds. As a corollary, we generate families of orbifolds with the same $Γ$-Euler-Satake characteristics in arbitrary dimensions for any finite collection of $Γ$; this is used to demonstrate that the $Γ$-Euler-Satake characteristics each constitute new invariants of orbifolds.

preprint2009arXiv

Generalized orbifold Euler characteristics for general orbifolds and wreath products

We introduce the $Γ$-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 $Γ$-sectors of the orbifold where $Γ$ is a finitely generated discrete group. We study the behavior of these characteristics under product operations applied to the group $Γ$ 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.

preprint2009arXiv

Generalized twisted sectors of orbifolds

For a finitely generated discrete group $Γ$, the $Γ$-sectors of an orbifold $Q$ are a disjoint union of orbifolds corresponding to homomorphisms from $Γ$ into a groupoid presenting $Q$. Here, we show that the inertia orbifold and $k$-multi-sectors are special cases of the $Γ$-sectors, and that the $Γ$-sectors are orbifold covers of Leida's fixed-point sectors. In the case of a global quotient, we show that the $Γ$-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 $Γ$-sectors corresponding to a generalized loop space.