On two problems in extension theory (Q2488861)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On two problems in extension theory
scientific article

    Statements

    On two problems in extension theory (English)
    0 references
    16 May 2006
    0 references
    The author introduces the concept of a quasi-finite complex and gives some applications of it in the extension theory established by \textit{A.~N.~Dranishnikov} [Russ. Acad. Sci., Sb., Math. 81, No.~2, 467--475 (1995); translation from Mat. Sb. 185, No.~4, 81--90 (1994; Zbl 0832.55001)]. To define this concept, note that a pair of spaces \(V\subset U\) is \([L]\)-connected for Polish spaces, where \(L\) is a (countable locally finite) CW-complex, if for every Polish space \(X\) such that \(L\) is an absolute extensor for \(X\) (\(L\in AE(X)\)) and for every closed subspace \(A\subset X\), any mapping of \(A\) to \(V\) can be extended to a mapping of \(X\) into \(U\). A CW-complex \(L\) is called quasi-finite if for every finite subcomplex \(P\) of \(L\) there exists a finite subcomplex \(Q\) of \(L\) containing \(P\) such that the pair \(P\subset Q\) is \([L]\)-connected for Polish spaces. It is proved that a countable and locally finite CW-complex is quasi-finite iff there exists a \([L]\)-invertible mapping of a metrizable compactum \(X\) with \(L\in AE(X)\) onto the Hilbert cube. Here, according to a definition of \textit{A.~Chigogidze} [Handbook of geometric topology. Amsterdam: Elsevier. 307--371 (2002; Zbl 0994.57002)], a map \(f:X\to Y\) is \([L]\)-invertible if for each Polish space \(Z\) with \(L\in AE(Z)\) and for any map \(g:Z\to Y\) there exists a map \(h:Z\to X\) satisfying the condition \(f\circ h=g\). Note that existence of such a map for a CW-complex \(L\) implies the existence of a universal metrizable compactum of extension dimension \([L]\). Furthermore, an example is constructed of a quasi-finite complex \(L\) such that its extension type \([L]\) does not contain a finitely dominated complex.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    extension dimension
    0 references
    extension type
    0 references
    invertible map
    0 references
    universal space
    0 references
    quasi-finite complex
    0 references
    Moore space
    0 references
    Eilenberg-MacLane space
    0 references
    cohomological dimension
    0 references
    0 references
    0 references
    0 references