# Tagged Questions

A Lie group is a group (in the sense of abstract algebra) that is also a differentiable manifold, such that the group operations (addition and inversion) are smooth, and so we can study them with differential calculus. They are a special type of topological group. Consider using with the (group-...

138 views

### left regular representation of SU(2)

in Sepanski's book Compact Lie groups, he describes the representation theory of SU(2) as being isomorphic to $\mathbb{N}$ (SU(2) acts irreducibly on the (n+1)-dimensional space of homogeneous ...
101 views

### Inducing a surface area measure on $S^2$ from the Haar measure on $SO(3)$

I'm reading the book "Random Matrices: High Dimensional Phenomena" by G. Blower. There is an example that I've been struggled for a long time. For those who have access to the book, it's the Example 1....
32 views

144 views

### How to compute dimension of $O(n,\mathbb{R})$

Let $f:GL(n,\mathbb{R})\to GL(n,\mathbb{R})$ be the smooth map $A\mapsto A^TA$. Observe that $f$ has constant rank on $GL(n,\mathbb{R})$ by chain rule and that $O(n,\mathbb{R})$ is the preimage of $I$,...
106 views

170 views

### quotient by a group that acts almost freely

How can I show that if a compact lie group G acts almost freely and smoothly on a manifold M, then M/G is Hausdorff? (an action is almost free if $G_x$ is finite for all x $\in$ M)
67 views

### why can i differentiate this term-by-term?

What's the best way to justify the following computation: For $A, B$ symmetric real matrices, \frac{d}{dt}|_{t=0}e^{A+tB}= \frac{d}{dt}|_{t=0}(1+(A+tB)+\frac{1}{2!}(A+tB)^2+...) = (B+\frac{1}{2!}(...
### Looking for proof that $SO(3)$ is a submanifold of $\mathbb R^3$
It seems to be taken for granted in all sources that $SO(3)$ is a submanifold of $\mathbb R^9$. However, the one proof of this that I have been able to find has a step or two that doesn't make alot ...
### Riemannian symmetric pair $(G,H)$ with H non-compact
Let $G$ denote a connected Lie group and $H$ a closed subgroup. Suppose that $\sigma$ is an involutive automorphism of $G$. Assume that $(G,H,\sigma)$ is a Riemannian symmetric pair. So far I have ...