Skip to main content
3 of 6
added 495 characters in body
evgeny
  • 2k
  • 14
  • 31

Is there an analogue of CW-complexes built from $K(\mathbb Z, n)$ instead of $S^n$?

The question is motivated by Eckmann-Hilton duality and certain flaws of the homotopy category of CW-complexes. Unfortunately, I do not know the formalism of model categories, so excuse me if it is a basic fact concerning them.

First consider a circle $S^1$ with a fixed point. All spaces are supposed to be connected and have a fixed point, and I will suppress it in notations. Then there are its $(n-1)$-suspension $S^n:=\Sigma^{n-1} S^1$ and its $(n-1)$-delooping $K(\mathbb Z, n):=\Omega^{-(n-1)}S^1$ (I believe that one can construct it geometrically). From them we can build $n$-th homotopy groups $\pi_n(X):=[S^n, X]$ and $n$-th (integral) cohomology groups $H^n(X):=[X, K(\mathbb Z, n)]$, where $[A, B]$ means a set of homotopy classes of maps from $A$ to $B$, and give them a natural group structure, see Fomenko, Fuchs Homotopical topology, $\S$1.4.

As suspension $\Sigma$ and looping $\Omega$ are adjoint, one has $H^i(S^n) \simeq \mathbb Z$ for $i=n$ and $0$ otherwise, and $\pi_i(K(\mathbb Z, n)) \simeq \mathbb Z$ for $i=n$ and $0$ otherwise (we ignore $\pi_0$ and $H^0$). Moreover, in the category of CW-complexes $K(\mathbb Z, n)$ is defined by this condition up to homotopical equivalence, but $S^n$ is not -- there is Poincaré homology sphere $\widehat{S^3}$.

A quick idea is that it happens because CW-complexes are constructed from $S^n$, so one should work in the category of spaces constructed from $K(\mathbb Z, n)$, with something like Postnikov towers instead of CW-complexes' skeletons. There are certain conditions on CW-complexes, the main one is that the quotients of skeletons are bouquets of spheres; of course, one may ask that the homotopy fibers of Postnikov tower are products of $K(\mathbb Z, n)$, that is that the homotopy groups are torsion-free, but the resulting category looks very small, without spheres.

So a question is whether there is a nice category that is "Eckmann-Hilton dual" to CW-complexes? A perfect case would be if one can dualize any statement about CW-complexes and get a true statement about objects in this category.

evgeny
  • 2k
  • 14
  • 31