Tempered representation

Last updated

In mathematics, a tempered representation of a linear semisimple Lie group is a representation that has a basis whose matrix coefficients lie in the Lp space

Contents

L2+ε(G)

for any ε > 0.

Formulation

This condition, as just given, is slightly weaker than the condition that the matrix coefficients are square-integrable, in other words lie in

L2(G),

which would be the definition of a discrete series representation. If G is a linear semisimple Lie group with a maximal compact subgroup K, an admissible representation ρ of G is tempered if the above condition holds for the K-finite matrix coefficients of ρ.

The definition above is also used for more general groups, such as p-adic Lie groups and finite central extensions of semisimple real algebraic groups. The definition of "tempered representation" makes sense for arbitrary unimodular locally compact groups, but on groups with infinite centers such as infinite central extensions of semisimple Lie groups it does not behave well and is usually replaced by a slightly different definition. More precisely, an irreducible representation is called tempered if it is unitary when restricted to the center Z, and the absolute values of the matrix coefficients are in L2+ε(G/Z).

Tempered representations on semisimple Lie groups were first defined and studied by Harish-Chandra (using a different but equivalent definition), who showed that they are exactly the representations needed for the Plancherel theorem. They were classified by Knapp and Zuckerman, and used by Langlands in the Langlands classification of irreducible representations of a reductive Lie group G in terms of the tempered representations of smaller groups.

History

Irreducible tempered representations were identified by Harish-Chandra in his work on harmonic analysis on a semisimple Lie group as those representations that contribute to the Plancherel measure. The original definition of a tempered representation, which has certain technical advantages, is that its Harish-Chandra character should be a "tempered distribution" (see the section about this below). It follows from Harish-Chandra's results that it is equivalent to the more elementary definition given above. Tempered representations also seem to play a fundamental role in the theory of automorphic forms. This connection was probably first realized by Satake (in the context of the Ramanujan-Petersson conjecture) and Robert Langlands and served as a motivation for Langlands to develop his classification scheme for irreducible admissible representations of real and p-adic reductive algebraic groups in terms of the tempered representations of smaller groups. The precise conjectures identifying the place of tempered representations in the automorphic spectrum were formulated later by James Arthur and constitute one of the most actively developing parts of the modern theory of automorphic forms.

Harmonic analysis

Tempered representations play an important role in the harmonic analysis on semisimple Lie groups. An irreducible unitary representation of a semisimple Lie group G is tempered if and only if it is in the support of the Plancherel measure of G. In other words, tempered representations are precisely the class of representations of G appearing in the spectral decomposition of L2 functions on the group (while discrete series representations have a stronger property that an individual representation has a positive spectral measure). This stands in contrast with the situation for abelian and more general solvable Lie groups, where a different class of representations is needed to fully account for the spectral decomposition. This can be seen already in the simplest example of the additive group R of the real numbers, for which the matrix elements of the irreducible representations do not fall off to 0 at infinity.

In the Langlands program, tempered representations of real Lie groups are those coming from unitary characters of tori by Langlands functoriality.

Examples

Classification

The irreducible tempered representations of a semisimple Lie group were classified by Knapp and Zuckerman  ( 1976 , 1982 ). In fact they classified a more general class of representations called basic representations. If P=MAN is the Langlands decomposition of a cuspidal parabolic subgroup, then a basic representation is defined to be the parabolically induced representation associated to a limit of discrete series representation of M and a unitary representation of the abelian group A. If the limit of discrete series representation is in fact a discrete series representation, then the basic representation is called an induced discrete series representation. Any irreducible tempered representation is a basic representation, and conversely any basic representation is the sum of a finite number of irreducible tempered representations. More precisely, it is a direct sum of 2r irreducible tempered representations indexed by the characters of an elementary abelian group R of order 2r (called the R-group). Any basic representation, and consequently any irreducible tempered representation, is a summand of an induced discrete series representation. However it is not always possible to represent an irreducible tempered representation as an induced discrete series representation, which is why one considers the more general class of basic representations.

