Showing 1–43 of 43 results for author: McReynolds, B

Re-Interpreting the Step-Response Probability Curve to Extract Fundamental Physical Parameters of Event-based Vision Sensors

Authors: Brian McReynolds, Rui Graca, Lucas Kulesza, Peter McMahon-Crabtree

Abstract: Biologically inspired event-based vision sensors (EVS) are growing in popularity due to performance benefits including ultra-low power consumption, high dynamic range, data sparsity, and fast temporal response. They efficiently encode dynamic information from a visual scene through pixels that respond autonomously and asynchronously when the per-pixel illumination level changes by a user-selectabl… ▽ More Biologically inspired event-based vision sensors (EVS) are growing in popularity due to performance benefits including ultra-low power consumption, high dynamic range, data sparsity, and fast temporal response. They efficiently encode dynamic information from a visual scene through pixels that respond autonomously and asynchronously when the per-pixel illumination level changes by a user-selectable contrast threshold ratio, $θ$. Due to their unique sensing paradigm and complex analog pixel circuitry, characterizing Event-based Vision Sensor (EVS) is non-trivial. The step-response probability curve (S-curve) is a key measurement technique that has emerged as the standard for measuring $θ$. In this work, we detail the method for generating accurate S-curves by applying an appropriate stimulus and sensor configuration to decouple 2nd-order effects from the parameter being studied. We use an EVS pixel simulation to demonstrate how noise and other physical constraints can lead to error in the measurement, and develop two techniques that are robust enough to obtain accurate estimates. We then apply best practices derived from our simulation to generate S-curves for the latest generation Sony IMX636 and interpret the resulting family of curves to correct the apparent anomalous result of previous reports suggesting that $θ$ changes with illumination. Further, we demonstrate that with correct interpretation, fundamental physical parameters such as dark current and RMS noise can be accurately inferred from a collection of S-curves, leading to more accurate parameterization for high-fidelity EVS simulations. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: Submitted to SPIE Photonics Europe on 22 March 2024

Diamonds: Homology and the Central Series of Groups

Authors: Milana Golich, D. B. McReynolds

Abstract: We establish an analog of a theorem of Stallings which asserts the homomorphisms between the universal nilpotent quotients induced by a homomorphism $G \to H$ of groups are isomorphisms provided a pair of homological conditions are satisfied. Our analogy does not have a homomorphism between $G$ and $H$ but instead we have a diamond of groups containing $G,H$ that satisfies a similar homological co… ▽ More We establish an analog of a theorem of Stallings which asserts the homomorphisms between the universal nilpotent quotients induced by a homomorphism $G \to H$ of groups are isomorphisms provided a pair of homological conditions are satisfied. Our analogy does not have a homomorphism between $G$ and $H$ but instead we have a diamond of groups containing $G,H$ that satisfies a similar homological condition. We derive a few applications of this result. First, we show that there exist non-isomorphic number fields whose absolute Galois groups have isomorphic universal nilpotent quotients. We show that there exists pairs of non-isometric hyperbolic $n$-manifolds whose fundamental groups are residually nilpotent and have isomorphic universal nilpotent quotients. These are the first examples of residually nilpotent Kleinian groups with arbitrarily large nilpotent genus. Complex hyperbolic 2-manifold examples are given which also supply examples of surfaces whose geometric fundamental groups have the isomorphic universal nilpotent quotients and the isomorphisms are compatible with the outer Galois actions. The case of Riemann surfaces provides examples of curves where the same implication holds. In fact, for every $g \geq 2$, we show all but finitely many curves in $\mathcal{M}_g$ have finite covers where this happens. △ Less

Submitted 12 October, 2023; originally announced October 2023.

Comments: v1. 18 pages

Shining light on the DVS pixel: A tutorial and discussion about biasing and optimization

Authors: Rui Graça, Brian McReynolds, Tobi Delbruck

Abstract: The operation of the DVS event camera is controlled by the user through adjusting different bias parameters. These biases affect the response of the camera by controlling - among other parameters - the bandwidth, sensitivity, and maximum firing rate of the pixels. Besides determining the response of the camera to input signals, biases significantly impact its noise performance. Bias optimization i… ▽ More The operation of the DVS event camera is controlled by the user through adjusting different bias parameters. These biases affect the response of the camera by controlling - among other parameters - the bandwidth, sensitivity, and maximum firing rate of the pixels. Besides determining the response of the camera to input signals, biases significantly impact its noise performance. Bias optimization is a multivariate process depending on the task and the scene, to which the user's knowledge about pixel design and non-idealities can be of great importance. In this paper, we go step-by-step along the signal pathway of the DVS pixel, shining light on its low-level operation and non-idealities, comparing pixel level measurements with array level measurements, and discussing and how biasing and illumination affect the pixel's behavior. With the results and discussion presented, we aim to help DVS users achieve more hardware-aware camera utilization and modelling. △ Less

Submitted 11 April, 2023; v1 submitted 10 April, 2023; originally announced April 2023.

Comments: Accepted at 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW); 4th International Workshop on Event-Based Vision

Optimal biasing and physical limits of DVS event noise

Authors: Rui Graca, Brian McReynolds, Tobi Delbruck

Abstract: Under dim lighting conditions, the output of Dynamic Vision Sensor (DVS) event cameras is strongly affected by noise. Photon and electron shot-noise cause a high rate of non-informative events that reduce Signal to Noise ratio. DVS noise performance depends not only on the scene illumination, but also on the user-controllable biasing of the camera. In this paper, we explore the physical limits of… ▽ More Under dim lighting conditions, the output of Dynamic Vision Sensor (DVS) event cameras is strongly affected by noise. Photon and electron shot-noise cause a high rate of non-informative events that reduce Signal to Noise ratio. DVS noise performance depends not only on the scene illumination, but also on the user-controllable biasing of the camera. In this paper, we explore the physical limits of DVS noise, showing that the DVS photoreceptor is limited to a theoretical minimum of 2x photon shot noise, and we discuss how biasing the DVS with high photoreceptor bias and adequate source-follower bias approaches optimal noise performance. We support our conclusions with pixel-level measurements of a DAVIS346 and analysis of a theoretical pixel model. △ Less

