Related papers: Gromov Conjecture on Surface Subgroups: Computatio…

We obtain a number of finiteness results for groups acting on Gromov-hyperbolic spaces. In particular we show that a torsion-free locally quasiconvex hyperbolic group has only finitely many conjugacy classes of $n$-generated one-ended…

Consider a relatively hyperbolic group G. We prove that if G is finitely presented, so are its parabolic subgroups. Moreover, a presentation of the parabolic subgroups can be found algorithmically from a presentation of G, a solution of its…

The general {\bf surface group conjecture} asks whether a one-relator group where every subgroup of finite index is again one-relator and every subgroup of infinite index is free (property IF) is a surface group. We resolve several related…

We present a theoretical algorithm which, given any finite presentation of a group as input, will terminate with answer yes if and only if the group is large. We then implement a practical version of this algorithm using Magma and apply it…

In [BBM21], Belk, Bleak and Matucci proved that hyperbolic groups can be seen as subgroups of the rational group. In order to do so, they associated a tree of atoms to each hyperbolic group. Not so many connections between this tree and the…

We show that Baumslag-Solitar groups are virtually 2-avoidable, that is, they admit finite index subgroup whose first homology is devoid of $\mathbb{Z}_2$ summand. We also prove virtual 2-avoidability for some other classes of one-relator…

Let I(p,v) be Bourdon's building, the unique simply-connected 2-complex such that all 2-cells are regular right-angled hyperbolic p-gons and the link at each vertex is the complete bipartite graph K(v,v). We investigate and mostly determine…

The study of word hyperbolic groups is a prominent topic in geometric group theory; however word hyperbolic groups are defined by a geometric condition which does not extend naturally to semigroups. We propose a linguistic definition.…

We show that a one-ended simply connected at infinity hyperbolic group $G$ with enough codimension-1 surface subgroups has $\partial G \cong \mathbb{S}^2$. Combined with a result of Markovic, our result gives a new characterization of…

Motivated by its applications to the word problem for one-relator inverse monoids, via results of Ivanov, Margolis, and Meakin (2001), we prove several decidability and undecidability results about the submonoid membership problem in…

A cocompact lattice in a semisimple Lie group $G$ is a discrete subgroup $\Gamma$ such that the quotient $G/\Gamma$ is compact. Does such a lattice always contain a surface group, i.e. a subgroup isomorphic to the fundamental group of a…

This work is concerned with the stable norm in word hyperbolic groups as defined by Gromov. We give a short elementary proof of one of its basic property, that is existence of a computable uniform non null lower bound for stable norm in a…

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

We generalize the notion of tight geodesics in the curve complex to tight trees. We then use tight trees to construct model geometries for certain surface bundles over graphs. This extends some aspects of the combinatorial model for doubly…

We give a sufficient condition under which the fundamental group of a reglued graph of surfaces is hyperbolic. A reglued graph of surfaces is constructed by cutting a fixed graph of surfaces along the edge surfaces, then regluing by…

The 1973 Boone-Higman conjecture predicts that every finitely generated group with solvable word problem embeds in a finitely presented simple group. In this paper, we show that hyperbolic groups satisfy this conjecture, that is, each…

In this note, we prove that a random extension of either the free group $F_N$ of rank $N\ge3$ or of the fundamental group of a closed, orientable surface $S_g$ of genus $g\ge2$ is a hyperbolic group. Here, a random extension is one…

The Boone--Higman conjecture is that every recursively presented group with solvable word problem embeds in a finitely presented simple group. We discuss a brief history of this conjecture and work towards it. Along the way we describe some…

We prove that a word hyperbolic group whose Gromov boundary properly contains a $2$-sphere cannot admit a projective Anosov representation into $\mathsf{Sp}_{2m}(\mathbb{C})$, $m\in \mathbb{N}$. We also prove that a word hyperbolic group…

In response to a question raised by Belolipetsky and the first author, we prove that for every finite group $G$ there are infinitely many isomorphism classes of compact complex hyperbolic $2$-manifolds with automorphism group isomorphic to…