1
vote
2answers
55 views

Action of $SO_n$ on $\mathbb{S}^{n-1}$ induces fibre bundle.

Real compact Lie group $SO_n$ acts smoothly and transitively on $\mathbb{S}^{n-1} \subseteq \mathbb{R}^n$ with obvious action. Isotropy subgroup of each point in $\mathbb{S}^{n-1}$ is isomoprhic to ...
3
votes
0answers
82 views

How was this Lie algebra found?

In a paper the author lists, without justification, generators for a Lie algebra. I would be grateful if someone could justify these choices and perhaps suggest how I might have found them for myself. ...
3
votes
1answer
205 views

Every principal $G$-bundle over a surface is trivial if $G$ is compact and simply connected: reference?

I'm looking for a reference for the following result: If $G$ is a compact and simply connected Lie group and $\Sigma$ is a compact orientable surface, then every principal $G$-bundle over $\Sigma$ ...
2
votes
2answers
66 views

Is it true that $R^2 = E(2)/U(1)$?

(Just so we're clear: that the Lie group of planar translations $R^2$ is isomorphic to a quotient of the 2D Euclidean Lie group $E(2)$ and the circle group $U(1)$.) I am trying to prove that $R^2 = ...
4
votes
0answers
140 views

Lie group quotient bundle with image of normalizer as structure group

In Glen Bredon "Topology and Geometry", Ch. II-13, I am stuck on the following "Problem 1. Finish the proof at the end of this section that $G\rightarrow G/H$ is a bundle. Also show that this is a ...
6
votes
1answer
145 views

What is the proper way to address this result?

Reading a paper I came through an argument proving the following: Let be given a smooth action of $\mathbb{R}^n$ on a manifold $M$, such that it is infinitesimally free and its orbits are ...