On homology of complements of compact sets in Hilbert cube (Q2400867): Difference between revisions

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