Finite-dimensional spaces in resolving classes

DOI10.4064/FM217-2-3MaRDI QIDQ2887094zbMATH OpenOpenAlexFDO

Authors Jeffrey Strom

Publication date 16 May 2012

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.0705

zbMATH Keywords

cone lengthhomotopy limitMassey-Peterson towerphantom mapresolving classresolving kernelSteenrod algebraSullivan conjectureT functorunstable module

Mathematics Subject Classification ID

Classifying spaces of groups and (H)-spaces in algebraic topology (55R35) Steenrod algebra (55S10) Classification of mappings in algebraic topology (55S37)

Abstract: Using the theory of resolving classes, we show that if $X$ is a CW complex of finite type such that $ma{p}_{\ast }(X,S^{2n+1})sim\ast$ for all sufficiently large $n$, then $ma{p}_{\ast }(X,K)sim\ast$ for every simply-connected finite-dimensional CW complex $K$; and under mild hypotheses on $p{i}_1(X)$, the same conclusion holds for extit{all} finite-dimensional complexes $K$. Since it is comparatively easy to prove the former condition for $$ (we give a proof in an appendix), this result can be applied to give a new, more elementary proof of the Sullivan conjecture.

Review text

The author uses his theory of resolving classes developed in [\textit{J. Strom}, Fundam. Math. 178, No. 2, 97--108 (2003; Zbl 1052.55015)] to give a new, more elementary proof of the celebrated theorem of Haynes Miller that the space of pointed maps from \(B \mathbb{Z}/p\) to any finite CW complex \(K\) is weakly contractible [\textit{H. Miller}, Ann. Math. (2) 120, 39--87 (1984; Zbl 0552.55014)]. Let \(X\) be a CW complex of finite type. The main result gives the contractibility of \(\mathrm{map}_*(X, K)\) for all simply connected, finite CW complexes \(K\) assuming only the contractibility of \(\mathrm{map}_*(X, S^{n})\) for \(n \equiv 1 \mod k\) for some \(k\) and all \(n\) sufficiently large. The restriction to simply connected \(K\) is removed provided \(\pi_1(X)\) has no nontrivial perfect quotients. Taking \(X = B \mathbb{Z}/p\) reduces the proof of the Sullivan conjecture to proving that \(\mathrm{map}_*(B \mathbb{Z}/p, S^{2n+1}) \sim *\) for all \( n \geq 1\). This easier result was proved in [\textit{H. Miller}, Algebraic topology, Proc. Conf., Aarhus 1982, Lect. Notes Math. 1051, 401--417 (1984; Zbl 0542.55016)] and is outlined in an appendix here.

Recommendations

• Miller spaces and spherical resolvability of finite complexes
• The Sullivan conjecture on maps from classifying spaces
• Rational formality of mapping spaces
• Resolutions for metrizable compacta in extension theory
• scientific article; zbMATH DE number 4209088

Cited in

(12)

• Mappings of the sphere to a simply connected space
• Rational spaces in resolving classes
• scientific article; zbMATH DE number 3862035 (Why is no real title available?)
• scientific article; zbMATH DE number 4209088 (Why is no real title available?)
• Idempotent functors that preserve cofiber sequences and split suspensions
• scientific article; zbMATH DE number 3901635 (Why is no real title available?)
• Ränder und Erzeugendensysteme von Fittingklassen
• Miller spaces and spherical resolvability of finite complexes
• Detecting mapping spaces
• A prismatic classifying space
• The Sullivan conjecture on maps from classifying spaces
• Extensions of maps from suspensions of finite projective spaces

This page was built for publication: Finite-dimensional spaces in resolving classes

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