Submitted 12 April, 2023; v1 submitted 8 April, 2023; originally announced April 2023.

Comments: Accepted to the 2023 International Image Sensor Workshop (IISW)

Exploiting Alternating DVS Shot Noise Event Pair Statistics to Reduce Background Activity

Authors: Brian McReynolds, Rui Graca, Tobi Delbruck

Abstract: Dynamic Vision Sensors (DVS) record "events" corresponding to pixel-level brightness changes, resulting in data-efficient representation of a dynamic visual scene. As DVS expand into increasingly diverse applications, non-ideal behaviors in their output under extreme sensing conditions are important to consider. Under low illumination (below ~10 lux) their output begins to be dominated by shot noi… ▽ More Dynamic Vision Sensors (DVS) record "events" corresponding to pixel-level brightness changes, resulting in data-efficient representation of a dynamic visual scene. As DVS expand into increasingly diverse applications, non-ideal behaviors in their output under extreme sensing conditions are important to consider. Under low illumination (below ~10 lux) their output begins to be dominated by shot noise events (SNEs) which increase the data output and obscure true signal. SNE rates can be controlled to some degree by tuning circuit parameters to reduce sensitivity or temporal response bandwidth at the cost of signal loss. Alternatively, an improved understanding of SNE statistics can be leveraged to develop novel techniques for minimizing uninformative sensor output. We first explain a fundamental observation about sequential pairing of opposite polarity SNEs based on pixel circuit logic and validate our theory using DVS recordings and simulations. Finally, we derive a practical result from this new understanding and demonstrate two novel biasing techniques to reduce SNEs by 50% and 80% respectively while still retaining sensitivity and/or temporal resolution. △ Less

Submitted 12 April, 2023; v1 submitted 7 April, 2023; originally announced April 2023.

Comments: IISW 2023, paper R5.6

The natural flow and the critical exponent

Authors: Chris Connell, D. B. McReynolds, Shi Wang

Abstract: Inspired by work of Besson-Courtois-Gallot, we construct a flow called the natural flow on a nonpositively curved Riemannian manifold $M$. As with the natural map, the $k$-Jacobian of the natural flow is directly related to the critical exponent $δ$ of the fundamental group. There are several applications of the natural flow that connect dynamical, geometrical, and topological invariants of the ma… ▽ More Inspired by work of Besson-Courtois-Gallot, we construct a flow called the natural flow on a nonpositively curved Riemannian manifold $M$. As with the natural map, the $k$-Jacobian of the natural flow is directly related to the critical exponent $δ$ of the fundamental group. There are several applications of the natural flow that connect dynamical, geometrical, and topological invariants of the manifold. First, we give $k$-dimensional linear isoperimetric inequalities when $k > δ$. This, in turn, produces lower bounds on the Cheeger constant. We resolve a recent conjecture of Dey-Kapovich on the non-existence of $k$-dimensional compact, complex subvarieties of complex hyperbolic manifolds with $2k > δ$. We also provide upper bounds on the homological dimension, generalizing work of Kapovich and work of Farb with the first two authors. Using different methods, we also give upper bounds on the cohomological dimension which partially resolves a conjecture of Kapovich. We also specialize to the setting of locally symmetric manifolds where we further refine our work. Finally, we introduce a new growth condition on the Bowen-Margulis measure that we call uniformly exponentially bounded that we connect to the cohomological dimension and which could be of independent interest. △ Less

Submitted 24 February, 2023; originally announced February 2023.

Comments: v1. 38 pages

Utility and Feasibility of a Center Surround Event Camera

Authors: Tobi Delbruck, Chenghan Li, Rui Graca, Brian Mcreynolds

Abstract: Standard dynamic vision sensor (DVS) event cameras output a stream of spatially-independent log-intensity brightness change events so they cannot suppress spatial redundancy. Nearly all biological retinas use an antagonistic center-surround organization. This paper proposes a practical method of implementing a compact, energy-efficient Center Surround DVS (CSDVS) with a surround smoothing network… ▽ More Standard dynamic vision sensor (DVS) event cameras output a stream of spatially-independent log-intensity brightness change events so they cannot suppress spatial redundancy. Nearly all biological retinas use an antagonistic center-surround organization. This paper proposes a practical method of implementing a compact, energy-efficient Center Surround DVS (CSDVS) with a surround smoothing network that uses compact polysilicon resistors for lateral resistance. The paper includes behavioral simulation results for the CSDVS (see sites.google.com/view/csdvs/home). The CSDVS would significantly reduce events caused by low spatial frequencies, but amplify the informative high frequency spatiotemporal events. △ Less

Submitted 26 February, 2022; originally announced February 2022.

Comments: 5 pages, submitted to 29th IEEE International Conference on Image Processing (IEEE ICIP 2022)

ACM Class: B.7.1; I.4.1

On the profinite rigidity of triangle groups

Authors: M. R. Bridson, D. B. McReynolds, A. W. Reid, R. Spitler

Abstract: We prove that certain Fuchsian triangle groups are profinitely rigid in the absolute sense, i.e. each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. We also develop a method based on character varieties that can be used to distinguish between the profinite completions of certain groups. We prove that certain Fuchsian triangle groups are profinitely rigid in the absolute sense, i.e. each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. We also develop a method based on character varieties that can be used to distinguish between the profinite completions of certain groups. △ Less

Submitted 15 April, 2020; originally announced April 2020.

Comments: v1, 11 pages

Coarse models of homogeneous spaces and translations-like actions

Authors: D. B. McReynolds, Mark Pengitore

