Showing 1–47 of 47 results for author: Wilton, H

The congruence subgroup property for mapping class groups and the residual finiteness of hyperbolic groups

Authors: Henry Wilton, Alessandro Sisto

Abstract: Assuming that every hyperbolic group is residually finite, we prove the congruence subgroup property for mapping class groups of hyperbolic surfaces of finite type. Under the same assumption, it follows that profinitely equivalent hyperbolic 3-manifolds are commensurable. Assuming that every hyperbolic group is residually finite, we prove the congruence subgroup property for mapping class groups of hyperbolic surfaces of finite type. Under the same assumption, it follows that profinitely equivalent hyperbolic 3-manifolds are commensurable. △ Less

Submitted 25 November, 2024; v1 submitted 1 October, 2024; originally announced October 2024.

Comments: 22 pages. Primary article by Wilton, with an appendix by Sisto. v2 incorporates comments on the first version. It includes a more refined profinite-rigidity statement (Theorem B(ii)), proved in the new section 5

Surface groups among cubulated hyperbolic and one-relator groups

Authors: Henry Wilton

Abstract: Let $X$ be a non-positively curved cube complex with hyperbolic fundamental group. We prove that $π_1(X)$ has a non-free subgroup of infinite index unless $π_1(X)$ is either free or a surface group, answering questions of Gromov and Whyte (in a special case) and Wise. A similar result for one-relator groups follows, answering a question posed by several authors. The proof relies on a careful analy… ▽ More Let $X$ be a non-positively curved cube complex with hyperbolic fundamental group. We prove that $π_1(X)$ has a non-free subgroup of infinite index unless $π_1(X)$ is either free or a surface group, answering questions of Gromov and Whyte (in a special case) and Wise. A similar result for one-relator groups follows, answering a question posed by several authors. The proof relies on a careful analysis of free and cyclic splittings of cubulated groups. △ Less

Submitted 2 May, 2025; v1 submitted 4 June, 2024; originally announced June 2024.

Comments: 49 pages, 1 figure. v2 incorporates referee comments, and a new §5 answers Question 5.1 from v1

Rational curvature invariants for 2-complexes

Authors: Henry Wilton

Abstract: New invariants for 2-dimensional cell complexes are defined, which can be interpreted as curvature bounds. These invariants are proved to be rational and computable in a companion article. This document is a survey that collects theorems about these invariants, computes examples, and lays out a programme of conjectures. New invariants for 2-dimensional cell complexes are defined, which can be interpreted as curvature bounds. These invariants are proved to be rational and computable in a companion article. This document is a survey that collects theorems about these invariants, computes examples, and lays out a programme of conjectures. △ Less

Submitted 15 May, 2024; v1 submitted 18 October, 2022; originally announced October 2022.

Comments: 66 pages, 2 figures, companion to arXiv:2210.09841. v2 minor edits. v3 incorporates referees' comments. This is the final version accepted for publication

Rationality theorems for curvature invariants of 2-complexes

Authors: Henry Wilton

Abstract: Let $X$ be a finite, 2-dimensional cell complex. The curvature invariants $ρ_\pm(X)$ and $σ_\pm(X)$ were defined in [13], and a programme of conjectures was outlined. Here, we prove the foundational result that the quantities $ρ_\pm(X)$ and $σ_\pm(X)$ are the extrema of explicit rational linear-programming problems. As a result they are rational, realised, and can be computed algorithmically. Let $X$ be a finite, 2-dimensional cell complex. The curvature invariants $ρ_\pm(X)$ and $σ_\pm(X)$ were defined in [13], and a programme of conjectures was outlined. Here, we prove the foundational result that the quantities $ρ_\pm(X)$ and $σ_\pm(X)$ are the extrema of explicit rational linear-programming problems. As a result they are rational, realised, and can be computed algorithmically. △ Less

Submitted 28 April, 2025; v1 submitted 18 October, 2022; originally announced October 2022.

Comments: 39 pages, 3 figures, companion to arXiv:2210.09841. v3 corrects an error in Section 2. v4 is the final version accepted for publication

Uniform negative immersions and the coherence of one-relator groups

Authors: Larsen Louder, Henry Wilton

Abstract: Previously, the authors proved that the presentation complex of a one-relator group $G$ satisfies a geometric condition called negative immersions if every two-generator, one-relator subgroup of $G$ is free. Here, we prove that one-relator groups with negative immersions are coherent, answering a question of Baumslag in this case. Other strong constraints on the finitely generated subgroups also f… ▽ More Previously, the authors proved that the presentation complex of a one-relator group $G$ satisfies a geometric condition called negative immersions if every two-generator, one-relator subgroup of $G$ is free. Here, we prove that one-relator groups with negative immersions are coherent, answering a question of Baumslag in this case. Other strong constraints on the finitely generated subgroups also follow such as, for example, the co-Hopf property. The main new theorem strengthens negative immersions to uniform negative immersions, using a rationality theorem proved with linear-programming techniques. △ Less

Submitted 8 February, 2024; v1 submitted 19 July, 2021; originally announced July 2021.

Comments: 41 pages, 3 figures. Version 2 incorporates referees' comments and corrections. This is the final version accepted for publication

On the profinite rigidity of surface groups and surface words

Authors: Henry Wilton

Abstract: Surface groups are determined among limit groups by their profinite completions. As a corollary, the set of surface words in a free group is closed in the profinite topology. Surface groups are determined among limit groups by their profinite completions. As a corollary, the set of surface words in a free group is closed in the profinite topology. △ Less

Submitted 15 October, 2020; v1 submitted 27 August, 2020; originally announced August 2020.

Comments: 6 pages, no figures. Version 2 incorporates referees suggestions. This is the final version accepted for publication

u-RANIA: a neutron detector based on μ-RWELL technology

