Showing 1–50 of 54 results for author: Reid, A

Conformal Holonomy of the Bivariate Gaussian Manifold

Authors: James A. Reid

Abstract: Statistical manifolds, the parameter spaces of smooth families of probability density functions, are the central objects of study in information geometry. While the elementary differential geometry of Riemannian statistical manifolds is well-known, their conformal geometry remains entirely unexplored. In this article, we begin this programme of exploration by determining some invariants of the con… ▽ More Statistical manifolds, the parameter spaces of smooth families of probability density functions, are the central objects of study in information geometry. While the elementary differential geometry of Riemannian statistical manifolds is well-known, their conformal geometry remains entirely unexplored. In this article, we begin this programme of exploration by determining some invariants of the conformal structure of the Fisher-Rao metric. Specifically, we study the holonomy of a conformally-invariant connection on the standard tractor bundle of the bivariate Gaussian manifold. It is found that for a generic pair of random variables, the conformal holonomy group is the identity-connected component of the indefinite special orthogonal group, $SO^{0}(1,6)$. Remarkably, however, when the random variables are statistically independent, the conformal holonomy representation is reducible and the conformal holonomy group is $SO^{0}(1,4)$. △ Less

Submitted 7 May, 2025; originally announced May 2025.

MSC Class: 53B12; 53C18; 53C25; 53C29; 62H10

Complex hyperbolic 2-orbifolds with isolated singularities

Authors: Alan W. Reid, Matthew Stover

Abstract: For each prime $p$, this paper constructs compact complex hyperbolic $2$-manifolds with an isometric action of $\mathbb{Z} / p \mathbb{Z}$ that is not free and has only isolated fixed points. The case $p = 2$ is special, and finding general examples for $p=2$ is related to whether or not complex hyperbolic lattices are conjugacy separable on torsion. For each prime $p$, this paper constructs compact complex hyperbolic $2$-manifolds with an isometric action of $\mathbb{Z} / p \mathbb{Z}$ that is not free and has only isolated fixed points. The case $p = 2$ is special, and finding general examples for $p=2$ is related to whether or not complex hyperbolic lattices are conjugacy separable on torsion. △ Less

Submitted 28 April, 2025; originally announced April 2025.

Absolute profinite rigidity, direct products, and finite presentability

Authors: M. R. Bridson, A. W. Reid, R. Spitler

Abstract: We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $Γ\times Γ$ where $Γ$ is a profinitely rigid 3-manifold group; we describe a family of such groups with the property that if $P$ is a finitely generated, residually finite… ▽ More We prove that there exist finitely presented, residually finite groups that are profinitely rigid in the class of all finitely presented groups but not in the class of all finitely generated groups. These groups are of the form $Γ\times Γ$ where $Γ$ is a profinitely rigid 3-manifold group; we describe a family of such groups with the property that if $P$ is a finitely generated, residually finite group with $\widehat{P}\cong\widehat{Γ\timesΓ}$ then there is an embedding $P\hookrightarrowΓ\timesΓ$ that induces the profinite isomorphism; in each case there are infinitely many non-isomorphic possibilities for $P$. △ Less

Submitted 12 April, 2025; v1 submitted 10 December, 2023; originally announced December 2023.

Comments: 27 pages. Final version. To appear in Duke Math Journal

MSC Class: 20E26; 20E18 (Primary) 20F65; 20F10; 57M25 (Secondary)

Determining knot groups by finite quotients

Authors: Tamunonye Cheetham-West, Alan W. Reid

Abstract: We prove that hyperbolic 2-bridge knots are determined amongst all compact 3-manifolds by the profinite completions of their knot groups. We prove that hyperbolic 2-bridge knots are determined amongst all compact 3-manifolds by the profinite completions of their knot groups. △ Less

Submitted 23 September, 2024; v1 submitted 12 November, 2023; originally announced November 2023.

Comments: The authors wish to withdraw this article. The attempted proof of Theorem 1.1 is incorrect because of its dependence on the statement of Theorem 2.2 in this article. The first author's attempted proof of Theorem 2.2 (arXiv:2308.00266v2) is incorrect

Hyperbolic manifolds without $\text{spin}^\mathbb{C}$ structures and non-vanishing higher order Stiefel-Whitney classes

Authors: Alan W. Reid, Connor Sell

Abstract: We show that in every commensurability class of cusped arithmetic hyperbolic manifolds of simplest type of dimension $2n+2\geq 6$ there are manifolds $M$ such that the Stiefel-Whitney classes $w_{2j}(M)$ are non-vanishing for all $0 \leq 2j \leq n$. We also show that for the same commensurability classes there are manifolds (different from the previous ones) that do not admit a… ▽ More We show that in every commensurability class of cusped arithmetic hyperbolic manifolds of simplest type of dimension $2n+2\geq 6$ there are manifolds $M$ such that the Stiefel-Whitney classes $w_{2j}(M)$ are non-vanishing for all $0 \leq 2j \leq n$. We also show that for the same commensurability classes there are manifolds (different from the previous ones) that do not admit a $\text{spin}^\mathbb{C}$ structure. △ Less

Submitted 5 May, 2023; v1 submitted 15 February, 2023; originally announced February 2023.

Comments: 13 pages. Added a new main result regarding manifolds without spin-c structures, and the corresponding secondary results. The authors thank Bruno Martelli for pointing out this application

MSC Class: 57N16

Property FA is not a profinite property

Authors: Tamunonye Cheetham-West, Alexander Lubotzky, Alan W. Reid, Ryan Spitler

