en>BenKovitz: /* Set-up and motivation */ base flow: bypass disambig page

2012-03-20T00:27:51Z

Set-up and motivation: base flow: bypass disambig page

New page

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.

==Properties==
If ''G'' is [[unimodular group|unimodular]], an irreducible unitary representation ρ of ''G'' is in the discrete series if and only if one (and hence all) [[matrix coefficient]]

:<math>\langle \rho(g)\cdot v, w \rangle \,</math>

with ''v'', ''w'' non-zero vectors is [[square-integrable]] on ''G'', with respect to [[Haar measure]].

When ''G'' is unimodular, the discrete series representation has a formal dimension ''d'', with the property that
:<math>d\int \langle \rho(g)\cdot v, w \rangle \overline{\langle \rho(g)\cdot x, y \rangle}dg =\langle v, x \rangle\overline{\langle w, y \rangle}</math>
for ''v'', ''w'', ''x'', ''y'' in the representation. When ''G'' is compact this coincides with the dimension when the Haar measure on ''G'' is normalized so that ''G'' has measure 1.

==Semisimple groups==
{{harvs|txt|last=Harish-Chandra|authorlink=Harish-Chandra|year1=1965|year2=1966}} classified the discrete series representations of connected [[semisimple group]]s ''G''. In particular, such a group has discrete series representations if and only if it has the same rank as a [[maximal compact subgroup]] ''K''. In other words, a [[maximal torus]] ''T'' in ''K'' must be a [[Cartan subgroup]] in ''G''. (This result required that the [[center of a group|center]] of ''G'' be finite, ruling out groups such as the simply connected cover of SL(2,'''R''').) It applies in particular to [[special linear group]]s; of these only [[SL2(R)|SL(2,'''R''')]] has a discrete series (for this, see the [[representation theory of SL2(R)|representation theory of SL(2,'''R''')]]).

Harish-Chandra's classification of the discrete series representations of a semisimple connected Lie group is given as follows. If ''L'' is the [[weight lattice]] of the maximal torus ''T'', a sublattice of ''it'' where ''t'' is the Lie algebra of ''T'', then there is a discrete series representation for every vector ''v'' of

:''L'' + ρ,

where ρ is the [[Weyl vector]] of ''G'', that is not orthogonal to any root of ''G''. Every discrete series representation occurs in this way. Two such vectors ''v'' correspond to the same discrete series representation if and only if they are conjugate under the [[Weyl group]] ''W''''K'' of the maximal compact subgroup ''K''. If we fix a [[fundamental chamber]] for the Weyl group of ''K'', then the discrete series representation are in 1:1 correspondence with the vectors of ''L'' + ρ in this Weyl chamber that are not orthogonal to any root of ''G''. The infinitesimal character of the highest weight representation is given by ''v'' (mod the Weyl group ''W''''G'' of ''G'') under the [[Harish-Chandra correspondence]] identifying infinitesimal characters of ''G'' with points of

