Searcharxiv⌕ Search

arXiv subjects

Matthew Stover

Publications and source records attributed to Matthew Stover.

49 records · Page 3Linked to original sources
arXiv2015

Multiple realizations of varieties as ball quotient compactifications

We study the number of distinct ways in which a smooth projective surface $X$ can be realized as a smooth toroidal compactification of a ball quotient. It follows from work of Hirzebruch that there are infinitely many distinct ball quotients with birational smooth toroidal compactifications. We take this to its natural extreme by constructing arbitrarily large families of distinct ball quotients with biholomorphic smooth toroidal compactifications.

math.AG↗
arXiv2015

Geodesic curves on Shimura surfaces

We parametrize the commensurability classes of curves on Shimura surfaces that are totally geodesic, i.e., the commensurability classes of so-called $\mathbb{C}$-Fuchsian subgroups. In particular, if a Shimura surface contains one commensurability class of totally geodesic curves, it contains infinitely many.

math.GT↗
arXiv2014

Small generators for S-unit groups of division algebras

Let $k$ be a number field, suppose that $B$ is a central simple division algebra over $k$, and choose any maximal order $\mathcal{D}$ of $B$. The object of this paper is to show that the group $\mathcal{D}_S^*$ of $S$-units of $B$ is generated by elements of small height once $S$ contains an explicit finite set of places of $k$. This generalizes a theorem of H.\ W.\ Lenstra Jr., who proved such a result when $B = k$. Our height bound is an explicit function of the number field and the discriminant of a maximal order in $B$ used to define its $S$-units.

math.NT↗
arXiv2014

Presentations for quaternionic $S$-unit groups

The purpose of this paper is to give presentations for projective $S$-unit groups of the Hurwitz order in Hamilton's quaternions over the rational field $\mathbb{Q}$. To our knowledge, this provides the first explicit presentations of an $S$-arithmetic lattice in a semisimple Lie group with $S$ large. In particular, we give presentations for groups acting irreducibly and cocompactly on a product of Bruhat--Tits trees. We also include some discussion and experimentation related to the congruence subgroup problem, which is open when $S$ contains at least two odd primes. In the appendix, we provide code that allows the reader to compute presentations for an arbitrary finite set $S$.

math.NT↗
arXiv2014

Hurwitz ball quotients

We consider the analogue of Hurwitz curves, smooth projective curves $C$ of genus $g \ge 2$ that realize equality in the Hurwitz bound $|\mathrm{Aut}(C)| \le 84 (g - 1)$, to smooth compact quotients $S$ of the unit ball in $\mathbb{C}^2$. When $S$ is arithmetic, we show that $|\mathrm{Aut}(S)| \le 288 e(S)$, where $e(S)$ is the (topological) Euler characteristic, and in the case of equality show that $S$ is a regular cover of a particular Deligne--Mostow orbifold. We conjecture that this inequality holds independent of arithmeticity, and note that work of Xiao makes progress on this conjecture and implies the best-known lower bound for the volume of a complex hyperbolic $2$-orbifold.

math.GT↗
arXiv2013

On the number of ends of rank one locally symmetric spaces

Let Y be a noncompact rank one locally symmetric space of finite volume. Then Y has a finite number e(Y) > 0 of topological ends. In this paper, we show that for any natural number n, the Y with e(Y) \leq n that are arithmetic fall into finitely many commensurability classes. In particular, there is a constant c_n such that n-cusped arithmetic orbifolds do not exist in dimension greater than c_n. We make this explicit for one-cusped arithmetic hyperbolic n-orbifolds and prove that none exist for n \geq 30.

math.GT↗
arXiv2012

Collisions at infinity in hyperbolic manifolds

For a complete, finite volume real hyperbolic n-manifold M, we investigate the map between homology of the cusps of M and the homology of $M$. Our main result provides a proof of a result required in a recent paper of Frigerio, Lafont, and Sisto.

math.GT↗
arXiv2012

Covolumes of nonuniform lattices in PU(n, 1)

This paper studies the covolumes of nonuniform arithmetic lattices in PU(n, 1). We determine the smallest covolume nonuniform arithmetic lattices for each n, the number of minimal covolume lattices for each n, and study the growth of the minimal covolume as n varies. In particular, there is a unique lattice (up to conjugacy) in PU(9, 1) of smallest Euler--Poincaré characteristic amongst all nonuniform arithmetic lattices in PU(n, 1). We also show that for each even n, there are arbitrarily large families of nonisomorphic maximal nonuniform lattices in PU(n, 1) of equal covolume.

math.GT↗
arXiv2011

Arithmeticity of complex hyperbolic triangle groups

Complex hyperbolic triangle groups were first considered by Mostow in building the first nonarithmetic lattices in PU(2, 1). They are a natural generalization of the classical triangle groups acting on the hyperbolic plane. A well-known theorem of Takeuchi is that there are only finitely many Fuchsian triangle groups that are also an arithmetic lattice in PSL_2(R). We consider similar finiteness theorem for complex hyperbolic triangle groups. In particular, we show that there are finitely many complex hyperbolic triangle groups with rational angular invariant which determine an arithmetic lattice in PU(2, 1). We also prove finiteness when the triangle is a right or equilateral triangle, the latter case being the one which has attracted the greatest amount of attention since Mostow's original work.

math.GT↗
arXiv2011

Cusps of Picard modular surfaces

We determine the number of cusps of minimal Picard modular surfaces. The proof also counts cusps of other Picard modular surfaces of arithmetic interest. Consequently, for each N > 0 there are finitely many commensurability classes of nonuniform arithmetic lattices in SU(2, 1) that contain an N-cusped surface. We also discuss a higher-rank analogue.

math.GT↗
arXiv2011

Volumes of Picard modular surfaces

We show that the conjectural cusped complex hyperbolic 2-orbifolds of minimal volume are the two smallest arithmetic complex hyperbolic 2-orbifolds. We then show that every arithmetic cusped complex hyperbolic 2-manifold of minimal volume covers one of these two orbifolds. We also give all minimal volume manifolds that simultaneously cover both minimal orbifolds.

math.GT↗
arXiv2007

Property (FA) and lattices in SU(2,1)

In this paper we consider Property (FA) for lattices in SU(2,1). First, we prove that SU(2,1;O_3) has Property (FA). We then prove that the arithmetic lattices in SU(2,1) of second type arising from congruence subgroups studied by Rapoport--Zink and Rogawski cannot split as a nontrivial free product with amalgamation; one such example is Mumford's fake projective plane. In fact, we prove that the fundamental group of any fake projective plane has Property (FA).

math.GT↗