All Questions

Let $ O(n) $ be the manifold of orthornormal matrix, i.e. $$ O(n)=\{A\in\mathbb{R}^{n\times n}:A^TA=I\}. $$ Then $ O(n) $ is a submanifold of $ \mathbb{R}^{n\times n} $. On $ O(n) $, there is a ...

Let $(M,g)$ be a (connected, paracompact, $C^{\infty}$-smooth) Riemannian manifold with Riemannian metric $g$. The exponential map is defined for each point $p \in M$ to be the map $\exp_p : T_p M \to ...

Let $G$ be a compact matrix Lie group under the Killing form metric $\langle \xi, \eta \rangle_g = -\frac{1}{2}\text{tr}((g^{-1}\xi)^T(g^{-1}\eta))$ for $g \in G$ and $\xi,\eta \in T_gG$. Let $C \...

I call Poincaré $n$-half-space group the semidirect product of $\mathbb{R}^{n-1}$ and $\mathbb{R}^+$, where the action is by homotheties; equivalently as the group of translations and positive ...

This question is kinda long, but the picture is quite clear. Question: Let $(M,g)$ be a Riemannian manifold, $p$ a point on $M$, $U$ an open neighborhood of $0\in T_pM$ such that $exp_p|_U$ is a ...

Let $G$ be a Lie group with a left invariant metric $g$. Let $H$ be a (closed) Lie subgroup of $G$, and assume $g$ is right-$H$-invariant. (That is $d(R_h)_e:T_eG \to T_hG$ is an isometry for every $...