:''t'' &otimes; '''C'''/''W''''G''.

So for each discrete series representation, there are exactly

:|''W''''G''|/|''W''''K''|

discrete series representations with the same infinitesimal character.

Harish-Chandra went on to prove an analogue for these representations of the [[Weyl character formula]]. In the case where ''G'' is not compact, the representations have infinite dimension, and the notion of ''character'' is therefore more subtle to define since it is a [[Schwartz distribution]] (represented by a locally integrable function), with singularities.

The character is given on the maximal torus ''T'' by

:<math>(-1)^{\frac{\dim(G)-\dim(K)}{2}} {\sum_{w\in W_K}\det(w)e^{w(v)}\over \prod_{(v,\alpha)>0} \left (e^{\frac{\alpha}{2}}-e^{-\frac{\alpha}{2}} \right )}</math>

When ''G'' is compact this reduces to the Weyl character formula, with ''v'' = ''λ'' + ''ρ'' for ''λ'' the highest weight of the irreducible representation (where the product is over roots α having positive inner product with the vector ''v'').

[[Harish-Chandra's regularity theorem]] implies that the character of a discrete series representation is a locally integrable function on the group.

==Limit of discrete series representations==
Points ''v'' in the coset ''L'' + ρ orthogonal to roots of ''G'' do not correspond to discrete series representations, but those not orthogonal to roots of ''K'' are related to certain irreducible representations called '''limit of discrete series representations'''. There is such a representation for every pair (''v'',''C'') where ''v'' is a vector of ''L'' + ρ orthogonal to some root of ''G'' but no orthogonal to any root of ''K'' corresponding to a wall of ''C'', and ''C'' is a Weyl chamber of ''G'' containing ''v''. (In the case of discrete series representations there is only one Weyl chamber containing ''v'' so it is not necessary to include it explicitly.) Two pairs (''v'',''C'') give the same limit of discrete series representation if and only if they are conjugate under the Weyl group of ''K''. Just as for discrete series representations ''v'' gives the infinitesimal character. There are at most |''W''''G''|/|''W''''K''| limit of discrete series representations with any given infinitesimal character.

Limit of discrete series representations are [[tempered representation]]s, which means roughly that they only just fail to be discrete series representations

==Constructions of the discrete series==
Harish-Chandra's original construction of the discrete series was not very explicit. Several authors later found more explicit realizations of the discrete series.

*{{harvtxt|Narasimhan|Okamoto|1970}} constructed most of the discrete series representations in the case when the symmetric space of ''G'' is hermitean.
*{{harvtxt|Parthasarathy|1972}} constructed many of the discrete series representations for arbitrary ''G''.
*{{harvtxt|Langlands|1966}} conjectured, and {{harvtxt|Schmid|1976}} proved, a geometric analogue of the [[Borel–Bott–Weil theorem]], for the discrete series, using [[L2 cohomology|''L''2 cohomology]] instead of the coherent sheaf cohomology used in the compact case.
*An application of the [[index theorem]], {{harvtxt|Atiyah|Schmid|1977}} constructed all the discrete series representations in spaces of [[harmonic spinor]]s. Unlike most of the previous constructions of representations, the work of Atiyah and Schmid did not use Harish-Chandra's existence results in their proofs.
*Discrete series representations can also be constructed by [[cohomological parabolic induction]] using [[Zuckerman functor]]s.

==See also==

* [[Blattner's conjecture]]
* [[Holomorphic discrete series representation]]
* [[Quaternionic discrete series representation]]

==References==
*{{Citation | last1=Atiyah | first1=Michael | author1-link=Michael Atiyah | last2=Schmid | first2=Wilfried | title=A geometric construction of the discrete series for semisimple Lie groups | doi=10.1007/BF01389783 | mr=0463358 | year=1977 | journal=[[Inventiones Mathematicae]] | issn=0020-9910 | volume=42 | pages=1–62}}
*{{Citation | last1=Bargmann | first1=V | author1-link=Valentine Bargmann | title=Irreducible unitary representations of the Lorentz group | jstor=1969129 | mr=0021942 | year=1947 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=48 | pages=568–640}}
*{{Citation | last1=Harish-Chandra | title=Discrete series for semisimple Lie groups. I. Construction of invariant eigendistributions | doi=10.1007/BF02391779 | id=0219665 | year=1965 | journal=[[Acta Mathematica]] | issn=0001-5962 | volume=113 | pages=241–318}}
*{{Citation | last1=Harish-Chandra | title=Discrete series for semisimple Lie groups. II. Explicit determination of the characters | doi=10.1007/BF02392813 | mr=0219666 | year=1966 | journal=[[Acta Mathematica]] | issn=0001-5962 | volume=116 | pages=1–111}}
*{{Citation | last1=Langlands | first1=R. P. | title=Algebraic Groups and Discontinuous Subgroups (Proc. Sympos. Pure Math., Boulder, Colo., 1965) | url=http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/representation.html | publisher=[[American Mathematical Society]] | location=Providence, R.I. | mr=0212135 | year=1966 | chapter=Dimension of spaces of automorphic forms | pages=253–257}}
*{{Citation | last1=Narasimhan | first1=M. S. | last2=Okamoto | first2=Kiyosato | title=An analogue of the Borel-Weil-Bott theorem for hermitian symmetric pairs of non-compact type | jstor=1970635 | mr=0274657 | year=1970 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=91 | pages=486–511}}
*{{Citation | last1=Parthasarathy | first1=R. | title=Dirac operator and the discrete series | jstor=1970892 | mr=0318398 | year=1972 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=96 | pages=1–30}}
*{{Citation | last1=Schmid | first1=Wilfried | title=L²-cohomology and the discrete series | jstor=1970944 | mr=0396856 | year=1976 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=103 | issue=2 | pages=375–394}}
*{{Citation | last1=Schmid | first1=Wilfried | editor1-last=Bailey | editor1-first=T. N. | editor2-last=Knapp | editor2-first=Anthony W. | title=Representation theory and automorphic forms (Edinburgh, 1996) | url=http://books.google.com/books?id=cg6ih1nKGUMC | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=Proc. Sympos. Pure Math. | isbn=978-0-8218-0609-8 | mr=1476494 | year=1997 | volume=61 | chapter=Discrete series | pages=83–113}}
*{{springer|id=D/d033120|author=A.I. Shtern|title=Discrete series of representation}}

==External links==
*{{citation|title=Some facts about discrete series (holomorphic, quaternionic) |url=http://www.math.umn.edu/~garrett/m/v/facts_discrete_series.pdf |first= Paul |last=Garrett|year=2004}}

[[Category:Representation theory of Lie groups]]

Pullback attractor - Revision history

en>BenKovitz: /* Set-up and motivation */ base flow: bypass disambig page