On homology of complements of compact sets in Hilbert cube

From MaRDI portal
Publication:2400867



Abstract: We introduce the notion of spaces with weak relative cohomology and show the acyclicity of the complement QsetminusX in the Hilbert cube Q of a compactum X with weak relative cohomology. As a corollary we obtain the acyclicity of the complement results when (a) X is weakly infinite dimensional; (b) X has finite cohomological dimension.


Let \(X\) be a compact subset of the Hilbert cube \(I^\infty\). Problem Q1053 of Banakh and Zarichnyi [\textit{E. Pearl} (ed.), Open problems in topology. II. Amsterdam: Elsevier (2007; Zbl 1158.54300)] asked whether the complement \(I^\infty\setminus X\) is acyclic if \(X\) is weakly infinite-dimensional. The authors of the current paper remark that this was already answered affirmatively by \textit{D. J. Garity} and \textit{D. G. Wright} in [Ill. J. Math. 31, 446--452 (1987; Zbl 0623.57008)]. Herein there are given some sufficient cohomological conditions on such a compact subset \(X\) of \(I^\infty\) that would yield acyclicity and at the same time (but by a different approach) once again an affirmative answer to the stated problem. The main result is found in Section 2. We presume that the authors mean for \(X\) to be compact. Theorem 2.3.2. Let \(X\subset I^\infty\) be cohomologically weakly infinite-dimensional with respect to a ring \(R\) with unit. Then \(\widetilde H_i(Q\setminus X;R)=0\) for all \(i\). The definition of cohomologically weakly infinite-dimensional can be found just after Proposition 2.2.1 on page 264. Section 3 includes a theorem about weakly infinite-dimensional compacta. Theorem 3.0.6. Every weakly infinite-dimensional (metrizable) compactum is cohomologically weakly infinite-dimensional for any coefficient ring \(R\). \(H_i(Q\setminus X;R)=0\) for all \(i\). Section 4 contains a result, Theorem 4.0.10, about the acyclicity of the complement \(\mathcal{R}^\gamma(M)\setminus X\) of a closed weakly infinite-dimensional subset \(X\) of \(\mathcal{R}^\gamma(M)\). Here, \(M\) is a connected manifold and \(\mathcal{R}^\gamma(M)\) is the space of Riemannian metrics on \(M\) with the \(C^\gamma\) topology. (Again, we think that this result should require that \(X\) be compact).











This page was built for publication: On homology of complements of compact sets in Hilbert cube

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