So the irreducible tempered representations are just the irreducible basic representations, and can be classified by listing all basic representations and picking out those that are irreducible, in other words those that have trivial R-group.

Tempered distributions

Fix a semisimple Lie group G with maximal compact subgroup K. Harish-Chandra (1966 , section 9) defined a distribution on G to be tempered if it is defined on the Schwartz space of G. The Schwartz space is in turn defined to be the space of smooth functions f on G such that for any real r and any function g obtained from f by acting on the left or right by elements of the universal enveloping algebra of the Lie algebra of G, the function

is bounded. Here Ξ is a certain spherical function on G, invariant under left and right multiplication by K, and σ is the norm of the log of p, where an element g of G is written as : g=kp for k in K and p in P.

Related Research Articles

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 the case that G is a locally compact (Hausdorff) topological group and the representations are strongly continuous.

In mathematics, the Peter–Weyl theorem is a basic result in the theory of harmonic analysis, applying to topological groups that are compact, but are not necessarily abelian. It was initially proved by Hermann Weyl, with his student Fritz Peter, in the setting of a compact topological group G. The theorem is a collection of results generalizing the significant facts about the decomposition of the regular representation of any finite group, as discovered by Ferdinand Georg Frobenius and Issai Schur.

<span class="mw-page-title-main">Representation theory of the Lorentz group</span> Representation of the symmetry group of spacetime in special relativity

The Lorentz group is a Lie group of symmetries of the spacetime of special relativity. This group can be realized as a collection of matrices, linear transformations, or unitary operators on some Hilbert space; it has a variety of representations. This group is significant because special relativity together with quantum mechanics are the two physical theories that are most thoroughly established, and the conjunction of these two theories is the study of the infinite-dimensional unitary representations of the Lorentz group. These have both historical importance in mainstream physics, as well as connections to more speculative present-day theories.

In mathematics, Blattner's conjecture or Blattner's formula is a description of the discrete series representations of a general semisimple group G in terms of their restricted representations to a maximal compact subgroup K. It is named after Robert James Blattner, despite not being formulated as a conjecture by him.

In mathematics, a discrete series representation is an irreducible unitary representation of a locally compact topological group G that is a subrepresentation of the left regular representation of G on L²(G). In the Plancherel measure, such representations have positive measure. The name comes from the fact that they are exactly the representations that occur discretely in the decomposition of the regular representation.

In mathematics, Deligne–Lusztig theory is a way of constructing linear representations of finite groups of Lie type using ℓ-adic cohomology with compact support, introduced by Pierre Deligne and George Lusztig (1976).

In mathematics, the principal series representations of certain kinds of topological group G occur in the case where G is not a compact group. There, by analogy with spectral theory, one expects that the regular representation of G will decompose according to some kind of continuous spectrum, of representations involving a continuous parameter, as well as a discrete spectrum. The principal series representations are some induced representations constructed in a uniform way, in order to fill out the continuous part of the spectrum.

In mathematics, the Langlands classification is a description of the irreducible representations of a reductive Lie group G, suggested by Robert Langlands (1973). There are two slightly different versions of the Langlands classification. One of these describes the irreducible admissible (g, K)-modules, for g a Lie algebra of a reductive Lie group G, with maximal compact subgroup K, in terms of tempered representations of smaller groups. The tempered representations were in turn classified by Anthony Knapp and Gregg Zuckerman. The other version of the Langlands classification divides the irreducible representations into L-packets, and classifies the L-packets in terms of certain homomorphisms of the Weil group of R or C into the Langlands dual group.

In mathematics, admissible representations are a well-behaved class of representations used in the representation theory of reductive Lie groups and locally compact totally disconnected groups. They were introduced by Harish-Chandra.

Anthony W. Knapp is an American mathematician at the State University of New York, Stony Brook working on representation theory, who classified the tempered representations of a semisimple Lie group.

