Some mapping theorems for extensional dimension (Q1870909)

The extensional dimension of a separable metrizable space \(X\) does not exceed a CW-complex \(K\), written e-\(\dim X\leq K\), if any continuous map of a closed subset of \(X\) into \(K\) extends over \(X\). Hence for the covering dimension \(\dim\) it holds that \(\dim X\leq n\) if and only if e-\(\dim X\leq S^n\) and for the cohomological dimension \(\dim_G\) that \(\dim_G X\leq n\) if and only if e-\(\dim X\leq K(G,n)\). In this paper, the authors obtain two theorems (Theorem 1.5 and Theorem 1.6) on dimension-lowering mappings for the extensional dimension. Furthermore, they generalize some results of Pasynkov and Toruńczyk on the geometry of maps to the extensional dimension.