of a topological group
A representation of the topological group by unitary operators in a Hilbert space (cf. Unitary operator). The theory of unitary representations is one of the most developed parts of the theory of representations of topological groups, which is connected both with its numerous applications and with the presence of a number of properties facilitating the study of unitary representations. Thus, any unitary representation is completely reducible; for a unitary representation the conditions of complete irreducibility, tensor irreducibility, topological irreducibility, and operator irreducibility are all equivalent; from the continuity of a unitary representation with respect to the weak operator topology follows its continuity with respect to the strong operator topology; for a unitary representation one can define the operation of tensor product of representations, as well as the operation of passing to the contragredient representation (in the Hilbert space which is the complex conjugate of the given one), and for the operations of direct sum, tensor product and passing to the contragredient representation there hold a number of natural algebraic relations.
The most highly developed part of the general theory of unitary representations and the most important in applications is the theory of unitary representations of locally compact groups. There does not exist a description of the class of groups for which the unitary representations (or the irreducible unitary representations) separate the points of the group (1992). However, if the group is locally compact, then for every non-identity element there exists an irreducible unitary representation of such that is a non-identity operator in the space of the representation (the Gel'fand–Raikov theorem). Further, between the non-degenerate symmetric representations of the group algebra (constructed with the left Haar measure) and the continuous unitary representations of the group there exists a natural one-one correspondence , defined by the formula
moreover, the representation of the algebra is topologically irreducible (is a quotient representation, a representation of a given type, a representation equivalent or quasi-equivalent to another) if and only if the corresponding unitary representation of the group has the same property.
The theory of cyclic unitary representations of a locally compact group , which is related to the theory of positive linear functionals on , may be studied by means of appropriate spherical functions (cf. Representation of a topological group). The spherical functions connected with unitary representations of a locally compact group are continuous positive-definite functions on the group, and, conversely, any continuous positive-definite function on , equal to 1 at the identity, is a spherical function connected with a cyclic unitary representation (and defined by the cyclic vector of this unitary representation). The set of all linear combinations of continuous positive-definite functions on forms a commutative Banach algebra (relative to the usual multiplication), called the Fourier–Stieltjes algebra of ; the closed ideal in generated by the functions of the form , where , is called the Fourier algebra of . The Banach algebras and define the group up to an isomorphism or anti-isomorphism.
On the set of continuous positive-definite functions on , equal to 1 at the unit element of the group, the topology of uniform convergence on compact subsets of coincides with the weak topology defined by the duality between and and the imbedding of in . Any function in is the limit (in this topology) of a net of convex combinations of positive-definite functions, connected with irreducible unitary representations of ; if further is a separable group, then there exists a positive measure on the compact set of continuous positive-definite functions on , not exceeding 1 in absolute value, concentrated on and such that
The construction of unitary representations from positive-definite functions allows a generalization to the case of positive-definite measures on . If is a separable group, then any representation defined by a positive-definite measure is cyclic.
A unitary representation of a locally compact group in a Hilbert space admits a decomposition as a topological direct integral of irreducible unitary representations of , if either or is separable (for non-separable groups and spaces this is not generally true). Moreover, in this case the unitary representation admits an essentially unique decomposition as a direct integral of quotient representations. In connection with this fact an essential role is played by the dual space (the quotient space of the space of irreducible unitary representations of , considered with the topology defined by uniform convergence of matrix entries on compact sets and with the Borel structure subordinate to this topology, with respect to the equivalence defined by unitary equivalence of unitary representations) and the quasi-dual space (the quotient space of the space of quotient representations of , considered with the Borel structure subordinate to the topology of uniform convergence of matrix entries on compact sets). Thus, is a topological and a Borel space, and is a Borel space, which for a separable group may be equipped with the topology extending the topology on . The group is said to be a group of type I if all its quotient representations are of type I; for such groups questions of the theory of unitary representations can be solved more simply than in the general case. Groups of type I include algebraic Lie groups and algebraic Chevalley groups over -adic fields, nilpotent Lie groups, and others. A characterization of the simply-connected solvable Lie groups of type I is known. A group is called a CCR-group if for any irreducible unitary representation of the image under the representation is contained in the set of compact operators in the space of the representation . Every CCR-group is of type I. A group of type I is a CCR-group if and only if its dual space is a -space. Nilpotent Lie groups and linear semi-simple Lie groups are CCR-groups. The image of the representation is contained in for all irreducible unitary representations of if and only if all irreducible unitary representations are finite-dimensional.
A separable locally compact group is of type I if and only if its dual space satisfies the separation axiom . Other topological properties of the spectra (-separation, the Hausdorff property, discreteness, and others) are also connected with properties of the group. A particularly close link between the topological and algebraic properties of the group and its dual space exists in classes of groups satisfying various compactness conditions. Among these classes of locally compact groups are included: 1) the class of maximal almost-periodic groups (admitting a continuous imbedding in a compact group); 2) the class of groups containing a fundamental system of neighbourhoods of the unit element that are invariant under inner automorphisms; 3) the class of groups with pre-compact classes of conjugate elements; 4) the class of groups with a pre-compact group of inner automorphisms; 5) the class of groups all irreducible unitary representations of which are finite-dimensional; and 6) the class of groups whose quotient group by the centre is compact. The dual spaces of groups of class are Hausdorff spaces, and a group of class is discrete if and only if its dual space is compact (though not necessarily separable). The theory of unitary representations of groups of class is connected with the theory of almost-periodic functions on locally compact groups.
The character of a unitary representation of a locally compact group is the faithful normal semi-finite trace (cf. Trace on a -algebra) on the set of positive elements of the von Neumann algebra generated by the family , such that the set of elements of the group -algebra of (the enveloping -algebra of the group algebra ) for which is finite, goes over into the set generated by the von Neumann algebra . If is a quotient representation (respectively, an irreducible unitary representation), then the character defines the unitary representation uniquely up to a quasi-equivalence (respectively, an equivalence). If , are irreducible unitary representations of with characters , , respectively, then the product of these traces defines a trace on the von Neumann algebra induced by the unitary representation . If this trace is the character of the representation , then (for separable groups or separable representation spaces) it defines a decomposition of the unitary representation into a direct integral of quotient representations with a trace with respect to a uniquely defined measure (the Plancherel measure for ) on the quasi-spectrum . The determination of the Plancherel measure on the tensor product of unitary representations is one of the general problems in the theory of unitary representations; in a number of cases (in particular, for the groups , , certain unitary representations of other semi-simple Lie groups, and certain solvable Lie groups) this problem has been solved (using the spectral decomposition of the Laplace operator, the orbit method or the horosphere method).
Sometimes one understands by the character of a unitary representation in a Hilbert space a linear functional on a translation-invariant subalgebra of , defined by the equation , , where is the representation of defined by (assuming that is uniquely determined by the representation , the operators of are nuclear and the mapping of the algebra into the space of nuclear operators is continuous). The characters of irreducible unitary representations of semi-simple and nilpotent Lie groups are defined by generalized functions, which in the case of semi-simple groups are measurable and locally integrable. The characters of irreducible unitary representations of solvable Lie groups of type I are defined, generally speaking, only on a subalgebra of the algebra of infinitely-differentiable functions on with compact support. In general, the calculation of the characters is based on formulas for the characters of induced representations.
A compact subgroup of a group is called rich (or massive) if the restriction of any unitary representation of to contains any irreducible unitary representation of with finite multiplicity. Let be the projector from the space of the representation onto the subspace on which that representation of acts which is a multiple of ; the functions of the form
are called -spherical functions of the representation (cf. Representation function). A group with a rich compact subgroup is of type I; every irreducible unitary representation of has a character and is defined uniquely up to an equivalence by any non-zero spherical function; the dual space of the group can be expressed as a countable union of (intersecting) locally compact Hausdorff spaces (describing the for which for a given , and the dimension of the corresponding projector has a given value). The linear semi-simple Lie groups and the -groups are groups with rich compact subgroups.
Let be a unitary representation of a group in a Hilbert space , and let be the von Neumann algebra generated by the family . The representation is said to be trace-admissible if there exists a trace on which is a character for . By a trace on the group one understands a semi-finite lower semi-continuous trace on ; a trace on is called a character of if the corresponding unitary representation of is a quotient representation. There is a canonical one-to-one correspondence between the set of characters of , defined up to a positive factor, and the set of quasi-equivalence classes of trace-admissible quotient representations of ; moreover, a quotient representation of finite type corresponds to a continuous central positive-definite function on .
The regular representation of a locally compact group in the Hilbert space is a faithful continuous unitary representation; the -algebra generated by the image of the corresponding representation of the algebra is called the reduced -algebra of the group and is denoted by ; let be the kernel of the canonical epimorphism of onto defined by the regular representation. The group is amenable, i.e. there is an invariant mean on , if and only if (bounded representations of amenable groups in a Hilbert space are equivalent to unitary representations). The family of unitary representations for which the kernel of the corresponding representation of contains is called the fundamental series. The remaining unitary representations form the supplementary series.
Let be a unimodular separable locally compact group of type I, and let be the von Neumann algebra , where is the regular unitary representation of . There exists a unique positive measure on the spectrum of satisfying the condition
for all . The measure is called the Plancherel measure. Further, there exists an isomorphism of the space onto a direct integral of Hilbert–Schmidt operators in the space of the representation with respect to the measure , which transforms the left-regular unitary representation into a direct integral of unitary representations that are multiples of , and transforms the trace on defined by the trace on ( for ) into the direct integral of traces, on . The trace on coincides with the trace , . The formula (*) is called the Plancherel formula; it admits a generalization to non-separable unimodular locally compact groups of type I, as well as to non-unimodular separable locally compact groups and separable groups not of type I. One of the tasks of the theory of unitary representations is the explicit construction of a Plancherel measure for a given locally compact group. This problem has only been partly solved (for example, for semi-simple real Lie groups, for solvable Lie groups of type I, as well as for certain groups of motions, certain Chevalley groups, and certain groups satisfying a compactness condition). The decomposition of the regular unitary representation and the Plancherel formula are connected with the theory of square-integrable representations, discrete series (of representations) and integrable representations (cf. Integrable representation).
A complete description of the irreducible unitary representations of locally compact groups is unknown, even in the case of Lie groups. It has been obtained only for solvable Lie groups of type I, certain reductive Lie groups, as well as for Chevalley groups (of low dimensions), certain nilpotent locally compact Lie groups and certain semi-direct products. In this description a decisive role is played by the inducing operator (and its generalizations); in particular, the orbit method (and its generalizations). The problem of studying more general projective unitary representations and unitary representations with multipliers is connected with the theory of ordinary unitary representations by means of the theory of (continuous or Borel) cohomology groups. For groups that are not of type I a complete description of the quotient representations (up to a quasi-equivalence) does not exist, although for some of them a description of the quotient representations of finite type has been obtained.
The theory of unitary representations plays a fundamental role in the theory of series on (Banach and topological) group algebras: in the study of Wiener properties and complete symmetry, in the description of the maximal one-sided and two-sided ideals, etc. The theory of unitary representations plays an important role, also, in questions of representation theory and harmonic analysis, requiring a use of non-unitary representations — as in the construction of the bounded series and the supplementary series; in the definition of operators in explicit form; in splitting representations from the analytic continuation of the basic series of unitary representations; in the study of intertwining of completely-reducible representations; in the development of harmonic analysis in function spaces on groups and homogeneous spaces other than the space ; and in the study on the structure and properties of group algebras (measure algebras, the algebra , the topological algebra ).
|||A.A. Kirillov, "Elements of the theory of representations" , Springer (1976) (Translated from Russian)|
|||A.I. Shtern, "Theory of group representations" , Springer (1982) (Translated from Russian)|
|||M.A. Naimark, "Normed rings" , Reidel (1984) (Translated from Russian)|
|||D.P. Zhelobenko, "Compact Lie groups and their representations" , Amer. Math. Soc. (1973) (Translated from Russian)|
|||D.P. Zhelobenko, A.I. Shtern, "Representations of Lie groups" , Moscow (1983) (In Russian)|
|||J. Dixmier, " algebras" , North-Holland (1977) (Translated from French)|
|||I.M. Gel'fand, M.I. Graev, I.I. Pyatetskii-Shapiro, "Generalized functions" , 6. Representation theory and automorphic functions , Saunders (1969) (Translated from Russian)|
|||N.Ya. Vilenkin, "Special functions and the theory of group representations" , Amer. Math. Soc. (1968) (Translated from Russian)|
|||A.O. Barut, R. Raçzka, "Theory of group representations and applications" , 1–2 , PWN (1977)|
|||A.U. Klimyk, "Matrix elements and Clebsch–Gordan coefficients of group representations" , Kiev (1979) (In Russian)|
|||G.W. Mackey, "Unitary group representations in physics, probability and number theory" , Benjamin/Cummings (1978)|
|||P. Bernal, et al., "Répresentation des groupes de Lie résolubles" , Dunod (1972)|
|||J. Brezin, "Harmonic analysis on compact solvmanifolds" , Springer (1977)|
|||G. Carmona (ed.) M. Vergne (ed.) , Non-commutative harmonic analysis (Marseille, 1978) , Lect. notes in math. , 728 , Springer (1979)|
See also (the editorial comments to) Representation function and Spherical functions for another usage of the term "spherical function" . In  and [a1] a subgroup of is called massive if the trivial representation of occurs with multiplicity at most in each irreducible representation of . See ,  and [a1] for interpretations of special functions as matrix elements of unitary representations.
|[a1]||N.Ya. Vilenkin, A.U. Klimyk, "Representation of Lie groups and special functions" , 1 , Kluwer (1991) (Translated from Russian)|
Unitary representation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Unitary_representation&oldid=14274