Abstract: We exhibit infinitely many pairs of non-isomorphic finitely presented, residually finite groups $Δ$ and $Γ$ with $Δ$ having Property FA, $Γ$ having a non-trivial action on a tree and $Δ$ and $Γ$ having isomorphic profinite completions. We exhibit infinitely many pairs of non-isomorphic finitely presented, residually finite groups $Δ$ and $Γ$ with $Δ$ having Property FA, $Γ$ having a non-trivial action on a tree and $Δ$ and $Γ$ having isomorphic profinite completions. △ Less

Submitted 15 December, 2022; originally announced December 2022.

Comments: 5 pages

The Dirac operator on cusped hyperbolic manifolds

Authors: Bruno Martelli, Alan W. Reid

Abstract: We study how the spin structures on finite-volume hyperbolic n-manifolds restrict to cusps. When a cusp cross-section is a (n-1)-torus, there are essentially two possible behaviours: the spin structure is either bounding or Lie. We show that in every dimension n there are examples where at least one cusp is Lie, and in every dimension n <= 8 there are examples where all the cusps are bounding. B… ▽ More We study how the spin structures on finite-volume hyperbolic n-manifolds restrict to cusps. When a cusp cross-section is a (n-1)-torus, there are essentially two possible behaviours: the spin structure is either bounding or Lie. We show that in every dimension n there are examples where at least one cusp is Lie, and in every dimension n <= 8 there are examples where all the cusps are bounding. By work of C. Bar, this implies that the spectrum of the Dirac operator is R in the first case, and discrete in the second. We therefore deduce that there are cusped hyperbolic manifolds whose spectrum of the Dirac operator is R in all dimensions, and whose spectrum is discrete in all dimensions n <= 8. △ Less

Submitted 15 December, 2022; v1 submitted 13 December, 2022; originally announced December 2022.

Comments: 10 pages, 2 figures

Immersions of punctured 4-manifolds: with applications to Quantum Cellular Automata

Authors: Michael Freedman, Daniel Kasprowski, Matthias Kreck, Alan W. Reid, Peter Teichner

Abstract: Motivated by applications to pulling back quantum cellular automata from one manifold to another, we study the existence of immersions between certain smooth 4-manifolds. We show that they lead to a very interesting partial order on closed 4-manifolds. Motivated by applications to pulling back quantum cellular automata from one manifold to another, we study the existence of immersions between certain smooth 4-manifolds. We show that they lead to a very interesting partial order on closed 4-manifolds. △ Less

Submitted 22 May, 2025; v1 submitted 5 August, 2022; originally announced August 2022.

Comments: 48 pages, with an appendix by Alan W. Reid; v2: changes following a referee report, to appear in Transactions of the AMS

Report number: MPIM-Bonn-2022

Infinitely many arithmetic hyperbolic rational homology 3-spheres that bound geometrically

Authors: Leonardo Ferrari, Alexander Kolpakov, Alan W. Reid

Abstract: In this paper we provide the first examples of arithmetic hyperbolic 3-manifolds that are rational homology spheres and bound geometrically either compact or cusped hyperbolic 4-manifolds. In this paper we provide the first examples of arithmetic hyperbolic 3-manifolds that are rational homology spheres and bound geometrically either compact or cusped hyperbolic 4-manifolds. △ Less

Submitted 10 May, 2022; v1 submitted 3 March, 2022; originally announced March 2022.