Abstract: For finitely generated groups $G$ and $H$ equipped with word metrics, a translation-like action of $H$ on $G$ is a free action where each element of $H$ moves elements of $G$ a bounded distance. Translation-like actions provide a geometric generalization of subgroup containment. Extending work of Cohen, we show that cocompact lattices in a general semisimple Lie group $\mathbf{G}$ that is not isog… ▽ More For finitely generated groups $G$ and $H$ equipped with word metrics, a translation-like action of $H$ on $G$ is a free action where each element of $H$ moves elements of $G$ a bounded distance. Translation-like actions provide a geometric generalization of subgroup containment. Extending work of Cohen, we show that cocompact lattices in a general semisimple Lie group $\mathbf{G}$ that is not isogenous to $\mathrm{SL}(2,\mathbb{R})$ admit translation-like actions by $\mathbb{Z}^2$. This result follows from a more general result. Namely, we prove that any cocompact lattice in the unipotent radical $\mathbf{N}$ of the Borel subgroup $\mathbf{AN}$ of $\mathbf{G}$ acts translation-like on any cocompact lattice in $\mathbf{G}$. We also prove that for noncompact simple Lie groups $G,H$ with $H<G$ and lattices $Γ< G$ and $Δ< H$, that $Γ/Δ$ is quasi-isometric to $G/H$ where $Γ/Δ$ is the quotient via a translation-like action of $Δ$ on $Γ$. △ Less

Submitted 27 November, 2019; originally announced November 2019.

Absolute profinite rigidity and hyperbolic geometry

Authors: M. R. Bridson, D. B. McReynolds, A. W. Reid, R. Spitler

Abstract: 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 $\mathrm{PSL}(2,\mathbb{Z}[ω])$ with $ω^2+ω+1=0$ is rigid in this sense. Other examples include the non-uniform lattice of minimal co-volume in $\mathrm{PSL}(2,\mathbb{C})$ and t… ▽ More 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 $\mathrm{PSL}(2,\mathbb{Z}[ω])$ with $ω^2+ω+1=0$ is rigid in this sense. Other examples include the non-uniform lattice of minimal co-volume in $\mathrm{PSL}(2,\mathbb{C})$ and the fundamental group of the Weeks manifold (the closed hyperbolic $3$-manifold of minimal volume). △ Less

Submitted 11 August, 2020; v1 submitted 11 November, 2018; originally announced November 2018.

Comments: v2: 35 pages. Final version. To appear in the Annals of Mathematics, Vol. 192, no. 3, November 2020

Areas of totally geodesic surfaces of hyperbolic 3-orbifolds

Authors: Benjamin Linowitz, D. B. McReynolds, Nicholas Miller

Abstract: The geodesic length spectrum of a complete, finite volume, hyperbolic 3-orbifold M is a fundamental invariant of the topology of M via Mostow-Prasad Rigidity. Motivated by this, the second author and Reid defined a two-dimensional analogue of the geodesic length spectrum given by the multiset of isometry types of totally geodesic, immersed, finite-area surfaces of M called the geometric genus spec… ▽ More The geodesic length spectrum of a complete, finite volume, hyperbolic 3-orbifold M is a fundamental invariant of the topology of M via Mostow-Prasad Rigidity. Motivated by this, the second author and Reid defined a two-dimensional analogue of the geodesic length spectrum given by the multiset of isometry types of totally geodesic, immersed, finite-area surfaces of M called the geometric genus spectrum. They showed that if $M$ is arithmetic and contains a totally geodesic surface, then the geometric genus spectrum of M determines its commensurability class. In this paper we define a coarser invariant called the totally geodesic area set given by the set of areas of surfaces in the geometric genus spectrum. We prove a number of results quantifying the extent to which non-commensurable arithmetic hyperbolic 3-orbifolds can have arbitrarily large overlaps in their totally geodesic area sets. △ Less

Submitted 10 July, 2017; originally announced July 2017.

Bounded gaps between primes and the length spectra of arithmetic hyperbolic 3-orbifolds

Authors: Benjamin Linowitz, D. B. McReynolds, Paul Pollack, Lola Thompson

Abstract: In 1992, Reid asked whether hyperbolic 3-manifolds with the same geodesic length spectra are necessarily commensurable. While this is known to be true for arithmetic hyperbolic 3-manifolds, the non-arithmetic case is still open. Building towards a negative answer to this question, Futer and Millichap recently constructed infinitely many pairs of non-commensurable, non-arithmetic hyperbolic 3-manif… ▽ More In 1992, Reid asked whether hyperbolic 3-manifolds with the same geodesic length spectra are necessarily commensurable. While this is known to be true for arithmetic hyperbolic 3-manifolds, the non-arithmetic case is still open. Building towards a negative answer to this question, Futer and Millichap recently constructed infinitely many pairs of non-commensurable, non-arithmetic hyperbolic 3-manifolds which have the same volume and whose length spectra begin with the same first $m$ geodesic lengths. In the present paper, we show that this phenomenon is surprisingly common in the arithmetic setting. In particular, given any arithmetic hyperbolic 3-orbifold derived from a quaternion algebra, any finite subset $S$ of its geodesic length spectrum, and any $k \geq 2$, we produce infinitely many $k$-tuples of arithmetic hyperbolic 3-orbifolds which are pairwise non-commensurable, have geodesic length spectra containing $S$, and have volumes lying in an interval of (universally) bounded length. The main technical ingredient in our proof is a bounded gaps result for prime ideals in number fields lying in Chebotarev sets which extends recent work of Thorner. △ Less

Submitted 22 May, 2017; originally announced May 2017.

Comments: V1: 6 pages

Journal ref: C. R. Math. Acad. Sci. Paris 355 (2017), 1121-1126

Integral Gassman equivalence of algebraic and hyperbolic manifolds

