Table of Contents
Fetching ...

Kazhdan isomorphism over families and integrality under close local fields

Sabyasachi Dhar

TL;DR

The paper extends Kazhdan's isomorphism to Noetherian $\mathbb{Z}_l$-algebras with $l\neq p$ for connected reductive groups over fields that are sufficiently close, defining an $R$-algebra isomorphism between Hecke algebras $\mathcal{H}_R(G(F),K_m)$ and $\mathcal{H}_R(G'(F'),K_m')$. It builds on Ganapathy's generalization and uses parahoric group schemes and close-field techniques to transfer the Hecke-algebra structure from $G(F)$ to a matched $G'(F')$, with a distance parameter $N$ depending on $m$. As an application, it proves that integrality properties of $l$-adic representations are preserved under this transfer, providing a framework for local Langlands in families in the $l$-adic setting. The results rely on the finite-presentability of Hecke algebras and on explicit control of parahoric data under close local fields, enabling a concrete bridge between representations over $F$ and $F'$.

Abstract

Let $G$ be a split connected reductive group defined over $\mathbb{Z}$. Let $F$ be a locally compact non-Archimedean field with residue characteristic $p$. For a locally compact non-Archimedean field $F'$ that is sufficiently close to $F$, D.Kazhdan establishes an isomorphism between the Hecke algebras $\mathcal{H}(G(F),K_m)$ and $\mathcal{H}(G(F'),K_m')$ with coefficients in $\mathbb{C}$, where $K_m$ (resp. $K_m'$) is the $m$-th congruence subgroup of $G(F)$ (resp. $G(F')$). This result is generalised to arbitrary connected reductive algebraic groups by R.Ganapathy. In this article, we extend the result further where the coefficient ring of the Hecke algebras is considered to be more general, namely Noetherian $\mathbb{Z}_l$-algebras with $l\ne p$. Then we use this isomorphism to prove certain compatibility result in the context of $l$-adic representation theory.

Kazhdan isomorphism over families and integrality under close local fields

TL;DR

The paper extends Kazhdan's isomorphism to Noetherian -algebras with for connected reductive groups over fields that are sufficiently close, defining an -algebra isomorphism between Hecke algebras and . It builds on Ganapathy's generalization and uses parahoric group schemes and close-field techniques to transfer the Hecke-algebra structure from to a matched , with a distance parameter depending on . As an application, it proves that integrality properties of -adic representations are preserved under this transfer, providing a framework for local Langlands in families in the -adic setting. The results rely on the finite-presentability of Hecke algebras and on explicit control of parahoric data under close local fields, enabling a concrete bridge between representations over and .

Abstract

Let be a split connected reductive group defined over . Let be a locally compact non-Archimedean field with residue characteristic . For a locally compact non-Archimedean field that is sufficiently close to , D.Kazhdan establishes an isomorphism between the Hecke algebras and with coefficients in , where (resp. ) is the -th congruence subgroup of (resp. ). This result is generalised to arbitrary connected reductive algebraic groups by R.Ganapathy. In this article, we extend the result further where the coefficient ring of the Hecke algebras is considered to be more general, namely Noetherian -algebras with . Then we use this isomorphism to prove certain compatibility result in the context of -adic representation theory.

Paper Structure

This paper contains 8 sections, 9 theorems, 54 equations.

Key Result

Theorem 1.1

Let $R$ be a Noetherian $\mathbb{Z}_l$-algebra. Let $F$ and $F'$ be two non-Archimedean local fields with same residue characteristic $p$, where $l$ and $p$ are distinct primes. Let $G$ be a connected reductive group defined over $F$. Let $G'$ be the connected reductive group over $F'$ associated to

Theorems & Definitions (15)

  • Theorem 1.1
  • Theorem 1.2
  • Proposition 2.1
  • proof
  • Proposition 3.1
  • Lemma 4.1
  • Lemma 4.2
  • proof
  • Remark 4.3
  • Theorem 4.4
  • ...and 5 more