On dimensionally exotic maps (Q466115)

This article, which is a continuation of the same authors' paper [Trans. Am. Math. Soc. 366, No. 5, 2683--2697 (2014; Zbl 1293.55001)], considers a problem related to the Hurewicz theorem in classical dimension theory (for every map of compact metric spaces, \(\dim X \leq \dim Y + \dim f\), where \(\dim f = \sup \{\dim f^{-1}(y) : y\in Y\}\)). For each map \(f: X\to Y\) of compacta (i.e., compact metric spaces), a value \(y\in Y\) is said to be dimensionally regular if \(\dim X \leq \dim (Y\times f^{-1}(y))\). A map \(f: X\to Y\) is said to be dimensionally exotic if it has no dimensionally regular values. A compactum \(X\) is a Boltyanskii compactum if \(\dim(X\times X) \neq 2\dim(X)\), in which case it is known that \(\dim(X\times X) = 2\dim(X)-1\). The authors proved in their earlier paper that if a compactum \(X\) admits a dimensionally exotic map \(f: X\to Y\), then \(X\) is a Boltyanskii compactum. This paper is on the question: does every Boltyanskii compactum admit a dimensionally exotic map? The main results of the paper are: 1) Every finite dimensional Bolyanskii compactum with \(\dim (X) \geq 6\) admits a dimensionally exotic map \(f: X\to Y\) to a \(4\)-dimensional compactum \(Y\); 2) There exists a \(4\)-dimensional Boltyanskii compactum \(X\) such that every map \(f:X\to Y\) has a dimensionally regular value. It was observed in their earlier paper that every map of a compactum of dimension \(\leq 3\) has dimensionally regular values. The knowledge of cohomological dimension theory is assumed for the proofs. In particular, the notion of dimension type is used. The construction in 2) is closely related to the construction of \(4\)-dimensional ANR compacta \(X\) and \(Y\) with \(\dim(X\times Y) = 7\) by the first author (see [Russ. Math. Surv. 43, No. 4, 11--63 (1988); translation from Usp. Mat. Nauk 43, No. 4(262), 11--55 (1988; Zbl 0671.55003)]).