Finiteness obstructions for homologically nilpotent spaces (Q1090984): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3240881 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bimodule-induced homomorphisms of locally free class groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The finiteness obstructions for nilpotent spaces lie in \(D(Z\pi)\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4061092 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Realisierung von Darstellungen endlicher nilpotenter Gruppen. (Realization of representations of finite-dimensional nilpotent groups) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness conditions for CW-complexes. I, II. / rank | |||
Normal rank |
Latest revision as of 10:33, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finiteness obstructions for homologically nilpotent spaces |
scientific article |
Statements
Finiteness obstructions for homologically nilpotent spaces (English)
0 references
1987
0 references
For a finitely dominated space X with fundamental group \(\pi\), Wall defined an obstruction w(X)\(\in \tilde K_ 0({\mathbb{Z}}\pi)\) \((= the\) reduced projective class group) whose vanishing guarantees that X is homotopy equivalent to a finite complex. One way to identify cases where \(w(X)=0\) is to prove general results which further restrict w(X) within \(\tilde K_ 0({\mathbb{Z}}\pi)\). With this in mind, let M denote any maximal order in \({\mathbb{Q}}\pi\) which contains \({\mathbb{Z}}\pi\) (e.g., M \(=\) the integral closure of \({\mathbb{Z}}\pi\) in \({\mathbb{Q}}\pi)\) and define \[ D({\mathbb{Z}}\pi)=Ker(\tilde K_ 0({\mathbb{Z}}\pi)\to \tilde K_ 0(M))\quad. \] A survey of structure results concerning D(\({\mathbb{Z}}\pi)\) is given by the author [Lect. Notes Math. 1142, 211-232 (1985; Zbl 0569.16019)]. In particular, if \(\pi\) is a p-group, then so is D(\({\mathbb{Z}}\pi)\). Moreover, if \(| \pi | =p\), then \(D({\mathbb{Z}}\pi)=0.\) \textit{G. Mislin} and \textit{K. Varadarajan} [Invent. Math. 53, 185-191 (1979; Zbl 0399.55016)] showed that w(X)\(\in D({\mathbb{Z}}\pi)\) if X is a nilpotent space with finite fundamental group \(\pi\). Recall that one formulation of nilpotency for spaces asserts that X is nilpotent if its fundamental group \(\pi\) is nilpotent and the action of \(\pi\) via covering transformations on the homology of the universal cover \(\tilde X\) is a nilpotent action [see, for example, \textit{G. Mislin}, Topology 14, 311-317 (1975; Zbl 0315.55013)]. A space X is said to be homologically nilpotent if the action of \(\pi\) on \(H_ i(\tilde X)\) is nilpotent (but it is not required that \(\pi\) itself be nilpotent). The present paper extends the result of Mislin and Varadarajan to the homologically nilpotent situation. More specifically, it is shown that, if X is a finitely dominated homologically nilpotent space with finite fundamental group \(\pi\), then w(X)\(\in D({\mathbb{Z}}\pi)\).
0 references
Wall finiteness obstruction
0 references
kernel class group
0 references
finitely dominated space
0 references
reduced projective class group
0 references
maximal order
0 references
homologically nilpotent
0 references
nilpotent space
0 references