Ok, recall our goal was to prove Helgason’s formula,

and that we have already shown

First of all, we have to do some somewhat messy Lie bracket work.

Lemma 1In an associative ring , fix elements and let , and let be the operator . Then

I’ll defer the proof (see below).

Now from what we’ve shown, and the lemma applied to the ring generated by the vector field operators, we get

If we treat as separate variables , i.e. change around the terms in the double sum (I’m only sketching the justification, which you can read about in detail in Helgason’s book, but the idea is that these are analytic functions and their derivatives grow at most factorially, so if is very small we get absolute convergence), then one obtains

Finally, if we sum this first w.r.t. and use the next-to-last boxed formula in the previous post (evaluating an analytic function on an exponential map’s image) we get

*That*‘s Helgason’s formula. (Phew. Long computations don’t lend themselves all that well to blog posts.)

Now why does this matter? First of all, this formula *can* be used to prove that the sectional curvature (I haven’t defined it yet but should by the end of this month) of a 2-dimensional Riemannian (not necessarily analytic!) manifold is the same thing as the Gauss curvature. Second of all, it works for analytic Lie groups with their exponential map without the hypothesis of being very small. Another possible future topic.

**Proof of the Lemma **

First we tackle 1. Set and the right-hand-side of the equality claimed in 1. Then it is easily checked by the definition of the Lie bracket that satisfies

We will check that satisfies an analogous relation. Since , the proof will then follow by induction. Now computing yields

which is

We get 1 by Pascal’s formula. Actually, that was really just the binomial theorem argument. I made this longer than it had to be by trying to figure it out myself, but anyway we have to do something similar for 2, so writing this all out may not have been a bad idea.

Let the right-hand-side be . Equality is true for , so we will compute and to prove the lemma by induction.

Now I claim that works out the same way. Computing gives

Note that 1 was used in the proof of 2.

## Leave a Reply