Homological stability of series of groups

Tim D. Cochran and Shelly Harvey

Vol. 246 (2010), No. 1, 31–47

DOI: 10.2140/pjm.2010.246.31

Abstract

We define the stability of a subgroup under a class of maps, and establish its basic properties. Loosely speaking, we will say that a normal subgroup, or more generally a normal series {A_n} of a group A, is stable under a class of homomorphisms ℋ if whenever f : A → B lies in ℋ, we have f(a) ∈ B_n if and only if a ∈ A_n. This translates to saying that each element of ℋ induces a monomorphism A∕A_n↪B∕B_n. This contrasts with the usual theories of localization, wherein one is concerned with situations where f induces an isomorphism. In the literature, the most commonly considered classes of maps are those that induce isomorphisms on (low-dimensional) group homology. The model theorem in this regard is the result of Stallings that each term of the lower central series is preserved under any ℤ-homological equivalence of groups. Various other theorems of this nature have since appeared, involving variations of the lower central series. Dwyer generalized Stallings’s ℤ results to larger classes of maps, work that was completed in the other cases by the authors. More recently, the authors proved analogues of the theorems of Stallings and Dwyer for variations of the derived series. We interpret all of the theorems above in the framework of stability.

Keywords

homology equivalence, derived series, groups

Mathematical Subject Classification 2000

Primary: 20J05, 57M05

Milestones

Received: 16 June 2008

Revised: 29 September 2009

Accepted: 30 September 2009

Published: 1 May 2010