## GEOMETRIC STRUCTURE FOR THE PRINCIPAL SERIES OF A SPLIT REDUCTIVE p -ADIC GROUP WITH CONNECTED CENTRE

## ANNE-MARIE AUBERT, PAUL BAUM, ROGER PLYMEN, AND MAARTEN SOLLEVELD

Abstract. Let G be a split reductive p -adic group with connected centre. We show that each Bernstein block in the principal series of G admits a definite geometric structure, namely that of an extended quotient. For the Iwahori-spherical block, this extended quotient has the form T//W where T is a maximal torus in the Langlands dual group of G and W is the Weyl group of G .

## Contents

| 1.         | Introduction                          |   1 |
|------------|---------------------------------------|-----|
| 2.         | Extended quotient                     |   3 |
| 3.         | The group W s as a Weyl group         |   4 |
| 4.         | Comparison of different parameters    |   5 |
| 4.1.       | Varieties of Borel subgroups          |   5 |
| 4.2.       | Enhanced Langlands parameters         |   7 |
| 4.3.       | Affine Springer parameters            |   8 |
| 5.         | Structure theorem                     |  10 |
| 6.         | Correcting cocharacters and L-packets |  13 |
| References | References                            |  15 |

## 1. Introduction

Let G be a split reductive p -adic group with connected centre, and let G = G ∨ denote the Langlands dual group. Then G is a complex reductive group. Let T be a maximal torus in G and let W be the common Weyl group of G and G . We can form the quotient variety

## T/W

and, familiar from noncommutative geometry [Kha, p.77], the noncommutative quotient algebra

O ( T ) /multicloseright W.

Date : April 13, 2016.

2010 Mathematics Subject Classification. 20G05, 22E50.

Key words and phrases. reductive p -adic group, representation theory, geometric structure, local Langlands conjecture.

The second author was partially supported by NSF grant DMS-0701184.

Within periodic cyclic homology (a noncommutative version of de Rham theory) there is a canonical isomorphism

