Manifolds as Homogeneous Spaces

432 Views Asked by At

With very little effort one can, for example, show that $S^n$ can be written as a homogeneous space as $S^n\cong G/H$, where $G$ is the group of all rotations in $\mathbb{R}^{n+1}$ about the origin and $H=G_p$ is the stabilizer subgroup consisting of rotations fixing a certain point $p$ in $S^n$ (say, the north pole).

From this example, we can see that, given a certain group acting transitively on for the space $S^n$, we are able to actually construct the space in question as a homogeneous space of said group. This leads me to the following basic questions:

Can every manifold be constructed similarly, i.e. admit a transitive group action? On a related note, if I handed you a Lie group $G$ and said that it acts transitively on some space $M$ (without telling you the space itself), could you tell me what the space itself is?

1

There are 1 best solutions below

3
On BEST ANSWER

You actually asked two different questions. The first one is

Can every manifold be constructed similarly?

You're asking if every manifold can be realized as a quotient of a Lie group by a closed subgroup. This is equivalent to asking whether every manifold admits a transitive action by a Lie group (because in that case the manifold is diffeomorphic to the group modulo the isotropy group of a point).

The answer is no -- there are strong topological restrictions. One simple necessary condition is that all connected components of the manifold must be diffeomorphic to each other. But for compact manifolds, there's a much more restrictive condition: This 2005 article by G. D. Mostow shows that a necessary condition for a compact smooth manifold to admit a transitive Lie group action is that it have nonnegative Euler characteristic.

Your second question is:

Or, said differently, if I handed you the symmetry (Lie) group $G$ of some space $M$ (without telling you the space), could you tell me what the space itself is?

This is not equivalent to the first question. Even if you knew that your manifold admitted a transitive Lie group action, just knowing the group is not enough to recover the manifold. You also have to know the isotropy group of a point. For some very simple examples, just note that the additive Lie group $\mathbb R^2$ acts transitively on itself, on the cylinder $\mathbb R\times \mathbb S^1$, and on the torus $\mathbb S^1\times \mathbb S^1$.