Authors: D. Arapura, J. Katz, D. B. McReynolds, P. Solapurkar

Abstract: In this paper we construct arbitrarily large families of smooth projective varieties and closed Riemannian manifolds that share many algebraic and analytic invariants. For instance, every non-arithmetic, closed hyperbolic $3$--manifold admits arbitrarily large collections of non-isometric finite covers which are strongly isospectral, length isospectral, and have isomorphic integral cohomology wher… ▽ More In this paper we construct arbitrarily large families of smooth projective varieties and closed Riemannian manifolds that share many algebraic and analytic invariants. For instance, every non-arithmetic, closed hyperbolic $3$--manifold admits arbitrarily large collections of non-isometric finite covers which are strongly isospectral, length isospectral, and have isomorphic integral cohomology where the isomorphisms commute with restriction and co-restriction. We can also construct arbitrarily large collections of pairwise non-isomorphic smooth projective surfaces where these isomorphisms in cohomology are natural with respect to Hodge structure or as Galois modules. In particular, the projective varieties have isomorphic Picard and Albanese varieties, and they also have isomorphic effective Chow motives. Our construction employs an integral refinement of the Gassman--Sunada construction that has recently been utilized by D. Prasad. One application of our work shows the non-injectivity of the map from the Grothendieck group of varieties over $\overline{\mathbf{Q}}$ to the Grothendieck group of the category of effective Chow motives. We also answer a question of D. Prasad. △ Less

Submitted 30 March, 2018; v1 submitted 3 May, 2017; originally announced May 2017.

Comments: V2: 14 pages. Corrected minor typos. To appear in Math. Z

Fat flats in rank one manifolds

Authors: D. Constantine, J. -F. Lafont, D. B. McReynolds, D. J. Thompson

Abstract: We study closed non-positively curved Riemannian manifolds $M$ which admit `fat $k$-flats': that is, the universal cover $\tilde M$ contains a positive radius neighborhood of a $k$-flat on which the sectional curvatures are identically zero. We investigate how the fat $k$-flats affect the cardinality of the collection of closed geodesics. Our first main result is to construct rank $1$ non-positive… ▽ More We study closed non-positively curved Riemannian manifolds $M$ which admit `fat $k$-flats': that is, the universal cover $\tilde M$ contains a positive radius neighborhood of a $k$-flat on which the sectional curvatures are identically zero. We investigate how the fat $k$-flats affect the cardinality of the collection of closed geodesics. Our first main result is to construct rank $1$ non-positively curved manifolds with a fat $1$-flat which corresponds to a twisted cylindrical neighborhood of a geodesic on $M$. As a result, $M$ contains an embedded closed geodesic with a flat neighborhood, but $M$ nevertheless has only countably many closed geodesics. Such metrics can be constructed on finite covers of arbitrary odd-dimensional finite volume hyperbolic manifolds. Our second main result is to prove a closing theorem for fat flats, which implies that a manifold $M$ with a fat $k$-flat contains an immersed, totally geodesic $k$-dimensional flat closed submanifold. This guarantees the existence of uncountably many closed geodesics when $k \geq 2$. Finally, we collect results on thermodynamic formalism for the class of manifolds considered in this paper. △ Less

Submitted 7 February, 2019; v1 submitted 3 April, 2017; originally announced April 2017.

Comments: v3: 22 pages, 1 figure. Fixed some typos. To appear in the Michigan Mathematical Journal

Journal ref: Michigan Math. J. 68 (2019), pgs. 251--275

Determining hyperbolic 3-manifolds by their surfaces

Authors: D. B. McReynolds, A. W. Reid

Abstract: In this article, we prove that the commensurability class of a closed, orientable, hyperbolic 3-manifold is determined by the surface subgroups of its fundamental group. Moreover, we prove that there can be only finitely many closed, orientable, hyperbolic 3-manifolds that have the same set of surfaces. In this article, we prove that the commensurability class of a closed, orientable, hyperbolic 3-manifold is determined by the surface subgroups of its fundamental group. Moreover, we prove that there can be only finitely many closed, orientable, hyperbolic 3-manifolds that have the same set of surfaces. △ Less

Submitted 15 May, 2018; v1 submitted 1 November, 2015; originally announced November 2015.

Comments: v2. 9 pages. To appear in Proc. Amer. Math. Soc

Zariski Closures and Subgroup Separability

Authors: Larsen Louder, D. B. McReynolds, Priyam Patel

Abstract: The main result of this article is a refinement of the well-known subgroup separability results of Hall and Scott for free and surface groups. We show that for any finitely generated subgroup, there is a finite dimensional representation of the free or surface group that separates the subgroup in the induced Zariski topology. As a corollary, we establish a polynomial upper bound on the size of the… ▽ More The main result of this article is a refinement of the well-known subgroup separability results of Hall and Scott for free and surface groups. We show that for any finitely generated subgroup, there is a finite dimensional representation of the free or surface group that separates the subgroup in the induced Zariski topology. As a corollary, we establish a polynomial upper bound on the size of the quotients used to separate a finitely generated subgroup in a free or surface group. △ Less

Submitted 12 November, 2016; v1 submitted 14 October, 2015; originally announced October 2015.

Comments: Final version. To appear in Selecta Math

Journal ref: Selecta Math 23 (2017), 2019-2027

Constructing Geometrically Equivalent Hyperbolic Orbifolds

Authors: D. B. McReynolds, Jeffrey S. Meyer, Matthew Stover

Abstract: In this paper, we construct families of nonisometric hyperbolic orbifolds that contain the same isometry classes of nonflat totally geodesic subspaces. The main tool is a variant of the well-known Sunada method for constructing length-isospectral Riemannian manifolds that handles totally geodesic submanifolds of multiple codimensions simultaneously. In this paper, we construct families of nonisometric hyperbolic orbifolds that contain the same isometry classes of nonflat totally geodesic subspaces. The main tool is a variant of the well-known Sunada method for constructing length-isospectral Riemannian manifolds that handles totally geodesic submanifolds of multiple codimensions simultaneously. △ Less

