Higher orbital integrals, Shalika germs, and the Hochschild homology of Hecke algebras (Q5946260)

Let \(\mathcal G\) be a linear algebraic group over a totally disconnected, locally compact field \(F\) of characteristic zero, i.e., a finite algebraic extension of the field of \(p\)-adic numbers. Let \(G\) be a \(p\)-adic group interpreted as the set of \(F\)-rational points of \(\mathcal G\). Let \({\mathcal C}^{\infty}_c(G)\) be the space of compactly supported, locally constant functions on \(G\) endowed with the convolution product, whence \({\mathcal C}^{\infty}_c(G)\) becomes the Hecke algebra of \(G\). If \(G\) is unimodular, then the space of invariant linear functionals on \({\mathcal C}^{\infty}_c(G)\) coincides with the space of traces on \({\mathcal C}^{\infty}_c(G)\), which in turn can be identified with \(HH^0 ({\mathcal C}^{\infty}_c(G))\), the Hochschild cohomology of \({\mathcal C}^{\infty}_c(G)\) in dimension zero. For \(G\) unimodular, \textit{P. Blanc} and \textit{J.-L. Brylinski} [J. Funct. Anal. 109, 289-300 (1992; Zbl 0783.55004)] have shown that for Hochschild homology, \(HH_*\), NEWLINE\[NEWLINE HH_q ( {\mathcal C}^{\infty}_c(G)) \simeq H_q( G, {\mathcal C}^{\infty}_c(G)_{\delta}), NEWLINE\]NEWLINE where the module on the right is the homology of \(G\) with coefficients in the \(G\)-module NEWLINE\[NEWLINE {\mathcal C}^{\infty}_c(G)_{\delta} = {\mathcal C}^{\infty}_c(G) \otimes \Delta_G NEWLINE\]NEWLINE twisted by the modular function. As vector spaces, \({\mathcal C}^{\infty}_c(G)_{\delta} = {\mathcal C}^{\infty}_c(G)\). For \(G\) non-unimodular, the traces of \({\mathcal C}^{\infty}_c(G)\) are the \(G\)-invariant functionals on \({\mathcal C}^{\infty}_c(G)_{\delta}\). The paper under review extends the calculations of the Hochschild homology of \({\mathcal C}^{\infty}_c(G)\) to the non-unimodular case. In particular, there is an isomorphism NEWLINE\[NEWLINE HH_q ({\mathcal C}^{\infty}_c(G)) \simeq \bigoplus_{S \in \Sigma} {\mathcal C}^{\infty}_c (S^{\text{reg}})^{W(S)} \otimes H_q(C(S), {\mathcal C}^{\infty}_c(U_S)_{\delta}), NEWLINE\]NEWLINE where \(\Sigma\) is a set of representatives of conjugacy classes of standard subgroups \(S \subset G\), \(S^{\text{reg}}\) the set of regular elements, \(W(S)\) the Weyl group, \(C(S)\) the centralizer of \(S\), and \(U_S\) the set of unipotent elements of \(C(S)\). Also, \({\mathcal C}^{\infty}_c(U_S)_{\delta}\) is the vector space \({\mathcal C}^{\infty}_c(U_S)\) twisted by the modular function. Although the above isomorphism is not natural, a natural description of these Hochschild homology groups is given by considering the higher orbital integrals and their Shalika germs [\textit{J. A. Shalika}, Ann. Math., II. Ser. 95, 226-242 (1972; Zbl 0281.22011)]. A ``higher orbital integral'' is an evaluation map from an ideal of \(HH_q ( {\mathcal C}^{\infty}_c(G))\) to the complex numbers. Moreover, the periodic cyclic homology of \({\mathcal C}^{\infty}_c(G)\) is related to its Hochschild homology.