Authors: I. Balossino, G. Bencivenni, P. Bielowka, G. Cibinetto, R. Farinelli, G. Felici, I. Garzia, M. Gatta, P. Giacomelli, M. Giovannetti, R. Hall Wilton, C. -C. Lai, L. Lavezzi, F. Messi, G. Mezzadri, G. Morello, M. Pinamonti, M. Poli Lener, L. Robinson, M. Scodeggio, P. -O. Svensson

Abstract: In the framework of the ATTRACT-uRANIA project, funded by the European Community, we are developing an innovative neutron imaging detector based on micro-Resistive WELL ($μ$ -RWELL) technology. The $μ$ -RWELL, based on the resistive detector concept, ensuring an efficient spark quenching mechanism, is a highly reliable device. It is composed by two main elements: a readout-PCB and a cathode. The a… ▽ More In the framework of the ATTRACT-uRANIA project, funded by the European Community, we are developing an innovative neutron imaging detector based on micro-Resistive WELL ($μ$ -RWELL) technology. The $μ$ -RWELL, based on the resistive detector concept, ensuring an efficient spark quenching mechanism, is a highly reliable device. It is composed by two main elements: a readout-PCB and a cathode. The amplification stage for this device is embedded in the readout board through a resistive layer realized by means of an industrial process with DLC (Diamond-Like Carbon). A thin layer of B$_4$C on the copper surface of the cathode allows the thermal neutrons detection through the release of $^7$Li and $α$ particles in the active volume. This technology has been developed to be an efficient and convenient alternative to the $^3$He shortage. The goal of the project is to prove the feasibility of such a novel neutron detector by developing and testing small planar prototypes with readout boards suitably segmented with strip or pad read out, equipped with existing electronics or readout in current mode. Preliminary results from the test with different prototypes, showing a good agreement with the simulation, will be presented together with construction details of the prototypes and the future steps of the project. △ Less

Submitted 17 August, 2020; v1 submitted 13 May, 2020; originally announced May 2020.

Comments: Prepared for the INSTR20 Conference Proceeding for JINST

One-relator groups with torsion are coherent

Authors: Larsen Louder, Henry Wilton

Abstract: We show that any one-relator group $G=F/\langle\langle w\rangle\rangle$ with torsion is coherent -- i.e., that every finitely generated subgroup of $G$ is finitely presented -- answering a 1974 question of Baumslag in this case. We show that any one-relator group $G=F/\langle\langle w\rangle\rangle$ with torsion is coherent -- i.e., that every finitely generated subgroup of $G$ is finitely presented -- answering a 1974 question of Baumslag in this case. △ Less

Submitted 10 August, 2020; v1 submitted 30 May, 2018; originally announced May 2018.

Comments: 11 pages, no figures. Version 2 incorporates the referee's comments, and corrects a mistake in Section 4. Version 3 is the final version accepted for publication

Negative immersions for one-relator groups

Authors: Larsen Louder, Henry Wilton

Abstract: We prove a freeness theorem for low-rank subgroups of one-relator groups. Let $F$ be a free group, and let $w\in F$ be a non-primitive element. The primitivity rank of $w$, $π(w)$, is the smallest rank of a subgroup of $F$ containing $w$ as an imprimitive element. Then any subgroup of the one-relator group $G=F/\langle\langle w\rangle\rangle$ generated by fewer than $π(w)$ elements is free. In par… ▽ More We prove a freeness theorem for low-rank subgroups of one-relator groups. Let $F$ be a free group, and let $w\in F$ be a non-primitive element. The primitivity rank of $w$, $π(w)$, is the smallest rank of a subgroup of $F$ containing $w$ as an imprimitive element. Then any subgroup of the one-relator group $G=F/\langle\langle w\rangle\rangle$ generated by fewer than $π(w)$ elements is free. In particular, if $π(w)>2$ then $G$ doesn't contain any Baumslag--Solitar groups. The hypothesis that $π(w)>2$ implies that the presentation complex $X$ of the one-relator group $G$ has negative immersions: if a compact, connected complex $Y$ immerses into $X$ and $χ(Y)\geq 0$ then $Y$ is Nielsen equivalent to a graph. The freeness theorem is a consequence of a dependence theorem for free groups, which implies several classical facts about free and one-relator groups, including Magnus' Freiheitssatz and theorems of Lyndon, Baumslag, Stallings and Duncan--Howie. The dependence theorem strengthens Wise's $w$-cycles conjecture, proved independently by the authors and Helfer--Wise, which implies that the one-relator complex $X$ has non-positive immersions when $π(w)>1$. △ Less

Submitted 6 May, 2021; v1 submitted 7 March, 2018; originally announced March 2018.

Comments: 40 pages, 6 figures. Version 2 (and the identical version 3) incorporate referees' comments and corrections. Version 4 only introduces a terminological change: "branched immersions" have been rechristened "branched maps". This is the final version accepted for publication

Immutability is not uniformly decidable in hyperbolic groups

Authors: Daniel Groves, Henry Wilton

Abstract: A finitely generated subgroup H of a torsion-free hyperbolic group G is called immutable if there are only finitely many conjugacy classes of injections of H into G. We show that there is no uniform algorithm to recognize immutability, answering a uniform version of a question asked by the authors. A finitely generated subgroup H of a torsion-free hyperbolic group G is called immutable if there are only finitely many conjugacy classes of injections of H into G. We show that there is no uniform algorithm to recognize immutability, answering a uniform version of a question asked by the authors. △ Less

Submitted 16 March, 2017; originally announced March 2017.

Comments: 5 pages

Profinite detection of 3-manifold decompositions

Authors: Henry Wilton, Pavel Zalesskii

