Timeline for How to get Haar measure on a compact Lie group, given the complexification?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 30 at 23:41 | review | Suggested edits | |||
| Jul 31 at 0:20 | |||||
| Oct 8, 2012 at 5:34 | vote | accept | Yemon Choi | ||
| Sep 1, 2012 at 6:02 | comment | added | user22479 | To be precise, $R$ is the coordinate ring of the simply connected semisimple group $G$ with a given semisimple Lie algebra $\mathfrak{g}$ over a field $k$ of char. 0. Section 3 in Hochschild's 1970 paper in vol. 34 of the Illinois Math Journal provides a commutative Hopf algebra structure on the direct limit of the duals $(U(\mathfrak{g})/J)^{\ast}$ for 2-sided ideals $J$ of finite codimension in the universal enveloping algebra, and sections 2 and 5 of his 1959 paper in the same journal show that this limit is $R$ (e.g., it really is a domain finitely generated over $k$). | |
| Sep 1, 2012 at 1:42 | answer | added | David E Speyer | timeline score: 6 | |
| Aug 31, 2012 at 23:59 | history | asked | Yemon Choi | CC BY-SA 3.0 |