In this paper we study obstructions to presentability by products for finitely generated groups. Along the way we develop both the concept of acentral subgroups, and the relations between presentability by products on the one hand, and certain geometric and measure or orbit equivalence invariants of groups on the other. This leads to many new examples of groups not presentable by products, including all groups with infinitely many ends, the (outer) automorphism groups of free groups, Thompson's groups, and even some elementary amenable groups.
In this paper it is shown how to construct a finite topological space $X$ for a given finitely presentable group $G$ such that $π_1(X)\cong G$. Our construction is not optimal in the sense that the cardinality of the space $X$ might not be the smallest possible. Our main result applies to a large class of interesting groups, including all finite groups.
We demonstrate under appropriate finiteness conditions that a coarse embedding induces an inequality of homological Dehn functions. Applications of the main results include a characterization of what finitely presentable groups may admit a coarse embedding into a hyperbolic group of geometric dimension $2$, characterizations of finitely presentable subgroups of groups with quadratic Dehn function with geometric dimension $2$, and to coarse embeddings of nilpotent groups into other nilpotent groups of the same growth and into hyperbolic groups.
Let $G$ be a finitely presented group. A new complexity called \textit{Karoubi-Weibel complexity} or \textit{covering type}, is defined for $G$. The construction is inspired by recent work of Karoubi and Weibel \cite{KW}, initially applied to topological spaces. We introduce a similar notion in combinatorial form in order to apply it to finitely presentable groups. Some properties of this complexity as well as a few examples of calculation/estimation for certain classes of finitely presentable groups are considered. Finally we give a few applications of complexity to some geometric problems, n…
We review the Burghelea conjecture, which constitutes a full computation of the periodic cyclic homology of complex group rings, and its relation to the algebraic Baum-Connes conjecture. The Burghelea conjecture implies the Bass conjecture. We state two conjectures about groups of finite asymptotic dimension, which together imply the Burghelea conjecture for such groups. We prove both conjectures for many classes of groups. It is known that the Burghelea conjecture does not hold for all groups, although no finitely presentable counter-example was known. We construct a finitely presentable (eve…
We provide a new method of constructing non-quasiconvex subgroups of hyperbolic groups by utilizing techniques inspired by Stallings' foldings. The hyperbolic groups constructed are in the natural class of right-angled Coxeter groups (RACGs for short) and can be chosen to be 2-dimensional. More specifically, given a non-quasiconvex subgroup of a (possibly non-hyperbolic) RACG, our construction gives a corresponding non-quasiconvex subgroup of a hyperbolic RACG. We use this to construct explicit examples of non-quasiconvex subgroups of hyperbolic RACGs including subgroups whose generators are a…
A group is SimpHAtic if it acts geometrically on a simply connected simplicially hereditarily aspherical (SimpHAtic) complex. We show that finitely presented normal subgroups of the SimpHAtic groups are either: finite, or of finite index, or virtually free. This result applies, in particular, to normal subgroups of systolic groups. We prove similar strong restrictions on group extensions for other classes of asymptotically aspherical groups. The proof relies on studying homotopy types at infinity of groups in question. We also show that nonuniform lattices in SimpHAtic complexes (and in more g…
A result of Bridson, Howie, Miller and Short states that if $S$ is a subgroup of type $FP_{n}(\mathbb{Q})$ of the direct product of $n$ limit groups over free groups, then $S$ is virtually the direct product of limit groups over free groups. Furthermore, they characterise finitely presented residually free groups. In this paper these results are generalised to limit groups over Droms right-angled Artin groups. Droms RAAGs are the right-angled Artin groups with the property that all of their finitely generated subgroups are again RAAGs. In addition, we show that the generalised conjugacy proble…
Given a universal elementary Chevalley-Demazure group $E_Φ^{sc}(R)$ for which its (standard) parabolic subgroups are finitely generated, we consider the problem of classifying which parabolics $P(R) \subset E_Φ^{sc}(R)$ are finitely presented. We show that, under mild assumptions, this is equivalent to the finite presentability of a suitable retract of $P$ which contains the Levi factor. If the base ring $R$ is a Dedekind domain of arithmetic type, we combine our results with well-known theorems due to Borel-Serre, Abels, Behr and Bux to give a partial classification of finitely presentable $S…
We present novel constructions concerning the homology of finitely generated groups. Each construction draws on ideas of Gilbert Baumslag. There is a finitely presented acyclic group $U$ such that $U$ has no proper subgroups of finite index and every finitely presented group can be embedded in $U$. There is no algorithm that can determine whether or not a finitely presentable subgroup of a residually finite, biautomatic group is perfect. For every recursively presented abelian group $A$ there exists a pair of groups $i:P_A\hookrightarrow G_A$ such that $i$ induces an isomorphism of profinite c…
To every dynamical system $(X,φ)$ over a totally disconnected compact space, we associate a left-orderable group $T(φ)$. It is defined as a group of homeomorphisms of the suspension of $(X,φ)$ which preserve every orbit of the suspension flow and act by dyadic piecewise linear homeomorphisms in the flow direction. We show that if the system is minimal, the group is simple, and if it is a subshift then the group is finitely generated. The proofs of these two statements are short and elementary, providing straightforward examples of finitely generated simple left-orderable groups. We show that i…
Ghys and Sergiescu proved in the $80$s that Thompson's group $T$, and hence $F$, admits actions by $C^{\infty}$ diffeomorphisms of the circle . They proved that the standard actions of these groups are topologically conjugate to a group of $C^\infty$ diffeomorphisms. Monod defined a family of groups of piecewise projective homeomorphisms, and Lodha-Moore defined finitely presentable groups of piecewise projective homeomorphisms. These groups are of particular interest because they are nonamenable and contain no free subgroup. In contrast to the result of Ghys-Sergiescu, we prove that the group…
We prove that for geometrically finite groups cohomological dimension of the direct product of a group with itself equals 2 times the cohomological dimension dimension of the group.
We address the problem of determining the class of self-similar groups, and in particular its closure under restricted direct products. We show that the group $\mathbb Z^{(ω)}$ is self-similar, that $G^{(ω)}\rtimes C_2$ is self-similar whenever $G$ is, and that permutational wreath products of a finite abelian group with a self-similar group are self-similar.
