New lower bounds on subgroup growth and homology growth
Marc Lackenby
备注：
39 pages, 2 figures; v3 has minor changes from v2, incorporating referee's comments; v2 has minor changes from v1; to appear in the Proceedings of the London Mathematical Society
We establish new strong lower bounds on the (subnormal) subgroup growth of a large class of groups. This includes the fundamental groups of all finite-volume hyperbolic 3-manifolds and all (free non-abelian)-by-cyclic groups. The lower bound is nearly exponential, which should be compared with the fastest possible subgroup growth of any finitely generated group. This is achieved by free non-abelian groups and is slightly faster than exponential. As a consequence, we obtain good estimates on the number of covering spaces of a hyperbolic 3-manifold with given covering degree. We also obtain slightly weaker information on the number of covering spaces of closed 4-manifolds with non-positive Euler characteristic. The results on subgroup growth follow from a new theorem which places lower bounds on the rank of the first homology (with mod p coefficients) of certain subgroups of a group. This is proved using a topological argument.
Let G be a word-hyperbolic group, obtained as a graph of free groups amalgamated along cyclic subgroups. If H_2(G;Q) is nonzero, then G contains a closed hyperbolic surface subgroup. Moreover, the unit ball of the Gromov-Thurston norm on H_2(G;R) is a finite-sided rational polyhedron.
We show that a finite group which admits a faithful, smooth, orientation-preserving action on a homology 4-sphere, and in particular on the 4-sphere, is isomorphic to a subgroup of the orthogonal group SO(5), by explicitly determining the various groups which can occur (up to an indetermination of index two in the case of solvable groups). As a consequence we obtain also a characterization of the finite groups which are isomorphic to subgroups of the orthogonal groups SO(5) and O(5).
We investigate the homology of finite index subgroups G_i of a given finitely presented group G. Specifically, we examine d_p(G_i), which is the dimension of the first homology of G_i, with mod p coefficients. We say that a collection of finite index subgroups {G_i} has linear growth of mod p homology if the infimum of d_p(G_i)/[G:G_i] is positive. We show that if this holds and each G_i is normal in its predecessor and has index a power of p, then one of the following possibilities must be true: G is large (that is, some finite index subgroup admits a surjective homomorphism onto a non-abelia…
We study asymptotic behavior of the dimensions of the homology groups of subgroups of finite index in finitely generated subgroups of pro-$p$ extension of centralizers of free pro-$p$ groups. We also prove group theoretic structure properties of such pro-$p$ groups that are of independent interest.
We prove a representation stability result for the second homology groups of Torelli subgroups of mapping class groups and automorphism groups of free groups. This strengthens the results of Boldsen-Hauge Dollerup and Day-Putman. We also prove a new representation stability result for the homology of certain congruence subgroups, partially improving upon the work of Putman-Sam. These results follow from a general theorem on syzygies of certain modules with finite polynomial degree.
We describe the (co)homology of a certain family of normal subgroups of right-angled Artin groups that contain the commutator subgroup, as modules over the quotient group. We do so in terms of (skew) commutative algebra of squarefree monomial ideals.
We show that Lück's conjecture on torsion growth in homology implies that two 3-manifolds have equal volume if the fundamental groups have the same set of finite quotients.
Let IA_n be the Torelli subgroup of Aut(F_n). We give an explicit finite set of generators for H_2(IA_n) as a GL_n(Z)-module. Corollaries include a version of surjective representation stability for H_2(IA_n), the vanishing of the GL_n(Z)-coinvariants of H_2(IA_n), and the vanishing of the second rational homology group of the level l congruence subgroup of Aut(F_n). Our generating set is derived from a new group presentation for IA_n which is infinite but which has a simple recursive form.
We investigate the rank gradient and growth of torsion in homology in residually finite groups. As a tool, we introduce a new complexity notion for generating sets, using measured groupoids and combinatorial cost. As an application we prove the vanishing of the above invariants for Farber sequences of subgroups of right angled groups. A group is right angled if it can be generated by a sequence of elements of infinite order such that any two consecutive elements commute. Most non-uniform lattices in higher rank simple Lie groups are right angled. We provide the first examples of uniform (co-co…
This paper is about application of various homological methods to classical problems in the theory of group rings. It is shown that the third homology of groups plays a key role in Narain Gupta's three normal subgroup problem. For a free group $F$ and its normal subgroups $R,\,S,\,T,$ and the corresponding ideals in the integral group ring $\mathbb Z[F]$, ${\bf r}=(R-1)\mathbb Z[F],\ {\bf s}=(S-1)\mathbb Z[F],\ {\bf t}=(T-1)\mathbb Z[F],$ a complete description of the normal subgroup $F\cap (1+{\bf rst})$ is given, provided $R\subseteq T$ and the third and the fourth homology groups of $R/R\ca…
Let G be a finite group and p a prime dividing its order. We define new collections of p-subgroups of G. We study the homotopy relations among them and with the standard collections of p-subgroups. We determine their ampleness and sharpness properties.
We prove that if F is a finitely generated free group and f:F -> F is an automorphism with polynomial growth of degree d, then there exists a characteristic subgroup S < F of finite index such that the induced automorphism of the abelianisation of S also grows polynomially of degree d. The proof is geometric in nature and makes use of improved relative train track representatives.
For any discrete, torsion-free subgroup $Γ$ of $\mathrm{Sp}(n,1)$ (resp.\ $\mathrm{F}_4^{-20}$) with no parabolic elements, we prove that $H_{4n-1}(Γ;V)=0$ (resp.\ $H_i(Γ;V)=0$ for $i=13,14,15$) for any $Γ$--module $V$. The main technical advance is a new bound on the $p$--Jacobian of the barycenter map of Besson--Courtois--Gallot. We also apply this estimate to obtain an inequality between the critical exponent and homological dimension of $Γ$, improving on work of M.~Kapovich.
The homology groups of many natural sequences of groups $\{G_n\}_{n=1}^{\infty}$ (e.g. general linear groups, mapping class groups, etc.) stabilize as $n \rightarrow \infty$. Indeed, there is a well-known machine for proving such results that goes back to early work of Quillen. Church and Farb discovered that many sequences of groups whose homology groups do not stabilize in the classical sense actually stabilize in some sense as representations. They called this phenomena representation stability. We prove that the homology groups of congruence subgroups of $GL_n(R)$ (for almost any reasonabl…
Let S be an orientable surface with negative Euler characteristic, let ψ\in\Mod(S) be a mapping class of S, and let T_ψ be the mapping torus of ψ. We study the action of lifts of ψon the homology of finite covers of S via the torsion homology growth of towers of finite covers of T_ψ. We show that ψadmits a lift to a finite cover with a homological eigenvalue of length greater than one if and only if the mapping torus T_ψ admits a finite cover X and a certain tower of abelian covers which have exponential torsion homology growth. We show that the existence of such a lift of ψis intrinsic to T_ψ…
Given a finitely-generated group G, and a finite group Γ, Philip Hall defined δ_Γto be the number of factor groups of G that are isomorphic to Γ. We show how to compute the Hall invariants by cohomological and combinatorial methods, when G is finitely-presented, and Γbelongs to a certain class of metabelian groups. Key to this approach is the stratification of the character variety by the jumping loci of the cohomology of G, with coefficients in rank 1 local systems over a suitably chosen field \K. Counting relevant torsion points on these "characteristic" subvarieties gives δ_Γ(G). In the pro…
For a given free group $F$ of arbitrary rank (possibly infinite), and its subgroup $G$, we address the question whether a lower central subgroup of $G$ can contain a lower central subgroup of $F$. We show that the answer is no if $G$ does not normally generate $F$. The question comes from a study of Hirzebruch-type invariants from iterated $p$-covers for 3-dimensional homology cylinders.
We determine the factorial growth rate of the number of finite index subgroups of right-angled Artin groups as a function of the index. This turns out to depend solely on the independence number of the defining graph. We also make a conjecture for right-angled Coxeter groups and prove that it holds in a limited setting.
We study the growth of torsion in the abelianizations of finite index subgroups in finitely generated metabelian groups. This complements earlier work of Kar, Kropholler and the author which covered the finitely presented amenable groups.
We consider the question of which right-angled Artin groups contain closed hyperbolic surface subgroups. It is known that a right-angled Artin group $A(K)$ has such a subgroup if its defining graph $K$ contains an $n$-hole (i.e. an induced cycle of length $n$) with $n\geq 5$. We construct another eight "forbidden" graphs and show that every graph $K$ on $\le 8$ vertices either contains one of our examples, or contains a hole of length $\ge 5$, or has the property that $A(K)$ does not contain hyperbolic closed surface subgroups. We also provide several sufficient conditions for a \RAAG to conta…
We describe two methods for computing the low-dimensional integral homology of the Mathieu simple groups and use them to make computations such as $H_5(M_{23},\ZZ)=\ZZ_7$ and $H_3(M_{24},\ZZ)=\ZZ_{12}$. One method works via Sylow subgroups. The other method uses a Wythoff polytope and perturbation techniques to produce an explicit free $\ZZ M_n$-resolution. Both methods apply in principle to arbitrary finite groups.
This paper, which is the last of a series of three papers, studies dynamical properties of elements of $\mathrm{Out}(F_{\tt n})$, the outer automorphism group of a nonabelian free group $F_{\tt n}$. We prove that, for every subgroup $H$ of $\mathrm{Out}(F_{\tt n})$, there exists an element $ϕ\in H$ such that, for every element $g$ of $F_{\tt n}$, the conjugacy class $[g]$ has polynomial growth under iteration of $ϕ$ if and only if $[g]$ has polynomial growth under iteration of every element of $H$.
In this paper, we give some necessary and sufficient conditions for a normal subgroup of an amalgamated product of groups to be finitely generated. We apply these conditions together with Stallings' fibering theorem to prove that an irreducible multilink in a homology 3-sphere fibers if and only if each of its multilink splice components fibers.
A beautifully simple free generating set for the commutator subgroup of a free group was constructed by Tomaszewski. We give a new geometric proof of his theorem, and show how to give a similar free generating set for the commutator subgroup of a surface group. We also give a simple representation-theoretic description of the structure of the abelianizations of these commutator subgroups and calculate their homology.
We prove that non-elementary hyperbolic groups grow exponentially more quickly than their infinite index quasiconvex subgroups. The proof uses the classical tools of automatic structures and Perron-Frobenius theory. We also extend the main result to relatively hyperbolic groups and cubulated groups. These extensions use the notion of growth tightness and the work of Dahmani, Guirardel, and Osin on rotating families.
A collection C of subgroups of a finite group G can give rise to three different standard formulas for the cohomology of G in terms of either: the subgroups in C; or their centralizers; or their normalizers. We give a short but systematic study of the relationship among such formulas for nine standard collections C of p-subgroups, obtaining some new formulas in the process. To do this, we exhibit some sufficient conditions on the poset C which imply comparison results.
For Artin groups of dihedral type, we compute the Bredon homology groups of the classifying space for the family of virtually cyclic subgroups with coefficients in the K-theory of a group ring.
The maximal normal subgroup growth type of a finitely generated group is $n^{\log n}$. Very little is known about groups with this type of growth. In particular, the following is a long standing problem: Let $Γ$ be a group and $Δ$ a subgroup of finite index. Suppose $Δ$ has normal subgroup growth of type $n^{\log n}$, does $Γ$ has normal subgroup growth of type $n^{\log n}$? We give a positive answer in some cases, generalizing a result of Müller and the second author and a result of Gerdau. For instance, suppose $G$ is a profinite group and $H$ an open subgroup of $G$. We show that if $H$ is …
We prove that Morse local-to-global groups grow exponentially faster than their infinite index stable subgroups. This generalizes a result of Dahmani, Futer, and Wise in the context of quasi-convex subgroups of hyperbolic groups to a broad class of groups that contains the mapping class group, CAT(0) groups, and the fundamental groups of closed 3-manifolds. To accomplish this, we develop a theory of automatic structures on Morse geodesics in Morse local-to-global groups. Other applications of these automatic structures include a description of stable subgroups in terms of regular languages, ra…
It is a consequence of the classical Jordan bound for finite subgroups of linear groups that in each dimension n there are only finitely many finite simple groups which admit a faithful, linear action on the n-sphere. In the present paper we prove an analogue for smooth actions on arbitrary homology n-spheres: in each dimension n there are only finitely many finite simple groups which admit a faithful, smooth action on some homology sphere of dimension n, and in particular on the n-sphere. We discuss also the finite simple groups which admit an action on a homology sphere of dimension 3, 4 or …
We develop a theory of equivariant group presentations and relate them to the second homology group of a group. Our main application says that the second homology group of the Torelli subgroup of the mapping class group is finitely generated as an $Sp(2g,\mathbb{Z})$-module.
Quillen's plus construction is a topological construction that kills the maximal perfect subgroup of the fundamental group of a space without changing the integral homology of the space. In this paper we show that there is a topological construction that, while leaving the integral homology of a space unaltered, kills even the intersection of the transfinite lower central series of its fundamental group. Moreover, we show that this is the maximal subgroup that can be factored out of the fundamental group without changing the integral homology of a space.
We study the relative growth of finitely generated subgroups in finitely generated groups, and the corresponding distortion function of the embeddings. We explore which functions are equivalent to the relative growth functions and distortion functions of finitely generated subgroups. We also study the connections between these two asymptotic invariants of group embeddings. We give conditions under which a length function on a finitely generated group can be extended to a length function on a larger group.
By means of zeta and normal zeta functions of space groups, we determine the number of subgroups, resp. normal subgroups, of the tenth crystallographic group for any given index. This enables us to draw conclusions on the subgroup growth and the degree of this group.
We first show that a class of pro-$p$ branch groups including the Grigorchuk group and the Gupta-Sidki groups all have subgroup growth type $n^{\log n}$. We then introduce the notion of orbit growth and use it to construct extensions of the Grigorchuk group and the Gupta-Sidki groups. We compute the subgroup growth type of these extensions and deduce that all functions between $n^{(\log n)^2}$ and $e^n$ occur as the subgroup growth type of a pro-$p$ group, thus, giving almost complete answer to a question raised by Lubotzky and Segal.
Let $n\ge 3$, and let $\mathrm{Out}(W_n)$ be the outer automorphism group of a free Coxeter group $W_n$ of rank $n$. We study the growth of the dimension of the homology groups (with coefficients in any field $\mathbb{K}$) along Farber sequences of finite-index subgroups of $\mathrm{Out}(W_n)$. We show that, in all degrees up to $\lfloor\frac{n}{2}\rfloor-1$, these Betti numbers grow sublinearly in the index of the subgroup. When $\mathbb{K}=\mathbb{Q}$, through Lück's approximation theorem, this implies that all $\ell^2$-Betti numbers of $\mathrm{Out}(W_n)$ vanish up to degree $\lfloor\frac{n…
We exhibit examples of groups of intermediate growth with $2^{\aleph_0}$ ergodic, continuous, invariant random subgroups. The examples are the universal groups associated with a family of groups of intermediate growth.
We report on the computation of torsion in certain homology theories of congruence subgroups of SL(4,Z). Among these are the usual group cohomology, the Tate-Farrell cohomology, and the homology of the sharbly complex. All of these theories yield Hecke modules. We conjecture that the Hecke eigenclasses in these theories have attached Galois representations. The interpretation of our computations at the torsion primes 2,3,5 is explained. We provide evidence for our conjecture in the 15 cases of odd torsion that we found in levels up to 31.
We explicitly compute the homology groups with coefficients in a field of characteristic zero of cocyclic subgroups or even Artin groups of FC-type. We also give some partial results in the case when the coefficients are taken in a field of prime characteristic.
We introduce the notion of a symmetric group parametrized by elements of a group. We show that this group is an extension of a certain subgroup of the wreath product $G \wr S_n$ by $\mathrm{H}_2(G, \mathbb{Z})$. We also discuss the motivation behind this construction.
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…
Suppose an amenable group $G$ is acting freely on a simply connected simplicial complex $\tilde X$ with compact quotient $X$. Fix $n \geq 1$, assume $H_n(\tilde X, \mathbb{Z})=0$ and let $(H_i)$ be a Farber chain in $G$. We prove that the torsion of the integral homology in dimension $n$ of $\tilde{X}/H_i$ grows subexponentially in $[G:H_i]$. By way of contrast, if $X$ is not compact, there are solvable groups of derived length 3 for which torsion in homology can grow faster than any given function.
In this paper, the author (1) compares subnormal closures of finite sets in free groups; (2) proves that the exponential growth rate (e.g.r.), i.e., the limit of the n-th roots of g(n), where g(n) is the growth function of a subgroup H with respect to a finite free basis of F, exists for any subgroup H of the free group F; (3) gives sharp estimates from below for the e.g.r. of subnormal subgroups in free groups; and (4) finds cogrowth for the subnormal closures of free generators in F.