In mathematics, the main results concerning irreducible unitary representations of the Lie group SL(2, R) are due to Gelfand and Naimark (1946), V. Bargmann (1947), and Harish-Chandra (1952).

In mathematics, a zonal spherical function or often just spherical function is a function on a locally compact group G with compact subgroup K (often a maximal compact subgroup) that arises as the matrix coefficient of a K-invariant vector in an irreducible representation of G. The key examples are the matrix coefficients of the spherical principal series, the irreducible representations appearing in the decomposition of the unitary representation of G on L2(G/K). In this case the commutant of G is generated by the algebra of biinvariant functions on G with respect to K acting by right convolution. It is commutative if in addition G/K is a symmetric space, for example when G is a connected semisimple Lie group with finite centre and K is a maximal compact subgroup. The matrix coefficients of the spherical principal series describe precisely the spectrum of the corresponding C* algebra generated by the biinvariant functions of compact support, often called a Hecke algebra. The spectrum of the commutative Banach *-algebra of biinvariant L1 functions is larger; when G is a semisimple Lie group with maximal compact subgroup K, additional characters come from matrix coefficients of the complementary series, obtained by analytic continuation of the spherical principal series.

In mathematics, the Plancherel theorem for spherical functions is an important result in the representation theory of semisimple Lie groups, due in its final form to Harish-Chandra. It is a natural generalisation in non-commutative harmonic analysis of the Plancherel formula and Fourier inversion formula in the representation theory of the group of real numbers in classical harmonic analysis and has a similarly close interconnection with the theory of differential equations. It is the special case for zonal spherical functions of the general Plancherel theorem for semisimple Lie groups, also proved by Harish-Chandra. The Plancherel theorem gives the eigenfunction expansion of radial functions for the Laplacian operator on the associated symmetric space X; it also gives the direct integral decomposition into irreducible representations of the regular representation on L2(X). In the case of hyperbolic space, these expansions were known from prior results of Mehler, Weyl and Fock.

<span class="mw-page-title-main">Representation theory</span> Branch of mathematics that studies abstract algebraic structures

Representation theory is a branch of mathematics that studies abstract algebraic structures by representing their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrices and their algebraic operations. The theory of matrices and linear operators is well-understood, so representations of more abstract objects in terms of familiar linear algebra objects helps glean properties and sometimes simplify calculations on more abstract theories.

In mathematics, noncommutative harmonic analysis is the field in which results from Fourier analysis are extended to topological groups that are not commutative. Since locally compact abelian groups have a well-understood theory, Pontryagin duality, which includes the basic structures of Fourier series and Fourier transforms, the major business of non-commutative harmonic analysis is usually taken to be the extension of the theory to all groups G that are locally compact. The case of compact groups is understood, qualitatively and after the Peter–Weyl theorem from the 1920s, as being generally analogous to that of finite groups and their character theory.

In mathematics, Plancherel measure is a measure defined on the set of irreducible unitary representations of a locally compact group , that describes how the regular representation breaks up into irreducible unitary representations. In some cases the term Plancherel measure is applied specifically in the context of the group being the finite symmetric group – see below. It is named after the Swiss mathematician Michel Plancherel for his work in representation theory.

In mathematics, the Langlands–Shahidi method provides the means to define automorphic L-functions in many cases that arise with connected reductive groups over a number field. This includes Rankin–Selberg products for cuspidal automorphic representations of general linear groups. The method develops the theory of the local coefficient, which links to the global theory via Eisenstein series. The resulting L-functions satisfy a number of analytic properties, including an important functional equation.

In the field of mathematics known as representation theory, an L-packet is a collection of irreducible representations of a reductive group over a local field, that are L-indistinguishable, meaning they have the same Langlands parameter, and so have the same L-function and ε-factors. L-packets were introduced by Robert Langlands in, .

This is a glossary of representation theory in mathematics.

References