This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Kirillov character formula | |
|---|---|
| Name | Kirillov character formula |
| Field | Representation theory |
| Introduced | 1962 |
| Contributor | Alexandre Kirillov |
| Related | Orbit method; Lie group; Lie algebra; coadjoint orbit |
Kirillov character formula
The Kirillov character formula gives an expression for the characters of unitary irreducible representations of certain Lie groups in terms of geometric data on coadjoint orbits. It relates analytic objects such as characters and distributions to symplectic geometry features of orbits arising from the dual of a Lie algebra, linking representation theory with geometric quantization and harmonic analysis.
The formula was introduced by Alexandre Kirillov and developed alongside work by Igor Gelfand, Israel Gelʹfand, James Dixmier, and Harish-Chandra, connecting to themes found in the work of Hermann Weyl, Élie Cartan, and Sophus Lie. It plays a central role in the orbit method that unifies perspectives from the study of nilpotent Lie groups, semisimple Lie algebras, and solvable groups, with further resonance in the research programs of George Mackey, Bertram Kostant, and Michael Atiyah.
Kirillov's insight emerged from investigations into unitary duals of groups such as the Heisenberg group, the Euclidean group, and nilpotent Lie groups, building on Fourier analysis techniques used by Johann Fourier, Norbert Wiener, and André Weil. The orbit method was motivated by classification problems tackled by Émile Picard and Hermann Weyl for compact groups, and by the harmonic analysis tradition exemplified by Harish-Chandra, Roger Howe, and Elias Stein. Influences include geometric quantization studied by Bertram Kostant and the index theory of Michael Atiyah and Isadore Singer, while developments in microlocal analysis by Lars Hörmander and Joseph Bernstein also feed into the technical toolkit.
For a connected, simply connected nilpotent Lie group associated to a Lie algebra g, and for a coadjoint orbit O in the dual space g*, the Kirillov character formula expresses the character chi_pi of the unitary irreducible representation pi corresponding to O as an oscillatory integral over O. The formula connects the Fourier transform on g with symplectic volume forms on O, paralleling earlier formulas of Hermann Weyl for compact groups and later refinements by Harish-Chandra for reductive groups. The statement generalizes constructions appearing in the work of Andrey Kolmogorov and Norbert Wiener on distributions and in quantum mechanical formulations by Paul Dirac.
Kirillov's derivation for nilpotent groups proceeds by inducing characters from polarizations à la Mackey and by applying the Fourier inversion on the Lie algebra as used by Jean Leray and Laurent Schwartz. For stepwise proofs one invokes the Campbell–Baker–Hausdorff series related to Wilhelm Magnus and John von Neumann, together with symplectic geometry techniques developed by Jean-Louis Koszul and Alan Weinstein. Extensions to solvable groups use methods from Ludwig Faddeev and Igor Krichever, while semisimple cases require Harish-Chandra's harmonic analysis apparatus and the work of Nolan Wallach and David Vogan on unitary representations.
The Heisenberg group yields the classical Schrödinger representation whose character computation mirrors formulations by Werner Heisenberg, Erwin Schrödinger, and Paul Dirac, and recovers the Stone–von Neumann theorem associated with Marshall Stone and John von Neumann. Computations for the Euclidean group relate to crystallographic groups studied by Arthur Cayley and William Rowan Hamilton. For compact groups like SU(2) and SU(n), the formula connects to Weyl character formula applications by Hermann Weyl and Richard Brauer, and to branching rules analyzed by Eugene Wigner and Hans Bethe. Nilpotent examples link to the work of Kirillov, Jean-Pierre Serre, and Claude Chevalley on algebraic groups.
The formula underpins geometric quantization programs of Bertram Kostant and Jean-Marie Souriau, aids index-theoretic calculations in the Atiyah–Singer index framework, and interfaces with the Langlands programme advanced by Robert Langlands, Pierre Deligne, and Edward Frenkel. It informs harmonic analysis on symmetric spaces studied by Sigurdur Helgason and connects to number-theoretic trace formulas developed by Selberg and André Weil. In mathematical physics it appears in conformal field theory contexts related to Alexander Belavin and Alexander Zamolodchikov, in integrable systems associated with Vladimir Drinfeld and Ludvig Faddeev, and in quantization techniques influenced by Paul Dirac and John von Neumann.
Generalizations extend to real reductive groups in the work of Harish-Chandra, David Vogan, and Nolan Wallach, and to p-adic groups in the developments by Pierre Deligne, Jean-Pierre Serre, and Gérard Laumon. Microlocal and analytic refinements owe to Lars Hörmander, Masaki Kashiwara, and Masaki Sato in the theory of D-modules, while categorical and geometric representation theory advances by Maxim Kontsevich, Mikhail Gromov, and George Lusztig broaden the orbit perspective. Modern research connects the formula to developments in derived algebraic geometry by Jacob Lurie and Vladimir Drinfeld and to quantum groups investigated by Michio Jimbo and Vladimir Drinfeld.