Source author record

Matthew Stover

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GT math.NT math.AG math.GR math.DG math.RA math.DS math.MG

Catalog footprint

Research overview

21works

8topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Cocompact Fuchsian groups with a modular embedding

A Fuchsian group $Γ$ has a modular embedding if its adjoint trace field is a totally real number field and every unbounded Galois conjugate $Γ^σ$ comes equipped with a holomorphic (or conjugate holomorphic) map ${ϕ^σ: \mathbb{B}^1 \to \mathbb{B}^1}$ intertwining the actions of $Γ$ and $Γ^σ$ on the Poincaré disk $\mathbb{B}^1$ . This paper provides the first cocompact nonarithmetic Fuchsian groups with a modular embedding that are not commensurable with a triangle group. The main result, proved using period domains, is that any immersed totally geodesic complex curve on a complex hyperbolic $2$ -orbifold has a modular embedding. Another consequence is arithmeticity of totally geodesic curves on finite-volume complex hyperbolic surfaces that are commensurable with quotients of $\mathbb{B}^1$ by the group generated by reflections in quadrilaterals satisfying certain angle conditions.

preprint2021arXiv

Residual finiteness for central extensions of lattices in $\mathrm{PU}(n,1)$ and negatively curved projective varieties

We study residual finiteness for cyclic central extensions of cocompact arithmetic lattices $Γ< \mathrm{PU}(n,1)$ simple type. We prove that the preimage of $Γ$ in any connected cover of $\mathrm{PU}(n,1)$ , in particular the universal cover, is residually finite. This follows from a more general theorem on residual finiteness of extensions whose characteristic class is contained in the span in $H^2(Γ, \mathbb{Z})$ of the Poincaré duals to totally geodesic divisors on the ball quotient $Γ\backslash \mathbb{B}^n$ . For $n \ge 4$ , if $Γ$ is a congruence lattice, we prove residual finiteness of the central extension associated with any element of $H^2(Γ, \mathbb{Z})$ . Our main application is to existence of cyclic covers of ball quotients branched over totally geodesic divisors. This gives examples of smooth projective varieties admitting a metric of negative sectional curvature that are not homotopy equivalent to a locally symmetric manifold. The existence of such examples is new for all dimensions $n \ge 4$ .

preprint2021arXiv

Residually finite lattices in $\widetilde{\mathrm{PU}(2,1)}$ and fundamental groups of smooth projective surfaces

This paper studies residual finiteness of lattices in the universal cover of $\mathrm{PU}(2,1)$ and applications to the existence of smooth projective varieties with fundamental group a cocompact lattice in $\mathrm{PU}(2,1)$ or a finite covering of it. First, we prove that certain lattices in the universal cover of $\mathrm{PU}(2,1)$ are residually finite. To our knowledge, these are the first such examples. We then use residually finite central extensions of torsion-free lattices in $\mathrm{PU}(2,1)$ to construct smooth projective surfaces that are not birationally equivalent to a smooth compact ball quotient but whose fundamental group is a torsion-free cocompact lattice in $\mathrm{PU}(2,1)$ .

preprint2020arXiv

Arithmeticity, Superrigidity, and Totally Geodesic Submanifolds

Let $Γ$ be a lattice in $\mathrm{SO}_0(n, 1)$ . We prove that if the associated locally symmetric space contains infinitely many maximal totally geodesic subspaces of dimension at least $2$ , then $Γ$ is arithmetic. This answers a question of Reid for hyperbolic $n$ -manifolds and, independently, McMullen for hyperbolic $3$ -manifolds. We prove these results by proving a superrigidity theorem for certain representations of such lattices. The proof of our superrigidity theorem uses results on equidistribution from homogeneous dynamics and our main result also admits a formulation in that language.

preprint2020arXiv

Azumaya algebras and canonical components

Let $M$ be a compact 3-manifold and $Γ=π_1(M)$ . Work of Thurston and Culler--Shalen established the $\mathrm{SL}_2(\mathbb{C})$ character variety $X(Γ)$ as fundamental tool in the study of the geometry and topology of $M$ . This is particularly the case when $M$ is the exterior of a hyperbolic knot $K$ in $S^3$ . The main goals of this paper are to bring to bear tools from algebraic and arithmetic geometry to understand algebraic and number theoretic properties of the so-called canonical component of $X(Γ)$ , as well as distinguished points on the canonical component, when $Γ$ is a knot group. In particular, we study how the theory of quaternion Azumaya algebras can be used to obtain algebraic and arithmetic information about Dehn surgeries, and perhaps of most interest, to construct new knot invariants that lie in the Brauer groups of curves over number fields.

preprint2020arXiv

Geometry of the Wiman-Edge monodromy

The Wiman-Edge pencil is a pencil of genus $6$ curves for which the generic member has automorphism group the alternating group $\mathfrak{A}_5$ . There is a unique smooth member, the Wiman sextic, with automorphism group the symmetric group $\mathfrak{S}_5$ . Farb and Looijenga proved that the monodromy of the Wiman-Edge pencil is commensurable with the Hilbert modular group $\mathrm{SL}_2(\mathbb{Z}[\sqrt{5}])$ . In this note, we give a complete description of the monodromy by congruence conditions modulo $4$ and $5$ . The congruence condition modulo $4$ is new, and this answers a question of Farb-Looijenga. We also show that the smooth resolution of the Baily-Borel compactification of the locally symmetric manifold associated with the monodromy is a projective surface of general type. Lastly, we give new information about the image of the period map for the pencil.

preprint2016arXiv

Bielliptic ball quotient compactifications and lattices in PU(2, 1) with finitely generated commutator subgroup