Submitted 15 November, 2016; v1 submitted 23 July, 2015; originally announced July 2015.

Comments: Final version. To appear in Algebr. Geom. Topol

Journal ref: Algebr. Geom. Topol. 17 (2017) 831-846

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

Authors: Chris Connell, Benson Farb, D. B. McReynolds

Abstract: For any discrete, torsion-free subgroup $Γ$ of $\mathrm{Sp}(n,1)$ (resp.\ $\mathrm{F}_4^{-20}$) with no parabolic elements, we prove that $H_{4n-1}(Γ;V)=0$ (resp.\ $H_i(Γ;V)=0$ for $i=13,14,15$) for any $Γ$--module $V$. The main technical advance is a new bound on the $p$--Jacobian of the barycenter map of Besson--Courtois--Gallot. We also apply this estimate to obtain an inequality between the cr… ▽ More For any discrete, torsion-free subgroup $Γ$ of $\mathrm{Sp}(n,1)$ (resp.\ $\mathrm{F}_4^{-20}$) with no parabolic elements, we prove that $H_{4n-1}(Γ;V)=0$ (resp.\ $H_i(Γ;V)=0$ for $i=13,14,15$) for any $Γ$--module $V$. The main technical advance is a new bound on the $p$--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. △ Less

Submitted 6 May, 2016; v1 submitted 10 June, 2015; originally announced June 2015.

Comments: v2. 24 pages. To appear in J. Lond. Math. Soc

Journal ref: J. Lond. Math. Soc. (2) 94 (2016), 357-376

Locally Equivalent Correspondences

Authors: Benjamin Linowitz, D. B. McReynolds, Nicholas Miller

Abstract: Given a pair of number fields with isomorphic rings of adeles, we construct bijections between objects associated to the pair. For instance we construct an isomorphism of Brauer groups that commutes with restriction. We additionally construct bijections between central simple algebras, maximal orders, various Galois cohomology sets, and commensurability classes of arithmetic lattices in simple, in… ▽ More Given a pair of number fields with isomorphic rings of adeles, we construct bijections between objects associated to the pair. For instance we construct an isomorphism of Brauer groups that commutes with restriction. We additionally construct bijections between central simple algebras, maximal orders, various Galois cohomology sets, and commensurability classes of arithmetic lattices in simple, inner algebraic groups. We show that under certain conditions, lattices corresponding to one another under our bijections have the same covolume and pro-congruence completion. We also make effective a finiteness result of Prasad and Rapinchuk. △ Less

Submitted 12 November, 2016; v1 submitted 18 May, 2015; originally announced May 2015.

Comments: Final Version. To appear in Ann. Inst. Fourier

Journal ref: Ann. Inst. Fourier 67 (2017), 451-482

Systoles of Arithmetic Hyperbolic Surfaces and 3-manifolds

Authors: Benjamin Linowitz, D. B. McReynolds, Paul Pollack, Lola Thompson

Abstract: Our main result is that for all sufficiently large $x_0>0$, the set of commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed invariant trace field $k$ and systole bounded below by $x_0$ has density one within the set of all commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with invariant trace field $k$. The proof relies upon bounds for the absolute logar… ▽ More Our main result is that for all sufficiently large $x_0>0$, the set of commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed invariant trace field $k$ and systole bounded below by $x_0$ has density one within the set of all commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with invariant trace field $k$. The proof relies upon bounds for the absolute logarithmic Weil height of algebraic integers due to Silverman, Brindza and Hajdu, as well as precise estimates for the number of rational quaternion algebras not admitting embeddings of any quadratic field having small discriminant. When the trace field is $\mathbf{Q}$, using work of Granville and Soundararajan, we establish a stronger result that allows our constant lower bound $x_0$ to grow with the area. As an application, we establish a systolic bound for arithmetic hyperbolic surfaces that is related to prior work of Buser-Sarnak and Katz-Schaps-Vishne. Finally, we establish an analogous density result for commensurability classes of arithmetic hyperbolic 3-orbifolds with small area totally geodesic $2$-orbifolds. △ Less

Submitted 4 March, 2017; v1 submitted 20 April, 2015; originally announced April 2015.

Comments: v4: 17 pages. Revised according to referee report. Final version. To appear in Math. Res. Lett

Journal ref: Math. Res. Lett. 24 (2017), 1497-1522

Counting and effective rigidity in algebra and geometry

Authors: Benjamin Linowitz, D. B. McReynolds, Paul Pollack, Lola Thompson

Abstract: The purpose of this article is to produce effective versions of some rigidity results in algebra and geometry. On the geometric side, we focus on the spectrum of primitive geodesic lengths (resp., complex lengths) for arithmetic hyperbolic 2-manifolds (resp., 3-manifolds). By work of Reid, this spectrum determines the commensurability class of the 2-manifold (resp., 3-manifold). We establish effec… ▽ More The purpose of this article is to produce effective versions of some rigidity results in algebra and geometry. On the geometric side, we focus on the spectrum of primitive geodesic lengths (resp., complex lengths) for arithmetic hyperbolic 2-manifolds (resp., 3-manifolds). By work of Reid, this spectrum determines the commensurability class of the 2-manifold (resp., 3-manifold). We establish effective versions of these rigidity results by ensuring that, for two incommensurable arithmetic manifolds of bounded volume, the length sets (resp., the complex length sets) must disagree for a length that can be explicitly bounded as a function of volume. We also prove an effective version of a similar rigidity result established by the second author with Reid on a surface analog of the length spectrum for hyperbolic 3-manifolds. These effective results have corresponding algebraic analogs involving maximal subfields and quaternion subalgebras of quaternion algebras. To prove these effective rigidity results, we establish results on the asymptotic behavior of certain algebraic and geometric counting functions which are of independent interest. △ Less