Abstract: The profinite completion of the fundamental group of a closed, orientable $3$-manifold determines the Kneser--Milnor decomposition. If $M$ is irreducible, then the profinite completion determines the Jaco--Shalen--Johannson decomposition of $M$. The profinite completion of the fundamental group of a closed, orientable $3$-manifold determines the Kneser--Milnor decomposition. If $M$ is irreducible, then the profinite completion determines the Jaco--Shalen--Johannson decomposition of $M$. △ Less

Submitted 17 September, 2018; v1 submitted 10 March, 2017; originally announced March 2017.

Comments: 20 pages, no figures. v2: Added Corollary C. v3: Referee's comments incorporated. This is the version accepted for publication

Journal ref: Compositio Math. 155 (2019) 246-259

Generalized triangle groups, expanders, and a problem of Agol and Wise

Authors: Alexander Lubotzky, Jason Fox Manning, Henry Wilton

Abstract: Answering a question asked by Agol and Wise, we show that a desired stronger form of Wise's malnormal special quotient theorem does not hold. The counterexamples are generalizations of triangle groups, built using the Ramanujan graphs constructed by Lubotzky--Phillips--Sarnak. Answering a question asked by Agol and Wise, we show that a desired stronger form of Wise's malnormal special quotient theorem does not hold. The counterexamples are generalizations of triangle groups, built using the Ramanujan graphs constructed by Lubotzky--Phillips--Sarnak. △ Less

Submitted 29 May, 2018; v1 submitted 27 February, 2017; originally announced February 2017.

Comments: 12 pages, 2 figures. V2 incorporates changes suggested by the referee. This is the final version accepted for publication

Essential surfaces in graph pairs

Authors: Henry Wilton

Abstract: A well known question of Gromov asks whether every one-ended hyperbolic group $Γ$ has a surface subgroup. We give a positive answer when $Γ$ is the fundamental group of a graph of free groups with cyclic edge groups. As a result, Gromov's question is reduced (modulo a technical assumption on 2-torsion) to the case when $Γ$ is rigid. We also find surface subgroups in limit groups. It follows that a… ▽ More A well known question of Gromov asks whether every one-ended hyperbolic group $Γ$ has a surface subgroup. We give a positive answer when $Γ$ is the fundamental group of a graph of free groups with cyclic edge groups. As a result, Gromov's question is reduced (modulo a technical assumption on 2-torsion) to the case when $Γ$ is rigid. We also find surface subgroups in limit groups. It follows that a limit group with the same profinite completion as a free group must in fact be free, which answers a question of Remeslennikov in this case. △ Less

Submitted 9 May, 2018; v1 submitted 10 January, 2017; originally announced January 2017.

Comments: 40 pages, 3 figures. v2 corrects an error in the proof. v3 updates references; this is the final version accepted for publication

Pro-$p$ subgroups of profinite completions of 3-manifold groups

Authors: Henry Wilton, Pavel Zalesskii

Abstract: We completely describe the finitely generated pro-$p$ subgroups of the profinite completion of the fundamental group of an arbitrary $3$-manifold. We also prove a pro-$p$ analogue of the main theorem of Bass--Serre theory for finitely generated pro-$p$ groups. We completely describe the finitely generated pro-$p$ subgroups of the profinite completion of the fundamental group of an arbitrary $3$-manifold. We also prove a pro-$p$ analogue of the main theorem of Bass--Serre theory for finitely generated pro-$p$ groups. △ Less

Submitted 7 July, 2017; v1 submitted 1 December, 2016; originally announced December 2016.

Comments: 26 pages, no figures. v2 corrects an error in the proof of the main theorem. This is the final version accepted for publication

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

The structure of limit groups over hyperbolic groups

Authors: Daniel Groves, Henry Wilton

Abstract: Let $Γ$ be a torsion-free hyperbolic group. We study $Γ$--limit groups which, unlike the fundamental case in which $Γ$ is free, may not be finitely presentable or geometrically tractable. We define model $Γ$--limit groups, which always have good geometric properties (in particular, they are always relatively hyperbolic). Given a strict resolution of an arbitrary $Γ$--limit group $L$, we canonicall… ▽ More Let $Γ$ be a torsion-free hyperbolic group. We study $Γ$--limit groups which, unlike the fundamental case in which $Γ$ is free, may not be finitely presentable or geometrically tractable. We define model $Γ$--limit groups, which always have good geometric properties (in particular, they are always relatively hyperbolic). Given a strict resolution of an arbitrary $Γ$--limit group $L$, we canonically construct a strict resolution of a model $Γ$--limit group, which encodes all homomorphisms $L\to Γ$ that factor through the given resolution. We propose this as the correct framework in which to study $Γ$--limit groups algorithmically. We enumerate all $Γ$--limit groups in this framework. △ Less

Submitted 8 May, 2017; v1 submitted 23 March, 2016; originally announced March 2016.

Comments: Version 2 is 54 pages. Changes made according to comments of referee. To appear in Israel Journal of Mathematics

Distinguishing geometries using finite quotients

Authors: Henry Wilton, Pavel Zalesskii

Abstract: We prove that the profinite completion of the fundamental group of a compact 3-manifold $M$ satisfies a Tits alternative: if a closed subgroup $H$ does not contain a free pro-$p$ subgroup for any $p$, then $H$ is virtually soluble, and furthermore of a very particular form. In particular, the profinite completion of the fundamental group of a closed, hyperbolic 3-manifold does not contain a subgro… ▽ More We prove that the profinite completion of the fundamental group of a compact 3-manifold $M$ satisfies a Tits alternative: if a closed subgroup $H$ does not contain a free pro-$p$ subgroup for any $p$, then $H$ is virtually soluble, and furthermore of a very particular form. In particular, the profinite completion of the fundamental group of a closed, hyperbolic 3-manifold does not contain a subgroup isomorphic to $\hat{\mathbb{Z}}^2$. This gives a profinite characterization of hyperbolicity among irreducible 3-manifolds. We also characterize Seifert fibred 3-manifolds as precisely those for which the profinite completion of the fundamental group has a non-trivial procyclic normal subgroup. Our techniques also apply to hyperbolic, virtually special groups, in the sense of Haglund and Wise. Finally, we prove that every finitely generated pro-$p$ subgroup of the profinite completion of a torsion-free, hyperbolic, virtually special group is free pro-$p$. △ Less

