On regularly branched maps (Q1779524)

A map \(g:X \to Z\) is called regular branched if \(\dim B_n(g) \leq n\cdot\dim X - (n-1)\cdot\dim Z\) for all \(n \geq 1\), where \(B_n(g) = \{ z\in Z: | g^{-1}(z)| \geq n\}\). The following fact is known as a Hurewicz theorem : for a finite-dimensional compactum \(X\) and \(p \geq 1\), the set of all regular branched maps \(g:X \to \mathbb{R}^p\) contains a dense \(G_{\delta}\)-subset of the space \(C(X,\mathbb{R}^p)\). In this paper the authors investigate a parametric version. Namely, they call a map \(g:X \to Z\) a regular branched map with respect to a fixed map \(f:X \to Y\) (shortly \(f\)-regular branched map) if \(\dim B_n(f\times g) \leq n\cdot (\dim f + \dim Y) - (n-1)\cdot (\dim Z + \dim Y)\) for every \(n \geq 1\), where \(\dim f = \sup\{\dim f^{-1}(y):y\in Y\}\). The main result is that for a \(\sigma\)-perfect map \(f:X \to Y\) between finite-dimensional spaces and \(p \geq 1\), the space \(C^{\ast}(X,\mathbb{R}^p)\) of all bounded maps from \(X\) to \(\mathbb{R}^p\) contains a dense \(G_{\delta}\)-subset \(\mathcal H\) of \(f\)-regular branched maps. In the proof they essentially use their own result in [Fundam. Math. 175, No. 1, 35-52 (2002; Zbl 1021.54027)]: for a \(\sigma\)-perfect \(n\)-dimensional map \(f:X \to Y\) with a \(C\)-space \(Y\) and every \(0 \leq k \leq n\), \(C^{\ast}(C,\mathbb{R}^k)\) contains a dense \(G_{\delta}\)-subset of maps \(g\) such that \(f\times g\) is \((n-k)\)-dimensional. It also originates from the Hurewicz theorem that every \(n\)-dimensional compactum admits a \(0\)-dimensional map into \(\mathbb{R}^n\).