Submitted 19 March, 2018; v1 submitted 8 July, 2014; originally announced July 2014.

Comments: v.2, 39 pages. To appear in Invent. Math

Journal ref: Invent. Math. 213 (2018), 697-758

Characterizing linear groups in terms of growth properties

Authors: Khalid Bou-Rabee, D. B. McReynolds

Abstract: Residual finiteness growth measures how well-approximated a group is by its finite quotients. We prove that some related growth functions characterize linearity for a class of groups including all hyperbolic groups. Residual finiteness growth measures how well-approximated a group is by its finite quotients. We prove that some related growth functions characterize linearity for a class of groups including all hyperbolic groups. △ Less

Submitted 19 November, 2015; v1 submitted 4 March, 2014; originally announced March 2014.

Comments: v2. 10 pages. Substantially revised. Numerous changes and corrections. Final version. To appear in Michigan Math. J

Journal ref: Michigan Math. J. 65 (2016), 599-611

Primitive geodesic lengths and (almost) arithmetic progressions

Authors: Jean-François Lafont, D. B. McReynolds

Abstract: In this article, we investigate when the set of primitive geodesic lengths on a Riemannian manifold have arbitrarily long arithmetic progressions. We prove that in the space of negatively curved metrics, a metric having such arithmetic progressions is quite rare. We introduce almost arithmetic progressions, a coarsification of arithmetic progressions, and prove that every negatively curved, closed… ▽ More In this article, we investigate when the set of primitive geodesic lengths on a Riemannian manifold have arbitrarily long arithmetic progressions. We prove that in the space of negatively curved metrics, a metric having such arithmetic progressions is quite rare. We introduce almost arithmetic progressions, a coarsification of arithmetic progressions, and prove that every negatively curved, closed Riemannian manifold has arbitrarily long almost arithmetic progressions in its primitive length spectrum. Concerning genuine arithmetic progressions, we prove that every non-compact, locally symmetric, arithmetic manifold has arbitrarily long arithmetic progressions in its primitive length spectrum. We end with a conjectural characterization of arithmeticity in terms of arithmetic progressions in the primitive length spectrum. We also suggest an approach to a well known spectral rigidity problem based on the scarcity of manifolds with arithmetic progressions. △ Less

Submitted 15 November, 2018; v1 submitted 29 January, 2014; originally announced January 2014.

Comments: v3: 23 pages. To appear in Publ. Mat

Journal ref: Publ. Mat. 63 (2019), 183--218

Geometric spectra and commensurability

Authors: D. B. McReynolds

Abstract: The work of Reid, Chinburg--Hamilton--Long--Reid, Prasad--Rapinchuk, and the author with Reid have demonstrated that geodesics or totally geodesic submanifolds can sometimes be used to determine the commensurability class of an arithmetic manifold. The main results of this article show that generalizations of these results to other arithmetic manifolds will require a wide range of data. Specifical… ▽ More The work of Reid, Chinburg--Hamilton--Long--Reid, Prasad--Rapinchuk, and the author with Reid have demonstrated that geodesics or totally geodesic submanifolds can sometimes be used to determine the commensurability class of an arithmetic manifold. The main results of this article show that generalizations of these results to other arithmetic manifolds will require a wide range of data. Specifically, we prove that certain incommensurable arithmetic manifolds arising from the semisimple Lie groups of the form $(\SL(d,\R))^r \times (\SL(d,\C))^s$ have the same commensurability classes of totally geodesic submanifolds coming from a fixed field. This construction is algebraic and shows the failure of determining, in general, a central simple algebra from subalgebras over a fixed field. This, in turn, can be viewed in terms of forms of $\SL_d$ and the failure of determining the form via certain classes of algebraic subgroups. △ Less

Submitted 7 January, 2014; originally announced January 2014.

Comments: to appear in Cand. Jour. Math

Journal ref: Can. J. Math.-J. Can. Math. 67 (2013) 184-197

Decision problems, complexity, traces, and representations

Authors: Sean Lawton, Larsen Louder, D. B. McReynolds

Abstract: In this article, we study connections between representation theory and efficient solutions to the conjugacy problem on finitely generated groups. The main focus is on the conjugacy problem in conjugacy separable groups, where we measure efficiency in terms of the size of the quotients required to distinguish a distinct pair of conjugacy classes. In this article, we study connections between representation theory and efficient solutions to the conjugacy problem on finitely generated groups. The main focus is on the conjugacy problem in conjugacy separable groups, where we measure efficiency in terms of the size of the quotients required to distinguish a distinct pair of conjugacy classes. △ Less

Submitted 12 November, 2016; v1 submitted 4 December, 2013; originally announced December 2013.

Comments: v3: Final version. Shorter with mild improvements of results. To appear in Groups Geom. Dyn

Journal ref: Groups Geom. Dyn. 11 (2017), no. 1, 165-188

Extremal behavior of divisibility functions

Authors: Khalid Bou-Rabee, D. B. McReynolds

Abstract: In this short article, we study the extremal behavior $F_Γ(n)$ of divisibility functions $D_Γ$ introduced by the first author for finitely generated groups $Γ$. We show finitely generated subgroups of $\GL(m,K)$ for an infinite field $K$ have at most polynomial growth for the function $F_Γ(n)$. Consequently, we obtain a dichotomy for the growth rate of $\log F_Γ(n)$ for finitely generated subgroup… ▽ More In this short article, we study the extremal behavior $F_Γ(n)$ of divisibility functions $D_Γ$ introduced by the first author for finitely generated groups $Γ$. We show finitely generated subgroups of $\GL(m,K)$ for an infinite field $K$ have at most polynomial growth for the function $F_Γ(n)$. Consequently, we obtain a dichotomy for the growth rate of $\log F_Γ(n)$ for finitely generated subgroups of $\GL(n,\C)$. We also show that if $F_Γ(n) \preceq \log \log n$, then $Γ$ is finite. In contrast, when $Γ$ contains an element of infinite order, $\log n \preceq F_Γ(n)$. We end with a brief discussion of some geometric motivation for this work. △ Less

