An example is given of a positive-definite measure μ on the group SL(2, R) which is extremal in the cone of positive- definite measures, but the corresponding unitary representation Lμ is reducible. By considering positive-definite distributions this anomaly disappears, and for an arbitrary Lie group G and positive-definite distribution μ on G a, bijection is estab- lished between positive-definite distributions on G bounded by μ and positive-definite intertwining operators for the repre- sentation Lμ. As an application, cyclic vectors for Lμ are obtained by a simple explicit construction. Introduction* The use of positive-defi niteness as a tool in abstract harmonic analysis has a long history, the most striking early instance being the Gelfand-Raikov proof via positive-definite functions of the completeness of the set of irreducible unitary representations of a locally compact group (5). More recently, it was observed by R. J. Blattner (1) that the systematic use of positive-defi nite measures gives very simple proofs of the basic properties of induced representations, and the cone of positive-defi nite measures on a group was subsequently studied by Effros and Hahn (4). The purpose of this paper is two-fold. First, we give an example to show that positive-definite measures do not suffice for the study of intertwining operators and irreducibility of induced representations, despite the claim to the contrary in (4). Specifically, we exhibit a positive-definite measure μ on G — SL(2,1?) such that μ lies on an extremal ray in the cone of positive-defi nite measures on G, but the associated unitary representation Lμ is reducible, contradicting Lemma 4.16 of (4). Our second aim is to show that when G is any Lie group, then the correspondence between intertwining operators and positive func- tionals on G asserted by Effros and Hahn does hold, provided one deals throughout with positive-definite distributions instead of just measures. The essential point is the validity of the Schwartz Kernel Theorem for the space C?(G), together with a result of Bruhat (3) about distributions on GxG, invariant under the diagonal action of G. Using this correspondence, we obtain cyclic vectors for representations defined by positive-defi nite distributions, using a modification of the construction in (7) (The proof of cyclicity given in (7) is invalid, since it assumes the existence of a measure on G corresponding to
Read full abstract