On dimensionally exotic maps

From MaRDI portal



Abstract: We call a value y=f(x) of a map f:XoY dimensionally regular if dimXledim(Yimesf−1(y)). It was shown in cite{first-exotic} that if a map f:XoY between compact metric spaces does not have dimensionally regular values, then X is a Boltyanskii compactum, i.e. a compactum satisfying the equality dim(XimesX)=2dimX−1. In this paper we prove that every Boltyanskii compactum X of dimension dimXgeq6 admits a map f:XoY without dimensionally regular values. Also we exhibit a 4-dimensional Boltyanskii compactum for which every map has a dimensionally regular value.


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)]).











This page was built for publication: On dimensionally exotic maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466115)