I will do some calculations described in 5.2 of Loop Groups. They say for example that their generators for can easily be shown to satisfy the relations which define
. But without giving it dedicated scrutiny I don’t even know how the calculations look.
I will try to rediscover my understanding of the proof that is a semidirect product and explain it here as soon as I do.
I will peruse chapter 4. Perhaps I can find the necessary material to press on to Chapter 6 next week.
February 1, 2008 at 11:52 am |
I did do a calculation for
— its straightforward. I’ll write up something after my meeting with Nadler today so I don’t forget how straightforward it is.
Didn’t quite get to look at chapter 4 yet.