The extension problem for complete \(UV^n\)-preimages (Q1306540)

Let \({\mathcal F}\) be a class of perfect surjective mappings of metric spaces. The extension problem for complete preimages from \({\mathcal F}\) means that an arbitrary \(f_0:X_0\to Y_0\in{\mathcal F}\) is represented as the restriction of a mapping \(f:X\to Y\in{\mathcal F}\) onto the complete preimage \(f_0^{-1}(Y_0)=X_0\), where \(Y\) is an arbitrary metric space containing \(Y_0\) as a closed subset. The authors are concerned with this problem and solved it for the class of open \(UV^n\)-mappings, where a mapping \(f:X\to Y\) is said to be a \(UV^n\)-mapping provided that every fiber of \(f\) is a \(UV^n\). A closed subset \(X_0\subset X\) is said to have the \(UV^k\)-property in \(X\), \(k<\infty\), provided that for every neighborhood \(U\subset X\) of \(X_0\), there exists a neighborhood \(V\subset U\) of \(X_0\) such that the embedding \(i:V\hookrightarrow U\) induces the trivial homomorphism of homotopy groups \(\pi_i\) for all \(i\leq k\). \(X\) is said to be a \(UV^k\)-compactum, \(k<\infty\), if for every embedding of \(X\) into an \(\text{ANE}(k+1)\)-space \(\widehat X\), \(X\) has the \(UV^k\)-property in \(\widehat X\). The authors obtain the following results: Theorem (3.1). Let \(X\hookleftarrow X_0 @>f>>Y\) be a partial map such that \(X\) and \(Y\) are \(UV^n\)-compacta and \(X_0 \subset X\) is a \(UV^{n-1}\)-compactum. Then the adjunction space \(Z=X\cup_fY\) is a \(UV^n\)-compactum. Proposition (4.2). If \(\exp_{UV^n} (\ell_2(\tau)) \in LC^n\), then \(\exp_{UV^n} (\ell_2(\tau))\in \text{AE}\), where \(\ell_2(\tau)\) denotes the Hilbert space of density \(\tau\) and \(\exp_{UV^n} (\ell_2(\tau))\) is the subspace of the exponential space \((\exp\ell_2 (\tau),\varphi H)\) consisting of all \(UV^n\)-compacta. Proposition (5.1). For every integer \(m,\exp_{UV^n} (\ell_2 (\tau))\in LC^m\). As a consequence, the authors solve the extension problem for the class of open mappings whose every fiber is a \(UV^n\)-compactum.