Robert Kropholler's Home Page

Robert Kropholler's Research Page

Click on the title to view the abstract!

Non Hyperbolic Free-By-Cyclic and One-Relator Groups (Joint with Jack Button)

New York Journal of Mathematics

Published version    Arxiv version

We show that the free-by-cyclic groups of the form F(2)-by-Z act properly cocompactly on CAT(0) square complexes. We also show using generalised Baumslag-Solitar groups that all known groups defined by a 2-generator 1-relator presentation are either SQ-universal or are cyclic or isomorphic to BS(1,j). Finally we consider free-by-cyclic groups which are not relatively hyperbolic with respect to any collection of subgroups.

Profinite properties of RAAGs and special groups (Joint with Gareth Wilkes)

Bulletin of the London Mathematical Society

Published version    Arxiv version

In this paper we prove that RAAGs are distinguished from each other by their pro-p completions for any choice of prime p, and that RACGs are distinguished from each other by their pro-2 completions. We also give a new proof that hyperbolic virtually special groups are good in the sense of Serre. Furthermore we give an example of a property of the underlying graph of a RAAG that translates to a property of the profinite completion.

Closure Properties in the Class of Multiple Context Free Groups (Joint with Davide Spriano)

Accepted to Groups Complexity Cryptology   
Arxiv version

We show that the class of groups with k-multiple context free word problem is closed under amalgamated free products over finite subgroups. We also show that the intersection of two context free languages need not be multiple context free.

Medium-scale curvature for Cayley graphs (Joint with Assaf Bar-Natan and Moon Duchin)

Arxiv version

We introduce a notion of Ricci curvature for Cayley graphs that can be called medium-scale because it is neither infinitesimal nor asymptotic, but based on a chosen finite radius parameter. For this definition, abelian groups are identically flat, and on the other hand we show that $\kappa\equiv0$ implies the group is virtually abelian. In right-angled Artin groups, the curvature is zero on central elements and negative otherwise. On the other hand, we find nilpotent, CAT(0), and hyperbolic groups with points of positive curvature. We study dependence on generators and behavior under embeddings.

Uncountably many quasi-isometry classes of groups of type $FP$ (Joint with Ian Leary and Ignat Soroko)

Accepted to American Journal of Mathematics   
Arxiv version

Previously one of the authors constructed uncountable families of groups of type $FP$ and of $n$-dimensional Poincaré duality groups for each $n\geq4$. We strengthen these results by showing that these groups comprise uncountably many quasi-isometry classes. We deduce that for each $n\geq4$ there are uncountably many quasi-isometry classes of acyclic $n$-manifolds admitting free cocompact properly discontinuous discrete group actions.

Almost Hyperbolic Groups with Almost Finitely Presented Subgroups

Arxiv version

We construct new examples of CAT(0) groups containing non finitely presented subgroups that are of type $FP_2$, these CAT(0) groups do not contain copies of $\mathbb{Z}^3$. We also give a construction of groups which are of type $F_n$ but not $F_{n+1}$ with no free abelian subgroups of rank greater than $\lceil \frac{n}{3}\rceil$.

A new construction of CAT(0) cube complexes (Joint with Federico Vigolo)

Arxiv version

We introduce the notion of cube complex with coupled link (CLCC) as a mean of constructing interesting CAT(0) cubulated groups. CLCCs are defined locally, making them a useful tool to use when precise control over the links is required. In this paper we study some general properties of CLCCs, such as their (co)homological dimension and criteria for hyperbolicity. Some examples of fundamental groups of CLCCs are RAAGs, RACGs, surface groups and some manifold groups. As immediate applications of our criteria, we reprove the fact that RACGs are hyperbolic if and only if their defining graph is 5-large and we also provide a number of explicit examples of 3-dimensional cubulated hyperbolic groups.

Special cube complexes (based on lectures of Piotr Przytycki)

London Mathematical Society Lecture Note Series (444): Geometric and Cohomological Group Theory

Published version

We give an account on the programme of Wise for proving residual finiteness of hyperbolic groups with quasi-convex hierarchy. The key role is played by special cube complexes introduced by Haglund and Wise. We explain the result of Haglund and Wise saying that special cube complexes are invariant under Malnormal Amalgamation. We also suggest how cubical small cancellation leads to Wise's Malnormal Special Quotient Theorem. As a consequence, all closed hyperbolic 3-manifolds with a geometrically incompressible surface are virtually special.

Groups whose word problems are not semilinear (Joint with Robert H. Gilman and Saul Schleimer)

Groups Complexity Cryptology

Published version    Arxiv version

Suppose that G is a finitely generated group and W is the formal language of words defining the identity in G. We prove that if G is a nilpotent group, the fundamental group of a finite volume hyperbolic three-manifold, or a right-angled Artin group whose graph lies in a certain infinite class, then W is not a multiple context free language.

Hyperbolic Groups with Finitely Presented Subgroups not of Type $F_3$ (With an appendix by Giles Gardam)

Arxiv version

We generalise the constructions of Brady and Lodha to give infinite families of hyperbolic groups, each having a finitely presented subgroup that is not of type $F_3$. By calculating the Euler characteristic of the hyperbolic groups constructed, we prove that infinitely many of them are pairwise non isomorphic. We further show that the first of these constructions cannot be generalised to dimensions higher than 3.

Hyperbolic groups with almost finitely presented subgroups

Arxiv version

In this paper we create many examples of hyperbolic groups with subgroups satisfying interesting finiteness properties. We give the first examples of subgroups of hyperbolic groups which are of type $FP_2$ but not finitely presented. We give uncountably many groups of type $FP_2$ with similar properties to those subgroups of hyperbolic groups. Along the way we create more subgroups of hyperbolic groups which are finitely presented but not of type $FP_3$.

Right-angled Artin group boundaries (Joint with Michael Ben-Zvi)

Arxiv version

In all known examples of a CAT(0) group acting on CAT(0) spaces with non-homeomorphic CAT(0) visual boundaries, the boundaries are each not path connected. In this paper, we show this does not have to be the case by providing examples of right-angled Artin groups which exhibit non-unique CAT(0) boundaries where all of the boundaries are arbitrarily connected. We also prove a combination theorem for certain amalgams of CAT(0) groups to act on spaces with non-path connected visual boundaries. We apply this theorem to some right-angled Artin groups.

Incoherence and Fibering of Many Free-by-Free groups (Joint with Genevieve Walsh)

Arxiv version

We show that free-by-free groups satisfying a particular homological criterion are incoherent. This class is large in nature, including many examples of hyperbolic and non-hyperbolic free-by-free groups. We apply this criterion to finite index subgroups of $F_2\rtimes F_n$ to show incoherence of all such groups, and to other similar classes of groups. Furthermore, we show that a large class of groups, including all these groups, virtually algebraically fiber.

Groups with arbitrary cubical dimension gap (Joint with Chris O'Donnell)

Arxiv version

We prove that if $G=G_1\times\dots\times G_n$ acts essentially, properly and cocompactly on a CAT(0) cube complex $X$, then the cube complex splits as a product. We use this theorem to give various examples of groups for which the minimal dimension of a cube complex the group acts on is strictly larger than that of the minimal dimension of a CAT(0) space upon which the group acts.