Source author record

Alan W. Reid

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
6topics
4close collaborators

Published work

13 publications

preprint2020arXiv

Azumaya algebras and canonical components

Let MM be a compact 3-manifold and Γ=π1(M)Γ=π_1(M). Work of Thurston and Culler--Shalen established the SL2(C)\mathrm{SL}_2(\mathbb{C}) character variety X(Γ)X(Γ) as fundamental tool in the study of the geometry and topology of MM. This is particularly the case when MM is the exterior of a hyperbolic knot KK in S3S^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(Γ)X(Γ), as well as distinguished points on the canonical component, when ΓΓ is a knot group. In particular, we study how the theory of quaternion Azumaya algebras can be used to obtain algebraic and arithmetic information about Dehn surgeries, and perhaps of most interest, to construct new knot invariants that lie in the Brauer groups of curves over number fields.

preprint2020arXiv

Embedding closed totally geodesic surfaces in Bianchi orbifolds

We study embedding of closed totally geodesic hyperbolic 2-orbifolds in the Bianchi orbifolds H3/PSL(2,Od)\mathbb{H}^3/PSL(2,\mathcal{O}_d). Our main result shows that there is a constant cc such that for dd large enough there are at least cdcd closed embedded totally geodesic hyperbolic 2-orbifolds. Moreover we provide a list which conjecturally consists of those dd for which H3/PSL(2,Od)\mathbb{H}^3/PSL(2,\mathcal{O}_d) does not contain a closed embedded totally geodesic hyperbolic 2-orbifold.

preprint2015arXiv

Determining Fuchsian groups by their finite quotients

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Γ_1 is a lattice in PSL(2,R){\rm{PSL}}(2,\R) and Γ2Γ_2 is a lattice in any connected Lie group, then $\C(Γ_1) = \C(Γ_2)$ implies that Γ1Γ_1 is isomorphic to Γ2Γ_2. If FF 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≅ΓF\congΓ. If Γ1<PSL(2,C)Γ_1<{\rm{PSL}}(2,\Bbb C) and Γ2<GΓ_2< G are non-uniform arithmetic lattices, where GG is a semi-simple Lie group with trivial centre and no compact factors, then $\C(Γ_1)= \C(Γ_2)$ implies that G≅PSL(2,C)G \cong {\rm{PSL}}(2,\Bbb C) and that Γ2Γ_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.

preprint2015arXiv

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

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 H2(−,Z)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 L2L^2 betti number of a finitely generated parafree group of rank rr is r−1r-1. It follows that the reduced C∗C^*-algebra of the group is simple if r≥2r\ge 2, and that a version of the Freiheitssatz holds for parafree groups.

preprint2014arXiv

Gonality and genus of canonical components of character varieties

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.

preprint2009arXiv

The genus spectrum of a hyperbolic 3-manifold

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

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.