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
    0 references
    0 references
    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
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references