A representation of a locally compact group induced by a representation of a closed subgroup (cf. Representation of a group). More precisely, it is a representation of in some space of functions on taking values in the space of the representation and satisfying the condition for all , , where for all , . The induced representation is usually denoted by , , , , or . The operation of constructing an induced representation is the simplest and most important stage in the construction of representations of more complicated groups by starting from representations of simpler groups, and for a wide class of groups a complete description of the irreducible representations can be given in terms of induced representations or their generalizations.
If is a finite group, then the inducing representation is assumed to be finite-dimensional, while the space is considered to be the space of all functions on taking values in and satisfying the condition . The representation , where is the identity representation of the identity subgroup , is the right regular representation of ; the representation is equivalent to . The representation is equivalent to the representation in the space of all functions on the homogeneous space with values in , defined by formulas of the form , where the function is defined as follows: If is some mapping satisfying the condition for all , then , where for all , . The function is a one-dimensional cocycle of the group with coefficients in the group of functions on with values in the invertible operators in . If is equivalent to a representation , then is equivalent to ; the representation is equivalent to . If are subgroups of , and if is a representation of , then the representation of induced by the representation of is equivalent to (the theorem on the composition of induced representations). If are representations of the group and the subgroup , respectively, then the spaces of intertwining operators (cf. Intertwining operator) and are isomorphic, where is the restriction of to (Frobenius' reciprocity theorem). In particular, if and are irreducible, then occurs in with the same multiplicity as that with which occurs in . The character of the induced representation of the group is defined by the formula:
where is the character of the representation of extended by zero to the entire group and runs through the set of representatives of the right cosets of by . Let be subgroups of , let be a representation of , let for all and let be the representation of induced by the representation of defined by the formula , . Then is uniquely determined by the double coset containing the element , and the restriction of the induced representation to is equivalent to the direct sum of the representations , where the sum is taken over a set of representatives of all possible double cosets , (the theorem on the restriction of an induced representation to a subgroup). This theorem can be applied, in particular, to the decomposition of a tensor product of induced representations. The space of operators intertwining a given induced representation admits an explicit description. A representation of a group is equivalent to an induced representation of the type for some and if and only if there exists a mapping from the set of subsets of to the set of projections in the space of the representation , such that 1) , ; 2) if and , then ; 3) for all ; and 4) for all , (such a mapping is called a system of imprimitivity for the representation with basis ). An induced representation of a finite group can be described directly in terms of moduli over group algebras and can also be defined in categorical terms. A finite group is called monomial if each of its irreducible representations is induced by a one-dimensional representation of some subgroup. Every monomial group is solvable (cf. Solvable group); every nilpotent group is monomial.
The definition of an induced representation of a locally compact group depends essentially on the choice of the space ; for example, one often takes to be the space of all continuous functions on satisfying the condition , or (if is a Lie group) the space of all differentiable functions on satisfying the same condition. On the other hand, let be a continuous unitary representation of a closed subgroup in a Hilbert space and let be a measurable mapping of the locally compact space into satisfying the condition for ; let and be the moduli of the groups and , respectively (see Haar measure), and let be a -quasi-invariant measure on such that
where for all , ; let be the Hilbert space of measurable vector functions on with values in satisfying the condition
for all , , and such that the integral
converges; then the continuous unitary representation of in defined by the formula
for all , , is called the unitary induced representation of the locally compact group . The majority of results on induced representations of finite groups admit a generalization to the case of unitary induced representations of locally compact groups. Among them are the properties of the representations and , the connection between induced representations and cocycles on , the theorem on composition of induced representations, the theorem on the restriction of an induced representation to a subgroup, the formula for the character of an induced representation, the inducibility criterion of a representation, properties of monomial groups, and the Frobenius reciprocity theorem. These admit more or less direct generalizations to the case of unitary induced representations. Induced representations of a locally compact group are related to representations of certain generalized group algebras of this group. If is a Lie group, then the notion of an induced representation of admits various generalizations, including that of a holomorphically-induced representation, whose representation space is the space of functions on that are analytic in some of the variables, and the notion of a representation in vector bundle cohomology over the homogeneous space of (representations in zero cohomology are the induced representations). The notion of an induced representation and its generalizations play a fruitful role in representation theory. In particular, the representations of group extensions can be described in terms of unitary induced representations; the fundamental series of continuous unitary representations of a connected real semi-simple Lie group is formed by induced representations, namely, the induced finite-dimensional unitary representations of the Borel subgroup of ; the discrete series of representations of a linear real semi-simple Lie group is realized in certain vector bundle cohomology over the homogeneous spaces of this group; irreducible continuous unitary representations of solvable connected Lie groups of type can be described in terms of holomorphically-induced representations . The operation of forming an induced representation can be generalized to the case of non-unitary representations of locally compact groups, as well as to topological groups that are not locally compact. The analogue of induced representations for -algebras has been studied .
|||A.A. Kirillov, "Elements of the theory of representations" , Springer (1976) (Translated from Russian)|
|||M.A. Naimark, "Theory of group representations" , Springer (1982) (Translated from Russian)|
|||J.-P. Serre, "Linear representations of finite groups" , Springer (1977) (Translated from French)|
|||G.W. Mackey, "Infinite-dimensional group representations" Bull. Amer. Math. Soc. , 69 (1963) pp. 628–686|
|||W. Schmid, " cohomology and the discrete series" Ann. of Math. , 103 (1976) pp. 375–394|
|||M. Rieffel, "Induced representations of -algebras" Adv. in Math. , 13 : 2 (1974) pp. 176–257|
|||L. Auslander, B. Konstant, "Polarization and unitary representations of solvable Lie groups" Invent. Math. , 14 : 4 (1971) pp. 255–354|
|||A.M. Vershik, I.M. Gel'fand, M.I. Graev, "Representations of the group of diffeomorphisms" Russian Math. Surveys , 30 : 6 (1975) pp. 1–50 Uspekhi Mat. Nauk , 30 : 6 (1975) pp. 3–50|
|||M.B. Menskii, "The method of induced representations. Space-time and the concept of a particle" , Moscow (1976) (In Russian)|
The "theorem on composition of induced representations" is also called the theorem on induction by stages.
Induced representation. A.I. Shtern (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Induced_representation&oldid=11598