Orbit method

Last updated

In mathematics, the orbit method (also known as the Kirillov theory, the method of coadjoint orbits and by a few similar names) establishes a correspondence between irreducible unitary representations of a Lie group and its coadjoint orbits: orbits of the action of the group on the dual space of its Lie algebra. The theory was introduced by Kirillov  ( 1961 , 1962 ) for nilpotent groups and later extended by Bertram Kostant, Louis Auslander, Lajos Pukánszky and others to the case of solvable groups. Roger Howe found a version of the orbit method that applies to p-adic Lie groups. [1] David Vogan proposed that the orbit method should serve as a unifying principle in the description of the unitary duals of real reductive Lie groups. [2]

Contents

Relation with symplectic geometry

One of the key observations of Kirillov was that coadjoint orbits of a Lie group G have natural structure of symplectic manifolds whose symplectic structure is invariant under G. If an orbit is the phase space of a G-invariant classical mechanical system then the corresponding quantum mechanical system ought to be described via an irreducible unitary representation of G. Geometric invariants of the orbit translate into algebraic invariants of the corresponding representation. In this way the orbit method may be viewed as a precise mathematical manifestation of a vague physical principle of quantization. In the case of a nilpotent group G the correspondence involves all orbits, but for a general G additional restrictions on the orbit are necessary (polarizability, integrality, Pukánszky condition). This point of view has been significantly advanced by Kostant in his theory of geometric quantization of coadjoint orbits.

Kirillov character formula

For a Lie group , 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 Russian 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 . 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.

Special cases

Nilpotent group case

Let G be a connected, simply connected nilpotent Lie group. Kirillov proved that the equivalence classes of irreducible unitary representations of G are parametrized by the coadjoint orbits of G, that is the orbits of the action G on the dual space of its Lie algebra. The Kirillov character formula expresses the Harish-Chandra character of the representation as a certain integral over the corresponding orbit.

Compact Lie group case

Complex irreducible representations of compact Lie groups have been completely classified. They are always finite-dimensional, unitarizable (i.e. admit an invariant positive definite Hermitian form) and are parametrized by their highest weights, which are precisely the dominant integral weights for the group. If G is a compact semisimple Lie group with a Cartan subalgebra h then its coadjoint orbits are closed and each of them intersects the positive Weyl chamber h*+ in a single point. An orbit is integral if this point belongs to the weight lattice of G. The highest weight theory can be restated in the form of a bijection between the set of integral coadjoint orbits and the set of equivalence classes of irreducible unitary representations of G: the highest weight representation L(λ) with highest weight λh*+ corresponds to the integral coadjoint orbit G·λ. The Kirillov character formula amounts to the character formula earlier proved by Harish-Chandra.

See also

Related Research Articles

In the mathematical field of representation theory, a weight of an algebra A over a field F is an algebra homomorphism from A to F, or equivalently, a one-dimensional representation of A over F. It is the algebra analogue of a multiplicative character of a group. The importance of the concept, however, stems from its application to representations of Lie algebras and hence also to representations of algebraic and Lie groups. In this context, a weight of a representation is a generalization of the notion of an eigenvalue, and the corresponding eigenspace is called a weight space.

In mathematics, the Borel–Weil–Bott theorem is a basic result in the representation theory of Lie groups, showing how a family of representations can be obtained from holomorphic sections of certain complex vector bundles, and, more generally, from higher sheaf cohomology groups associated to such bundles. It is built on the earlier Borel–Weil theorem of Armand Borel and André Weil, dealing just with the space of sections, the extension to higher cohomology groups being provided by Raoul Bott. One can equivalently, through Serre's GAGA, view this as a result in complex algebraic geometry in the Zariski topology.

Compact group Topological group with compact topology

In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space. Compact groups are a natural generalization of finite groups with the discrete topology and have properties that carry over in significant fashion. Compact groups have a well-understood theory, in relation to group actions and representation theory.

In group theory, restriction forms a representation of a subgroup using a known representation of the whole group. Restriction is a fundamental construction in representation theory of groups. Often the restricted representation is simpler to understand. Rules for decomposing the restriction of an irreducible representation into irreducible representations of the subgroup are called branching rules, and have important applications in physics. For example, in case of explicit symmetry breaking, the symmetry group of the problem is reduced from the whole group to one of its subgroups. In quantum mechanics, this reduction in symmetry appears as a splitting of degenerate energy levels into multiplets, as in the Stark or Zeeman effect.

Cartan subalgebra Nilpotent subalgebra of a Lie algebra

In mathematics, a Cartan subalgebra, often abbreviated as CSA, is a nilpotent subalgebra of a Lie algebra that is self-normalising. They were introduced by Élie Cartan in his doctoral thesis. It controls the representation theory of a semi-simple Lie algebra over a field of characteristic .

In mathematics, the coadjoint representation of a Lie group is the dual of the adjoint representation. If denotes the Lie algebra of , the corresponding action of on , the dual space to , is called the coadjoint action. A geometrical interpretation is as the action by left-translation on the space of right-invariant 1-forms on .

Bertram Kostant American Jewish mathematician

Bertram Kostant was an American mathematician who worked in representation theory, differential geometry, and mathematical physics.

