Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $K$ denote a simplicial complex and $Y$ some topological space. Let us also denote by $K^n$ the $n$-skeleton of $K$. I would like to have an example for the following situation:

There is a map $f^1:K^1\to Y$ that can be extended to $f^2:K^2\to Y$ and yet no such extension can be further extended to $f^3:K^3\to Y$.

The idea is that there is an obstruction to the existence of $f^3$ already on the one-dimensional level but not by obstructing the existence of $f^2$. It is written in Hilton and Wylie's book that it is possible, yet I was not able to construct an explicit example myself.

share|improve this question
This is most probably a silly comment. I´m not in obstruction theory but I would like to understand the problem. When you ask for a map $f: K^n \rightarrow Y$ you want it to be continuous, don´t you? Then the first example which came into my mind was $K$ to be the "full" tetraedron (i.e. the complete simplicial complex on 4 vertexes), $Y$ to be $K^2$ as a topological space and finally $f^1: K^1 \rightarrow Y$ to be the inclusion map. Unfortunately I don´t understand why it does not work as a conuterexample. I would be glad to know where does it fail... –  Giovanni De Gaetano Apr 2 '12 at 13:53
@GiovanniDeGaetano, you understand correctly, a map in topology is always assumed to be a continuous function. The example you thought of fails because there are different ways to extend your $f^1$ to $f^2$. The obvious one, namely the identity, does not have an extension to $f^3$, but there is a different $f^2$, a null-homotopic one, that can be extended to $f^3$. In general, if $f^1$ is null-homotopic as in your case, it can always be extended to $K$ by the homotopy extension property for simplicial pairs. –  KotelKanim Apr 2 '12 at 19:58
I´m sorry if I waste your time with dumb questions. But I don´t see why $f^1$ is null-homotopic. Indeed if it was then also the map $f^1: K^1 \rightarrow Image(f^1)=K^1$ (which is $id_{K^1}$) would be null-homotopic and then the space $K^1$ would be contractible. But it is not. In specific I don´t see the null-homotopic extension of $f^1$, may you describe it? Thank you! –  Giovanni De Gaetano Apr 3 '12 at 8:32
No problem. $f^1$ is null-homotopic because $Y$ is homeomorphic to a sphere and since $f^1$ is not onto, its image contained in the sphere minus a point which is homeomorphic to a disc and thus contractible. Any map to a contractible space is null-homotopic (just compose with the "contraction"). The conclusion that this must imply that $K^1$ is contractible is wrong since a subspace of a contractible space does not have to be contractible (think of the inclusion of the sphere into the euclidean space). –  KotelKanim Apr 3 '12 at 8:52
Well... Thank you! You have really clarified the matter! Now I´ll try to think about a solution... but it seems complicated! –  Giovanni De Gaetano Apr 3 '12 at 8:56
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.