# Using algebraic topology to disprove existence of embeddings

I've seen questions like this on a lot of old qualifying exams in algebraic topology. The type of question is usually of the form:

Let $X$, $Y$ be some topological spaces. Prove that $X$ can't be embedded in $Y$.

The problem I have is that I don't see how homology or homotopy or really anything I know helps. For example, in the general case taking e.g. $S^1$ we can embed it into the disk $D^2$. However, the latter is contractible, so all homotopy and homology groups are zero. Thus, knowing the homotopy/homology groups for the larger space does not give us any information about whether or not we can embed something into it. This would suggest that homotopy and homology doesn't provide any general methods as the spaces in this particular example are pretty much as nice as anything can get.

The question is a somewhat soft question, but I'm curious about which tools in algebraic topology are usually used to tackle questions like this and what are some of the standard tricks involved?

-
Hi, I think the material you need is in Hatcher Chapter 2. I am not an expert on this so I cannot suggest further. –  Kerry Mar 11 '11 at 18:53
Depending on the spaces $X$ and $Y$, you may need very little tools. For example, consider the problem of embedding a circle in $\mathbb R$. One argument that it can't be done is that removal of a point from $\mathbb R$ disconnects it, but no point can disconnect a circle. This is a connectivity argument, and this type of argument persists for all kinds of embedding problems but you may need different types of connectivity results, like homology or homotopy groups, for example. –  Ryan Budney Mar 11 '11 at 18:57
how about some examples? –  yoyo Mar 11 '11 at 19:13
I know some of those really easy cases. The particular question I had in mind was trying to embed $RP^{2n}$ into $S^{2n+1}$. I've tried looking at cell decompositions in this case... –  Eric Mar 11 '11 at 19:13
For $\mathbb RP^{2n}$ in $S^{2n+1}$, I suggest considering the relations between the homology of $\mathbb RP^{2n}$ and that of its complement (in a supposed embedding). This gives you a relationship (Alexander duality) between the homology of $\mathbb RP^{2n}$ and that of its complement. –  Ryan Budney Mar 11 '11 at 19:37