Submitted 4 December, 2013; v1 submitted 20 November, 2012; originally announced November 2012.

Comments: 10 pages (added Lemma 2.1 and some details to the main proof of Theorem 1.1 to address a gap pointed out by a referee)

MSC Class: 20E26

Journal ref: Geom. Dedicata. 175 (2015), 407-415

Collisions at infinity in hyperbolic manifolds

Authors: D. B. McReynolds, Alan W. Reid, Matthew Stover

Abstract: 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. 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. △ Less

Submitted 27 February, 2012; originally announced February 2012.

Journal ref: Math. Proc. Cambridge Philos. Soc. 155 (2013), 459-463

Arithmetic Veech sublattices of $\SL(2,\Z)$

Authors: Jordan S. Ellenberg, D. B. McReynolds

Abstract: We prove that every algebraic curve X defined over the algebraic closure of the rationals is birational over the complex numbers to a Teichmuller curve. We prove that every algebraic curve X defined over the algebraic closure of the rationals is birational over the complex numbers to a Teichmuller curve. △ Less

Submitted 12 August, 2011; v1 submitted 9 September, 2009; originally announced September 2009.

Comments: version 2. Substantial changes including the title. To appear in Duke J. of Math. 12 pages

MSC Class: 32G15; 37D40; 20F34

Journal ref: Duke Math. J. 161, no. 3 (2012), 415-429

Bertrand's postulate and subgroup growth

Authors: K. Bou-Rabee, D. B. McReynolds

Abstract: 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. Whethe… ▽ More 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. △ Less

Submitted 7 September, 2009; originally announced September 2009.

Comments: 33 pages

MSC Class: 20E07; 20E18

Journal ref: J. Algebra 324 (2010) 793-819

Asymptotic growth and least common multiples in groups

Authors: K. Bou-Rabee, D. B. McReynolds

Abstract: In this article we relate word and subgroup growth to certain functions that arise in the quantification of residual finiteness. One consequence of this endeavor is a pair of results that equate the nilpotency of a finitely generated group with the asymptotic behavior of these functions. The second half of this article investigates the asymptotic behavior of two of these functions. Our main resu… ▽ More In this article we relate word and subgroup growth to certain functions that arise in the quantification of residual finiteness. One consequence of this endeavor is a pair of results that equate the nilpotency of a finitely generated group with the asymptotic behavior of these functions. The second half of this article investigates the asymptotic behavior of two of these functions. Our main result in this arena resolves a question of Bogopolski from the Kourovka notebook concerning lower bounds of one of these functions for nonabelian free groups. △ Less

Submitted 27 January, 2010; v1 submitted 21 July, 2009; originally announced July 2009.

Comments: 13 pages

MSC Class: 20F65

Journal ref: Bull. Lond. Math. Soc. 43 (2011), 1059-1068

The congruence subgroup problem for braid groups: Thurston's proof

Authors: D. B. McReynolds

Abstract: In this article we present an unpublished proof of W. Thurston that pure braid groups have the congruence subgroup property. In this article we present an unpublished proof of W. Thurston that pure braid groups have the congruence subgroup property. △ Less

Submitted 11 March, 2010; v1 submitted 29 January, 2009; originally announced January 2009.

Comments: Version 2. Expanded with numerous mistakes from the Version 1 fixed.

Journal ref: New York Jour. Math. 18 (2012), 925-942

Controlling manifold covers of orbifolds

Authors: D. B. McReynolds

Abstract: In this article we prove a generalization of Selberg's lemma on the existence of torsion free, finite index subgroups of arithmetic groups. Some of the geometric applications are the resolution a conjecture of Nimershiem and answers to questions of Long-Reid and the author. In this article we prove a generalization of Selberg's lemma on the existence of torsion free, finite index subgroups of arithmetic groups. Some of the geometric applications are the resolution a conjecture of Nimershiem and answers to questions of Long-Reid and the author. △ Less

Submitted 27 January, 2009; originally announced January 2009.

Journal ref: Math. Res. Lett.16 (2009), 651-662.

The genus spectrum of a hyperbolic 3-manifold

Authors: D. B. McReynolds, Alan W. Reid

Abstract: 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. Forgetti… ▽ More 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. △ Less

Submitted 26 January, 2009; originally announced January 2009.

Journal ref: Math. Res. Lett. 21 (2014), 169-185

Graphs of subgroups of free groups

Authors: Larsen Louder, D. B. McReynolds

Abstract: We construct an efficient model for graphs of finitely generated subgroups of free groups. Using this we give a very short proof of Dicks's reformulation of the strengthened Hanna Neumann Conjecture as the Amalgamated Graph Conjecture. In addition, we answer a question of Culler and Shalen on ranks of intersections in free groups. The latter has also been done independently by R. P. Kent IV. We construct an efficient model for graphs of finitely generated subgroups of free groups. Using this we give a very short proof of Dicks's reformulation of the strengthened Hanna Neumann Conjecture as the Amalgamated Graph Conjecture. In addition, we answer a question of Culler and Shalen on ranks of intersections in free groups. The latter has also been done independently by R. P. Kent IV. △ Less

Submitted 25 January, 2009; originally announced January 2009.

Comments: To appear in Algebr. and Geom. Topol

Journal ref: Algebr. and Geom. Topol. 9 (2009), 327-335.

Arithmetic lattices and weak spectral geometry

Authors: D. B. McReynolds