In mathematics, for a Lie group , 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 Russian mathematician Alexandre Kirillov.

In mathematics, the Langlands classification is a description of the irreducible representations of a reductive Lie group G, suggested by Robert Langlands (1973). There are two slightly different versions of the Langlands classification. One of these describes the irreducible admissible (g,K)-modules, for g a Lie algebra of a reductive Lie group G, with maximal compact subgroup K, in terms of tempered representations of smaller groups. The tempered representations were in turn classified by Anthony Knapp and Gregg Zuckerman. The other version of the Langlands classification divides the irreducible representations into L-packets, and classifies the L-packets in terms of certain homomorphisms of the Weil group of R or C into the Langlands dual group.

In mathematics, a tempered representation of a linear semisimple Lie group is a representation that has a basis whose matrix coefficients lie in the Lp space

In mathematics, admissible representations are a well-behaved class of representations used in the representation theory of reductive Lie groups and locally compact totally disconnected groups. They were introduced by Harish-Chandra.

In mathematics, the Littelmann path model is a combinatorial device due to Peter Littelmann for computing multiplicities without overcounting in the representation theory of symmetrisable Kac–Moody algebras. Its most important application is to complex semisimple Lie algebras or equivalently compact semisimple Lie groups, the case described in this article. Multiplicities in irreducible representations, tensor products and branching rules can be calculated using a coloured directed graph, with labels given by the simple roots of the Lie algebra.

In mathematics, a zonal spherical function or often just spherical function is a function on a locally compact group G with compact subgroup K that arises as the matrix coefficient of a K-invariant vector in an irreducible representation of G. The key examples are the matrix coefficients of the spherical principal series, the irreducible representations appearing in the decomposition of the unitary representation of G on L2(G/K). In this case the commutant of G is generated by the algebra of biinvariant functions on G with respect to K acting by right convolution. It is commutative if in addition G/K is a symmetric space, for example when G is a connected semisimple Lie group with finite centre and K is a maximal compact subgroup. The matrix coefficients of the spherical principal series describe precisely the spectrum of the corresponding C* algebra generated by the biinvariant functions of compact support, often called a Hecke algebra. The spectrum of the commutative Banach *-algebra of biinvariant L1 functions is larger; when G is a semisimple Lie group with maximal compact subgroup K, additional characters come from matrix coefficients of the complementary series, obtained by analytic continuation of the spherical principal series.

<span class="mw-page-title-main">Representation theory</span> Branch of mathematics that studies abstract algebraic structures

Representation theory is a branch of mathematics that studies abstract algebraic structures by representing their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrices and their algebraic operations. The theory of matrices and linear operators is well-understood, so representations of more abstract objects in terms of familiar linear algebra objects helps glean properties and sometimes simplify calculations on more abstract theories.

In mathematics, noncommutative harmonic analysis is the field in which results from Fourier analysis are extended to topological groups that are not commutative. Since locally compact abelian groups have a well-understood theory, Pontryagin duality, which includes the basic structures of Fourier series and Fourier transforms, the major business of non-commutative harmonic analysis is usually taken to be the extension of the theory to all groups G that are locally compact. The case of compact groups is understood, qualitatively and after the Peter–Weyl theorem from the 1920s, as being generally analogous to that of finite groups and their character theory.

In mathematics, Kostant's convexity theorem, introduced by Bertram Kostant (1973), states that the projection of every coadjoint orbit of a connected compact Lie group into the dual of a Cartan subalgebra is a convex set. It is a special case of a more general result for symmetric spaces. Kostant's theorem is a generalization of a result of Schur (1923), Horn (1954) and Thompson (1972) for hermitian matrices. They proved that the projection onto the diagonal matrices of the space of all n by n complex self-adjoint matrices with given eigenvalues Λ = is the convex polytope with vertices all permutations of the coordinates of Λ.

This is a glossary of representation theory in mathematics.

In representation theory, a branch of mathematics, the theorem of the highest weight classifies the irreducible representations of a complex semisimple Lie algebra . There is a closely related theorem classifying the irreducible representations of a connected compact Lie group . The theorem states that there is a bijection

Representation theory of semisimple Lie algebras

In mathematics, the representation theory of semisimple Lie algebras is one of the crowning achievements of the theory of Lie groups and Lie algebras. The theory was worked out mainly by E. Cartan and H. Weyl and because of that, the theory is also known as the Cartan–Weyl theory. The theory gives the structural description and classification of a finite-dimensional representation of a semisimple Lie algebra ; in particular, it gives a way to parametrize irreducible finite-dimensional representations of a semisimple Lie algebra, the result known as the theorem of the highest weight.

In representation theory, polarization is the maximal totally isotropic subspace of a certain skew-symmetric bilinear form on a Lie algebra. The notion of polarization plays an important role in construction of irreducible unitary representations of some classes of Lie groups by means of the orbit method as well as in harmonic analysis on Lie groups and mathematical physics.

References

  1. Howe, Roger (1977), "Kirillov theory for compact p-adic groups", Pacific Journal of Mathematics , 73 (2): 365–381, doi: 10.2140/pjm.1977.73.365
  2. Vogan, David (1986), "Representations of reductive Lie groups", Proceedings of the International Congress of Mathematicians (Berkeley, California): 245–266