Harish-Chandra module
Generated by GPT-5-miniExpansion Funnel Raw 59 → Dedup 0 → NER 0 → Enqueued 0
| Harish-Chandra module | |
|---|---|
| Name | Harish-Chandra module |
| Subject | Representation theory |
| Field | Harish-Chandra-style harmonic analysis |
| Introduced | 1950s |
| Keywords | Lie algebra, representation theory, Semisimple Lie algebra, Kac–Moody algebra |
Harish-Chandra module
A Harish-Chandra module is an algebraic object arising in the study of continuous representations of real reductive Lie groups, linking the theory of Lie algebra representations, compact subgroup symmetries, and analytic structures on homogeneous spaces. It formalizes finite-type conditions that permit algebraic manipulation of infinite-dimensional representations appearing in the work of Harish-Chandra and later developments by Casselman, Jacquet, and Bernstein. Harish-Chandra modules serve as bridges between global objects such as unitary representations of SL(2,R), GL(n,R), and Sp(2n,R) and algebraic invariants like infinitesimal characters tied to centers of universal enveloping algebras.
Definition and basic properties
A Harish-Chandra module is a (g,K)-module for a complexified Lie algebra g associated to a real reductive group G with maximal compact subgroup K, satisfying two fundamental finiteness conditions: it is finitely generated over the universal enveloping algebra U(g) and it is K-finite under the action of K. Key structural properties connect to the Poincaré–Birkhoff–Witt theorem, the center Z(g) of U(g), and the Harish-Chandra isomorphism; these ensure modules decompose into generalized eigenspaces for Z(g) and admit finite K-type multiplicities. Important technical notions include admissibility, highest weight vectors relative to a Cartan pair, and the linkage to dual reductive pairs studied by Howe and Kostant.
Examples and classification
Basic examples include finite-dimensional irreducible representations of complex reductive groups such as GL(n,C), SL(n,C), and SO(n,C), which are Harish-Chandra modules when restricted appropriately, principal series representations induced from parabolic subgroups like Borel and minimal parabolic subgroups studied by Langlands and Knapp. Discrete series representations for groups such as SL(2,R), SU(1,1), and Sp(2n,R) produce Harish-Chandra modules with square-integrable matrix coefficients as shown in work by Harish-Chandra and Wallach. Other classes include degenerate principal series, limits of discrete series investigated by Zuckerman and Vogan, and standard modules classified in the Langlands classification by Zhelobenko and Beilinson–Bernstein techniques.
Harish-Chandra homomorphism and character theory
The Harish-Chandra homomorphism identifies the center Z(g) of U(g) with symmetric algebra invariants under the Weyl group for a Cartan subalgebra, enabling the definition of infinitesimal characters and the classification of central characters for modules associated to groups such as E8, F4, G2, and classical types. Harish-Chandra characters, as distributions on G, are computed for irreducible admissible representations using orbital integrals and local character expansions pioneered by Harish-Chandra and developed by Schanuel, Shelstad, and Arthur. The character theory connects to the Lefschetz fixed-point formula in the work of Atiyah–Bott and to endoscopic transfer studied by Langlands and Kottwitz.
Admissibility, infinitesimal characters, and highest weight modules
Admissibility requires finite multiplicities of irreducible K-types, a condition verified for many important families including principal series, discrete series, and tempered representations studied by Knapp–Zuckerman and Vogan. Infinitesimal characters arise from evaluation of the Harish-Chandra homomorphism and classify modules up to generalized eigenspaces; they play a central role in the formulation of the Langlands classification and in Kazhdan–Lusztig theory developed by Beilinson–Bernstein and Kazhdan–Lusztig. Highest weight modules for semisimple Lie algebras such as those of Cartan type link to Harish-Chandra modules via translation functors investigated by Jantzen and coherent continuation methods of Zuckerman.
Category O and relationship to representation theory
Category O, introduced by Bernstein–Gelfand–Gelfand, contains highest weight modules for complex semisimple Lie algebras and relates to Harish-Chandra modules through localization theorems of Beilinson–Bernstein and the equivalence between geometric D-modules on flag varieties studied by Hotta–Takeuchi–Tanisaki. Translation functors, projective objects, and blocks of Category O interplay with (g,K)-modules via cohomological induction of Zuckerman and the duality theories of Enright and Soergel. Connections extend to algebraic geometry through the study of Springer fibers by Springer and to combinatorics via the Kazhdan–Lusztig polynomials associated to Weyl groups of types A_n, B_n, C_n, and D_n.
Applications in harmonic analysis and automorphic forms
Harish-Chandra modules underpin harmonic analysis on reductive groups such as GL(2,R), GL(n,R), and adelic groups like GL(2,A) in the theory of automorphic representations developed by Langlands, Jacquet, Piatetski-Shapiro, and Shalika. They enable spectral decomposition of L^2-spaces on locally symmetric spaces associated to Shimura varieties, trace formulas of Selberg and Arthur, and the study of L-functions in the Rankin–Selberg method of Godement–Jacquet and Iwaniec. Further applications include the classification of unitary duals for groups studied by Vogan and Barbasch–Moy, and links to number-theoretic reciprocity conjectures in the Langlands program formulated by Langlands and explored by Harris–Taylor.