$$\text{HP} _ { * } ( \mathcal { O } ( T ) \rtimes W ) \simeq \text{H} ^ { * } ( T // W ; \mathbb { C } )$$

where

## T//W

denotes the extended quotient of T by W , see § 2. In this sense, the extended quotient T//W , a complex algebraic variety, is a more concrete version of the noncommutative quotient algebra O ( T ) /multicloseright W .

Returning to the p -adic group G , let Irr ( G ) i denote the subset of the smooth dual Irr ( G ) comprising all the irreducible smooth Iwahori-spherical representations of G . We prove in this article that there is a continuous bijective map, satisfying several constraints, as follows:

$$T \slash \slash W \simeq \text{Irr} ( \mathcal { G } ) ^ { \text{i} }.$$

We note that there is nothing in the classical representation theory of G to indicate that Irr ( G ) i admits such a geometric structure. Nevertheless, such a structure was conjectured by the present authors in [ABPS], and so this article is a confirmation of that conjecture, for the single point i in the Bernstein spectrum of G . We prove, more generally, that, subject to constraints itemized in [ABPS], and subject to the Condition 3.1 on the residual characteristic, there is a continuous bijective map

$$T ^ { s } \slash \slash W ^ { s } \simeq \text{Irr} ( \mathcal { G } ) ^ { s }$$

for each point s in the Bernstein spectrum for the principal series of G , see Theorem 5.2. Here, T s and W s are the complex torus and the finite group attached to s . This, too, is a confirmation of the geometric conjecture in [ABPS].

Let W F denote the Weil group of F . A Langlands parameter Φ for the principal series of G should have Φ( W F ) contained in a maximal torus of G . In particular, it should suffice to consider parameters Φ such that Φ ∣ ∣ W F factors through W ab F ∼ = F × , that is, such that Φ factors as follows:

$$\Phi \colon \mathbf W _ { F } \times \mathbf SL _ { 2 } ( \mathbb { C } ) \to F ^ { \times } \times \mathbf SL _ { 2 } ( \mathbb { C } ) \to G.$$

Such a parameter is enhanced in the following way. Let ρ be an irreducible representation of the component group of the centralizer of the image of Φ:

$$\rho \in \text{Irr} \, \pi _ { 0 } ( Z _ { G } ( \text{im } \Phi ) ).$$

The pair (Φ , ρ ) will be called an enhanced Langlands parameter .

We rely on Reeder's classification of the constituents of a given principal series representation of G , see [Ree, Theorem 1, p.101-102]. Reeder's theorem amounts to a local Langlands correspondence for the principal series of G . Reeder uses only enhanced Langlands parameters with a particular geometric origin, namely those which occur in the homology of a certain variety of Borel subgroups of G . This condition is essential, see, for example, the discussion, in [ABP2], of the Iwahori-spherical representations of the exceptional group G 2 .

In Theorem 4.7 we show how to replace the enhanced Langlands parameters of this kind, namely those of geometric origin, by the affine Springer

parameters defined in § 4.3. These affine Springer parameters are defined in terms of data attached to the complex reductive group G - in this sense, the affine Springer parameters are independent of the cardinality q of the residue field of F . The scene is now set for us to prove the first theorem of geometric structure, namely Theorem 5.1, from which our main structure theorem, Theorem 5.2 follows.

We also relate our basic structure theorem with L -packets in the principal series of G , see Theorem 6.2.

An earlier, less precise version of our conjecture was formulated in [ABP1]. That version was proven in [Sol1] for Bernstein components which are described nicely by affine Hecke algebras. These include the principal series of split groups (with possibly disconnected centre), symplectic and orthogonal groups and also inner forms of GL n .

Acknowledgements. Thanks to Mark Reeder for drawing our attention to the article of Kato [Kat]. We thank Joseph Bernstein, David Kazhdan, George Lusztig, and David Vogan for enlightening comments and discussions.

## 2. Extended quotient

Let Γ be a finite group acting on a complex affine variety X by automorphisms,

$$\Gamma \times X \rightarrow X.$$

The quotient variety X/ Γ is obtained by collapsing each orbit to a point. For x ∈ X, Γ x denotes the stabilizer group of x :

$$\Gamma _ { x } = \{ \gamma \in \Gamma \, \colon \gamma x = x \}.$$

Let c (Γ ) denote the set of conjugacy classes of Γ x x . The extended quotient is obtained from X/ Γ by replacing the orbit of x by c (Γ ). x This is done as follows:

Set ˜ X = { ( γ, x ) ∈ Γ × X : γx = x } . It is an affine variety and a subvariety of Γ × X . The group Γ acts on ˜ X :

$$\alpha ( \gamma, x ) = ( \alpha \gamma \alpha ^ { - 1 }, \alpha x ), \quad \alpha \in \Gamma, \ \ ( \gamma, x ) \in \widetilde { X }. \\ \text{extended quotient, denoted } X // \Gamma, \text{ is } \widetilde { X } / \Gamma. \text{ Thus the extended qu}$$

$$\Gamma \times \widetilde { X } & \to \widetilde { X } \\ \alpha ( \gamma, x ) & = ( \alpha \gamma \cdot$$

The extended quotient, denoted X// Γ, is ˜ X/ Γ. Thus the extended quotient X// Γ is the usual quotient for the action of Γ on ˜ X . The projection

↦

is Γ-equivariant and so passes to quotient spaces to give a morphism of affine varieties

$$\widetilde { X } \rightarrow X, \, ( \gamma, x ) \mapsto x \\ \text{assets to quotient spaces to} \, \vdash$$

$$\rho \colon X / / \Gamma \rightarrow X / \Gamma.$$

This map will be referred to as the projection of the extended quotient onto the ordinary quotient. The inclusion

$$X & \hookrightarrow \widetilde { X } \\ x & \mapsto ( e, x ) \quad e =$$

↦

$$e = \text{identity element of } \Gamma$$

is Γ-equivariant and so passes to quotient spaces to give an inclusion of affine varieties X/ Γ ↪ → X// Γ.

This article will be dominated by extended quotients of the form T//W or, more generally, extended quotients of the form T //W s s .

## 3. The group W s as a Weyl group

Let G be a connected reductive p -adic group over F , which is F -split and has connected centre. Let T be a F -split maximal torus in G . Let G T , denote the Langlands dual groups of G , T . The principal series consists of all G -representations that are obtained with parabolic induction from characters of T . We will suppose that the residual characteristic p of F satisfies the hypothesis in [Roc, p. 379], for all reductive subgroups H ⊂ G containing T :

Condition 3.1. If the root system R H,T ( ) is irreducible, then the restriction on the residual characteristic p of F is as follows:

- · for type A n p &gt; n +1

/negationslash

- · for types B ,C ,D n n n p = 2

/negationslash

- · for type F 4 p = 2 3 ,

/negationslash

- · for types G ,E 2 6 p = 2 3 5 , ,

/negationslash

- · for types E , E 7 8 p = 2 3 5 7 , , , .

If R H,T ( ) is reducible, one excludes primes attached to each of its irreducible factors.

Since R H,T ( ) is a subset of R G,T ( ) ∼ = R ( G T , ) ∨ , these conditions are fulfilled when they hold for R ( G T , ).

We denote the collection of all Bernstein components of G of the form s = [ T , χ ] G by B ( G T , ) and call these the Bernstein components in the principal series. The union

$$\text{ne union} \quad \text{Ir} r ( \mathcal { G }, \mathcal { T } ) \coloneqq \bigcup _ { \mathfrak { s } \in \mathfrak { B } ( \mathcal { G }, \mathcal { T } ) } \text{Ir} r ( \mathcal { G } ) ^ { \mathfrak { s } }$$

is by definition the set of all irreducible subquotients of principal series representations of G .

↦

Choose a uniformizer /pi1 F ∈ F . There is a bijection t → ν between points in T and unramified characters of T , determined by the relation

$$\nu ( \lambda ( \varpi _ { F } ) ) = \lambda ( t )$$

↦

↦

The uniformizer /pi1 F gives rise to a group isomorphism o × F × Z → F × , which sends 1 ∈ Z to /pi1 F . Let T 0 denote the maximal compact subgroup of T . As the latter is F -split, where λ ∈ X ∗ ( T ) = X ∗ ( T ). The space Irr ( T ) [ T ,χ ] T is in bijection with T via t → ν → χ ⊗ ν . Hence Bernstein's torus T s is isomorphic to T . However, because the isomorphism is not canonical and the action of the group W s depends on it, we prefer to denote it T s .

$$( 1 ) \quad \ \mathcal { T } \cong F ^ { \times } \otimes _ { \mathbb { Z } } X _ { * } ( \mathcal { T } ) \cong ( \mathfrak { o } _ { F } ^ { \times } \times \mathbb { Z } ) \otimes _ { \mathbb { Z } } X _ { * } ( \mathcal { T } ) = \mathcal { T } _ { 0 } \times X _ { * } ( \mathcal { T } ).$$

Because W G = W ( G T , ) does not act on F × , these isomorphisms are W G -equivariant if we endow the right hand side with the diagonal W G -action.

Thus (1) determines a W G -equivariant isomorphism of character groups

$$( 2 ) \quad \text{IR} ( \mathcal { T } ) \cong \text{IR} ( \mathcal { T } _ { 0 } ) \times \text{IR} ( X _ { * } ( \mathcal { T } ) ) = \text{IR} ( \mathcal { T } _ { 0 } ) \times X _ { \text{unr} } ( \mathcal { T } ).$$

Lemma 3.2. Let χ be a character of T , and let

$$\mathfrak { s } = [ \mathcal { T }, \chi ] _ { \mathcal { G } }$$

be the inertial class of the pair ( T , χ ) . Then s determines, and is determined by, the W G -orbit of a smooth morphism

$$c ^ { \mathfrak { s } } \colon \mathfrak { o } _ { F } ^ { \times } \rightarrow T.$$

Proof. There is a natural isomorphism

Irr ( T ) = Hom( F × ⊗ Z X ∗ ( T ) , C × ) = Hom( ∼ F × , C × ⊗ Z X ∗ ( T )) = Hom( F × , T ) .

Together with (2) we obtain isomorphisms

$$\xi _ { 1 } \xi _ { 2 } = \text{Hom} ( \mathfrak { o } _ { r } ^ { \times }, 1$$

$$& \text{Ir} \text{r} ( \mathcal { T } _ { 0 } ) \cong \text{Hom} ( \mathfrak { o } _ { F } ^ { \times }, T ), \\ & X _ { \text{unr} } ( \mathcal { T } ) \cong \text{Hom} ( \mathbb { Z }, T ) = T.$$

Let ˆ χ ∈ Hom( F × , T ) be the image of χ under these isomorphisms. By the above the restriction of ˆ to χ o × F is not disturbed by unramified twists, so we take that as c s . Conversely, by (2) c s determines χ up to unramified twists. Two elements of Irr ( T ) are G -conjugate if and only if they are W G -conjugate so, in view of (3), the W G -orbit of the c s contains the same amount of information as s . /square

We define

$$\hat { s }$$

$$H \coloneqq Z _ { G } ( \text{im} \ c ^ { s } ).$$

The following crucial result is due to Roche, see [Roc, p. 394 - 395].

Lemma 3.3. The group H s is connected, and the finite group W s is the Weyl group of H s :

$$W ^ { s } = \mathcal { W } ^ { H ^ { s } }$$

## 4. Comparison of different parameters

- 4.1. Varieties of Borel subgroups. We clarify some issues with different varieties of Borel subgroups and different kinds of parameters arising from them.

Let W F denote the Weil group of F , let I F be the inertia subgroup of W F . Let W der F denote the closure of the commutator subgroup of W F , and write W ab F = W W F / der F . The group of units in o F will be denoted o × F . Next, we consider conjugacy classes in G of continuous morphisms

$$\Phi \colon \mathbf W _ { F } \times \mathbf S L _ { 2 } ( \mathbb { C } ) \to G$$

which are rational on SL ( 2 C ) and such that Φ( W F ) consists of semisimple elements in G .

Let B 2 be the upper triangular Borel subgroup in SL ( 2 C ). Let B Φ( W F × B 2 ) denote the variety of Borel subgroups of G containing Φ( W F × B 2 ). The variety B Φ( W F × B 2 ) is non-empty if and only if Φ factors through W ab F , see [Ree, § 4.2]. In that case, we view the domain of Φ to be F × × SL ( 2 C ):

$$\Phi \colon F ^ { \times } \times \text{SL} _ { 2 } ( \mathbb { C } ) \to G.$$

In Section 4.2 we show how such a Langlands parameter Φ can be enhanced with a parameter ρ .

We start with the following data: a point s = [ T , χ ] G and an L -parameter ×

$$\Phi \colon F ^ { \times } \times \text{SL} _ { 2 } ( \mathbb { C } ) \to G$$

for which

$$\Phi | \mathfrak { o } _ { F } ^ { \times } = c ^ { \mathfrak { s } }.$$

This data creates the following items:

$$& \stackrel { \sim } { t } \coloneqq \Phi ( \varpi _ { F }, I ), \\ & x \coloneqq \Phi \left ( 1, ( \begin{smallmatrix} 1 & 1 \\ 0 & 1 \\ 1 \end{smallmatrix} ) \right ), \\ & M \coloneqq Z _ { H } ( t ).$$

We note that Φ( o × F ) ⊂ Z( H ) and that t commutes with Φ(SL ( 2 C )) ⊂ M . For α ∈ C × we define the following matrix in SL ( 2 C ):

$$\colon & \text{mowing mauau} \, \mu \\ Y _ { \alpha } = \left ( \begin{smallmatrix} \alpha & 0 \\ 0 & \alpha ^ { - 1 } \end{smallmatrix} \right ). \\.$$

For any q 1 2 / ∈ C × the element satisfies the familiar relation t q xt -1 q = x q . Indeed

$$& \Gamma \alpha \, \gamma \, \alpha \, \in \, \subset \, \colon \, \text{ one element} \\ & ( 6 ) & \quad \quad t _ { q } \coloneqq t \Phi \left ( Y _ { q ^ { 1 / 2 } } \right ) \\ & \quad \cdots c \, \alpha \, \alpha \, \alpha \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col: \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col. \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colots \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col.: \, \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \, \colon \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \code. \, \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \col. \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \colon \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \code. \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \code. \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \code. \, \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \col. \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon. \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \colon \}$$

$$\cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ t _ { q } x t _ { q } ^ { - 1 } & = t \Phi ( Y _ { q ^ { 1 / 2 } } ) \Phi \left ( \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix} \right ) \Phi ( Y _ { q ^ { 1 / 2 } } ^ { - 1 } ) t ^ { - 1 } \\ ( 7 ) & = t \Phi ( Y _ { q ^ { 1 / 2 } } \left ( \begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix} \right ) Y _ { q ^ { 1 / 2 } } ^ { - 1 } ) t ^ { - 1 } \\ & = t \Phi \left ( \begin{smallmatrix} 1 & q \\ 0 & 1 \end{smallmatrix} \right ) t ^ { - 1 } = x ^ { q }. \\ \text{Notice that } \Phi ( \mathfrak { o } _ { e } ^ { \times } ) \text{ lies in every Borel subgroup of } H, \text{ because it is } c$$