Submitted 10 October, 2016; v1 submitted 19 November, 2014; originally announced November 2014.

Comments: 45 pages. Added Lemmas 4.5 and 4.6, showing that the cusp subgroups of a hyperbolic 3-manifold group profinitely form a malnormal family. This is the final version accepted for publication

Journal ref: Geom. Topol. 21 (2017) 345-384

Stackings and the W-cycle conjecture

Authors: Larsen Louder, Henry Wilton

Abstract: We prove Wise's $W$-cycles conjecture. Consider a compact graph $Γ'$ immering into another graph $Γ$. For any immersed cycle $Λ:S^1\to Γ$, we consider the map $Λ'$ from the circular components $\mathbb{S}$ of the pullback to $Γ'$. Unless $Λ'$ is reducible, the degree of the covering map $\mathbb{S}\to S^1$ is bounded above by minus the Euler characteristic of $Γ'$. As a consequence, we obtain a ho… ▽ More We prove Wise's $W$-cycles conjecture. Consider a compact graph $Γ'$ immering into another graph $Γ$. For any immersed cycle $Λ:S^1\to Γ$, we consider the map $Λ'$ from the circular components $\mathbb{S}$ of the pullback to $Γ'$. Unless $Λ'$ is reducible, the degree of the covering map $\mathbb{S}\to S^1$ is bounded above by minus the Euler characteristic of $Γ'$. As a consequence, we obtain a homological version of coherence for one-relator groups. △ Less

Submitted 9 October, 2014; originally announced October 2014.

Comments: 9 pages, 3 figures

MSC Class: 20F65

On the recognition problem for virtually special cube complexes

Authors: Martin R. Bridson, Henry Wilton

Abstract: We address the question of whether the property of being virtually special (in the sense of Haglund and Wise) is algorithmically decidable for finite, non-positively curved cube complexes. Our main theorem shows that it cannot be decided locally, i.e. by examining one hyperplane at a time. Specifically, we prove that there does not exist an algorithm that, given a compact non-positively squared 2-… ▽ More We address the question of whether the property of being virtually special (in the sense of Haglund and Wise) is algorithmically decidable for finite, non-positively curved cube complexes. Our main theorem shows that it cannot be decided locally, i.e. by examining one hyperplane at a time. Specifically, we prove that there does not exist an algorithm that, given a compact non-positively squared 2-complex X and a hyperplane H in X can decide whether or not there is a finite-sheeted cover of X in which no lift of H self-osculates. △ Less

Submitted 19 June, 2017; v1 submitted 11 August, 2014; originally announced August 2014.

Comments: 9 pages, 2 figures. This is the final version accepted for publication

MSC Class: 20F10; 20F67; 57M07

Decision problems for 3-manifolds and their fundamental groups

Authors: Matthias Aschenbrenner, Stefan Friedl, Henry Wilton

Abstract: We survey the status of some decision problems for 3-manifolds and their fundamental groups. This includes the classical decision problems for finitely presented groups (Word Problem, Conjugacy Problem, Isomorphism Problem), and also the Homeomorphism Problem for 3-manifolds and the Membership Problem for 3-manifold groups. We survey the status of some decision problems for 3-manifolds and their fundamental groups. This includes the classical decision problems for finitely presented groups (Word Problem, Conjugacy Problem, Isomorphism Problem), and also the Homeomorphism Problem for 3-manifolds and the Membership Problem for 3-manifold groups. △ Less

Submitted 17 February, 2015; v1 submitted 24 May, 2014; originally announced May 2014.

Comments: 31 pages, final version

Undecidability and the developability of permutoids and rigid pseudogroups

Authors: Martin R. Bridson, Henry Wilton

Abstract: A permutoid is a set of partial permutations that contains the identity and is such that partial compositions, when defined, have at most one extension in the set. In 2004 Peter Cameron conjectured that there can exist no algorithm that determines whether or not a finite permutoid based on a finite set can be completed to a finite permutation group, and he related this problem to the study of grou… ▽ More A permutoid is a set of partial permutations that contains the identity and is such that partial compositions, when defined, have at most one extension in the set. In 2004 Peter Cameron conjectured that there can exist no algorithm that determines whether or not a finite permutoid based on a finite set can be completed to a finite permutation group, and he related this problem to the study of groups that have no non-trivial finite quotients. This note explains how our recent work on the profinite triviality problem for finitely presented groups can be used to prove Cameron's conjecture. We also prove that the existence problem for finite developments of rigid pseudogroups is unsolvable. △ Less

Submitted 8 February, 2017; v1 submitted 17 May, 2014; originally announced May 2014.

Comments: 18 pages, including an appendix by Benjamin Steinberg. This is the final version accepted for publication

MSC Class: 20F10; 05C60; (20M18; 08A50)

3-manifolds everywhere

Authors: Danny Calegari, Henry Wilton

Abstract: A random group contains many subgroups which are isomorphic to the fundamental group of a compact hyperbolic 3-manifold with totally geodesic boundary. These subgroups can be taken to be quasi-isometrically embedded. This is true both in the few relators model, and the density model of random groups (at any density less than a half). A random group contains many subgroups which are isomorphic to the fundamental group of a compact hyperbolic 3-manifold with totally geodesic boundary. These subgroups can be taken to be quasi-isometrically embedded. This is true both in the few relators model, and the density model of random groups (at any density less than a half). △ Less

