On two problems in extension theory (Q2488861): Difference between revisions

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.