Search arXivSearch

arXiv · 2203.06435

Hochschild homology of reductive $p$-adic groups

Abstract

Consider a reductive $p$-adic group $G$, its (complex-valued) Hecke algebra $H(G)$ and the Harish-Chandra--Schwartz algebra $S(G)$. We compute the Hochschild homology groups of $H(G)$ and of $S(G)$, and we describe the outcomes in several ways. Our main tools are algebraic families of smooth $G$-representations. With those we construct maps from $HH_n (H(G))$ and $HH_n (S(G))$ to modules of differential $n$-forms on affine varieties. For $n = 0$ this provides a description of the cocentres of these algebras in terms of nice linear functions on the Grothendieck group of finite length (tempered) $G$-representations. It is known from earlier work that every Bernstein ideal $H(G)^s$ of $H(G)$ is closely related to a crossed product algebra of the from $O(T) \rtimes W$. Here $O(T)$ denotes the regular functions on the variety $T$ of unramified characters of a Levi subgroup $L$ of $G$, and $W$ is a finite group acting on $T$. We make this relation even stronger by establishing an isomorphism between $HH_* (H(G)^s)$ and $HH_* (O(T) \rtimes W)$, although we have to say that in some cases it is necessary to twist $C[W]$ by a 2-cocycle. Similarly we prove that the Hochschild homology of the two-sided ideal $S(G)^s$ of $S(G)$ is isomorphic to $HH_* (C^\infty (T_u) \rtimes W)$, where $T_u$ denotes the Lie group of unitary unramified characters of $L$. In these pictures of $HH_* (H(G))$ and $HH_* (S(G))$ we also show how the Bernstein centre of $H(G)$ acts. Finally, we derive similar expressions for the (periodic) cyclic homology groups of $H(G)$ and of $S(G)$ and we relate that to topological K-theory.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Maarten Solleveld. 2025-01-17. Hochschild homology of reductive $p$-adic groups. https://arxiv.org/abs/2203.06435

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

KEEP EXPLORING

Related papers

Minuscule Relations in Quantum $K$-Theory of Flag Varieties

We study the quantum $K$-theory of the flag variety $G/B$. For each minuscule fundamental weight $\varpi$, we construct an explicit relation in the torus-equivariant quantum $K$-theory $QK_T(G/B)$. The relation can be regarded as a quantum deformation of the character of the irreducible representation with highest weight $\varpi$.

math.RT

A Gelfand model for the Okada algebra

In this paper, we construct a Gelfand model for the Okada algebra $O_n(X,Y)$ with generic parameters $X$ and $Y$, on the space of symmetric Okada arc diagrams using a conjugation-type action. The model is constructed inductively by identifying the Okada algebra as a diagram algebra and using the Jones basic construction to obtain a tower of algebras that are themselves Okada algebras at lower levels. We use the model to obtain all the irreducible representations of $O_n(X,Y)$, indexed by the elements of rank $n$ of the Young--Fibonacci lattice, and identify them with the cell modules of $O_n(X,Y)$.

math.RT

Categorical Lie-Rinehart modules and Shen-Larsson functors

We develop a categorical framework for Lie-Rinehart monoids and their weak modules in a symmetric monoidal category. Using crossed homomorphisms, we construct a natural action of the monoidal category of modules over a Lie monoid on the category of weak Lie-Rinehart modules, thereby obtaining categorical versions of the Shen-Larsson functors. We further characterize the conditions under which the category of weak modules admits a monoidal structure and identify the corresponding condition for the associated functors to be strict monoidal. A dual theory for Lie- Rinehart comonoids and weak comodules is developed using cocrossed homomorphisms. Combining the module and comodule constructions, we obtain a bimodule category structure on the category of weak modules. Finally, we specialize the general framework to the symmetric monoidal category of super vector spaces, recovering Lie-Rinehart superalgebras and their associated Shen-Larsson-type constructions.

math.RT