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–Kostant–Souriau | |
|---|---|
| Name | Kirillov–Kostant–Souriau |
| Fields | Representation theory, Symplectic geometry, Differential geometry |
| Known for | Orbit method, coadjoint orbits, symplectic form |
Kirillov–Kostant–Souriau is the collective name for a construction in Representation theory and Symplectic geometry that assigns a canonical closed nondegenerate 2-form to each coadjoint representation orbit of a Lie group acting on the dual of its Lie algebra. Developed independently by Alexandre Kirillov, Bertram Kostant, and Jean-Marie Souriau in the mid‑20th century, the construction underpins the orbit method linking unitary representation theory of nilpotent and semisimple groups to geometric quantization and has influenced work by Mackey, Weyl, Gelfand, Harish-Chandra, and Kirillov's collaborators.
The origins trace to Kirillov's 1962 proposal for an orbit method connecting Heisenberg group representations, the Stone–von Neumann theorem, and characters of nilpotent groups, while Kostant's 1970 papers linked the construction to geometric quantization and the Borel–Weil theorem for compact groups; Souriau's independent work formulated the idea in the language of symplectic manifolds and moment maps, influencing later treatments by Atiyah, Bott, Weinstein, Guillemin, and Sternberg. Subsequent developments connected the form to the Marsden–Weinstein reduction procedure, the classification of coadjoint orbits for SL(2,R), SU(2), GL(n,R), and to asymptotic results by Harish-Chandra and Kirillov's character formula, while researchers such as Duflo, Vergne, Rossmann, Goodman, and Wallach extended applications to noncompact and solvable settings.
Let G be a finite‑dimensional real or complex connected Lie group with Lie algebra g and dual g*. The coadjoint action of G on g* is defined by the dual of the adjoint representation; for ξ in g* and X in g the infinitesimal action is given by ad*X(ξ). For a fixed ξ the coadjoint orbit O_ξ = G·ξ is a homogeneous space isomorphic to G/G_ξ where G_ξ denotes the stabilizer subgroup in G, and the tangent space at ξ identifies with g / g_ξ via the map induced by the infinitesimal action; this identification is central in constructions by Kostant, Kirillov, and Souriau. The canonical 2‑form ω_ξ on O_ξ is defined algebraically at ξ by ω_ξ(ad*X(ξ), ad*Y(ξ)) = ξ([X,Y]) for X,Y in g, making use of the Lie bracket and the pairing between g and g*, an idea appearing in sources by Bott, Segal, and Guillemin.
Each coadjoint orbit O_ξ carries a natural structure of a symplectic manifold with ω_ξ closed and nondegenerate, making O_ξ a model for classical phase spaces in works by Souriau, Weinstein, and Marsden. For compact groups such as SU(n), SO(n), and U(n), orbits are algebraic varieties closely related to flag varieties appearing in the Borel–Weil–Bott theorem and carry Kähler structures treated by Kostant and Sternberg; for reductive groups like GL(n,C), orbit classification intersects the theory of nilpotent orbits studied by Bala–Carter and Dynkin. The moment map formalism of Marsden–Weinstein identifies Hamiltonian G‑actions on symplectic manifolds with maps to g* whose images are unions of coadjoint orbits, a theme developed further in works by Atiyah and Guillemin–Sternberg.
The KKS 2‑form ω on O_ξ is G‑invariant and defined at any point η in O_ξ by ω_η(ad*X(η), ad*Y(η)) = η([X,Y]), encapsulating the Lie algebra structure; nondegeneracy follows from isotropy computations using the stabilizer algebra g_η and facts recorded by Chevalley and Eilenberg–MacLane pioneers. Closedness of ω is a consequence of the Jacobi identity for the Lie bracket and global homogeneous space considerations used by Kostant; ω defines an integral cohomology class for certain integral weights tied to the lattice of maximal torus characters in compact groups, a fact exploited in the Borel–Weil construction and in prequantization by Kostant and Souriau. The KKS form is functorial under group homomorphisms and behaves compatibly with induction and restriction procedures studied by Mackey and Frobenius, and it enters index formulae and character computations developed by Atiyah–Bott and Harish-Chandra.
Classic computations include the identification of coadjoint orbits for SU(2) with spheres S^2 equipped with the area form proportional to the KKS form, linking to the spin representations and the Hopf fibration explored by Pontryagin and Hirzebruch; for the Heisenberg group the unique nontrivial orbit yields the standard symplectic structure on R^{2n} underlying the Stone–von Neumann theorem and the Schrödinger representation studied by Weyl and Von Neumann. For SL(2,R) one finds hyperboloids and light‑cone orbits related to discrete series and principal series representations analyzed by Mautner and Harish-Chandra; for GL(n,R) and GL(n,C) coadjoint orbit classification reduces to conjugacy classes of matrices and Jordan canonical forms, topics in Weyl character theory and Duflo's work. Explicit KKS forms appear in computations for compact flag manifolds, nilpotent cones studied by Kostant and Bala–Carter, and affine coadjoint orbits relevant in loop group and Kac–Moody algebra contexts treated by Pressley and Segal.
The orbit method proposes a correspondence between irreducible unitary representations of G and quantized coadjoint orbits; successful cases include Heisenberg group via the Stone–von Neumann theorem, compact groups via the Borel–Weil theorem, nilpotent groups via Kirillov's original work, and aspects of reductive groups via Harish-Chandra's theory and works by Duflo, Vergne, Rossmann, Zuckerman, and Vogan. Geometric quantization procedures apply the KKS form for prequantum line bundles and polarization choices, techniques developed by Kostant, Souriau, Guillemin, Sternberg, and Woodhouse, and link to deformation quantization studied by Kontsevich and Fedosov. In mathematical physics, the KKS construction models classical phase spaces for systems with symmetry groups such as Galileo, Poincaré group, and Conformal group, and it underlies modern approaches to integrable systems, representation duality, and categorical mirror symmetry explored by Seidel and Kontsevich.