Fundamental class, Poincaré duality and finite oriented \(\mathrm{FC}_4\)-complexes (Q2136076)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fundamental class, Poincaré duality and finite oriented \(\mathrm{FC}_4\)-complexes |
scientific article |
Statements
Fundamental class, Poincaré duality and finite oriented \(\mathrm{FC}_4\)-complexes (English)
0 references
10 May 2022
0 references
An FC\(_{4}\) complex is obtained by taking a finite \(3\)-complex \(K\) and considering all \(4\)-complexes \(X \ = K \cup_{\phi} D^{4}\) such that \(H_{4}(X, {\mathbb Z}) \ \cong \ {\mathbb Z}\) with a fixed generator \([X] \in H_{4}(X, {\mathbb Z})\). The paper is concerned with two questions. First for which \(3\)-complexes \(K\) does an element \([\phi] \in \pi_{3}(K)\) exist for which the complex \(K \cup_{\phi} D^{4}\) is a Poincaré complex? Second if there is one \(\phi\) how many others can be constructed from \(K\)? A necessary and sufficient condition for the existence of such a \(\phi\) is given and a result that shows how under certain conditions additional \(FC_{4}\)-complexes can be constructed.
0 references
FC\(_{4}\) complex
0 references
four-dimensional complexes
0 references
homotopy type
0 references
Wall group
0 references
spectral sequence
0 references
obstruction theory
0 references
homology with local coefficients
0 references
Poincaré duality
0 references
homological algebra
0 references
Postnikov system
0 references
0 references
0 references