The torsion-free rank of homology in towers of soluble pro-p groups
We show that for every finitely presented pro- nilpotent-by-abelian-by-finite group there is an upper bound on , as runs through all pro- subgroups of finite index in .
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We show that for every finitely presented pro-p nilpotent-by-abelian-by-finite group G there is an upper bound on dimQp(H1(M,Zp)⊗ZpQp), as M runs through all pro-p subgroups of finite index in G.
We study the asymptotic growth of homology groups and the cellular volume of classifying spaces as one passes to normal subgroups Gn<G of increasing finite index in a fixed finitely generated group G, assuming ⋂nGn=1. We focus in particular on finitely presented residually free groups, calculating their ℓ2 betti numbers, rank gradient and asymptotic deficiency. If G is a limit group and K is any field, then for all j≥1 the limit of dimHj(Gn,K)/[G,Gn] as n→∞ exists and is zero except for j=1, where it equals −χ(G). We prove a homotopical version of this theorem in which the dimension of dimHj(Gn,K) is replaced by the minimal number of j-cells in a K(Gn,1); this includes a calculation of the rank gradient and the asymptotic deficiency of G. Both the homological and homotopical versions are special cases of general results about the fundamental groups of graphs of {\em{slow}} groups. We prove that if a residually free group G is of type FPm but not of type FP∞, then there exists an exhausting filtration by normal subgroups of finite index Gn so that limndimHj(Gn,K)/[G:Gn]=0forj≤m. If G is of type FP∞, then the limit exists in all dimensions and we calculate it.
We establish results concerning the profinite completions of 3-manifold groups. In particular, we prove that the complement of the figure-eight knot S3−K is distinguished from all other compact 3-manifolds by the set of finite quotients of its fundamental group. In addition, we show that if M is a compact 3-manifold with b1(M)=1, and π1(M) has the same finite quotients as a free-by-cyclic group Fr⋊Z, then M has non-empty boundary, fibres over the circle with compact fibre, and π1(M)≅Fr⋊ψZ for some ψ∈Out(Fr).
We exhibit classes of groups in which the word problem is uniformly solvable but in which there is no algorithm that can compute finite presentations for finitely presentable subgroups. Direct products of hyperbolic groups, groups of integer matrices, and right-angled Coxeter groups form such classes. We discuss related classes of groups in which there does exist an algorithm to compute finite presentations for finitely presentable subgroups. We also construct a finitely presented group that has a polynomial Dehn function but in which there is no algorithm to compute the first Betti number of the finitely presentable subgroups.
Whenever the mapping class group of a closed orientable surface of genus g acts by semisimple isometries on a complete CAT(0) space of dimension less than g it fixes a point.
We fix a finitely presented group Q and consider short exact sequences 1→N→G→Q→1 with G finitely generated. The inclusion N→G induces a morphism of profinite completions N^→G^. We prove that this is an isomorphism for all N and G if and only if Q is super-perfect and has no proper subgroups of finite index. We prove that there is no algorithm that, given a finitely presented, residually finite group G and a finitely presentable subgroup P⊂G, can determine whether or not P^→G^ is an isomorphism.
We investigate the structure of subdirect products of groups, particularly their finiteness properties. We pay special attention to the subdirect products of free groups, surface groups and HNN extensions. We prove that a finitely presented subdirect product of free and surface groups virtually contains a term of the lower central series of the direct product or else fails to intersect one of the direct summands. This leads to a characterization of the finitely presented subgroups of the direct product of 3 free or surface groups, and to a solution to the conjugacy problem for arbitrary finitely presented subgroups of direct products of surface groups. We obtain a formula for the first homology of a subdirect product of two free groups and use it to show there is no algorithm to determine the first homology of a finitely generated subgroup.
We exploit Zlil Sela's description of the structure of groups having the same elementary theory as free groups: they and their finitely generated subgroups form a prescribed subclass E of the hyperbolic limit groups. We prove that if G1,...,Gn are in E then a subgroup Γ⊂G1×...×Gn is of type $\FP_n$ if and only if Γ is itself, up to finite index, the direct product of at most n groups from E. This answers a question of Sela.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.