Namespaces
Variants
Actions

Orbit method

From Encyclopedia of Mathematics
Jump to: navigation, search


A method for studying unitary representations of Lie groups. The theory of unitary representations (cf. Unitary representation) of nilpotent Lie groups was developed using the orbit method, and it has been shown that this method can also be used for other groups (see [1]).

The orbit method is based on the following "experimental" fact: A close connection exists between unitary irreducible representations of a Lie group $ G $ and its orbits in the coadjoint representation. The solution of basic problems in the theory of representations using the orbit method is achieved in the following way (see [2]).

Construction and classification of irreducible unitary representations.

Let $ \Omega $ be an orbit of a real Lie group $ G $ in the coadjoint representation, let $ F $ be a point of this orbit (which is a linear functional on the Lie algebra $ \mathfrak g $ of $ G $), let $ G( F ) $ be the stabilizer of $ F $, and let $ \mathfrak g ( F ) $ be the Lie algebra of the group $ G( F ) $. A complex subalgebra $ \mathfrak h $ in $ \mathfrak g _ {\mathbf C } $ is called a polarization of the point $ F $( $ \mathfrak g _ {\mathbf C } $ is the complexification of the Lie algebra $ \mathfrak g $, cf. Complexification of a Lie algebra) if and only if it possesses the following properties:

1) $ \mathop{\rm dim} _ {\mathbf C } \mathfrak h = \mathop{\rm dim} \mathfrak g - ( 1/2) \mathop{\rm dim} \Omega $;

2) $ [ \mathfrak h, \mathfrak h ] $ is contained in the kernel of the functional $ F $ on $ \mathfrak g $;

3) $ \mathfrak h $ is invariant with respect to $ \mathop{\rm Ad} G( F ) $.

Let $ H ^ {0} = \mathop{\rm exp} ( \mathfrak h \cap \mathfrak g) $ and $ H = G( F ) \cdot H ^ {0} $. The polarization $ \mathfrak h $ is called real if $ \mathfrak h = \overline{ {\mathfrak h }}\; $ and purely complex if $ \mathfrak h \cap \overline{ {\mathfrak h }}\; = \mathfrak g ( F ) $. The functional $ F $ defines a character (a one-dimensional unitary representation) $ \chi _ {F} ^ {0} $ of the group $ H ^ {0} $ according to the formula

$$ \mathop{\rm exp} X \rightarrow \mathop{\rm exp} 2 \pi i \langle F, X\rangle. $$

Extend $ \chi _ {F} ^ {0} $ to a character $ \chi _ {F} $ of $ H $. If $ \mathfrak h $ is a real polarization, then let $ T _ {F, \mathfrak h, \chi _ {F} } $ be the representation of the group $ G $ induced by the character $ \chi _ {F} $ of the subgroup $ H $( see Induced representation). If $ \mathfrak h $ is a purely complex polarization, then let $ T _ {F, \mathfrak h , \chi _ {F} } $ be the holomorphically induced representation operating on the space of holomorphic functions on $ G/H $.

The first basic hypothesis is that the representation $ T _ {F, \mathfrak h , \chi _ {F} } $ is irreducible (cf. Irreducible representation) and its equivalence class depends only on the orbit $ \Omega $ and the choice of the extension $ \chi _ {F} $ of the character $ \chi _ {F} ^ {0} $. This hypothesis is proved for nilpotent groups [1] and for solvable Lie groups [5]. For certain orbits of the simple special group $ G _ {2} $ the hypothesis does not hold [7]. The possibility of an extension and its degree of ambiguity depend on topological properties of the orbit: $ 2 $- dimensional cohomology classes act as obstacles to the extension, while $ 1 $- dimensional cohomology classes of the orbit can be used as a parameter for enumerating different extensions. More precisely, let $ B _ \Omega $ be a canonical $ 2 $- form on the orbit $ \Omega $. For an extension to exist, it is necessary and sufficient that $ B _ \Omega $ belongs to the integer homology classes (i.e. that its integral along any $ 2 $- dimensional cycle is an integer); if this condition is fulfilled, then the set of extensions is parametrized by the characters of the fundamental group of the orbit.

The second basic hypothesis is that all unitary irreducible representations of the group $ G $ in question are obtained in the way shown. Up to 1983, the only examples which contradicted this hypothesis were the so-called complementary series of representations of semi-simple Lie groups.

Functional properties of the relation between orbits and representations.

In the theory of representations great significance is attached to questions of decomposition into irreducible components of a representation: Given a subgroup $ H $ of a group $ G $, how are such decompositions obtained by restricting an irreducible representation of $ G $ to $ H $ and by inducing an irreducible representation of $ H $ to $ G $? The orbit method gives answers to these questions in terms of a natural projection $ p: \mathfrak g ^ \star \rightarrow \mathfrak h ^ \star $( where $ {} ^ \star $ signifies a transfer to the adjoint space; the projection $ p $ consists of restriction of a functional from $ \mathfrak g $ onto $ \mathfrak h $). Indeed, let $ G $ be an exponential Lie group (for such groups the relation between orbits and representations is a one-to-one relation, cf. Lie group, exponential). The irreducible representation of $ G $ corresponding to the orbit $ \Omega \subset \mathfrak g ^ \star $, when restricted to $ H $, decomposes into irreducible components corresponding to those orbits $ \omega \in \mathfrak h ^ \star $ which ly in $ p( \Omega ) $, while a representation of $ G $ induced by an irreducible representation of the group $ H $, corresponding to the orbit $ \omega \subset \mathfrak h ^ \star $, decomposes into irreducible components corresponding to the orbits $ \Omega \subset \mathfrak g ^ \star $ which have a non-empty intersection with the pre-image $ p ^ {-} 1 ( \omega ) $. These results have two important consequences: If the irreducible representations $ T _ {i} $ correspond to the orbits $ \Omega _ {i} $, $ i = 1, 2 $, then the tensor product $ T _ {1} \otimes T _ {2} $ decomposes into irreducible components corresponding to those orbits $ \Omega $ which ly in the arithmetic sum $ \Omega _ {1} + \Omega _ {2} $; a quasi-regular representation of $ G $ in a space of functions on $ G/H $ decomposes into irreducible components corresponding to those orbits $ \Omega \subset \mathfrak g ^ \star $ for which the image $ p( \Omega ) \subset \mathfrak h ^ \star $ contains zero.

