Group structure on $\mathbb R P^n$

296 Views Asked by At

For which positive integers $n$ can $\mathbb R P^n$ be given the structure of a topological group?

I believe that $\mathbb R P^n$ cannot be given a Lie group structure for even $n$, since then it is not orientable. But, this doesn't necessarily imply it doesn't have a topological group structure (which is not smooth); moreover, it tells us nothing about odd $n$. And ideas?

1

There are 1 best solutions below

1
On BEST ANSWER

As Olivier has soon this can be reduced to the question for spheres.

One way to prove this is to note that for a topological group $G$ we have that $G$ is homotopy equivalent to $\Omega BG$, the loopsapce of the classifying space. For example $\Omega BS^1 = \Omega \mathbb{C}P^\infty = \Omega K(\mathbb{Z},2) = K(\mathbb{Z},1) = S^1$. Thus the question is which spheres are loop spaces of classifying spaces. Adams' work showed this is true only for $n=0,1,3$.