Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
$S^3$ can be equated with the group of unit quaternions. Taking the quotient by $\langle -1\rangle$ equates the antipodal points, so that should work. I'm not very optimistic about most of the others, because having a differentiable group structure should allow us to build a lot of nowhere vanishing vectorfields (by translation), and these can be lifted to the covering space. Even with just topological structure you may need to have exotic spheres, but I know nothing about those. – Jyrki Lahtonen Jun 21 '12 at 21:41
There might be a group structure that has little to do with the sphere before taking quotient, though, right? – tomasz Jun 21 '12 at 21:45
for $n=1$ the projective line is a circle, so it is a group, and for $n=3$ it is isomorphic to the special orthogonal group in $SO(3)$, so it is a group again. Whenever a projective space is a topological group, its universal cover, the sphere of same dimension, is a topological group too in such a way that the cover is a homomorphism of groups. So the question for projective space is answered by that for spheres. The question for spheres is settled, but somebody more qualified than me will have to tell you the answer... – Olivier Bégassat Jun 21 '12 at 21:46
Following Olivier Bégassat's argument, you can take a look at – Ehsan M. Kermani Jun 21 '12 at 21:53
It does for $n=\infty$. – Sean Tilson Jun 23 '12 at 19:44
up vote 5 down vote accepted

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$.

share|cite|improve this answer
It should be noted that Adams was concerned with when the spheres are $H$-spaces (amongst a raft of other equivalent conditions). He showed that this is only true for $n=0,1,3,7$. Note a topological group is always a $H$-space, but the converse can fail to be true. The $H$-space structure on $S^7$ does not give a group structure since the octonion's are not associative under multiplication – Juan S Jun 22 '12 at 3:40

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.