Search
Now showing items 1-7 of 7
The Triviality problem for profinite completions
(SpringerInventiones Mathematicae, 2015-02-24)
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 property remains undecidable among the fundamental groups of compact, ...
3-manifolds everywhere
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 ...
Distinguishing geometries using finite quotients
(Mathematical Sciences PublishersGeometry and Topology, 2017-02-10)
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, ...
Stackings and the W-cycles conjecture
We prove Wise’s W-cycles conjecture: Consider a compact graph Γ′ immersing into another graph Γ. For any immersed cycle Λ : S¹ → Γ, we consider the map Λ′ from the circular components S of the pullback to Γ′. Unless Λ′ is ...
Undecidability and the developability of permutoids and rigid pseudogroups
(Cambridge University PressForum of Mathematics, Sigma, 2017-03-20)
A $\textit{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 ...
Pro-p subgroups of profinite completions of 3-manifold 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 ...