## Analogue to covering space for higher homotopy groups?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

The connection between the fundamental group and covering spaces is quite fundamental. Is there any analogue for higher homotopy groups? It doesn't make sense to me that one could make a branched cover over a set of codimension 3, since I guess, my intuition is all about 1-D loops, and not spheres.

-

## 5 Answers

There's certainly a homotopy-theoretic analogue. A universal cover of a connected space X is (up to homotopy) a simply connected space X' and a map X' -> X which is an isomorphism on πn for n >= 2. We could next ask for a 2-connected cover X'' of X': a space X'' with πkX'' = 0 for k <= 2 and a map X'' -> X' which is an isomorphism on πn for n >= 3. The homotopy fiber of such a map will have a single nonzero homotopy group, in dimension 1--it will be a K(π2X, 1). (For the universal cover the fiber was the discrete space π1X = K(π1X, 0).)

An example is the Hopf fibration K(Z, 1) = S1 -> S3 -> S2.

Geometrically it's harder to see what's going on with the 2-connected cover than with the universal cover, because fibrations with fiber of the form K(G, 1) are harder to describe than fibrations with discrete fibers (covering spaces).

-

Thanks! I hadn't thought of it in that way before, but it makes perfect sense. – jc  Oct 17 2009 at 23:51

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Just like there is a universal cover of every space, there is a natural n-connected space X_n that maps to any space X. To construct this space, you can add cells of dimension n+2 and higher to X to get a space Y together with a map X \to Y which is an isomorphism on \pi_i for i \leq n, but such that \pi_i(Y)=0 for i>n. The homotopy fiber X_n \to X of this map is then the "n-connected cover" of X; X_n is n-connected but has the same homotopy groups as X above n, as can easily be seen from the long exact sequence of the fibration. Details of this, as well as a proof of uniqueness of the n-connected cover, are in Hatcher starting on page 410.

More generally, if you started with an (n-1)-connected space, you could both kill the homotopy groups of X above n and kill a subgroup of \pi_n(X), and then the homotopy fiber would be an "n-cover" of X corresponding to that subgroup of \pi_n(X).

-
There is not a universal cover for every space. One needs conditions, such as being semi-locally simply connected. – AH Oct 18 2009 at 0:21

1
I think Eric is probably using the word "space" the way I use it, namely, a cofibrant-fibrant object of whatever model category you like which is Quillen equivalent to spaces. – Reid Barton Oct 21 2009 at 0:32

3
Or the way most people use it, namely "a manifold or CW complex or some similarly nice thing". =) – Tom Church Oct 21 2009 at 2:16

Rather than just taking homotopy groups for a single dimension, you can also think about the kind of algebraic entity that detects homotopy in two consecutive dimensions, or indeed any number of consecutive dimensions. In this discussion, following on from an earlier post, we're looking at the fundamental 2-group which picks up homotopy in dimensions 1 and 2.

-

The previous answers gave analogues to the universal covering space and looked at the homotopy groups of these analogues.

However, the analogy to the n=1 case is not complete: While \pi_ 1(X) classifies the automorphisms over X of the universal covering space, the \pi_ n(X) don't classify the automorphisms over X of these n-connected analogues. In fact, the higher \pi_ n(X) don't seem to classify anything else than homotopy classes of maps S^n-->X.

This is one of the motivations for using n-groupoids as invariants of spaces, see the discussion here, right before the references: http://ncatlab.org/nlab/show/fundamental+group+of+a+topos

or, starting on page 17 with a nice story on the invention of the higher homotopy groups, and the desire for a non-abelian homology: http://www.intlpress.com/hha/v1/n1/a1/

-

1
pi_n(X) will classify something when X is (n-1)-connected, though (after all there's no other information present in the n-groupoid). – Reid Barton Oct 21 2009 at 1:25

There may be a geometric but partial answer to your question. This is an idea I learnt from Dennis Sullivan. As we know, passing from $X$ to its universal cover $\widetilde{X}$ kills the fundamental group. Now, by Hurewicz we can assume that $H_2(\widetilde{X})=\pi_2(\widetilde{X})$, whence killing $H_2(\widetilde{X})$ suffices. If we assume $H_2(\widetilde{X})$ is torsion free then each generator $\alpha_i\in H_2(\widetilde{X})$ corresponds to a circle bundle $E_i$ over $\widetilde{X}$, i.e., $H_2(E_i)=H_2(\widetilde{X})/\mathbb{Z}\alpha_i$. Thus, if $\widetilde{X}$ was a manifold of dimension $n$ and $H_2(\widetilde{X})$ was free of rank $k$ then taking successive circle bundles we get a manifold $E$ of dimension $n+k$. This has the same higher homotopy groups ($\pi_i$ for $i>2$) as that of $X$. The example given by Reid Barton is an illustration of this. However, for manifolds this is as far as you can go since killing even the free part of $\pi_3(\widetilde{X})$ (or, equivalently the free part of $H_3(E)$) requires bundles over $E$ with fibre $\mathbb{CP}^\infty$, which lands us outside the realm of finite dimensional manifolds.

-

2
This is a special case of Reid Barton's example. It's the Hurewicz-Serre "killing homotopy groups" technique. You kill the first non-trivial homotopy group, and turn the map X' --> X into a fibration. It's a standard technique to compute homotopy groups of spheres and appears in many algebraic topology textbooks. – Ryan Budney Nov 21 2009 at 21:41
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 22, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9278342127799988, "perplexity_flag": "middle"}