Comments: 19 pages, 1 figure, 1 table; improved exposition, some new results added; auxiliary SageMath code available at (https://github.com/sashakolpakov/dodecahedron-colouring)

Report number: MPIM-Bonn-2022 MSC Class: 57K32; 57R40; 57R42

Most Hitchin representations are strongly dense

Authors: D. D. Long, A. W. Reid, M. Wolff

Abstract: We prove that generic Hitchin representations are strongly dense: every pair of non commuting elements in their image generate a Zariski-dense subgroup of SL_n(R). The proof uses a theorem of Rapinchuk, Benyash-Krivetz and Chernousov, to show that the set of Hitchin representations is Zariski-dense in the variety of representations of a surface group in SL_n(R). We prove that generic Hitchin representations are strongly dense: every pair of non commuting elements in their image generate a Zariski-dense subgroup of SL_n(R). The proof uses a theorem of Rapinchuk, Benyash-Krivetz and Chernousov, to show that the set of Hitchin representations is Zariski-dense in the variety of representations of a surface group in SL_n(R). △ Less

Submitted 18 February, 2022; originally announced February 2022.

Report number: MPIM-Bonn-2022

Totally geodesic hyperbolic 3-manifolds in hyperbolic link complements of tori in $S^4$

Authors: Michelle Chu, Alan W. Reid

Abstract: In this paper we prove that certain hyperbolic link complements of $2$-tori in $S^4$ do not contain closed embedded totally geodesic hyperbolic $3$-manifolds. In this paper we prove that certain hyperbolic link complements of $2$-tori in $S^4$ do not contain closed embedded totally geodesic hyperbolic $3$-manifolds. △ Less

Submitted 15 August, 2023; v1 submitted 3 September, 2021; originally announced September 2021.

Comments: 18 pages. arXiv admin note: text overlap with arXiv:2005.11256

Journal ref: Pacific J. Math. 325 (2023) 191-207

Profinite rigidity, Kleinian groups, and the cofinite Hopf property

Authors: Martin R. Bridson, Alan W. Reid

Abstract: Let $Γ$ be a non-elementary Kleinian group and $H<Γ$ a finitely generated, proper subgroup. We prove that if $Γ$ has finite co-volume, then the profinite completions of $H$ and $Γ$ are not isomorphic. If $H$ has finite index in $Γ$, then there is a finite group onto which $H$ maps but $Γ$ does not. These results streamline the existing proofs that there exist full-sized groups that are profinitely… ▽ More Let $Γ$ be a non-elementary Kleinian group and $H<Γ$ a finitely generated, proper subgroup. We prove that if $Γ$ has finite co-volume, then the profinite completions of $H$ and $Γ$ are not isomorphic. If $H$ has finite index in $Γ$, then there is a finite group onto which $H$ maps but $Γ$ does not. These results streamline the existing proofs that there exist full-sized groups that are profinitely rigid in the absolute sense. They build on a circleof ideas that can be used to distinguish among the profinite completions of subgroups of finite index in other contexts, e.g. limit groups. We construct new examples of profinitely rigid groups, including the fundamental group of the hyperbolic $3$-manifold ${\rm{Vol}}(3)$ and of the $4$-fold cyclic branched cover of the figure-eight knot. We also prove that if a lattice in ${\rm{PSL}}(2,\mathbb{C})$ is profinitely rigid, then so is its normalizer in ${\rm{PSL}}(2,\mathbb{C})$. △ Less

Submitted 20 September, 2021; v1 submitted 30 July, 2021; originally announced July 2021.

Comments: Final version. To be published in a special issue of the Michigan Math. J. honoring Gopal Prasad

MSC Class: 20E18; 57M50; 30F40; 11F06

Filling links and spines in 3-manifolds

Authors: Michael Freedman, Vyacheslav Krushkal, Christopher J. Leininger, Alan W. Reid

Abstract: We introduce and study the notion of filling links in 3-manifolds: a link L is filling in M if for any 1-spine G of M which is disjoint from L, $π_1(G)$ injects into $π_1(M\smallsetminus L)$. A weaker "k-filling" version concerns injectivity modulo k-th term of the lower central series. For each k>1 we construct a k-filling link in the 3-torus. The proof relies on an extension of the Stallings the… ▽ More We introduce and study the notion of filling links in 3-manifolds: a link L is filling in M if for any 1-spine G of M which is disjoint from L, $π_1(G)$ injects into $π_1(M\smallsetminus L)$. A weaker "k-filling" version concerns injectivity modulo k-th term of the lower central series. For each k>1 we construct a k-filling link in the 3-torus. The proof relies on an extension of the Stallings theorem which may be of independent interest. We discuss notions related to "filling" links in 3-manifolds, and formulate several open problems. The appendix by C. Leininger and A. Reid establishes the existence of a filling hyperbolic link in any closed orientable 3-manifold with $π_1(M)$ of rank 2. △ Less

Submitted 9 August, 2024; v1 submitted 29 October, 2020; originally announced October 2020.

Comments: 22 pages, 5 figures. v4: typos corrected

Journal ref: Comm. Anal. Geom. 31 (2023), 2385-2411

Infinitely many knots with non-integral trace

Authors: Alan W. Reid, Nicholas Rouse

Abstract: We prove that there are infinitely many non-homeomorphic hyperbolic knot complements $S^3\setminus K_i = \mathbb{H}^3/Γ_i$ for which $Γ_i$ contains elements whose trace is an algebraic non-integer. We prove that there are infinitely many non-homeomorphic hyperbolic knot complements $S^3\setminus K_i = \mathbb{H}^3/Γ_i$ for which $Γ_i$ contains elements whose trace is an algebraic non-integer. △ Less

Submitted 25 September, 2020; v1 submitted 3 September, 2020; originally announced September 2020.

Comments: 15 pages, 6 figures; v2 includes answers to some questions in section 8 raised in v1

Embedding closed hyperbolic 3-manifolds in small volume hyperbolic 4-manifolds

Authors: Michelle Chu, Alan W. Reid

Abstract: In this paper we study existence and lack thereof of closed embedded orientable co-dimension one totally geodesic submanifolds of minimal volume cusped orientable hyperbolic manifolds. In this paper we study existence and lack thereof of closed embedded orientable co-dimension one totally geodesic submanifolds of minimal volume cusped orientable hyperbolic manifolds. △ Less

Submitted 8 October, 2020; v1 submitted 22 May, 2020; originally announced May 2020.

Comments: 16 pages, 2 figure

Journal ref: Algebr. Geom. Topol. 21 (2021) 2627-2647

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

Embedding closed totally geodesic surfaces in Bianchi orbifolds

Authors: Junehyuk Jung, Alan W. Reid

Abstract: We study embedding of closed totally geodesic hyperbolic 2-orbifolds in the Bianchi orbifolds $\mathbb{H}^3/PSL(2,\mathcal{O}_d)$. Our main result shows that there is a constant $c$ such that for $d$ large enough there are at least $cd$ closed embedded totally geodesic hyperbolic 2-orbifolds. Moreover we provide a list which conjecturally consists of those $d$ for which… ▽ More We study embedding of closed totally geodesic hyperbolic 2-orbifolds in the Bianchi orbifolds $\mathbb{H}^3/PSL(2,\mathcal{O}_d)$. Our main result shows that there is a constant $c$ such that for $d$ large enough there are at least $cd$ closed embedded totally geodesic hyperbolic 2-orbifolds. Moreover we provide a list which conjecturally consists of those $d$ for which $\mathbb{H}^3/PSL(2,\mathcal{O}_d)$ does not contain a closed embedded totally geodesic hyperbolic 2-orbifold. △ Less

Submitted 11 March, 2020; originally announced March 2020.

Comments: 22 pages

Technical Report: All Principal Congruence Link Groups

Authors: Mark D. Baker, Matthias Goerner, Alan W. Reid

Abstract: This is a technical report accompanying the paper "All Principal Congruence Link Groups" (arXiv:1802.01275) classifying all principal congruence link complements in S^3 by the same authors. It provides a complete overview of all cases (d,I) that had to be considered, as well as describes the necessary computations and computer programs written for the classification result. This is a technical report accompanying the paper "All Principal Congruence Link Groups" (arXiv:1802.01275) classifying all principal congruence link complements in S^3 by the same authors. It provides a complete overview of all cases (d,I) that had to be considered, as well as describes the necessary computations and computer programs written for the classification result. △ Less

Submitted 12 February, 2019; originally announced February 2019.

Comments: 60 pages, 31 tables, 15 figures

MSC Class: 57M25 (Primary); 20H10; 57M50 (Secondary)

All Known Principal Congruence Links

Authors: Mark D. Baker, Matthias Goerner, Alan W. Reid

Abstract: This report lists the link diagrams in S^3 for all principal congruence link complements for which such a link diagram is known. Several unpublished link diagrams are included. Related to this, we also include one link diagram for an arithmetic regular tessellation link complement. This report lists the link diagrams in S^3 for all principal congruence link complements for which such a link diagram is known. Several unpublished link diagrams are included. Related to this, we also include one link diagram for an arithmetic regular tessellation link complement. △ Less

Submitted 2 March, 2022; v1 submitted 11 February, 2019; originally announced February 2019.

Comments: 25 pages, 39 figures; Version 2 includes the new links found by Dunfield, Obeidin and Rudd

What Is... A Thin Group?

Authors: Alex Kontorovich, D. Darren Long, Alexander Lubotzky, Alan W. Reid

Abstract: This paper describes in basic terms what a "Thin Group" is, as well as its uses in various subjects. This paper describes in basic terms what a "Thin Group" is, as well as its uses in various subjects. △ Less

Submitted 5 December, 2018; originally announced December 2018.

Comments: 6 pages, 2 pictures

MSC Class: 11F06; 20H25; 22E40

Many cusped hyperbolic 3-manifolds do not bound geometrically

Authors: Alexander Kolpakov, Alan W. Reid, Stefano Riolo

Abstract: In this note, we show that there exist cusped hyperbolic $3$-manifolds that embed geodesically, but cannot bound geometrically. Thus, being a geometric boundary is a non-trivial property for such manifolds. Our result complements the work by Long and Reid on geometric boundaries of compact hyperbolic $4$-manifolds, and by Kolpakov, Reid and Slavich on embedding arithmetic hyperbolic manifolds. In this note, we show that there exist cusped hyperbolic $3$-manifolds that embed geodesically, but cannot bound geometrically. Thus, being a geometric boundary is a non-trivial property for such manifolds. Our result complements the work by Long and Reid on geometric boundaries of compact hyperbolic $4$-manifolds, and by Kolpakov, Reid and Slavich on embedding arithmetic hyperbolic manifolds. △ Less

Submitted 28 April, 2019; v1 submitted 13 November, 2018; originally announced November 2018.

Comments: 11 pages, 3 figures; to appear in Proceedings AMS

MSC Class: 57R90; 57M50; 20F55; 37F20

Journal ref: Proc. Amer. Math. Soc. 18:5 (2020), 2223-2243

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

All principal congruence link groups

Authors: Mark D. Baker, Matthias Goerner, Alan W. Reid

Abstract: We enumerate all the principal congruence link complements in $S^3$, there by answering a question of W. Thurston. Related articles: "Technical Report: All Principal Congruence Link Groups" (arXiv:1902.04722), "All Known Principal Congruence Links" (arXiv:1902.04426). We enumerate all the principal congruence link complements in $S^3$, there by answering a question of W. Thurston. Related articles: "Technical Report: All Principal Congruence Link Groups" (arXiv:1902.04722), "All Known Principal Congruence Links" (arXiv:1902.04426). △ Less

Submitted 25 February, 2019; v1 submitted 5 February, 2018; originally announced February 2018.

Comments: 7 pages, 1 table. V2: Addressing referee's comments, this article is now in announcement form, with technical details and link figures split off into separate articles

MSC Class: Primary 57M25 (Primary); Secondary 20H10; 57M50

Journal ref: J. Algebra 528, 497-504 (2019)

Pseudo-Anosov homeomorphisms not arising from branched covers

Authors: Christopher J Leininger, Alan W. Reid

Abstract: In this paper we provide a negative answer to a question of Farb about the relation between the algebraic degree of the stretch factor of a pseudo-Anosov homeomorphism and the genus of the surface on which it is defined. In this paper we provide a negative answer to a question of Farb about the relation between the algebraic degree of the stretch factor of a pseudo-Anosov homeomorphism and the genus of the surface on which it is defined. △ Less

Submitted 27 November, 2017; v1 submitted 18 November, 2017; originally announced November 2017.

Comments: v2: Corrected minor errors

Azumaya algebras and canonical components

Authors: Ted Chinburg, Alan W. Reid, Matthew Stover

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

Submitted 27 July, 2020; v1 submitted 3 June, 2017; originally announced June 2017.

Comments: v2 Revisions and corrections; v3 To appear in IMRN

Embedding arithmetic hyperbolic manifolds

Authors: Alexander Kolpakov, Alan W. Reid, Leone Slavich

Abstract: We prove that any arithmetic hyperbolic $n$-manifold of simplest type can either be geodesically embedded into an arithmetic hyperbolic $(n+1)$-manifold or its universal $\mathrm{mod}~2$ Abelian cover can. We prove that any arithmetic hyperbolic $n$-manifold of simplest type can either be geodesically embedded into an arithmetic hyperbolic $(n+1)$-manifold or its universal $\mathrm{mod}~2$ Abelian cover can. △ Less

Submitted 9 November, 2018; v1 submitted 30 March, 2017; originally announced March 2017.

Comments: 20 pages; revised version, typos corrected; Mathematical Research Letters vol. 25, no. 4

MSC Class: 57M50; 57R90

Journal ref: Math. Res. Lett. 25 (2018), 1305-1328

Profinite rigidity and surface bundles over the circle

Authors: Martin R. Bridson, Alan W. Reid, Henry Wilton

Abstract: If $M$ is a compact 3-manifold whose first betti number is 1, and $N$ is a compact 3-manifold such that $π_1N$ and $π_1M$ have the same finite quotients, then $M$ fibres over the circle if and only if $N$ does. We prove that groups of the form $F_2\rtimes\mathbb{Z}$ are distinguished from one another by their profinite completions. Thus, regardless of betti number, if $M$ and $N$ are punctured tor… ▽ More If $M$ is a compact 3-manifold whose first betti number is 1, and $N$ is a compact 3-manifold such that $π_1N$ and $π_1M$ have the same finite quotients, then $M$ fibres over the circle if and only if $N$ does. We prove that groups of the form $F_2\rtimes\mathbb{Z}$ are distinguished from one another by their profinite completions. Thus, regardless of betti number, if $M$ and $N$ are punctured torus bundles over the circle and $M$ is not homeomorphic to $N$, then there is a finite group $G$ such that one of $π_1M$ and $π_1N$ maps onto $G$ and the other does not. △ Less

Submitted 13 July, 2017; v1 submitted 7 October, 2016; originally announced October 2016.

Comments: 17 pages, no figures. v2 minor corrections. This is the final version accepted for publication

MSC Class: 20E18; 57M27; 20E26

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

Constructing 1-cusped isospectral non-isometric hyperbolic 3-manifolds

Authors: Stavros Garoufalidis, Alan Reid

Abstract: We construct infinitely many examples of pairs of isospectral but non-isometric $1$-cusped hyperbolic $3$-manifolds. These examples have infinite discrete spectrum and the same Eisenstein series. Our constructions are based on an application of Sunada's method in the cusped setting, and so in addition our pairs are finite covers of the same degree of a 1-cusped hyperbolic 3-orbifold (indeed manifo… ▽ More We construct infinitely many examples of pairs of isospectral but non-isometric $1$-cusped hyperbolic $3$-manifolds. These examples have infinite discrete spectrum and the same Eisenstein series. Our constructions are based on an application of Sunada's method in the cusped setting, and so in addition our pairs are finite covers of the same degree of a 1-cusped hyperbolic 3-orbifold (indeed manifold) and also have the same complex length-spectra. Finally we prove that any finite volume hyperbolic 3-manifold isospectral to the figure-eight knot complement is homeomorphic to the figure-eight knot complement. △ Less

Submitted 2 August, 2016; v1 submitted 17 September, 2015; originally announced September 2015.

Comments: 22 pages, 2 figures

Profinite rigidity, fibering, and the figure-eight knot

Authors: Martin R Bridson, Alan W Reid

Abstract: We establish results concerning the profinite completions of 3-manifold groups. In particular, we prove that the complement of the figure-eight knot $S^3-K$ is distinguished from all other compact 3-manifolds by the set of finite quotients of its fundamental group. In addition, we show that if $M$ is a compact 3-manifold with $b_1(M)=1$, and $π_1(M)$ has the same finite quotients as a free-by-cycl… ▽ More We establish results concerning the profinite completions of 3-manifold groups. In particular, we prove that the complement of the figure-eight knot $S^3-K$ is distinguished from all other compact 3-manifolds by the set of finite quotients of its fundamental group. In addition, we show that if $M$ is a compact 3-manifold with $b_1(M)=1$, and $π_1(M)$ has the same finite quotients as a free-by-cyclic group $F_r\rtimes\mathbb{Z}$, then $M$ has non-empty boundary, fibres over the circle with compact fibre, and $π_1(M)\cong F_r\rtimes_ψ\mathbb{Z}$ for some $ψ\in{\rm{Out}}(F_r)$. △ Less

Submitted 28 May, 2015; originally announced May 2015.

Comments: 15 pages, no figures

MSC Class: 20E18; 57M25; 20E26

Frattini and related subgroups of Mapping Class Groups

Authors: G. Masbaum, A. W. Reid

Abstract: Let $Γ_{g,b}$ denote the orientation-preserving Mapping Class Group of a closed orientable surface of genus $g$ with $b$ punctures. For a group $G$ let $Φ_f(G)$ denote the intersection of all maximal subgroups of finite index in $G$. Motivated by a question of Ivanov as to whether $Φ_f(G)$ is nilpotent when $G$ is a finitely generated subgroup of $Γ_{g,b}$, in this paper we compute $Φ_f(G)$ for ce… ▽ More Let $Γ_{g,b}$ denote the orientation-preserving Mapping Class Group of a closed orientable surface of genus $g$ with $b$ punctures. For a group $G$ let $Φ_f(G)$ denote the intersection of all maximal subgroups of finite index in $G$. Motivated by a question of Ivanov as to whether $Φ_f(G)$ is nilpotent when $G$ is a finitely generated subgroup of $Γ_{g,b}$, in this paper we compute $Φ_f(G)$ for certain subgroups of $Γ_{g,b}$. In particular, we answer Ivanov's question in the affirmative for these subgroups of $Γ_{g,b}$. △ Less

Submitted 4 February, 2015; v1 submitted 10 December, 2014; originally announced December 2014.

Comments: 12 pages. v2: abstract and introduction slightly rewritten

MSC Class: 20F38; 57R56

Gonality and genus of canonical components of character varieties

Authors: Kathleen L. Petersen, Alan W. Reid

Abstract: Let M be a two cusped hyperbolic 3-manifold and let M(r) be the result of r Dehn filling of a fixed cusp of M. We study canonical components of the SL(2,C) character varieties of M(r). We show that the gonality of these sets is bounded, independent of the filling parameter. We also obtain bounds, depending on r, for the genus of these sets. We compute the gonality for the double twist knots, demon… ▽ More Let M be a two cusped hyperbolic 3-manifold and let M(r) be the result of r Dehn filling of a fixed cusp of M. We study canonical components of the SL(2,C) character varieties of M(r). We show that the gonality of these sets is bounded, independent of the filling parameter. We also obtain bounds, depending on r, for the genus of these sets. We compute the gonality for the double twist knots, demonstrating canonical components with arbitrarily large gonality. △ Less

Submitted 15 August, 2014; originally announced August 2014.

Determining Fuchsian groups by their finite quotients

Authors: Martin R. Bridson, Marston D. E. Conder, Alan W. Reid

Abstract: Let $\C(Γ)$ be the set of isomorphism classes of the finite groups that are homomorphic images of $Γ$. We investigate the extent to which $\C(Γ)$ determines $Γ$ when $Γ$ is a group of geometric interest. If $Γ_1$ is a lattice in ${\rm{PSL}}(2,\R)$ and $Γ_2$ is a lattice in any connected Lie group, then $\C(Γ_1) = \C(Γ_2)$ implies that $Γ_1$ is isomorphic to $Γ_2$. If $F$ is a free group and $Γ$ is… ▽ More Let $\C(Γ)$ be the set of isomorphism classes of the finite groups that are homomorphic images of $Γ$. We investigate the extent to which $\C(Γ)$ determines $Γ$ when $Γ$ is a group of geometric interest. If $Γ_1$ is a lattice in ${\rm{PSL}}(2,\R)$ and $Γ_2$ is a lattice in any connected Lie group, then $\C(Γ_1) = \C(Γ_2)$ implies that $Γ_1$ is isomorphic to $Γ_2$. If $F$ is a free group and $Γ$ is a right-angled Artin group or a residually free group (with one extra condition), then $\C(F)=\C(Γ)$ implies that $F\congΓ$. If $Γ_1<{\rm{PSL}}(2,\Bbb C)$ and $Γ_2< G$ are non-uniform arithmetic lattices, where $G$ is a semi-simple Lie group with trivial centre and no compact factors, then $\C(Γ_1)= \C(Γ_2)$ implies that $G \cong {\rm{PSL}}(2,\Bbb C)$ and that $Γ_2$ belongs to one of finitely many commensurability classes. These results are proved using the theory of profinite groups; we do not exhibit explicit finite quotients that distinguish among the groups in question. But in the special case of two non-isomorphic triangle groups, we give an explicit description of finite quotients that distinguish between them. △ Less

Submitted 7 January, 2015; v1 submitted 15 January, 2014; originally announced January 2014.

Comments: Minor edits. Version accepted by Israel J Math

Nilpotent completions of groups, Grothendieck pairs, and four problems of Baumslag

Authors: Martin R. Bridson, Alan W. Reid

Abstract: Two groups are said to have the same nilpotent genus if they have the same nilpotent quotients. We answer four questions of Baumslag concerning nilpotent completions. (i) There exists a pair of finitely generated, residually torsion-free-nilpotent groups of the same nilpotent genus such that one is finitely presented and the other is not. (ii) There exists a pair of finitely presented, residually… ▽ More Two groups are said to have the same nilpotent genus if they have the same nilpotent quotients. We answer four questions of Baumslag concerning nilpotent completions. (i) There exists a pair of finitely generated, residually torsion-free-nilpotent groups of the same nilpotent genus such that one is finitely presented and the other is not. (ii) There exists a pair of finitely presented, residually torsion-free-nilpotent groups of the same nilpotent genus such that one has a solvable conjugacy problem and the other does not. (iii) There exists a pair of finitely generated, residually torsion-free-nilpotent groups of the same nilpotent genus such that one has finitely generated second homology $H_2(-,\Z)$ and the other does not. (iv) A non-trivial normal subgroup of infinite index in a finitely generated parafree group cannot be finitely generated. In proving this last result, we establish that the first $L^2$ betti number of a finitely generated parafree group of rank $r$ is $r-1$. It follows that the reduced $C^*$-algebra of the group is simple if $r\ge 2$, and that a version of the Freiheitssatz holds for parafree groups. △ Less

Submitted 7 January, 2015; v1 submitted 2 November, 2012; originally announced November 2012.

Comments: Version accepted for Int Math Res Notices

MSC Class: 20E26; 20E18 (Primary); 20F65; 20F10; 57M25 (Secondary)

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

All finite groups are involved in the Mapping Class Group

Authors: Gregor Masbaum, Alan W. Reid

Abstract: Let $Γ_g$ denote the orientation-preserving Mapping Class Group of the genus $g\geq 1$ closed orientable surface. In this paper we show that for fixed $g$, every finite group occurs as a quotient of a finite index subgroup of $Γ_g$. Let $Γ_g$ denote the orientation-preserving Mapping Class Group of the genus $g\geq 1$ closed orientable surface. In this paper we show that for fixed $g$, every finite group occurs as a quotient of a finite index subgroup of $Γ_g$. △ Less

Submitted 10 September, 2012; v1 submitted 21 June, 2011; originally announced June 2011.

Comments: This is the final version submitted to Geometry & Topology, and is almost identical with the published paper

MSC Class: 20F38; 57R56

Journal ref: Geom. Topol. 16 (2012) 1393-1411

The Configuration Space of Conformal Connection-Dynamics

Authors: James A. Reid, Charles H. -T. Wang

Abstract: The configuration space of the reduced Hamiltonian formulation of quantum gravity has been shown, for non-Ricci flat metrics, to be a higher-dimensional analogue of the Teichmüller space of conformal structures on a Riemann surface. In this article we show that the configuration space of conformal connection-dynamics is naturally a higher-dimensional Teichmüller space, subject to the same conditio… ▽ More The configuration space of the reduced Hamiltonian formulation of quantum gravity has been shown, for non-Ricci flat metrics, to be a higher-dimensional analogue of the Teichmüller space of conformal structures on a Riemann surface. In this article we show that the configuration space of conformal connection-dynamics is naturally a higher-dimensional Teichmüller space, subject to the same condition. An immediate consequence of this result is that the Barbero-Immirzi parameter of loop quantum gravity naturally assumes a dilatonic character in all conformal canonical gravity theories. △ Less

Submitted 19 August, 2012; v1 submitted 27 February, 2011; originally announced February 2011.

Commensurators of non-free finitely generated Kleinian groups

Authors: C. J. Leininger, D. D. Long, A. W. Reid

Abstract: Suppose G is a non-free finitely generated Kleinian group without parabolics which is not a lattice and let C(G) denote the commensurator in PSL(2,C). We prove that if the limit set of G is not a round circle, then C(G) is discrete. Furthermore, G has finite index in C(G) unless G is a fiber group in which case C(G) is a lattice. Suppose G is a non-free finitely generated Kleinian group without parabolics which is not a lattice and let C(G) denote the commensurator in PSL(2,C). We prove that if the limit set of G is not a round circle, then C(G) is discrete. Furthermore, G has finite index in C(G) unless G is a fiber group in which case C(G) is a lattice. △ Less

Submitted 16 August, 2009; originally announced August 2009.

Comments: 15 pages, 1 figure

Journal ref: Algebr. Geom. Topol. 11 (2011) 605-624

Simon's conjecture for 2-bridge knots

Authors: Michel Boileau, Steve Boyer, Alan W. Reid, Shicheng Wang

Abstract: It is conjectured that for each knot $K$ in $S^3$, the fundamental group of its complement surjects onto only finitely many distinct knot groups. Applying character variety theory we obtain an affirmative solution of the conjecture for a class of small knots that includes 2-bridge knots. It is conjectured that for each knot $K$ in $S^3$, the fundamental group of its complement surjects onto only finitely many distinct knot groups. Applying character variety theory we obtain an affirmative solution of the conjecture for a class of small knots that includes 2-bridge knots. △ Less

Submitted 16 March, 2009; originally announced March 2009.

Comments: 18 pages

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

LERF and the Lubotzky-Sarnak conjecture

Authors: M. Lackenby, D. D. Long, A. W. Reid

Abstract: We prove that every closed hyperbolic 3-manifold has a family of (possibly infinite sheeted) coverings with the property that the Cheeger constants in the family tend to zero. This is used to show that, if in addition the fundamental group of the manifold is LERF, then it satisfies the Lubotzky-Sarnak conjecture. We prove that every closed hyperbolic 3-manifold has a family of (possibly infinite sheeted) coverings with the property that the Cheeger constants in the family tend to zero. This is used to show that, if in addition the fundamental group of the manifold is LERF, then it satisfies the Lubotzky-Sarnak conjecture. △ Less

Submitted 8 April, 2008; originally announced April 2008.

Comments: 9 pages

MSC Class: 57N10; 57M10

Heegaard genus and Property 'tau' for hyperbolic 3-manifolds

Authors: D. D. Long, A. Lubotzky, A. W. Reid

Abstract: We show that any finitely generated non-elementary Kleinian group has a co-final family of finite index normal subgroups with respect to which it has Property $τ$. As a consequence, any closed hyperbolic 3-manifold has a co-final family of finite index normal subgroups for which the infimal Heegaard gradient is positive. We show that any finitely generated non-elementary Kleinian group has a co-final family of finite index normal subgroups with respect to which it has Property $τ$. As a consequence, any closed hyperbolic 3-manifold has a co-final family of finite index normal subgroups for which the infimal Heegaard gradient is positive. △ Less

Submitted 2 September, 2007; originally announced September 2007.

Commensurability classes of 2-bridge knot complements

Authors: Alan W. Reid, Genevieve S. Walsh

Abstract: We show that a hyperbolic 2-bridge knot complement is the unique knot complement in its commensurability class. We also discuss constructions of commensurable hyperbolic knot complements and put forth a conjecture on the number of hyperbolic knot complements in a commensurability class. We show that a hyperbolic 2-bridge knot complement is the unique knot complement in its commensurability class. We also discuss constructions of commensurable hyperbolic knot complements and put forth a conjecture on the number of hyperbolic knot complements in a commensurability class. △ Less

Submitted 17 December, 2006; originally announced December 2006.

Comments: 20 pages; 2 figures

MSC Class: 57M25; 57M10

Journal ref: Algebr. Geom. Topol. 8 (2008) 1031-1057

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

Covering spaces of arithmetic 3-orbifolds

Authors: Marc Lackenby, Darren D. Long, Alan W. Reid

Abstract: Let G be an arithmetic Kleinian group, and let O be the associated hyperbolic 3-orbifold or 3-manifold. In this paper, we prove that, in many cases, G is large, which means that some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. This has many consequences, including that O has infinite virtual first Betti number and G has super-exponential subgroup growth.… ▽ More Let G be an arithmetic Kleinian group, and let O be the associated hyperbolic 3-orbifold or 3-manifold. In this paper, we prove that, in many cases, G is large, which means that some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. This has many consequences, including that O has infinite virtual first Betti number and G has super-exponential subgroup growth. Our first result, which forms the basis for the entire paper, is that G is commensurable with a lattice containing the Klein group of order 4. Our second result is that if G has a finite index subgroup with first Betti number at least 4, then G is large. This is known to hold for many arithmetic lattices. In particular, we show that it is always the case when G contains A_4, S_4 or A_5. Our third main result is that the Lubotzky-Sarnak conjecture and the geometrisation conjecture together imply that any arithmetic Kleinian group G is large. We also give a new 'elementary' proof that arithmetic Kleinian groups do not have the congruence subgroup property, which avoids the use of the Golod-Shafarevich inequality. △ Less

Submitted 9 April, 2008; v1 submitted 27 January, 2006; originally announced January 2006.

Comments: 41 pages; v2: minor changes; to appear in IMRN

MSC Class: 57N10 (Primary); 57M10; 57M50; 11F75 (Secondary)

A combination theorem for Veech subgroups of the mapping class group

Authors: Christopher J. Leininger, Alan W. Reid

Abstract: In this paper we prove a combination theorem for Veech subgroups of the mapping class group analogous to the first Klein-Maskit combination theorem for Kleinian groups in which two Fuchsian subgroups are amalgamated along a parabolic subgroup. As a corollary, we construct subgroups of the mapping class group (for all genus at least 2), which are isomorphic to non-abelian closed surface groups in… ▽ More In this paper we prove a combination theorem for Veech subgroups of the mapping class group analogous to the first Klein-Maskit combination theorem for Kleinian groups in which two Fuchsian subgroups are amalgamated along a parabolic subgroup. As a corollary, we construct subgroups of the mapping class group (for all genus at least 2), which are isomorphic to non-abelian closed surface groups in which all but one conjugacy class (up to powers) is pseudo-Anosov. △ Less

Submitted 10 May, 2005; v1 submitted 3 October, 2004; originally announced October 2004.

Comments: A few minor typos corrected

MSC Class: 57M60; 30F60

Generalized Dedekind sums

Authors: D. D. Long, A. W. Reid

Abstract: Classical Dedekind sums are connected to the modular group through the construction of a (Dedekind) symbol on the cusp set of the modular group. In this paper we study generalizations of Dedekind symbols and sums that can be associated to certain Fuchsian groups uniformizing 1-punctured tori. Classical Dedekind sums are connected to the modular group through the construction of a (Dedekind) symbol on the cusp set of the modular group. In this paper we study generalizations of Dedekind symbols and sums that can be associated to certain Fuchsian groups uniformizing 1-punctured tori. △ Less

Submitted 20 September, 2004; originally announced September 2004.

Comments: Published by Geometry and Topology Monographs at http://www.maths.warwick.ac.uk/gt/GTMon7/paper8.abs.html

MSC Class: 11F20; 20H10

Journal ref: Geom. Topol. Monogr. 7 (2004) 205-212

Exceptional regions and associated exceptional hyperbolic 3-manifolds

Authors: Abhijit Champanerkar, Jacob Lewis, Max Lipyanskiy, Scott Meltzer, Alan Reid

Abstract: A closed hyperbolic 3-manifold is exceptional if its shortest geodesic does not have an embedded tube of radius $\ln(3)/2$. D. Gabai, R. Meyerhoff and N. Thurston identified seven families of exceptional manifolds in their proof of the homotopy rigidity theorem. They identified the hyperbolic manifold known as Vol3 in the literature as the exceptional manifold associated to one of the families.… ▽ More A closed hyperbolic 3-manifold is exceptional if its shortest geodesic does not have an embedded tube of radius $\ln(3)/2$. D. Gabai, R. Meyerhoff and N. Thurston identified seven families of exceptional manifolds in their proof of the homotopy rigidity theorem. They identified the hyperbolic manifold known as Vol3 in the literature as the exceptional manifold associated to one of the families. It is conjectured that there are exactly 6 exceptional manifolds. We find hyperbolic 3-manifolds, some from the SnapPea's census of closed hyperbolic 3-manifolds, associated to 5 other families. Along with the hyperbolic 3-manifold found by Lipyanskiy associated to the seventh family we show that any exceptional manifold is covered by one of these manifolds. We also find their group coefficient fields and invariant trace fields. △ Less

Submitted 16 May, 2007; v1 submitted 21 November, 2003; originally announced November 2003.

Comments: 19 pages, minor revisions, added appendix by Alan Reid, published by Experimental Mathematics

MSC Class: 57M50

Journal ref: Experiment. Math. 16 (2007), no. 1, 107- 118

All flat manifolds are cusps of hyperbolic orbifolds

Authors: D. D. Long, A. W. Reid

Abstract: We show that all closed flat n-manifolds are diffeomorphic to a cusp cross-section in a finite volume hyperbolic (n+1)-orbifold. We show that all closed flat n-manifolds are diffeomorphic to a cusp cross-section in a finite volume hyperbolic (n+1)-orbifold. △ Less

Submitted 18 April, 2002; originally announced April 2002.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol2/agt-2-13.abs.html

MSC Class: 57M50; 57R99

Journal ref: Algebr. Geom. Topol. 2 (2002) 285-296

The co-rank conjecture for 3-manifold groups

Authors: Christopher J. Leininger, Alan W. Reid

Abstract: In this paper we construct explicit examples of both closed and non-compact finite volume hyperbolic manifolds which provide counterexamples to the conjecture that the co-rank of a 3-manifold group (also known as the cut number) is bounded below by one-third the first Betti number. In this paper we construct explicit examples of both closed and non-compact finite volume hyperbolic manifolds which provide counterexamples to the conjecture that the co-rank of a 3-manifold group (also known as the cut number) is bounded below by one-third the first Betti number. △ Less

Submitted 25 February, 2002; originally announced February 2002.

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

MSC Class: 57M05; 57M50; 20F34

Journal ref: Algebr. Geom. Topol. 2 (2002) 37-50