Proving finitely presented groups are large by computer

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 to a range of presentations. Our main focus is on 2-generator 1-relator presentations where we have a complete picture of largeness if the relator has exponent sum zero in one generator and word length at most 12, as well as when the relator is in the commutator subgroup and has word length at most 18. Indeed all but a tiny number of presentations define large groups. Finally we look at fundamental groups of closed hyperbolic 3-manifolds, where the algorithm readily determines that a quarter of the groups in the Snappea closed census are large.Comment: 37 pages including 6 pages of table

Strictly ascending HNN extensions in soluble groups

We show that there exist finitely generated soluble groups which are not LERF but which do not contain strictly ascending HNN extensions of a cyclic group. This solves Problem 16.2 in the Kourovka notebook. We further show that there is a finitely presented soluble group which is not LERF but which does not contain a strictly ascending HNN extension of a polycyclic group.Comment: 10 page

Balanced groups and graphs of groups with infinite cyclic edge groups

We give a necessary and sufficient condition for the fundamental group of a finite graph of groups with infinite cyclic edge groups to be acylindrically hyperbolic, from which it follows that a finitely generated group splitting over Z cannot be simple. We also give a necessary and sufficient condition (when the vertex groups are torsion free) for the fundamental group to be balanced, where a group is said to be balanced if $x^m$ conjugate to $x^n$ implies that $|m|=|n|$ for all infinite order elements $x$

Acylindrical hyperbolicity, non simplicity and SQ-universality of groups splitting over Z

We show, using acylindrical hyperbolicity, that a finitely generated group splitting over $\Z$ cannot be simple. We also obtain SQ-universality in most cases, for instance a balanced group (one where if two powers of an infinite order element are conjugate then they are equal or inverse) which is finitely generated and splits over $\Z$ must either be SQ-universal or it is one of exactly seven virtually abelian exceptions.Comment: Much shorter version of 1509.05688 with strengthening of main resul

Non proper HNN extensions and uniform uniform exponential growth

If a finitely generated torsion free group K has the property that all finitely generated subgroups S of K are either small or have growth constant bounded uniformly away from 1 then a non proper HNN extension G of K, that is a semidirect product of K by the integers, has the same property. Here small means cyclic or, if the automorphism has no periodic conjugacy classes, free abelian of bounded rank.Comment: 29 page

Strictly ascending HNN extensions of finite rank free groups that are linear over Z

We find strictly ascending HNN extensions of finite rank free groups possessing a presentation 2-complex which is a non positively curved square complex. On showing these groups are word hyperbolic, we have by results of Wise and Agol that they are linear over the integers. An example is the endomorphism of the free group on a,b with inverses A,B that sends a to aBaab and b to bAbba.Comment: 21 pages, just 1 figur

Properties of linear groups with restricted unipotent elements

We consider linear groups which do not contain unipotent elements of infinite order, which includes all linear groups in positive characteristic, and show that this class of groups has good properties which resemble those held by groups of non positive curvature and which do not hold for arbitrary characteristic zero linear groups. In particular if such a linear group is finitely generated then centralisers virtually split and all finitely generated abelian subgroups are undistorted. If further the group is virtually torsion free (which always holds in characteristic zero) then we have a strong property on small subgroups: any subgroup either contains a non abelian free group or is finitely generated and virtually abelian, hence also undistorted. We present applications, including that the mapping class group of a surface having genus at least 3 has no faithful linear representation which is complex unitary or over any field of positive characteristic.Comment: Incorporates result from arXiv:1610.0846

Finite covers of the infinite cyclic cover of a knot

We show that the commutator subgroup G' of a classical knot group G need not have subgroups of every finite index, but it will if G' has a surjective homomorphism to the integers and we give an exact criterion for that to happen. We also give an example of a smoothly knotted n-sphere in the (n+2)-sphere for all n at least 2 whose infinite cyclic cover is not simply connected but has no proper finite covers

Groups possessing only indiscrete embeddings in SL(2,C)

We give results on when a finitely generated group has only indiscrete embeddings in SL(2,C), with particular reference to 3-manifold groups. For instance if we glue two copies of the figure 8 knot along its torus boundary then the fundamental group of the resulting closed 3-manifold sometimes embeds in SL(2,C) and sometimes does not, depending on the identification. We also give another quick counterexample to Minsky's simple loop question.Comment: Minor changes and update

Virtual finite quotients of finitely generated groups

If G is a semidirect product N by H with N normal and finitely generated then G has the property that every finite group is a quotient of some finite index subgroup of G if and only if one of N and H has this property. This has applications to 3-manifolds and to cyclically presented groups, for instance for any fibred hyperbolic 3-manifold M and any finite simple group S, there is a cyclic cover of M whose fundamental group surjects to S. We also give a short proof of the residual finiteness of ascending HNN extensions of finite rank free groups when the induced map on homology is injective