Notice that Φ( o × F ) lies in every Borel subgroup of H , because it is contained in Z( H ). We abbreviate Z H (Φ) = Z H (im Φ) and similarly for other groups.

Lemma 4.1. The inclusion map Z H (Φ) → Z H ( t, x ) is a homotopy equivalence.

Proof. Our proof depends on [ChGi, Prop. 3.7.23]. There is a Levi decomposition

$$Z _ { H } ( x ) = Z _ { H } ( \Phi ( \text{SL} _ { 2 } ( \mathbb { C } ) ) ) U _ { x }$$

where Z H (Φ(SL ( 2 C )) a maximal reductive subgroup of Z H ( x ) and U x is the unipotent radical of Z H ( x ). Therefore

$$Z _ { H } ( t, x ) = Z _ { H } ( \Phi ) Z _ { U _ { x } } ( t )$$

We note that Z U x ( ) t ⊂ U x is contractible, because it is a unipotent complex group. It follows that

(9)

$$Z _ { H } ( \Phi ) \rightarrow Z _ { H } ( t, x )$$

is a homotopy equivalence.

/square

If a group A acts on a variety X , let R ( A,X ) denote the set of irreducible representations of A appearing in the homology H X ∗ ( ).

The variety of Borel subgroups of G which contain Φ( W F × B 2 ) will be denoted B Φ( W F × B 2 ) G and the variety of Borel subgroups of H containing { t, x } will be denoted B t,x H .

Lemma 4.1 allows us to define

$$A \coloneqq \pi _ { 0 } ( Z _ { H } ( \Phi ) ) = \pi _ { 0 } ( Z _ { H } ( t, x ) ).$$

Theorem 4.2. We have

$$\mathcal { R } ( A, \mathcal { B } ^ { \Phi ( \mathbf W _ { F } \times B _ { 2 } ) } ) = \mathcal { R } ( A, \mathcal { B } ^ { t, x } _ { H } ).$$

Proof. This statement is equivalent to [Ree, Lemma 4.4.1] with a minor adjustment in his proof. To translate into Reeder's paper, write

$$t _ { q } = \tau, Y _ { q } = \tau _ { u }, x = u, t = s.$$

The adjustment consists in the observation that the Borel subgroup B of H contains { x, t q , Y q } if and only if B contains { x, t, Y q } . This is because t = t q Y -1 q . Therefore, in the conclusion of his proof, B τ,u H , which is B t q ,x H , can be replaced by B t,x H . /square

In the following sections we will make use of two different but related kinds of parameters.

- 4.2. Enhanced Langlands parameters. Let W F denote the Weil group of F . Via the Artin reciprocity map a Langlands parameter Φ for the principal series of G will factor through F × × SL ( 2 C ):

$$\Phi \colon \mathbf W _ { F } \times \mathbf S L _ { 2 } ( \mathbb { C } ) \to F ^ { \times } \times \mathbf S L _ { 2 } ( \mathbb { C } ) \to G.$$

Such a parameter is enhanced in the following way. Let ρ be an irreducible representation of the component group of the centralizer of the image of Φ:

$$\rho \in \text{Irr} \, \pi _ { 0 } ( Z _ { G } ( \text{im } \Phi ) ).$$

The pair (Φ , ρ ) will be called an enhanced Langlands parameter .

We rely on Reeder's classification of the constituents of a given principal series representation of G , see [Ree, Theorem 1, p.101-102]. Reeder's theorem amounts to a local Langlands correspondence for the principal series of G . Reeder uses only enhanced Langlands parameters with a particular geometric origin, namely those which occur in the homology of a certain variety of Borel subgroups of G .

Let B 2 denote the standard Borel subgroup of SL ( 2 C ). For a Langlands parameter as in (10), the variety of Borel subgroups B Φ( W F × B 2 ) G is nonempty, and the centralizer Z G (Φ) of the image of Φ acts on it. Hence the group of components π 0 (Z G (Φ)) acts on the homology H ∗ ( B Φ( W F × B 2 ) G , C ) . We call an irreducible representation ρ of π 0 (Z G (Φ)) geometric if

$$\text{presettual} \, \rho \, \text{or} \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varp \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varphi \, \varproj \, \varphi \, \varproj \, \varphi \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \varproj \, \text{$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$\quad$
\quad \rho \, \in \, \mathcal { R } \left ( \pi _ { 0 } ( \mathbb { Z } _ { G } ( \Phi ) ), \mathcal { B } _ { G } ^ { \Phi ( \mathbf W _ { F } \times B _ { 2 } ) } \right ) \,.$$

Consider the set of enhanced Langlands parameters (Φ , ρ ) for which ρ is geometric. The group G acts on these parameters by

$$g \cdot ( \Phi, \rho ) & = ( g \Phi g ^ { - 1 }, \rho \circ \text{Ad} _ { g } ^ { - 1 } )$$

and we denote the corresponding equivalence class by [Φ , ρ ] G .

Definition 4.3. Let Ψ( G ) s en denote the set of H -conjugacy classes of enhanced parameters (Φ , ρ ) for G such that

- · ρ is geometric;

## · Φ | o × = c s .

Let us define a topology on Ψ( G ) s en . For any (Φ , ρ ) ∈ Ψ( G ) s en the element x = Φ(( 1 1 0 1 )) ∈ H is unipotent and t = Φ( /pi1 F , I ) ∈ H is semisimple. By the Jacobson-Morozov Theorem the H -conjugacy class of Φ is determined completely by the H -conjugacy class of ( t, x ), see [Ree, § 4.2]. We endow the finite set U s of unipotent conjugacy classes in H with the discrete topology and we regard the space of semisimple conjugacy classes in H as the algebraic variety T /W s s . On T /W s s × U s we take the product topology and we endow Ψ( G ) s en with the pullback topology from T /W s s × U s , with respect to the map (Φ , ρ ) → ( t, x ).

↦

Notice that for this topology the ρ does not play a role, two elements of Ψ( G ) s en with the same Φ are inseparable.

Theorem 4.4. [Ree] Suppose that the residual characteristic of F satisfies Condition 3.1.

- (1) There is a canonical continuous bijection

$$\Psi ( G ) _ { \text{en} } ^ { \text{s} } \rightarrow \text{Irr} ( \mathcal { G } ) ^ { \text{s} }.$$

- (2) This bijection maps the set of enhanced Langlands parameters (Φ , ρ ) for which Φ( F × ) is bounded onto Irr ( G ) s ∩ Irr ( G ) temp .
- (3) If σ ∈ Irr ( G ) s corresponds to (Φ , ρ ) , then the cuspidal support π s ( σ ) ∈ T /W s s , considered as a semisimple conjugacy class in H s , equals Φ ( /pi1 F , Y q 1 / 2 ) .

Proof. (1) The canonical bijection is Reeder's classification of the constituents of a given principal series representation, see [Ree, Theorem 1, p.101 - 102].

First he associates to Φ a finite length 'standard' representation of G , say M t,x , with a unique maximal semisimple quotient V t,x . Then (Φ , ρ ) is mapped to an irreducible constituent of V t,x . To check that the bijection is continuous with respect to the above topology, it suffices to see that M t,x depends continuously on t when x is fixed. This property is clear from [Ree, § 3.5].

- (2) Reeder's work is based on that of Kazhdan-Lusztig, and it is known from [KaLu, § 8] that the tempered G -representations correspond precisely to the set of bounded enhanced L-parameters in the setting of [KaLu]. As the constructions in [Ree] preserve temperedness, this characterization remains valid in Reeder's setting.
- (3) The element Φ ( /pi1 F , Y q 1 / 2 ) ∈ H is the same as t q in (6), up to H -conjugacy. In the setting of Kazhdan-Lusztig, it is known from [KaLu, 5.12 and Theorem 7.12] that property (3) holds. As in (2), this is respected by the constructions of Reeder that lead to (1). /square
- 4.3. Affine Springer parameters. As before, suppose that t ∈ H is semisimple and that x ∈ Z H ( ) is unipotent. t Then Z H ( t, x ) acts on B t,x H and π 0 (Z H ( t, x )) acts on the homology of this variety. In this setting we say that ρ 1 ∈ Irr ( π 0 (Z H ( t, x )) ) is geometric if it belongs to R ( π 0 (Z H ( t, x )) , B t,x H ) .

For the affine Springer parameters it does not matter whether we consider the total homology or only the homology in top degree. Indeed, it follows from [Sho, bottom of page 296 and Remark 6.5] that any irreducible

representation ρ 1 which appears in H ∗ ( B t,x H , C ) , already appears in the top homology of this variety. Therefore, we may refine Theorem 4.2 as follows:

## Theorem 4.5.

$$\mathcal { R } ( A, \mathcal { B } ^ { \Phi ( \mathbf W _ { F } \times B _ { 2 } ) } ) = \mathcal { R } ^ { \text{top} } ( A, \mathcal { B } ^ { t, x } _ { H } ),$$

where top refers to highest degree in which the homology is nonzero, the real dimension of B t,x H .

We call such triples ( t, x, ρ 1 ) affine Springer parameters for H , because they appear naturally in the representation theory of the affine Weyl group associated to H . The group H acts on such parameters by conjugation, and we denote the conjugacy classes by [ t, x, ρ 1 ] H .

Definition 4.6. The set of H -conjugacy classes of affine Springer parameters will be denoted Ψ( H ) aff .

↦

Notice that the projection on the first coordinate is a canonical map Ψ( H ) aff → T/ W H . We endow Ψ( H ) aff with a topology in the same way as we did for Ψ( G ) s en , as the pullback of the product topology on T/ W H × U s via the map [ t, x, ρ 1 ] H → ( t, x ).

For use in Theorem 5.1 we recall the parametrization of irreducible representations of X ∗ ( T ) /multicloseright W H from [Kat]. Let t ∈ T and let x ∈ M ◦ = Z H ( ) t ◦ be unipotent. Kato defines an action of X ∗ ( T ) /multicloseright W H on the top homology H d x ( ) ( B t,x H , C ), which commutes with the action of Z H ( t, x ) induced by conjugation of Borel subgroups. By [Kat, Proposition 6.2] there is an isomorphism of X ∗ ( T ) /multicloseright W H -representations

$$( 1 2 ) \int _ { \begin{array} { c } H _ { d ( x ) } ( \mathcal { B } _ { H } ^ { t, x }, \mathbb { C } ) \cong \text{ind} \\ X ^ { * } ( T ) \rtimes \mathcal { W } ^ { M ^ { \circ } } } ( \mathbb { C } _ { t } \otimes H _ { d ( x ) } ( \mathcal { B } _ { M ^ { \circ } } ^ { x }, \mathbb { C } ) ). \end{array}$$

Here H d x ( ) ( B x M ◦ , C ) is a representation occurring in the Springer correspondence for W M 0 , promoted to a representation of X ∗ ( T ) /multicloseright W H by letting X ∗ ( T ) act trivially. Hence (12) has central character W H t . We note that the underlying vector space of this representation does not depend on t , and that this determines an algebraic family of X ∗ ( T ) /multicloseright W H -representations parametrized by T W M 0 . Let ρ 1 ∈ Irr ( π 0 (Z H ( t, x )) ) . By [Kat, Theorem 4.1] the X ∗ ( T ) /multicloseright W H -representation

$$\begin{array} {$$

is either irreducible or zero. Moreover every irreducible representation of X ∗ ( T ) /multicloseright W H is obtained in this way, and the data ( t, x, ρ 1 ) are unique up to H -conjugacy. So Kato's results provide a natural bijection

$$\Psi ( H ) _ { \text{aff} } \to \text{Irr}$$

This generalizes the Springer correspondence for finite Weyl groups, which can be recovered by considering the representations on which X ∗ ( T ) acts trivially.

In [KaLu, Ree] there are some indications that the above kinds of parameters are essentially equivalent. The next result allows us to make this precise in the necessary generality.

Theorem 4.7. Let s be a Bernstein component in the principal series, associate c s : o × F → T to it as in Lemma 3.2 and let H be as in (5). There are natural bijections between H -equivalence classes of:

- · enhanced Langlands parameters (Φ , ρ ) for G , with ρ geometric and Φ ∣ ∣ o × F = c s ; · affine Springer parameters for H .

In other words we have a homeomorphism

$$\Psi ( G ) _ { \text{en} } ^ { \text{s} }$$

Proof. An L -parameter gives rise to the ingredients t, x in an affine Springer parameter in the following way. For an L -parameter

$$\Phi \colon F ^ { \times } \times \text{SL} _ { 2$$

Conversely, we work with the Jacobson-Morozov Theorem [ChGi, p. 183]. Let x be a unipotent element in M 0 . There exist rational homomorphisms we set t = Φ( /pi1 F , 1) and x = Φ 1 ( ( , 1 1 0 1 ) ) .

$$& \gamma \colon \text{SL} _ { 2 } ( \mathbb { C$$

see [ChGi, § 3.7.4]. Any two such homomorphisms γ are conjugate by elements of Z M ◦ ( x ). Define the Langlands parameter Φ as follows:

↦

$$( 1 6 ) \quad \Phi \colon F ^ { \times } \times \text$$

for all u ∈ o × F , n ∈ Z , Y ∈ SL ( 2 C ).

Note that the definition of Φ uses the appropriate data: the semisimple element t ∈ T , the map c s , and the homomorphism γ (which depends on x ).

Since x determines γ up to M ◦ -conjugation, c , x s and t determine Φ up to conjugation by their common centralizer in G . Notice also that one can recover c , x s and t from Φ and that

$$h ( \alpha ) \coloneqq \Phi ( 1, Y _ { \alpha } )$$

defines a cocharacter C × → T .

To complete Φ or ( t, x ) to a parameter of the appropriate kind, we must add an irreducible representation ρ or ρ 1 . Then the bijectivity follows from Theorem 4.5.

It is clear that the above correspondence between Φ and ( t, x ) is continuous in both directions. In view of the chosen topologies on Ψ( G ) s en and Ψ( H s ) aff , this implies that the bijection is a homeomorphism. /square

## 5. Structure theorem

Let s ∈ B ( G T , ) and construct c s as in Lemma 3.2. We note that the set of enhanced Langlands parameters Φ( G ) s en is naturally labelled by the unipotent classes in H :

$$\begin{array} {$$

Via Theorem 4.7 and (14) the sets Φ( G ) s en and Irr ( X ∗ ( T ) /multicloseright W H ) are naturally in bijection with Ψ( H ) aff . In this way we can associate to any of these

parameters a unique unipotent class in H :

$$\ast$$

$$\text{parameters a unique unipotent class in } H \colon \\ \text{Ir$$

As Irr ( G ) s = Irr ( H s ) and Irr ( X ∗ ( T ) /multicloseright W H ) = Irr ( C [ X ∗ ( T ) /multicloseright W H ]), these spaces are endowed with the Jacobson topology from the respective algebras H s and C [ X ∗ ( T ) /multicloseright W H ].

Recall from Section 2 that

$$\widetilde { T ^ { s } } & = \{ ( w, t ) \in W ^ { s } \times T ^ { s } \ | \ w t = t \} \\ \widetilde { T ^ { s } } / W ^ { s }. \text{ We endow } \widetilde { T ^ { s } } \text{ with the product of th}$$

and T //W s s = ˜ T /W s s . We endow ˜ T s with the product of the Zariski topology on T s ∼ = T and the discrete topology on W s = W H . Then T //W s s with the quotient topology from ˜ T s becomes a disjoint union of algebraic varieties. The following result enables us to transfer the labellings (19) to T //W s s .

Theorem 5.1. There exists a bijection ˜ µ s : T //W s s → Irr ( X ∗ ( T ) /multicloseright W s ) such that:

- (1) ˜ µ s respects the projections to T /W s s ;
- (2) for every unipotent class x of H , the inverse image (˜ ) µ s -1 Irr ( X ∗ ( T ) /multicloseright W s ) [ x ] is a union of connected components of T //W s s .

Proof. Consider the ring R X ( ∗ ( T s ) /multicloseright W s ) of virtual finite dimensional complex representations X ∗ ( T s ) /multicloseright W s . Its canonical Z -basis is

$$\text{Irr} ( X ^ { * } ( T ) \rtimes W ^ { s } ) = \{ \tau ( t, x, \rho _ { 1 } ) \colon ( t, x, \rho _ { 1 } ) \in \Psi ( H ) _ { \text{aff} } \}.$$

The Q -vector space

$$R _ { \mathbb { Q } } ( X ^ { * } ( T ) \rtimes W ^ { s } ) \coloneqq \mathbb { Q } \otimes _ { \mathbb { Z } } R ( X ^ { * } ( T ) \rtimes W ^ { s } )$$

possesses another useful basis coming from T //W s s . Given w ∈ W s , let C w be the cyclic subgroup it generates. We define a character χ w of C w by the formula

$$\chi _ { w } ( w ^ { n } ) = \exp ( 2 \pi i n / | C _ { w } | ).$$

For any t ∈ ( T s ) w we obtain a character C t ⊗ χ w of X ∗ ( T s ) /multicloseright C w . We induce that to a X ∗ ( T s ) /multicloseright W s -representation

$$\chi ( w, t ) \coloneqq \text{ind} _ { X ^ { * } ( T ) \rtimes C _ { w } } ^ { X ^ { * } ( T ) \rtimes W ^ { s } } ( \mathbb { C } _ { t } \otimes \chi _ { w } )$$

with central character W t s . The representation χ w,t ( ) is irreducible whenever t is a generic point of ( T s ) w , which in this case means simply that t is not fixed by any element of W s \ C w . It is easy to see that χ w,t ( ) = ∼ χ w , t ( ′ ′ ) if and only if ( w,t ) and ( w , t ′ ′ ) are W s -associate (which means that they determine the same point of T //W s s ). Moreover, it follows from Clifford theory and Artin's theorem [Ser, Theorem 17] that

$$\{ \chi ( w, t ) \colon [ w, t ] \in T ^ { s } \slash / W ^ { s } \}$$

is a Q -basis of R Q ( X ∗ ( T ) /multicloseright W s ), see [Sol2, (40)].

Now we construct the desired map ˜ , with a recursive procedure. µ s Take 0 ≤ d ≤ dim C ( T ). With w ∈ W s , define

$$( T ^ { \mathfrak { s } } ) ^ { w } \coloneqq \{ t \in T ^ { \mathfrak { s } } \, \colon w t = t \}.$$

Suppose that we already have defined ˜ µ s on all connected components of T //W s s of dimension &lt; d , and that

Fix t 1 ∈ T s . Since (12) has central character W t s , both { τ ( t, x, ρ 1 ) : ( t 1 , x, ρ 1 ) ∈ Ψ( H ) aff and { χ w,t ( 1 ) : [ w,t 1 ] ∈ T //W s s } are bases of the finite dimensional Q -vector space R Q ( X ∗ ( T ) /multicloseright W s ) W t s 1 spanned by the X ∗ ( T ) /multicloseright W s -representations which admit the central character W t s 1 . From this and the assumption (20) we see that we can find, for very w ∈ W s fixing t 1 , an irreducible constituent ˜ ([ µ s w,t 1 ]) of χ w,t ( 1 ) such that

$$& T ^ { \mathfrak { s } } \, \text{//} W ^ { \mathfrak { s } } \, \text{ of dimension} < d, \, \text{and that} \\ & \quad \text{span} \, \tilde { \mu } ^ { \mathfrak { s } } ( \{ [ w, t ] \in T ^ { \mathfrak { s } } \, \text{//} W ^ { \mathfrak { s } } \, \colon \dim ( T ^ { \mathfrak { s } } ) ^ { w } < d \} ) \, \cap \\ & \quad \text{span} \, \{ \chi ( w, t ) \, \colon ( w, t ) \in \widetilde { T ^ { \mathfrak { s } } }, \dim ( T ^ { \mathfrak { s } } ) ^ { w } \geq d \} \ = 0. \\ & \quad \text{Fix} \ t _ { 1 } \, \in \ T ^ { \mathfrak { s } } \, \text{ \ \ Since } \, ( \, \text{12} ) \, \text{ has central character} \, \text{character} \, \text{W} ^ { \mathfrak { s } } t, \, \text{ both } \, \{ \tau ( t, x, \rho _ { 1 } }.$$

$$\iota _ { 1 }, \, \text{an irrevocable construction } \mu ( \lfloor w, \iota _ { 1 } \rfloor ) \, \text{or } \chi ( w, \iota _ { 1 } ) \, \text{such una} \\ \text{span } \tilde { \mu } ^ { s } & \Big ( \{ [ w, t _ { 1 } ] \in T ^ { s } \slash \slash W ^ { s } \colon \dim ( T ^ { s } ) ^ { w } \leq d \} \Big ) \\ & \cup \text{span } \{ \chi ( w, t _ { 1 } ) \, \colon ( w, t _ { 1 } ) \in \widetilde { T ^ { s } }, \, \dim ( T ^ { s } ) ^ { w } > d \} \\ \text{is again a } \mathbb { Q } \text{-basis of } R _ { \mathbb { Q } } ( X ^ { * } _ { \mathbb { Q } } ( T ) \rtimes W ^ { s } ) _ { W ^ { s } t _ { 1 } }. \, \text{In this way we construct } \tilde { \mu } ^ { s } \, \text{on} \\. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &.. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &. &.$$

is again a Q -basis of R Q ( X ∗ ( T ) /multicloseright W s ) W t s 1 . In this way we construct ˜ µ s on the d -dimensional connected components of T //W s s , such that (20) becomes valid for d +1. Thus we obtain a bijection ˜ µ s : T //W s s → Irr ( X ∗ ( T ) /multicloseright W s ) which satisfies (1).

It remains to check (2). Fix w ∈ W s and consider a connected component ( T s ) w i of ( T s ) w . For generic t ∈ ( T s ) w i , χ w,t ( ) = ˜ ([ µ s w,t ]) is irreducible. We note that both { χ w,t ( ) : t ∈ ( T s ) w i } and (12) (with fixed x ) are algebraic families of X ∗ ( T ) /multicloseright W s -representations parametrized by ( T s ) w i . That set is an irreducible algebraic variety because it is a coset of the neutral component of ( T s ) w , which is a subtorus of T s . It follows that the irreducible χ w,t ( ) are all contained in Irr ( X ∗ ( T ) /multicloseright W s ) [ x ] for one x . By continuity χ w,t ( ) is a subrepresentation of H d x ( ) ( B t,x H , C ) for all t ∈ ( T s ) w i , which implies that the subquotient ˜ ([ µ s w,t ]) of χ w,t ( ) has the form τ ( t, x, ρ 1 ) for the same x . Hence ˜ ([ µ s w, ( T s ) w i ]) ⊂ Irr ( X ∗ ( T ) /multicloseright W s ) [ x ] . /square

We remark that with more effort it is possible to refine the above construction so that ˜ µ s becomes continuous. But since we do not need that refinement, we refrain from writing it down here.

Theorem 5.2. Let G be a split reductive p -adic group with connected centre, such that the residual characteristic satisfies Condition 3.1. Then, for each point s in the principal series of G , we have a continuous bijection

$$\mu ^ { s } \colon T ^ { s } \slash / W ^ { s } \to \text{Ir} ( \mathcal { G } ) ^ { s }.$$

It maps T s cpt / /W s onto Irr ( G ) s ∩ Irr ( G ) temp .

Proof. To get the bijection µ s , apply Theorems 4.7, 4.4.(1) and 5.1. The properties (1) and (2) in Theorem 5.1 ensure that the composed map

$$T ^ { \mathfrak { s } } \slash W ^ { \mathfrak { s } } \to \text{Irr} ( X ^ { * } ( T ) \rtimes W ^ { \mathfrak { s } } ) \to \Psi ( H ) _ { \text{aff} }$$

is continuous, so µ s is continuous as well.

By Theorem 5.1 T s cpt / /W s is first mapped bijectively to the set of parameters in Ψ( H ) aff with t compact. From the proof of Theorem 4.7 we see that the latter set is mapped onto the set of enhanced Langlands parameters (Φ , ρ ) with Φ ∣ ∣ o × F = c s and Φ( /pi1 F ) compact. These are just the bounded enhanced Langlands parameters, so by Theorem 4.4.(2) they correspond to Irr ( G ) s ∩ Irr ( G ) temp . /square

## 6. Correcting cocharacters and L-packets

In this section we construct 'correcting cocharacters' on the extended quotient T //W s s . These measure the difference between the canonical projection T //W s s → T /W s s and the composition of µ s (from Theorem 5.2) with the cuspidal support map Irr ( G ) s → T /W s s . As conjectured in [ABPS], they show how to determine when two elements of T //W s s give rise to G -representations in the same L-packet.

Every enhanced Langlands parameter (Φ , ρ ) naturally determines a cocharacter h Φ and elements θ (Φ , ρ, z ) ∈ T s by

Although these formulas obviously do not depend on ρ , it turns out to be convenient to include it in the notation anyway. However, in this generality we would end up with infinitely many correcting cocharacters, most of them with range outside T . To reduce to finitely many cocharacters with values in T , we must fix some representatives for U s in H .

$$& \text{acter} \, h _ { \Phi } \text{ and elements } \theta ( \Phi, \rho, z ) \in 1 ^ { \infty } \text{ by} \\ & ( 2 1 ) \begin{array} { c } h _ { \Phi } ( z ) = \Phi ( 1, \binom { z } { 0 } ^ { 0 } _ { z ^ { - 1 } } ) \end{array} ), \\ & \theta ( \Phi, \rho, z ) = \Phi ( \varpi _ { F }, \binom { z } { 0 } ^ { 0 } _ { z ^ { - 1 } } ) \end{array} ) = \Phi ( \varpi _ { F } ) h _ { \Phi } ( z ). \\ & \text{Although these formulas obviously do not depend on } \theta. \text{ it turns out } t$$

Fix a Borel subgroup B H of H containing T . Following the recipe from the Bala-Carter classification [Car, Theorem 5.9.6] we choose a set of representatives U s ⊂ B H for the unipotent classes of H .

Lemma 6.1. Every commuting pair ( t, x ) with t ∈ H semisimple and x ∈ H unipotent is conjugate to one with x ∈ U s and t ∈ T .

Proof. Obviously we can achieve that x ∈ U s via conjugation in H . Choose a homomorphism of algebraic groups γ : SL ( 2 C ) → H with γ (( 1 1 0 1 )) = x . As noted in (15), such a γ exists and is unique up to conjugation by Z H ( x ). The constructions for the Bala-Carter theorem in [Car, § 5.9] entail that we can choose γ such that γ Y ( α ) ∈ T for all α ∈ C × . On the other hand, we can also construct such a γ inside the reductive group Z H ( ). t So, upon conjugating t by a suitable element of Z H ( x ), we can achieve that the standard maximal torus T x of γ (SL ( 2 C )) is contained in T and commutes with t . Let S ⊂ H be a maximal torus containing T x and t . Then

$$T = ( T \cap Z _ { G } ( \text{im} \, \gamma ) ) ^ { \circ } Z ( G ) T _ { x },$$

and similarly for S . It follows that

$$T \cap Z _ { G } ( \text{im} \, \gamma ) ^ { \circ } \text{ \ and \ } S \cap Z _ { G } ( \text{im} \, \gamma ) ^ { \circ }$$

are maximal tori of Z G (im γ ) ◦ . They are conjugate, which shows that we can conjugate t to an element of T without changing x ∈ U s . /square

Recall that (19) and Theorem 5.1 determine a labelling of the connected components of T //W s s by unipotent classes in H . This enables us to define

the correcting cocharacters: for a connected component c of T //W s s with label (represented by) x ∈ U s let γ x = γ be as in (15) and Φ as in (16). We take the cocharacter

$$& \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{end} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \,\text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and}, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \,  \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{or} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \,  \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{And} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \, \text{and} \,$$

Let ˜ c be a connected component of ˜ T s that projects onto c and centralizes x . In view of Lemma 6.1 this can always be achieved by adjusting by an element of W s . We define

↦

↦

$$\widetilde { \theta } _ { z } & \colon \widetilde { \mathbf c } \to T ^ { s }, \quad ( w, t ) \mapsto t \, h _ { \mathbf c } ( z ), \\ \theta _ { z } & \colon \mathbf c \to T ^ { s } / W ^ { s }, \quad [ w, t ] \mapsto W ^ { s } t \, h _ { \mathbf c } ( z ).$$

Theorem 6.2. Let [ w,t , ] [ w , t ′ ′ ] ∈ T //W s s . Then µ s [ w,t ] and µ s [ w , t ′ ′ ] are in the same L-packet if and only if

- · [ w,t ] and [ w , t ′ ′ ] are labelled by the same unipotent class in H ;
- · θ z [ w,t ] = θ z [ w , t ′ ′ ] for all z ∈ C × .

Proof. Suppose that the two G -representations µ s [ w,t ] = π (Φ , ρ ) and µ s [ w , t ′ ′ ] = π (Φ ′ , ρ ′ ) belong to the same L-packet. By definition this means that Φ and Φ ′ are G -conjugate. Hence they are labelled by the same unipotent class, say [ x ] with x ∈ U s . By choosing suitable representatives we may assume that Φ = Φ ′ and that { (Φ , ρ ) , (Φ , ρ ′ ) } ⊂ Φ( G ) s , [ x ] en . Then

$$\theta ( \Phi, \rho, z ) = \theta ( \Phi, \rho ^ { \prime }, z ) \text{ for all } z \in \mathbb { C } ^ { \times }.$$

/negationslash

Conversely, suppose that [ w,t , ] [ w , t ′ ′ ] fulfill the two conditions of the lemma. Let x ∈ U s be the representative for the unipotent class which labels them. From Lemma 6.1 we see that there are representatives for [ w,t ] and [ w , t ′ ′ ] such that t ( T w ) ◦ and t ′ ( T w ′ ) ◦ centralize x . Then

Although in general θ (Φ , ρ, z ) = ˜ θ z ( w,t ), they differ only by an element of W s . Hence θ z [ w,t ] = θ z [ w , t ′ ′ ] for all z ∈ C × .

$$\widetilde { \theta _ { z } } ( w, t ) = t \, h _ { x } ( z ) \quad \text{and} \quad \widetilde { \theta _ { z } } ( w ^ { \prime }, t ^ { \prime } ) = t ^ { \prime } \, h _ { x } ( z ) \\ \text{conjugate for all } z \in \mathbb { C } ^ { \times }. \ \text{As these points depend continuum}.$$

are W s conjugate for all z ∈ C × . As these points depend continuously on z and W s is finite, this implies that there exists a v ∈ W s such that

$$v ( t \, h _ { x } ( z ) ) = t ^ { \prime } \, h _ { x } ( z ) \text{ \ for all } z \in \mathbb { C } ^ { \times }.$$

For z = 1 we obtain v t ( ) = t ′ , so v fixes h x ( z ) for all z .

Consider the minimal parabolic root subsystem R P of R G,T ( ) that supports h x . In other words, the unique set of roots P such that h x lies in a facet of type P in the chamber decomposition of X ∗ ( T ) ⊗ Z R . We write

$$T ^ { P } = \{ t \in T \ | \ \alpha ( t ) = 1 \ \forall \alpha \in P \} ^ { \circ }.$$

Then t ( T w ) ◦ and t ′ ( T w ′ ) ◦ are subsets of T P and v stabilizes T P . It follows from [Opd, Proposition B.4] that h x ( q 1 2 / ) tT P and h x ( q 1 2 / ) t T ′ P are residual cosets in the sense of Opdam. By the above, these two residual cosets are conjugate via v ∈ W s . Now [Opd, Corollary B.5] says that the pairs ( h x ( q 1 2 / ) t, x ) and ( h x ( q 1 2 / ) t , x ′ ) are H -conjugate. Hence the associated Langlands parameters are conjugate, which means that µ s [ w,t ] and µ s [ w , t ′ ′ ] are in the same L-packet. /square

Corollary 6.3. Properties 1-5 from [ABPS, § 15] hold for µ s as in Theorem 5.2, with the morphism θ z from (23) and the labelling by unipotent classes in H s from (19) and Theorem 5.1.

Together with Theorem 5.2 this proves the conjecture from [ABPS] for all Bernstein components in the principal series of a split reductive p -adic group with connected centre, such that the residual characteristic satisfies Condition 3.1.

Proof. Property (1) was shown in Theorem 5.2. By the definition of θ z (23), property (4) holds. Property (3) is a consequence of property (4), in combination with Theorems 4.4.(3), 5.2 and 5.1. Property (2) follows from Theorem 5.2 and property (3). Property (5) is none other than Theorem 6.2. /square

## References

[ABP1] A.-M. Aubert, P. Baum, R.J. Plymen, The Hecke algebra of a reductive p -adic group: a geometric conjecture, pp. 1-34 in: Noncommutative geometry and number theory, Eds: C. Consani and M. Marcolli , Aspects of Mathematics E37 , Vieweg Verlag (2006).

[ABP2] A.-M. Aubert, P. Baum, R.J. Plymen, Geometric structure in the principal series of the p -adic group G 2 , Represent. Theory 15 (2011), 126-169.

[ABPS] A.-M. Aubert, P. Baum, R.J. Plymen, M. Solleveld, Geometric structure in smooth dual and local Langlands conjecture, Japanese J. Math. 9 (2014)

[Car] R.W. Carter, Finite groups of Lie type. Conjugacy classes and complex characters , Pure and Applied Mathematics, John Wiley &amp; Sons, New York NJ, 1985

[ChGi] N. Chriss, V. Ginzburg, Representation theory and complex geometry , Birkh¨user, a 2000.

[Kat] S.-I. Kato, A realization of irreducible representations of affine Weyl groups, Indag. Math. 45.2 (1983), 193-201.

[KaLu] D. Kazhdan, G. Lusztig, Proof of the Deligne-Langlands conjecture for Hecke algebras, Invent. math. 87 (1987), 153-215.

[Kha] M. Khalkhali, Basic noncommutative geometry, EMS Lecture Series 2009.

[Opd] E.M. Opdam, On the spectral decompostion of affine Hecke algebras, J. Inst. Math. Jussieu 3 (2004), 531-648.

[Ree] M. Reeder, Isogenies of Hecke algebras and a Langlands correspondence for ramified principal series representations, Represent. Theory 6 (2002), 101-126.

[Roc] A. Roche, Types and Hecke algebras for principal series representations of split reductive p -adic groups, Ann. scient. Ec. Norm. Sup. ´ 31 (1998), 361-413.

[Ser] J.-P. Serre, Linear representations of finite groups , Springer Verlag, 1977.

[Sho] T. Shoji, Green functions of reductive groups over a finite field, PSPM 47 (1987), Amer. Math. Soc., 289-301.

[Sol1] M. Solleveld, On the classification of irreducible representations of affine Hecke algebras with unequal parameters, Represent. Theory 16 (2012), 1-87.

[Sol2] M. Solleveld, Hochschild homology of affine Hecke algebras, Journal of Algebra 384 (2013), 1-35.

## 16 A.-M. AUBERT, P. BAUM, R. PLYMEN, AND M. SOLLEVELD

I.M.J.-PRG, U.M.R. 7586 du C.N.R.S., U.P.M.C., Paris, France E-mail address : anne-marie.aubert@imj-prg.fr

Mathematics Department, Pennsylvania State University, University Park, PA 16802, USA

E-mail address : baum@math.psu.edu

School of Mathematics, Southampton University, Southampton SO17 1BJ, England and School of Mathematics, Manchester University, Manchester M13 9PL, England

E-mail address : r.j.plymen@soton.ac.uk plymen@manchester.ac.uk

Radboud Universiteit Nijmegen, Heyendaalseweg 135, 6525AJ Nijmegen, the Netherlands

E-mail address : m.solleveld@science.ru.nl
Anne-Marie Aubert Paul Baum Roger Plymen Maarten Solleveld
Geometric structure for the principal series of a split reductive $p$-adic group with connected centre
Let $\mathcal{G}$ be a split reductive $p$-adic group with connected centre.
We show that each Bernstein block in the principal series of $\mathcal{G}$
admits a definite geometric structure, namely that of an extended quotient. For
the Iwahori-spherical block, this extended quotient has the form $T//W$ where
$T$ is a maximal torus in the Langlands dual group of $\mathcal{G}$ and $W$ is
the Weyl group of $\mathcal{G}$.