Generalized cohomological dimension of compact metric spaces (Q2640190)

The notion of homological dimension was introduced by P. S. Alexandroff in the later 1920's. Further contributions to the development of homological dimension theory on compact metric spaces were made by \textit{L. S. Pontryagin} [C. R. Acad. Sci., Paris 190, 1105-1117 (1930; JFM 56.0503.01)], \textit{K. Borsuk} [Math. Ann. 109, 376-380 (1934; Zbl 0008.18301)], \textit{M. F. Bokshtejn} [Tr. Mosk. Mat. Obshch. 5, 1-80 (1956; Zbl 0071.163)], \textit{V. G. Boltyanskij} [Dokl. Akad. Nauk SSSR, Nov. Ser. 67, 597-599 (1949; Zbl 0035.387)], \textit{E. Dyer} [Fundam. Math. 47, 141-160 (1959; Zbl 0093.364)], \textit{Y. Kodama} [J. Math. Soc. Japan 11, 94-111 (1959; Zbl 0086.158); Duke Math. J. 29, 41-50 (1962; Zbl 0105.166)], \textit{V. I. Kuz'minov} [Usp. Mat. Nauk 23, No. 5, 3-49 (1968; Zbl 0179.279)] and others. New achievements of the theory are surveyed by the author of the present paper in Russ. Math. Surv. 43, No.4, 11-63 (1988); translation from Usp. Mat. Nauk. 43, No. 4, 11-55 (1988; Zbl 0658.55001). The author uses the cohomological language instead of the homological one and therefore a dual notion of cohomological dimension is considered. A compact metric space X has cohomological dimension with respect to an abelian group G equal or less than n (written: \(c\)-dim\({}_ GX\leq n\) iff for an arbitrary closed subset \(A\to X\) and an arbitrary integer \(k\geq n\), the inclusion \(A\subset X\) induces an epimorphism of k-dimensional Čech cohomology groups with coefficients in G. In this paper a notion of generalized cohomological dimension c-dim for some class of spectra \({\mathcal E}=\{E\}\) is introduced. For all \(E\in {\mathcal E}\), these dimensions \(c\)-dim\({}_ E\) coincide with the covering dimension dim for finite dimensional compacta. Namely, they are distinguished in the class of infinite-dimensional compacta. In {\S} 1 the inequalities \(c\)-dim\({}_ ZX\leq c\)-dim\({}_ EX\leq \dim X\) are considered (for a finite-dimensional compact metric space \(c\)-dim\({}_ ZX=\dim X\)- cf. the Alexandroff Theorem [\textit{P. Alexandroff}, Math. Ann. 106, 161-238 (1932; Zbl 0004.07301)] - and Z denotes in this paper the Eilenberg-MacLane spectrum \(\{\) K(Z,n)\(\}\)). In the case of the sphere spectrum S one gets the notion of stable cohomotopical dimension. In {\S} 2, an example which distinguishes \(c\)-dim\({}_ Z\) and \(c\)-dim\({}_ S\) is constructed. Also, in {\S} 2 a strongly infinite-dimensional compactum X with \(c\)-dim\({}_ ZX=3\) is constructed. The notion of test space is that introduced by \textit{B. H. McCandless} [Proc. Am. Math. Soc. 7, 1126-1130 (1957; Zbl 0077.362)]. In {\S} 3 the following statement is proved: The space \(S^ n\cup_{\alpha}B^{n+k+1}\) is a test space for dimension n for any \(\alpha \in \pi_{n+k}(S^ n)\) and \(k>0\). (Here \(S^ n\cup_{\alpha}B^{n+k+1}\) is the space obtained from \(S^ n\) by attaching a cell \(B^{n+k+1}\) by a representation \(\partial B^{n+k+1}=S^{n+k}\to S^ n\) of \(\alpha\)).