ArticlePDF Available

On the classification of irreducible representations of affine Hecke algebras with unequal parameters

Authors:

Abstract

Let R be a root datum with affine Weyl group WeW^e, and let H=H(R,q)H = H (R,q) be an affine Hecke algebra with positive, possibly unequal, parameters q. Then H is a deformation of the group algebra C[We]\mathbb C [W^e], so it is natural to compare the representation theory of H and of WeW^e. We define a map from irreducible H-representations to WeW^e-representations and we show that, when extended to the Grothendieck groups of finite dimensional representations, this map becomes an isomorphism, modulo torsion. The map can be adjusted to a (nonnatural) continuous bijection from the dual space of H to that of WeW^e. We use this to prove the affine Hecke algebra version of a conjecture of Aubert, Baum and Plymen, which predicts a strong and explicit geometric similarity between the dual spaces of H and WeW^e. An important role is played by the Schwartz completion S=S(R,q)S = S (R,q) of H, an algebra whose representations are precisely the tempered H-representations. We construct isomorphisms ζϵ:S(R,qϵ)S(R,q)\zeta_\epsilon : S (R,q^\epsilon) \to S (R,q) (ϵ>0)(\epsilon >0) and injection ζ0:S(We)=S(R,q0)S(R,q)\zeta_0 : S (W^e) = S (R,q^0) \to S (R,q), depending continuously on ϵ\epsilon. Although ζ0\zeta_0 is not surjective, it behaves like an algebra isomorphism in many ways. Not only does ζ0\zeta_0 extend to a bijection on Grothendieck groups of finite dimensional representations, it also induces isomorphisms on topological K-theory and on periodic cyclic homology (the first two modulo torsion). This proves a conjecture of Higson and Plymen, which says that the K-theory of the CC^*-completion of an affine Hecke algebra H(R,q)H (R,q) does not depend on the parameter(s) q.
arXiv:1008.0177v2 [math.RT] 24 Sep 2010
On the classification of irreducible
representations of affine Hecke algebras
with unequal parameters
Maarten Solleveld
Mathematisches Institut, Georg-August-Universit¨at ottingen
Bunsenstraße 3-5, 37073 ottingen, Germany
email: Maarten.Solleveld@mathematik.uni-goettingen.de
September 2010
Abstact. Let Rbe a root datum with affine Weyl group We, and let H=
H(R, q) be an affine Hecke algebra with positive, possibly unequal, parameters
q. Then His a deformation of the group algebra C[We], so it is natural to
compare the representation theory of Hand of We.
We define a map from irreducible H-representations to We-representations and
we show that, when extended to the Grothendieck groups of finite dimensional
representations, this map becomes an isomorphism, modulo torsion. The map
can be adjusted to a (nonnatural) continuous bijection from the dual space of
Hto that of We. We use this to prove the affine Hecke algebra version of a
conjecture of Aubert, Baum and Plymen, which predicts a strong and explicit
geometric similarity between the dual spaces of Hand We.
An important role is played by the Schwartz completion S=S(R, q) of H, an
algebra whose representations are precisely the tempered H-representations.
We construct isomorphisms ζǫ:S(R, qǫ) S(R, q) (ǫ > 0) and injection
ζ0:S(We) = S(R, q0) S(R, q), depending continuously on ǫ.
Although ζ0is not surjective, it behaves like an algebra isomorphism in many
ways. Not only does ζ0extend to a bijection on Grothendieck groups of finite
dimensional representations, it also induces isomorphisms on topological
K-theory and on periodic cyclic homology (the first two modulo torsion).
This proves a conjecture of Higson and Plymen, which says that the K-theory
of the C-completion of an affine Hecke algebra H(R, q) does not depend on
the parameter(s) q.
2010 Mathematics Subject Classification.
primary: 20C08, secondary: 20G25
1
Contents
Introduction 3
1 Preliminaries 10
1.1 Root systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2 Affine Hecke algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3 Graded Hecke algebras . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4 Parabolic subalgebras . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5 Analytic localization . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.6 The relation with reductive p-adic groups . . . . . . . . . . . . . . . 19
2 Classification of irreducible representations 24
2.1 Two reduction theorems . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 The Langlands classification . . . . . . . . . . . . . . . . . . . . . . . 28
2.3 An affine Springer correspondence . . . . . . . . . . . . . . . . . . . 35
3 Parabolically induced representations 37
3.1 Unitary representations and intertwining operators . . . . . . . . . . 38
3.2 The Schwartz algebra . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.3 Parametrization of representations with induction data . . . . . . . . 48
3.4 The geometry of the dual space . . . . . . . . . . . . . . . . . . . . . 52
4 Parameter deformations 58
4.1 Scaling Hecke algebras . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.2 Preserving unitarity . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.3 Scaling intertwining operators . . . . . . . . . . . . . . . . . . . . . . 68
4.4 Scaling Schwartz algebras . . . . . . . . . . . . . . . . . . . . . . . . 72
5 Noncommutative geometry 77
5.1 Topological K-theory . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5.2 Periodic cyclic homology . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.3 Weakly spectrum preserving morphisms . . . . . . . . . . . . . . . . 85
5.4 The Aubert–Baum–Plymen conjecture . . . . . . . . . . . . . . . . . 88
5.5 Example: type C(1)
2............................ 91
References 98
2
Introduction
Let R= (X, R0, Y, R
0, F0) be a based root datum with finite Weyl group W0and
(extended) affine Weyl group We=W0X. For every parameter function q:We
C×there is an affine Hecke algebra H=H(R, q).
The most important and most studied case is when qtakes the same value on all
simple (affine) reflections in We. If this value is a prime power, then His isomor-
phic to the convolution algebra of Iwahori-biinvariant functions on a reductive p-adic
group with root datum R= (Y , R
0, X, R0, F
0) [IwMa]. Moreover the generic Hecke
algebra obtained by replacing qwith a formal variable qis known [KaLu1, ChGi]
to be isomorphic to the GC×C×-equivariant K-theory of the Steinberg variety of
GC, the complex Lie group with root datum R. Via this geometric interpretation
Kazhdan and Lusztig [KaLu2] classified and constructed all irreducible representa-
tions of H(R, q) (when qC×is not a root of unity), in accordance with the local
Langlands program.
On the other hand, the definition of affine Hecke algebras with generators and
relations allows one to choose the values of qon non-conjugate simple reflections
independently. Although this might appear to be an innocent generalization, much
less is known about affine Hecke algebras with unequal parameters. The reason
is that Lusztig’s constructions in equivariant K-theory [KaLu1] allow only one de-
formation parameter. Kato [Kat2] invented a more complicated variety, called an
exotic nilpotent cone, which plays a similar role for the three parameter affine Hecke
algebra of type C(1)
n. From this one can extract a classification of the tempered dual,
for an arbitrary parameter function q[CiKa].
Like equal parameter affine Hecke algebras, those with unequal parameters also
arise as intertwining algebras in the smooth representation theory of reductive p-adic
groups. One can encounter them if one looks at non-supercuspidal Bernstein com-
ponents (in the smooth dual) [Lus7, Mor]. Even for split groups unequal parameters
occur, albeit not in the principal series. It is expected that every Bernstein com-
ponent of a p-adic group can be described with an affine Hecke algebra or a slight
variation on it. However, it has to be admitted that the support of this belief is not
overwhelming. In [BaMo1, BaMo2, BaCi] it is shown, in increasing generality, that
under certain conditions the equivalence between the module category of an affine
Hecke algebra and a Bernstein block (in the category of smooth modules) respects
unitarity. Thus affine Hecke algebras are an important tool for the classification of
both the smooth dual and the unitary smooth dual of a reductive p-adic group.
The degenerate versions of affine Hecke algebras are usually called graded Hecke
algebras. Their role in the representation theory of reductive p-adic groups [Lus7,
3
BaMo1, Ciu], is related to affine Hecke algebras in the way that Lie algebras stand
to Lie groups. They have a very simple presentation, which makes is possible to
let them act on many function spaces. Therefore one encounters graded Hecke
algebras (with possibly unequal parameters) also independently from affine Hecke
algebras, for instance in certain systems of differential equations [HeOp] and in the
classification of the unitary dual of real reductive groups [CiTr].
In view of the above connections, it of considerable interest to classify the dual
of an affine or graded Hecke algebra with unequal parameters. Since H(R, q) is
a deformation of the group algebra C[We], it is natural to expect strong similari-
ties between the duals Irr(H(R, q)) and Irr(We). Indeed, for equal parameters the
Deligne–Langlands–Kazhdan–Lusztig parametrization provides a bijection between
these duals [KaLu2, Lus5]. For unequal parameters we approach the issue via har-
monic analysis on affine Hecke algebras, which forces us to consider only parameter
functions qwith values in R>0. We will assign to every irreducible H-representation
πin a natural way a representation Spr(π) of the extended affine Weyl group We.
Although this construction does not always preserve irreducibility, it has a lot of
nice properties, the most important of which is:
Theorem 1. (see Theorem 2.3.1)
The collection of representations {Spr(π) : πIrr(H(R, q))}forms a Q-basis of the
representation ring of We.
Since the Springer correspondence for finite Weyl groups realizes Irr(W0), via
Kazhdan–Lusztig theory, as a specific subset of Irr(H(R, q)), we refer to Theorem
1 as an affine Springer correspondence. It is possible to refine Theorem 1 to a con-
tinuous (with respect to the Jacobson topology) bijection Irr(H(R, q)) Irr(We).
This is related to a conjecture of Aubert, Baum and Plymen [ABP1, ABP2] (ABP-
conjecture for short) which we sketch here.
Recall that We=W0Xand let Tbe the complex torus HomZ(X, C×). Clifford
theory says that the irreducible We-representations with an X-weight tTare in
natural bijection with the irreducible representations of the isotropy group W0,t.
The extended quotient of Tby W0is defined as
e
T /W0=GwW0{w} × Tw/W0,
with respect to the W0-action w·(w, t) = (www1, wt). It is a model for Irr(We),
in the sense that there exist continuous bijections e
T /W0Irr(We), which respect
the projections to T /W0.
The Bernstein presentation (included as Theorem 1.2.1) shows that C[X]
=O(T)
is naturally to isomorphic to a commutative subalgebra A H(R, q), and that the
center of H(R, q) is AW0
=O(T/W0). Hence we have a natural map Irr(H(R, q))
T/W0, sending a representation to its central character. A simplified version of the
ABP-conjecture for affine Hecke algebras reads:
Theorem 2. (see Theorem 5.4.2)
Let H(R, q)be an affine Hecke algebra with positive, possibly unequal, parameters.
Let Q(R)be the variety of parameter functions WeC×. There exist a continuous
bijection µ:e
T /W0Irr(H(R, q)) and a map h:e
T /W0×Q(R)Tsuch that:
4
his locally constant in the first argument;
for fixed ce
T /W0, h(c, v)is a monomial in the variables v(s)±1, where s
runs through all simple affine reflections;
the central character of µ(W0(w, t)) is W0h(W0(w, t), q1/2)t.
The author hopes that Theorem 2 will be useful in the local Langlands program.
This could be the case for a Bernstein component sof a reductive p-adic group Gfor
which Mods(G) is equivalent to Mod(H(R, q)) (see Section 1.6 for the notations).
Recall that a Langlands parameter for Gis a certain kind of group homomorphism φ:
WF⋉C LG, where LGis the Langlands dual group and WFis the Weil group of the
local field Fover which Gis a variety. Let us try to extract a Langlands parameter
from W0(w, t)e
T /W0. The image of the distinguished Frobenius element of WF
describes the central character, so modulo conjugacy it should be h(W0(w, t), q1/2)t
TLG.
Problematic is that the map µfrom Theorem 2 is not canonical, its construction
involves some arbitrary choices, which could lead to a different wW0. Yet it is
precisely this element wthat should determine the unipotent conjugacy class that
contains the image of C\{0}under φ. Recently Lusztig [Lus9] defined a map from
conjugacy classes in a Weyl group to unipotent classes in the associated complex
Lie group. Whether this map yields a suitable unipotent class for our hypothetical
φremains to be seen, for this it is probably necessary to find a more canonical
construction of µ. The rest of such a Langlands parameter φis completely beyond
affine Hecke algebras, it will have to depend on number theoretic properties of the
Bernstein component s.
Now we describe the most relevant results needed for Theorems 1 and 2. A
large step towards the determination of Irr(H(R, q)) is the Langlands classification
(see Theorem 2.2.4), which reduces the problem to the tempered duals of parabolic
subalgebras of H(R, q). Although this is of course a well-known result, the proof for
affine Hecke algebras has not been published before.
In line with Harish-Chandra’s results for reductive groups, every tempered ir-
reducible H(R, q)-representation can be obtained via induction from a discrete se-
ries representation of a parabolic subalgebra, a point of view advocated by Opdam
[Opd2]. We note that in this setting tempered and discrete series representations
can be defined very easily via the A-weights of a representation. For affine Hecke
algebras with irreducible root data, Opdam and the author classified the discrete
series in [OpSo2], but we emphasize that we do not use that classification in the
present paper.
Parabolic subalgebras are given by set of simple roots PF0, and induction
from HPallows an induction parameter in TP, the subtorus of Torthogonal to
P. So we consider induction data ξ= (P, δ, t) where PF0, t TPand δis
a discrete series representation of HP. Such a triple gives rise to a parabolically
induced representation
π(ξ) = π(P, δ, t) = IndH
HP(δφt).
Here HP H is more or less a central extension of HPand φt:HP HPis a
twisted projection. The representation π(ξ) is tempered if and only if tTP
un, the
5
unitary part of TP. For the classification of the dual it remains to decompose all
tempered parabolically induced representations and to determine when they have
constituents in common.
These phenomena are governed by intertwining operators between such represen-
tations [Opd2, Section 4]. It is already nontrivial to show that these operators are
well-defined on all π(ξ) with tTP
un, and it is even more difficult to see that they
span HomH(ξ, ξ ). For reductive groups this is known as Harish-Chandra’s com-
pleteness theorem, and for affine Hecke algebras it is a deep result due to Delorme
and Opdam [DeOp1]. The intertwining operators can be collected in a groupoid
G, which acts on the space Ξ of induction data (P, δ, t). With these tools one can
obtain a partial classification of the dual of H(R, q):
Theorem 3. (see Theorem 3.3.2)
There exists a natural map Irr(H(R, q)) Ξ/G, ρ 7→ Gξ+(ρ), such that:
the map is surjective and has finite fibers;
ρis a subquotient of π(ξ+(ρ));
ρdoes not occur in π(ξ)when ξis ”larger” than ξ+(ρ).
We note that this part of the paper is rather similar to [Sol5] for graded Hecke
algebras. The results here are somewhat stronger, and most of them can not be
derived quickly from their counterparts in [Sol5].
Yet all this does not suffice for Theorem 1, because we do not have much control
over the number of irreducible constituents of parabolically induced representations.
Ultimately the proof of Theorem 1 is reduced to irreducible tempered representations
with central character in HomZ(X, R>0). The author dealt with this case in [Sol6],
via the periodic cyclic homology of graded Hecke algebras.
What we discussed so far corresponds more or less to chapters 1–3 of the article.
From Theorem 1 to Theorem 2 is not a long journey, but we put Theorem 2 at the end
of the paper because we prove it together with other parts of the ABP-conjecture.
Chapters 4 and 5 are of a more analytic nature. The main object of study is the
Schwartz algebra S(R, q) of H(R, q) [Opd2, DeOp1], the analogue of the Harish-
Chandra–Schwartz algebra of a reductive p-adic group. By construction a H(R, q)-
representation extends continuously to S(R, q) if and only if it is tempered. The
Schwartz algebra is the ideal tool for the harmonic analysis of affine Hecke algebras,
among others because it admits a very nice Plancherel theorem (due to Delorme
and Opdam, see [DeOp1] or Theorem 3.2.2), because the discrete series of H(R, q)
is really discrete in the dual of S(R, q), and because the inclusion H(R, q) S(R, q)
preserves Ext-groups of tempered representations [OpSo1].
If we vary the parameter function q, we obtain families of algebras H(R, q) and
S(R, q). It is natural to try to connect the representation theory of H(R, q) with
that of H(R, q) for qclose to q. For general parameter deformations this is too
difficult at present, but we can achieve it for deformations of the form q7→ qǫwith
ǫR. On central characters of representations, this ”scaling” of qfits well with the
map
σǫ:TT, t 7→ t|t|ǫ1.
6
Notice that σǫ(t) = tfor tTun = HomZ(X, S1). Let Modf,W0t(H(R, q)) be
the category of finite dimensional H(R, q)-representations with central character
W0tT/W0.
Theorem 4. (see Corollary 4.2.2)
There exists a family of additive functors
˜σǫ,t : Modf,W0t(H(R, q)) Modf,W0σǫ(t)(H(R, qǫ)) ǫ[1,1],
such that:
for all (π, V )Modf,W0t(H(R, q)) and all wWe, the map ǫ7→ ˜σǫ,t(π)(Nw)
EndC(V)is analytic;
for ǫ6= 0,˜σǫ,t is an equivalence of categories;
˜σǫ,t preserves unitarity.
For ǫ > 0 this can already be found in [Opd2], the most remarkable part is
precisely that it extends continuously to ǫ= 0, that is, to the algebra H(R, q 0) =
C[We]. In general the functors ˜σǫ,t cannot be constructed if we work only inside the
algebras H(R, qǫ), they are obtained via localizations of these algebras at certain
sets of central characters. We can do much better if we replace the algebras by their
Schwartz completions:
Theorem 5. (see Theorem 4.4.2)
For ǫ[0,1] there exist homomorphisms of Fr´echet *-algebras ζǫ:S(R, qǫ)
S(R, q), such that:
ζǫis an isomorphism for all ǫ > 0, and ζ1is the identity;
for all wWethe map ǫ7→ ζǫ(Nw)is piecewise analytic;
for every irreducible tempered H(R, q)-representation πwith central character
W0t, the S(R, qǫ)-representations ˜σǫ,t(Nw)and πζǫare equivalent.
There are some similarities with the role played by Lusztig’s asymptotic Hecke
algebra [Lus3] in [KaLu2]. In both settings an algebra is constructed, which contains
H(R, q) for a family of parameter functions q. The asymptotic Hecke algebra is of
finite type over O(T/W0), so it is only a little larger than H(R, q ). So far it has only
been constructed for equal parameter functions q, but Lusztig [Lus8] conjectures
that it also exists for unqual parameter functions. On the hand, the algebra S(R, q)
is of finite type over C(Tun), so it is much larger than H(R, q). Although ζǫis
an isomorphism for ǫ(0,1], the algebras H(R, qǫ) are embedded in S(R, q) in a
nontrivial way, in most cases ζǫ(H(R, qǫ)) is not contained in H(R, q).
Of particular interest is the homomorphism
ζ0:S(We) = S(R, q0) S(R, q).(1)
It cannot be an isomorphism, but it is injective and for all irreducible tempered
H(R, q)-representations πwe have πζ0
=˜σ0(π)
=Spr(π). Together with Theorem
1 this results in:
7
Corollary 6. (see Corollary 4.4.3)
The functor Mod(S(R, q)) Mod(S(We)) : π7→ πζ0induces an isomorphism
between the Grothendieck groups of finite dimensional representations, tensored with
Q.
So Theorem 1 does not stand alone, but forms the end of a continuous family
of representations (of a family of algebras). Actually the author first discovered the
algebra homomorphism ζ0and only later realized that the corresponding map on
representations can also be obtained in another way, thus gaining in naturality.
Apart from representation theory, the aformentioned results have some inter-
esting consequences in the noncommutative geometry of affine Hecke algebras. Let
C(R, q) be the C-completion of H(R, q). It contains S(R, q) and ζǫextends to a
C-algebra homomorphism ζǫ:C(R, qǫ)C(R, q ), for which Theorem 5 remains
valid. It follows quickly from this and Corollary 6 that ζ0induces an isomorphism
on topological K-theory, see Theorem 5.1.4. More precisely,
K(ζ0)idQ:K(C(We)Γ) ZQK(C(R, q)Γ) ZQ(2)
is an isomorphism, while for equal parameters the argument also goes through with-
out ZQ. This solves a conjecture that was posed first by Higson and Plymen
[Ply1, BCH].
Furthermore C(R, q) and S(R, q ) have the same topological K-theory, and via
the Chern character the complexification of the latter is isomorphic to the periodic
cyclic homology of S(R, q). As already proved in [Sol4], H(R, q) and S(R, q) have
the same periodic cyclic homology, so we obtain a commutative diagram
HP(C[We]) HP(S(We)) K(S(We)) ZCK(C(We)) ZC
HP(ζ0)K(ζ0)K(ζ0)
HP(H(R, q)) HP(S(R, q)) K(S(R, q)) ZCK(C(R, q)) ZC,
where all the arrows are natural isomorphisms (see Corollary 5.2.2). Notice that the
Schwartz algebra S(R, q) forms a bridge between the purely algebraic H(R, q) and
the much more analytic C(R, q).
For the sake of clarity, the introduction is written in less generality than the
actual paper. Most notably, we can always extend our affine Hecke algebras by
a group Γ of automorphisms of the Dynkin diagram of R. On the one hand this
generality is forced upon us, in particular by Lusztig’s first reduction theorem (see
Theorem 2.1.2), which necessarily involves diagram automorphisms. On the other
hand, one advantage of having H(R, q)Γ instead of just H(R, q) is that our proof of
the Aubert–Baum–Plymen conjecture applies to clearly more Bernstein components
of reductive p-adic groups.
For most of the results of this paper, the extension from H(R, q) to H(R, q)Γ
is easy, mainly a matter of some extra notation. An exception is the Langlands
classification, which hitherto was only known for commutative groups of diagram
automorphisms [BaJa1]. In our generalization (see Corollary 2.2.5) we add a new
ingredient to the Langlands data, and we show how to save the uniqueness part.
A substantial part of this article is based on the author’s PhD-thesis [Sol3],
which was written under the supervision of Opdam. We refrain from indicating all
8
the things that stem from [Sol3], among others because some of proofs in [Sol3] were
not worked out with the accuracy needed for research papers. Moreover, in the years
after writing this thesis many additional insights were obtained, so that in the end
actually no part of [Sol3] reached this article unscathed. The technical Chapter 4
comes closest. It should also be mentioned that the conjecture (2) formed a central
part of the author’s PhD-research. At that time it was still too difficult for the
author, mainly because Theorem 1 was not available yet.
Acknowledgements. The author learned a lot about affine Hecke algebras from
Eric Opdam, first as a PhD-student a later as co-author. Without that support,
this article would not have been possible. The author also thanks Roger Plymen
for providing background information about several conjectures, and Anne-Marie
Aubert for many detailed comments, in particular concerning Section 1.6.
9
Chapter 1
Preliminaries
This chapter serves mainly to introduce some definitions and notations that we will
use later on. The results that we recall can be found in several other sources, like
[Lus6, Ree1, Opd2]. By default, our affine Hecke algebras are endowed with unequal
parameters and may be extended with a group of automorphism of the underlying
root datum.
In the section dedicated to p-adic groups we recall what is known about the
(conjectural) relation between Bernstein components and affine Hecke algebras. On
one hand this motivates the generality that we work in, on the other hand we will
use it in Section 5.4 to translate a conjecture of Aubert, Baum and Plymen to the
setting of affine Hecke algebras.
1.1 Root systems
Let abe a finite dimensional real vector space and let abe its dual. Let Yabe
a lattice and X= HomZ(Y, Z)athe dual lattice. Let
R= (X, R0, Y, R
0, F0).
be a based root datum. Thus R0is a reduced root system in X, R
0Yis the
dual root system, F0is a basis of R0and the set of positive roots is denoted R+
0.
Furthermore we are given a bijection R0R
0, α 7→ αsuch that hα , αi= 2 and
such that the corresponding reflections sα:XX(resp. s
α:YY) stabilize R0
(resp. R
0). We do not assume that R0spans a.
The reflections sαgenerate the Weyl group W0=W(R0) of R0, and S0:=
{sα:αF0}is the collection of simple reflections. We have the affine Weyl group
Waff =ZR0W0and the extended (affine) Weyl group We=XW0. Both can
be considered as groups of affine transformations of a. We denote the translation
corresponding to xXby tx. As is well known, Waff is a Coxeter group, and the
basis of R0gives rise to a set Saff of simple (affine) reflections. More explicitly, let
F
Mbe the set of maximal elements of R
0, with respect to the dominance ordering
coming from F0. Then
Saff =S0 {tαsα:αFM}.
10
We write
X+:= {xX:hx , αi 0αF0},
X:= {xX:hx , αi 0αF0}=X+.
It is easily seen that the center of Weis the lattice
Z(We) = X+X.
We say that Ris semisimple if Z(We) = 0 or equivalently if R0spans a. Thus a
root datum is semisimple if and only if the corresponding reductive algebraic group
is so.
The length function of the Coxeter system (Waff , Saff ) extends naturally to
We, such that [Opd1, (1.3)]
(wtx) = (w) + XαR+
0hx , αiwW0, x X+.(1.1)
The elements of length zero form a subgroup We, and We=Waff Ω. With
Rwe also associate some other root systems. There is the non-reduced root system
Rnr := R0 {2α:α2Y}.
Obviously we put (2α)=α/2. Let R1be the reduced root system of long roots
in Rnr:
R1:= {αRnr :α6∈ 2Y}.
We denote the collection of positive roots in R0by R+
0, and similarly for other root
systems.
1.2 Affine Hecke algebras
There are three equivalent ways to introduce a complex parameter function for R.
(1) A map q:Saff C×such that q(s) = q(s) if sand sare conjugate in We.
(2) A function q:WeC×such that
q(ω) = 1 if (ω) = 0,
q(wv) = q(w)q(v) if w, v Weand (wv) = (w) + (v).(1.2)
(3) A W0-invariant map q:R
nr C×.
One goes from (2) to (1) by restriction, while the relation between (2) and (3) is
given by
qα=q(sα) = q(tαsα) if αR0R1,
qα=q(tαsα) if αR0\R1,
qα/2=q(sα)q(tαsα)1if αR0\R1.
(1.3)
We speak of equal parameters if q(s) = q(s)s, sSaff and of positive parameters
if q(s)R>0sSaff .
11
We fix a square root q1/2:Saff C×. The affine Hecke algebra H=H(R, q) is
the unique associative complex algebra with basis {Nw:wWe}and multiplication
rules NwNv=Nwv if (wv) = (w) + (v),
Nsq(s)1/2Ns+q(s)1/2= 0 if sSaff .(1.4)
In the literature one also finds this algebra defined in terms of the elements q(s)1/2Ns,
in which case the multiplication can be described without square roots. This explains
why q1/2does not appear in the notation H(R, q).
Notice that Nw7→ Nw1extends to a C-linear anti-automorphism of H, so H
is isomorphic to its opposite algebra. The span of the Nwwith wW0is a finite
dimensional Iwahori–Hecke algebra, which we denote by H(W0, q).
Now we describe the Bernstein presentation of H. For xX+we put θx:=
Ntx. The corresponding semigroup morphism X+ H(R, q)×extends to a group
homomorphism
X H(R, q)×:x7→ θx.
Theorem 1.2.1. (Bernstein presentation)
(a)The sets {Nwθx:wW0, x X}and {θxNw:wW0, x X}are bases of H.
(b)The subalgebra A:= span{θx:xX}is isomorphic to C[X].
(c)The center of Z(H(R, q)) of H(R, q)is AW0, where we define the action of W0
on Aby w(θx) = θwx.
(d)For f A and αF0R1
fNsαNsαsα(f) = q(sα)1/2q(sα)1/2(fsα(f))(θ0θα)1,
while for αF0\R1:
fNsαNsαsα(f) = q(sα)1/2q(sα)1/2+ (q1/2
αq1/2
α)θαfsα(f)
θ0θ2α
.
Proof. These results are due to Bernstein, see [Lus6, §3]. 2
The following lemma was claimed in the proof of [Opd1, Lemma 3.1].
Lemma 1.2.2. For xX+
span{NuθxNv:u, v W0}= span{Nw:wW0txW0}.(1.5)
Let Wxbe the stabilizer of xin W0and let Wxbe a set of representatives for W0/Wx.
Then the elements NuθxNvwith uWxand vW0form a basis of (1.5).
Proof. By (1.1) (utx) = (u) + (tx), so Nuθx=Nutx. Recall the Bruhat
ordering on a Coxeter group, for example from [Hum, Sections 5.9 and 5.10]. With
induction to (v) it follows from the multiplication rules (1.4) that
NwNvNwv span{Nw˜v: ˜v < v in the Bruhat ordering}.
12
Hence the sets {NuθxNv:vW0}and {Nw:wutxW0}have the same span. They
have the same cardinality and by definition the latter set is linearly independent, so
the former is linearly independent as well. Clearly W0txW0=uWxutxW0, so
span{Nw:wW0txW0}=MuWxspan{Nw:wutxW0}
=MuWxspan{NuθxNv:vW0}= span{NuθxNv:uWx, v W0}.
The number of generators on the second line side equals the dimension of the first
line, so they form a basis. 2
Let Tbe the complex algebraic torus
T= HomZ(X, C×)
=YZC×,
so A
=O(T) and Z(H) = AW0
=O(T/W0). From Theorem 1.2.1 we see that H
is of finite rank over its center. Let t= Lie(T) and tbe the complexifications of a
and a. The direct sum t=aiacorresponds to the polar decomposition
T=Trs ×Tun = HomZ(X, R>0)×HomZ(X, S 1)
of Tinto a real split (or positive) part and a unitary part. The exponential map
exp : tTis bijective on the real parts, and we denote its inverse by log : Trs a.
An automorphism of the Dynkin diagram of the based root system (R0, F0) is a
bijection γ:F0F0such that
hγ(α), γ(β)i=hα , βi α, β F0.(1.6)
Such a γnaturally induces automorphisms of R0, R
0, W0and Waff . It is easy to
classify all diagram automorphisms of (R0, F0): they permute the irreducible compo-
nents of R0of a given type, and the diagram automorphisms of a connected Dynkin
diagram can be seen immediately.
We will assume that the action of γon Waff has been extended in some way to
We. For example, this is the case if γbelongs to the Weyl group of some larger root
system contained in X. We regard two diagram automorphisms as the same if and
only if their actions on Weare equal.
Let Γ be a finite group of diagram automorphisms of (R0, F0) and assume that
qα=qγ(α)for all γΓ, α Rnr . Then Γ acts on Hby algebra automorphisms
ψγthat satisfy
ψγ(Nw) = Nγ(w)wWe,
ψγ(θx) = θγ(x)xX. (1.7)
Hence one can form the crossed product algebra Γ H=HΓ, whose natural basis
is indexed by the group (XW0)Γ = X(W0Γ). It follows easily from (1.7)
and Theorem 1.2.1.c that Z(HΓ) = AW0Γ. We say that the central character of
an (irreducible) HΓ-representation is positive if it lies in Trs/(W0Γ).
13
We always assume that we have an Γ W0-invariant inner product on a. The
length function of Waff also extends to XW0Γ, and the subgroup of elements
of length zero becomes
{wWeΓ : (w) = 0}= Γ {wWe:(w) = 0}= Γ .
More generally one can consider a nite group Γthat acts on Rby diagram auto-
morphisms. Then the center of HΓcan be larger than AW0Γ, but apart from
that the structure is the same.
Another variation arises when Γ Aut(H) is not a group homomorphism, but
a homomorphism twisted by a 2-cocycle κ: Γ ×ΓC×. Instead of HΓ one can
construct the algebra H C, κ], whose multiplication is defined by
NγNγ=κ(γ, γ )Nγγ,
NγhN1
γ=γ(h),γ, γ Γ, h H.
By [Mor, Section 7] such algebras can appear in relevant examples, although it is
no explicit nontrivial are known. Let Γbe the Schur multiplier of Γ, also known as
representation group [CuRe]. It is a central extension of Γ that classifies projective
Γ-representations, and its group algebra C] contains C, κ] as a direct summand.
The algebra HΓis well-defined and contains H C, κ] as a direct summand.
Thus we can reduce the study of affine Hecke algebras with twisted group actions
the case of honest group actions.
1.3 Graded Hecke algebras
Graded Hecke algebras are also known as degenerate (affine) Hecke algebras. They
were introduced by Lusztig in [Lus6]. We call
˜
R= (a, R0,a, R
0, F0) (1.8)
a degenerate root datum. We pick complex numbers kαfor αF0, such that
kα=kβif αand βare in the same W0-orbit. The graded Hecke algebra associated
to these data is the complex vector space
H=H(˜
R, k) = S(t)C[W0],
with multiplication defined by the following rules:
C[W0] and S(t) are canonically embedded as subalgebras;
for xtand sαSwe have the cross relation
x·sαsα·sα(x) = kαhx , αi.(1.9)
Multiplication with any ǫC×defines a bijection mǫ:tt, which clearly
extends to an algebra automorphism of S(t). From the cross relation (1.9) we see
that it extends even further, to an algebra isomorphism
mǫ:H(˜
R, zk)H(˜
R, k) (1.10)
14
which is the identity on C[W0].
Let Γ be a group of diagram automorphisms of ˜
Rand assume that kγ(α)=kα
for all αR0, γ Γ. Then Γ acts on Hby the algebra automorphisms
ψγ:HH,
ψγ(xsα) = γ(x)sγ(α)xt, α Π.(1.11)
By [Sol6, Proposition 5.1.a] the center of the resulting crossed product algebra is
Z(H Γ) = S(t)W0Γ=O(t/(W0Γ)).(1.12)
We say that the central character of an H Γ-representation is real if it lies in
a/(W0Γ).
1.4 Parabolic subalgebras
For a set of simple roots PF0we introduce the notations
RP=QPR0R
P=QR
PR
0,
aP=RPaP= (a
P),
a
P=RPaP= (aP),
tP=CPtP= (t
P),
t
P=CPtP= (tP),
XP=XX(P)XP=X/(XQP),
YP=YQPYP=YP,
TP= HomZ(XP,C×)TP= HomZ(XP,C×),
RP= (XP, RP, YP, R
P, P )RP= (X, RP, Y , R
P, P ),
˜
RP= (a
P, RP,aP, R
P, P )˜
RP= (a, RP,a, R
P, P ).
(1.13)
We denote the image of xXin XPby xP. Although Trs =TP,rs ×TP
rs, the product
Tun =TP,unTP
un is not direct, because the intersection
KP:= TP,un TP
un =TPTP
can have more than one element (but only finitely many).
We define parameter functions qPand qPon the root data RPand RP, as
follows. Restrict qto a function on (RP)
nr and use (1.3) to extend it to W(RP)
and W(RP). Similarly the restriction of kto Pis a parameter function for the
degenerate root data ˜
RPand ˜
RP, and we denote it by kPor kP. Now we can define
the parabolic subalgebras
HP=H(RP, qP)HP=H(RP, qP),
HP=H(˜
RP, kP)HP=H(˜
RP, kP).
We notice that HP=S(tP)HP, a tensor product of algebras. Despite our termi-
nology HPand HPare not subalgebras of H, but they are close. Namely, H(RP, qP)
is isomorphic to the subalgebra of H(R, q) generated by Aand H(W(RP), qP). We
15
denote the image of xXin XPby xPand we let AP HPbe the commutative
subalgebra spanned by {θxP:xPXP}. There is natural surjective quotient map
HP HP:θxNw7→ θxPNw.(1.14)
Suppose that γΓW0satisfies γ(P) = QF0. Then there are algebra isomor-
phisms
ψγ:HP HQ, θxPNw7→ θγ(xP)Nγwγ 1,
ψγ:HP HQ, θxNw7→ θγx Nγ1,
ψγ:HPHQ, fPw7→ (fPγ1)w,
ψγ:HPHQ, fw 7→ (fγ1)w,
(1.15)
where fP O(tP) and f O(t). Sometimes we will abbreviate W0Γ to W, which
is consistent with the notation of [Sol5]. For example the group
W
P:= {γΓW0:γ(P) = P}(1.16)
acts on the algebras HPand HP. Although W
F0= Γ, for proper subsets P(F0
the group W
Pneed not be contained in Γ. In other words, in general W
Pstrictly
contains the group
ΓP:= {γΓ : γ(P) = P}=W
PΓ.
To avoid confusion we do not use the notation WP. Instead the parabolic subgroup
of W0generated by {sα:αP}will be denoted W(RP). Suppose that γW
stabilizes either the root system RP, the lattice ZPor the vector space QPa.
Then γ(P) is a basis of RP, so γ(P) = w(P) and w1γW
Pfor a unique w
W(RP). Therefore
W
ZP:= {γW:γ(ZP) = ZP}equals W(RP)W
P.(1.17)
For all xXand αPwe have
xsα(x) = hx , αiαZP,
so t(sα(x)) = t(x) for all tTP. Hence t(w(x)) = t(x) for all wW(RP), and we
can define an algebra automorphism
φt:HP HP, φt(θxNw) = t(x)θxNwtTP.(1.18)
In particular, for tKPthis descends to an algebra automorphism
ψt:HP HP, θxPNw7→ t(xP)θxPNwtKP.(1.19)
We can regard any representation (σ, Vσ) of H(RP, qP) as a representation of H(RP, qP)
via the quotient map (1.14). Thus we can construct the H-representation
π(P, σ, t) := IndH(R,q)
H(RP,qP)(σφt).
Representations of this form are said to be parabolically induced. Similarly, for any
HP-representation (ρ, Vρ) and any λtthere is an HP-representation (ρλ, VρCλ).
The corresponding parabolically induced representation is
π(P, ρ, λ) := IndH
HP(ρλ) = IndH
HP(VρCλ).
16
1.5 Analytic localization
A common technique in the study of Hecke algebras is localization at one or more
characters of the center. There are several ways to implement this. Lusztig [Lus6]
takes a maximal ideal Iof Z(H) and completes Hwith respect to the powers of this
ideal. This has the effect of considering only those H-representations which admit
the central character corresponding to I.
For reasons that will become clear only in Chapter 4, we prefer to localize with
analytic functions on subvarieties of T/W . Let UTbe a nonempty W-invariant
subset and let Can(U) (respectively Cme(U)) be the algebra of holomorphic (respec-
tively meromorphic) functions on U. There is a natural embedding
Z(HΓ) = AW
=O(T)WCan(U)W
and isomorphisms of topological algebras
Can(U)WAWA
=Can(U), Cme(U)WAWA
=Cme(U).
Thus we can construct the algebras
Han(U)Γ := Can(U)WZ(HΓ) HΓ
=Can(U)CC[W],
Hme(U)Γ := Cme(U)WZ(HΓ) HΓ
=Cme(U)CC[W].(1.20)
The isomorphisms with the right hand side are in the category of topological vector
spaces, the algebra structure on the left hand side is determined by
(f1h1)(f2h2) = f1f2h1h2fiCme(U)W, hi H Γ.(1.21)
By [Opd2, Proposition 4.5] Z(Han(U)Γ)
=Can(U)W, and similarly with mero-
morphic functions.
For any TT, let Modf,T (HΓ) be the category of finite dimensional HΓ-
modules all whose A-weights lie in T. By [Opd2, Proposition 4.3] Modf(Han(U)Γ)
is naturally equivalent to Modf ,U (HΓ). (On the other hand, Hme (U)Γ does
not have any nonzero finite dimensional representations over C.)
Of course graded Hecke algebras can localized in exactly the same way, and the
resulting algebras have analogous properties. By (1.12) the center of the algebra
H Γ is isomorphic to O(t/W ) = O(t)W. For nonempty open W-invariant subsets
Vof twe get the algebras
Han(V)Γ := Can(V)WZ(H⋊Γ) H Γ
=Can(V)CC[W],
Hme(V)Γ := Cme (V)WZ(H⋊Γ) H Γ
=Cme(V)CC[W].(1.22)
Let C(T /W ) be the quotient field of Z(HΓ)
=O(T /W ) and consider
C(T /W )Z(HΓ) HΓ.
As a vector space this is C(T)AHΓ
=C(T)CC[W], while its multiplication
is given by (1.21). Similarly, we let C(t/W ) be the quotient field of O(t/W ) and
we construct the algebra
C(t/W )Z(H⋊Γ) H Γ.
17
Its underlying vector space is
C(t)O(t)H Γ
=C(t)CC[W],
and its multiplication is given by the obvious analogue of (1.21).
An important role in the harmonic analysis of H(R, q) is played by the Mac-
donald c-functions cαC(T) (cf. [Lus6, 3.8] and [Opd1, Section 1.7]), defined
by
cα=
θα+q(sα)1/2q1/2
α
θα+ 1
θαq(sα)1/2q1/2
α
θα1αR0\R1
(θαq(sα)1)(θα1)1αR0R1
(1.23)
Notice that cα= 1 if and only if q(sα) = q(tαsα) = 1. With this function we can
rephrase Theorem 1.2.1.d as
fNsαNsαsα(f) = q(sα)1/2fsα(f)(q(sα)cα1).
For the graded Hecke algebra H(˜
R, k) this is much easier:
˜cα= (α+kα)α1= 1 + kαα1C(t),(1.24)
xsαsαsα(x) = xsα(x)cα1) αF0, x t.
Given a simple root αF0we define elements ı0
sαC(T/W0)Z(H)Hand ˜ısα
C(t/W0)Z(H)Hby
q(sα)cα(1 + ıo
sα) = 1 + q(sα)1/2Nsα,
˜cα(1 + ˜ısα) = 1 + sα.(1.25)
Proposition 1.5.1. The elements ı0
sαand ˜ısαhave the following properties:
(a)The map sα7→ ı0
sα(respectively sα7→ ˜ısα) extends to a group homomorphism
from Wto the multiplicative group of C(T /W )Z(HΓ) HΓ(respectively
C(t/W )Z(H⋊Γ) H Γ).
(b)For wWand fC(T)
=C(T /W )O(T/W )A(respectively ˜
fC(t)) we
have ı0
wfı0
w1=w(f)(respectively ˜ıw˜
f˜ıw1=w(˜
f)).
(c)The maps
C(T)WC(T /W )Z(HΓ) HΓ : fw 7→ fı0
w,
C(t)WC(t/W )Z(H⋊Γ) H Γ : ˜
fw 7→ ˜
f˜ıw
are algebra isomorphisms.
(d)Let PF0and γWbe such that γ(P)F0. The automorphisms ψγfrom
(1.15) satisfy
ψγ(h) = ı0
γ0
γ1h HPor h HP,
ψγ(˜
h) = ˜ıγ˜
h˜ıγ1˜
hHP.
18
Proof. (a), (b) and (c) with W0instead of Wcan be found in [Lus6, Section 5].
Notice that Lusztig calls these elements τwand ˜τw, while we follow the notation of
[Opd2, Section 4]. We extend this to Wby defining, for γΓ and wW0:
ı0
γw := γı0
wand ˜ıγw =γ˜ıw.
For (d) see [Lus6, Section 8] or [Sol5, Lemma 3.2]. 2
We remark that by construction all the ı0
wlie in the subalgebra C(T /T F0)H(W0, q)
Γ and that the ˜ıwlie in the subalgebra C(t/tF0)C[W]. As was noticed in [Opd2,
Theorem 4.6], Proposition 1.5.1 can easily be generalized:
Corollary 1.5.2. Proposition 1.5.1 remains valid under any of the following re-
placements:
C(T)by Cme(U)or, if all the functions cαare invertible on U, by Can(U);
C(t)by Cme(V)or, if all the functions ˜cαare invertible on V, by Can(V).
In particular
Cme(U)WCme(U)WAWHΓ : fw f ıo
w(1.26)
is an isomorphism of topological algebras.
1.6 The relation with reductive p-adic groups
Here we discuss how affine Hecke algebras arise in the representation theory of
reductive p-adic groups. This section is rather sketchy, it mainly serves to provide
some motivation and to prepare for our treatment of the Aubert–Baum–Plymen
conjecture in Section 5.4 The main sources for this section are [BeDe, BeRu, Roc2,
Hei, IwMa, Mor].
Let Fbe a nonarchimedean local field with a finite residue field. Let Gbe a
connected reductive algebraic group defined over Fand let G=G(F) be its group
of F-rational points. One briefly calls Ga reductive p-adic group, even though the
characteristic of Fis allowed to be positive.
An important theme, especially in relation with the arithmetic Langlands pro-
gram, is the study of the category Mod(G) of smooth G-representations on complex
vector spaces. A first step to simplify this problem is the Bernstein decomposition,
which we recall now. Let Pbe a parabolic subgroup of Gand Ma Levi subgroup of
P. Although Gand Mare unimodular, the modular function δPof Pis in general
not constant. Let σbe an irreducible supercuspidal representation of M. In this
situation we call (M, σ a cuspidal pair, and with parabolic induction we construct
the G-representation
IG
P(σ) := IndG
P(δ1/2
Pσ).
This means that first we inflate σto Pand then we apply the normalized smooth
induction functor. The normalization refers to the twist by δ1/2
P, which is useful
19
to preserve unitarity. Let Irr(G) be the collection of irreducible representations in
Mod(G), modulo equivalence. For every πIrr(G) there is a cuspidal pair (M, σ),
uniquely determined up to G-conjugacy, such that πis a subquotient of IG
P(σ).
Let G0be the normal subgroup of Ggenerated by all compact subgroups. Recall
that a character χ:GC×is called unramified if its kernel contains G0. The group
Xur(G) of unramified characters forms a complex algebraic torus whose character
lattice is naturally isomorphic to the lattice X(G) of algebraic characters GF×.
We say that two cuspidal pairs (M, σ ) and (M, σ) are inertially equivalent if there
exist gGand χXur(M) such that
M=gM g1and σχ
=σg.
With an inertial equivalence class s= [M, σ]Gone associates a full subcategory
Mods(G) of Mod(G). It objects are by definition those smooth representations π
with the property that for every irreducible subquotient ρof πthere is a (M, σ)
ssuch that ρis a subrepresentation of IG
P(σ). The collection B(G) of inertial
equivalence classes is countably infinite (unless G={1}).
The Bernstein decomposition [BeDe, Proposition 2.10] states that
Mod(G) = YsB(G)Mods(G),(1.27)
a direct product of categories. The subcategories Mods(G) (or rather their subsets of
irreducible representations) are also called the Bernstein components of the smooth
dual of G.
The Hecke algebra H(G) is the vector space of locally constant, compactly sup-
ported functions on G, endowed with the convolution product. Mod(G) is naturally
equivalent to the category Mod(H(G)) of essential H(G)-modules. (A module Vis
called essential if H(G)V=V, which is not automatic because H(G) does not have
a unit.) Corresponding to (1.27) there is a decomposition
H(G) = MsB(G)H(G)s
of the Hecke algebra of Ginto two-sided ideals. In several cases H(G)sis known to
be Morita-equivalent to an affine Hecke algebra.
In the classical case [IwMa, Bor] Gis split and Mods(G) is the category of
Iwahori-spherical representations. That is, those smooth G-representations Vthat
are generated by VI, where Iis an Iwahori-subgroup of G. Then H(G)sis Morita
equivalent to the algebra H(G, I) of I-biinvariant functions in H(G), and H(G, I) is
isomorphic to an affine Hecke algebra H(R, q). The root datum R= (X, R0, Y , R
0, F0)
is dual to the root datum of (G,T), where T(F) is a split maximal torus of G=G(F).
More explicitly
Xis the cocharacter lattice of T;
Yis the character lattice of T;
R
0is the root system of (G,T);
20
R0is the set coroots of (G,T);
F0and F
0are determined by I;
qis the cardinality of the residue field of F.
For a general inertial equivalence class s= [M, σ]Git is expected that H(G)sis
Morita equivalent to an affine Hecke algebra or to a closely related kind of algebra.
We discuss some ingredients of this conjectural relation between the representation
theory of reductive p-adic groups and that of affine Hecke algebras.
Let σ0be an irreducible subrepresentation of σM0and define Σ = indM
M0(σ0).
According to [BeRu, Theorem 23] IG
P(Σ) is a finitely generated projective generator
of the category Mods(G). By [BeRu, Lemma 22] Mods(G) = Mod(H(G)s) is natu-
rally equivalent to the category of right EndG(IG
P(Σ))-modules. So if EndG(IG
P(Σ))
would be isomorphic to its opposite algebra (which is likely), then it is Morita equiv-
alent to H(G)s.
Let us describe the center of EndG(IG
P(Σ)). The map
Xur(M)Irr[M,σ]M(M) : χ7→ χσ
is surjective and its fibers are cosets of a nite subgroup Stab(σ)Xur (M). Let
Mσ:= \χStab(σ)ker(χ)M.
Roche [Roc2, Proposition 5.3] showed that EndM(Σ) is a free O(Xur(Mσ))-module
of rank m2, where mis the multiplicity of σ0in σM0. Moreover the center of
EndM(Σ) is isomorphic to O(Xur (Mσ)), and EndM(Σ) embeds in EndG(IG
P(Σ)) by
functoriality. The group
NG(M, σ) := {gG:gM g1=M , σg
=χσfor some χXur(M)}
acts on the family of representations {IG
P(χΣ) : χXur(M)}, and via this on
Xur(Mσ). The subgroup MNG(M , σ) acts trivially, so we get an action of the
finite group
Wσ:= NG(M, σ)/M.
According to [BeDe, Th´eor`eme 2.13], the center of EndG(IG
P(Σ)) is isomorphic to
O(Xur(Mσ))Wσ=O(Xur(Mσ)/Wσ). By [Roc2, Lemma 7.3] EndG(IG
P(Σ)) is a free
EndM(Σ)-module of rank |Wσ|.
Next we indicate how to associate a root datum to EndG(IG
P(Σ)). See [Hei,
Section 6] for more details in the case of classical groups. Let Abe the maximal
split torus of Z(M), let X(A) be its character lattice and X(A) its cocharacter
lattice. There are natural isomorphisms
Xur(M)
=X(A)ZC×
=Hom(X(A),C×).
In X(A) we have the root system R(G, A) and in X(A) we have the set R(G, A)
of coroots of (G, A). The parabolic subgroup Pdetermines positive systems R(P, A)
and R(P, A). Altogether we constructed a (nonreduced) based root datum
RM:= X(A), R(G, A), X(A), R(G, A), R(P, A),
21
from which one can of course deduce a reduced based root datum.
Yet RMis not good enough, it does not take σinto account. Put
Xσ:= Hom(Xur(Mσ),C×)
=Hom(Xur(MσA),C×)X(A),
Yσ:= Hom(Xσ,Z)
=X(MσA)X(A).
Assume for simplicity that σM0is multiplicity free, or equivalently that EndM(Σ) =
O(Xur(Mσ)). Then the above says that EndG(IG
P(Σ)) is a free module of rank |Wσ|
over C[Xσ]. We want to associate a root system to Wσ. In general Wσdoes not
contain W(G, A) = NG(M)/M, so we have to replace R(G, A) by
Rσ,nr := {αR(G, A) : sαWσ},
and R(G, A) by R
σ,nr. Let R
σbe the reduced root system of R
σ,nr and Rσthe
dual root system, which consists of the non-multipliable roots in Rσ,nr. Let Fσbe
the unique basis of Rσcontained in R(P, A). Then W(Rσ) is a normal subgroup of
Wσand
Wσ
=W(Rσ)Γσwhere Γσ={wWσ:w(Fσ) = Fσ}.
As σis not explicit, it is difficult to say which diagram automorphism groups Γσ
can occur here. A priori there does not seem to be any particular restriction.
All this suggests that, if EndG(IG
P(Σ)) is isomorphic to some affine Hecke algebra,
then to
HσΓσ:= H(Xσ, R
σ, Yσ, Rσ, F
σ, qσ)Γσ.(1.28)
In fact it also possible that the Γσ-action is twisted by a cocycle [Mor, Section 7],
but we ignore this subtlety here. We note that little would change upon replacing
Gby a disconnected group, that would only lead to a larger group of diagram
automorphisms.
We note that this description of EndG(IG
P(Σ)) is compatible with parabolic in-
duction. Every parabolic subgroup QGcontaining Pgives rise to a subalgebra
EndQ(IQ
P(Σ)) EndG(IG
P(Σ)),
which via (1.28) and
RQ
σ,nr =R(Q, A)R(P, A) = Rσ,nr
corresponds to a parabolic subalgebra HQ
σΓσ,Q HσΓσ.
By analogy with the Iwahori case the numbers qσ(w) are related to the affine
Coxeter complex of X(A)W(R(G, A)). After fixing a fundamental chamber C0,
every wX(A)Wσdetermines a chamber w(C0). This affine Coxeter complex
can be regarded as a subset of the Bruhat–Tits building of G, so C0has a stabilizer
KG. In view of [Mor, Section 6], a good candidate for qσ(w) is [KwK :K]. In
particular, for a simple reflection sαW(R
σ) this works out to qσ(sα) = qdα, where
qis cardinality of the residue field of Fand dαis the dimension of the α-weight space
in the A-representation Lie(G). Hence qσis a positive parameter function and, if A
22
is not a split maximal torus of G,qσtends to be non-constant on the set of simple
reflections.
As said before, most of the above is conjectural. The problem is that in general
it is not known whether one can construct elements Nw(wWσ) that satisfy the
multiplication rules of an extended affine Hecke algebra. To that end one has to
study the intertwining operator between parabolically induced representations very
carefully.
Let us list the cases in which it is proven that EndG(IG
P(Σ)) is isomorphic to an
(extended) affine Hecke algebra:
Gsplit, sthe Iwahori-spherical component [IwMa, Bor];
G=GLn(F)sarbitrary - from the work of Bushnell and Kutzko on types
[BuKu1, BuKu2, BuKu3];
G=SLn, many s[GoRo] (for general sthe Hecke algebra is known to have a
closely related shape);
G=SOn(F), G =Spn(F) or Gan inner form of GLn,sarbitrary [Hei];
G=GSp4(F) or G=U(2,1),sarbitrary [Moy1, Moy2];
Gclassical, certain s[Kim1, Kim2, Blo];
Gsplit (with mild restrictions on the residual characteristic), sin the principal
series [Roc1];
Garbitrary, σinduced from a level 0 cuspidal representation of a parahoric
subgroup of G[Mor, MoPr, Lus7];
Of course there is a lot of overlap in this list. For GLn, SLn, GSP4and U(2,1)
the above references do much more, they classify the smooth dual of G. In the
level 0 case, Morris [Mor] showed that the parameters qαare the same as those
for analogous Hecke algebras of finite Chevalley groups. Those parameters were
determined explicitly in [Lus1], and often they are not equal on an all simple roots.
Apart from this list, there are many inertial equivalence classes sfor which
EndG(IG
P(Σ)) is Morita-equivalent a commutative algebra. This is the case for super-
cuspidal G-representations σsuch that σG0is multiplicity-free, and more generally
it tends to happen when Rσis empty.
23
Chapter 2
Classification of irreducible
representations
This chapter leads to the main result of the paper (Theorem 2.3.1). We decided to
call it an affine Springer correspondence, by analogy with the classical Springer corre-
spondence. Together with Kazhdan–Lusztig-theory, the classical version parametrizes
the irreducible representations of a finite Weyl group with certain representations
of an affine Hecke algebra with equal parameters. This correspondence is known
to remain valid for affine or graded Hecke algebras with certain specific unequal
parameters [Ciu].
We construct a natural map from irreducible H-representations to representa-
tions of the extended affine Weyl group We. Not all representations in the image
are irreducible, but the image does form a Q-basis of the representation ring of We.
The proof proceeds by reduction to a result that the author previously obtained
for graded Hecke algebras [Sol6]. To carry out this reduction, we need variations
on three well-known results in representation theory of Hecke algebras. The first
two are due Lusztig and allow one to descend from affine Hecke algebras to graded
Hecke algebras. We adjust these results to make them more suitable for affine Hecke
algebras with arbitrary positive parameters.
Thirdly there is the Langlands classification (Theorem 2.2.4), which comes from
reductive groups and reduces the classification of irreducible representations to that
of irreducible tempered ones. For affine Hecke algebras it did not appear in the
literature before, although it was of course known to experts. Because we want to
include diagram automorphisms in our affine Hecke algebras, we need a more refined
version of the Langlands classification (Corollary 2.2.5). It turns out that one has
to add an extra ingredient to the Langlands parameters, and that the unicity claim
has to be changed accordingly.
However, these results do not suffice to complete the proof of Theorem 2.3.1 for
nontempered representations, that will be done in the next chapter.
24
2.1 Two reduction theorems
The study of irreducible representations of HΓ is simplified by two reduction
theorems, which are essentially due to Lusztig [Lus6]. The first one reduces to the
case of modules whose central character is positive on the lattice ZR1. The second
one relates these to modules of an associated graded Hecke algebra.
Given tTand αR0, [Lus6, Lemma 3.15] tells us that
sα(t) = tif and only if α(t) = 1 if α/2Y
±1 if α2Y. (2.1)
We define Rt:= {αR0:sα(t) = t}. The collection of long roots in Rt,nr is
{βR1:β(t) = 1}. Let Ftbe the unique basis of Rtthat is contained in R+
0. Then
W
Ft,t := {wW0Γ : w(t) = t, w(Ft) = Ft}
is a group of automorphisms of the Dynkin diagram of (Rt, Ft). Moreover the
isotropy group of tin W0Γ is
W
t= (W0Γ)t=W(Rt)W
Ft,t.
We can define a parameter function qtfor the based root datum
Rt:= (X, Rt, Y, R
t, Ft)
via restriction from R
nr to R
t,nr.
Since Ftdoes not have to be a subset of F0,Rtdoes not always fit in the setting
of Subsection 1.4, but this can be fixed without many problems. For uTun we
define
P(u) := F0QRu.
Then RP(u)is a parabolic root subsystem of R0that contains Ruas a subsystem of
full rank. Although this definition would also make sense for general elements of T,
we use it only for Tun, to avoid a clash with the notation of [Opd2, Section 4.1]. We
note that the lattice
ZP(u) = ZR0QRu
can be strictly larger than ZRu.
To study H-representations with central character Wuc we need a well-chosen
neighborhood of uc TunTrs.
Condition 2.1.1. Let Btbe such that
(a)Bis an open ball centred around 0t;
(b)(α(b)) < π for all αR0, b B;
(c) exp : Bexp(B)is a diffeomorphism (this follows from (b) if R0spans a);
(d)if cα(t) {0,∞} for some αR0, t uc exp B, then cα(uc) {0,∞};
25
(e)if wWand w(uc exp B)uc exp B6=, then w(uc) = uc.
Since Wacts isometrically on t, (a) implies that Bis W-invariant. There
always exist balls satisfiying these conditions, and if we have one such B, then ǫB
with ǫ(0,1] also works.
We will phrase our rst reduction theorem in such a way that it depends mainly
on the unitary part of the central character, it will decompose a representation in
subspaces corresponding to the points of the orbit Wu. We note that Ruc Ru
and W
uc W
u. Given Bsatisfying the above conditions, we define
U=Wuc exp(B), UP(u)=W
ZP(u)uc exp(B) and Uu=W
uuc exp(B).
We are interested in the algebras H(R, q)an(U)Γ,H(RP(u), qP(u))an(UP(u))W
P(u)
and H(Ru, qu)an(Uu)W
Fu,u. Their respective centers
Can(U)W, Can(UP(u))W
ZP(u)and Can(Uu)W
u
are naturally isomorphic, via the embeddings UuUP(u)U. For any subset
Wuc we define 1Can(U) by
1(t) = 1 if texp(B)
0 if tU\exp(B).
Theorem 2.1.2. (First reduction theorem)
(a)There are natural isomorphisms of Can(U)W-algebras
H(RP(u), qP(u))an(UP(u))W
P(u)
=1W
ZP(u)uc(Han(U)Γ) 1W
ZP(u)uc,
H(Ru, qu)an(Uu)W
Fu,u
=1W
uuc(Han(U)Γ) 1W
uuc.
(b)These can be extended (not naturally) to isomorphisms of Can(U)W-algebras
Han(U)Γ
=M[W:W
ZP(u)]1W
ZP(u)uc(Han(U)Γ) 1W
ZP(u)uc,
Han(U)Γ
=M[W:W
u]1W
uuc(Han(U)Γ) 1W
uuc,
where Mn(A)denotes the algebra of n×n-matrices with coefficients in an alge-
bra A.
(c)The following maps are natural equivalences of categories:
Modf, U (H(R, q)Γ) Modf,UP(u)(HP(u)W
P(u))Modf,Uu(H(Ru, qu)W
Fu,u)
V7→ 1W
ZP(u)ucV7→ 1W
uucV
IndHΓ
H(Ru,qu)W
Fu,u (π)
7→
IndHP(u)W
P(u)
H(Ru,qu)W
Fu,u (π)
7→
π
Proof. (a) This is a variation on [Opd2, Theorem 4.10], which itself varied on
[Lus6, Theorem 8.6]. Compared to Lusztig we replaced his Ruc by a larger root
system, we added the group Γ and we localized with analytic functions instead of
formal completions at one central character. The first change is innocent since Ru
26
and RP(u)are actually easier than Lusztig’s Ruc. By [Lus6, Lemma 8.13.b] Lusztig’s
version of the isomorphisms (a) sends γΓ() to 1ı0
γ1. Translated to our setting
this means that we can include the appropriate diagram automorphisms by defining
W
P(u)γ7→ 1W
ZP(u)uc ı0
γ1W
ZP(u)uc,
W
Fu,u γ7→ 1W
uuc ı0
γ1W
uuc.(2.2)
Finally, that Lusztig’s arguments also apply with analytic localization was already
checked by Opdam [Opd2, Section 4.1].
(b) Knowing (a), this can proved just as in [Lus6, 4.16].
(c) By [Opd2, Proposition 4.3] the categories in the statement are of the categories
of finite dimensional modules of the algebras figuring in (a) and (b). Therefore the
maps in (c) are just the standard equivalences between the module categories of B
and Mn(B), translated with (a) and (b). 2
Remark 2.1.3. This reduction theorem more or less forces one to consider diagram
automorphisms: the groups W
ZP(u)and W
Fu,u can be nontrivial even if Γ = {id}.
The notation with induction functors in part (c) is a little sloppy, since W
Fu,u
need not be contained in Γor in W
ZP(u). In such cases these induction functors are
defined via part (a).
The first reduction theorem also enables us to make sense of IndHΓ
H(RP,qP)Γ
Pfor
any PF0and any subgroup Γ
PW
P. Namely, first induce from H(RP, qP)Γ
P
to H(RP, qP)W
ZP, then choose uTun such that P(u) = Pand finally use (c).
By (2.1) we have α(u) = 1 for all αR1QRt, so α(t) = α(u)α(c)>0 for
such roots. By definition uis fixed by W
u, so Theorem 2.1.2 allows us to restrict
our attention to HΓ-modules whose central character is positive on the sublattice
ZR1X.
We define a parameter function kufor the degenerate root datum ˜
Ruby
ku,α =0 if α(u)26= 1
log q(sα) + α(u) log q(tαsα)/2 if α(u)2= 1.(2.3)
We note that ku,α = 0 if sαdoes not x u. Indeed, by (2.1) sα(t)6=timplies that
either α(u)26= 1 or that α(u) = 1 and αR0R1. But in the latter case sαand
tαsαare conjugate in We, so q(sα) = q(tαsα) and log q(sα) + α(u) log q(tαsα) = 0.
We will see in (4.4) that for this choice of kuthe function ˜cαcan be regarded as the
first order approximation of q(sα)cαin a neighborhood of q= 1 and uT.
Now we pick uTW
un , so α(u) = ±1 for all αR0. Then the map
expu:tT, λ 7→ uexp(λ) (2.4)
is W-equivariant. To find a relation between H(R, q)Γ and H(˜
Ru, ku)Γ, we
first extend these algebras with analytic localization. For every open nonempty
W-invariant Vtwe can define an algebra homomorphism
Φu:Hme(expu(V)) ΓH(˜
Ru, ku)me(V)Γ,
fı0
w7→ (fexpu)˜ıw.(2.5)
27
Theorem 2.1.4. (Second reduction theorem)
Let Vbe as above, such that expu:Vexpu(V)is bijective.
(a)The map expuinduces an isomorphism Can(expu(V))WCan (V)W.
(b)Suppose that every λVsatisfies
hα , λi,hα , λi+ku,α /2πiZ\ {0}for αR0R1,
hα , λi,hα , λi+ku,α /πiZ\ {0}for αR0\R1.(2.6)
Then Φurestricts to an isomorphism of Can(U)W-algebras
Φu:Han(expu(V)) ΓH(˜
Ru, ku)an(V)Γ.
Proof. (a) This is clear, it serves mainly to formulate (b).
(b) The case Γ = {id}is essentially [Lus6, Theorem 9.3]. The difference is that our
conditions on λreplace the conditions [Lus6, 9.1]. The general case follows easily
under the assumption that Γ xes u. 2
Given ttwe denote by Modf,t(H(˜
R, k)Γ) the category of finite dimensional
H(˜
R, k)Γ-modules all whose O(t)-weights lie in t.
Corollary 2.1.5. For uc TunTrs the following categories are equivalent:
(a) Modf,W uc (H(R, q)Γ) and Modf,(W(Ru)W
Fu,u) log(c)(H(˜
Ru, ku)W
Fu,u),
(b) Modf,W uTr s (H(R, q)Γ) and Modf ,a(H(˜
Ru, ku)W
Fu,u).
These equivalences are compatible with parabolic induction.
Proof. (a) follows from Theorems 2.1.2.b and 2.1.4.b. Notice that the conditions
(2.6) are automatically satisfied because qis positive and log(c)a, so ku,α Rand
hα , log(c)i R. If we sum that equivalence over all WcTrs/W , we find (b). By
[BaMo2, Theorem 6.2] or [Sol5, Proposition 5.3.a] these equivalences of categories
are compatible with parabolic induction. 2
2.2 The Langlands classification
In this section we discuss Langlands’ classification of irreducible representations.
Basically it reduces from general representations to tempered ones, and from there
to the discrete series. Actually Langlands proved this only in the setting of real
reductive groups, but it holds just as well for p-adic reductive groups, affine Hecke
algebras and graded Hecke algebras. We will only write the results for affine Hecke
algebras, the graded Hecke algebra case is completely analogous and can be found
in [Eve, KrRa, Sol5].
An important tool to study H-representations is restriction to the commutative
subalgebra A
=O(T). We say that tTis a weight of (π, V ) if there exists a
28
vV\ {0}such that π(a)v=a(t)vfor all a A. It is easy to describe how the
collection of A-weights behave under parabolic induction. Recall that
WP:= {wW0:w(P)R+
0}(2.7)
is the set of minimal length representatives of W0/W (RP).
Lemma 2.2.1. Let Γ
Pbe a subgroup of ΓPand let σbe a representation of HPΓ
P.
The A-weights of IndHΓ
HPΓ
P(σ)are the elements γw(t)T, where γΓ, w WP
and tis an A-weight of σ.
Proof. From [Opd2, Proposition 4.20] and its proof we see that this holds in the
case Γ = Γ
P={id}. For the general case we only have to observe that the operation
π7→ πψ1
γon H-representations has the effect t7→ γ(t) on all A-weights t. 2
Temperedness of a representation is defined via its A-weights. Given PF0,
we have the following positive cones in aand in Trs:
a+={µa:hα , µi 0αF0}, T += exp(a+),
a+
P={µaP:hα , µi 0αP}, T +
P= exp(a+
P),
aP+={µaP:hα , µi 0αF0\P}, T P+= exp(aP+),
aP++ ={µaP:hα , µi>0αF0\P}, T P++ = exp(aP++).
(2.8)
The antidual of a+:= {xa:hx , αi 0αF0}is
a={λa:hx , λi 0xa+}=XαF0
λαα:λα0.(2.9)
Similarly we define
a
P=XαPλααaP:λα0.(2.10)
The interior a−− of aequals PαF0λαα:λα<0if F0spans a, and is empty
otherwise. We write T= exp(a) and T−− = exp(a−−).
Let t=|tt|t|1Trs×Tun be the polar decomposition of t. An H-representation
is called tempered if |t| Tfor all its A-weights t, and anti-tempered if |t|1T
for all such t. For infinite dimensional representations this is not entirely satisfactory,
but we postpone a more detailed discussion to Section 3.2. Since all irreducible H-
representations have finite dimension, this vagueness does not cause any problems.
Notice that our definition mimics Harish-Chandra’s definition of admissible smooth
tempered representations of reductive p-adic groups [Wal, Section III.2]. In that
setting the crucial condition says that all exponents of such a representation must
lie in certain cone.
More restrictively we say that an irreducible H-representation belongs to the
discrete series (or simply: is discrete series) if |t| T−−, for all its A-weights t. In
particular the discrete series is empty if F0does not span a. This is the analogue
of Casselman’s criterium for square integrable representations of semisimple p-adic
groups [Cas, Theorem 4.4.6].
29
The notions tempered and discrete series apply equally well to HΓ, since that
algebra contains Aand the action of Γ on Tpreserves T. It follows more or less
directly from the definitions that the correspondence of Theorem 2.1.4 preserves
temperedness and provides a bijection between discrete series representations with
the appropriate central characters, see [Slo2, (2.11)].
It easy to detect temperedness for H(R,1) Γ = C[XW0Γ] = C[XW].
Lemma 2.2.2. A finite dimensional C[XW]-representation is tempered if and
only if all its A-weights lie in Tun.
This algebra has no discrete series representations, unless X= 0.
Proof. Suppose that Vis a representation of this algebra, and that tTis an
A-weight with weight space Vt. For every gW, gVt=Vg(t)is the g(t)-weight
space of V, which shows that every element of the orbit Wtis an A-weight of V.
But W|t|can only be contained in Tif it equals the single element 1 Trs . Hence
Vcan only be tempered if |t|= 1 for all its weights, or equivalently if all its weights
lie in Tun. By definition the latter condition also suffices for temperedness.
Unless X= 0, the condition |t|= 1 implies |t| 6∈ T−−, so C[XW] has no
discrete series representations. 2
The Langlands classification looks at parabolic subalgebras of Hand irreducible
representations of those that are essentially tempered. We will describe such repre-
sentations with two data: a tempered representation and a ”complementary” part
of the central character. This is justified by the following result.
Lemma 2.2.3. Let PF0, tPTPand tPTP.
(a)The map σ7→ σφtPdefines an equivalence between the categories of HP-
representations with central character W(RP)tPTP/W (RP)and of HP-
representations with central character W(RP)tPtPT /W (RP).
(b)Every irreducible HP-representation is of the form σφtP, where σis an ir-
reducible HP-representation and tPTP. Both these data are unique modulo
twists coming from KP=TPTP, as in (1.19).
Proof. (a) The kernel of φtPfollowed by the quotient map HP HPis generated
(as an ideal) by {θxtP(x) : xX(P)}. If ρis an HP-representation with
central character W(RP)tPtP, then the kernel of ρclearly contains these generators,
so ρfactors via φtPand this quotient map.
(b) Let ρbe an irreducible HP-representation with central character W(RP)t
T /W (RP). Decompose t=tPtPTPTP. Then part (a) yields a unique irreducible
HP-representation σsuch that ρ=σφtP. The only freedom in this constuction
comes from elements uKP. If we replace tPby utP, then part (a) again gives a
unique σwith ρ=σφutP, and its follows directly that σψu=σ. 2
A Langlands datum for His a triple (P, σ, t) such that
PF0and σis an irreducible tempered HP-representation;
30
tTPand |t| TP++.
We say that two Langlands data (P, σ, t) and (P, σ, t) are equivalent if P=Pand
the HP-representations σφtand σφtare equivalent.
Theorem 2.2.4. (Langlands classification)
(a)For every Langlands datum (P, σ, t)the H-representation π(P, σ, t) = IndH
HP(σ
φt)has a unique irreducible quotient L(P, σ, t).
(b)For every irreducible H-representation πthere exists a Langlands datum (P, σ, t),
unique up to equivalence, such that π
=L(P, σ, t).
Proof. The author learned this result from a preliminary version of [DeOp2], but
unfortunately Delorme and Opdam did not include it in the final version. Yet the
proof in the setting of affine Hecke algebras is much easier than for reductive groups.
It is basically the same as the proof of Evens [Eve] for graded Hecke algebras, see
also [KrRa, Section 2.4]. For later use we rephrase some parts of that proof in our
notation.
(a) The dominance ordering on ais defined by
λµif and only if hλ , αi hµ , αifor all αF0.(2.11)
For αF0we define δαaF0by
hβ , δαi=1 if α=β
0 if α6=βF0.
According to Langlands [Lan, Lemma 4.4], for every λathere is a unique subset
F(λ)F0such that λcan be written as
λ=λF0+X
αF0\F(λ)
cαδα+X
αF(λ)
dααwith λF0aF0, cα>0, dα0.(2.12)
We put λ0=PαF0\F(λ)cαδαa+. According to [KrRa, (2.13)]
()0< µ0for all µa
PaP++, w WP\ {1}.(2.13)
By the definition of a Langlands datum log |s| a
PaP++ for every A-weight sof
σφt. Choose ssuch that (log |s|)0is maximal with respect to the dominance order.
By Lemma 2.2.1 and (2.13) (log |s|)0is also maximal for sregarded as an A-weight
of π(P, σ, t).
Suppose that ρis an H-submodule of π(P, σ, t) of which sis an A-weight. By the
maximalty of s,ρmust contain the s-weight space of σφt. The irreduciblity of σ
implies that ρcontains the HP-submodule 1 HPVσIndH
HP(σφt), and therefore
ρ=π(P, σ, t). Thus the sum of all proper submodules is again proper, which means
that π(P, σ, t) has a unique maximal submodule and a unique irreducible quotient.
(b) Let sbe an A-weight of πsuch that (log |s|)0ais maximal and put P=
F(log |s|). Let ρbe the HP-subrepresentation ρof πgenerated by the s-weight
space. Then log |s| a
PaP++ and according to [KrRa, p. 38] (log |s|)0= (log |s|)0
31
for all A-weights sof ρ. By Lemma 2.2.3 we can write every irreducible HP-
subrepresentation of ρas σφt, where σis an irreducible HP-representation and
log |t|= (log |s|)0. The AP-weights of σare of the form st1and by construction
log |st1|= log |s| (log |s|)0a
P,
so σis tempered. The inclusion map σφtπinduces a nonzero H-homomorphism
π(P, σ, t)π. Since πis irreducible, this map is surjective. Together with part (a)
this shows that πis the unique quotient of π(P, σ, t).
The proof that (P, σ φt) is uniquely determined by πis easy, and exactly the same
as in the graded Hecke algebra setting, see [Eve, Theorem 2.1.iii] or [KrRa, Theorem
2.4.b]. 2
Theorem 2.2.4 can be regarded as the analogue of the Langlands classification
for connected reductive p-adic groups. For disconnected reductive groups the clas-
sification is no longer valid as such, it has to be modified. In the case that the
component group is abelian, this is worked out in [BaJa1], via reduction to cyclic
component groups.
We work with a diagram automorphism group Γ which is more general than a
component group and does not have to be abelian. For use in Section 2.3 we have
to extend Theorem 2.2.4 to this setting.
There is a natural action of Γ on Langlands data, by
γ(P, σ, t) = (γ(P), σ ψ1
γ, γ(t)).(2.14)
Every Langlands datum yields a packet of irreducible quotients, and all data in one
Γ-orbit lead to the same packet. For γΓPthe Langlands classification for HP
shows that the irreducible HP-representations σψγφγ(t)and σφtare equivalent
if and only if γ(P, σ, t) = (P, σ, t).
To get a more precise statement one needs Clifford theory, as for example in
[RaRa] or [CuRe, Section 53]. Let ΓP,σ,t be the isotropy group of the Langlands
datum (P, σ, t). In [Sol5, Appendix A] a 2-cocycle κof ΓP,σ,t is constructed, giving
rise to a twisted group algebra CP,σ,t, κ]. We define a Langlands datum for HΓ
as a quadruple (P, σ, t, ρ), where
(P, σ, t) is a Langlands datum for H;
ρis an irreducible representation of CP,σ,t, κ].
The action (2.14) extends naturally to Langlands data for HΓ, since ψ1
γinduces
an isomorphism between the relevant twisted group algebras.
From such a Langlands datum we can construct the HPΓP,σ,t-representation
σρand the HΓ-representation
πΓ(P, σ, t, ρ) := IndHΓ
HPΓP,σ,t (σφt)ρ= IndHΓ
HPΓP,σ,t (σρ)φt.(2.15)
If QP, then (P, σ, t, ρ) can also be considered as a Langlands datum for HQΓQ,
and we denote the corresponding HQΓQ-representation by πQ,ΓQ(P, σ, t, ρ). In
particular πP,ΓP(P, σ, t, ρ) is an irreducible HPΓP-representation.
32
Corollary 2.2.5. (extended Langlands classification)
(a)The HΓ-representation πΓ(P, σ, t, ρ)has a unique irreducible quotient LΓ(P, σ, t, ρ).
(b)For every irreducible HΓ-representation πthere exists a Langlands datum
(P, σ, t, ρ), unique modulo the action of Γ, such that π
=LΓ(P, σ, t, ρ).
(c)LΓ(P, σ, t, ρ)and πΓ(P, σ, t, ρ)are tempered if and only if P=F0and tTF0
un .
Proof. (a) and (b) By [Sol5, Theorem A.1] the HΓ-representation
IndHΓ
HΓP,σ,t (L(P, σ, t)ρ) (2.16)
is irreducible, and every irreducible HΓ-representation is of this form, for a Lang-
lands datum which is unique modulo Γ. By construction (2.16) is a quotient of
π(P, σ, t, ρ). It is the unique irreducible quotient by Theorem 2.2.4.a and because ρ
is irreducible.
(c) If P(F0, then L(P, σ, t, ρ) and πΓ(P, σ, t, ρ) are never tempered. Indeed
|t| 6∈ T, so |rt| 6∈ Tfor any AP-weight rof σ. But the construction of L(P, σ, t)
in the proof of 2.2.4.a is precisely such that the A-weight rt of π(P, σ, t) survives
to the Langlands quotient. Since the group Γ preserves T, its presence does not
affect temperedness.
Now assume that P=F0. Since TF0++ TF0
rs and TTF0
rs ={1}, this repre-
sentation can only be tempered if |t|= 1. In that case σand πΓ(P , σ, t, ρ) have the
same absolute values of A-weights, modulo Γ. But ΓT=T, so the temperedness
of πΓ(P, σ, t, ρ) and LΓ(P, σ, t, ρ) follows from that of σ. 2
For connected reductive p-adic groups the Langlands quotient always appears
with multiplicity one in the standard representation of which it is a quotient. Al-
though not stated explicitly in most sources, that is already part of the proof, see
[Kon] or [Sol4, Theorem 2.15]. This also holds for reductive p-adic groups with a
cyclic component group [BaJa2].
Closer examination of the proof of Theorem 2.2.4 allows us to generalize and im-
prove upon this in our setting. Let W(RP)rσTP/W (RP) be the central character
of σ. Then |rσ| TP,rs = exp(aP), so we can define
ccP(σ) := W(RP) log |rσ| aP/W (RP).(2.17)
Since the inner product on ais W-invariant, the number kccP(σ)kis well-defined.
Lemma 2.2.6. Let (P, σ, t, ρ)and (P, σ, t, ρ)be Langlands data for HΓ.
(a)The functor IndHΓ
HPΓPinduces an isomorphism
HomHPΓP(πP,ΓP(P, σ, t, ρ), πP,ΓP(P, σ, t, ρ))
=
HomHΓ(πΓ(P, σ, t, ρ), πΓ(P, σ, t, ρ)).
These spaces are one-dimensional if (σ, t, ρ)and (σ, t, ρ)are ΓP-conjugate, and
zero otherwise.
33
(b)Suppose that LΓ(Q, τ, s, ν)is a constituent of πΓ(P, σ, t, ρ), but not LΓ(P, σ, t, ρ).
Then PQand kccP(σ)k<kccQ(τ)k.
Proof. (a) We use the notation from (2.12). For any weight sof σφtwe
have log |st1| a
Pand (log |s|)0= (log |t|)F0, where the subscript F0refers to the
decomposition of elements of twith respect to t=tF0tF0. Let sbe a weight of
σφt. By (2.13)
(wlog |s|)0<(log |s|)0= (log |t|)F0wWP\ {id},(2.18)
with respect to the dominance order on a
F0. Since (γλ)0=γ(λ0) for all λaand
γΓ, we get
(γw log |s|)0
<k(log |t|)F0k γΓ, w WP\ {id}.(2.19)
In particular γw(s) with wWPcan only equal the weight sof σφtif w= 1.
Let vsVσρbe a nonzero weight vector. Since πP,ΓP(P, σ, t, ρ) is an irreducible
HPΓP-representation, 1 vs(HΓ) HPΓP ,σ,t Vσρis cyclic for πΓ(P, σ, t, ρ).
Therefore the map
HomHΓ(πΓ(P, σ, t, ρ), πΓ(P, σ, t, ρ)) πΓ(P, σ, t, ρ) : f7→ f(1 vs) (2.20)
is injective. By (2.19) the s-weight space of πΓ(P, σ, t, ρ) is contained in 1 Vσρ.
So f(1 vs)1Vσρand multiplying by HPΓPyields
f(CP]ΓP,σ,t Vσρ)CP]ΓP,σ,t Vσρ.
Thus any fHomHΓ(πΓ(P, σ, t, ρ), πΓ(P, σ, t, ρ)) lies in
IndHΓ
HPΓPHomHPΓP(πP,ΓP(P, σ, t, ρ), πP,ΓP(P, σ, t, ρ)).(2.21)
From (2.20) we see that this induction functor is injective on homomorphisms. The
modules in (2.21) are irreducible, so the dimension of (2.21) is zero or one. By
Corollary 2.2.5.b it is nonzero if and only if (σ, t, ρ) and (σ, t, ρ) are ΓP-conjugate.
(b) The proofs of Theorem 2.2.4.a and Corollary 2.2.5.a show that LΓ(P, σ, t, ρ)
is the unique irreducible subquotient of πΓ(P, σ, t, ρ) which has an A-weight tL
with (log |tL|)0= (log |t|)F0. Moreover of all A-weights sof proper submodules
of πΓ(P, σ, t, ρ) satisfy (log |s|)0<(log |t|)F0, with the notation of (2.12). In partic-
ular, for the subquotient LΓ(Q, τ, s, ν ) of πΓ(P, σ, t, ρ) we find that
(log |s|)F0= (log |s|)0<(log |t|)F0.
Since log |s| aQ++ and log |t| aP++, this implies PQand
k(log |s|)F0k<k(log |t|)F0k.(2.22)
According to Lemma 2.2.1 all constituents of πΓ(P, σ, t, ρ) have central character
W(rσt)T /W . The same goes for (Q, τ , s, ν), so rσtand rτslie in the same
W0Γ-orbit. Thus also
W(log |rσt|)F0=W(log |rτs|)F0.
34
By definition (log |t|)F0tPand (log |s|)F0tQ, so
kℜ(ccP(σ))k2+k(log |t|)F0k2=k(log |rσt|)F0k2
=k(log |rτs|)F0k2=kℜ(ccQ(τ))k2+k(log |s|)F0k2.(2.23)
Finally we use (2.22). 2
2.3 An affine Springer correspondence
Given an algebra or group A, let Irr(A) be the collection of (equivalence classes
of) irreducible complex A-representations. Let GZ(A) = GZ(Modf(A)) denote the
Grothendieck group of finite length complex representations of A, and write GF(A) =
GZ(A)ZFfor any field F.
The classical Springer correspondence [Spr] realizes all irreducible representation
of a finite reflection group W0in the top cohomology of the associated flag variety.
Kazhdan–Lusztig theory (see [KaLu2, Xi]) allows one to interpret this as a bijection
between Irr(W0) and a certain collection of irreducible representations of an affine
Hecke algebra with equal parameters. As such, the finite Springer correspondence
is a specialisation of an affine Springer correspondence between Irr(We) and Irr(H),
see [Lus5, Section 8] and [Ree2, Theorem 2]. We will extend this result all extended
affine Hecke algebras with unequal (but positive) parameters.
For any H Γ-representation π, let πW0Γ=πWbe the restriction of πto
the subalgebra C[W] = C[W0Γ] H Γ. Let Irr0(H Γ) be the collection of
(equivalence classes of) irreducible tempered H Γ-representations with real central
character. In [Sol6, Theorem 6.5.c] the author proved that the set
{πW0Γ:πIrr0(H Γ)}(2.24)
is a Q-basis of GQ(W0Γ). When Γ is trivial, this is a kind of Springer corre-
spondence for nite Weyl groups. The only problem is that πW0may be reducible,
but that could be solved (a priori not naturally) by picking a suitable irreducible
subrepresentation of πW0.
In fact it is known from [Ciu, Corollary 3.6] that in many cases the matrix
that expresses (2.24) in terms of irreducible W0Γ-representations is unipotent and
upper triangular (with respect to a suitable ordering). That would provide a natural
Springer correspondence, but unfortunately that improvement is still open in our
generality.
Theorem 2.3.1. There exists a unique system of maps
Spr : Irr(HΓ) Modf(X(W0Γ)),
for all extended affine Hecke algebras HΓ, such that:
(a)The image of Spr is a Q-basis of GQ(X(W0Γ)).
35
(b) Spr preserves the unitary part of the central character.
(c) Spr(π)is tempered if and only if πis tempered.
(d)Let uTun, let ˜πIrr0(H(˜
Ru, ku)W
Fu,u)and let ˜πΦube the H(Ru, qu)
W
Fu,u-representation associated to it via Theorem 2.1.4.b. Then
SprIndHΓ
H(Ru,qu)W
Fu,u πΦu)= IndXW
XW
uCu˜πW
u,
where Cudenotes the one-dimensional X-representation with character u.
(e)If (P, σ, t, ρ)is a Langlands datum for HΓ, then
Spr(LΓ(P, σ, t, ρ)) = IndX(W0Γ)
X(W(RP)ΓP,σ,t)(Spr(σρ)φt).
Proof. In view of Corollary 2.1.5, properties (b) and (d) determine Spr uniquely
for all irreducible tempered representations. A glance at Lemma 2.2.2 shows that
Spr preserves temperedness.
Next Corollary 2.2.5.b and property (e) determine Spr for all irreducible repre-
sentations. By Corollary 2.2.5 every nontempered irreducible HΓ-representation
πis of the form L(P, σ, t, ρ) for some Langlands datum with t6∈ Tun. By construc-
tion all A-weights of Spr(σρ) lie in Tun, so by property (e) the absolute values of
A-weights of Spr(π) lie in W|t|. Together with Lemma 2.2.2 this shows that Spr(π)
is not tempered.
Now we have (b)–(e), let us turn to (a). By Corollary 2.1.5 and the result
mentioned in (2.24), (a) holds if we restrict to tempered representations on both
sides. The proof that this restriction is unnecessary is more difficult, we postpone
it to Section 3.4.
Remark 2.3.2. We will see in Corollary 4.4.3 that on tempered representations Spr
is given by composition with an algebra homomorphism between suitable completions
of C[X(W0Γ)] and HΓ. That is not possible for all irreducible represen-
tations, since sometimes Spr does not preserve the dimensions of representations.
This happens if and only if π(P, σ, t, ρ)6=L(P, σ, t, ρ)in (e).
In view of Lemma 2.2.6.c it is possible to replace (e) by the condition (e’) :
Spr(πΓ(P, σ, t, ρ)) = IndX(W0Γ)
X(W(RP)ΓP,σ,t)(Spr(σρ)φt).
The resulting map
Spr:GZ(HΓ) GZ(X(W0Γ))
commutes with parabolic induction, but it sends some irreducible HΓ-representations
to virtual WeΓ-representations.
Of course there also exists a version of Theorem 2.3.1 for graded Hecke algebras. It
can easily be deduced from the above using Theorem 2.1.4.b.
36
Chapter 3
Parabolically induced
representations
Parabolic induction is a standard tool to create a large supply of interesting rep-
resentations of reductive groups, Hecke algebras and related objects. In line with
Harish-Chandra’s philosophy of the cusp form, every irreducible tempered represen-
tation of an affine Hecke algebra can be obtained via unitary induction of a discrete
series representation of a parabolic subalgebra. With the Langlands classification
we can also reach irreducible representations that are not tempered.
Hence we consider induction data ξ= (P, δ, t), where δis a discrete series rep-
resentation of HPand tTPis an induction parameter. With this we associate a
representation π(ξ) = IndH
HP(δφt). Among these are the principal series represen-
tations, which already exhaust the dual space of H. But that is not very satisfactory,
since a principal series representation can have many irreducible subquotients, and
it is not so easy to determine them, see [Ree1].
Instead we are mostly interested in induction data ξfor which |t|is positive (in
an appropriate sense) and in irreducible quotients of π(ξ), because the Langlands
classification applies to these. In Theorem 3.3.2 we construct, for every irreducible
H-representation π, an essentially unique induction datum ξ+(ρ), such that ρis a
quotient of π(ξ+(ρ)). However, in general π(ξ+(ρ)) has more than one irreducible
quotient.
Another important theme in this chapter are intertwining operators between
induced representations of the form π(ξ). Their definition and most important
properties stem from the work of Opdam and Delorme [Opd2, DeOp1]. Like in the
setting of reductive groups, it is already nontrivial to show that normalized inter-
twining operators are regular on unitary induced representations. Under favorable
circumstances such intertwining operators span HomH(π(ξ), π(ξ)). This was al-
ready known [DeOp1] for unitary induction data ξ, ξ , in which case π(ξ) and π(ξ)
are tempered representations. We generalize this to pairs of positive induction data
(Theorem 3.3.1). Crucial in all these considerations is the Schwartz algebra Sof H,
the analogue of the Harish-Chandra–Schwartz algebra of a reductive p-adic group.
For the geometry of the dual space of Hit is important to understand the number
n(ξ) of irreducible H-representations ρwith ξ+(ρ) equivalent to ξ. This is governed
37
by a groupoid Gthat keeps track of all intertwining operators. Indeed, if t7→ ξtis a
continuous path of induction data such that all ξthave the same isotropy group in
G, then n(ξt) is constant along this path (Proposition 3.4.1).
From this we deduce that the dual of His a kind of complexification of the
tempered dual of H. As a topological space, the tempered dual is built from certain
algebraic subvarieties of compact tori, each with a multiplicity. In this picture the
dual of His built from the corresponding complex subvarieties of complex algebraic
tori, with the same multiplicities. This geometric description is used to finish the
proof of the affine Springer correspondence from Section 2.3.
3.1 Unitary representations and intertwining operators
Like for Lie groups, the classification of the unitary dual of an affine Hecke algebra
appears to be considerably more difficult than the classification of the full dual or of
the tempered dual. This is an open problem that we will not discuss in this paper,
cf. [BaMo2, BaCi]. Nevertheless we will use unitarity arguments, mainly to show
that certain representations are completely reducible. The algebra HΓ is endowed
with a sesquilinear involution * and a trace τ, defined by
(zNwγ)= ¯zγ1Nw1zC, w We, γ Γ,
τ(zNwγ) = zif γ=w=e,
0 otherwise.(3.1)
Since qis real-valued, this * is anti-multiplicative and τis positive. These give rise
to an Hermitian inner product on HΓ:
hh , hiτ=τ(hh)h, h H Γ.(3.2)
A short calculation using the multiplication rules 1.4 shows that the basis {Nwγ:
wWe, γ Γ}of HΓ is orthonormal for this inner product.
We note that Γ acts on Hby *-automorphisms, and that H,H(W0, q) and C[Γ]
are *-subalgebras of HΓ. In general Ais not a *-subalgebra of H. For xX
[Opd2, Proposition 1.12] tells us that
θ
x=Nw0θw0(x)N1
w0,(3.3)
where w0is the longest element of the Coxeter group W0.
Let Γ
Pbe a subgroup of ΓPand let τbe a HPΓ
P-representation on an inner
product space Vτ. By default we will endow the vector space
HΓHPΓ
PVτ
=CWP]C
P]Vτ
with the inner product
hhv , hvi=τ(hh)hv , vih, hCWP], v, vVτ.(3.4)
Recall that a representation πof HΓ on a Hilbert space is unitary if π(h) = π(h)
for all h H Γ. In particular, such representations are completely reducible.
38
Lemma 3.1.1. Let Γ
Pbe a subgroup of ΓP, let σbe a finite dimensional HPΓ
P-
representation and let tTP.
(a)If σis unitary and tTP
un, then IndHΓ
HPΓ
P(σφt)is unitary with respect to the
inner product (3.4).
(b) IndHΓ
HPΓ
P(σφt)is (anti-)tempered if and only if σis (anti-)tempered and
tTP
un.
Proof. Since Γ acts by *-algebra automorphisms and Γ ·T=T, it does not
disturb the properties unitarity and temperedness. Hence it suffices to prove the
lemma in the case Γ = Γ
P={id}. Then (a) and the ”if”-part of (b) are [Opd2,
Propositions 4.19 and 4.20].
For the ”only if”-part of (b), suppose that tTP\TP
u. Since X(P)is
of finite index in XP=X/(XQP), there exists xX(P)with |t(x)| 6= 1.
Possibly replacing xby x, we may assume that |t(x)|>1. But δ(φt(θx))(v) = x(t)v
for all vVδand xZ(XWP), so the HP-representation δφtis not tempered.
Hence its induction to Hcannot be tempered. Similarly, if σis not tempered, then
the restriction of σφtto H(XQP, RP, Y /Y P, R
P, P, qP) is not tempered.
The same proof works in the anti-tempered case, we only have to replace |t(x)|>
1 by |t(x)|<1.2
Remark. It is possible that IndHΓ
HPΓ
P(σφt) is unitary with respect to some inner
product other than (3.4), if the conditions of part (a) are not met.
We intend to partition Irr(HΓ) into finite packets, each of which is obtained
by inducing a discrete series representation of a parabolic subalgebra of H. Thus
our induction data are triples (P, δ, t), where
PF0;
(δ, Vδ) is a discrete series representation of HP;
tTP.
Let Ξ be the space of such induction data, where we regard δonly modulo equivalence
of HP-representations. We say that ξ= (P, δ, t) is unitary if tTP
un, and we denote
the space of unitary induction data by Ξun. Similarly we say that ξis positive if
|t| TP+, which we write as ξΞ+. Notice that, in contrast to Langlands data,
we do not require |t|to be strictly positive. We have three collections of induction
data:
Ξun Ξ+Ξ.(3.5)
By default we endow these spaces with the topology for which Pand δare discrete
variables and TPcarries its natural analytic topology. We will realize every irre-
ducible HΓ-representation as a quotient of a well-chosen induced representation
πΓ(ξ) := IndHΓ
Hπ(P, δ, t) = IndHΓ
HP(δφt).
39
We note that for all sTW0Γ:
πΓ(P, δ, ts) = πΓ(P, δ, t)φs.(3.6)
As vector space underlying πΓ(ξ) we will always take CWP]Vδ. This space does
not depend on t, which will allow us to speak of maps that are continuous, smooth,
polynomial or even rational in the parameter tTP.
The discrete series representations of affine Hecke algebras with irreducible root
data were classified in [OpSo2]. Here we recall only how their central characters can
be determined, which is related to the singularities of the elements ı0
s. Consider the
W0Γ-invariant rational function
η=YαR0
c1
αC(T),
where cαis as in (1.23). Notice that ηdepends on the parameter function q, or
more precisely on q1/2. A coset Lof a subtorus of Tis said to be residual if the
pole order of ηalong Lequals dimC(T)dimC(L), see [Opd4]. A residual coset
of dimension 0 is also called a residual point. Such points can exist only if Ris
semisimple, otherwise all residual cosets have dimension at least rank Z(We)>0.
According to [Opd2, Lemma 3.31] the collection of central characters of discrete
series representations of H(R, q) is exactly the set of W0-orbits of residual points
for (R, q). Moreover, if δis a discrete series representation of HPwith central
character W(RP)r, then rT Pis a residual coset for (R, q) [Opd2, Proposition 7.4].
Up to multiplication by an element of W0, every residual coset is of this form [Opd2,
Proposition 7.3.v].
The map that assigns to ξΞ the central character of π(ξ)Modf(H(R, q)) is
an algebraic morphism Ξ T/W0. The above implies that the image of
{(P, δ, t)Ξ : |F0\P|=d}(3.7)
is the union of the d-dimensional residual cosets, modulo W0.
Let δbe the unique onedimensional representation of H=Cand consider
M(t) := πΓ(, δ, t) = IndHΓ
A(δφt)
=IndHΓ
O(T)Ct, t T.
The family consisting of these representations is called the principal series of HΓ
and is of considerable interest. For example, by Frobenius reciprocity every irre-
ducible HΓ-representation is a quotient of some principal series representation.
Lemma 3.1.2. Suppose that h H Γand that M(t, h) = 0 for all tin some
Zariski-dense subset of T. Then h= 0.
Proof. Since M(t, h)EndC(CW0]) depends algebraically on t, it is zero for
all tT. Write h=PγwΓW0aγ w Nγw with aγw A and suppose that h6= 0.
Then we can find wW0that aγw6= 0 for some γΓ, and such that (w) is
maximal for this property. From Theorem 1.2.1.d we see that
M(t, h)(Ne) = X
γwΓW0
bγw Nγw
40
for some bγw with bγw=aγw6= 0. Therefore M(t, h) is not identically zero. This
contradiction shows that the assumption h6= 0 is untenable. 2
By [Opd2, Corollary 2.23] discrete series representations are unitary. (Although
Opdam only worked in the setting Γ = {id}, his proof also applies with general Γ.)
From this and Lemma 3.1.1 we observe:
Corollary 3.1.3. Let ξ= (P, δ, t)Ξ. If tTP
un, then πΓ(ξ)is unitary and
tempered. If tTP\TP
un, then πΓ(ξ)is not tempered.
For any subset QF0, let ΞQ, πQ,... denote the things Ξ,π,..., but for the
algebra HQinstead of H. For ξ= (P, δ, t)Ξ we define
P(ξ) := {αR0:|α(t)|= 1}.(3.8)
Proposition 3.1.4. Let ξ= (P, δ, t)Ξ+.
(a)The HP(ξ)ΓP(ξ)-representation πP(ξ),ΓP(ξ)(ξ)is completely reducible.
(b)Every irreducible summand of πP(ξ),ΓP(ξ)(ξ)is of the form πP(ξ),ΓP(ξ)(P(ξ), σ, tP(ξ), ρ),
where (P(ξ), σ, tP(ξ), ρ)is a Langlands datum for HΓand tP(ξ)t1TP(ξ).
(c)The irreducible quotients of πΓ(ξ)are the representations LΓ(P(ξ), σ, tP(ξ), ρ),
with (P(ξ), σ, tP(ξ), ρ)coming from (b).
(d)Every irreducible HΓ-representation is of the form described in (c).
(e)The functor IndHΓ
HP(ξ)ΓP(ξ)induces an isomorphism
EndHP(ξ)ΓP(ξ)πP(ξ),ΓP(ξ)(ξ)
=EndHΓ(π(ξ)).
Remarks. Part (a) holds for any ξΞ. In (b) tP(ξ)is uniquely determined
modulo KP(ξ).
Proof. (a) By construction there exists tP(ξ)TP(ξ)such that
t(tP(ξ))1TP(ξ),un.(3.9)
Then πP(ξ)(P, δ, t)φ1
tP(ξ)=πP(ξ)P, δ, t(tP(ξ))1is unitary by Corollary 3.1.3. In
particular it is completely reducible, which implies that πP(ξ)P, δ, t(tP(ξ))1is also
completely reducible. By [Sol5, Theorem A.1.c]
πP(ξ),ΓP(ξ)(ξ) = πP(ξ),ΓP(ξ)(P, δ, t) = IndHP(ξ)ΓP(ξ)
HP(ξ)πP(ξ)(P, δ, t) (3.10)
remains completely irreducible.
(b) By Corollary 3.1.3 πP(ξ)P, δ, t(tP(ξ))1is tempered and unitary, so by Lemma
2.2.6 all its irreducible summands are of the form
πP(ξ)(P(ξ), σ, k) = LP(ξ)(P(ξ), σ, k), where kTP(ξ)
un .
41
Moreover πP(ξ)P, δ, t(tP(ξ))1C[X(P(ξ))]consists only of copies of the trivial
X(P(ξ))-representation, so kKP(ξ)=TP(ξ)
un TP(ξ),un. Together with (3.9)
this implies ktP(ξ)t1TP(ξ),un. Hence every irreducible summand of (3.10) is an
irreducible summand of some
IndHP(ξ)ΓP(ξ)
HP(ξ)πP(ξ)(P(ξ), σ, ktP(ξ)).
By Clifford theory (see the proof of Corollary 2.2.5) these are of the required form
πP(ξ),ΓP(ξ)(P(ξ), σ, ktP(ξ), ρ).
(c) Follows immediately from (b) and Corollary 2.2.5.
(d) By Corollary 2.2.5.b it suffices to show that every HPΓP-representation of
the form (σφt)ρis a direct summand of some πP,ΓP ,σ,t (ξ+). Without loss of
generality we may assume that P=F0and that ΓP,σ,t = Γ. The H-representation
σφt|t|1is irreducible and tempered, so by [DeOp1, Theorem 3.22] it is a direct
summand of π(ξ) for some ξ= (P, ρ, t)Ξun. Then (P, ρ, t|t|)Ξ+and σφt
is a direct summand of π(P, ρ, t|t|). By Clifford theory [Sol5, Theorem A.1.b] the
HΓ-representation (σφt)ρis a direct summand of πΓ(P, δ, t|t|).
(e) Follows from (a), (b) and Lemma 2.2.6.b. 2
The parabolically induced representations πΓ(ξ) are by no means all disjoint.
The relations among them are described by certain intertwining operators, whose
construction we recall from [Opd1, Opd2].
Suppose that P, Q F0, u KP, g ΓW0and g(P) = Q. Let δand σbe
discrete series representations of respectively HPand HQ, such that σis equivalent
with δψ1
uψ1
g. Choose a unitary map Ig u
δ:VδVσsuch that
Igu
δ(δ(h)v) = σ(ψgψu(h))(Igu
δ(v)) vVδ, h HP.(3.11)
Notice that any two choices of Igu
δdiffer only by a complex number of norm 1. In
particular Igu
δis a scalar if σ=δ.
We obtain a bijection
Igu : (C(T /W0)Z(H)H)ΓHPVδ(C(T /W0)Z(H)H)ΓHQVσ,
Igu(hv) = o
g1Igu
δ(v).(3.12)
Theorem 3.1.5. (a)The map Igu defines an intertwining operator
πΓ(gu, P, δ, t) : πΓ(P, δ, t)πΓ(Q, σ, g(ut)).
As a map CWP]CVδCWQ]CVσit is a rational in tTPand
constant on TF0-cosets.
(b)This map is regular and invertible on an open neighborhood of TP
un in TP(with
respect to the analytic topology).
(c)πΓ(gu, P, δ, t)is unitary if tTP
un.
42
Remark. Due to the freedom in the choice of (3.11), for composable g1, g2 G
the product π(g1, g2ξ)π(g2, ξ) need not be equal to π(g1g2, ξ ). The difference is a
locally constant function whose absolute value is 1 everywhere.
Proof. If g=γw ΓW0, then Igu =IγIwu, modulo this locally constant
function. It follows directly from the definitions that the theorem holds for Iγ, so
the difficult part is Iwu, which is dealt with in [Opd2, Theorem 4.33 and Corollary
4.34]. 2
The intertwining operators for reflections acting on the unitary principal series
can be made reasonably explicit:
Lemma 3.1.6. Suppose that βR0and tTun. Then πΓ(sβ,, δ, t)is a scalar
operator if and only if c1
β(t) = 0.
Proof. Suppose that αF0, t Tand c1
α(t) = 0. Then (1.25) implies that
1 + ı0
sα(t) = 0, regarded as an element of H(W0, q ). Hence πΓ(sα,, δ, t) is a scalar
operator. Conversely, if c1
α(t)6= 0, then (1.25) shows that 1 + ı0
sα(t) is not scalar,
because the action of 1 + q(sα)1/2Nsαon H(W0, q) has two different eigenvalues.
With Theorem 3.1.5 we can see that this is not specific for simple reflections.
Find wW0such that w(β) = αis a simple root. Then sβ=w1sαw, so up to a
nonzero scalar
πΓ(sβ,, δ, t) = πΓ(w1,, δ, wt)πΓ(sα,, δ, wt)πΓ(w, , δ, t).
Now we notice that c1
β(t) = 0 if and only if c1
α(wt) = 0, and that πΓ(w1,, δ, wt) =
πΓ(w, , δ, t)1up to a scalar. 2
Thus it is possible to determine the H-endomorphisms for unitary principal series
representations, at least when the isotropy groups of points tTun are generated
by reflections. The reducibility and intertwining operators for nonunitary principal
series are more complicated, and have been subjected to ample study [Kat1, Rog,
Ree1]. For other parabolically induced representations the intertwining operators are
less explicit. They can be understood better with the theory of R-groups [DeOp2].
The action of these intertwining operators on the induction data space Ξ is
described most conveniently with a groupoid Gthat includes all pairs (g, u) as above.
The base space of Gis the power set of F0, and for P, Q F0the collection of arrows
from Pto Qis
GP Q ={(g, u)ΓW0×KP:g(P) = Q}.(3.13)
Whenever it is defined, the multiplication in Gis
(g, u)·(g, u) = (gg, g 1(u)u).
Usually we will write elements of Gsimply as gu. This groupoid acts from the left
on Ξ by
(g, u)·(P, δ, t) := (g(P), δ ψ1
uψ1
g, g(ut)),
43
the action being defined if and only if g(P)F0. Since T+TP+is a fundamental
domain for the action of W0on T, every element of Ξ is G-associate to an element
of Ξ+.
Although πΓ(gu(P, δ, t)) and πΓ(P, δ, t) are not always isomorphic, the existence
of rational intertwining operators has the following consequence:
Lemma 3.1.7. The HΓ-representations πΓ(gu(P, δ, t)) and πΓ(P, δ, t)have the
same irreducible subquotients, counted with multiplicity.
Proof. This is not hard, the proof in the graded Hecke algebra setting [Sol5,
Lemma 3.4] also works here. 2
3.2 The Schwartz algebra
We recall the construction of various topological completions of H[Opd2]: a Hilbert
space, a C-algebra and a Schwartz algebra. The latter is the most relevant from
the representation theoretic point of view. All tempered representations of Hextend
to its Schwartz completion, and a close study of this Schwartz algebra reveals facts
about tempered representations for which no purely algebraic proof is known.
Let L2(R, q) be Hilbert space completion of Hwith respect to the inner product
(3.2). By means of the orthonormal basis {Nw:wWe}we can identify L2(R, q)
with the Hilbert space L2(We) of square integrable functions WC.
For any h H the map H(R, q) H(R, q) : h7→ hhextends to a bounded
linear operator on L2(R, q). This realizes H(R, q) as a *-subalgebra of B(L2(R, q)).
Its closure C(R, q) is a separable unital C-algebra, called the C-algebra of H.
The Schwartz completion of Hwill, as a topological vector space, consist of
all rapidly decaying functions on We, with respect to some length function. For
this purpose the length function (w) of the Coxeter system (Waff , Saff ) is unsatis-
factory, because its natural extension to Weis zero on Z(We). To overcome this
inconvenience, recall that
XZR=a=a
F0aF0=a
F0(Z(We)ZR).
Thus we can decompose any xXauniquely as x=xF0+xF0a
F0aF0.
Now we define
N(w) = (w) +
w(0)F0
wWe.
Since Waff Z(We) is of finite index in We, the set {wWe:N(w) = 0}is finite.
For nNwe define the following norm on H:
pnX
wWe
hwNw= sup
wWe|hw|(N(w) + 1)n.
The completion S=S(R, q) of Hwith respect to the family of norms {pn:nN}is
a nuclear Fechet space. It consists of all (possibly infinite) sums h=PwWehwNw
such that pn(h)<for all nN.
44
Theorem 3.2.1. There exist Cq>0, d Nsuch that h, h S(R, q), n N
khkB(L2(R,q)) Cqpd(h),
pn(h·h)Cqpn+d(h)pn+d(h).
In particular S(R, q)is a unital locally convex *-algebra, and it is contained in
C(R, q).
Proof. This was proven first with representation theoretic methods in [Opd2,
Section 6.2]. Later the author found a purely analytic proof [OpSo2, Theorem A.7].
2
It is easily seen that the action of Γ on Hpreserves all the above norms. Hence the
crossed product SΓ = S(R, q )Γ (respectively C(R, q)Γ) is a well-defined
Fechet algebra (respectively C-algebra). For q= 1 we obtain the algebras
S(R,1) Γ = S(X)W0Γ = C(Tun)W0Γ,
C(R,1) Γ = C(X)W0Γ = C(Tun)W0Γ,(3.14)
where S(X) denotes the algebra of rapidly decreasing functions on X.
We can use these topological completions to characterize discrete series and
tempered representations. According to [Opd2, Lemma 2.22], an irreducible HΓ-
representation πis discrete series if and only if it is contained in the left regular
representation of HΓ on L2(R, q)C[Γ], or equivalently if its character χπ:
HΓCextends to a continuous linear functional on L2(R, q)C[Γ].
By [Opd2, Lemma 2.20] a finite dimensional HΓ-representation is tempered
if and only if it extends continuously to an SΓ-representation. More generally,
suppose that πis a representation of HΓ on a Fechet space V, possibly of infinite
dimension. As in [OpSo1, Proposition A.2], we define πto be tempered if it induces
a jointly continuous map (SΓ) ×VV.
A crucial role in the harmonic analysis on affine Hecke algebra is played by a
particular Fourier transform, which is based on the induction data space Ξ. Let
VΓ
Ξbe the vector bundle over Ξ, whose fiber at (P, δ, t)Ξ is the representation
space C ×WP]Vδof πΓ(P, δ, t). Let End(VΓ
Ξ) be the algebra bundle with fibers
EndC(C ×WP]Vδ). The inner product (3.4) endows EndC(C ×WP]Vδ) and
End(VΓ
Ξ) with a canonical involution *. Of course these vector bundles are trivial
on every connected component of Ξ, but globally not even the dimensions need be
constant. Since Ξ has the structure of a complex algebraic variety, we can construct
the algebra of polynomial sections of End(VΓ
Ξ):
OΞ; End(VΓ
Ξ):= M
P,δ O(TP)EndC(C ×WP]Vδ).
Given a reasonable subset (preferably a submanifold) ΞΞ, we define the algebras
L2Ξ; End(VΓ
Ξ), CΞ; End(VΓ
Ξ)and CΞ; End(VΓ
Ξ)in similar fashion. Further-
more, if µis a sufficiently nice measure on Ξ and Ξis compact, then the following
formula defines a Hermitian form on L2Ξ; End(VΓ
Ξ):
hf1, f2iµ:= ZΞ
tr(f1(ξ)f2(ξ)) dµ. (3.15)
45
The intertwining operators from Theorem 3.1.5 give rise to an action of the groupoid
Gon the algebra of rational sections of End(VΓ
Ξ), by
(g·f)(ξ) = πΓ(g, g1ξ)f(g1ξ)πΓ(g, g1ξ)1,(3.16)
whenever g1ξΞ is defined. This formula also defines groupoid actions of Gon
CΞ; End(VΓ
Ξ)and on CΞ; End(VΓ
Ξ), provided that Ξis a G-stable submanifold
of Ξ on which all the intertwining operators are regular. Given a suitable collection
Σ of sections of ,End(VΓ
Ξ)), we write
ΣG={fΣ : (g·f)(ξ) = f(ξ) for all g G, ξ Ξsuch that g1ξis defined}.
The Fourier transform for HΓ is the algebra homomorphism
F:HΓ OΞ; End(VΓ
Ξ),
F(h)(ξ) = π(ξ)(h).
The very definition of intertwining operators shows that the image of Fis contained
in the algebra OΞ; End(VΓ
Ξ)G. The Fourier transform also extends continuously to
various topological completions of HΓ:
Theorem 3.2.2. (Plancherel theorem for affine Hecke algebras)
The Fourier transform induces algebra homomorphisms
H(R, q)Γ OΞ; End(VΓ
Ξ)G,
S(R, q)ΓCΞun; End(VΓ
Ξ)G,
C(R, q)ΓCΞun; End(VΓ
Ξ)G.
The first one is injective, the second is an isomorphism of Fechet *-algebras and
the third is an isomorphism of C-algebras.
Furthermore there exists a unique Plancherel measure µP l on Ξsuch that
the support of µPl is Ξun;
µP l is G-invariant;
the restriction of µpl to a component (P, δ, T P)is absolutely continuous with
respect to the Haar measure of TP
un;
the Fourier transform extends to a bijective isometry
L2(R, q)C[Γ]; h,iτL2Ξun; End(VΓ
Ξ)G;h,iµP l .
Proof. Once again the essential case is Γ = {id}, which is a very deep result
proven by Delorme and Opdam, see Theorem 5.3 and Corollary 5.7 of [DeOp1] and
[Opd2, Theorem 4.43].
To include Γ in the picture we need a result of general nature. Let Abe any
complex Γ-algebra and endow ACEnd(C[Γ]) with the Γ-action
γ·(af)(v) = γ·af()γ1aA, γ Γ, v C[Γ], f End(C[Γ]).(3.17)
46
There is a natural isomorphism
AΓ
=ACEnd(C[Γ])Γ.(3.18)
This is easy to show, but it appears to be one of those folklore results whose origins
are hard to retrace. In any case a proof can be found in [Sol3, Lemma A.3]. For
A=CΞun; End(VΓ
Ξ)the action (3.17) corresponds to the action of Γ on End(VΓ
Ξ)
described in (3.16). The greater part of the theorem follows from (3.18) and the case
Γ = {id}. It only remains to see how the inner products h,iτand h,iµP l behave
when Γ is included. Let us distinguish the new inner products with a subscript Γ.
On the Hecke algebra side it is easy, as the formula (3.1) does not change, so
hNγh , NγhiΓ =hh , hiτif γ=γ,
0 if γ6=γ.
On the spectral side the inclusion of Γ means that we replace every H-representation
π(ξ) by IndHΓ
Hπ(ξ). In such an induced representation the elements of Γ permute
the H-subrepresentations γπ(ξ), while h H acts by π(γ1(h)) on γπ(ξ). The
action of Γ on Hpreserves the trace and the *, so
trπΓ(ξ, Nγh)πΓ(ξ, Nγh)=trπ(ξ, h)π(ξ, h)if γ=γ,
0 if γ6=γ.
In view of (3.15), this means that the L2-extension of Fis an isometry with respect
to the Plancherel measure µΓ,P l =|Γ|1µP l.2
Corollary 3.2.3. The center of S(R, q)Γ(respectively C(R, q)Γ) is isomorphic
to Cun)G(respectively Cun)G).
Proof. This is the obvious generalization of [DeOp1, Corollary 5.5] to our setting.
2
Notice that Z(SΓ) is larger than the closure of Z(HΓ) in SΓ, for example
Z(SΓ) contains a nontrivial idempotent for every connected component of Ξun/G.
Varying on the notation Modf,U (HΓ) we will denote by
Modf,Σ(SΓ)
the category of finite dimensional SΓ-modules with Z(SΓ)-weights in Σ Ξun/G.
Let us compare Schwartz algebras of affine Hecke algebras with those for reduc-
tive p-adic groups. Suppose that Gis reductive p-adic group and that HΓ is
Morita equivalent to H(G)s, in the notation of Section 1.6. The (conjectural) iso-
morphism described in (1.28) is such that a=XZRcorresponds to X(A)ZR.
The conditions for temperedness of finite length representations of HΓ and H(G)s
are formulated in terms of corresponding negative cones in aand in X(A)ZR.
47
Therefore such a Morita equivalence would preserve temperedness of representations.
Thus Modf(SΓ) would be equivalent to the category of finite length modules
Modf,s(S(G)) = Modf(S(G)s),
where S(G) is the Harish-Chandra–Schwartz algebra of Gand S(G)sis its two-sided
ideal corresponding to the inertial equivalence class sB(G).
Moreover, is Iis an Iwahori subgroup of a split group G, it is shown in [DeOp1,
Proposition 10.2] that the isomorphism H(G, I )
=H(R, q) extends to an isomor-
phism S(G, I)
=S(R, q). Therefore it is reasonable to expect that more generally
S(G)swill be Morita equivalent to S(R, q)Γ in case of an isomorphism (1.28). Fur-
ther support of this is provided by Theorem 3.2.2 in comparison with the Plancherel
theorem for S(G) [Wal] and for Cr(G) [Ply2]. These show that S(R, q)Γ and
S(G)s, as well as their respective C-completions, have a very similar shape, which
can almost entirely be deduced from their categories of finite length modules.
3.3 Parametrization of representations with induction
data
Theorem 3.2.2 is extremely deep and useful, a large part of what follows depends on
it. It shows a clear advantage of Sover H, namely that the Fourier transform con-
sists of all smooth sections. In particular one can use any smooth section, without
knowing its preimage under F. By Corollary 3.2.3 the irreducible tempered HΓ-
representations are partitioned in finite packets parametrized by Ξun/G. Moreover,
from Theorem 3.2.2 Delorme and Opdam also deduce analogues of Harish-Chandra’s
Completeness Theorem [DeOp1, Corollary 5.4] and of Langlands’ Disjointness The-
orem [DeOp1, Corollary 5.8].
We will generalize these results to all irreducible representations. For that we do
not need all induction data from Ξ, in view of Lemma 3.1.7 it suffices to consider
ξΞ+. At the same time this restriction to positive induction data enables us to
avoid the singularities of the intertwiners π(g, ξ).
Theorem 3.3.1. Let ξ= (P, δ, t), ξ= (P, δ, t)Ξ+.
(a)The HΓ-representations πΓ(ξ)and πΓ(ξ)have a common irreducible quotient
if and only if there exists a g G such that gξ =ξ.
(b)The operators {πΓ(g, ξ) : g G, =ξ}are regular and invertible, and they
span HomHΓ(πΓ(ξ), πΓ(ξ)).
Proof. (a) Suppose that there exists a g G with =ξ. Since πΓ(γ , ξ) is
invertible for γΓ, we may replace ξby γξ, which allows to assume without loss
of generality that g= (w, u)W0×KP.
Recall that T+is a fundamental domain for the action of W0on Trs. Since |t|and
|t|are both in T+we must have |t|=w(|t|) = |t|and hence P(ξ) = P(ξ). Thus
wu(P, δ, t|t|1) = (P, δ, t|t|1) and by Theorem 3.1.5.b the HP(ξ)-representations
πP(ξ)(P, δ, t|t|1) = πP(ξ)(P, δ, t)φ1
|t|and
πP(ξ)(P, δ, t|t|1) = πP(ξ)(P, δ, t)φ1
|t|
48
are isomorphic. Hence πP(ξ)(P, δ, t)
=πP(ξ)(P, δ, t), which implies that πΓ(ξ) and
πΓ(ξ) are isomorphic. In particular πΓ(ξ) and πΓ(ξ) have the same irreducible
quotients.
Conversely, suppose that πΓ(ξ) and πΓ(ξ) have a common irreducible quotient.
Again we may replace ξby γξfor any γΓ. In view of this, Proposition 3.1.4.c
and Corollary 2.2.5.b we may assume that P(ξ) = P(ξ) and that the HP(ξ)
ΓP(ξ)-representations πP(ξ),ΓP(ξ)(ξ) and πP(ξ),ΓP(ξ)(ξ) have a common irreducible
summand πP(ξ),ΓP(ξ)(P(ξ), σ, tP(ξ), ρ).
Pick sTP(ξ)
un tP(ξ)such that tP(ξ)and tP(ξ)s1have the same isotropy group
in W0Γ. This is possible because Tgis a complex algebraic subtorus of Tfor
every gW0Γ. The HP(ξ)ΓP(ξ)-representations πP(ξ),ΓP(ξ)(P, δ, ts1) and
πP(ξ),ΓP(ξ)(P, δ, ts1) are completely reducible by Proposition 3.1.4.a, and they
have the common irreducible summand
πP(ξ),ΓP(ξ)(P(ξ), σ, tP(ξ)s1, ρ) = IndHP(ξ)ΓP(ξ)
HP(ξ)ΓP(ξ),σ,tP(ξ)σφtP(ξ)φ1
sρ.
Moreover, because every irreducible summand is of this form,
HomHP(ξ)ΓP(ξ)πP(ξ),ΓP(ξ)(P, δ, ts1), πP(ξ),ΓP(ξ)(P, δ, ts1)
=
HomHP(ξ)ΓP(ξ)πP(ξ),ΓP(ξ)(P, δ, t), πP(ξ),ΓP(ξ)(P, δ, t)6= 0.(3.19)
Since tP(ξ)s1Tun, we have ts1, ts1Tun. So |t|=|t|and the repre-
sentations πP(ξ),ΓP(ξ)(P, δ, ts1) and πP(ξ),ΓP(ξ)(P, δ, ts1) extend continuously to
S(RP(ξ), qP(ξ))ΓP(ξ). Now Theorem 3.2.2 for this algebra shows that the left
hand side of (3.19) is spanned by the intertwiners πP(ξ),ΓP(ξ)(g, P, δ, ts1) with
g(P, δ, ts1) = (P, δ, ts1). Since (3.19) is nonzero, there exists at least one such
g G. The choice of sguarantees that g(P, δ, t) = (P, δ, t) as well.
(b) By Theorem 3.1.5 the πP(ξ),ΓP(ξ)(g, P, δ, ts1) are invertible and constant on
TP(ξ)-cosets. Hence the πP(ξ),ΓP(ξ)(g, P, δ, t) span the right hand side of (3.19), and
they are invertible. 2
It is interesting to compare Theorem 3.3.1 with [Ree1], which describes the H-
endomorphisms of principal series representations M(t). It transpires that the re-
sults of [Ree1] simplify considerably when |t|is in the positive Weyl chamber: then
EndH(M(t)) is semisimple and all its irreducible quotients occur with multiplicity
one.
Now we can prove the desired partition of Irr(HΓ) in packets:
Theorem 3.3.2. Let πbe an irreducible HΓ-representation. There exists a unique
association class G(P, δ, t)Ξ/Gsuch that the following equivalent properties hold:
(a)πis isomorphic to an irreducible quotient of πΓ(ξ+), for some ξ+Ξ+
G(P, δ, t);
(b)πis a constituent of πΓ(P, δ, t), and kccP(δ)kis maximal for this property.
49
Proof. Proposition 3.1.4.d says that there exists ξ+= (P, δ, t)Ξ+satisfying
(a), and by Theorem 3.3.1 its G-association class is unique.
Let ξ= (P, δ, t)Ξ such that πis a constituent of πΓ(ξ) and kccP(δ)kis maximal
under this condition. By Lemma 3.1.7 we may assume that ξΞ+. Suppose that π
is not isomorphic to a quotient of πΓ(ξ). In view of Proposition 3.1.4 this means that
there exist Langlands data (P(ξ+), σ, tP(ξ+), ρ) and (P(ξ), σ, tP(ξ), ρ) such that π
=
LΓ(P(ξ+), σ, tP(ξ+), ρ) is a constituent but not a quotient of πΓ(P(ξ), σ, tP(ξ), ρ).
Now Lemma 2.2.6.b tells us that
ccP(ξ)(σ)
<
ccP(ξ+)(σ)
.
But ccP(ξ)(σ) = WP(ξ)ccP(δ) and ccP(ξ+)(σ) = WP(ξ+)ccP(δ), so
kccP(δ)k<
ccP(δ)
,
contradicting the maximality of kccP(δ)k. Therefore πmust be a quotient of πΓ(ξ).
Thus the association class Gξsatisfies not only (b) but also (a), which at the
same time shows that is unique. In particular conditions (a) and (b) turn out to be
equivalent. 2
All these constructs with induction data have direct analogues in the setting of
graded Hecke algebras [Sol5, Sections 6 and 8]. Concretely, ˜
Ξ is the space of all
triples ˜
ξ= (Q, σ, λ), where QF0, σ is a discrete series representation of HQand
λtQ. The subsets of unitary (respectively positive) induction data are obtained
by imposing the restriction λiaQ(respectively λaQ++iaQ). The corresponding
induced representation is
πΓ(˜
ξ) = IndH⋊Γ
Hπ(Q, σ, λ) = IndH⋊Γ
HQ(σλ).
The groupoid ˜
Gand its action on ˜
Ξ are defined like G, but without the parts KP.
We would like to understand the relation between induction data for HΓ and for
H Γ. We consider, for every uTun, the induction data for ( ˜
Ru, ku) with λa.
Thus we arrive at the space b
Ξ of quadruples ˆ
ξ= (u, ˜
P , ˜
δ, λ) such that:
uTun;
˜
PFu;
˜
δis a discrete series representation of H(˜
Ru, ˜
P, ku, ˜
P);
λa˜
P.
The HΓ-representation associated to ˆ
ξis
πΓ(u, ˜
P , ˜
δ, λ) = IndHΓ
H(Ru,qu)π(˜
P , ˜
δ, λ),
where the H(˜
Ru, ku)-representation π(˜
P , ˜
δ, λ) is considered as a representation of
H(˜
Ru, qu), via Theorem 2.1.4.
50
For g G the map ψgfrom (1.19) and (1.15) induces an algebra isomorphism
H(˜
Ru, ku)H(˜
Rg(u), kg(u)), and the stabilizer in Gof uTun is the groupoid ˜
Gu
associated to ( ˜
Ru, ku). This leads to an action of Gon b
Ξ.
The collections of HΓ-representations corresponding to Ξ and to b
Ξ are almost
the same, but not entirely:
Lemma 3.3.3. There exists a natural finite-to-one surjection
Ξ/G b
Ξ/G,Gξ7→ Gˆ
ξ,
with the following property. Given ˆ
ξb
Ξone can find ξiΞ(not necessarily all
different) such that SiGξiis the preimage of Gˆ
ξand πΓ(ˆ
ξ) = LiπΓ(ξi).
Proof. Given ξ= (P, δ, t)Ξ, let t=uPcPTP
u×TP
rs be the polar decomposi-
tion of tand let uPcPTP,u ×TP,rs be an AP-weight of δ. Put
W+
P,uP={wW(RP) : w(uP) = uP, w(R+
P,uP) = R+
P,uP}.(3.20)
By Theorem 2.1.2 there exists a unique discrete series representation
δ1of H(RP,uP, qP,uP)W+
P,uPsuch that δ
=IndHP
H(RP,uP,qP,uP)W+
P,uP
(δ1).
Then automatically
δφt
=IndHP
H(RP
uP,qP
uP)W+
P,uP
(δ1φt).
Let δbe an irreducible direct summand of the restriction of δ1to H(RP,uP, qP,uP),
such that uPcPis a weight of δ. Then δ1φtis a direct summand of
IndH(RP
uP,qP
uP)W+
P,uP
H(RP
uP,qP
uP)(δφt),(3.21)
so πΓ(ξ) is a direct summand of
IndHΓ
H(RP
uP,qP
uP)(δφt).(3.22)
By Theorem 2.1.4 δcan also be regarded as a discrete series representation ˜
δof
H(˜
RP,uP, kP,uP) with central character W(RP,uP)cP. Then δφtcorresponds to
the representation ˜
δlog(cP)of H(˜
RP
uP, kP
uP). Let ˜
Pbe the unique basis of RP,uP
contained in R+
0.
All in all (P, δ, t) gives rise to the induction datum ˜
ξ= ( ˜
P , ˜
δ, log(cP)) for the
graded Hecke algebra H(˜
RP,uP, kP,uP). Since RP,uPis a parabolic root subsystem
of Ru,˜
ξcan also be regarded as an induction datum for H(˜
Ru, ku). Let us check
the possible freedom in the above construction. All AP-weights of δare in the same
WP-orbit, so another choice of uPcPdiffers only by an element of WP. All possible
choices of δabove are conjugated by the action of the group W+
P,uP, and (W0Γ)u
is the unitary part of the central character of πΓ(ξ). Therefore ξdetermines the
quadruple ˆ
ξ:= (u, ˜
P , ˜
δ, log(cP)) b
Ξ
51
uniquely modulo the action of G. That yields a map Ξ b
Ξ/G, ξ Gˆ
ξ, and since
the actions of Gare defined in the same way on both sides, this map factors via Ξ/G.
By reversing the above steps one can reconstruct the representations δφtand
(3.22) from ˜
ξ , uPand uP. In fact it suffices to know ˜
ξand the product u=uPuP
Tun. Namely, the only additional ambiguity comes from the group KP, but this is
inessential since
(δψk1)φkt
=δφtfor kKP.
By construction δ1is a direct summand of IndH(RP,uP,qP ,uP)W+
P,uP
H(RP,uP,qP,uP)(δ), and the other
constituents δj(1 < j n) are also discrete series representations. Hence (3.22) is
a direct sum of finitely many parabolically induced representations
πΓ(P, IndHP
H(RP,uP,qP,uP)W+
P,uP
(δj), t).
Now Corollary 2.1.5 assures that our map Ξ/G b
Ξ/Gis surjective and that the
preimage of G(u, ˜
P , ˜
δ, log(cP)) consists precisely of the association classes
G(P, IndHP
H(RP,uP,qP,uP)W+
P,uP
(δj), t) (1 jn).2
Remark. Things simplify considerably if the group W+
P,uP={id}in (3.20), then the
map Ξ/G b
Ξ/Gis bijective on (P, δ, T P)/G. In many cases this group is indeed
trivial, but not always. See [OpSo2, Section 8], where W+
P,uPis denoted Γs(e).
3.4 The geometry of the dual space
For any algebra Athe set Irr(A) has a natural topology, the Jacobson topology.
This is the noncommutative generalization of the Zariski topology, by definition all
its closed sets are of the form
V(S) := {πIrr(A) : π(s) = 0 sS}SA.
In this section we discuss the topology and the geometry of Irr(HΓ), and we
compare it with the dual of SΓ. This will be useful for the proof of Theorem 2.3.1
and for our discussion of periodic cyclic homology in Section 5.2.
Parabolic induction gives, for every discrete series representation δof a parabolic
subalgebra HP, a family of HΓ-representations πΓ(P, δ, t), parametrized by tTP.
The group
GP,δ := {g G :g(P) = P, δ ψ1
g
=δ}
acts algebraically on TP, and by Lemma 3.1.7 points in the same orbit lead to
representations with the same irreducible subquotients.
Theorem 3.3.2 allows us to associate to every πIrr(HΓ) an induction datum
ξ+(π)Ξ+, unique modulo G, such that πis a quotient of πΓ(ξ+(π)). For any
subset UTPwe define
IrrP,δ,U (HΓ) = {πIrr(HΓ) : Gξ+(π)(P, δ, U )6=∅}.
For U=TPor U={t}we abbreviate this to IrrP,δ(HΓ) or IrrP,δ,t(HΓ).
52
Proposition 3.4.1. Let Ube a subset of TP+TP
un such that every g GP,δ with
gU U6=fixes Upointwise. For arbitrary tUthere are canonical bijections
IrrP,δ (HPΓP,δ,t )×UIrrP,δ,U (HPΓP,δ,t)IrrP,δ,U (HΓ).
Remark. It is not unreasonable to expect that the Jacobson topology of HΓ
induces the Zariski topology on IrrP,δ (HPΓP,δ,t)×U, where IrrP,δ (HPΓP,δ,t) is
regarded as a discrete space. However, while it is easy to see that all V(h) become
Zariski-closed in IrrP,δ (HPΓP,δ,t)×U, it is not clear that one can obtain all
Zariski-closed subsets in this way. That might require some extra conditions on U.
Proof. By assumption every tUhas the same stabilizer GP,δ,t GP,δ. Accord-
ing to Theorem 3.3.1 the operators {πΓ(g, P, δ, t) : g GP,δ,t}span EndHΓ(πΓ(P, δ, t)).
By definition all elements of IrrP,δ,t(HΓ) occur as a quotient of πΓ(P, δ, t), but
the latter representation also has other constituents if it is not completely re-
ducible. We have to avoid that situation if we want to find a direct relation between
EndHΓ(πΓ(P, δ, t)) and IrrP,δ,t(HΓ).
Since πΓ(P, δ, t) and πΓ(g, P, δ, t) are unitary for tTP
un, there exists an open
GP,δ -stable tubular neighborhood TP
ǫof TP
un in TP, such that πΓ(P, δ, t) is completely
reducible and πΓ(g, P, δ, t) is regular and invertible, for all tTP
ǫand g GP,δ . For
every tUwe can find rR>0such that t|t|r1TP
ǫ. Let UǫTP
ǫbe the
resulting collection. For every tUǫthe algebras
{πΓ(P, δ, t)(h) : h H Γ}and span{πΓ(g, P, δ, t) : g GP,δ,t}
are each others’ commutant in
EndC(πΓ(P, δ, t)) = EndCC[ΓΓP]CVδ.
Hence there is a natural bijection between
isotypical components of πΓ(P, δ, t) as a HΓ-representation;
isotypical components of πΓ(P, δ, t) as a GP,δ,t-representation.
The operators πΓ(P, δ, t) are rational in tTP, and regular on TP
ǫ. As there are
only finitely many inequivalent GP,δ,t-representations of a fixed finite dimension, the
isomorphism class of πΓ(P, δ, t) as a GP,δ,t-representation does not depend on tUǫ.
This provides a natural bijection
IrrP,δ,Uǫ(HΓ) IrrP,δ,t(HΓ) ×UǫtUǫ.(3.23)
The extended Langlands classification (Corollary 2.2.5) shows that there is a canon-
ical bijection IrrP,δ,t|t|r1(HΓ) IrrP,δ,t(HΓ) for every rR>0, which allows
us to extend (3.23) uniquely to
IrrP,δ,U (HΓ) IrrP,δ,t0(HΓ) ×U t0U. (3.24)
The above also holds with the algebras HΓP,δ,t or HPΓP,δ,t in the role of HΓ.
Since the construction of the intertwiners corresponding to g GP,δ,t is the same in
all three cases, we obtain natural isomorphisms
EndHPΓP,δ,t IndHPΓP,δ,t
HPδ
=EndHPΓP,δ,t (πP,ΓP,δ,t (P, δ, t))
=EndHΓ(πΓ(P, δ, t)).
53
Now the above bijection between isotypical components shows that the maps
IrrP,δ (HPΓP,δ,t)IrrP,δ,t(HPΓP,δ,t)IrrP,δ,t(HΓ)
ρ7→ ρφt7→ IndHΓ
HPΓP,δ,t (ρφt)
are bijective, and (3.24) allows us to extend this from one tto U. 2
Theorem 3.3.2 shows that IrrP,δ (HΓ) and IrrQ,σ (HΓ) are either equal or
disjoint, depending on whether or not (P, δ) and (Q, σ) are G-associate. The sets
IrrP,δ (HΓ) are usually not closed in Irr(HΓ), because we did not include all
constituents of the representations πΓ(P, δ, t). We can use their closures to define
a stratification of Irr(HΓ), and a corresponding stratification of Irr(SΓ). By
Corollary 3.1.3 we may identify IrrP,δ (SΓ) with the tempered part IrrP,δ,T P
un (HΓ)
of IrrP,δ(HΓ).
Let be a set of representatives for the action of Gon pairs (P, δ). Then
the cardinality of equals the number of connected components of Ξun/Gand by
Theorem 3.2.2
SΓ
=M(P,δ)C(TP
un)CEnd(CWP]CVδ)GP .(3.25)
Lemma 3.4.2. There exist filtrations by two-sided ideals
HΓ = F0(HΓ) F1(HΓ) ··· F||(HΓ) = 0,
SΓ = F0(SΓ) F1(SΓ) ··· F||(SΓ) = 0,
with Fi(HΓ) Fi(SΓ), such that for all i > 0:
(a) IrrFi1(SΓ)/Fi(SΓ)
=IrrPii(SΓ),
(b) IrrFi1(HΓ)/Fi(HΓ)
=IrrPii(HΓ).
Remark. Analogous filtrations of Hecke algebras of reductive p-adic groups are
described in [Sol4, Lemma 2.17]. The proof in our setting is basically the same.
Proof. We number the elements of such that
kccPi(δi)k
ccPj(δj)
if ji, (3.26)
and we define
Fi(HΓ) = {h H Γ : π(h) = 0 for all πIrrPjj(HΓ), j i},
Fi(SΓ) = {h S Γ : π(h) = 0 for all πIrrPjj(SΓ), j i}.
Clearly Fi(HΓ) Fi(SΓ) and
Fi1(SΓ)/Fi(SΓ)
=C(TP
un)CEnd(C ×WP]CVδ)GPii,
which establishes (a). For (b), we first show that
[jiIrrPjj(HΓ) (3.27)
54
is closed in the Jacobson topology of Irr(HΓ). Its Jacobson-closure consists of
all irreducible subquotients πof πΓ(Pj, δj, t), for jiand tTPj. Suppose that
π /IrrPjj(HΓ). By Theorem 3.3.2 πIrrP,δ (HΓ) for some discrete series
representation δof HPwith kccP(δ)k>
ccPj(δj)
. Select (Pn, δn) and g G such
that g(P, δ) = (Pn, δn). Then πIrrPnn(HΓ) and
kccPn(δn)k=kccP(δ)k>
ccPj(δj)
,
so n < j iby (3.26). Therefore (3.27) is indeed Jacobson-closed and
Irr(Fi(HΓ))
=[j<i IrrPjj(HΓ),
which implies (b). 2
The filtrations from Lemma 3.4.2 help us to compare the dual of HΓ with its
tempered dual, which can be identified with the dual of SΓ. The space IrrP,δ (HΓ)
comes with a finite-to-one projection onto
TP+TP
un/GP,δ
=TP/(W(RP)GP,δ).(3.28)
The subspace IrrP,δ (SΓ) IrrP(HΓ) is the inverse image of TP
un/(W(RP)GP,δ )
under this projection. By Proposition 3.4.1 the fiber at tTPessentially depends
only on the stabilizer GP,δ,t. Since GP,δ acts algebraically on TP, the collection of
points tTPsuch that the fiber at (WPGP,δ )thas exactly mpoints (for some
fixed mN) is a complex affine variety, say TP,m. As the action of GP,δ stabilizes
TP
un, the variety TP,m is already determined by its intersection with TP
un. Hence one
can reconstruct the set IrrP,δ (HΓ) from IrrP(SΓ). With these insights we can
finally complete the proof of property (a) of our affine Springer correspondence.
Continuation of the proof of Theorem 2.3.1.
Extend Spr to a Q-linear map
SprQ:GQ(HΓ) GQ(X(W0Γ)).(3.29)
We have to show that SprQis a bijection. To formulate the proof we introduce
some new terminology, partly taken from [Opd3]. We know from Lemma 3.1.1 that
representations of the form
πP,ΓP,δ,u (P, δ, u) = IndHPΓP ,δ,u
HP(δφu) with (P, δ, u)Ξun
are tempered and unitary. Let σbe an irreducible summand of such an HPΓP,δ,u-
representation and let TW(RP)ΓP,δ,u
1be the connected component of TW(RP)ΓP,δ,u
that contains 1 T. We call
IndHΓ
HPΓP,δ,u (σφt) : tTW(RP)ΓP,δ,u
1.(3.30)
a smooth d-dimensional family of representations, where dis the dimension of the
complex algebraic variety TW(RP)ΓP,δ,u . If we restrict the parameter tto Tun, then
we add the adjective tempered to this description.
55
We note that these representations are irreducible for tin a Zariski-open subset
of TW(RP)ΓP,δ,u
1. The proof of Proposition 3.1.4.b shows that
IndHΓ
HPΓP,δ,u (σφt)
is always a direct sum of representations of the form πΓ(P, σ, t, ρ), where (P, σ, t, ρ)
is almost a Langlands datum for HΓ, the only difference being that |t| TP
rs
need not be positive. Nevertheless we can specify a unique ”Langlands constituent”
of πΓ(P, σ, t, ρ), by the following procedure. Choose g G such that g(P, δ, t)
Ξ+. By Proposition 3.1.4.b g(P, σ, t, ρ) is a Langlands datum for HΓ and, as in
Lemma 3.1.7, πΓ(g(P, σ, t, ρ)) has the same trace and the same semisimplication
as πΓ(P, σ, t, ρ). We define
LπΓ(P, σ, t, ρ)=LΓ(g(P, σ, t, ρ)).(3.31)
In view of Corollary 2.2.5 the Langlands constituent appears only once in πΓ(P, σ, t, ρ)
and Lemma 2.2.6.b characterizes it as the constituent which is minimal in the ap-
propriate sense.
Let LIndHΓ
HPΓP,δ,u (σφt)be the direct sum of the Langlands constituents of
the irreducible summands of IndHΓ
HPΓP,δ,u (σφt). The family
LIndHΓ
HPΓP,δ,u (σφt):tTW(RP)ΓP,δ,u
0(3.32)
cannot be called smooth, because the traces of these representations do not depend
continuously on t. Let us call it an L-smooth d-dimensional family of representations.
By properties (d) and (e) of Theorem 2.3.1
SprQLIndHΓ
HPΓP,δ,u (σφt)= IndX(W0Γ)
X(W(RP)ΓP,δ,u)(SprQ(σ)φt).(3.33)
The right hand side is almost a smooth d-dimensional family of X(W0Γ)-
representations. Not entirely, because SprQ(σ) is in general reducible and because a
priori this family could be only a part of a higher dimensional smooth family.
Let Gd
Q(HΓ) be the Q-submodule of GQ(HΓ) spanned by the representations
(3.32), for all L-smooth families of dimension at least dZ0. This is a decreasing
sequence of Q-submodules of GQ(HΓ), by convention
G0
Q(HΓ) = GQ(HΓ)
and Gd
Q(HΓ) = 0 when d > dimC(T) = rank(X). We define Gd
Q(SΓ) analogously,
with tempered smooth families of dimension at least d. Now (3.33) says that
SprQGd
Q(HΓ)Gd
Q(XW0Γ),
SprQGd
Q(SΓ)Gd
Q(S(X)W0Γ).(3.34)
Let us consider the graded vector spaces associated to these filtrations. For tempered
representations SprQinduces Q-linear maps
Gd
Q(SΓ)/Gd+1
Q(SΓ) Gd
Q(S(We)Γ)/Gd+1
Q(S(We)Γ).(3.35)
56
We proved in Section 2.3 that
SprQ:GQ(SΓ) GQ(S(We)Γ) (3.36)
is bijective, so (3.35) is bijective for all dZ0. We will show that
Gd
Q(HΓ)/Gd+1
Q(HΓ) Gd
Q(XW0Γ)/Gd+1
Q(XW0Γ) (3.37)
is bijective as well. For d > dimC(T) there is nothing to prove, so take ddimC(T).
Pick smooth d-dimensional families {πi,t :iI, t Vi}such that
πi,t :iI, t (ViTP
un)/GP,δ(3.38)
is a basis of Gd
Q(SΓ)/Gd+1
Q(SΓ). The bijectivity of (3.35) implies that
SprQ(πi,t) : iI , t (ViTP
un)/GP,δ
is a basis of Gd
Q(S(We)Γ)/Gd+1
Q(S(We)Γ). The discussion following (3.28)
shows that L-smooth d-dimensional families and tempered smooth d-dimensional
families are in natural bijection. Hence
L(πi,t) : iI , t Vi/GP,δ
is a basis of Gd
Q(HΓ)/Gd+1
Q(HΓ) and
SprQ(πi,t) : iI , t Vi/GP
is a basis of Gd
Q(XW0Γ)/Gd+1
Q(XW0Γ). Therefore (3.37) is indeed bijective.
From this we deduce, with some standard applications of the ve lemma, that (3.29)
is a bijection. 2.
57
Chapter 4
Parameter deformations
Let H=H(R, q) be an affine Hecke algebra associated to an equal parameter func-
tion q. Varying the parameter qC×yields a family a algebras, whose members are
specializations of an affine Hecke algebra with a formal variable q. The Kazhdan–
Lusztig-parametrization of Irr(H(R, q)) [KaLu2, Ree2] provides a bijection between
the irreducible representations of H(R, q) and H(R, q), as long as q, qC×are
not roots of unity. Moreover, every πqIrr(H(R, q)) is part of a family of repre-
sentations {πq:qC×}which depends algebraically on q.
It is our conviction that a similar structure underlies the representation theory of
affine Hecke algebras with unequal parameters. However, at present a proof seems
to be out of reach. We have more control when we restrict ourselves to positive
parameter functions and to parameter deformations of the form q7→ qǫwith ǫR.
We call this scaling of the parameter function, because it corresponds to multiplying
the parameters of a graded Hecke algebra with ǫ. Notice that H(R, q0) = C[We].
We can relate representations of H(R, q) to H(R, qǫ)-representations by applying
a similar scaling operation on suitable subsets of the space T
=Irr(A). We construct
a family of functors
˜σǫ: Modf(H(R, q)) Modf(H(R, qǫ))
which is an equivalence of categories for ǫ6= 0, and which preserves many prop-
erties of representations (Corollary 4.2.2). In particular this provides families of
representations {˜σǫ(π) : ǫR}that depend analytically on ǫ.
The Schwartz algebra S(R, q) behaves even better under scaling of the parameter
function q. As qcan be varied in several directions, we have a higher dimensional
family of Fechet algebras S(R, q), which is known to depend continuously on q
[OpSo2, Appendix A]. This was exploited for the main results of [OpSo2], but the
techniques used there to study general deformations of qare specific to discrete series
representations.
To get going at the other series, we only scale q. Via a detailed study of the
Fourier transform of S(R, q) (see Theorem 3.2.2) we construct homomorphisms of
Fechet *-algebras
ζǫ:S(R, qǫ) S(R, q)ǫ[0,1],
which depend piecewise analytically on ǫand are isomorphisms for ǫ > 0 (Theorem
58
4.4.2). It is not known whether this is possible with H(R, q) instead of S(R, q),
when qis not an equal parameter function.
The most remarkable part is that these maps extend continuously to ǫ= 0, that
is, to a map ζ0:S(We) S(R, q). Of course ζ0cannot be an isomorphism, but it
is injective and and some ways behaves like an isomorphism. In fact, we show that
for irreducible tempered H(R, q )-representations the affine Springer correspondence
from Section 2.3 and the functors ˜σ0and π7→ πζ0agree (Corollary 4.4.3).
4.1 Scaling Hecke algebras
As we saw in Section 2.3, there is a correspondence between tempered representations
of HΓ and of WeΓ. On central characters this correspondence has the effect
of forgetting the real split part and retaining the unitary part. These elements of
T/(W0Γ) are connected by the path (W0Γ)cǫu, with ǫ[0,1]. Opdam [Opd2,
Section 5] was the first to realize that one can interpolate not only the central
characters, but also the representations themselves. In this section we will recall
and generalize the relevant results of Opdam. In contrast to the previous sections
we will not include an extra diagram automorphism group Γ in our considerations,
as the notation is already heavy enough. However, it can be checked easily that all
the results admit obvious generalizations with such a Γ.
First we discuss the situation for graded Hecke algebras, which is considerably
easier. Let Vtbe a nonempty open W0-invariant subset. Recall the elements
˜ıwCme(V)W0Z(H(˜
R,k)) H(˜
R, k) from Proposition 1.5.1. Given any ǫCwe
define a scaling map
λǫ:VǫV, v 7→ ǫv.
For ǫ6= 0 it induces an algebra isomorphism
mǫ:Cme(ǫV )W0Z(H(˜
R,ǫk)) H(˜
R, k)Cme(V)W0Z(H(˜
R,k)) H(˜
R, k),
f˜ıw,ǫ 7→ (fλǫıw.(4.1)
Let us calculate the image of a simple reflection sαS0:
mǫ(1 + sα) = mǫ˜c1
α,ǫ(1 + ˜ısα)=mǫα
ǫkα+α(1 + ˜ısα)=ǫα
ǫkα+ǫα(1 + ˜ısα)
= ˜c1
α(1 + ˜ısα) = 1 + sα.
That is, mǫ(w) = wfor all wW0H(˜
R, ǫk), so mǫis indeed the same as (1.10).
In particular we see that mǫcan be defined without using meromorphic functions.
These maps have a limit homomorphism
m0:H(˜
R,0) = O(t)W0H(˜
R, k),
fw 7→ f(0)w, (4.2)
with the property that
CCme(V)W0Z(H(˜
R,k)) H(˜
R, k) : ǫ7→ mǫ(f w)
59
is analytic for all f O(t) and wW0.
From now we assume that ǫis real. Let qǫbe the parameter function qǫ(w) =
q(w)ǫ, which is well-defined because q(w)R>0for all wWe. We obtain a family
of algebras Hǫ=H(R, qǫ) with H(R, q0) = C[We]. To relate representations of
these algebras we use their analytic localizations, as in Section 1.5.
Let cα,ǫ be the c-function with respect to (R, qǫ), as in (1.23). For ǫ[1,1]\{0}
the ball ǫB tsatisfies the conditions 2.1.1 with respect to ucǫTand the
parameter function qǫ(which enters via the function cα,ǫ). For ǫ= 0 the point
ǫB ={0}trivially fulfills all the conditions, except that it is not open. We write
Uǫ=W0ucǫexp(ǫB)ǫ[1,1],
and we define a W0-equivariant scaling map
σǫ:U1Uǫ, w(uc exp(b)) 7→ w(ucǫexp(ǫb)).
As was noted in [Opd2, Lemma 5.1], σǫis an analytic diffeomorphism for ǫ6= 0,
while σ0is a locally constant map with range U0=W0u. Let ı0
w,ǫ be the element
constructed in Proposition 1.5.1. By (1.26) σǫinduces an algebra isomorphism
ρǫ:Hme
ǫ(Uǫ) Hme(U)ǫ[1,1] \ {0},
fı0
w,ǫ 7→ (fσǫ)ı0
w,(4.3)
where fCme(U) and wW0. We will show that these maps depend continuously
on ǫand have a well-defined limit as ǫ0.
Lemma 4.1.1. For ǫ[1,1]\{0}and αR0write dα,ǫ = (cα,ǫ σǫ)c1
αCme(U).
This defines a bounded invertible analytic function on U×([1,1] \ {0}), which
extends to a function on U×[1,1] with the same properties.
Proof. This extends [Opd2, Lemma 5.2] to ǫ= 0. Let us write
dα,ǫ(t) = f1f2f3f4
g1g2g3g4
(t) = 1 + θα(t)
1 + θα(σǫ(t)) ×
1 + q(sα)ǫ/2q(tαsα)ǫ/2θα(σǫ(t))
1 + q(sα)1/2q(tαsα)1/2θα(t)
1θα(t)
1θα(σǫ(t))
1q(sα)ǫ/2q(tαsα)ǫ/2θα(σǫ(t))
1q(sα)1/2q(tαsα)1/2θα(t)
We see that dα,ǫ(t) extends to an invertible analytic function on U×[1,1] if none
of the quotients fn/gnhas a zero or a pole on this domain. By Condition 2.1.1.c
there is a unique bw(log(c) + B) such that t=w(u) exp(b). This defines a
coordinate system on w(uc) exp(B), and σǫ(t) = w(u) exp(ǫb). By Condition 2.1.1.d,
if either fn(t) = 0 or gn(t) = 0 for some tw(uc exp(B)) U, then fn(w(uc)) =
gn(w(uc)) = 0. One can easily check that in this situation
fn(t)
gn(t)= 1eα(b)ǫ
1eα(b)!(1)n
.
Again by Condition 2.1.1.d the only critical points of this function are those for
which α(b) = 0. For ǫ6= 0 both the numerator and the denominator have a zero of
60
order 1 at such points, so the singularity is removable. For the case ǫ= 0 we need
to have a closer look. In our new coordinate system we can write
cα,ǫ(σǫ(t)) = f2(t)f4(t)
g1(t)g3(t)=
u(w1α) + q(sα)1/2q(tαsα)1/2eα(b)ǫ
u(w1α) + eα(b)ǫ
u(w1α)q(sα)1/2q(tαsα)1/2eα(b)ǫ
u(w1α)eα(b)ǫ.
Standard calculations using L’Hospital’s rule show that
lim
ǫ0cα,ǫ(σǫ(t)) =
1 if u(w1α)26= 1
2α(b) + log q(sα)log q(tαsα)
2α(b)if u(w1α) = 1
2α(b) + log q(sα) + log q(tαsα)
2α(b)if u(w1α) = 1.
In other words,
lim
ǫ0cα,ǫ(σǫ(t)) = (ku,α +α(b))(b) = ˜cα(b) if α(w1u)2= 1.(4.4)
Thus at least dα,0= limǫ0dα,ǫ exists as a meromorphic function on U. For
u(w1α)26= 1, dα,0=c1
αis invertible by Condition 2.1.1.d. For u(w1α) = 1
we have
dα,0(t) = 1eα(b)
α(b)
α(b) + log q(sα)/q(tαsα)/2
1q(sα)1/2q(tαsα)1/2eα(b)
1 + eα(b)
1 + q(sα)1/2q(tαsα)1/2eα(b)
while for u(w1α) = 1
dα,0(t) = 1eα(b)
α(b)
1 + eα(b)
1 + q(sα)1/2q(tαsα)1/2eα(b)
α(b) + log q(sα)q(tαsα)/2
1q(sα)1/2q(tαsα)1/2eα(b)
These expressions define invertible functions by Condition 2.1.1.c. We conclude that
dα,ǫ(t) and d1
α,ǫ(t) are indeed analytic functions on U×[1,1]. Since this domain is
compact, they are bounded. 2
We can use Lemma 4.1.1 to show that the maps ρǫpreserve analyticity:
Proposition 4.1.2. The maps (4.3) restrict to isomorphisms of topological algebras
ρǫ:Han
ǫ(Uǫ)
Han(U)
There is a well-defined limit homomorphism
ρ0= lim
ǫ0ρǫ:C[We] Han(U)
such that for every wWethe map
[1,1] Han(U) : ǫ7→ ρǫ(Nw)
is analytic.
61
Proof. The first statement is [Opd2, Theorem 5.3], but for the remainder we
need to prove this anyway. It is clear that ρǫrestricts to an isomorphism between
Can(Uǫ) and Can (U). For a simple reflection sαS0corresponding to αF0we
have
Ns+q(s)ǫ/2=q(s)ǫ/2cα,ǫ(ı0
s,ǫ + 1)
ρǫ(Ns) = q(s)ǫ/2(cα,ǫ σǫ)(ı0
s+ 1) q(s)ǫ/2
=q(s)(ǫ1)/2(cα,ǫ σǫ)c1
αNs+q(s)1/2q(s)ǫ/2
=q(s)(ǫ1)/2dα,ǫNs+q(s)1/2q(s)ǫ/2
(4.5)
By Lemma 4.1.1 such elements are analytic in ǫ[1,1] and tU, so in particular
they belong to Han(U). Moreover, since every dα,ǫ is invertible and by (1.26), the
set {ρǫ(Nw) : wW0}is a basis for Han(U) as a Can(U)-module. Therefore ρǫ
restricts to an isomorphism between the topological algebras Han
ǫ(Uǫ) and Han(U)
for ǫ6= 0.
Given any wWe, there is a unique xX+such that wW0xW0. By Lemma
1.2.2 there exist unique coefficients cw,u,v(q)Csuch that
Nw=X
uWx,vW0
cw,u,v (q)NuθxNv.
From (1.4) we see that in fact cw,u,v (q)Q{q(s)1/2:sSaff }, so in particular
these coefficients depend analytically on q. Moreover ρǫ(θx) = θxσǫdepends
analytically on ǫ, as a function on U, so
ρǫ(Nw) = X
uWx,vW0
cw,u,v (qǫ)ρǫ(Nu)(θxρǫ)ρǫ(Nv)
is analytic in ǫ[1,1]. Thus ρ0exists as a linear map. But, being a limit of
algebra homomorphisms, it must also be multiplicative. 2
Suppose that uTun is W0-invariant, so that
expu:W0(log(c) + B)U=uW0cexp(B)
is a W0-equivariant bijection. Then clearly
σǫexpu= expuλǫ:ǫW0(log(c) + B)Uǫ.(4.6)
Let Φube as in (2.5), with V=W0log(c) + B. It follows from (4.6), (4.1) and (4.3)
that
mǫΦu,ǫ = Φuρǫǫ[1,1] \ {0}
as maps Hme
ǫ(Uǫ)Cme(W0log(c) + B)W0Z(H(˜
Ru,ku)) H(˜
Ru, ku). The maps Φu,ǫ
can also be defined for ǫ0, simply by
Φu,0(fNw) = (fexpu)wCan(t)W0Z(H(˜
Ru,ku)) H(˜
Ru, ku),
62
where fCan(T) and wW0. By (4.5) for αF0
mǫΦu,ǫ(Nsα) = mǫΦu,ǫq(sα)ǫ/2cα,ǫ(ı0
s,ǫ + 1) q(sα)ǫ/2
=mǫq(sα)ǫ/2(cα,ǫ expu)(˜ısα + 1) q(sα)ǫ/2
=q(sα)ǫ/2(cα,ǫ expuλǫ)(˜ısα+ 1) q(sα)ǫ/2
=q(sα)ǫ/2(cα,ǫ expuλǫc1
α(sα+ 1) q(sα)ǫ/2
The W0-invariance of uimplies that α(u)2= 1, so by (4.4) lim
ǫ0(cα,ǫexpuλǫc1
α= 1.
Hence
lim
ǫ0mǫΦu,ǫ(Nsα) = sα=m0Φu,0(Nsα).
On the other hand, it is clear that for fC[X]
=O(T)
lim
ǫ0mǫΦu,ǫ(f) = lim
ǫ0fexpuλǫ=f(u) = m0Φu,0(f).
Since ρ0= limǫ0ρǫexists, we can conclude that
m0Φu,0= Φuρ0:C[XW0]H(˜
Ru, ku).(4.7)
4.2 Preserving unitarity
Proposition 4.1.2 shows that for ǫ[1,1] \{0}there is an equivalence between the
categories Modf,U (H) and Modf ,Uǫ(Hǫ). It would be nice if this equivalence would
preserve unitarity, but that is not automatic. In fact these categories are not even
closed under taking duals of H-representations.
From (3.3) we see that an H-representation with central character W0tcan only
be unitary if t1W0t, where t1(x) = t(x) for xX. To define a * on Han(U)
we must thus replace Uby
U±1:= U {t1:tU}.
Let ±W0be the group 1} ×W0, which acts on Tby w(t) = w(t)1. The above
means that we need the following strengthening of Condition 2.1.1.e:
(e’) As Condition 2.1.1.e, but with ±W0Γ instead of W.
Lemma 4.1.1 and Proposition 4.1.2 remain valid under this condition, with the same
proof. Equations (3.3) and (1.20) show that the involution from Hextends naturally
to Hme(U±1)Γ by
(Nγf)=Nw0(f w0)N1
w0Nγ1γW, f Cme(U±1),(4.8)
where w0is the longest element of W0. According to [Opd2, (4.56)]
(ı0
w)=Nw0Y
αR+
0wR
0
cα
cα
ı0
wN1
w0,(4.9)
63
where wW0and w=w0w1w0. We extend the map from Proposition 4.1.2 to
ρǫ:Han
ǫ(Uǫ)Γ Han(U)Γ by defining ρǫ(Nγ) = Nγfor γΓ. Usually the
maps ρǫdo not preserve the *, but this can be fixed. For ǫ[1,1] consider the
element
Mǫ=ρǫ(N1
w0)Nw0YαR+
0
dα,ǫ Han(U)
We will use Mǫto extend [Opd2, Corollary 5.7]. However, this result contained a
small mistake: the element Aǫin [Opd2] is not entirely correct, we replace it by Mǫ.
Theorem 4.2.1. For all ǫ[1,1] the element Mǫ Han (U±1)is invertible,
positive and bounded. It has a positive square root M1/2
ǫand the map ǫ7→ M1/2
ǫis
analytic. The map
˜ρǫ:Han
ǫ(Uǫ)Γ Han(U±1)Γ, h 7→ M1/2
ǫρǫ(h)M1/2
ǫ
is a homomorphism of topological *-algebras, and an isomorphism if ǫ6= 0. For any
wWeΓthe map
[1,1] Han(U±1)Γ : ǫ7→ ˜ρǫ(Nw)
is analytic.
Proof. By Lemma 4.1.1 and Proposition 4.1.2 the Mǫare invertible, bounded
and analytic in ǫ. Consider, for ǫ6= 0, the automorphism µǫof Hme(U±1) given by
µǫ(h) = ρǫ(ρ1
ǫ(h)).
We will discuss its effect on three kinds of elements. Firstly, for fCme(U±1) we
have, by (4.8) and the W0-equivariance of σǫ:
µǫ(f) = ρǫ((fσǫ))
=ρǫNw0(f(w0)σǫ)N1
w0
=ρǫ(N1
w0)f w0ρǫ(Nw0 )
=ρǫ(N1
w0)Nw0f N 1
w0ρǫ(Nw0)
=ρǫ(N1
w0)Nw0Q
αR+
0
dα,ǫfQ
αR+
0
d1
α,ǫN1
w0ρǫ(Nw0)
=MǫfM 1
ǫ.
(4.10)
Secondly, suppose that the simple reflections sand s=w0sw0S0correspond to
αand put w0αF0. Using Propostion 1.5.1.b for Hme
ǫ(U±1) and (4.9) we find
Mǫı0
sM1
ǫ=ρǫ(N1
w0)Nw0Q
αR+
0
dα,ǫı0
sQ
αR+
0
d1
α,ǫN1
w0ρǫ(Nw0)
=ρǫ(N1
w0)Nw0ı0
sd1
α,ǫdα,ǫ N1
w0ρǫ(Nw0)
=ρǫ(N1
w0)Nw0ı0
s
cα
cα
N1
w0Nw0
cα,ǫ σǫ
cα,ǫ σǫ
N1
w0ρǫ(Nw0)
=ρǫ(N1
w0)(ı0
s)cα σǫ
cα σǫ
ρǫ(Nw0)
=ρǫ(Nw0)cα σǫ
cα σǫ
ı0
sρǫ(N1
w0)
=ρǫNw0
cα
cα
ı0
sN1
w0
=ρǫ(ı0
s,ǫ)=µǫ(ı0
s).
(4.11)
64
Thirdly, for γΓ by definition
µǫ(Nγ) = ρǫ(ρ1
ǫ(Nγ))=ρǫ(N1
γ)= (N1
γ)=Nγ.
Since elements of the above three types generate Hme(U±1)Γ, we conclude that
µǫ(h) = MǫhM1
ǫfor all h Hme(U±1)Γ.
Now we can see that
ρǫN1
w0=ρǫ(N
w0)1=ρǫ(N1
w0)
=µǫρǫ(N1
w0),=Mǫρǫ(N1
w0)M1
ǫ
Ne=M1
ǫρǫ(N1
w0)Nw0Q
αR+
0
dα,ǫ =ρǫ(N1
w0)M1
ǫNw0Q
αR+
0
dα,ǫ,
Mǫ=Nw0Q
αR+
0
dα,ǫρǫ(N1
w0) = ρǫ(N1
w0)Nw0Q
αR+
0
dα,ǫ
=ρǫ(N1
w0)Nw0QαR+
1dα,ǫ=M
ǫ
Thus the elements Mǫare Hermitian ǫ6= 0. By continuity in ǫ, M0is also Her-
mitian. Moreover they are all invertible, and M1=Ne, so they are in fact strictly
positive. We already knew that the element ǫ7→ Mǫof
Can([1,1]; Han(U±1))
=Can([1,1] ×U±1)AH
is bounded, so we can construct its square root using holomorphic functional calculus
in the Fechet algebra Can
b([1,1] ×U±1)AH, where the subscript bdenotes
bounded functions. This ensures that ǫM1/2
ǫis still analytic. Finally, for ǫ6= 0
˜ρǫ(h)=M1/2
ǫρǫ(h)M1/2
ǫ
=M1/2
ǫρǫ(h)M1/2
ǫ
=M1/2
ǫµǫ(ρǫ(h))M1/2
ǫ
=M1/2
ǫρǫ(h)M1/2
ǫ= ˜ρǫ(h)
(4.12)
Again this extends to ǫ= 0 by continuity. 2
Corollary 4.2.2. For uc Uand ǫ[1,1] there is a family of additive functors
˜σǫ,uc : Modf ,W uc(HΓ) Modf, W σǫ(uc)(HǫΓ),
(π, V )7→ (π˜ρǫ, V )
with the following properties:
(a)for all wWeΓand (π, V )the map [1,1] EndC(V) : ǫ7→ ˜σǫ,uc(π)(Nw)
is analytic;
(b)for ǫ6= 0 , σǫ,uc is an equivalence of categories;
(c) ˜σǫ,uc preserves unitarity;
65
(d)for ǫ < 0,˜σǫ,uc exchanges tempered and anti-tempered modules, where anti-
tempered means that |s|1Tfor all A-weights sT;
(e)for ǫ0,˜σǫ,uc preserves temperedness;
(f)for ǫ > 0,˜σǫ,uc preserves the discrete series.
Proof. Parts (a), (b) and (c) follow immediately from Theorem 4.2.1. Let (π, V )
be a finite dimensional Han (U±1)Γ-representation. Conjugation by M1/2
ǫdoes
not change the isomorphism class of π, so ˜σǫ,uc(π) has the same Aǫ-weights as πρǫ,
which by construction are σǫof the A-weights of π. Now parts (d), (e) and (f) are
obvious consequences of |σǫ(t)|=|t|ǫ.2
As the notation indicates, ˜σǫ,uc depends on the previously chosen base point uc.
For one tTthere can exist several possible base points such that tU, and these
could in principle give rise to different functors ˜σǫ,t. This ambiguity disappears if
we restrict to t=uc in Corollary 4.2.2. Then
˜σǫ:= MtT/W0
˜σǫ,t : Modf(HΓ) Modf(HǫΓ)
is an additive functor which also has the properties described in Corollary 4.2.2.
The functor ˜σǫwas already used in [OpSo1, Theorem 1.7].
The image of ˜σ0is contained in ModTu n (C[We]), so this map is certainly not
bijective, not even after passing to the associated Grothendieck groups of modules.
Nevertheless ˜σ0clearly is related to the map Spr from Section 2.3, in fact these maps
agree on irreducible tempered HΓ-modules:
Lemma 4.2.3. Suppose that ǫ[1,1], uc TunTrs and tTP(u). Let Γ
ube a
subgroup of W
Fu,u and πModf,(W(Ru)Γ
u)uc(H(˜
Ru, qu)Γ
u).
(a)The following HǫΓ-representations are canonically isomorphic:
˜σǫIndHΓ
H(Ru,qu)Γ
u(πφt),IndHǫΓ
H(Ru,qǫ
u)Γ
u˜σǫ(π)φt|t|ǫ1),
IndHΓ
H(Ru,qu)Γ
u(πφt)ρǫ,IndHǫΓ
H(Ru,qǫ
u)Γ
u(πφt)ρǫ.
(b) ˜σ0= Spr on Irr(SΓ).
Proof. (a) By definition ˜σǫis given by composition with ˜ρǫ, and the difference
between ρǫand ˜ρǫis only an inner automorphism. Hence the map
˜σǫIndHΓ
H(Ru,qu)Γ
u(πφt)IndHΓ
H(Ru,qu)Γ
u(πφt)ρǫ:v7→ M1/2
ǫv
is an invertible intertwiner.
The two representations in the right hand column are naturally isomorphic if
and only if the H(Ru, qǫ
u)Γ
u-representations
˜σǫ(π)φt|t|ǫ1and πφtρǫ(4.13)
66
are so. Notice that φtand φt|t|ǫ1are well-defined because tTP(u)TW(Ru). As
we just showed, the left hand side of (4.13) is naturally isomorphic to πρǫφt|t|ǫ1.
Applying σǫonce with center uct and once with center uc results in
σǫ,uct(uct) = ut|t|1cǫ|t|ǫ=σǫ,uc (uc)t|t|ǫ1.
This implies that ρǫ,uc φt|t|ǫ1=φtρǫ,uct, which shows that the representations
(4.13) can indeed by identified.
Now we turn to the most difficult case, the two representations in the bottom
row. In view of Theorem 2.1.2.b
IndHΓ
H(Ru,qu)Γ
u(πφt)ρǫand IndHǫΓ
H(Ru,qǫ
u)Γ
uπφtρǫ
are isomorphic if only if the
H(Ru, qǫ
u)an(Uǫ,u)W
Fu,u-representation IndH(Ru,qǫ
u)W
Fu,u
H(Ru,qǫ
u)Γ
uπφtρǫ
corresponds to the
1W
uuc(H(R, qǫ)an(Uǫ)Γ)1W
uuc-representation 1W
uucIndHΓ
H(Ru,qu)Γ
u(πφt)ρǫ
via the isomorphism from Theorem 2.1.2.a. It is clear from the definition (4.3) that
IndH(Ru,qǫ
u)W
Fu,u
H(Ru,qǫ
u)Γ
u(πφt)ρǫ
=IndH(Ru,qǫ
u)W
Fu,u
H(Ru,qǫ
u)Γ
u(πφt)ρǫ,
so it suffices to show that the following diagram commutes:
H(Ru, qǫ
u)an(Uǫ,u )W
Fu,u 1W
uuc(H(R, qǫ)an(Uǫ)Γ)1W
uuc
ρǫρǫ
H(Ru, qu)an(Uu)W
Fu,u 1W
uuc(H(R, q)an(U)Γ)1W
uuc.
For elements of H(Ru, qǫ
u)an(Uǫ,u ) this is easy, since the effect of the vertical arrows
is only extension of functions from Uǫ,u (resp. Uu) to Uǫ(resp. U) by 0. For elements
of W
Fu,u the commutativity follows from (2.2) and (4.3).
(b) By Corollary 2.1.5.b every irreducible tempered HΓ-representation πis of the
form IndHΓ
H(Ru,qu)W
Fu,u πΦu) for some ˜πIrr0H(Ru, qu)an(Uu)W
Fu,u. By
Theorem 2.3.1.d
Spr(π) = IndXW
XW
uCu˜πW
u.
Using (4.7) we can rewrite
Cu˜πW
u=Cuπm0)W
u= ˜πm0Φu,0= ˜πΦuρ0
=˜πΦu˜ρ0= ˜σ0(˜πΦu).
Now we can apply part (a):
Spr(π)
=IndXW
XW
u˜σ0πΦu)
=˜σ0IndHΓ
H(Ru,qu)W
Fu,u πΦu)= ˜σ0(π).2
67
4.3 Scaling intertwining operators
We will show that the scaling maps ˜σǫgive rise to scaled versions of the intertwining
operators πΓ(g, ξ ). We will use this to study the behaviour of the components of the
Fourier transform of SΓ under scaling of q.
As we remarked at the start of Section 4.1, the results of that section can easily
be extended to HΓ, and we will use that generality here. Recall that the groupoid
Gfrom (3.13) includes Γ and is defined independently of q. Let us realize the
representation
πΓ
ǫ(P, ˜σǫ(δ), t) on CWP]Vδas IndHǫΓ
HP
ǫ(δ˜ρǫφt,ǫ).
For all ǫ[1,1] we obtain algebra homomorphisms
Fǫ:H(R, qǫ)ΓMP,δ O(TP)EndC(CWP]Vδ),
Fǫ(h)(P, δ, t) = πΓ
ǫ(P, ˜σǫ(δ), t, h).
(4.14)
Rational intertwining operators πΓ
ǫ(g, P, δ, t) can be defined as in (3.12) for all Hǫ-
representations of the form πΓ
ǫ(P, δ, t), where δis irreducible but not necessarily
discrete series. In particular, for ǫ6= 0 the (P, δ)-component of the image of Fǫis
invariant under an action of the group
GP,˜σǫ(δ):= {g G :g(P) = P, ˜σǫ(δ)ψ1
g
=˜σǫ(δ)}
via such intertwiners. As in (3.16), the action is not on polynomial but on rational
sections.
Proposition 4.3.1. Let ǫ[1,1] \ {0}, let g G with g(P)F0and let δbe a
discrete series representation of Hg(P)that is equivalent to δψ1
g.
(a)The Hg(P)-representations ˜σǫ(δ)and ˜σǫ(δ)ψ1
g,ǫ are unitarily equivalent.
(b)GP,˜σǫ(δ)=GP,δ and GP,˜σǫ(δ),t =GP,δ,t for all tTP.
(c)The intertwiners πΓ
ǫ(g, P, ˜σǫ(δ), t)HomCCWP]Vδ,CWg(P)]Vδde-
pend rationally on tTPand analytically on ǫ, whenever they are regular.
(d)For tTP
un the πΓ
ǫ(g, P, ˜σǫ(δ), t)are regular and unitary, and πΓ
0(g, P, ˜σ0(δ), t) :=
limǫ0πΓ
ǫ(g, P, ˜σǫ(δ), t)exists.
Proof. (a) First we show that
ψgρǫ=ρǫψg,ǫ.(4.15)
Write g=γ1uwith uKPand γW0Γ. The automorphism ψufrom (1.19)
reflects the translation of TPby uTP
un: that changes Uto uU , but apart from
that it commutes with σǫ. Hence ψuρǫ=ρǫψu,ǫ .
68
The isomorphism ψγ:HP Hγ(P)from (1.15) is more difficult to deal with,
because it acts nontrivially on the Nwwith wWP. However, by Propostion 1.5.1.d
this is the restriction to HPof the automorphism
ψγ:h7→ ı0
γ0
γ1of the algebra C(T/W0)Z(H)HΓ.
Similarly ψγ,ǫ (h) = ı0
γ,ǫ 0
γ1. From these formula it is clear that ψγρǫ=ρǫψγ,ǫ
on Hme
ǫ(Uǫ). This establishes (4.15).
Let Ig
δ:VδVδbe as in (3.11). We claim that
v7→ Ig
δδ(ψ1
g(M1/2
ǫ)M1/2
ǫ)v(4.16)
is an intertwiner between ˜σǫ(δ)ψ1
g,ǫ and ˜σǫ(δ). Indeed, for vVδand h Han
ǫ(Uǫ):
Ig
δδ(ψ1
g(M1/2
ǫ)M1/2
ǫσǫ(δ)ψg(h)v=
Ig
δδ(ψ1
g(M1/2
ǫM1/2
ǫ)δ(M1/2
ǫρǫ(ψ1
g,ǫ h)M1/2
ǫ)v=
Ig
δδψ1
g(M1/2
ǫρǫ(h)M1/2
ǫ)δ(ψ1
g(M1/2
ǫ)M1/2
ǫ)v=
δ(M1/2
ǫρǫ(h)M1/2
ǫ)Ig
δδ(ψ1
g(M1/2
ǫ)M1/2
ǫ)v=
˜σǫ(δ)(h)Ig
δδ(ψ1
g(M1/2
ǫ)M1/2
ǫ)v.
Obviously (4.16) is invertible, so it is an equivalence between the irreducible rep-
resentations ˜σǫ(δ)ψ1
g,ǫ and ˜σǫ(δ). Since both are unitary, there exists a unitary
intertwiner between, which by the irreducibility must be a scalar multiple of (4.16).
We define Ig
δ,ǫ as the unique positive multiple of (4.16) that is unitary.
(b) By part (a)
g(P, ˜σǫ(δ), t) = (g(P),˜σǫ(δ)ψ1
g,ǫ , g(t))
=(g(P),˜σǫ(δ), g(t))
=(g(P),˜σǫ(δψ1
g), g(t)),
so the stabilizer of (P, ˜σǫ(δ), t) does not depend on ǫ[1,1].
(c) By Theorem 4.2.1 Ig
δ,ǫ depends analytically on ǫ[1,1]. By definition ı0
γis
rational in tTand analytic in ǫ, away from the poles. By definition (3.12)
πΓ
ǫ(g, P, ˜σǫ(δ), t)(hHP
ǫv) = 0
γHg(P)
ǫIg
δ,ǫ(v),
so πΓ
ǫ(g, P, ˜σǫ(δ), t) has the required properties.
(d) All possible singularities of the intertwining operators come from poles and
zero of the c-functions from (1.23). By Theorem 3.1.5.c πΓ
ǫ(g, P, ˜σǫ(δ), t) is unitary
for all tTP
un and ǫ(0,1]. In particular all the singularities on this domain are
removable. On the other hand, the explicit formula for cαshows that the singularities
for qǫ(ǫ6= 0) and tTun are the same as those for qand tTun. Therefore
πΓ
ǫ(g, P, ˜σǫ(δ), t) is also regular for ǫ[1,0) and tTP
un.
Since these linear maps are analytic in ǫ[1,1]\{0}and unitary for ǫ > 0, they
are also unitary for ǫ < 0. Hence all the matrix coefficients of πΓ
ǫ(g, P, ˜σǫ(δ), t) are
uniformly bounded on TP
un×[1,1]\{0}, which implies that every possible singularity
at ǫ= 0 is removable. In particular limǫ0πΓ
ǫ(g, P, ˜σǫ(δ), t) exists. 2
69
We fix a discrete series representation δof HPand we abbreviate
AP,δ := C(TP
un)C(CWP]Vδ).
Proposition 4.3.1 says among others that for g GP,δ
[1,1] A×
P,δ :ǫ7→ πΓ
ǫ(g, P, ˜σǫ(δ),·)
is an analytic map. The group GP,˜σǫ(δ)=GP,δ acts on AP,δ by
(g·ǫf)(t) = πΓ
ǫ(g, P, ˜σǫ(δ), g1t)f(g1t)πΓ
ǫ(g, P, ˜σǫ(δ), g1t)1.(4.17)
By construction the δ-component of the image of Fǫconsists of GP, ˜σǫ(δ)-invariant
sections for ǫ6= 0, and by Proposition 4.3.1 this also goes for ǫ= 0. We intend
to show that the algebras AGP, ˜σǫ(δ)
P,δ for ǫ[1,1] are all isomorphic. (Although
GP,˜σǫ(δ)=GP,δ we prefer the longer notation here, because it indicates which action
on AP,δ we consider.) We must be careful when taking invariants, because
GP,δ A×
P,δ :g7→ πΓ
ǫ(g, P, ˜σǫ(δ),·) (4.18)
is not necessarily a group homomorphism. However, the lack of multiplicativity is
small, it is only caused by the freedom in the choice of a scalar in (3.11). In other
words, (4.18) defines a projective representation of GP,δ on AP,δ . Recall [CuRe,
Section 53] that the Schur multiplier G
P,δ is a finite central extension of GP,δ , with
the property that every projective representation of GP,δ lifts to a unique linear
representation of G
P,δ . This means that for every lift g G
P,δ of g GP,δ there is
a unique scalar multiple πΓ
ǫ(g, P, ˜σǫ(δ),·) of πΓ
ǫ(g, P, ˜σǫ(δ),·) such that
G
P,δ A×
P,δ :g7→ πΓ
ǫ(g, P, ˜σǫ(δ),·)
becomes multiplicative. Since πΓ
ǫ(g, P, ˜σǫ(δ),·) is unitary, so is πΓ
ǫ(g, P, ˜σǫ(δ),·).
Notice that GP,δ and G
P,δ fix the same elements of AP, because the action (4.17) is
defined via conjugation with πΓ
ǫ(g, P, ˜σǫ(δ),·). According to [CuRe, Section 53] the
way lift (4.18) from GP,δ to G
P,δ is completely determined by the cohomology class
of the 2-cocycle
GP,δ × GP,δ C×: (g1, g2)7→ Ig1
δ,ǫIg2
δ,ǫIg1
2g1
1
δ,ǫ .(4.19)
This cocycle depends analytically on ǫand GP is a finite group, so the class of
(4.19) in H2(GP,δ ,C) does not depend on ǫ. (In most cases this cohomology class
is trivial, but examples are known in which it is nontrivial, see [DeOp2, Section
6.2].) Hence the ratio between πΓ
ǫ(g, P, ˜σǫ(δ),·) and πΓ
ǫ(g, P, ˜σǫ(δ),·) also depends
analytically on ǫ.
For g G
P,δ we define λg:TPTPby λg(t) = g(t). In the remainder of this
section we will work mostly with G
P,δ , and to simplify the notation we will denote
its typical elements by ginstead of g. For g G
P,δ and tTP
un we write
ug,ǫ(t) := πΓ
ǫ(g, λ1
g(t)),
70
so that the multiplicativity translates into
ugg =ug(ug λ1
g).(4.20)
From the above we know that ug,ǫ AP,δ is unitary and analytic in ǫ. These
elements can be used to identify AGP, ˜σǫ(δ)
P,δ with a corner in a larger algebra. Consider
the crossed product AP,δ λG
P,δ , where the action of G
P,δ on AP,δ comes only from
the action on C(TP
un) induced by the λg. In particular this action is independent of
ǫ. On AP,δ λG
P,δ we can define actions of G
P,δ by
g·ǫa=ug,ǫgag1u1
g,ǫ .(4.21)
For aAP,δ this recovers the action (4.17). An advantage of introducing the Schur
multiplier is that, by (4.20), g7→ ug,ǫgis a homomorphism from G
P,δ to the unitary
group of AP,δ λG
P,δ . Hence
[1,1] AP,δ λG
P,δ :ǫ7→ pδ,ǫ := |G
P,δ |1Xg∈G
P,δ
ug,ǫg(4.22)
is a family of projections, depending analytically on ǫ. This was first observed in
[Ros] and worked out in [Sol3, Lemma A.2],
AGP,˜σǫ(δ)
P,δ pδ,ǫ(AP λG
P,δ )pδ,ǫ :a7→ pδ,ǫapδ,ǫ (4.23)
is an isomorphism of Fr´echet *-algebras. Its inverse is the map
Xg∈G
P,δ
agg7→ |G
P,δ |ae.
Lemma 4.3.2. The Fr´echet *-algebras AGP,˜σǫ(δ)
P,δ
=pδ,ǫ(AP,δ λG
P,δ )pδ,ǫ are all iso-
morphic, by C(TP
un)GP -linear isomorphisms that are piecewise analytic in ǫ.
Proof. According to [Phi, Lemma 1.15] the projections pδ(uǫ) are all conjugate,
by elements depending continuously on ǫ. That already proves that all the Fechet
algebras AGP,˜σǫ(δ)
P,δ are isomorphic. Since C(TP
un)GP is the center of both AGP, ˜σǫ(δ)
P,δ
and pδ,ǫ(AP,δ λG
P,δ )pδ,ǫ, these isomorphisms are C(TP
un)GP -linear.
To show that the isomorphisms can be made piecewise analytic we construct
the conjugating elements explicitly, using the recipe of [Bla, Proposition 4.32]. For
ǫ, ǫ[1,1] consider
z(δ, ǫ, ǫ) := (2pδ,ǫ)1)(2pδ,ǫ)1) + 1 AP λG
P,δ .
Clearly this is analytic in ǫand ǫand
pδ,ǫz(δ, ǫ, ǫ) = 2pδ,ǫpδ,ǫ =z(δ, ǫ, ǫ)pδ,ǫ.
The enveloping C-algebra of AP,δ λG
P,δ is
Cδ:= EndCCWP]VδC(TP
un)λG
P,δ .
71
Let k·k be its norm and suppose that kpδ(uǫ)pδ(u
ǫ)k<1. Then
kz(δ, ǫ, ǫ)2k=
4pδ,ǫpδ,ǫ 2pδ,ǫ 2pδ,ǫ
=
2(pδ,ǫ pδ,ǫ)2
2
pδ,ǫ pδ,ǫ
2<2
so z(δ, ǫ, ǫ) is invertible in Cδ. But AP λG
P,δ is closed under the holomorphic
functional calculus of Cδ, so z(δ, ǫ, ǫ) is also invertible in this Fechet algebra. More-
over, because the Fr´echet topology on AP,δ λG
P,δ is finer than the induced topology
from Cδ, there exists an open interval Iǫcontaining ǫsuch that z(δ, ǫ, ǫ) is invertible
for all ǫIǫ. For such ǫ, ǫwe construct the unitary element
u(δ, ǫ, ǫ) := z(δ, ǫ, ǫ)|z(δ, ǫ, ǫ)|1AP,δ λG
P,δ .
By construction the map
pδ,ǫ(AP,δ λG
P,δ )pδ,ǫ pδ,ǫ(AP,δ λG
P,δ )pδ,ǫ:x7→ u(δ, ǫ, ǫ)xu(δ, ǫ, ǫ)1(4.24)
is an isomorphism of Fechet *-algebras. Notice that (4.24) also defines an isomor-
phism between the respective C-completions.
Let us pick a finite cover {Iǫi}m
i=1 of [1,1]. Then for every ǫ, ǫ[1,1] an iso-
morphism between pδ,ǫ(AP,δ λG
P,δ )pδ,ǫ and pδ,ǫ(AP,δ λG
P,δ )pδ,ǫcan be obtained
by composing at most misomorphisms of the form (4.24). 2
4.4 Scaling Schwartz algebras
It follows from Corollary 4.2.2 that, for ǫ(0,1], the functor ˜σǫis an equivalence
between the categories of finite dimensional tempered modules of Hand of Hǫ=
H(R, qǫ). We will combine this with the explicit description of the Fourier transform
of S(R, q) from Theorem 3.2.2 to construct ”scaling isomorphisms”
ζǫ:S(R, qǫ)Γ S(R, q)Γ.
These algebra homomorphisms depend continuously on ǫand they turn out to have
a well-defined limit
ζ0:S(We)Γ = S(R, q0)Γ S(R, q)Γ.
Although ζ0is no longer surjective, it provides the connection between the repre-
sentation theories of S(R, q) and S(We) that we already discussed in Section 2.3.
Recall from (3.25) that is a set of representatives for G-association classes of
discrete series representations of parabolic subalgebras of H, and that
F:S(R, q)ΓM(P,δ)C(TP
un)EndC(CWP]Vδ)GP (4.25)
is an isomorphism of Fr´echet *-algebras. Together with (4.14) and Lemma 4.3.2,
this implies the existence of a continuous family of algebra homomorphisms, with
some nice properties:
72
Proposition 4.4.1. There exists a collection of injective *-homomorphisms
ζǫ:H(R, qǫ)Γ S(R, q)Γǫ[1,1],
such that:
(a)For ǫ < 0(respectively ǫ > 0) the map π7→ πζǫis an equivalence between
Modf(S(R, q)Γ) and the category of finite dimensional anti-tempered (respec-
tively tempered) H(R, qǫ)Γ-modules.
(b)ζ1:HΓ S Γis the canonical embedding.
(c)ζǫ(Nw) = Nwfor all wZ(We).
(d)For all wWethe map
[1,1] S(R, q )Γ : ǫ7→ ζǫ(Nw)
is piecewise analytic, and in particular analytic at 0.
(e)For all πModf(S(R, q)Γ) the representations πζǫand ˜σǫ(π)are equivalent.
In particular πΓ(P, δ, t)ζǫ
=πΓ
ǫ(P, ˜σǫ(δ), t)for all (P, δ, t)Ξun.
(f)ζǫpreserves the trace τ.
Proof. Let ζP,δ,ǫ :AGP,˜σǫ(δ)
P,δ AGP,δ
P,δ be the isomorphism from Lemma 4.3.2. We
already observed that δ-component of the image of Fǫis invariant under GP,˜σǫ(δ), so
we can define
ζǫ:= F1M(P,δ)ζP,δ,ǫ Fǫ.
Now (b) holds by construction and (c) follows from the C(TP
un)GP -linearity in
Lemma 4.3.2. For (d) we use Theorem 4.2.1 and Lemma 4.3.2. From the last lines
of the proof of Lemma 4.3.2 we see how we can arrange that ζǫis analytic at 0: it
suffices to take ǫi= 0 and to use the elements u(δ, 0, ǫ) for ǫin a neighborhood of
ǫ= 0.
Any finite dimensional module decomposes canonically as a direct sum of parts
corresponding to different central characters. Hence in (e) it suffices to consider
(π, V )Modf,G(P,δ,t)(S(R, q)Γ).That is, π:S(R, q)ΓEndC(V) factors via
evP,δ,t :S(R, q)ΓEndC(CWP]Vδ), h 7→ πΓ(P, δ, t, h).
As ζǫ,P,δ is C(TP
un)GP -linear, πζǫ:S(R, qǫ)ΓEndC(V) factors via
evP, ˜σǫ(δ),t :S(R, qǫ)ΓEndC(CWP]Vδ).
Moreover, by Lemma 4.3.2 the finite dimensional C-algebras evP,δ,t(S(R, q)Γ)
and evP, ˜σǫ(δ),t (S(R, qǫ)Γ) are isomorphic, by isomorphisms depending continuously
on ǫ[1,1]. We have two families of representations on V, π ζǫand ˜σǫ(π), which
agree at ǫ= 1 and all whose matrix coefficients are continuous in ǫ. Since a finite
dimensional semisimple algebra has only finitely many equivalence classes of repre-
sentations on V, such equivalence classes are rigid under continuous deformations.
73
Therefore πζǫ
=˜σǫ(π) for all ǫ[1,1]. Now Lemma 4.2.3 (or a simpler version
of the above argument) shows that πΓ(P, δ, t)ζǫ
=πΓ
ǫ(P, ˜σǫ(δ), t), concluding the
proof of (e).
Property (a) is a consequence of (e), Corollary 4.2.2 and Lemma 3.1.1.b. Ac-
cording to [Opd2, Lemma 5.5] the scaling maps σǫpreserve the Plancherel measure
µP l for ǫ > 0. By part (e) and Theorem 4.2.1, so do the maps π7→ πζǫ. Now the
last part of Theorem 3.2.2 shows that
τ(ζǫ(h)) = τ(h) for all ǫ(0,1], h HǫΓ.(4.26)
By part (d) there is a small ǫ>0 such that (4.26) also holds for all ǫ[ǫ,0].
Moreover, from the end of the proof of Lemma 4.3.2 we see that we can make
the maps from (d) analytic at any given ǫ[1,1]. Of course this involves some
choices, but they do not influence τbecause they all come from conjugation in
certain algebras. Therefore (4.26) extends to all ǫ[1,1].
As concerns the injectivity of ζǫ, suppose that hker(ζǫ). Then M(t, h) = 0
for all unitary principal series representations M(t). Since Tun is Zariski-dense in T,
Lemma 3.1.2 for HǫΓ shows that h= 0.2
Notice that for ǫ < 0 composition with ζǫdoes not preserve the local (in the
dual space) traces µP l(ξ)tr πΓ(ξ), because by Theorem 3.2.2 and Proposition 4.4.1
˜σǫdoes not preserve the support of the Plancherel measure.
In general ζǫ(HǫΓ) is not contained in HΓ, for two reasons: ζδ,ǫ usually does
not preserve polynomiality, and not every polynomial section is in the image of F.
For ǫ0 the ζǫextend continuously to S(R, qǫ)Γ:
Theorem 4.4.2. For ǫ[0,1] there exist homomorphisms of Fr´echet *-algebras
ζǫ:S(R, qǫ)Γ S(R, q)Γ
ζǫ:C(R, qǫ)ΓC(R, q)Γ
with the following properties:
(a)ζǫis an isomorphism for ǫ > 0, and ζ0is injective.
(b)ζ1is the identity.
(c)ζǫ(h) = hfor all h S(Z(W)).
(d)Let xC(WeΓ) and let h=PwWeΓhwNwwith pn(h)<for all nN.
Then the following maps are continuous:
[0,1] S(R, q )Γ, ǫ 7→ ζǫ(h),
[0,1] B(L2(R, q)), ǫ 7→ ζ1
ǫζ0(x).
(e)For all πModf(S(R, q)Γ) the representations πζǫand ˜σǫ(π)are equivalent.
(f)ζǫpreserves the trace τ.
74
Proof. For any (P, δ) the representation ˜σǫ(δ), although not necessarily
irreducible if ǫ= 0, is certainly completely reducible, being unitary. Hence by
Theorem 3.2.2 every irreducible constituent π1of ˜σǫ(δ) is a direct summand of
IndHǫ,P
HP1
ǫ,P
(δ1φt1)
for a P1P, a discrete series representation δ1of H(RP1, qǫ) and a
t1HomZ(XP)P1, S1= HomZX/(X(P)+QP1), S1Tu
Consequently, πǫ(P, π1, t) is a direct summand of
IndHǫ
HP
ǫIndHǫ,P
HP1
ǫ,P
(δ1φt1)φt,ǫ=πǫ(P1, δ1, tt1)
In particular for tTP
un every matrix coefficient of πΓ
ǫ(P, ˜σǫ(δ), t) appears in the
Fourier transform of S(R, qǫ)Γ, so (4.14) extends to the respective Schwartz
and C-completions, as required. By Corollary 4.2.2.b and (4.25) these maps are
isomorphisms if ǫ > 0. Since (4.24) extends continuously to the appropriate C-
completions, so does the algebra homomorphism ζǫfrom Proposition 4.4.1.
Properties (b), (c), (e) and (f) are direct consequences of the corresponding parts
of Proposition 4.4.1.
To see that ζ0remains injective we vary on the proof of Proposition 4.4.1. By
(e) the family of representations
Itζǫ
=πΓ
ǫ(,˜σǫ(δ), t) = πΓ
ǫ(, δ, t)
with tTun becomes precisely the unitary principal series of WeΓ when ǫ0. By
Lemma 2.2.2 and Frobenius reciprocity every irreducible tempered representation of
H(R, q0)Γ = C[WeΓ] is a quotient of a unitary principal series representation.
Hence every element of C(R, q0)Γ = C(WeΓ) that lies in the kernel of ζ0
annihilates all irreducible tempered WeΓ-representations, and must be 0.
The assumptions in (d) mean that we can consider has an element of S(R, qǫ)
Γ for every ǫ. Moreover the sum PwWeΓhwNwconverges uniformly to hin
S(R, qǫ)Γ. For every finite partial sum hthe map ǫ7→ φǫ(h) is continuous by
Proposition 4.4.1.e, so this also holds for hitself.
For ǫ(0,1] we consider
ζ1
ǫζ0(x)x=F1
ǫM
P,δ
ζ1
P,δ,ǫζP,δ,0(F0(x)) Fǫ(x).(4.27)
Since ζP,δ,0is invertible, both ζ1
P,δ,ǫζP,δ,0(F0(x)) and Fǫ(x) are continuous in ǫand
converge to F0(x) as ǫ0. The continuity of Fǫwith respect to ǫimplies that the
F1
ǫare also continuous with respect to ǫ, so ǫ7→ ζ1
ǫζ0(x) is continuous.
The expression between the large brackets in (4.27) also depends continuously
on ǫand converges to 0 as ǫ0. Furthermore
F1
ǫ:M(P,δ)C(TP
un)EndC(CWP]Vδ)GP ,˜σǫ(δ)B(L2(R, q))
75
is a homomorphism of C-algebras, so it cannot increase the norms. Therefore
lim
ǫ0(ζ1
ǫζ0(x)x) = 0 in B(L2(R, q)).2
The homomorphisms from Theorem 4.4.2 are by no means natural, the construc-
tion involves a lot of arbitrary choices. Nevertheless one can prove [Sol3, Lemma
5.22] that it is possible to interpolate continuously between two such homomor-
phisms, obtained from different choices. In other words, the homotopy class of
ζǫ:S(R, qǫ)Γ S(R, q)Γ is canonical.
It is quite remarkable that ζ0preserves the trace τ, because the measure space
un, µP l ) differs substantially from Tun with the Haar measure (which corresponds
to the algebra S(X)W). For example, the former is disconnected and can have
isolated points, while the latter is a connected manifold. So the preservation of the
trace already indicates that it is not possible to separate all components of Ξun/G
using only elements from the image of ζ0.
Corollary 4.4.3. For πIrr(S(R, q)Γ) we have Spr(π)
=˜σ0(π)
=πζ0, where
Spr is as in Section 2.3. The map ζ0induces a linear bijection
GQ(ζ0) : GQ(S(R, q)Γ) GQ(S(We)Γ).
Proof. The first claim follows from Theorem 4.4.2.e and Lemma 4.2.3.b. The
second statement follows from the first and Theorem 2.3.1.a 2
76
Chapter 5
Noncommutative geometry
Affine Hecke algebras have some clear connections with noncommutative geometry.
Already classical is the isomorphism between an affine Hecke algebra (with one
formal parameter q) and the equivariant K-theory of a Steinberg variety, see [Lus2,
KaLu2, ChGi]. Of a more analytic nature is K-theory of the C-completion C(R, q)
of H(R, q). It is relevant for the representation theory of affine Hecke algebras
because topological K-theory is built from finitely generated projective modules.
Since K-theory tends to be invariant under small perturbations, it is expected [Ply1,
BCH] that K(C(R, q)) does not depend on q. We prove this modulo torsion
(Theorem 5.1.4).
For the algebra H(R, q) periodic cyclic homology is more suitable than K-theory.
Although periodic cyclic homology is not obviously related to representation theory,
there is a link for certain classes of algebras [Sol6]. From [BaNi] it is known that
HP(H(R, q))
=HP(C[We]) when qis an equal parameter function, but the proof
is by no means straightforward.
We connect these two theories via the Schwartz completion of H(R, q). For
this algebra both topological K-theory and periodic cyclic homology are meaning-
ful invariants. Notwithstanding the different nature of the algebras H(R, q) and
S(R, q), they have the same periodic cyclic homology (Theorem 5.2.1). We deduce
the existence of natural isomorphisms
HP(H(R, q))
=HP(S(R, q))
=K(S(R, q)) ZC
=K(C(R, q)) ZC.
Moreover the scaling maps from Chapter 4 provide isomorphisms from these vector
spaces to the corresponding invariants of group algebras of We(Corollary 5.2.2).
Notice the similarity with the ideas of [BHP, Sol4].
Our method of proof actually shows that S(R, q) and S(We) are geometrically
equivalent (Lemma 5.3.1), a term coined by Aubert, Baum and Plymen [ABP1] to
formulate a conjecture for Hecke algebras of p-adic groups. This conjecture (which
we call the ABP-conjecture) describes the structure of Bernstein components in the
smooth dual of a reductive p-adic group. Translated to affine Hecke algebras this
conjectures says among others that the dual of Hcan be parametrized with the ex-
tended quotient e
T /W0. The topological space Irr(H(R, q)), with its central character
map to T/W0, should then by obtained from e
T /W0, with its canonical projection
77
onto T/W0, via translating the components of e
T /W0in algebraic dependence on q.
We verify the ABP-conjecture for all affine Hecke algebras with positive parameters,
possibly extended with a group of diagram automorphisms (Theorem 5.4.2). Hence
the ABP-conjecture holds for all Bernstein components of p-adic groups, whose
Hecke algebras are known to be Morita equivalent to affine Hecke algebras.
In the final section we calculate in detail what happens for root data with R0of
type B2/C2. Interestingly, this also shows that the representation theory of H(R, q)
seems to behave very well under general deformations of the parameter function q.
5.1 Topological K-theory
By means of the canonical basis {Nw:wWeΓ}we can identify the topological
vector spaces underlying the algebras S(R, q)Γ for all positive parameter functions
q. It is clear from the rules (1.4) that the multiplication in affine Hecke algebras
depends continuously on q, in some sense. To make that precise, one endows finite
dimensional subspaces of H(R, q)Γ with their standard topology, and one defines a
topology on the space of positive parameter functions by identifying them with tupels
of positive real numbers. This can be extended to the Schwartz completions: by
[OpSo2, Lemma A.8] the multiplication in S(R, q)Γ is continuous in q, with respect
to the Fechet topology on S(R, q)Γ. This opens the possibility to investigate
this field of Fechet algebras with analytic techniques that relate the algebras for
different q’s, a strategy that was used at some crucial points in [OpSo2].
We denote the topological K-theory of a Fr´echet algebra Aby K(A) = K0(A)
K1(A). Since S(R, q)Γ is closed under the holomorphic functional calculus of
C(R, q)Γ [OpSo2, Theorem A.7], the density theorem [Bos, Th´eor`eme A.2.1]
tells us that the inclusion S(R, q)ΓC(R, q )Γ induces an isomorphism
K(S(R, q)Γ)
=K(C(R, q)Γ).(5.1)
K-theory for C-algebras is homotopy-invariant, so it is natural to expect the fol-
lowing:
Conjecture 5.1.1. For any positive parameter function qthe abelian groups
K(C(We)Γ) and K(C(R, q)Γ) are naturally isomorphic.
This conjecture stems from Higson and Plymen (see [Ply1, 6.4] and [BCH, 6.21]),
at least when Γ = {id}and qis constant on Saff. It is similar to the Connes–
Kasparov conjecture for Lie groups, see [BCH, Sections 4–6] for more background.
Independently Opdam [Opd2, Section 1.0.1] formulated Conjecture 5.1.1 for unequal
parameters. We will discuss its relevance for the representation theory of affine
Hecke algebras, and we will prove a slightly weaker version, obtained by applying
the functor ZQ.
Recall [Phi] that for any unital Fechet algebra A, K0(A) (respectively K1(A))
is generated by idempotents (respectively invertible elements) in matrix algebras
Mn(A). The K-groups are obtained by taking equivalence classes with respect to
the relation generated by stabilization and homotopy equivalence.
78
Lemma 5.1.2. Suppose that
κǫ:K(C(We)Γ) K(C(R, q)Γ) ǫ[0,1]
is a family of group homomorphisms with the following property.
For every idempotent e0Mn(S(R, q0)Γ) = Mn(S(We)Γ) (resp. invertible
element x0Mn(S(R, q0)Γ)) there exists a C-norm-continuous path ǫ7→ eǫ
(resp. ǫ7→ xǫ) in the Fechet space underlying Mn(S(R, q)Γ), such that κǫ[e0] =
[eǫ](resp. κǫ[x0] = [xǫ]).
Then κǫ=K(ζ1
ǫζ0), with ζǫ:C(R, qǫ)ΓC(R, q)Γas in Theorem 4.4.2.
By C-norm-continuous” we mean that the path in B(L2(R, q)) defined by
mapping ǫto the operator of left multiplication by eǫ(with respect to qǫ), is contin-
uous. It follows from [OpSo2, Proposition A.5] that every Fr´echet-continuous path
is C-norm-continuous. By Theorem 4.4.2.d the maps K(ζ1
ǫζ0) have the property
that the κǫare supposed to possess, so at least the statement is meaningful.
Proof. By definition K(ζ1
ǫζ0)[e0] = [ζ1
ǫζ0(e0)], where we extend the ζǫto
matrix algebras over C(R, qǫ) in the obvious way. The paths ǫeǫand ǫ
ζ1
ǫζ0(e0) are both C-norm-continuous, so we can find ǫ>0 such that
ζ1
ǫζ0(e0)eǫ
<k2e01k1=
2ζ1
ǫζ0(e0)1
1for all ǫǫ.
Then by [Bla, Proposition 4.3.2] eǫand ζ1
ǫζ0(e0) are connected by a path of idem-
potents in Mn(C(R, qǫ)Γ), so
κǫ[e0] = [eǫ] = [ζ1
ǫζ0(e0)] = K(ζ1
ǫζ0)[e0] for all ǫǫ.
For ǫǫ
K(ζ1
ǫζ0)[e0] = K(ζ1
ǫζǫ)K(ζ1
ǫζ0)[e0] = K(ζ1
ǫζǫ)[eǫ].
By parts (a) and (d) of Theorem 4.4.2, K(ζ1
ǫζǫ) (ǫǫ) is the only family of
maps K0(C(R, qǫ)) Γ) K0(C(R, q)Γ) that comes from continuous paths of
idempotents.
Now K1. Choose ǫ>0 such that
ζ1
ǫζ0(x0)x1
ǫ1
<1 for all ǫǫ.
Then ζ1
ǫζ0(x0)x1
ǫis homotopic to 1 in GLn(C(R, qǫ)Γ), so
K1(ζ1
ǫζ0)[x0] = [ζ1
ǫζ0(x0)] = [xǫ] = κǫ[x0] for all ǫǫ.
The argument for ǫǫis just as for K0.2
This lemma says that the map
K(ζ0) : K(C(We)Γ) K(C(R, q)Γ
is natural: it does not really depend on ζ0, only the topological properties of idem-
potents and invertible elements in matrix algebras over S(R, qǫ)Γ with ǫ[0,1].
79
To prove that K(ζ0) becomes an isomorphism after tensoring with Q, we need some
preparations of a more general nature.
For topological spaces YXand a topological algebra Awe write
C0(X, Y ;A) = {f:XA|fis continuous and fY= 0}.
We omit Y(resp. A) from the notation if Y=(resp. A=C). A C(X)-algebra
Bis a C-algebra endowed with a unital algebra homomorphism from C(X) to the
center of the multiplier algebra of B. A morphism of C(X)-algebras is an algebra
homomorphism that is also a C(X)-module map.
Lemma 5.1.3. Let Σbe a finite simplicial complex, let Aand Bbe C(Σ)-Banach-
algebras and let φ:ABa morphism of C(Σ)-Banach-algebras. Suppose that
(a)for every simplex σof Σthere are finite dimensional C-algebras Aσand Bσsuch
that
C0(σ, δσ)A
=C0(σ, δσ;Aσ) and C0(σ, δσ)B
=C0(σ, δσ;Bσ);
(b)for every xσ\δσ the localized map φ(x) : AσBσinduces an isomorphism
on K-theory.
Then K(φ) : K(A)
K(B)is an isomorphism.
Proof. Let Σnbe the n-skeleton of Σ and consider the ideals
I0=C(Σ) I1=C(Σ; Σ0) ··· In=C0,Σn1) · ·· (5.2)
They give rise to ideals InAand InB. Because Σ is nite, all these ideals are 0 for
large n. We can identify
InA/In+1A
=C0n,Σn1)A
=
M
σΣ : dim σ=n
AC0(σ, δσ) := M
σΣ : dim σ=n
C0(σ, δσ;Aσ),(5.3)
and similarly for B. Because φis C(Σ)-linear, it induces homomorphisms
φ(σ) : C0(σ, δσ;Aσ)C0(σ, δσ;Bσ).
By the additivity of and the excision property of the K-functor (see e.g. [Bla, Theo-
rem 9.3.1]), it suffices to show that every φ(σ) induces an isomorphism on K-theory.
Let xbe any interior point of σ. Because σ\δσ is contractible, φσis homotopic
to idC0(σ,δσ)φ(xσ). By assumption the latter map induces an isomorphism on
K-theory. With the homotopy invariance of K-theory it follows that
K(φ(σ)) = KidC0(σ,δσ)φ(xσ)
is an isomorphism. 2
Obviously this lemma is in no way optimal: one can generalize it to larger classes
of algebras and one can relax the finiteness assumption on Σ. Because we do not
need it, we will not bother to write down such generalizations. What will need
however, is that Lemma 5.1.3 is also valid for similar functors, in particular for
A7→ K(A)ZC.
80
Theorem 5.1.4. The map
K(ζ0)idQ:K(C(We)Γ) ZQK(C(R, q)Γ) ZQ
is a Q-linear bijection.
Proof. Consider the projection
pr : Ξun/G Tun/W ,G(P, δ, t)7→ Wr|r|t,
where W(RP)rTP/W (RP) is the central character of δ. With this projection and
Theorem 3.2.2 we make C(R, q) into a C(Tun/W )-algebra. By Theorem 4.4.2.e
ζ0:C(We)ΓC(R, q)Γ is a morphism of C(Tun/W )C-algebras. Choose
a triangulation Σ of Tun, such that:
w(σ)Σ for every simplex σΣ and every wW;
TG
un is a subcomplex of Σ, for every subgroup GW;
the star of any simplex σis W
σ-equivariantly contractible.
Then Σ/W is a triangulation of Tun/W . From Theorem 3.2.2 and the proof of
[Sol1, Lemma 7] we see that A=C(We)Γ and B=C(R, q)Γ and are of the
form required in condition (a) of Lemma 5.1.3. For any uTun we write
Au:= C(We)Γ/ker Iu,
Bu:= LGξΞun/G,pr(ξ)=WuC(R, q)Γ/ker πΓ(ξ).
Condition (b) of Lemma 5.1.3 for K(?)ZQmeans that the map ζ0(Wu) : AuBu
should induce an isomorphism
K(ζ0(Wu)) : K(Au)ZQK(Bu)ZQ.(5.4)
As for all finite dimensional semisimple algebras,
K(Au) = K0(Au) = GZ(A) and K(Bu) = K0(Bu) = GZ(Bu).
With these identifications K0(ζ0(Wu)) sends a projective module eMn(Au) to the
projective module ζ0(Wu)(e)Mn(Bu). The free abelian groups GZ(Au) and GZ(Bu)
have natural bases consisting of irreducible modules. With respect to these bases
the matrix of K0(ζ0(Wu)) is the transpose of the matrix of
˜σ0:GZ(Bu)GZ(Au), π 7→ πζ0(Wu).
By Theorem 2.3.1.a ˜σ0idQ:GQ(Au)GQ(Bu) is a bijection, so (5.4) is also a
bijection. Now we can apply Lemma 5.1.3, which finishes the proof. 2
So we proved Conjecture 5.1.1 modulo torsion, which raises the question what
information is still contained in the torsion part. It is known that K(C(R, q)Γ)
is a finitely group. Indeed, by [Sol1, Theorem 6] this is the case for all Fechet
algebras if the type described in Theorem 3.2.2. Hence the torsion subgroup of
K(C(R, q)Γ) is finite. In fact the author does not know any examples of
nontrivial torsion elements in such K-groups, but it is conceivable that they exist.
It turns out that this is related to the multiplicities of W-representations in the
affine Springer correspondence from Section 2.3.
81
Lemma 5.1.5. The following are equivalent:
(a)K(ζ0) : K(C(We)Γ) K(C(R, q)Γ) is an isomorphism.
(b)K0(ζ0) : K0(C(We)Γ) K0(C(R, q)Γ) is surjective.
(c)For every uTun the map Spr induces a surjection from the Grothendieck group
of Modf,W uTr s (S(R, q)Γ) to that of Modf,W u(WeΓ).
(d)The map Spr induces a bijection SprZ:GZ(S(R, q)Γ) GZ(S(We)Γ).
Proof.
(a) (b) Obvious.
(b) (c) We use the notation from the proof of Theorem 5.1.4, in particular K0(Au)
and K0(Bu) are the Grothendieck groups referred to in (c). We claim that the
canonical map
K0(C(R, q)Γ) K0(Bu) (5.5)
is surjective. Recall that K0(Bu) is built from idempotents. Given any idempotent
euMn(Bu) we want to find an idempotent eMn(C(R, q)Γ) that maps to it.
By Theorem 3.2.2 this means that on every connected component (P, δ, T P
un)/GP,δ of
Ξun/Gwe have to find an idempotent eP,δ in
MnC(TP
un)EndC(CWP]Vδ)GP ,
which in every point of pr1(Wu)(P, δ, T P
un)/GP,δ takes the value prescribed by
eu. Recall that the groupoid Gwas built from elements of Wand from the groups
KP=TPTP. The latter elements permute the components of Ξun freely, so
pr1(Wu) intersects every component of Ξun in at most one G-association class.
Therefore we can always find such a eP,δ, proving the claim (5.5).
Together with assumption (b) this implies that
K0(C(We)Γ) K0(ζ0)
K0(C(R, q)Γ) K0(Bu)
is surjective. The underlying C-algebra homomorphisms factors via C(We)Γ
Au, so
K0(ζ0(Wu)) : K0(Au)K0(Bu).(5.6)
is also surjective.
(c) (d) By Corollary 4.4.3 SprZ(π) = πζ0for all πModf(S(R, q)Γ). So in
the notation of (5.4) SprZis the direct sum, over all WuTun, of the maps
GZ(Bu)GZ(Au) : π7→ πζ0(Wu).(5.7)
As we noticed in the proof of Theorem 5.1.4, the matrix of this map is the trans-
pose of the matrix of (5.6). We showed in the aforementioned proof that the latter
map becomes an isomorphism after applying ZQ. As K0(Au) and K0(Bu) are free
abelian groups, this implies that K0(ζ0(Wu)) is injective. So under assumption (c)
(5.6) is in fact an isomorphism. Hence, with respect to the natural bases it is given
by an integral matrix with determinant ±1. Then the same goes for (5.7), so that
82
map is also bijective. Therefore SprZis bijective.
(d) (a) The above shows that under assumption (d) the maps (5.7) and (5.6) are
bijections. Since K1(Au) = K1(Bu) = 0, we may apply Lemma 5.1.2. 2
By Corollary 2.1.5.b and property (d) of Theorem 2.3.1, condition (c) of Lemma
5.1.5 can be reformulated as follows: for all uTun the map π7→ πW
uinduces a
bijection from the Grothendieck group of Modf,a(H(˜
Ru, ku)W
Fu,u) to GZ(W
u).
According to [Ciu, Corollary 3.6] this statement is valid for all graded Hecke
algebras of ”geometric type”. Hence Conjecture 5.1.1 holds, including torsion, for
many important examples of affine Hecke algebras.
In particular, let Ibe an Iwahori subgroup of a split reductive p-adic group G
with root datum R, as in Section 1.6. By [Ply2] the completion C
r(G, I) of H(G, I)
is isomorphic to C(R, q), where qis some prime power. It is interesting to combine
Conjecture 5.1.1 with the Baum–Connes conjecture. Let βG be the affine Bruhat–
Tits building of Gand identify awith an apartment. The Baum–Connes conjecture
for groups like Gand Wewas proven by V. Lafforgue[Laf], see also [Sol4] (For We
it can of course be done more elementarily.) We obtain a diagram
KWe
(a)K(C
r(We)) K(C(R, q)) K(C
r(G, I))
KG
(βG)K(C
r(G)) Ls∈B(G)K(C
r(G)s)
(5.8)
in which all the horizontal maps are natural isomorphisms, while the vertical maps
pick the factor of K(C
r(G)) corresponding to the Iwahori-spherical component in
B(G). For the group G=GLn(F) this goes back to [Ply1]. Notice that (5.8)
realizes KWe
(a) as a direct summand of KG
(βG), which is by no means obvious in
equivariant K-homology.
5.2 Periodic cyclic homology
Periodic cyclic homology is rather similar to topological K-theory, but the former
functor is defined on larger classes of algebras. For example one can take the peri-
odic cyclic homology of nontopological algebras like H(R, q), while it is much more
difficult to make sense of the topological K-theory of affine Hecke algebras without
completing them. By definition the periodic cyclic homology of an algebra over a
field Fis an F-vector space. Whereas topological K-theory for C-algebras is the
generalization of K-theory for topological spaces, periodic cyclic homology for non-
commutative algebras can be regarded as the analogue of De Rham cohomology for
manifolds.
In [Sol6, Theorem 3.3] the author proved with homological-algebraic techniques
that the periodic cyclic homology of an (extended) graded Hecke algebra H(˜
R, k)Γ
does not depend on the parameter function k. Subsequently he translated this into
a representation-theoretic statement, which we already used in (2.24): the collection
of irreducible tempered H(˜
R, k)Γ-representations with real central character forms
a basis of GQ(W0Γ).
83
We will devise a reversed chain of arguments for affine Hecke algebras. Via
topological K-theory we will use the affine Springer correspondence to show that
H(R, q)Γ and S(R, q)Γ have the same periodic cyclic homology, and that it
does not depend on the (positive) parameter function q. The material in this section
can be compared with [BHP, Sol4].
Recall that the Chern character is a natural transformation KHP, where
we write HP(A) = H P0(A)HP1(A). By (5.1) and [Sol1, Theorem 6] there are
natural isomorphisms
K(C(R, q)Γ) ZCK(S(R, q)Γ) ZCH P(S(R, q)),(5.9)
the first one is induced by the embedding S(R, q)ΓC(R, q)Γ, one the second
one by the Chern character. Here and elsewhere in this paper the periodic cyclic
homology of topological algebras is always meant with respect to the completed
projective tensor product. (One needs a tensor product to build the differential
complex whose homology is HP.) By contrast, in the definition of the periodic cyclic
homology of nontopological algebras we simply use the algebraic tensor product
over C.
Theorem 5.2.1. The inclusion H(R, q)Γ S(R, q)Γinduces an isomorphism
on periodic cyclic homology.
Proof. In [Sol4, Theorem 3.3] the author proved the corresponding result for
Hecke algebras of reductive p-adic groups. The proof from [Sol4] also applies in
our setting, the important representation-theoretic ingredients being Theorem 3.2.2,
Proposition 3.4.1 and Lemma 3.4.2. A sketch of this proof already appeared in [Sol2].
2
Corollary 5.2.2. There exists a natural commutative diagram
HP(C[We]Γ) HP(S(We)Γ) K(S(We)Γ) K(C(We)Γ)
HP(ζ0)K(ζ0)K(ζ0)
HP(H(R, q)Γ) H P(S(R, q)Γ) K(S(R, q)Γ) K(C(R, q)Γ)
After applying ZCto the K-groups, all these maps are isomorphisms.
Proof. The horizontal maps are induced the inclusion maps
H(R, q)Γ S(R, q)ΓC(R, q)Γ
and by the Chern character KHP. The vertical maps (expect the leftmost
one) are induced by the Fechet algebra homomorphisms ζ0from Theorem 4.4.2.
According to (5.9) and Theorem 5.2.1 all the horizontal maps become isomorphisms
after tensoring the K-groups with C. By Lemma 5.1.2 the maps K(ζ0) are natural,
and by Theorem 5.1.4 they become isomorphisms after applying ZC. The diagram
commutes by functoriality, so H P(ζ0) is also a natural isomorphism. Finally, we
define HP(C[We]Γ) HP(H(R, q)Γ) as the unique map that makes the
entire diagram commute. 2
84
Remark 5.2.3. Whether the leftmost vertical map comes from a suitable algebra
homomorphism C[We]Γ H(R, q)Γis doubtful, no such homomorphism is
known if q6= 1.
Suppose that Xis the weight lattice of R
0, that qC\ {0}is any complex
number which is not a root of unity, and that q(s) = qfor all sSaff . In this setting
an isomorphism HP(C[We])
=HP(H(R, q)) was already constructed by Baum
and Nistor [BaNi, Theorem 11]. Their proof makes essential use of the Kazhdan–
Lusztig classification [KaLu2, Theorem 7.12] of irreducible H(R, q)-representations,
and of Lusztig’s asymptotic Hecke algebra [Lus3, Lus4].
For graded Hecke algebras things are even better than in Corollary 5.2.2: in
[Sol6, Theorem 3.4] it was proven that not only HP(H(˜
R, k)Γ), but also the
cyclic homology and the Hochschild homology of H(˜
R, k)Γ are independent of k.
Whether or not this can be transferred to H(R, q) is unclear to the author. The
point is that the comparison of H(˜
R, k)Γ with H(R, q)Γ goes only via analytic
localizations of these algebras. Since the effect of localization on the dual space is
very easy, we can translate the comparison between localized Hecke algebras to a
comparison between their dual spaces. By [Sol6, Theorem 4.5] the periodic cyclic
homology of a nite type algebra essentially depends only on its dual space, so it
is not surprising that the parameter independence of HPcan be transferred from
graded Hecke algebras to affine Hecke algebras,
On the other hand, the Hochschild homology of an algebra changes in a nontrivial
way under localization. Therefore one would in first instance only find a comparison
between the Hochschild homology of two localized affine Hecke algebras with the
same root datum but different parameters q. Possibly, provided that one would
know enough about HH(H(R, q)Γ), one could deduce that also this vector space
is independent of q. We remark that most certainly the Z(H(R, q)Γ)-module
structure of HH(H(R, q)Γ) will depend on q, because that is already the case
for graded Hecke algebras, see the remark to Theorem 3.4 in [Sol6].
5.3 Weakly spectrum preserving morphisms
For the statement and the proof of the Aubert–Baum–Plymen conjecture we need
spectrum preserving morphisms and relaxed versions of those. These notions were
developed in [BaNi, Nis]. Baum and Nistor work in the category of finite type k-
algebras, where kis the coordinate ring of some complex affine variety. Since we are
also interested in certain Fechet algebras, we work in a larger class of algebras.
We cannot do without some finiteness assumptions, but it suffices to impose them
on representations. So, throughout this section we assume that for all our complex
algebras Athere exists a NNsuch that the dimensions of irreducible A-modules
are uniformly bounded by N. In particular π7→ ker πis a bijection from Irr(A) to
the collection of primitive ideals of A. A homomorphism φ:ABbetween two
such algebras is called spectrum preserving if
for every primitive ideal JB, there is exactly one primitive ideal IA
containing φ1(J);
85
the map J7→ Iinduces a bijection Irr(φ) : Irr(B)Irr(A).
We can relax these conditions in the following way. Suppose that there exists filtra-
tions A=A0A1 ··· An= 0,
B=B0B1 ··· Bn= 0 (5.10)
by two sided ideals, such that φ(Ai)Bifor all i. We call φ:ABweakly
spectrum preserving if all the induced maps φi:Ai/Ai+1 Bi/Bi+1 are spectrum
preserving. In this case there are bijections
iIrr(Ai/Ai+1)Irr(A),
iIrr(Bi/Bi+1)Irr(B),
Irr(φ) := iIrr(φi) : Irr(B)Irr(A).
Notice that Irr(φ) depends not only on φ, but also on the filtrations of Aand B.
Lemma 5.3.1. Let φ:ABbe a weakly spectrum preserving morphism, and
suppose that the dimensions of irreducible B-modules are uniformly bounded by N
N. Then Irr(φ)1(V(I)) = V(φ(I)N)for every two-sided ideal IA. In particular
the bijection Irr(φ)is continuous with respect to the Jacobson topology (cf. Section
3.4).
Proof. We proceed with induction to the length nof the filtration. For n= 1
the morphism φis spectrum preserving, so the statement reduces to [BaNi, Lemma
9]. For n > 1 the induction hypothesis applies to the homomorphisms φ:A1B1
and φ1:A/A1B/B1. So for πIrr(B/B1)Irr(B) we have
πIrr(φ)1(V(I)) Irr(B)
πIrr(φ1)1(V(I+A1/A1)) Irr(B/B1)
πV(φ(I)N+B1/B1)) Irr(B/B1)
πV(φ(I)N)) Irr(B).
A similar argument applies to πIrr(B1)Irr(B).2
The automatic continuity of Irr(φ) enables us to extract a useful map from the
Fechet algebra morphism ζ0:
Lemma 5.3.2. The morphism ζ0:S(We)Γ S(R, q)Γis weakly spectrum
preserving.
Proof. We wil make use of the proofs of Lemma 5.1.3 and Theorem 5.1.4. There
we constructed a W-equivariant triangulation of Tun, which lead to two-sided ideals
In=C
0,Σn1)WC(TW
un ,
InS(R, q)Γ S(R, q)Γ,
InS(We)Γ S(We)Γ.
86
(Here and below we regard the n-skeleton Σnboth as a simplicial complex and as
a subset of Tun). It suffices to show that the induced map
ζ0,n :InS(We)Γ/In+1S(We)ΓInS(R, q)Γ/In+1S(R, q)Γ (5.11)
is spectrum preserving, for every n. Fortunately the dual spaces of these quotient
algebras are rather simple, by (5.3)
IrrInS(R, q)Γ/In+1S(R, q)Γ
=G
σΣ/W ,dim σ=n
(σ\δσ)×Irrxσ(S(R, q)Γ),
(5.12)
where xσσ\δσ and Irrxσ(S(R, q)Γ) denotes the dual space of the algebra
M
GξΞun/G,pr(ξ)=WxσS(R, q)Γ/ker πΓ(ξ).(5.13)
By construction ζ0,n is C
0-linear, so in particular it is linear over
C
0n,Σn1) := In/In+1.
We know from Theorem 2.3.1.a and Corollary 4.4.3 that GQ(ζ0,n) is a bijection, so
in particular
GQ(ζ0,n) : GQ(Modxσ(S(R, q)Γ)) GQ(Modxσ(S(We)Γ)) (5.14)
is a bijection. Any ordering (π1, π2,...,πk) of Irrxσ(S(R, q)Γ) gives rise to a
filtration of (5.13) by ideals
Bi:= \i
j=1 ker πji= 0,1,...,k.
Since we are dealing with two finite dimensional semisimple algebras of the same
rank k, (5.14) can be described completely with a matrix MGLk(Z). Order
Irrxσ(S(R, q)Γ) and Irrxσ(S(We)Γ) such that all the principal minors of Mare
nonsingular. Then the corresponding ideals Biof (5.13) and Ai S(We)Γ/ker Ixσ
are such that ζ0,n(xσ) induces spectrum preserving morphisms Ai/Ai+1 Bi/Bi+1.
Hence ζ0,n(xσ) is weakly spectrum preserving.
It follows from this and (5.12) that for any n-dimensional simplex σΣ/W we
can construct filtrations by two-sided ideals in
C
0, δσ)WS(R, q )Γ/C
0, σ)WS(R, q)Γ
and in
C
0, δσ)WS(We)Γ/C
0, σ)WS(We)Γ,
with respect to which the map induced by ζ0,n is weakly spectrum preserving. We
do this for all such simplices σ, and then (5.3) show that (5.11) is weakly spectrum
preserving. 2
87
A related notion that we will use in the next section is geometric equivalence of
algebras, as defined in [ABP1, Section 4]. The basic idea is to call Aand Bgeomet-
rically equivalent if they are Morita-equivalent or if there exists a weakly spectrum
preserving morphism φ:AB. Furthermore two finite type k-algebras are geo-
metrically equivalent if they only differ by an algebraic deformation of the k-module
structure. Now one defines geometric equivalence to be the equivalence relation (on
the category of finite type k-algebras) generated by these three elementary moves.
So whenever two algebras Aand Bare geometrically equivalent, they are so by
various sequences of elementary moves. Every such sequence induces a bijection
between the dual spaces of Aand B, which however need not be continuous, since
the map Irr(φ) from Lemma 5.3.1 is usually not a homeomorphism. Nevertheless,
by [BaNi, Theorem 8] every weakly spectrum preserving morphism of finite type
algebras φ:ABinduces an isomorphism HP(φ) : HP(A)HP(B). The
other two moves are easily seen to respect periodic cyclic homology, so geometric
equivalence implies HP -equivalence.
5.4 The Aubert–Baum–Plymen conjecture
In a series of papers [ABP1, ABP2, ABP3, ABP4] Aubert, Baum and Plymen de-
veloped a conjecture that describes the structure of Bernstein components in the
smooth dual of a reductive p-adic group. We will rephrase this conjecture for affine
Hecke algebras, and prove it in that setting.
A central role is played by extended quotients. Let Gbe a finite group acting
continuously on a topological space T. We endow
e
T:= {(g, t)G×T:g·t=t}
with the subspace topology from G×T. Then Galso acts continuously on e
T, by
g·(g, t) = (ggg1, g ·t).
The extended quotient of Tby Gis defined as e
T /G. It comes with a projection onto
the normal quotient: e
T /G T /G :G(g, t)7→ Gt.
The fiber over Gt T/G can be identified with the collection hGtiof conjugacy
classes in the isotropy group Gt.
The relevance of the extended quotient for representation theory comes from
crossed product algebras. Suppose that F(T) is an algebra of continuous complex
valued functions on T, which separates the points of Tand is stable under the action
of Gon C(T). These conditions ensure that the crossed product F(T)Gis well-
defined. The dual space of this algebra was determined in classical results that go
back to Frobenius and Clifford (see [CuRe, Section 49]). The collection of irreducible
representations with a F(T)-weight tTis in natural bijection with Irr(Gt), via
the map
π7→ IndF(T)G
F(T)GxCxπ.
88
Since |Irr(Gx)|=|hGxi|, there exists a bijection
e
T /G Irr(F(T)G) (5.15)
which maps G(g, t) to representation with a F(T)-weight t. With a little more
work one can find a continuous bijection. However, it is not natural and a not a
homeomorphism, except in very simple cases.
We return to an extended affine Hecke algebra H(R, q)Γ. As described in
Section 1.2, the parameter function qis completely determined by its values on the
quotient set R
nr/W0Γ. Let Q(R) be the complex variety of all maps R
nr/W0Γ
C×. To every v Q(R) we associate the parameter function qα=v(α)2.
Conjecture 5.4.1. (ABP-conjecture for affine Hecke algebras)
(a)The algebras C[We]Γand H(R, q)Γare geometrically equivalent.
(b)There exists a canonical isomorphism HP(C[We]Γ)
=HP(H(R, q)Γ).
(c)There exists a continuous bijection µ:e
T /W Irr(H(R, q)Γ) such that
µ(g
Tun/W ) = Irr(S(R, q)Γ).
(d)For every connected component cof e
T /W there exists a smooth morphism of
algebraic varieties hc:Q(R)Twith the following properties.
For all components cwe have hc(1) = 1, and
prq1/2(e
T /W T /W ) = {tT:Itis reducible }/W ,
where prv:e
T /W T /W is defined by
prv(W(w, t)) = Whc(v)tfor v Q(R), W (w, t)c.
Moreover µcan be chosen such that the central character of µ(W(w, t)) is
Whc(q1/2)tfor W(w, t)c.
We will now discuss the different parts of the ABP-conjecture. As we mentioned
at the end of Section 5.3, every explicit geometric equivalence gives rise to an isomor-
phism on periodic cyclic homology. However, this isomorphism need not be natural,
so (b) does not yet follow from (a). In [ABP1, ABP3] we see that Aubert, Baum
and Plymen have a geometric equivalence via Lusztig’s asymptotic Hecke algebra
[Lus4] in mind. The corresponding isomorphism [BaNi, Theorem 11]
HP(H(R, q))
=HP(C[We])
can be regarded as canonical, albeit in a rather weak sense.
Unfortunately, for unequal parameter functions this asymptotic Hecke algebra
exists only as a conjecture. Neither does the author know any other way to construct
a geometric equivalence between H(R, q)Γ and C[We]Γ, so this part of the
conjecture remains open for unequal parameter functions. As a substitute we offer
Lemma 5.3.2, which has approximately the same strength. It is weaker because it
concerns only topologically completed versions of the algebras, but it is stronger
89
in the sense that the geometric equivalence consists of only one weakly spectrum
preserving morphism.
Part (b) of Conjecture 5.4.1 was already dealt with in Corollary 5.2.2.
Let us construct a map µas in part (c). Recall from (3.38) that there exist
tempered smooth families {πi,t :tVi}which together form a basis of GQ(S(R, q)
Γ). The parameter space of such a family is of the form Vi=uiexp(agi) for some
uiTun, giW. By (3.35) the number of families with parameter space of the
form gVifor some gW, is precisely the number of components of g
Tun/W whose
projection onto Tun/W is WVi. Hence we can find a continuous bijection
g
Tun/W {πi,t :tVi, i I}.
This will be our map µwhenever the image πi,t is irreducible, which is the case
on a Zariski-dense subset of g
Tun/W . To extend µcontinuously to all nongeneric
points, we need to find irreducible subrepresentations π
i,t πi,t, such that {πi,t :
tVi}= Irr(S(R, q)Γ). For 0-dimensional components all point are generic, so
there is nothing to do. If we have already defined µon all components of g
Tun/W
of dimension smaller than d, and (i, t) corresponds to a nongeneric point W(w, t)
in a component of dimension d, than we choose for µ(W(w, t)) any irreducible
subrepresentation of πi,t that we did not have yet in the image of the previously
handled components. This process can be carried out completely can (3.35), and
yields a continuous bijection
µ:g
Tun/W Irr(S(R, q)Γ).(5.16)
From this and Lemmas 5.3.1 and 5.3.2 we obtain continuous bijections
g
Tun/W Irr(S(R, q)Γ) Irr(S(We)Γ).
As explained after (3.28) and (3.38), these can be extended canonically to continuous
bijections e
T /W Irr(H(R, q)Γ) Irr(WeΓ).(5.17)
Now we show that part (d) of the conjecture is valid for this µ. Suppose that
W(w, t0)g
Tun/W is such that the corresponding representation πi,t is irreducible.
With Theorem 3.3.2 we can find an induction datum ξ+(πi,t) = (P, δ, t1)Ξun such
that πi,t is a subquotient of πΓ(P, δ, t1). Then µ(W(w, t0t2)) is a subquotient of
πΓ(P, δ, t1t2) for all t2exp(tw), so its central character is Wrt1t2, where W(RP)r
TP/W (RP) is the central character of the HP-representation δ. According to [Opd2,
Lemma 3.31] rTPis a residual point for RP, which by Proposition 2.63 and
Theorem 2.58 of [OpSo2] means that the coordinates of rcan be expressed as an
element of TP,un times a monomial in the variables {q(s)±1/2:sSaff }. Hence
we can write |r|=hc(q1/2), where cis the component of e
T /W containing W(w, t)
and hc:Q(R)TPTis a smooth algebraic morphism with hc(1) = 1. Now
Whc(q1/2)t0t2is by construction the central character of µ(W(w, t0t2)). We note
that the discrete series representation δof H=Chas central character 1 T=
{1}, so hc= 1 when chas dimension rank(X).
90
Let prq1/2be as in part (d) of Conjecture 5.4.1 and temporarily denote the
difference of two sets by . Then prq1/2(e
T /W T /W ) is the set of central characters
of µ(e
T /W T /W ). Since µparametrizes irreducible representations, and since
every πIrr(H(R, q)Γ) with central character tis a quotient of the principal
series representation It, no element of prq1/2(e
T /W T /W ) can be the parameter
of an irreducible principal series representation.
Conversely, suppose that tTis not in the aforementioned set. In view of
Lemma 3.1.7 we may assume that tT+. Then there is, up to isomorphism, only
one πtIrr(H(R, q)Γ) with central character Wt. Hence the induction datum
ξ+(πt) is (, δ, t)Ξ+. By Theorem 3.3.1 the intertwining operators
{π(g, , δ, t) : g G, g(, δ, t) = (, δ, t)}
span EndHΓ(It). If any of these intertwiners were nonscalar, then Itwould contain
nonisomorphic irreducible constituents. The latter is impossible, so EndHΓ(It) =
Cid. This in turn implies that πtcannot be both a subrepresentation and a quotient
of It, unless πt=It. Therefore prq1/2(e
T /W T /W ) is precisely the subset of tT
for which the principal series representation Itis reducible.
By (3.7) this set contains all residual cosets of dimension smaller than dimC(T).
However, in general prq1/2(e
T /W T /W ) is larger, because a unitary principal series
representation can be reducible.
We note that by Proposition 4.1.2 the same map prvalso makes part (d) valid
for the scaled parameter functions qǫwith ǫR. However, for other parameter
functions changes can occur.
Summarizing, we showed that:
Theorem 5.4.2. Parts (b), (c) and (d) of Conjecture 5.4.1 hold for every extended
affine Hecke algebra with a positive parameter function q. Part (a) holds for the
Schwartz completions of the algebras in question.
Hence the Aubert–Baum–Plymen conjecture [ABP1, ABP2] for a Bernstein com-
ponent sof a reductive p-adic group Gholds whenever the algebra H(G)sis Morita-
equivalent to an extended affine Hecke algebra in the way described in Section 1.6. In
particular this applies to all Bernstein components listed at the end of that section.
5.5 Example: type C(1)
2
In the final section we illustrate what the Aubert–Baum–Plymen conjecture looks
like for an affine Hecke algebra with R0of type B2/C2and Xthe root lattice. More
general results for type C(1)
naffine Hecke algebras can be found in [Kat2, CiKa]. For
other examples we refer to [Sol3, Chapter 6].
Consider the based root datum Rwith
X=Y=Z,
R0={xX:kxk= 1 or kxk=2},
R
0={yY:kxk= 2 or kxk=2},
F0={α1=1
1, α2= ( 0
1)}
91
Then α4= ( 1
1) is the longest root and α
3= ( 2
0) is the longest coroot, so
Saff ={sα1, sα2, tα3sα3}.
We write si=sαifor 1 i4 and s0=tα3sα3. The Weyl group W0is isomorphic
to D4and consists of the elements
W0={e, ρπ/2, ρπ, ρπ/2} {s1, s2, s3, s4},
where ρθdenotes the rotation with angle θ. The affine Weyl group of Ris the
Coxeter group
Waff =We=XW0=hs0, s1, s2|s2
i= (s0s2)2= (s1s2)4= (s0s1)4=ei.
Furthermore Rnr =R0 α2,±α3}and X+={(m
n)X:mn0}.
We note that Ris the root datum of the algebraic group SO5, while Rcorre-
sponds to Sp4. Let Fbe a p-adic field whose residue field has qelements, and let s
be the Iwahori-spherical component of Sp4(F). Then Mods(Sp4(F)
=Mod(H(R, q))
and Kazhdan–Lusztig theory describes the irreducible representations in this cate-
gory with data from Sp4(F).
But there are many more parameter functions for R. Since s0, s1and s2are not
conjugate in We, we can independently choose three parameters
q0=q(s0) = qα
2/2, q1=q(s1) = qα1, q2=q(s2) = qα
2.
Several combinations of these parameters occur in Hecke algebras associated to non-
split p-adic groups, see [Lus7]. The c-functions are
cα1=θα1q1
1
θα11and cα2=θα2+q1/2
2q1/2
0
θα2+ 1
θα2q1/2
1q1/2
0
θα21.
For q0=q2the relations from Theorem 1.2.1.d simplify to
fNsi=Nsisi(f) = (q1/2
iq1/2
i)(fsi(f))(1 θαi)1i= 1,2.(5.18)
In contrast with graded Hecke algebras, H(R=R(SO5), q1, q2=q0) is not isomor-
phic to H(R=R(Sp4), q2, q1). The reason is that in H(R, q2, q1) the relation
fNs(0
2)=Ns(0
2)s(0
2)(f) = (q1/2
2q1/2
2)(fs(0
2)(f))(1 θ0
2)1f A
holds, which really differs from (5.18) because the root lattice Z1
1+Z(0
2) does
not equal Xfor the root datum R.
We will work out the tempered dual of H(R, q) for almost all positive parameter
functions q. To this end we discuss for each parabolic subalgebra HPwith P
{α1, α2}separately. Its contribution to Irr(S(R, q)) will of course depend on q, and
be even be empty in some cases.
P=
XP={0}, XP=X, YP={0}, Y P=Y, RP=, R
P=, W (RP) = {e},
TP={1}, T P=T, GP=W0,HP=C,HP=A
=C[X].
92
We must determine the reducibility of the unitary principal series representations
It= IndH
ACt=π(, δ, t)tTun.
By Theorem 3.3.1 EndH(It) is spanned by the intertwining operators π(w, , δ, t)
with wW0and w(t) = t. For a root αR0with sα(t) = t, Lemma 3.1.6 tells us
that π(sα,, δ, t) is a scalar if and only if c1
α(t) = 0.
Let us write t= (t3, t2) with ti=t(αi). A fundamental domain
for the action of W0on Tun is {t= (e, e ) : 0 ψφπ}:
(−1,1)
(−1,1)
(1,1)
The isotropy groups are trivial for all interior points, so Itis irreducible for such
t. Below we list the necessary data for all boundary points:
t W0,t conditions EndH(It) # irreducibles
(e,1), φ (0, π)hs2iq0q26= 1 C1
q0q2= 1 C[hs2i] 2
(1, e), ψ (0, π)hs3iq26=q0C1
q2=q0C[hs3i] 2
(e, e ), φ (0, π)hs1iq16= 1 C1
q1= 1 C[hs1i] 2
(1,1) hs2, s3iq06=q2, q0q26= 1 C1
q0=q26= 1 C[hs3i] 2
q0=q1
26= 1 C[hs2i] 2
q0=q2= 1 C[hs2, s3i] 4
(1,1) W0q06=q2, q16= 1 C1
q0=q2, q16= 1 C[hs2i] 2
q1= 1, q06=q2C[hs1i] 2
q0=q2, q1= 1 C[W0] 5
(1,1) W0q0q26= 1, q16= 1 C1
q0=q1
2, q16= 1 C[hs2i] 2
q1= 1, q06=q1
2C[hs3i] 2
q0=q1
2, q1= 1 C[W0] 5
P={α1}
XP=X/Zα4
=Zα1/2, XP=X/Zα1, YP=Zα
1, Y P=Zα
4, RP=α1},
R
P=α
1}, W (RP) = {e, s1}, T P={tT:t3=t2}, TP={tT:t2t3= 1},
TPTP={(1,1),(1,1)},GP={e, s4} × TPTP,
HP=H(RP, q(s1) = q1=qα
1,HP=HP C[XP].
The root datum RPis of type C(1)
1, which means that R
0is of type C1=A1and
generates the lattice YP. For q1= 1 there are no residual points, for q16= 1 there
are two orbits, namely W(RP)(q1/2
1, q1/2
1) and W(RP)(q1/2
1,q1/2
1). Both orbits
93
carry a unique discrete series representation, which has dimension one. The formulas
for these representations are not difficult, but they depend on whether q2>1 or
q2<1. So we obtain two families of H(R, q)-representations:
π{α1}, δ1,(t2, t2)= IndH
HP(δ1φ(t2,t2))q16= 1, t2S1,
π{α1}, δ
1,(t2, t2)= IndH
HP(δ
1φ(t2,t2))q16= 1, t2S1.
The action of GPon these families is such that s4(t2, t2) = (t1
2, t1
2), while (1,1)
GPsimultaneously exchanges δ1with δ
1and (t2, t2) with (t2,t2). A fundamental
domain for this action is {({α1}, δ1,(e, e )) : φ[0, π]}. For φ(0, π) these
points have a trivial stabilizer in GP, so the corresponding H-representations are
irreducible. On the other hand, the element s4 GPfixes the points with φ= 0
or φ=π, so the representations π({α1}, δ1,(1,1)) and π({α1}, δ1,(1,1)) can be
reducible. Whether or not this happens depends on more subtle relations between
q0, q1and q2.
P={α2}
XP=X/Zα3
=Zα2, XP=X/Zα2
=Zα3, YP=Zα
1, Y P=Zα
3/2,
R0=α2}, R
0=α
2}, W (RP) = {e, s2},
TP={tT:t2= 1}, TP={tT:t3= 1},GP={e, s3},
HP
=H(RP, q(s2) = q2, qα
2=q0),HP
=HPC[XP].
The root datum RPis of type A(1)
1, which differs from C(1)
1in the sense that XP
is the root lattice. There are two orbits of residual points: W(RP)(1, q1/2
0q1/2
2) and
W(RP)(1,q1/2
0q1/2
2). That is, these points are residual unless they equal (1,1) or
(1,1). Both orbits admit a unique discrete series representation, of dimension one,
which denote by δ+or δ. Like for P={α1}, the explicit formulas depend on which
of the AP-characters are in T−−
P. Again we find two families of H-representations:
π{α2}, δ+,(t3,1)= IndH
HP(δ+φ(t3,1))q0q26= 1, t3S1,
π{α2}, δ,(t3,1)= IndH
HP(δφ(t3,1))q0/q26= 1, t3S1.
The group GPacts on these families by s3(t3,1) = (t1
3,1). A fundamental domain is,
for both families, given by t {e :φ[0, π]}. For φ(0,1π) the representations
π{α2}, δ+,(e,1), because the isotropy group in GPis trivial. For φ {0, π}
the intertwining operator associated to s3 GPis not necessarily scalar, so we find
either one or two irreducible constituents. Remarkably enough, this depends not
only on the parameters q0and q2of HP, but also on q1, as we will see later.
P={α2}=F0
Here simply HP=HP=H(R, q). We have to determine all residual points, and
how many inequivalent discrete series they carry. The former can be done by hand,
but that is quite elaborate. It is more convenient to use [Opd2, Theorem 7.7] and
[HeOp, Proposition 4.2], which say that for generic qthere are 40 residual points.
94
Representatives for the 5 W0-orbits are
r1(q) = (q1/2
0q1/2
2q1
1, q1/2
0q1/2
2),
r2(q) = (q1/2
0q1/2
2q1
1, q1/2
0q1/2
2),
r3(q) = (q1/2
0q1/2
2q1
1,q1/2
0q1/2
2),
r4(q) = (q1/2
0q1/2
2q1
1,q1/2
0q1/2
2),
r5(q) = (q1/2
0q1/2
2, q1/2
0q1/2
2).
Since every W0-orbit of residual points carries at least one discrete series represen-
tation,
dimQG0
Q(H(R, q))/G1
Q(H(R, q))= dimQG0
Q(S(R, q))/G1
Q(S(R, q))5.
On the other hand one can easily check, for example with the calculations for
P=, q = 1, that dimQG0
Q(We)/G1
Q(We)= 5. With (3.37) we deduce that
every W ri(q) carries a unique discrete series representation δ(ri). So far for generic
parameter functions.
For nongeneric qthe W ri(q) are still the only possible residual points, but some
of them may cease to be residual for certain q. In such cases ri(q) is absorbed by
the tempered part r T P
un of some onedimensional residual coset r T P. (If ri(q) is
absorbed by Tun, which is the tempered part of the twodimensional residual coset
T, then ri(q) is also absorbed by a onedimensional residual coset.) This happens in
the following cases:
residual point qabsorbed by
r1(q)q0q2=q1W0(q1/2
1, q1/2
1)Tα1
un
q0q2=q2
1W0(1, q1/2
0q1/2
2)Tα2
un
r2(q)q0q2=q1
1W0(q1/2
1, q1/2
1)Tα1
un
q0q2=q2
1W0(1, q1/2
0q1/2
2)Tα2
un
r3(q)q0/q2=q1W0(q1/2
1, q1/2
1)Tα1
un
q0/q2=q2
1W0(1,q1/2
0q1/2
2)Tα2
un
r4(q)q0/q2=q1
1W0(q1/2
1, q1/2
1)Tα1
un
q0/q2=q2
1W0(1,q1/2
0q1/2
2)Tα2
un
r5(q)q0=q2W0(1, q1/2
0q1/2
2)Tα2
un
q0q2= 1 W0(1,q1/2
0q1/2
2)Tα2
un
It is also possible that two orbits of residual points confluence, but stay residual.
The deep result [OpSo2, Theorem 3.4] says that in general situations of this type
the discrete series representations with confluencing central character do not merge
and remain irreducible.
The geometric content of the Aubert–Baum–Plymen conjecture is best illustrated
with some pictures of the tempered dual of H(R, q), for various q. Of course Thas
real dimension four, so we cannot draw it. But the unitary principal series can be
parametrized by Tun/W0, which is simply a 45-45-90 triangle.
95
The other components of Irr(S(R, q)) will lie close to Tun/W0if qis close to 1,
which we will assume in our pictures. We indicate what confluence occurs when
qis scaled to 1 by drawing any πIrr(S(R, q)) close to the unitary part of its
central character. To distinguish the three onedimensional components, we denote
the series obtained from inducing δ1+by L1/L+/L.
Finally, we have to represent graphically how many inequivalent irreducible rep-
resentations a given parabolically induced representation π(ξ) contains. By default,
π(ξ) is itself irreducible. When π(ξ) contains two different irreducibles, we draw the
corresponding point fatter. When there are more than two, we write the number of
irreducibles next to it.
q = 1
1q q = 1
0 2
0
q = q = 1
2
0
q = q = q
2 1
q = q = q
0
1/2
21
0
q q = q = 1
2 1 0
q = q , q = 1
2 1 q = 1
L
L
L
r
r
2
r3
4
5
r
r
1
+
1
5
55
54
4
q generic
Almost everything in this picture can be deduced from the above calculations,
the ABP-conjecture (or rather Theorem 5.4.2) and [OpSo2, Theorem 3.4]. The
only thing that cannot be detected with these methods is what happens at the
96
confluences r1(q)(q1/2
1, q1/2
1)L1for q0=q2=q1/2
1and r1(q)(1, q2)L+
for q0=q1=q2. For these qthere are four unitary induction data that give rise to
representations with central character in Trs/W0. So three of them are irreducible,
and one contains two different irreducibles. We can see that the reducibility does not
occur in the unitary principal series or in the discrete series, which leaves the two
intermediate series. Fortunately one can explicitly determine all subrepresentations
of π{α1}, δ1,(1,1)(for q0=q2=q1/2
1) and of π{α2}, δ+,(1,1)(for q0=q1=q2),
see [Slo1, Section 8.1.2]. In fact the graded Hecke algebras corresponding to these
parameter functions are precisely the ones assciated to Sp4and to SO5. Hence
one may also determine the reducibilty of the aforementioned representations via
the Deligne–Langlands–Kazhdan–Lusztig parametrization. Thirdly, it is possible to
analyse these parabolically induced representations with R-groups, as in [DeOp2].
The comparison of the tempered duals for different parameter functions clearly
shows that this affine Hecke algebra behaves well with respect to general parameter
deformations, not necessarily of the form q7→ qǫ. We see that for small pertubations
of qit is always possible to find regions U/W0T /W0such that the number of
tempered irreducibles with central character in U/W0remains stable. (The W0-
types of these representations can change however.) It is reasonable to expect that
something similar holds for general affine Hecke algebras, probably that would follow
from the existence of an appropriate asymptotic Hecke algebra [Lus8].
97
Bibliography
[ABP1] A.-M. Aubert, P.F. Baum, R.J. Plymen, “The Hecke algebra of a reductive
p-adic group: a view from noncommutative geometry”, pp. 1–34 in: Noncom-
mutative geometry and number theory, Aspects of Mathematics E37, Vieweg
Verlag, 2006
[ABP2] A.-M. Aubert, P.F. Baum, R.J. Plymen, “Geometric structure in the rep-
resentation theory of p-adic groups”, C.R. Acad. Sci. Paris Ser. I 345 (2007),
573–578
[ABP3] A.-M. Aubert, P.F. Baum, R.J. Plymen, “Geometric structure in the prin-
cipal series of the p-adic group G2”, arXiv:0810.0638, 2009
[ABP4] A.-M. Aubert, P.F. Baum, R.J. Plymen, “Geometric structure in the rep-
resentation theory of p-adic groups II”, preprint, 2010
[BaJa1] D. Ban, C. Jantzen, “The Langlands classification for non-connected p-adic
groups”, Israel J. of Math. 126 (2001), 239–261
[BaJa2] D. Ban, C. Jantzen, “The Langlands classification for non-connected p-adic
groups II. Multiplicity one”, Proc. Amer. Math. Soc. 131 (2003), 3297–3304
[BaCi] D. Barbasch, D. Ciubotaru, “Unitary functorial correspondence for p-adic
groups”, arxiv:0909.5241, 2010
[BaMo1] D. Barbasch, A. Moy, “A unitarity criterion for p-adic groups”, Inv. Math.
98 (1989), 19–37
[BaMo2] D. Barbasch, A. Moy, “Reduction to real infinitesimal character in affine
Hecke algebras”, J. Amer. Math. Soc. 6.3 (1993), 611–635
[BCH] P.F. Baum, A. Connes, N. Higson, “Classifying space for proper actions and
K-theory of group C-algebras”, pp. 240–291 in: C-algebras: 1943-1993. A
fifty year celebration, Contemp. Math. 167, American Mathematical Society,
1994
[BHP] P.F. Baum, N. Higson, R.J. Plymen, “Representation theory of p-adic groups:
a view from operator algebras”, Proc. Sympos. Pure. Math. 68 (2000), 111–149
[BaNi] P.F. Baum, V. Nistor, “Periodic cyclic homology of Iwahori-Hecke algebras”,
K-Theory 27.4 (2002), 329–357
98
[BeDe] J.N. Bernstein, P. Deligne, “Le ”centre” de Bernstein”, pp. 1–32 in:
Repr´esentations des groupes eductifs sur un corps local, Travaux en cours,
Hermann, 1984
[BeRu] J. Bernstein, K.E. Rumelhart, “Representations of p-adic groups”, draft,
1993
[Bla] B. Blackadar, K-theory for operator algebras 2nd ed., Mathematical Sciences
Research Institute Publications 5, Cambridge University Press, 1998
[Blo] C. Blondel, “Propagation de paires couvrantes dans les groupes symplec-
tiques”, Represent. Theory 10 (2006), 399–434
[Bor] A. Borel, “Admissible representations of a semi-simple group over a local field
with vectors fixed under an Iwahori subgroup”, Inv. Math. 35 (1976), 233–259
[Bos] J.-B. Bost, “Principe d’Oka, K-th´eorie et syst`emes dynamiques non commu-
tatifs”, Invent. Math. 101 (1990), 261–333
[BuKu1] C.J. Bushnell, P.C. Kutzko, The admissible dual of GL(N) via compact
open subgroups, Annals of Mathematics Studies 129, Princeton University
Press, 1993
[BuKu2] C.J. Bushnell, P.C. Kutzko, “Smooth representations of reductive p-adic
groups: structure theory via types”, Proc. London Math. Soc. 77.3 (1998),
582–634
[BuKu3] C.J. Bushnell, P.C. Kutzko, “Semisimple types in GLn”, Compositio Math.
119.1 (1999), 53–97
[Cas] W. Casselman, “Introduction to the theory of admissible representations of
p-adic reductive groups”, draft, 1995
[ChGi] N. Chriss, V. Ginzburg, Representation theory and complex geometry,
Birkh¨auser, 1997
[Ciu] D. Ciubotaru, “On unitary unipotent representations of p-adic groups and
affine Hecke algebras with unequal parameters”, Representation Theory 12
(2008), 453–498
[CiKa] D. Ciubataru, S. Kato, “Tempered modules in the exotic Deligne–Langlands
classification”, arXiv:0901.3918, 2009
[CiTr] D. Ciubotaru, P.E. Trapa, “Functors for unitary representations of classical
real groups and affine Hecke algebras”, arxiv:0906.2378, 2009
[CuRe] C.W. Curtis, I. Reiner, Representation theory of finite groups and associative
algebras, Pure and Applied Mathematics 11, John Wiley & Sons, 1962
[DeOp1] P. Delorme, E.M. Opdam, “The Schwartz algebra of an affine Hecke alge-
bra, J. reine angew. Math. 625 (2008), 59–114
99
[DeOp2] P. Delorme, E.M. Opdam, “Analytic R-groups of affine Hecke algebras”,
arXiv:0909.1227, 2009
[Eve] S. Evens, “The Langlands classification for graded Hecke algebras”, Proc.
Amer. Math. Soc. 124.4 (1996), 1285–1290
[GoRo] D. Goldberg, A. Roche, “Hecke algebras and SLn-types”, Proc. London
Math. Soc. 90.1 (2005), 87–131
[HeOp] G.J. Heckman, E.M. Opdam. “Yang’s system of particles and Hecke alge-
bras”, Ann. of Math. 145.1 (1997), 139–173
[Hei] V. Heiermann, “Op´erateurs d’entrelacement et alg`ebres de Hecke avec
param`etres d’un groupe eductif p-adique - le cas des groupes classiques”,
arXiv:math.RT/0804.4398, 2008
[Hum] J.E. Humphreys, Reflection groups and Coxeter groups, Cambridge Studies
in Advanced Mathematics 29, Cambridge University Press, 1990
[IwMa] N. Iwahori, H. Matsumoto, “On some Bruhat decomposition and the struc-
ture of the Hecke rings of the p-adic Chevalley groups”, Inst. Hautes ´
Etudes
Sci. Publ. Math 25 (1965), 5–48
[Kat1] S.-I. Kato, “Irreducibility of principal series representations for Hecke al-
gebras of affine type”, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 28.3 (1981),
929–943
[Kat2] Syu Kato, “An exotic Deligne-Langlands correspondence for symplectic
groups”, Duke Math. J. 148.2 (2009), 305–371
[KaLu1] D. Kazhdan, G. Lusztig, “Equivariant K-theory and representations of
Hecke algebras II”, Invent. Math. 80.2 (1985), 209–231.
[KaLu2] D. Kazhdan, G. Lusztig, “Proof of the Deligne-Langlands conjecture for
Hecke algebras”, Invent. Math. 87 (1987), 153–215
[Kim1] Ju-Lee Kim, “Hecke algebras of classical groups over p-adic fields and su-
percuspidal representations”, Amer. J. Math. 121.5 (1999), 967–1029
[Kim2] Ju-Lee Kim, “Hecke algebras of classical groups over p-adic fields II Com-
positio Math. 127.2 (2001), 117–167
[Kon] T. Konno, “A note on the Langlands classification and irreducibility of in-
duced representations of p-adic groups” Kyushu J. Math. 57 (2003), 383–409
[KrRa] C. Kriloff, A. Ram, “Representations of graded Hecke algebras”, Represen-
tation Theory 6(2002), 31–69
[Laf] V. Lafforgue, “K-th´eorie bivariante pour les alg`ebres de Banach et conjecture
de Baum–Connes”, Invent. Math. 149.1 (2002), 1-95
100
[Lan] R.P. Langlands, “On the classification of irreducible representations of real
algebraic groups”, pp. 101–170 in: Representation theory and harmonic analysis
on semisimple Lie groups, Math. Surveys Monogr. 31, American Mathematical
Society, 1989
[Lus1] G. Lusztig, Representations of finite Chevalley groups, CBMS Regional Con-
ference Series in Mathematics 39, American Mathematical Society, 1978
[Lus2] G. Lusztig, “Equivariant K-theory and representations of Hecke algebras”,
Proc. Amer. Math. Soc. 94.2 (1985), 337–342
[Lus3] G. Lusztig, “Cells in affine Weyl groups II”, J. Algebra 109 (1987), 536–548
[Lus4] G. Lusztig, “Cells in affine Weyl groups III”, J. Fac. Sci. Univ. Tokyo 34.2
(1987), 223–243
[Lus5] G. Lusztig, “Representations of affine Hecke algebras”, Ast´erisque 171–172
(1989), 73–84
[Lus6] G. Lusztig, “Affine Hecke algebras and their graded version”, J. Amer. Math.
Soc 2.3 (1989), 599–635
[Lus7] G. Lusztig, “Classification of unipotent representations of simple p-adic
groups”, Int. Math. Res. Notices 11 (1995), 517–589
[Lus8] G. Lusztig, Hecke algebras with unequal parameters, CRM Monograph Series
18, American Mathematical Society, 2003
[Lus9] “From conjugacy classes in the Weyl group to unipotent classes”,
arXiv:1003.0412, 2010
[Mor] L. Morris, “Tamely ramified intertwining algebras”, Invent. Math. 114.1
(1993), 1–54
[Moy1] A. Moy, “Representations of GSp(4) over a p-adic field. I and II.”, Compo-
sitio Math. 66.3 (1988), 237–284 and 285–328
[Moy2] A. Moy, “Representations of U(2,1) over a p-adic field”, J. Reine Angew.
Math. 372 (1986), 178–208
[MoPr] A. Moy, G. Prasad, “Jacquet functors and unrefined minimal K-types”,
Comment. Math. Helvetici 71 (1996), 98–121
[Nis] V. Nistor, “A non-commutative geometry approach to the representation the-
ory of reductive p-adic groups: Homology of Hecke algebras, a survey and some
new results”, pp. 301–323 in: Noncommutative geometry and number theory,
Aspects of Mathematics E37, Vieweg Verlag, 2006
[Opd1] E.M. Opdam, “A generating function for the trace of the Iwahori–Hecke
algebra”, Progr. Math. 210 (2003), 301–323
101
[Opd2] E.M. Opdam, “On the spectral decomposition of affine Hecke algebras”, J.
Inst. Math. Jussieu 3.4 (2004), 531–648
[Opd3] E.M. Opdam, “Hecke algebras and harmonic analysis”, pp. 1227–1259 of:
Proceedings ICM Madrid 2006 Vol. II, European Mathematical Society Pub-
lishing House, 2006
[Opd4] E.M. Opdam, “The central support of the Plancherel measure of the Hecke
algebra”, Moscow Math. J. 7(2007), 723–741
[OpSo1] E.M. Opdam, M. Solleveld, “Homological algebra for affine Hecke alge-
bras”, Advances in Mathematics 220 (2009), 1549–1601
[OpSo2] E.M. Opdam, M. Solleveld, “Discrete series characters for affine Hecke
algebras and their formal dimensions”, 2009, to appear in Acta Mathematica
[Phi] N.C. Phillips, K-theory for Fr´echet algebras”. Int. J. Math. 2.1 (1991), 77–
129
[Ply1] R.J. Plymen, “Noncommutative geometry: illustrations from the representa-
tion theory of GL(n)”, lecture notes, 1993, http://eprints.ma.man.ac.uk/1346
[Ply2] R.J. Plymen, “Reduced C-algebra for reductive p-adic groups”, J. Funct.
Anal. 88.2 (1990), 251–266
[RaRa] A. Ram, J. Rammage, “Affine Hecke algebras, cyclotomic Hecke algebras
and Clifford theory”, preprint, 1999
[Ree1] M. Reeder “Nonstandard intertwining operators and the structure of unram-
ified principal series representations”, Forum Math. 9(1997), 457–516
[Ree2] M. Reeder, “Isogenies of Hecke algebras and a Langlands correspondence
for ramified principal series representations”, Representation Theory 6(2002),
101–126
[Roc1] A. Roche, “Types and Hecke algebras for principal series representations of
split reductive p-adic groups”, Ann. Sci. ´
Ecole Norm. Sup. 31.3 (1998), 361–413
[Roc2] A. Roche, “The Bernstein decomposition and the Bernstein centre”, pp. 3–
53 in: Ottawa lectures on admissible representations of reductive p-adic groups,
Fields Inst. Monogr. 26, American Mathetical Society, 2009
[Rog] J. Rogawski “On modules over the Hecke algebra of a p-adic group”, Inv.
Math. 79 (1985), 225–249
[Ros] J.M. Rosenberg, “Appendix to: ”Crossed products of UHF algebras by prod-
uct type actions” by O. Bratteli”, Duke Math. J. 46.1 (1979), 25–26
[Slo1] K. Slooten, A combinatorial generalization of the Springer correspondence for
classical type, PhD Thesis, Universiteit van Amsterdam, 2003
102
[Slo2] K. Slooten, “Generalized Springer correspondence and Green functions for
type B/C graded Hecke algebras”, Adv. Math. 203 (2005), 34–108
[Sol1] M. Solleveld, “Some Fr´echet algebras for which the Chern character is an
isomorphism”, K-Theory 36 (2005), 275–290
[Sol2] M. Solleveld, “Periodic cyclic homology of Hecke algebras and their Schwartz
completions”, arXiv:math.KT/0605042, 2006
[Sol3] M. Solleveld, Periodic cyclic homology of affine Hecke algebras, PhD Thesis,
Universiteit van Amsterdam, 2007, arXiv:0910.1606
[Sol4] M. Solleveld, “Periodic cyclic homology of reductive p-adic groups”, Journal
of Noncommutative Geometry 3.4 (2009), 501–558
[Sol5] M. Solleveld, “Parabolically induced representations of graded Hecke alge-
bras”, 2009, arXiv:0804.0433
[Sol6] M. Solleveld, “Homology of graded Hecke algebras” J. Algebra 323 (2010),
1622–1648
[Spr] T.A. Springer, “A construction of representations of Weyl groups”, Invent.
Math. 44.3 (1978), 279–293.
[Wal] J.-L. Waldspurger, “La formule de Plancherel pour les groupes p-adiques
(d’apr`es Harish-Chandra)”, J. Inst. Math. Jussieu 2.2 (2003), 235–333
[Xi] N. Xi, Representations of affine Hecke algebras, Lecture Notes in Mathematics
1587, Springer-Verlag, 1994
103
... For a given q = 1 we have the half-line of parameters q ǫ = (q ǫ i ) i with ǫ ∈ R ≥0 . It is known from [Sol5,Theorem 4.4.2] that there exists a family of C * -homomorphisms ...
... Then (1) sends [p 0 ] ∈ K 0 (C * r (R, q 0 )) (respectively u 0 ∈ K 1 (C * r (R, q 0 ))) to the image of p ǫ (respectively u ǫ ) under the isomorphism M n (C * r (R, q ǫ )) ∼ = M n (C * r (R, q)). Actually, more is true, by [Sol5,Lemma 5.1.2] the map K * (ζ 0 ) equals (1). ...
... the map K * (ζ 0 ) equals (1). Furthermore, by [Sol5,Theorem 5.1.4] ζ 0 induces an isomorphism K * (C * r (R, q 0 )) ⊗ Z C → K * (C * r (R, q)) ⊗ Z C. In view of the aforementioned relation with the Baum-Connes conjecture for p-adic groups, we also want to understand the torsion parts of these K-groups. ...
Preprint
Let H(R,q) be an affine Hecke algebra with a positive parameter function q. We are interested in the topological K-theory of H(R,q), that is, the K-theory of its C*-completion C*_r (R,q). We will prove that K(Cr(R,q))K_* (C*_r (R,q)) does not depend on the parameter q. For this we use representation theoretic methods, in particular elliptic representations of Weyl groups and Hecke algebras. Thus, for the computation of these K-groups it suffices to work out the case q=1. These algebras are considerably simpler than for q not 1, just crossed products of commutative algebras with finite Weyl groups. We explicitly determine K(Cr(R,q))K_* (C*_r (R,q)) for all classical root data R, and for some others as well. This will be useful to analyse the K-theory of the reduced C*-algebra of any classical p-adic group. For the computations in the case q=1 we study the more general situation of a finite group \Gamma acting on a smooth manifold M. We develop a method to calculate the K-theory of the crossed product C(M)ΓC(M) \rtimes \Gamma. In contrast to the equivariant Chern character of Baum and Connes, our method can also detect torsion elements in these K-groups.
... For affine Hecke algebras the normal version of the Langlands classification is known from [Eve,Sol2], but variations like those mentioned above had not been worked out yet. We say that an H P ⋊ C[Γ P , ♮]-representation π is W Γ, P -regular if: for all weights t of π and all w ∈ W P Γ P D P,P + , wt is not a weight of π, where D P,P + = {d ∈ W Γ : d(P ) ⊂ R + , d −1 (P ) ⊂ R + , d / ∈ Γ P }. ...
... The Langlands classification for a reductive group G over a local field [Lan, Ren] classifies irreducible admissible G-representations in terms of irreducible tempered representations of Levi subgroups of G. The analogous result for affine/graded Hecke algebras can be found in [Eve,Sol2]. Here we want to establish some useful variations, in particular with subrepresentations instead of quotients. ...
... The following result is an obvious generalization of the Langlands classification for affine Hecke algebras [Eve,Sol2]. ...
Preprint
We further develop the abstract representation theory of affine Hecke algebras with arbitrary positive parameters. We establish analogues of several results that are known for reductive p-adic groups. These include: the relation between parabolic induction/restriction and Hermitian duals, Bernstein's second adjointness and generalizations of the Langlands classification. We check that, in the known cases of equivalences between module categories of affine Hecke algebras and Bernstein blocks for reductive p-adic groups, such equivalences preserve Hermitian duality. We also initiate the study of generic representation of affine Hecke algebras. Based on an analysis of the Hecke algebras associated to generic Bernstein blocks for quasi-split reductive p-adic groups, we propose a fitting definition of genericity for modules over affine Hecke algebras. With that notion we prove special cases of the generalized injectivity conjecture, about generic subquotients of standard modules for affine Hecke algebras.
... The version we need, including the canonicity and the group s ∨ , is shown in [46, Theorem 2.1.2]. Strictly speaking s ∨ must fix a point of T s ∨ in [46]. Fortunately, that does not play a role in the proof, it works in the generality of our setting because we consider u that need not be fixed by W (R s ∨ ). ...
... The module exp u * V can be "scaled" accordingly via a functor σ ϵ : Mod(H s ∨ ,u ) χ + u → Mod(H s ∨ ,u,ϵ ) χ ϵ + u , ϵ ∈ [0, 1]; see [46,Corollary 4.2.2]. In this process H(W s ∨ ,u , q λ F ) is replaced by the isomorphic semisimple algebra H(W s ∨ ,u , q ϵλ F ). ...
... In [16], the challenges for pushing this method through in type C are outlined in a set of conjectures, many of which have now been settled in work of Geck, Bonnafé, and others (see [2,9,11] and references there). Another analytic approach, closer to the original classification and construction of Kazhdan-Lusztig, is given by Opdam and Solleveld (see [20,26] and the references there). In the type C case, Kato [12] explained ...
Article
Full-text available
This paper gives a Schur–Weyl duality approach to the representation theory of the affine Hecke algebras of type C with unequal parameters. The first step is to realize the affine braid group of type C k as the group of braids on k strands with two poles. Generalizing familiar methods from the one pole (type A) case, this provides commuting actions of the quantum group U q 𝔤 and the affine braid group of type C k on a tensor space M ⊗ N ⊗ V ⊗ k . Special cases provide Schur–Weyl pairings between the affine Hecke algebra of type C k and the quantum group of type 𝔤𝔩 n , resulting in natural labelings of many representations of the affine Hecke algebras of type C by partitions. Following an analysis of the structure of weights of affine Hecke algebra representations (extending the one parameter case to the three parameter case necessary for affine Hecke algebras of type C), we provide an explicit identification of the affine Hecke algebra representations that appear in tensor space.
... The version we need, including the canonicity and the group Γ s ∨ , is shown in [Sol1, Theorem 2.1.2]. Strictly speaking Γ s∨ must fix a point of T s ∨ in [Sol1]. Fortunately, that does not role a role in the proof, it works in the generality of our setting because in any case we consider u that need not be fixed by W (R s ∨ ). ...
Preprint
Let G be a quasi-split reductive group over a non-archimedean local field. We establish a local Langlands correspondence for all irreducible smooth complex G-representations in the principal series. The parametrization map is injective, and its image is an explicitly described set of enhanced L-parameters. Our correspondence is determined by the choice of a Whittaker datum for G, and it is canonical given that choice. We show that our parametrization satisfies many expected properties, among others with respect to the enhanced L-parameters of generic representations, temperedness, cuspidal supports and central characters. Along the way we characterize genericity in terms of representations of an affine Hecke algebra.
Article
The wavefront set is a fundamental invariant of an admissible representation arising from the Harish-Chandra–Howe local character expansion. In this paper, we give a precise formula for the wavefront set of an irreducible representation of real infinitesimal character in Lusztig’s category of unipotent representations in terms of the Deligne–Langlands–Lusztig correspondence. Our formula generalises the main result of [D. Ciubotaru, L. Mason-Brown and E. Okada, Wavefront sets of unipotent representations of reductive 𝑝-adic groups I, preprint (2021), https://arxiv.org/abs/2112.14354 ], where this formula was obtained in the Iwahori-spherical case. We deduce that, for any irreducible unipotent representation with real infinitesimal character, the algebraic wavefront set is a singleton. In the process, we establish new properties of the generalised Springer correspondence in relation to Lusztig’s families of unipotent representations of finite reductive groups.
Preprint
Let G be a general linear group over a p-adic field. It is well known that Bernstein components of the category of smooth representations of G are described by Hecke algebras arising from Bushnell-Kutzko types. We describe the Bernstein components of the Gelfand-Graev representation of G by explicit Hecke algebra modules. This result is used to translate the theory of Bernstein-Zelevinsky derivatives in the language of representations of Hecke algebras, where we develop a comprehensive theory.
Article
Full-text available
Consider a reductive p -adic group G , its (complex-valued) Hecke algebra \mathcal H (G) , and the Harish-Chandra–Schwartz algebra \mathcal S (G) . We compute the Hochschild homology groups of \mathcal H (G) and of \mathcal S (G) , and we describe the outcomes in several ways. Our main tools are algebraic families of smooth G -representations. With those we construct maps from HH_{n} (\mathcal H (G)) and HH_{n} (\mathcal S(G)) to modules of differential n -forms on affine varieties. For n = 0 , this provides a description of the cocentres of these algebras in terms of nice linear functions on the Grothendieck group of finite length (tempered) G -representations. It is known from [J. Algebra 606 (2022), 371–470] that every Bernstein ideal \mathcal H (G)^{\mathfrak s} of \mathcal H (G) is closely related to a crossed product algebra of the form \mathcal O (T)\rtimes W . Here \mathcal O (T) denotes the regular functions on the variety T of unramified characters of a Levi subgroup L of G , and W is a finite group acting on T . We make this relation even stronger by establishing an isomorphism between HH_{*} (\mathcal H (G)^{\mathfrak s}) and HH_{*} (\mathcal O (T)\rtimes W) , although we have to say that in some cases it is necessary to twist \mathbb{C} [W] by a 2-cocycle. Similarly, we prove that the Hochschild homology of the two-sided ideal \mathcal S (G)^{\mathfrak s} of \mathcal S (G) is isomorphic to HH_{*} (C^{\infty} (T_{u})\rtimes W) , where T_{u} denotes the Lie group of unitary unramified characters of L . In these pictures of HH_{*} (\mathcal H (G)) and HH_{*} (\mathcal S (G)) , we also show how the Bernstein centre of \mathcal H (G) acts. Finally, we derive similar expressions for the (periodic) cyclic homology groups of \mathcal H (G) and of \mathcal S (G) and we relate that to topological K-theory.
Chapter
We show that the Young tableaux theory and constructions of the irreducible representations of the Weyl groups of type A, B and D, Iwahori-Hecke algebras of types A, B, and D, the complex reflection groups G(r,p,n) and the corresponding cyclotomic Hecke algebras Hr,p,n, can be obtained, in all cases, from the affine Hecke algebra of type A. The Young tableaux theory was extended to affine Hecke algebras (of general Lie type) in recent work of A. Ram. We also show how (in general Lie type) the representations of general affine Hecke algebras can be constructed from the representations of simply connected affine Hecke algebras by using an extended form of Clifford theory. This extension of Clifford theory is given in the Appendix.
Article
Hecke algebras.- Affine Weyl groups and affine Hecke algebras.- A generalized two-sided cell of an affine Weyl group.- qs-analogue of weight multiplicity.- Kazhdan-Lusztig classification on simple modules of affine Hecke algebras.- An equivalence relation in T x ?*.- The lowest two-sided cell.- Principal series representations and induced modules.- Isogenous affine Hecke algebras.- Quotient algebras.- The based rings of cells in affine Weyl groups of type .- Simple modules attached to c 1.
Conference Paper
This expository note will state the ABP (Aubert-Baum-Plymen) conjecture. The conjecture can be stated at four levels: 1. K-theory of C*-algebras 2. Periodic cyclic homology of finite type algebras 3. Geometric equivalence of finite type algebras 4. Representation theory. The emphasis in this note will be on representation theory.
Article
Je suis parvenu dans ma these a construire une k-theorie bivariante pour les algebres de banach. Cela m'a permis de demontrer la conjecture de baum-connes pour les groupes de lie semi-simples et les groupes reductifs p-adiques, ainsi que pour les sous-groupes discrets de type fini de sl#3(f), avec f une extension finie de q#p et pour les sous-groupes discrets cocompacts de sp(n, 1), sl#3(r) et sl#3(c). J'ai aussi demontre une conjecture analogue a la conjecture de baum-connes pour les algebres l#1 (et plus generalement toutes les bonnes completions) des sous-groupes fermes des groupes de lie semi-simples et des groupes reductifs p-adiques.