All Questions
6 questions
17
votes
2
answers
2k
views
Where did Sophus Lie write the group commutator for two one parameter groups
If $X,Y$ are vector fields and $\def\Fl{\operatorname{Fl}}\Fl^X_t$ and $\Fl^Y_t$ their local flows, let $[\Fl^X_t,\Fl^Y_t]:= \Fl^Y_{-t}\Fl^X_{-t}\Fl^Y_t\Fl^X_t$ denote the group commutator of the ...
14
votes
5
answers
1k
views
History of the notion of $(G,X)$-structure
I'm currently searching for sources and historical basis on the notion of $(G,X)$-structure as it appears in Thurston's work.
So far, it appears that he was the first to set it. Many mathematicans ...
8
votes
1
answer
673
views
Classification of compact globally symmetric spaces
It is known that any connected compact Lie group $G$ is a finite quotient of the product of a compact simply connected semisimple Lie group $\tilde{G}$ and a torus $\mathbb{T}^n$ (see for example ...
6
votes
2
answers
1k
views
Parallel forms and cohomology of symmetric spaces
Let $G/H$ be a compact symmetric space. Then I believe the following is true: if $\alpha \in \Omega^k(G/H)$ and $\nabla$ the Levi-Civita connection, then
$$
(\alpha \text{ is induced by an $\...
4
votes
2
answers
758
views
Riemannian metric of hyperbolic plane
I'm fishing for the origin of the idea to consider "trace scalar product" on the space of ($G$-)orthogonal projectors as means of defining a Riemannian metric on some subset of lines in a vector space....
2
votes
1
answer
214
views
What is the space parametrising the curved sub-Cartan geometries of a flat Cartan geometry?
I'm basically wondering how to make "curved" the first column of the diagram
$\require{AMScd}$
\begin{CD}
P_1 @>\textrm{inclusion} >> G\\
@V \omega_0 V P_1\cap P_2 V @V\omega V P_2 V\\...