Character theory.

For characters of irreducible representations (as generalized functions on a group) the following universal formula has been proposed (see [2]):

$$ \tag{* } \chi ( \mathop{\rm exp} X) = \frac{1}{p( X) } \int\limits _ \Omega e ^ {2 \pi i\langle F, X\rangle } \beta ( F ), $$

where $ \mathop{\rm exp} : \mathfrak g \rightarrow G $ is the exponential mapping of the Lie algebra $ \mathfrak g $ into the group $ G $, where $ p( X) $ is the square root of the density of the invariant Haar measure on $ G $ in canonical coordinates and where $ \beta $ is the volume form on the orbit $ \Omega $ connected to the canonical $ 2 $- form $ B _ \Omega $ by the relation $ \beta = B _ \Omega ^ {k} /k! $, $ k = ( \mathop{\rm dim} \Omega ) / 2 $. This formula is correct for nilpotent groups, solvable groups of type 1, compact groups, discrete series of representations of semi-simple real groups, and principal series of representations of complex semi-simple groups. For certain degenerate series of representations of $ \mathop{\rm SL} ( 3, \mathbf R ) $ the formula does not hold. Formula (*) provides a simple formula for the calculation of the infinitesimal character of the irreducible representation $ T _ \Omega $ corresponding to the orbit $ \Omega $; moreover, to each Laplace operator $ \Delta $ on $ G $ an $ \mathop{\rm Ad} ^ \star G $- invariant polynomial $ P _ \Delta $ on $ \mathfrak g ^ \star $ is related, such that the value of the infinitesimal character of the representation $ T _ \Omega $ at the element $ \Delta $ is equal to the value of $ P _ \Delta $ at $ \Delta $.

Construction of an irreducible unitary representation of the group $ G $along its orbit $ \Omega $in the coadjoint representation.

This construction can be considered as a quantization operation of a Hamiltonian system for which $ \Omega $ plays the role of phase space, while $ G $ plays the role of a multi-dimensional non-commutative time (or group of symmetries). Under these conditions, the $ G $- orbits in the coadjoint representation are all $ G $- homogeneous symplectic manifolds which admit quantization. The second basic hypothesis can therefore be reformulated thus: Every elementary quantum system with time (or group of symmetries) $ G $ is obtained by quantization from the corresponding classical system (see [2]).

A connection has also been discovered with the theory of completely-integrable Hamiltonian systems (see [11]).

References

[1] A.A. Kirillov, "Unitary representations of nilpotent Lie groups" Russian Math. Surveys , 17 : 4 (1962) pp. 53–104 Uspekhi Mat. Nauk , 17 : 4 (1962) pp. 57–110
[2] A.A. Kirillov, "Elements of the theory of representations" , Springer (1976) (Translated from Russian)
[3] J. Dixmier, "Enveloping algebras" , North-Holland (1974) (Translated from French)
[4] D.J. Simms, N.M.J. Woodhouse, "Lectures on geometric quantization" , Springer (1976)
[5] L. Auslander, B. Kostant, "Polarization and unitary representations of solvable Lie groups" Invent. Math. , 14 (1971) pp. 255–354
[6] C.C. Moore, "Decomposition of unitary representations defined by discrete subgroups of nilpotent groups" Ann. of Math. , 82 : 1 (1965) pp. 146–182
[7] L.P. Rothschild, J.A. Wolf, "Representations of semisimple groups associated to nilpotent orbits" Ann. Sci. Ecole Norm. Sup. Ser. 4 , 7 (1974) pp. 155–173
[8] P. Bernal, et al., "Représentations des groupes de Lie résolubles" , Dunod (1972)
[9] V.A. Ginzburg, "The method of orbits and perturbation theory" Soviet Math. Dokl. , 20 : 6 (1979) pp. 1287–1291 Dokl. Akad. Nauk SSSR , 249 : 3 (1979) pp. 525–528
[10] A.A. Kirillov, "Infinite dimensional groups, their representations, orbits, invariants" , Proc. Internat. Congress Mathematicians (Helsinki, 1978) , 2 , Acad. Sci. Fennicae (1980) pp. 705–708
[11] A.G. Reyman, M.A. Semenov-Tian-Shansky, "Reduction of Hamiltonian systems, affine Lie algebras and Lax equations" Invent. Math. , 54 : 1 (1979) pp. 81–100
[12] A.A. Kirillov, "Introduction to representation theory and noncommutative analysis" , Springer (to appear) (Translated from Russian)
How to Cite This Entry:
Orbit method. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Orbit_method&oldid=48063
This article was adapted from an original article by A.A. Kirillov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article