Search

We develop a method for proving the Boone--Higman Conjecture for groups acting on locally finite trees. As a consequence, we prove the Boone--Higman Conjecture for all Baumslag--Solitar groups and for all free(finite rank)-by-cyclic groups, solving it in two cases that have been raised explicitly by Belk, Bleak, Matucci and Zaremsky. We also illustrate that our method has applications beyond these cases and can for instance be used to prove the Boone--Higman Conjecture for the Leary--Minasyan groups., Comment: 28 pages; Comments welcome!

Subgroups of direct products of finitely many finitely generated free groups form a natural class that plays an important role in geometric group theory. Its members include fundamental examples, such as the Stallings-Bieri groups. This raises the problem of understanding their geometric invariants. We prove that finitely presented subgroups of direct products of three free groups, as well as subgroups of finiteness type $\mathcal{F}_{n-1}$ in a direct product of $n$ free groups, have Dehn function bounded above by $N^9$. This gives a positive answer to a question of Dison within these important subclasses and provides new insights in the context of Bridson's conjecture that finitely presented subgroups of direct products of free groups have polynomially bounded Dehn function. We also give the first precise computation of a superquadratic Dehn function of a finitely presented subgroup of a direct product of finitely many free groups: we show that the Bridson-Dison group is a subgroup of a direct product of three free groups with Dehn function $N^4$. To prove our results we generalise techniques for "pushing fillings" into normal subgroups and define a new invariant for obtaining optimal lower bounds on Dehn functions., Comment: 77 pages, 4 figures

Given a finitely presented group $G$ and a surjective homomorphism $G\to \mathbb{Z}^n$ with finitely presented kernel $K$, we give an upper bound on the Dehn function of $K$ in terms of an area-radius pair for $G$. As a consequence we obtain that finitely presented coabelian subgroups of hyperbolic groups have polynomially bounded Dehn function. This generalises results of Gersten and Short and our proof can be viewed as a quantified version of results from Renz' thesis on the second BNSR invariant., Comment: 14 pages, 5 figures

We determine the Dehn functions of central products of two families of filiform nilpotent Lie groups of arbitrary dimension with all simply connected nilpotent Lie groups with cyclic centre and strictly lower nilpotency class. We also determine the Dehn functions of all central products of nilpotent Lie groups of dimension at most $5$ with one-dimensional centre. This confirms a conjecture of Llosa Isenrich, Pallier and Tessera for these cases, providing further evidence that the Dehn functions of central products are often strictly lower than those of the factors. Our work generalises previous results of Llosa Isenrich, Pallier and Tessera and produces an uncountable family of nilpotent Lie groups without lattices whose Dehn functions are strictly lower than the ones of the associated Carnot-graded groups. A consequence of our main result is the existence of an infinite family of groups such that Cornulier's bounds on the $e$ for which there is an $O(r^e)$-bilipschitz equivalence between them and their Carnot-graded groups are asymptotically optimal, as the nilpotency class goes to infinity., Comment: 56 pages, 4 figures, 2 tables. Comments welcome. v2: new Theorem VI and moved Appendix B.2 into a new Section 6

Recent constructions have shown that interesting behaviours can be observed in the finiteness properties of K\"ahler groups and their subgroups. In this work, we push this further and exhibit, for each integer $k$, new hyperbolic groups admiting surjective homomorphisms to $\mathbb{Z}$ and to $\mathbb{Z}^{2}$, whose kernel is of type $\mathscr{F}_{k}$ but not of type $\mathscr{F}_{k+1}$. By a fibre product construction, we also find examples of nonnormal subgroups of K\"ahler groups with exotic finiteness properties., Comment: 23 pages

For every $m\geq 2$ we produce an example of a non-hyperbolic finitely presented subgroup $H < G$ of a hyperbolic group $G$, which is the kernel of a surjective homomorphism $\phi: G\to \mathbb{Z}^m$. The examples we produce are of finiteness type $F_2$ and not $F_3$., Comment: 15 pages

We prove that in a cocompact complex hyperbolic arithmetic lattice $\Gamma < {\rm PU}(m,1)$ of the simplest type, deep enough finite index subgroups admit plenty of homomorphisms to $\mathbb{Z}$ with kernel of type $\mathscr{F}_{m-1}$ but not of type $\mathscr{F}_{m}$. This provides many finitely presented non-hyperbolic subgroups of hyperbolic groups and answers an old question of Brady. Our method also yields a proof of a special case of Singer's conjecture for aspherical K\"ahler manifolds., Comment: 22 pages

We give examples of hyperbolic groups which contain subgroups that are of type $\mathscr{F}_{3}$ but not of type $\mathscr{F}_{4}$. These groups are obtained by Dehn filling starting from a non-uniform lattice in ${\rm PO}(8,1)$ which was previously studied by Italiano, Martelli and Migliorini., Comment: 24 pages, 1 figure