Search arXivSearch

arXiv · 2403.14528

The Iwahori--Matsumoto dual for tempered representations of Lusztig's geometric Hecke algebras

Abstract

The graded Iwahori--Matsumoto involution $\mathbb{IM}$ is an algebra involution on a graded Hecke algebra closely related to the more well-known Iwahori--Matsumoto involution on an affine Hecke algebra. It induces an involution on the Grothendieck group of complex finite-dimensional representations of $\mathbb{H}$. When $\mathbb{H}$ is a geometric graded Hecke algebra (in the sense of Lusztig) associated to a connected complex reductive group $G$, the irreducible representations of $\mathbb{H}$ are parametrised by a set $\mathcal{M}$ consisting of certain $G$-conjugacy classes of quadruples $(e,s,r_0,ψ)$ where $r_0 \in \mathbb{C}$, $e \in \mathrm{Lie}(G)$ is nilpotent, $s \in \mathrm{Lie}(G)$ is semisimple, and $ψ$ is some irreducible representation of the group of components of the simultaneous centraliser of $(e,s)$ in $G$. Let $\bar Y$ be an irreducible tempered representation of $\mathbb{H}$ with real infinitesimal character. Then $\mathbb{IM}(\bar Y) = \bar Y(e',s,r_0,ψ')$ for some $(e',s,r_0,ψ') \in \mathcal{M}$. The main result of this paper is to give an explicit algorithm that computes the $G$-orbit of $e'$ for $G = \mathrm{Sp}(2n,\mathbb{C})$ and $G = \mathrm{SO}(N,\mathbb{C})$. As a key ingredient of the main result, we also prove a generalisation of the main theorems of Waldspurger 2019 (for $\mathrm{Sp}(2n,\mathbb{C})$) and La 2024 (for $\mathrm{SO}(N,\mathbb{C})$) regarding certain maximality properties of generalised Springer representations.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ruben La. 2024-08-14. The Iwahori--Matsumoto dual for tempered representations of Lusztig's geometric Hecke algebras. https://arxiv.org/abs/2403.14528

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT