Skip to main content
added 261 characters in body
Source Link
Deane Yang
  • 27.5k
  • 5
  • 89
  • 180

It is easier for me to examine this geometrically, rather than from the point of view of Lie groups and algebras.

First, the identity matrix $I \in O(n)$ represents the standard orthonormal basis $e_1, \dots, e_n$ of $\mathbb{R}^n$, and its coset $I\cdot O(n-k)$ represents the $k$-plane spanned by the first $k$ basis vectors $e_1, \dots, e_k$.

The local splitting you're looking for is equivalent to extending the standard orthonormal basis to a local map from $V_{n,i}$ to $O(n)$, viewed as the space of orthonormal frames in $\mathbb{R}^n$, such that the span of the first $k$ vectors in each frame is equal to the corresponding $k$-plane in $V_{n,k}$. Helgason is basically pointing out that one way to do this is to use the connection naturally induced by the bi-invariant Riemannian metric on $O(n)$ to parallel transport the initial frame along geodesic rays starting at the identity matrix.

This local section can be described as a solution to a linear secondsecond first order system of ODE's along each geodesic (essentially the Jacobi equations along each geodesic), and in principle these ODE's could be integrated to give some kind of formula for this section. Unfortunately, I've never computed this and don't know what it looks like. And it's not clear to me how to transfer this description to the setting of Lie groups and algebras. My wild guess is that you can write the system of ODE's in terms of the Lie algebra, but you won't be able to integrate them explicitly.

One possibly easier way to do this is to using the dual description using invariant differential forms as presented in:

Griffiths, P. On Cartan's method of Lie groups and moving frames as applied to uniqueness and existence questions in differential geometry. Duke Math. J. 41 (1974), 775–814.

It is easier for me to examine this geometrically, rather than from the point of view of Lie groups and algebras.

First, the identity matrix $I \in O(n)$ represents the standard orthonormal basis $e_1, \dots, e_n$ of $\mathbb{R}^n$, and its coset $I\cdot O(n-k)$ represents the $k$-plane spanned by the first $k$ basis vectors $e_1, \dots, e_k$.

The local splitting you're looking for is equivalent to extending the standard orthonormal basis to a local map from $V_{n,i}$ to $O(n)$, viewed as the space of orthonormal frames in $\mathbb{R}^n$, such that the span of the first $k$ vectors in each frame is equal to the corresponding $k$-plane in $V_{n,k}$. Helgason is basically pointing out that one way to do this is to use the connection naturally induced by the bi-invariant Riemannian metric on $O(n)$ to parallel transport the initial frame along geodesic rays starting at the identity matrix.

This local section can be described as a solution to a linear second order system of ODE's along each geodesic (essentially the Jacobi equations along each geodesic), and in principle these ODE's could be integrated to give some kind of formula for this section. Unfortunately, I've never computed this and don't know what it looks like.

One possibly easier way to do this is to using the dual description using invariant differential forms as presented in:

Griffiths, P. On Cartan's method of Lie groups and moving frames as applied to uniqueness and existence questions in differential geometry. Duke Math. J. 41 (1974), 775–814.

It is easier for me to examine this geometrically, rather than from the point of view of Lie groups and algebras.

First, the identity matrix $I \in O(n)$ represents the standard orthonormal basis $e_1, \dots, e_n$ of $\mathbb{R}^n$, and its coset $I\cdot O(n-k)$ represents the $k$-plane spanned by the first $k$ basis vectors $e_1, \dots, e_k$.

The local splitting you're looking for is equivalent to extending the standard orthonormal basis to a local map from $V_{n,i}$ to $O(n)$, viewed as the space of orthonormal frames in $\mathbb{R}^n$, such that the span of the first $k$ vectors in each frame is equal to the corresponding $k$-plane in $V_{n,k}$. Helgason is basically pointing out that one way to do this is to use the connection naturally induced by the bi-invariant Riemannian metric on $O(n)$ to parallel transport the initial frame along geodesic rays starting at the identity matrix.

This local section can be described as a solution to a linear second first order system of ODE's along each geodesic (essentially the Jacobi equations along each geodesic), and in principle these ODE's could be integrated to give some kind of formula for this section. Unfortunately, I've never computed this and don't know what it looks like. And it's not clear to me how to transfer this description to the setting of Lie groups and algebras. My wild guess is that you can write the system of ODE's in terms of the Lie algebra, but you won't be able to integrate them explicitly.

One possibly easier way to do this is to using the dual description using invariant differential forms as presented in:

Griffiths, P. On Cartan's method of Lie groups and moving frames as applied to uniqueness and existence questions in differential geometry. Duke Math. J. 41 (1974), 775–814.

Source Link
Deane Yang
  • 27.5k
  • 5
  • 89
  • 180

It is easier for me to examine this geometrically, rather than from the point of view of Lie groups and algebras.

First, the identity matrix $I \in O(n)$ represents the standard orthonormal basis $e_1, \dots, e_n$ of $\mathbb{R}^n$, and its coset $I\cdot O(n-k)$ represents the $k$-plane spanned by the first $k$ basis vectors $e_1, \dots, e_k$.

The local splitting you're looking for is equivalent to extending the standard orthonormal basis to a local map from $V_{n,i}$ to $O(n)$, viewed as the space of orthonormal frames in $\mathbb{R}^n$, such that the span of the first $k$ vectors in each frame is equal to the corresponding $k$-plane in $V_{n,k}$. Helgason is basically pointing out that one way to do this is to use the connection naturally induced by the bi-invariant Riemannian metric on $O(n)$ to parallel transport the initial frame along geodesic rays starting at the identity matrix.

This local section can be described as a solution to a linear second order system of ODE's along each geodesic (essentially the Jacobi equations along each geodesic), and in principle these ODE's could be integrated to give some kind of formula for this section. Unfortunately, I've never computed this and don't know what it looks like.

One possibly easier way to do this is to using the dual description using invariant differential forms as presented in:

Griffiths, P. On Cartan's method of Lie groups and moving frames as applied to uniqueness and existence questions in differential geometry. Duke Math. J. 41 (1974), 775–814.