Submitted 21 February, 2017; v1 submitted 28 April, 2014; originally announced April 2014.

Comments: 38 pages, 10 figures; v2: typos corrected; v3: this is the final version accepted for publication

The isomorphism problem for profinite completions of residually finite groups

Authors: Martin R. Bridson, Henry Wilton

Abstract: We consider pairs of finitely presented, residually finite groups $u:P\hookrightarrow Γ$. We prove that there is no algorithm that, given an arbitrary such pair, can determine whether or not the associated map of profinite completions $\hat{u}: \widehat{P} \to \widehatΓ$ is an isomorphism. Nor do there exist algorithms that can decide whether $\hat{u}$ is surjective, or whether $\widehat{P}$ is is… ▽ More We consider pairs of finitely presented, residually finite groups $u:P\hookrightarrow Γ$. We prove that there is no algorithm that, given an arbitrary such pair, can determine whether or not the associated map of profinite completions $\hat{u}: \widehat{P} \to \widehatΓ$ is an isomorphism. Nor do there exist algorithms that can decide whether $\hat{u}$ is surjective, or whether $\widehat{P}$ is isomorphic to $\widehatΓ$. △ Less

Submitted 13 January, 2014; originally announced January 2014.

Comments: 12 pages

MSC Class: 20E18; 20F10; (57M07; 20F65)

The membership problem for 3-manifold groups is solvable

Authors: Stefan Friedl, Henry Wilton

Abstract: We show that the Membership Problem for finitely generated subgroups of 3-manifold groups is solvable. We show that the Membership Problem for finitely generated subgroups of 3-manifold groups is solvable. △ Less

Submitted 12 January, 2014; originally announced January 2014.

Comments: 19 pages

MSC Class: 20F10; 57M05

Journal ref: Algebr. Geom. Topol. 16 (2016) 1827-1850

The triviality problem for profinite completions

Authors: Martin R. Bridson, Henry Wilton

Abstract: We prove that there is no algorithm that can determine whether or not a finitely presented group has a non-trivial finite quotient; indeed, this remains undecidable among the fundamental groups of compact, non-positively curved square complexes. We deduce that many other properties of groups are undecidable. For hyperbolic groups, there cannot exist algorithms to determine largeness, the existence… ▽ More We prove that there is no algorithm that can determine whether or not a finitely presented group has a non-trivial finite quotient; indeed, this remains undecidable among the fundamental groups of compact, non-positively curved square complexes. We deduce that many other properties of groups are undecidable. For hyperbolic groups, there cannot exist algorithms to determine largeness, the existence of a linear representation with infinite image (over any infinite field), or the rank of the profinite completion. △ Less

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

Comments: 36 pages, 2 figures. Final version as accepted for publication, incorporating referee's comments. To appear in Inventiones Mathematicae

MSC Class: 20F10; 20F67; 57M07; 20E18; 20F65

Random graphs of free groups contain surface subgroups

Authors: Danny Calegari, Henry Wilton

Abstract: A random graph of free groups contains a surface subgroup A random graph of free groups contains a surface subgroup △ Less

Submitted 11 March, 2013; originally announced March 2013.

Comments: 13 pages

Recognizing geometric 3-manifold groups using the word problem

Authors: Daniel Groves, Jason Fox Manning, Henry Wilton

Abstract: Adyan and Rabin showed that most properties of groups cannot be algorithmically recognized from a finite presentation alone. We prove that, if one is also given a solution to the word problem, then the class of fundamental groups of closed, geometric 3-manifolds is algorithmically recognizable. In our terminology, the class of geometric 3-manifold groups is `recursive modulo the word problem'. Adyan and Rabin showed that most properties of groups cannot be algorithmically recognized from a finite presentation alone. We prove that, if one is also given a solution to the word problem, then the class of fundamental groups of closed, geometric 3-manifolds is algorithmically recognizable. In our terminology, the class of geometric 3-manifold groups is `recursive modulo the word problem'. △ Less

Submitted 7 October, 2012; originally announced October 2012.

Comments: 30 pages

3-manifold groups

Authors: Matthias Aschenbrenner, Stefan Friedl, Henry Wilton

Abstract: We summarize properties of 3-manifold groups, with a particular focus on the consequences of the recent results of Ian Agol, Jeremy Kahn, Vladimir Markovic and Dani Wise. We summarize properties of 3-manifold groups, with a particular focus on the consequences of the recent results of Ian Agol, Jeremy Kahn, Vladimir Markovic and Dani Wise. △ Less

Submitted 24 April, 2013; v1 submitted 1 May, 2012; originally announced May 2012.

Comments: 149 pages, 6 coloured diagrams, coloured printing recommended. Comments are very welcome. The third version is a considerable expanded version of the second version. We hope that this will now be close to the final version

Enumerating limit groups: A Corrigendum

Authors: Daniel Groves, Henry Wilton

Abstract: We discuss two possible interpretations of Definition 1.1 from \cite{GW}. We discuss two possible interpretations of Definition 1.1 from \cite{GW}. △ Less

Submitted 6 December, 2011; originally announced December 2011.

Comments: 2 pages

MSC Class: 20F10; 20F65

Separability of double cosets and conjugacy classes in 3-manifold groups

Authors: Emily Hamilton, Henry Wilton, Pavel Zalesskii

