Kirillov character formula
In mathematics, for a Lie group [math]\displaystyle{ G }[/math], the Kirillov orbit method gives a heuristic method in representation theory. It connects the Fourier transforms of coadjoint orbits, which lie in the dual space of the Lie algebra of G, to the infinitesimal characters of the irreducible representations. The method got its name after the Russia n mathematician Alexandre Kirillov. At its simplest, it states that a character of a Lie group may be given by the Fourier transform of the Dirac delta function supported on the coadjoint orbits, weighted by the square-root of the Jacobian of the exponential map, denoted by [math]\displaystyle{ j }[/math]. It does not apply to all Lie groups, but works for a number of classes of connected Lie groups, including nilpotent, some semisimple groups, and compact groups.
The Kirillov orbit method has led to a number of important developments in Lie theory, including the Duflo isomorphism and the wrapping map.
Character formula for compact Lie groups
Let [math]\displaystyle{ \lambda \in \mathfrak{t}^* }[/math] be the highest weight of an irreducible representation [math]\displaystyle{ \pi }[/math], where [math]\displaystyle{ \mathfrak{t}^* }[/math] is the dual of the Lie algebra of the maximal torus, and let [math]\displaystyle{ \rho }[/math] be half the sum of the positive roots.
We denote by [math]\displaystyle{ \mathcal{O}_{\lambda + \rho} }[/math] the coadjoint orbit through [math]\displaystyle{ \lambda + \rho \in \mathfrak{t}^* }[/math] and by [math]\displaystyle{ \mu_{\lambda + \rho} }[/math] the [math]\displaystyle{ G }[/math]-invariant measure on [math]\displaystyle{ \mathcal{O}_{\lambda + \rho} }[/math] with total mass [math]\displaystyle{ \dim \pi = d_\lambda }[/math], known as the Liouville measure. If [math]\displaystyle{ \chi_\lambda }[/math] is the character of the representation, the Kirillov's character formula for compact Lie groups is given by
- [math]\displaystyle{ j^{1/2}(X) \chi_\lambda (\exp X) = \int_{\mathcal{O}_{\lambda + \rho}} e^{i\beta (X)}d\mu_{\lambda + \rho} (\beta), \; \forall \; X \in \mathfrak{g} }[/math],
where [math]\displaystyle{ j(X) }[/math] is the Jacobian of the exponential map.
Example: SU(2)
For the case of SU(2), the highest weights are the positive half integers, and [math]\displaystyle{ \rho = 1/2 }[/math]. The coadjoint orbits are the two-dimensional spheres of radius [math]\displaystyle{ \lambda + 1/2 }[/math], centered at the origin in 3-dimensional space.
By the theory of Bessel functions, it may be shown that
- [math]\displaystyle{ \int_{\mathcal{O}_{\lambda + 1/2}} e^{i\beta (X)}d\mu_{\lambda + 1/2} (\beta) = \frac{\sin((2\lambda + 1)X)}{X/2}, \; \forall \; X \in \mathfrak{g}, }[/math]
and
- [math]\displaystyle{ j(X) = \frac{\sin X/2}{X/2} }[/math]
thus yielding the characters of SU(2):
- [math]\displaystyle{ \chi_\lambda (\exp X) = \frac{\sin((2\lambda + 1)X)}{\sin X/2} }[/math]
See also
References
- Kirillov, A. A., Lectures on the Orbit Method, Graduate Studies in Mathematics, 64, AMS, Rhode Island, 2004.
 |  |