Abstract: This note is an expansion of three lectures given at the workshop "Topology, Complex Analysis and Arithmetic of Hyperbolic Spaces" held at Kyoto University in December of 2006 and will appear in the proceedings for this workshop. This note is an expansion of three lectures given at the workshop "Topology, Complex Analysis and Arithmetic of Hyperbolic Spaces" held at Kyoto University in December of 2006 and will appear in the proceedings for this workshop. △ Less

Submitted 26 June, 2007; originally announced June 2007.

Comments: To appear in workshop proceedings for "Topology, Complex Analysis and Arithmetic of Hyperbolic Spaces". Comments welcome

Journal ref: Topology, complex analysis, and arithmetic of hyperbolic spaces, RIMS 2007 (1571), 59-81

Cusps of Hilbert modular varieties

Authors: D. B. McReynolds

Abstract: 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… ▽ More 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. △ Less

Submitted 25 June, 2007; originally announced June 2007.

Comments: To appear in Mathematical Proceedings Cambridge Philosophical Society

Journal ref: Math. Proc. Cambridge Philos. Soc. 2008 (144), 749-759

Cusps of arithmetic orbifolds

Authors: D. B. McReynolds

Abstract: This thesis investigates cusp cross-sections of arithmetic real, complex, and quaternionic hyperbolic $n$--orbifolds. We give a smooth classification of these submanifolds and analyze their induced geometry. One of the primary tools is a new subgroup separability result for general arithmetic lattices. This thesis investigates cusp cross-sections of arithmetic real, complex, and quaternionic hyperbolic $n$--orbifolds. We give a smooth classification of these submanifolds and analyze their induced geometry. One of the primary tools is a new subgroup separability result for general arithmetic lattices. △ Less

Submitted 22 June, 2006; originally announced June 2006.

Comments: 76 pages; Ph.D. thesis

Isospectral locally symmetric manifolds

Authors: D. B. McReynolds

Abstract: 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… ▽ More 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. △ Less

Submitted 7 September, 2009; v1 submitted 21 June, 2006; originally announced June 2006.

Comments: Version 2. Substantial revise from the first version including a title change. The previous title was "Constructing isospectral manifolds"

Journal ref: Indiana Univ. Math. J. 63 (2014), 533-549

Arithmetic cusp shapes are dense

Authors: D. B. McReynolds

Abstract: In this article we verify an orbifold version of a conjecture of Nimershiem from 1998. Namely, for every flat $n$-manifold $M$, we show that the set of similarity classes of flat metrics on $M$ which occur as a cusp cross-section of a hyperbolic $(n+1)$-orbifold is dense in the space of similarity classes of flat metrics on $M$. The set used for density is precisely the set of those classes whic… ▽ More In this article we verify an orbifold version of a conjecture of Nimershiem from 1998. Namely, for every flat $n$-manifold $M$, we show that the set of similarity classes of flat metrics on $M$ which occur as a cusp cross-section of a hyperbolic $(n+1)$-orbifold is dense in the space of similarity classes of flat metrics on $M$. The set used for density is precisely the set of those classes which arise in arithmetic orbifolds. △ Less

Submitted 27 June, 2007; v1 submitted 20 June, 2006; originally announced June 2006.

Comments: Revised after referee report. 11 pages. To appear in Geom. Dedicata

Journal ref: Geom. Dedicata 2007 (129), 47-55.

Length and eigenvalue equivalence

Authors: Christopher J. Leininger, D. B. McReynolds, Walter D. Neumann, Alan W. Reid

Abstract: Two Riemannian manifolds are called eigenvalue equivalent when their sets of eigenvalues of the Laplace-Beltrami operator are equal (ignoring multiplicities). They are (primitive) length equivalent when the sets of lengths of their (primitive) closed geodesics are equal. We give a general construction of eigenvalue equivalent and primitive length equivalent Riemannian manifolds. For example we s… ▽ More Two Riemannian manifolds are called eigenvalue equivalent when their sets of eigenvalues of the Laplace-Beltrami operator are equal (ignoring multiplicities). They are (primitive) length equivalent when the sets of lengths of their (primitive) closed geodesics are equal. We give a general construction of eigenvalue equivalent and primitive length equivalent Riemannian manifolds. For example we show that every finite volume hyperbolic $n$--manifold has pairs of eigenvalue equivalent finite covers of arbitrarily large volume ratio. We also show the analogous result for primitive length equivalence. △ Less

Submitted 18 December, 2006; v1 submitted 14 June, 2006; originally announced June 2006.

Journal ref: International Mathematics Research Notices 2007 (2007), rnm135-24

Finite subgroups of arithmetic lattices in U(2,1)

Authors: D. B. McReynolds

Abstract: The principle result of this article is the determination of the possible finite subgroups of arithmetic lattices in U(2,1). The principle result of this article is the determination of the possible finite subgroups of arithmetic lattices in U(2,1). △ Less

Submitted 31 March, 2006; originally announced March 2006.

Comments: To appear in Geom. Dedicata

Journal ref: Geom. Dedicata 2006 (122), 135-144.

Separable subgroups of map** class groups

Authors: Christopher J. Leininger, D. B. McReynolds

Abstract: We investigate the separability of several well known classes of subgroups of the map** class group of a surface. We investigate the separability of several well known classes of subgroups of the map** class group of a surface. △ Less

Submitted 16 May, 2005; v1 submitted 11 May, 2005; originally announced May 2005.

Comments: 11 pages. Minor typos corrected, references added

MSC Class: 20F38 (Primary) 20F28; 20F18 (Secondary)

Journal ref: Topology Appl. 2007 (154), 1-10.

Peripheral separability and cusps of arithmetic hyperbolic orbifolds

Authors: D. B. McReynolds

Abstract: 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 a… ▽ More 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. △ Less

Submitted 16 September, 2004; originally announced September 2004.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol4/agt-4-32.abs.html

MSC Class: 57M50; 20G20

Journal ref: Algebr. Geom. Topol. 4 (2004) 721-755