Structure of Hecke algebras arising from types

Jeffrey D. Adler,Jessica Fintzen,Manish Mishra,Kazuma Ohara

2024-08-15

Abstract:Let $G$ denote a connected reductive group over a nonarchimedean local field $F$ of residue characteristic $p$, and let $\mathcal{C}$ denote an algebraically closed field of characteristic $\ell \neq p$. If $\rho$ is an irreducible, smooth $\mathcal{C}$-representation of a compact, open subgroup $K$ of $G(F)$, then the pair $(K,\rho)$ gives rise to a Hecke algebra $\mathcal{H}(G(F),(K, \rho))$. For a large class of pairs $(K,\rho)$, we show that $\mathcal{H}(G(F),(K, \rho))$ is a semi-direct product of an affine Hecke algebra with explicit parameters with a twisted group algebra, and that it is isomorphic to $\mathcal{H}(G^0(F),(K^0, \rho^0))$ for some reductive subgroup $G^0 \subset G$ with compact, open subgroup $K^0$ and depth-zero representation $\rho^0$ of $K^0$. The class of pairs that we consider includes all depth-zero types. In describing their Hecke algebras, we thus recover a result of Morris as a special case. In a second paper, we will show that our class also contains all the types constructed by Kim and Yu, and hence we obtain as a corollary that arbitrary Bernstein blocks are equivalent to depth-zero Bernstein blocks under minor tameness assumptions. The pairs to which our results apply are described in an axiomatic way so that the results can be applied to other constructions of types by only verifying that the relevant axioms are satisfied. The Hecke algebra isomorphisms are given in an explicit manner and are support preserving.

Representation Theory,Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to describe the structure of Hecke algebras related to certain types of pairs. Specifically, the main contributions of the paper include:

1. **Describe the structure of Hecke algebras**:
- The authors show that for a large class of pairs \((K, \rho)\), the Hecke algebra \(H(G(F), (K, \rho))\) is a semidirect product of an affine Hecke algebra and a twisted group algebra. The specific mathematical expression is:
\[
H(G(F), (K, \rho)) \cong C[\Omega(\rho_M), \mu_T] \rtimes H(W(\rho_M)^{\text{aff}}, q)
\]
where \(W(\rho_M)^{\text{aff}}\) is an affine Weyl group, and \(C[\Omega(\rho_M), \mu_T]\) is a group algebra twisted by the 2 - cocycle \(\mu_T\).

2. **Establish equivalence relations**:
- For general pairs \((K, \rho)\) satisfying specific conditions, the authors find a reductive subgroup \(G_0\subseteq G\) and an irreducible representation \(\rho_0\) such that there is an explicit, support - preserving Hecke algebra isomorphism:
\[
H(G_0(F), (K_0, \rho_0)) \cong H(G(F), (K, \rho))
\]
This result is especially applicable to depth - zero Bernstein blocks, and in some special cases, it can make positive - depth Bernstein blocks equivalent to depth - zero Bernstein blocks.

3. **Generalize known results**:
- The results in the paper not only cover Morris' results on depth - zero types but also extend to more general cases, including all types constructed by Kim and Yu.

4. **Provide explicit construction methods**:
- The authors define the isomorphisms of these Hecke algebras by introducing a series of explicit intertwining operators and basis elements, ensuring the correctness of the algebraic structure.

5. **Widely applicable**:
- By adopting an axiomatic approach, the authors' results can be applied to other types of constructions, not just the types constructed by Kim and Yu. Moreover, they allow any algebraically closed field with a characteristic different from \(p\) as the coefficient field.

In summary, this paper solves the problem of how to describe and understand the structure of Hecke algebras related to generalized type pairs \((K, \rho)\), and provides explicit construction methods and wide applicability. This provides an important tool for studying the smooth representation theory of \(p\)-adic groups.