Nilpotency of Bocksteins, Kropholler's hierarchy and a conjecture of Moore.

DOI10.1016/J.AIM.2010.12.002MaRDI QIDQ631804zbMATH OpenOpenAlexWikidataFDO

Authors Eli Aljadeff, Ehud Meir

Publication date 14 March 2011

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0905.1459

zbMATH Keywords

Bockstein operatorscohomology of groupscohomology ringsflat modulesKropholler hierarchyLHFMoore conjectureprojective modulesprojectivity over group ringssubgroups of finite indextorsion free groups

Mathematics Subject Classification ID

Free, projective, and flat modules and ideals in associative algebras (16D40) Group rings (16S34) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Local properties of groups (20E25) Generalizations of solvable and nilpotent groups (20F19) Cohomology of groups (20J06)

Abstract: A conjecture of Moore claims that if G is a group and H a finite index subgroup of G such that G - H has no elements of prime order (e.g. G is torsion free), then a G-module which is projective over H is projective over G. The conjecture is known for finite groups. In that case, it is a direct consequence of Chouinard's theorem which is based on a fundamental result of Serre on the vanishing of products of Bockstein operators. It was observed by Benson, using a construction of Baumslag, Dyer and Heller, that the analog of Serre's Theorem for infinite groups is not true in general. We prove that the conjecture is true for groups which satisfy the analog of Serre's theorem. Using a result of Benson and Goodearl, we prove that the conjecture holds for all groups inside Kropholler's hierarchy LHF, extending a result of Aljadeff, Cornick, Ginosar, and Kropholler. We show two closure properties for the class of pairs of groups (G,H) which satisfy the conjecture, the one is closure under morphisms, and the other is a closure operation which comes from Kropholler's construction. We use this in order to exhibit cases in which the analog of Serre's theorem does not hold, and yet the conjecture is true. We will show that in fact there are pairs of groups (G,H) in which H is a perfect normal subgroup of prime index in G, and the conjecture is true for (G,H). Moreover, we will show that it is enough to prove the conjecture for groups of this kind only.

Review text

