Related papers: An introduction to semistability in geometric grou…
Every countable group $G$ can be embedded in a finitely generated group $G^*$ that is hopfian and complete, i.e. $G^*$ has trivial centre and every epimorphism $G^*\to G^*$ is an inner automorphism. Every finite subgroup of $G^*$ is…
In this paper we introduce a homotopy theoretic technique for proving that the $K$-theoretic assembly map is an equivalence. It is an extension of the methods used to prove split injectivity of the assembly and applies to any geometrically…
The girth of a finitely generated group G is the supremum of the girth of Cayley graphs for G over all finite generating sets. Let G be a finitely generated subgroup of the mapping class group Mod(S), where S is a compact orientable…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
We investigate properties which ensure that a given finite graph is the commuting graph of a group or semigroup. We show that all graphs on at least two vertices such that no vertex is adjacent to all other vertices is the commuting graph…
We show that every subgroup of the mapping class group MCG(S) of a compact surface S is either virtually abelian or it has infinite dimensional second bounded cohomology. As an application, we give another proof of the…
We show that every non-trivial compact connected group and every non-trivial general or special linear group over an infinite field admits a generating set such that the associated Cayley graph has infinite diameter.
We develop a theory of quasisymmetries for finitely ramified fractals, with applications to finitely ramified Julia sets. We prove that certain finitely ramified fractals admit a naturally defined class of "undistorted metrics" that are all…
The main result of this article is a refinement of the well-known subgroup separability results of Hall and Scott for free and surface groups. We show that for any finitely generated subgroup, there is a finite dimensional representation of…
I explicitly compute the Eilenberg-Mac Lane homology of a completely simple semigroup using topological means. I also complete Gray and Pride's investigation into the homological finiteness properties of completely simple semigroups, as…
We give technical conditions for a quasi-isometry of pairs to preserve a subgroup being hyperbolically embedded. We consider applications to the quasi-isometry and commensurability invariance of acylindrical hyperbolicity of finitely…
We prove an accessibility theorem for finite-index splittings of groups. Given a finitely presented group G there is a number n(G) such that, for every reduced locally finite G-tree T with finitely generated stabilizers, T/G has at most…
We give a group theoretic characterization of geodesics with superlinear divergence in the Cayley graph of a right-angled Artin group A(G) with connected defining graph G. We use this to determine when two points in an asymptotic cone of…
We provide a complete classification of groups that can be realized as isometry groups of a translation surface $M$ with non-finitely generated fundamental group and no planar ends. Furthermore, we demonstrate that if $S$ has no…
We generalize the concept of divergence of finitely generated groups by introducing the upper and lower relative divergence of a finitely generated group with respect to a subgroup. Upper relative divergence generalizes Gersten's notion of…
Does a space enjoying good finiteness properties admit an algebraic model with commensurable finiteness properties? In this note, we provide a rational homotopy obstruction for this to happen. As an application, we show that the maximal…
We consider various notions of completeness in symplectic topology and ask two related questions. Does a complete open symplectic manifold remain complete after excising a subset? Can two sets be made arbitrarily far apart by adjusting the…
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 characterize which cobounded quasigeodesics in the Teichmueller space T of a closed surface are at bounded distance from a geodesic. More generally, given a cobounded lipschitz path gamma in T, we show that gamma is a quasigeodesic with…
Does every one-ended $CAT(0)$ group have semistable fundamental group at infinity? As we write, this is an open question. Let $G$ be such a group acting geometrically on the proper $CAT(0)$ space $X$. In this paper we show that in order to…