Source author record

D. B. McReynolds

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

10works
4topics
4close collaborators

Published work

10 publications

preprint2020arXiv

Absolute profinite rigidity and hyperbolic geometry

We construct arithmetic Kleinian groups that are profinitely rigid in the absolute sense: each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. The Bianchi group PSL(2,Z[ω])\mathrm{PSL}(2,\mathbb{Z}[ω]) with ω2+ω+1=0ω^2+ω+1=0 is rigid in this sense. Other examples include the non-uniform lattice of minimal co-volume in PSL(2,C)\mathrm{PSL}(2,\mathbb{C}) and the fundamental group of the Weeks manifold (the closed hyperbolic 33-manifold of minimal volume).

preprint2016arXiv

A vanishing theorem for the homology of discrete subgroups of Sp(n,1)\mathrm{Sp}(n,1) and F4−20\mathrm{F}_4^{-20}

For any discrete, torsion-free subgroup ΓΓ of Sp(n,1)\mathrm{Sp}(n,1) (resp.\ F4−20\mathrm{F}_4^{-20}) with no parabolic elements, we prove that H4n−1(Γ;V)=0H_{4n-1}(Γ;V)=0 (resp.\ Hi(Γ;V)=0H_i(Γ;V)=0 for i=13,14,15i=13,14,15) for any ΓΓ--module VV. The main technical advance is a new bound on the pp--Jacobian of the barycenter map of Besson--Courtois--Gallot. We also apply this estimate to obtain an inequality between the critical exponent and homological dimension of ΓΓ, improving on work of M.~Kapovich.

preprint2009arXiv

Bertrand's postulate and subgroup growth

In this article we investigate the L^1-norm of certain functions on groups called divisibility functions. Using these functions, their connection to residual finiteness, and integration theory on profinite groups, we define the residual average of a finitely generated group. One of the main results in this article is the finiteness of residual averages on finitely generated linear groups. Whether or not the residual average is finite depends on growth rates of indices of finite index subgroups. Our results on index growth rates are analogous to results on gaps between primes, and provide a variant of the subgroup growth function, which may be of independent interest.

preprint2009arXiv

Isospectral locally symmetric manifolds

In this article we construct closed, isospectral, non-isometric locally symmetric manifolds. We have three main results. First, we construct arbitrarily large sets of closed, isospectral, non-isometric manifolds. Second, we show the growth of size these sets of isospectral manifolds as a function of volume is super-polynomial. Finally, we construct pairs of infinite towers of finite covers of a closed manifold that are isospectral and non-isometric at each stage.

preprint2009arXiv

The genus spectrum of a hyperbolic 3-manifold

In this article we study the spectrum of totally geodesic surfaces of a finite volume hyperbolic 3-manifold. We show that for arithmetic hyperbolic 3-manifolds that contain a totally geodesic surface, this spectrum determines the commensurability class. In addition, we show that any finite volume hyperbolic 3-manifold has many pairs of non-isometric finite covers with identical spectra. Forgetting multiplicities, we can also construct pairs where the volume ratio is unbounded.

preprint2007arXiv

Cusps of Hilbert modular varieties

Motivated by a question of Hirzebruch on the possible topological types of cusp cross-sections of Hilbert modular varieties, we give a necessary and sufficient condition for a manifold M to be diffeomorphic to a cusp cross-section of a Hilbert modular variety. Specialized to Hilbert modular surfaces, this proves that every Sol 3-manifold is diffeomorphic to a cusp cross-section of a (generalized) Hilbert modular surface. We also deduce an obstruction to geometric bounding in this setting. Consequently, there exist Sol 3-manifolds that cannot arise as a cusp cross-section of a 1-cusped nonsingular Hilbert modular surface.

preprint2004arXiv

Peripheral separability and cusps of arithmetic hyperbolic orbifolds

For X = R, C, or H it is well known that cusp cross-sections of finite volume X-hyperbolic (n+1)-orbifolds are flat n-orbifolds or almost flat orbifolds modelled on the (2n+1)-dimensional Heisenberg group N_{2n+1} or the (4n+3)-dimensional quaternionic Heisenberg group N_{4n+3}(H). We give a necessary and sufficient condition for such manifolds to be diffeomorphic to a cusp cross-section of an arithmetic X-hyperbolic (n+1)-orbifold. A principal tool in the proof of this classification theorem is a subgroup separability result which may be of independent interest.

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.