In 1976 J. Moore posed the conjecture: If \(\Gamma\) is a torsion free group, \(H\) a subgroup of finite index and \(M\) a \(\mathbb Z\Gamma\) module, then \(M\) is projective if it is projective as a \(\mathbb ZH\)-module or more generally Conjecture: Let \(\Gamma\) be any group and \(H\) a subgroup of finite index. Assume no elements of prime order lie in \(\Gamma-H\) (cf. Moore's condition). Then the same conclusion holds, that is, if \(M\) is a \(\mathbb Z\Gamma\)-module which is projective over \(\mathbb ZH\), then it is also projective over \(\mathbb Z\Gamma\). Here the authors first reduce the conjecture to the case in which the subgroup \(H\) is normal in \(\Gamma\) and of prime index \(p\). If \(\beta_{\Gamma,H}\) denotes the Bockstein operator that corresponds to the pair \((\Gamma,H)\), i.e. \(\beta_{\Gamma,H}=\inf^\Gamma_{\Gamma/H}(\widehat\beta)\in H^2(\Gamma,\mathbb Z)\) where \(\widehat\beta\) is a generator of \(H^2(\Gamma/H,\mathbb Z)\), then they show that the nilpotency of \(\beta_{\Gamma,H}\) in the cohomology ring \(H^*(\Gamma,\mathbb Z)\) plays the same role for infinite groups as for finite groups, namely Proposition. Let \((\Gamma,H)\) be a group and a normal subgroup of prime index. If \(\beta_{\Gamma,H}\) is nilpotent in the cohomology ring, then Moore's conjecture is true for the pairs \((\Gamma,H)\) which satisfy Moore's condition. The corresponding result for finite groups was proved by \textit{L. G. Chouinard} [in J. Pure Appl. Algebra 7, 287-302 (1976; Zbl 0327.20020)]. It was observed by D. Benson [\textit{E. Aljadeff}, J. Pure Appl. Algebra 208, No. 3, 1099-1102 (2007; Zbl 1111.20043)] that the Bockstein operator that corresponds to a pair \((\Gamma,H)\) may not be nilpotent even in cases where \(\Gamma\) is torsion free. One of the results in this paper is to show that Moore's conjecture may be true for such pairs \((\Gamma,H)\). They show: Theorem. For every pair of groups \(\Gamma_0,H_0\) (\(H_0\) is normal and of prime index in \(\Gamma_0\)) there exists a pair of groups \((\Gamma,H)\) such that: {\parindent6.5mm\begin{itemize}\item[(1)] \(H\) is normal and of prime index in \(\Gamma\). \item[(2)] The group \(H\) is acyclic and hence the Bockstein operator \(\beta_{\Gamma,H}\) is not nilpotent in \(H^*(\Gamma,\mathbb Z)\). \item[(3)] There is an embedding \(\varphi\colon\Gamma_0\to\Gamma\) which induces an isomorphism \(\Gamma_0/H_0\cong\Gamma/H\). \item[(4)] The pair \((\Gamma,H)\) satisfies Moore's condition if and only if the pair \((\Gamma_0,H_0)\) does. \item[(5)] The pair \((\Gamma,H)\) satisfies Moore's conjecture if and only if the pair \((\Gamma_0,H_0)\) does. \end{itemize}} The proof of the theorem uses the following result of \textit{D. J. Benson} and \textit{K. R. Goodearl} [Pac. J. Math. 196, No.~1, 45-67 (2000; Zbl 1073.20500)]: If \(\Gamma\) is a group, \(H\) a subgroup of \(\Gamma\) of finite index and \(M\) a \(\Gamma\)-module which is projective over \(H\) and flat over \(\Gamma\) then \(M\) is projective over \(\Gamma\). The second main result of this paper refers to a class of groups, \(LH\mathfrak F\), which was defined hierarchically by \textit{P. H. Kropholler} [in J. Pure Appl. Algebra 90, No. 1, 55-67 (1993; Zbl 0816.20042)]. They show: Theorem: Moore's conjecture holds for any pair \((\Gamma,H)\) where \(\Gamma\) is in \(LH\mathfrak F\) and the pair \((\Gamma,H)\) satisfies Moore's condition. The above theorem was proved by \textit{E. Aljadeff, J. Cornick, Y. Ginosar} and \textit{P. H. Kropholler} [in J. Pure Appl. Algebra 110, No. 2, 109-112 (1996; Zbl 0853.16032)] under the additional condition that the module \(M\), in the formulation of the conjecture, is finitely generated.

Recommendations

• The nilpotence conjecture in \(K\)-theory of toric varieties
• Nilpotent cone and bivariant theory
• Some conjectures and results concerning the homology of nilpotent Lie algebras
• scientific article; zbMATH DE number 2077597
• Nilpotent extensions and entire cyclic cohomology
• Nilpotence and finite H-spaces
• On the K-theory of nilpotent endomorphisms
• Nilpotence theorems via homological residue fields
• scientific article; zbMATH DE number 17574
• Borel–Moore homology of determinantal varieties

Cites work

• Cohomology and induction from elementary Abelian subgroups
• Cohomology of finite groups and elementary abelian subgroups
• Every connected space has the homology of a \(K\) \((\pi,1)\)
• Groups acting on finite dimensional spaces with finite stabilizers
• Groups of cohomological dimension one
• Homological Finiteness Conditions for Modules Over Group Algebras
• Homology
• scientific article; zbMATH DE number 51218 (Why is no real title available?)
• scientific article; zbMATH DE number 1478717 (Why is no real title available?)
• On a conjecture of Moore
• On cohomology rings of infinite groups.
• On groups of type (FP)_
• Periodic flat modules, and flat modules for finite groups.
• Profinite groups, profinite completions and a conjecture of Moore.
• Projectivity and relative projectivity over group rings
• Soluble Groups of Type (FP)∞ have Finite Torsion-Free Rank
• The topology of discrete groups

Cited in

(7)

• Complexes, group cohomology, and an induction theorem for the Green ring
• On a conjecture of Moore
• New results related to a conjecture of Moore.
• Virtual Gorensteinness over group algebras.
• Profinite groups, profinite completions and a conjecture of Moore.
• Nielsen root theory and Hopf degree theory.
• Group class operations and homological conditions

This page was built for publication: Nilpotency of Bocksteins, Kropholler's hierarchy and a conjecture of Moore.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q631804)