We construct two infinite families of ball quotient compactifications birational to bielliptic surfaces. For each family, the volume spectrum of the associated noncompact finite volume ball quotient surfaces is the set of all positive integral multiples of $\frac{8}{3}π^{2}$ , i.e., they attain all possible volumes of complex hyperbolic $2$ -manifolds. The surfaces in one of the two families have all $2$ -cusps, so that we can saturate the entire volume spectrum with $2$ -cusped manifolds. Finally, we show that the associated neat lattices have infinite abelianization and finitely generated commutator subgroup. These appear to be the first known nonuniform lattices in $\mathrm{PU}(2,1)$ , and the first infinite tower, with this property.

preprint2016arXiv

Character varieties and actions on products of trees

It is well known that surface groups admit free and proper actions on finite products of infinite valence trees. In this note, we address the question of whether there can be a free and proper action on a finite product of bounded valence trees. We provide some obstructions and an arithmetic criterion for existence. The bulk of the paper is devoted to an approach to verifying the arithmetic criterion by studying the character variety of certain surface groups over fields of positive characteristic. The methods may be useful for attempting to determine when groups admit good linear representations in other contexts.

preprint2016arXiv

Parametrizing Shimura subvarieties of $\mathrm{A}_1$ Shimura varieties and related geometric problems

This paper gives a complete parametrization of the commensurability classes of totally geodesic subspaces of irreducible arithmetic quotients of $X_{a, b} = (\mathbf{H}^2)^a \times (\mathbf{H}^3)^b$ . A special case describes all Shimura subvarieties of type $\mathrm{A}_1$ Shimura varieties. We produce, for any $n\geq 1$ , examples of manifolds/Shimura varieties with precisely $n$ commensurability classes of totally geodesic submanifolds/Shimura subvarieties. This is in stark contrast with the previously studied cases of arithmetic hyperbolic $3$ -manifolds and quaternionic Shimura surfaces, where the presence of one commensurability class of geodesic submanifolds implies the existence of infinitely many classes.

preprint2015arXiv

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.

preprint2015arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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

preprint2014arXiv

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.

preprint2013arXiv

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.

preprint2012arXiv

A Cantor set with hyperbolic complement

We construct a Cantor set in S^3 whose complement admits a complete hyperbolic metric.

preprint2012arXiv

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.

preprint2012arXiv

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.

preprint2011arXiv

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.

preprint2011arXiv

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.

preprint2011arXiv

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.

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.

Matthew Stover

Research overview

Is this your work?

21 publications

Cocompact Fuchsian groups with a modular embedding

Residual finiteness for central extensions of lattices in $\mathrm{PU}(n,1)$ and negatively curved projective varieties

Residually finite lattices in $\widetilde{\mathrm{PU}(2,1)}$ and fundamental groups of smooth projective surfaces

Arithmeticity, Superrigidity, and Totally Geodesic Submanifolds

Azumaya algebras and canonical components

Geometry of the Wiman-Edge monodromy

Bielliptic ball quotient compactifications and lattices in PU(2, 1) with finitely generated commutator subgroup

Character varieties and actions on products of trees

Parametrizing Shimura subvarieties of $\mathrm{A}_1$ Shimura varieties and related geometric problems

Geodesic curves on Shimura surfaces

Multiple realizations of varieties as ball quotient compactifications

Hurwitz ball quotients

Presentations for quaternionic $S$ -unit groups

Small generators for S-unit groups of division algebras

On the number of ends of rank one locally symmetric spaces

A Cantor set with hyperbolic complement

Collisions at infinity in hyperbolic manifolds

Covolumes of nonuniform lattices in PU(n, 1)

Arithmeticity of complex hyperbolic triangle groups

Cusps of Picard modular surfaces

Volumes of Picard modular surfaces

See the researcher in context

Building this map preview

Matthew Stover

Research overview

Is this your work?

21 publications

Cocompact Fuchsian groups with a modular embedding

Residual finiteness for central extensions of lattices in PU(n,1)\mathrm{PU}(n,1)PU(n,1) and negatively curved projective varieties

Residually finite lattices in PU(2,1)~\widetilde{\mathrm{PU}(2,1)}PU(2,1)​ and fundamental groups of smooth projective surfaces

Arithmeticity, Superrigidity, and Totally Geodesic Submanifolds

Azumaya algebras and canonical components

Geometry of the Wiman-Edge monodromy

Bielliptic ball quotient compactifications and lattices in PU(2, 1) with finitely generated commutator subgroup

Character varieties and actions on products of trees

Parametrizing Shimura subvarieties of A1\mathrm{A}_1A1​ Shimura varieties and related geometric problems

Geodesic curves on Shimura surfaces

Multiple realizations of varieties as ball quotient compactifications

Hurwitz ball quotients

Presentations for quaternionic SSS-unit groups

Small generators for S-unit groups of division algebras

On the number of ends of rank one locally symmetric spaces

A Cantor set with hyperbolic complement

Collisions at infinity in hyperbolic manifolds

Covolumes of nonuniform lattices in PU(n, 1)

Arithmeticity of complex hyperbolic triangle groups

Cusps of Picard modular surfaces

Volumes of Picard modular surfaces

See the researcher in context

Building this map preview

Residual finiteness for central extensions of lattices in $\mathrm{PU}(n,1)$ and negatively curved projective varieties

Residually finite lattices in $\widetilde{\mathrm{PU}(2,1)}$ and fundamental groups of smooth projective surfaces

Parametrizing Shimura subvarieties of $\mathrm{A}_1$ Shimura varieties and related geometric problems

Presentations for quaternionic $S$ -unit groups