Cocenter of Hecke algebras of Kac-Moody groups
Abstract
Let H be the generic Hecke algebra over ℤ[q± 1] associated to a split Kac--Moody group G, arising as the deformation of the group algebra of its Weyl group W. The cocenter H̅ = H/[H, H] encodes the trace and character theory of H, playing a fundamental role in representation theory and harmonic analysis. Through deep combinatorial results on cyclic reductions in Coxeter groups, each conjugacy class 𝒪 of W determines a canonical element T𝒪 in H̅, and these elements are known to span the cocenter. However, establishing their linear independence has remained an open problem outside of finite and affine types. In this paper, we solve this problem: the canonical elements form a ℤ[q± 1]-basis of the cocenter H̅. Our approach differs from earlier representation-theoretic methods in finite and affine types. To construct explicit functionals that separate all conjugacy classes, we develop a new framework based on re-normalized orbital integrals. This framework synthesizes parabolic induction, traces of infinite-dimensional bimodules, and Kac--Moody harmonic analysis into an almost-dual basis for the cocenter. As a key local ingredient, we establish a generic duality theorem for finite groups of Lie type relating the cocenter to regular semisimple conjugacy classes, and determine precisely when this pairing is non-degenerate. Finally, we deduce the existence and uniqueness of generic class polynomials for W, and prove a uniform ``dimension=degree'' theorem for basic Deligne--Lusztig varieties of the split Kac--Moody group G.
Related
- Completed Iwahori–Hecke algebra for Kac–Moody groups over local fields
- Non-vanishing mod p of derived Hecke algebras of multiplicative groups over number fields, II
- Ramified convolution and monodromy bases for symmetrizable Kac--Moody algebras
- Finite Root Sums in Symmetrizable Kac-Moody Algebras
- Virasoro extensions of generalized Kac-Moody algebras
BibTeX
@misc{he2026cocenter,
title = {{Cocenter of Hecke algebras of Kac-Moody groups}},
author = {Xuhua He and Felix Schremmer},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.12385},
eprint = {2609.12385},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.12385},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Cocenter of Hecke algebras of Kac-Moody groups
AU - Xuhua He
AU - Felix Schremmer
PY - 2026
DA - 2026/09/11
PB - arXiv
DO - 10.48550/arxiv.2609.12385
UR - https://arxiv.org/abs/2609.12385
AB - Let H be the generic Hecke algebra over ℤ[q^± 1] associated to a split Kac--Moody group G, arising as the deformation of the group algebra of its Weyl group W. The cocenter H̅ = H/[H, H] encodes the trace and character theory of H, playing a fundamental role in representation theory and harmonic analysis. Through deep combinatorial results on cyclic reductions in Coxeter groups, each conjugacy class 𝒪 of W determines a canonical element T_𝒪 in H̅, and these elements are known to span the cocenter. However, establishing their linear independence has remained an open problem outside of finite and affine types. In this paper, we solve this problem: the canonical elements form a ℤ[q^± 1]-basis of the cocenter H̅. Our approach differs from earlier representation-theoretic methods in finite and affine types. To construct explicit functionals that separate all conjugacy classes, we develop a new framework based on re-normalized orbital integrals. This framework synthesizes parabolic induction, traces of infinite-dimensional bimodules, and Kac--Moody harmonic analysis into an almost-dual basis for the cocenter. As a key local ingredient, we establish a generic duality theorem for finite groups of Lie type relating the cocenter to regular semisimple conjugacy classes, and determine precisely when this pairing is non-degenerate. Finally, we deduce the existence and uniqueness of generic class polynomials for W, and prove a uniform ``dimension=degree'' theorem for basic Deligne--Lusztig varieties of the split Kac--Moody group G.
ER -