Vietoris-Begle theorem for spectral pro-homology (Q2759000)

The Vietoris-Begle theorem is one of well-known theorems in algebraic topology: Let \(G\) be an abelian group and let \(f:X\to Y\) be a surjective map between paracompact Hausdorff spaces. Assume that for every point \(y\in Y\), \(\overset\sim {\check H}^i (f^{-1}(y); G)=0\) for \(i\leq n\). Then the induced homomorphism \(f^*: \check H^i(Y;G) \to\check H^i(X;G)\) is an isomorphism for \(i\leq n\) and a monomorphism for \(i=n+1\). This theorem has many kinds of generalizations and induced interesting variations.NEWLINENEWLINENEWLINE\textit{J. Dydak} and \textit{G. Kozlowski} [Proc. Am. Math. Soc. 113, No. 2, 587-592 (1991; Zbl 0725.55003)] proved a generalization of the Vietoris-Begle theorem for closed maps between paracompact Hausdorff spaces and the cohomology theories induced by CW-spectra. Motivated by this result, the authors investigate the Vietoris-Begle theorem for maps between compact metric spaces and the pro-homology theories induced by ring spectra. An important fact which they show in the proof is that, for a ring spectrum \(E\) and a compact metric space \(X\) with finite stable shape dimension, \(\text{pro-} E_*(X)=0\) if and only if \(\check E^*(X)=0\).