An application of simplicial profinite groups
- 1 December 1969
- journal article
- Published by European Mathematical Society - EMS - Publishing House GmbH in Commentarii Mathematici Helvetici
- Vol. 44 (1) , 45-60
- https://doi.org/10.1007/bf02564511
Abstract
In this paper we use simplicial pro-p-groups to give quite different proofs of the convergence theorems for the lower central series and p-lower central series spectral sequences of a simplicial group (CURTIS I-2], RECTOR [7]). The proofs are, we believe, more conceptual than the delicate calculations with generators in free groups used in [2]. In addition in the case of the p-lower central series spectral sequence we obtain convergence for certain non-connected simplicial groups, in particular those corresponding to connected H-spaces with finitely generated homology in each dimension. The idea of the proof is as follows. If G is a free simplicial group with finitely many generators in each dimension, then because inverse limits are exact for pro finite groups the p-lower central series spectral sequence of G converges strongly to n (G), where A denotes p-completion. So the weak convergence of the spectral sequence to (G) follows from the formula (re G) ^ -~ n (G), and our main theorem gives conditions under which this holds. The main theorem is proved by a modification of a method of ARTIN and MAZUR, who prove an analogous theorem for pro-p homotopy objects in their work on etale homotopy theory (to appear). The paper is in three sections. In the first we give the statement of the main theorem and deduce the convergence theorems from it. Section 2 is devoted to generalizing to simplicial profinite groups standard properties of the cohomology of simplicial groups such as the Serre spectral sequence and the Whitehead theorems. In the third section we use these results to study the p-completion functor from simplicial groups to simplicial pro-p groups. Using ZEEMAN'S comparison theorem in the way indicated by ARTIN and MAZUR we prove a result on the compatibility of completion and fibrations (Th. 3.6) from which the main theorem follows easily. This paper resulted from putting ideas of EI) CURTIS and MIKE ARTIN and BARRY MAZUR together. I wish to acknowledge the benefit of numerous conversations.Keywords
This publication has 9 references indexed in Scilit:
- Homotopical AlgebraLecture Notes in Mathematics, 1967
- An unstable Adams spectral sequenceTopology, 1966
- Spectral sequences of a double semi-simplical groupTopology, 1966
- Some Relations Between Homotopy and HomologyAnnals of Mathematics, 1965
- Cohomologie GaloisienneLecture Notes in Mathematics, 1965
- Lower central series of semi-simplicial complexesTopology, 1963
- On Homotopy Theory and C.S.S. GroupsAnnals of Mathematics, 1958
- A proof of the comparison theorem for spectral sequencesMathematical Proceedings of the Cambridge Philosophical Society, 1957
- Groupes D'Homotopie Et Classes De Groupes AbeliensAnnals of Mathematics, 1953