BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Daniel Groves appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Italiano-Martelli-Migliorini recently constructed hyperbolic groups which have non-hyperbolic subgroups of finite type. Using a closely related construction, Llosa Isenrich-Martelli-Py constructed hyperbolic groups with subgroups of type $F_3$ but not $F_4$. We observe that these hyperbolic groups can be chosen to be special in the sense of Haglund-Wise.
In arXiv:1204.2810 Agol proved the Virtual Haken and Virtual Fibering Conjectures by confirming a conjecture of Wise: Every cubulated hyperbolic group is virtually special. We extend this result to cocompactly cubulated relatively hyperbolic groups with minimal assumptions on the parabolic subgroups. Our proof proceeds by first recubulating to obtain an improper action with controlled stabilizers (a weakly relatively geometric action), and then Dehn filling to obtain many cubulated hyperbolic quotients. We apply our results to prove the Relative Cannon Conjecture for certain cubulated or partially cubulated relatively hyperbolic groups. One of our main results (Theorem A) recovers via different methods a theorem of Oregón-Reyes (arXiv:2003.12702).
We develop the foundations of the theory of relatively geometric actions of relatively hyperbolic groups on CAT(0) cube complexes, a notion introduced in our previous work [5]. In the relatively geometric setting we prove: full relatively quasi-convex subgroups are convex compact; an analog of Agol's Theorem; and a version of Haglund--Wise's Canonical Completion and Retraction.
We introduce a new kind of action of a relatively hyperbolic group on a CAT(0) cube complex, called a relatively geometric action. We provide an application to characterize finite-volume Kleinian groups in terms of action on cube complexes, analogous to the results of Markovic and Haïssinsky in the closed case.
We consider conditions on relatively hyperbolic groups about the non-existence of certain kinds of splittings, and show these properties persist in long Dehn fillings. We deduce that certain connectivity properties of the Bowditch boundary persist under long fillings.
We characterize when (and how) a Right-Angled Artin group splits nontrivially over an abelian subgroup.
We give an alternate proof of Wise's Malnormal Special Quotient Theorem (MSQT), avoiding cubical small cancellation theory. We also show how to deduce Wise's Quasiconvex Hierarchy Theorem from the MSQT and theorems of Hsu--Wise and Haglund--Wise.
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'.
We prove that in a torsion-free hyperbolic group, an element is a test element if and only if it is not contained in a proper retract.
We prove that cubulated hyperbolic groups are virtually special. The proof relies on results of Haglund and Wise which also imply that they are linear groups, and quasi-convex subgroups are separable. A consequence is that closed hyperbolic 3-manifolds have finite-sheeted Haken covers, which resolves the virtual Haken question of Waldhausen and Thurston's virtual fibering question. An appendix to this paper by Agol, Groves, and Manning proves a generalization of the main result of "Residual finiteness, QCERF and fillings of hyperbolic groups".
We discuss two possible interpretations of Definition 1.1 from \cite{GW}.
A group $Γ$ is defined to be cofinitely Hopfian if every homomorphism $Γ\toΓ$ whose image is of finite index is an automorphism. Geometrically significant groups enjoying this property include certain relatively hyperbolic groups and many lattices. A knot group is cofinitely Hopfian if and only if the knot is not a torus knot. A free-by-cyclic group is cofinitely Hopfian if and only if it has trivial centre. Applications to the theory of open mappings between manifolds are presented.
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.
We begin the investigation of Gamma-limit groups, where Gamma is a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. Using the results of Drutu and Sapir, we adapt the results from math.GR/0404440 to this context. Specifically, given a finitely generated group G, and a sequence of pairwise non-conjugate homomorphisms {h_n : G -> Gamma}, we extract an R-tree with a nontrivial isometric G-action. We then prove an analogue of Sela's shortening argument.
We prove that if every hyperbolic group is residually finite, then every quasi-convex subgroup of every hyperbolic group is separable. The main tool is relatively hyperbolic Dehn filling.
Let Gamma be a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. We construct Makanin-Razborov diagrams for Gamma. We also prove that every system of equations over Gamma is equivalent to a finite subsystem, and a number of structural results about Gamma-limit groups.
The purpose of this paper is to investigate torsion-free groups which act properly and cocompactly on CAT(0) metric spaces which have isolated flats, as defined by Hruska. Our approach is to seek results analogous to those of Sela, Kharlampovich and Miasnikov for free groups and to those of Sela (and Rips and Sela) for torsion-free hyperbolic groups. This paper is the first in a series. In this paper we extract an R-tree from an asymptotic cone of certain CAT(0) spaces. This is analogous to a construction of Paulin, and allows a great deal of algebraic information to be inferred, most of which is left to future work.