arXiv subjects

Emily Proctor

Publications and source records attributed to Emily Proctor.

8 recordsLinked to original sources

arXiv2023

The universal Euler characteristic and Burnside group for definable groupoids

We introduce the universal Euler characteristic of orbit space definable groupoids, a class of groupoids containing cocompact proper Lie groupoids as well as translation groupoids associated to proper definable group actions. We show that every additive and multiplicative invariant of orbit space definable groupoids with an additional local triviality hypothesis arises as a ring homomorphism applied to the universal Euler characteristic. This in particular includes the $\Gamma$-orbifold Euler characteristic introduced by the first and third authors when $\Gamma$ is a finitely presented group. For definable groupoids, where the object and arrow spaces as well as the structure maps are definable, we also introduce a Burnside group (which admits a partial multiplication), which generalizes the classical Burnside ring associated to compact Lie groups.

math.DG↗

arXiv2020

The spectra of digraphs with Morita equivalent $C^\ast$-algebras

Eilers et al. have recently completed the geometric classification of unital graph $C^\ast$-algebras up to Morita equivalence using a set of moves on the corresponding digraphs. We explore the question of whether these moves preserve the nonzero elements of the spectrum of a finite digraph, which in this paper is allowed to have loops and parallel edges. We consider several different digraph spectra that have been studied in the literature, answering this question for the Laplace and adjacency spectra, their skew counterparts, the symmetric adjacency spectrum, the adjacency spectrum of the line digraph, the Hermitian adjacency spectrum, and the normalized Laplacian, considering in most cases two ways that these spectra can be defined in the presence of parallel edges. We show that the adjacency spectra of the digraph and line digraph are preserved by a subset of the moves, and the skew adjacency and Laplace spectra are preserved by the Cuntz splice. We give counterexamples to show that the other spectra are not preserved by the remaining moves. The same results hold if one restricts to the class of strongly connected digraphs.

math.CO↗

arXiv2016

Approximating orbifold spectra using collapsing connected sums

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.

math.DG↗

arXiv2012

\Gamma-extensions of the spectrum of an orbifold

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.

math.DG↗

arXiv2011

Orbifold homeomorphism finiteness based on geometric constraints

We show that any collection of n-dimensional orbifolds with sectional curvature and volume uniformly bounded below, diameter bounded above, and with only isolated singular points contains orbifolds of only finitely many orbifold homeomorphism types. This is a generalization to the orbifold category of a similar result for manifolds proven by Grove, Petersen, and Wu. It follows that any Laplace isospectral collection of orbifolds with sectional curvature uniformly bounded below and having only isolated singular points also contains only finitely many orbifold homeomorphism types. The main steps of the argument are to show that any sequence from the collection has subsequence that converges to an orbifold, and then to show that the homeomorphism between the underlying spaces of the limit orbifold and an orbifold from the subsequence that is guaranteed by Perelman's stability theorem must preserve orbifold structure.

math.DG↗

arXiv2009

Spectral and geometric bounds on 2-orbifold diffeomorphism type

We show that a Laplace isospectral family of two dimensional Riemannian orbifolds, sharing a lower bound on sectional curvature, contains orbifolds of only a finite number of orbifold category diffeomorphism types. We also show that orbifolds of only finitely many orbifold diffeomorphism types may arise in any collection of 2-orbifolds satisfying lower bounds on sectional curvature and volume, and an upper bound on diameter. An argument converting spectral data to geometric bounds shows that the first result is a consequence of the second.

math.DG↗

arXiv2008

An isospectral deformation on an orbifold quotient of a nilmanifold

We construct a Laplace isospectral deformation of metrics on an orbifold quotient of a nilmanifold. Each orbifold in the deformation contains singular points with order two isotropy. Isospectrality is obtained by modifying a generalization of Sunada's Theorem due to DeTurck and Gordon.

math.DG↗

arXiv2004

Isospectral metrics and potentials on classical compact simple Lie groups

We prove the existence of multiparameter isospectral deformations of metrics on SO(n) $(n = 9$ and $n\geq 11)$, SU(n) $(n\geq 8)$, and $Sp(n)$ $(n\geq 4)$. For these examples, we follow a metric construction developed by Schueth who had given one-parameter families of isospectral metrics on orthogonal and unitary groups. Our multiparameter families are obtained by a new proof of nontriviality establishing a generic condition for nonisometry of metrics arising from the construction. We also show the existence of non-congruent pairs of isospectral potentials and nonisometric pairs of isospectral conformally equivalent metrics on $Sp(n)$ for $n\geq 6$.

math.DG↗