World Library  
Flag as Inappropriate
Email this Article

Unitary representation

Article Id: WHEBN0000292788
Reproduction Date:

Title: Unitary representation  
Author: World Heritage Encyclopedia
Language: English
Subject: Gelfand pair, Kazhdan's property (T), Commutation theorem, Orbit method, Representation of a Lie superalgebra
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Unitary representation

In mathematics, a unitary representation of a group G is a linear representation π of G on a complex Hilbert space V such that π(g) is a unitary operator for every gG. The general theory is well-developed in case G is a locally compact (Hausdorff) topological group and the representations are strongly continuous.

The theory has been widely applied in George Mackey.

Contents

  • Context in harmonic analysis 1
  • Formal definitions 2
  • Complete reducibility 3
  • Unitarizability and the unitary dual question 4
  • Notes 5
  • References 6
  • See also 7

Context in harmonic analysis

The theory of unitary representations of groups is closely connected with harmonic analysis. In the case of an abelian group G, a fairly complete picture of the representation theory of G is given by Pontryagin duality. In general, the unitary equivalence classes (see below) of irreducible unitary representations of G make up its unitary dual. This set can be identified with the spectrum of the C*-algebra associated to G by the group C*-algebra construction. This is a topological space.

The general form of the Plancherel theorem tries to describe the regular representation of G on L2(G) by means of a measure on the unitary dual. For G abelian this is given by the Pontryagin duality theory. For G compact, this is done by the Peter–Weyl theorem; in that case the unitary dual is a discrete space, and the measure attaches an atom to each point of mass equal to its degree.

Formal definitions

Let G be a topological group. A strongly continuous unitary representation of G on a Hilbert space H is a group homomorphism from G into the unitary group of H,

\pi: G \rightarrow \operatorname{U}(H)

such that g → π(g) ξ is a norm continuous function for every ξ ∈ H.

Note that if G is a Lie group, the Hilbert space also admits underlying smooth and analytic structures. A vector ξ in H is said to be smooth or analytic if the map g → π(g) ξ is smooth or analytic (in the norm or weak topologies on H).[1] Smooth vectors are dense in H by a classical argument of Lars Gårding, since convolution by smooth functions of compact support yields smooth vectors. Analytic vectors are dense by a classical argument of Edward Nelson, amplified by Roe Goodman, since vectors in the image of a heat operator e–tD, corresponding to an elliptic differential operator D in the universal enveloping algebra of G, are analytic. Not only do smooth or analytic vectors form dense subspaces; they also form common cores for the unbounded skew-adjoint operators corresponding to the elements of the Lie algebra, in the sense of spectral theory.[2]

Two unitary representations π1: G → U(H1), π2: G → U(H2) are said to be unitary equivalent if there is a unitary operator A:H1H2 such that A∘π1(g)=π2(g)∘A for all g in G. When this holds, A is said to be an intertwining operator for the representations (π1,H1), (π2,H2).[3]

Complete reducibility

A unitary representation is completely reducible, in the sense that for any closed invariant subspace, the orthogonal complement is again a closed invariant subspace. This is at the level of an observation, but is a fundamental property. For example, it implies that finite-dimensional unitary representations are always a direct sum of irreducible representations, in the algebraic sense.

Since unitary representations are much easier to handle than the general case, it is natural to consider unitarizable representations, those that become unitary on the introduction of a suitable complex Hilbert space structure. This works very well for finite groups, and more generally for compact groups, by an averaging argument applied to an arbitrary hermitian structure. For example, a natural proof of Maschke's theorem is by this route.

Unitarizability and the unitary dual question

In general, for non-compact groups, it is a more serious question which representations are unitarizable. One of the important unsolved problems in mathematics is the description of the unitary dual, the effective classification of irreducible unitary representations of all real reductive Lie groups. All irreducible unitary representations are admissible (or rather their Harish-Chandra modules are), and the admissible representations are given by the Langlands classification, and it is easy to tell which of them have a non-trivial invariant sesquilinear form. The problem is that it is in general hard to tell when the quadratic form is positive definite. For many reductive Lie groups this has been solved; see representation theory of SL2(R) and representation theory of the Lorentz group for examples.

Notes

  1. ^ Warner (1972)
  2. ^ Reed and Simon (1975)
  3. ^ Sally, Paul J. Jr., Fundamentals of Mathematical Analysis. pg. 234.

References

  • Reed, Michael; Simon, Barry (1975), Methods of Modern Mathematical Physics, Vol. 2: Fourier Analysis, Self-Adjointness, Academic Press,  
  • Warner, Garth (1972), Harmonic Analysis on Semi-simple Lie Groups I, Springer-Verlag,  

See also

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.