Abstract: Let M = H^3 / Γbe a hyperbolic 3-manifold of finite volume. We show that if H and K are abelian subgroups of Γand g is in Γ, then the double coset HgK is separable in Γ. As a consequence we prove that if M is a closed, orientable, Haken 3-manifold and the fundamental group of every hyperbolic piece of the torus decomposition of M is conjugacy separable then so is the fundamental group of M. Invoki… ▽ More Let M = H^3 / Γbe a hyperbolic 3-manifold of finite volume. We show that if H and K are abelian subgroups of Γand g is in Γ, then the double coset HgK is separable in Γ. As a consequence we prove that if M is a closed, orientable, Haken 3-manifold and the fundamental group of every hyperbolic piece of the torus decomposition of M is conjugacy separable then so is the fundamental group of M. Invoking recent work of Agol and Wise, it follows that if M is a compact, orientable 3-manifold then π_1(M) is conjugacy separable. △ Less

Submitted 15 May, 2012; v1 submitted 13 September, 2011; originally announced September 2011.

Comments: 25 pages; incorporates Agol's solution to the Virtually Haken Conjecture to prove conjugacy separability for all 3-manifold groups; to appear in the Journal of the LMS

MSC Class: 20E26; 57MO5

One-ended subgroups of graphs of free groups with cyclic edge groups

Authors: Henry Wilton

Abstract: Consider a one-ended word-hyperbolic group. If it is the fundamental group of a graph of free groups with cyclic edge groups then either it is the fundamental group of a surface or it contains a finitely generated one-ended subgroup of infinite index. As a corollary, the same holds for limit groups. We also obtain a characterisation of surfaces with boundary among free groups equipped with periphe… ▽ More Consider a one-ended word-hyperbolic group. If it is the fundamental group of a graph of free groups with cyclic edge groups then either it is the fundamental group of a surface or it contains a finitely generated one-ended subgroup of infinite index. As a corollary, the same holds for limit groups. We also obtain a characterisation of surfaces with boundary among free groups equipped with peripheral structures. △ Less

Submitted 26 February, 2011; v1 submitted 14 February, 2011; originally announced February 2011.

Comments: 22 pages, 3 figures, corrected typos in the introduction

MSC Class: 20F65; 20F67; 57M07

Journal ref: Geom. Topol. 16 (2012) 665-683

Alternating quotients of free groups

Authors: Henry Wilton

Abstract: We strengthen Marshall Hall's Theorem to show that free groups are locally extended residually alternating. Let F be any free group of rank at least two, let H be a finitely generated subgroup of infinite index in F and let {g_1,...,g_n} be a finite subset of F-H. Then there is a surjection f from F to a finite alternating group such that f(g_i) is not in f(H) for any i. The techniques of this pap… ▽ More We strengthen Marshall Hall's Theorem to show that free groups are locally extended residually alternating. Let F be any free group of rank at least two, let H be a finitely generated subgroup of infinite index in F and let {g_1,...,g_n} be a finite subset of F-H. Then there is a surjection f from F to a finite alternating group such that f(g_i) is not in f(H) for any i. The techniques of this paper can also provide symmetric quotients. △ Less

Submitted 9 December, 2011; v1 submitted 30 April, 2010; originally announced May 2010.

Comments: 11 pages, 5 figures. Referee's comments incorporated. To appear in L'Enseignement Mathématique

MSC Class: 20E05; 20E26

On the difficulty of presenting finitely presentable groups

Authors: Martin R Bridson, Henry Wilton

Abstract: We exhibit classes of groups in which the word problem is uniformly solvable but in which there is no algorithm that can compute finite presentations for finitely presentable subgroups. Direct products of hyperbolic groups, groups of integer matrices, and right-angled Coxeter groups form such classes. We discuss related classes of groups in which there does exist an algorithm to compute finite pre… ▽ More We exhibit classes of groups in which the word problem is uniformly solvable but in which there is no algorithm that can compute finite presentations for finitely presentable subgroups. Direct products of hyperbolic groups, groups of integer matrices, and right-angled Coxeter groups form such classes. We discuss related classes of groups in which there does exist an algorithm to compute finite presentations for finitely presentable subgroups. We also construct a finitely presented group that has a polynomial Dehn function but in which there is no algorithm to compute the first Betti number of the finitely presentable subgroups. △ Less

Submitted 28 February, 2011; v1 submitted 26 March, 2010; originally announced March 2010.

Comments: Final version. To appear in GGD volume dedicated to Fritz Grunewald

MSC Class: 20F10 (20F65; 20F67)

Polygonal words in free groups

Authors: Sang-hyun Kim, Henry Wilton

Abstract: A longstanding question of Gromov asks whether every one-ended word-hyperbolic group contains a subgroup isomorphic to the fundamental group of a closed hyperbolic surface. An infinite family of word-hyperbolic groups can be obtained by taking doubles of free groups amalgamated along words that are not proper powers. We define a set of polygonal words in a free group of finite rank, and prove that… ▽ More A longstanding question of Gromov asks whether every one-ended word-hyperbolic group contains a subgroup isomorphic to the fundamental group of a closed hyperbolic surface. An infinite family of word-hyperbolic groups can be obtained by taking doubles of free groups amalgamated along words that are not proper powers. We define a set of polygonal words in a free group of finite rank, and prove that polygonality of the amalgamating word guarantees that the associated square complex virtually contains a $π_1$-injective closed surface. We provide many concrete examples of classes of polygonal words. For instance, in the case when the rank is 2, we establish polygonality of words without an isolated generator, and also of almost all simple height 1 words, including Baumslag--Solitar relator $a^p (a^q)^b$ for $pq\ne0$. △ Less

Submitted 25 October, 2010; v1 submitted 25 October, 2009; originally announced October 2009.

Comments: 23 pages, 8 figures

MSC Class: 20F36; 20F65

Conjugacy separability of 1-acylindrical graphs of free groups

Authors: Owen Cotton-Barratt, Henry Wilton

