Homology and cell structure of nilpotent spaces
HTML articles powered by AMS MathViewer
- by Robert H. Lewis PDF
- Trans. Amer. Math. Soc. 290 (1985), 747-760 Request permission
Abstract:
Let $A$ and $X$ denote finitely dominated nilpotent ${\text {CW}}$ complexes. We are interested in questions relating the homology groups of such spaces to their cell structure and homotopy type. We solve a problem posed by Brown and Kahn, that of constructing nilpotent complexes of minimal dimension. When the fundamental group is finite, the three-dimensional complex we construct may not be finite; we then construct a finite six-dimensional complex. We investigate the set of possible cofibers of maps $A \to X$, and find a severe restriction. When it is met and the fundamental group is finite, $X$ can be constructed from $A$ by attaching cells in a natural way. The restriction implies that the classical notion of homology decomposition has no application to nilpotent complexes. We show that the Euler characteristic of $X$ must be zero. Several corollaries are derived to the theory of finitely dominated nilpotent complexes. Several of these results depend upon a purely algebraic theorem that we prove concerning the vanishing of homology of nilpotent modules over nilpotent groups.References
- Kenneth S. Brown, Euler characteristics of discrete groups and $G$-spaces, Invent. Math. 27 (1974), 229β264. MR 385007, DOI 10.1007/BF01390176
- Kenneth S. Brown and Peter J. Kahn, Homotopy dimension and simple cohomological dimension of spaces, Comment. Math. Helv. 52 (1977), no.Β 1, 111β127. MR 438336, DOI 10.1007/BF02567359
- Gunnar Carlsson, A counterexample to a conjecture of Steenrod, Invent. Math. 64 (1981), no.Β 1, 171β174. MR 621775, DOI 10.1007/BF01393939
- William G. Dwyer, Vanishing homology over nilpotent groups, Proc. Amer. Math. Soc. 49 (1975), 8β12. MR 374242, DOI 10.1090/S0002-9939-1975-0374242-3
- Karel Ehrlich, The obstruction to the finiteness of the total space of a fibration, Michigan Math. J. 28 (1981), no.Β 1, 19β38. MR 600412
- K. Hoechsmann, P. Roquette, and H. Zassenhaus, A cohomological characterization of finite nilpotent groups, Arch. Math. (Basel) 19 (1968), 225β244. MR 227278, DOI 10.1007/BF01899499 P. J. Hilton, Homotopy theory and duality, Gordon & Breach, New York, 1966.
- Robert H. Lewis, Equivariant cofibrations and nilpotency, Trans. Amer. Math. Soc. 267 (1981), no.Β 1, 139β155. MR 621979, DOI 10.1090/S0002-9947-1981-0621979-1 β, Ph. D. dissertation, Cornell University, 1977.
- Guido Mislin, Wallβs obstruction for nilpotent spaces, Topology 14 (1975), no.Β 4, 311β317. MR 394647, DOI 10.1016/0040-9383(75)90015-4
- Guido Mislin, Finitely dominated nilpotent spaces, Ann. of Math. (2) 103 (1976), no.Β 3, 547β556. MR 415607, DOI 10.2307/1970951
- G. Mislin, Groups with cyclic Sylow subgroups and finiteness conditions for certain complexes, Comment. Math. Helv. 52 (1977), no.Β 3, 373β391. MR 448344, DOI 10.1007/BF02567375
- Guido Mislin, The geometric realization of Wall obstructions by nilpotent and simple spaces, Math. Proc. Cambridge Philos. Soc. 87 (1980), no.Β 2, 199β206. MR 553576, DOI 10.1017/S0305004100056656
- G. Mislin and K. Varadarajan, The finiteness obstructions for nilpotent spaces lie in $D(\textbf {Z}\pi )$, Invent. Math. 53 (1979), no.Β 2, 185β191. MR 560413, DOI 10.1007/BF01390032
- Derek J. S. Robinson, The vanishing of certain homology and cohomology groups, J. Pure Appl. Algebra 7 (1976), no.Β 2, 145β167. MR 404478, DOI 10.1016/0022-4049(76)90029-3
- Dock Sang Rim, Modules over finite groups, Ann. of Math. (2) 69 (1959), 700β712. MR 104721, DOI 10.2307/1970033
- John Stallings, Homology and central series of groups, J. Algebra 2 (1965), 170β181. MR 175956, DOI 10.1016/0021-8693(65)90017-7
- Richard G. Swan, Periodic resolutions for finite groups, Ann. of Math. (2) 72 (1960), 267β291. MR 124895, DOI 10.2307/1970135
- Richard G. Swan, Induced representations and projective modules, Ann. of Math. (2) 71 (1960), 552β578. MR 138688, DOI 10.2307/1969944
- Richard G. Swan, The Grothendieck ring of a finite group, Topology 2 (1963), 85β110. MR 153722, DOI 10.1016/0040-9383(63)90025-9
- C. T. C. Wall, Finiteness conditions for $\textrm {CW}$-complexes, Ann. of Math. (2) 81 (1965), 56β69. MR 171284, DOI 10.2307/1970382
Additional Information
- © Copyright 1985 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 290 (1985), 747-760
- MSC: Primary 55P99; Secondary 20C07, 57M99
- DOI: https://doi.org/10.1090/S0002-9947-1985-0792825-4
- MathSciNet review: 792825