Abstract: We use the theory of group actions on profinite trees to prove that the fundamental group of a finite, 1-acylindrical graph of free groups with finitely generated edge groups is conjugacy separable. This has several applications: we prove that positive, $C'(1/6)$ one-relator groups are conjugacy separable; we provide a conjugacy separable version of the Rips construction; we use this latter to p… ▽ More We use the theory of group actions on profinite trees to prove that the fundamental group of a finite, 1-acylindrical graph of free groups with finitely generated edge groups is conjugacy separable. This has several applications: we prove that positive, $C'(1/6)$ one-relator groups are conjugacy separable; we provide a conjugacy separable version of the Rips construction; we use this latter to provide an example of two finitely presented, residually finite groups that have isomorphic profinite completions, such that one is conjugacy separable and the other does not even have solvable conjugacy problem. △ Less

Submitted 30 May, 2009; originally announced June 2009.

Comments: 14 pages

MSC Class: 20E06; 20E26

Some virtually special hyperbolic 3-manifold groups

Authors: Eric Chesebro, Jason DeBlois, Henry Wilton

Abstract: Let M be a complete hyperbolic 3-manifold of finite volume that admits a decomposition into right-angled ideal polyhedra. We show that M has a deformation retraction that is a virtually special square complex, in the sense of Haglund and Wise and deduce that such manifolds are virtually fibered. We generalise a theorem of Haglund and Wise to the relatively hyperbolic setting and deduce that the fu… ▽ More Let M be a complete hyperbolic 3-manifold of finite volume that admits a decomposition into right-angled ideal polyhedra. We show that M has a deformation retraction that is a virtually special square complex, in the sense of Haglund and Wise and deduce that such manifolds are virtually fibered. We generalise a theorem of Haglund and Wise to the relatively hyperbolic setting and deduce that the fundamental group of M is LERF and that the geometrically finite subgroups of the fundamental group are virtual retracts. Examples of 3-manifolds admitting such a decomposition include augmented link complements. We classify the low-complexity augmented links and describe an infinite family with complements not commensurable to any 3-dimensional reflection orbifold. △ Less

Submitted 1 June, 2010; v1 submitted 30 March, 2009; originally announced March 2009.

Comments: 51 pages, 13 figures. Referee's comments incorporated. To appear in Commentarii Mathematici Helvetici

MSC Class: 20E26; 57M10

On surface subgroups of doubles of free groups

Authors: Cameron Gordon, Henry Wilton

Abstract: We give several sufficient conditions for a double of a free group along a cyclic subgroup to contain a surface subgroup. We give several sufficient conditions for a double of a free group along a cyclic subgroup to contain a surface subgroup. △ Less

Submitted 21 February, 2009; originally announced February 2009.

Comments: 21 pages, 1 figure

MSC Class: 20F65; 20F67; 57M07

Virtual retractions, conjugacy separability and omnipotence

Authors: Henry Wilton

Abstract: We use wreath products to provide criteria for a group to be conjugacy separable or omnipotent. These criteria are in terms of virtual retractions onto cyclic subgroups. We give two applications: a straightforward topological proof of the theorem of Stebe that infinite-order elements of Fuchsian groups (of the first type) are conjugacy distinguished, and a proof that surface groups are omnipoten… ▽ More We use wreath products to provide criteria for a group to be conjugacy separable or omnipotent. These criteria are in terms of virtual retractions onto cyclic subgroups. We give two applications: a straightforward topological proof of the theorem of Stebe that infinite-order elements of Fuchsian groups (of the first type) are conjugacy distinguished, and a proof that surface groups are omnipotent. △ Less

Submitted 12 September, 2008; originally announced September 2008.

Comments: 18 pages

MSC Class: 20E26; 57N05

Profinite properties of graph manifolds

Authors: Henry Wilton, Pavel Zalesskii

Abstract: Let $M$ be a closed, orientable, irreducible, geometrizable 3-manifold. We prove that the profinite topology on the fundamental group of $π_1(M)$ is efficient with respect to the JSJ decomposition of $M$. We go on to prove that $π_1(M)$ is good, in the sense of Serre, if all the pieces of the JSJ decomposition are. We also prove that if $M$ is a graph manifold then $π_1(M)$ is conjugacy separable. Let $M$ be a closed, orientable, irreducible, geometrizable 3-manifold. We prove that the profinite topology on the fundamental group of $π_1(M)$ is efficient with respect to the JSJ decomposition of $M$. We go on to prove that $π_1(M)$ is good, in the sense of Serre, if all the pieces of the JSJ decomposition are. We also prove that if $M$ is a graph manifold then $π_1(M)$ is conjugacy separable. △ Less

Submitted 7 August, 2012; v1 submitted 23 July, 2008; originally announced July 2008.

Comments: v2, corrected an error in Lemma 2.3. v3 filled a gap in the proof (see Definition 5.1). 26 pages

MSC Class: 20E26; 57N10

Residually free 3-manifolds

Authors: Henry Wilton

Abstract: We classify those compact 3-manifolds with incompressible toral boundary whose fundamental groups are residually free. For example, if such a manifold $M$ is prime and orientable and the fundamental group of $M$ is non-trivial then $M \cong Σ\times S^1$, where $Σ$ is a surface. We classify those compact 3-manifolds with incompressible toral boundary whose fundamental groups are residually free. For example, if such a manifold $M$ is prime and orientable and the fundamental group of $M$ is non-trivial then $M \cong Σ\times S^1$, where $Σ$ is a surface. △ Less

Submitted 12 September, 2008; v1 submitted 6 February, 2008; originally announced February 2008.

Comments: 19 pages, referee's comments incorporated, to appear in Algebraic & Geometric Topology

MSC Class: 20F65; 57N10

Journal ref: Algebr. Geom. Topol. 8 (2008) 2031-2047

Conjugacy classes of solutions to equations and inequations over hyperbolic groups

Authors: Daniel Groves, Henry Wilton

Abstract: We study conjugacy classes of solutions to systems of equations and inequations over torsion-free hyperbolic groups, and describe an algorithm to recognize whether or not there are finitely many conjugacy classes of solutions to such a system. The class of immutable subgroups of hyperbolic groups is introduced, which is fundamental to the study of equations in this context. We apply our results… ▽ More We study conjugacy classes of solutions to systems of equations and inequations over torsion-free hyperbolic groups, and describe an algorithm to recognize whether or not there are finitely many conjugacy classes of solutions to such a system. The class of immutable subgroups of hyperbolic groups is introduced, which is fundamental to the study of equations in this context. We apply our results to enumerate the immutable subgroups of a torsion-free hyperbolic group. △ Less

Submitted 19 August, 2009; v1 submitted 9 October, 2007; originally announced October 2007.

Comments: 28 pages; referee's comments incorporated; to appear in the Journal of Topology

MSC Class: 20F10; 20F65

Subgroup separability in residually free groups

Authors: Martin R. Bridson, Henry Wilton

Abstract: We prove that the finitely presentable subgroups of residually free groups are separable and that the subgroups of type $\mathrm{FP}_\infty$ are virtual retracts. We describe a uniform solution to the membership problem for finitely presentable subgroups of residually free groups. We prove that the finitely presentable subgroups of residually free groups are separable and that the subgroups of type $\mathrm{FP}_\infty$ are virtual retracts. We describe a uniform solution to the membership problem for finitely presentable subgroups of residually free groups. △ Less

Submitted 28 June, 2007; originally announced June 2007.

Comments: 8 pages, no figures

MSC Class: 20F65 (20E26; 20E05)

Enumerating limit groups

Authors: Daniel Groves, Henry Wilton

Abstract: We prove that the set of limit groups is recursive, answering a question of Delzant. One ingredient of the proof is the observation that a finitely presented group with local retractions (a la Long and Reid) is coherent and, furthermore, there exists an algorithm that computes presentations for finitely generated subgroups. The other main ingredient is the ability to algorithmically calculate ce… ▽ More We prove that the set of limit groups is recursive, answering a question of Delzant. One ingredient of the proof is the observation that a finitely presented group with local retractions (a la Long and Reid) is coherent and, furthermore, there exists an algorithm that computes presentations for finitely generated subgroups. The other main ingredient is the ability to algorithmically calculate centralizers in relatively hyperbolic groups. Applications include the existence of recognition algorithms for limit groups and free groups. △ Less

Submitted 22 May, 2007; v1 submitted 9 April, 2007; originally announced April 2007.

Comments: 14 pages; added recognition algorithms for free groups and surface groups

MSC Class: 20F10; 20F65

Hall's Theorem for limit groups

Authors: Henry Wilton

Abstract: A celebrated theorem of Marshall Hall Jr. implies that finitely generated free groups are subgroup separable and that all of their finitely generated subgroups are retracts of finite-index subgroups. We use topological techniques inspired by the work of Stallings to prove that all limit groups share these two properties. This answers a question of Sela. A celebrated theorem of Marshall Hall Jr. implies that finitely generated free groups are subgroup separable and that all of their finitely generated subgroups are retracts of finite-index subgroups. We use topological techniques inspired by the work of Stallings to prove that all limit groups share these two properties. This answers a question of Sela. △ Less

Submitted 7 June, 2007; v1 submitted 19 May, 2006; originally announced May 2006.

Comments: 39 pages, 4 figures, added a double-coset-separability result, to appear in GAFA

MSC Class: 20F65 (20E26; 20E05)

Solutions to Bestvina & Feighn's Exercises on Limit Groups

Authors: Henry Wilton

Abstract: This article gives solutions to the exercises in Bestvina and Feighn's paper on Sela's work on limit groups. We prove that all constructible limit groups are limit groups and give an account of the shortening argument of Rips and Sela. This article gives solutions to the exercises in Bestvina and Feighn's paper on Sela's work on limit groups. We prove that all constructible limit groups are limit groups and give an account of the shortening argument of Rips and Sela. △ Less

Submitted 6 April, 2006; originally announced April 2006.

Comments: 31 pages, 2 figures. To appear in `Geometry and Cohomology in Group Theory (Durham, 2003)'

MSC Class: 20F65; 20E05

Elementarily free groups are subgroup separable

Authors: Henry Wilton

Abstract: Elementarily free groups are the finitely generated groups with the same elementary theory as free groups. We prove that elementarily free groups are subgroup separable, answering a question of Zlil Sela. Elementarily free groups are the finitely generated groups with the same elementary theory as free groups. We prove that elementarily free groups are subgroup separable, answering a question of Zlil Sela. △ Less

Submitted 16 November, 2005; originally announced November 2005.

Comments: 33 pages

MSC Class: 20F65 (20E26; 20E05)

Limit groups, positive-genus towers and measure equivalence

Authors: Martin R Bridson, Michael Tweedale, Henry Wilton

Abstract: By definition, an $ω$-residually free tower is positive-genus if all surfaces used in its construction are of positive genus. We prove that every limit group is virtually a subgroup of a positive-genus $ω$-residually free tower. By combining this with results of Gaboriau, we prove that elementarily free groups are measure equivalent to free groups. By definition, an $ω$-residually free tower is positive-genus if all surfaces used in its construction are of positive genus. We prove that every limit group is virtually a subgroup of a positive-genus $ω$-residually free tower. By combining this with results of Gaboriau, we prove that elementarily free groups are measure equivalent to free groups. △ Less

Submitted 7 November, 2006; v1 submitted 10 November, 2005; originally announced November 2005.

Comments: 10 pages; no figures. Minor changes; now to appear in Ergod. Th. & Dynam. Sys

MSC Class: 20F65; 37A20 (20E05; 22F10)