format: text

text:
# Higher orbital integrals, Shalika germs, and the Hochschild homology of Hecke algebras

## Introduction

Orbital integrals play an important role in the harmonic analysis of a reductive $`p`$–adic group $`G`$; they are, for instance, one of the main ingredients in the Arthur–Selberg trace formula. Orbital integrals on unimodular groups are a particular case of invariant distribution, which have been used in  to prove the irreducibility of certain induced representations of $`GL_n`$ over a $`p`$-adic field.

By definition, an invariant distribution on a unimodular group $`G`$ gives rise to a trace (i.e., a Hochschild cocycle of degree zero) on $`𝒞_\text{c}^{\mathrm{}}(G)`$, the Hecke algebra of compactly supported, locally constant, complex valued functions on $`G`$. It is interesting then to try to analyse as completely as possible the Hochschild homology and cohomology groups of the algebra $`𝒞_\text{c}^{\mathrm{}}(G)`$ (denoted $`\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))`$ and $`\mathrm{HH}^{}(𝒞_\text{c}^{\mathrm{}}(G))`$, respectively).

In this paper, $`G`$ will be the set of $`𝔽`$-rational points of a linear algebraic group $`𝔾`$ defined over a finite extension $`𝔽`$ of the field $`_p`$ of $`p`$-adic numbers, $`p`$ being a fixed prime number. The group $`𝔾`$ does not have to be reductive, although this is certainly the most interesting case. When we shall assume $`𝔾`$ (or $`G`$, by abuse of language) to be reductive, we shall state this explicitely. For us, the most important topology to consider on $`G`$ will be the locally compact topology induced from an embedding of $`GGL_n(𝔽)`$. Nevertheless, the Zariski topology on $`G`$ will also play a role in our study.

To state the main result of this paper, we need to introduce first the concept of standard subgroup. For any set $`AG`$, we shall denote

$$C(A):=\{gG,ga=ag,aA\}$$

and $`Z(A):=AC(A)`$. This latter notation will be used only when $`A`$ is a subgroup of $`G`$. A commutative subgroup $`S`$ of $`G`$ is called standard if $`S=Z(C(s))`$ for some semi-simple element $`sG`$. Our results will be stated in terms of standard subgroups of $`G`$. We shall denote by $`H_u`$ the set of unipotent elements of a subgroup $`H`$. Sometimes, the set $`C(S)_u`$ is also denoted by $`𝒰_S`$, in order to avoid having to many paranthesis in our formulae. One of the main results of this paper (Theorem 1) identifies the groups $`\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))`$ in terms of the following data: the set $`\mathrm{\Sigma }`$ of (conjugacy classes of) standard subgroups $`S`$ of $`G`$, the subset $`S^{\mathrm{reg}}S`$ of $`S`$-regular elements, the action of the Weyl group $`W(S)`$ of $`S`$ on $`𝒞_\text{c}^{\mathrm{}}(S)`$, and the continuous cohomology of the $`C(S)`$–module

$$𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta :=𝒞_\text{c}^{\mathrm{}}(C(S)_u)\mathrm{\Delta }_{C(S)},$$

where $`\mathrm{\Delta }_{C(S)}`$ denotes the modular function of the group $`C(S)`$. More precisely, if $`G`$ is a $`p`$-adic group defined over a field of characteristic zero, as before, then Theorem 1 states the existence of an isomorphism

(1)
$$\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))\underset{S\mathrm{\Sigma }}{}𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}})^{W(S)}\mathrm{H}_q(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta ),$$

which can be made natural by using a generalization of the Shalika germs.

It is important to relate this result with the periodic cyclic homology groups of $`𝒞_\text{c}^{\mathrm{}}(G)`$. For the Hecke algebra $`𝒞_\text{c}^{\mathrm{}}(G)`$, the periodic cyclic homology is related to Hochschild homology by

(2)
$$\mathrm{HP}_q(𝒞_\text{c}^{\mathrm{}}(G))_k\mathrm{HH}_{q+2k}(𝒞_\text{c}^{\mathrm{}}(G))_{comp},$$

that is, $`\mathrm{HP}_{}(𝒞_\text{c}^{\mathrm{}}(G))`$ is the localization of Hochschild homology to the $`G`$-invariant subset of compact elements of $`G`$. This relation is implicit in . Consequently, the results of this paper complement the results on the cyclic homology of $`p`$–adic groups in . It is interesting to remark that $`\mathrm{HP}_{}(𝒞_\text{c}^{\mathrm{}}(G))`$ can also be described in terms of the admissible spectrum of $`G`$, see , and hence our results have significance for the representation theory of $`p`$-adic groups. See also  for similar results on (the groups of real points of) algebraic groups defined over $``$. These periodic cyclic cohomology groups are isomorphic to $`K_{}(C_r^{}(G))`$, by combining results from , , and .

Assume for the moment that $`G`$ is reductive. Then, in order to better understand the role played by the groups $`\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))`$ and $`\mathrm{H}_{}(G,𝒞_\text{c}^{\mathrm{}}(G_u))`$ in the representation theory of $`G`$, we relate $`\mathrm{H}_{}(G,𝒞_\text{c}^{\mathrm{}}(G_u))`$ to the analogous cohomology groups, $`\mathrm{H}_{}(P,𝒞_\text{c}^{\mathrm{}}(P_u)_\delta )`$ and $`\mathrm{H}_{}(M,𝒞_\text{c}^{\mathrm{}}(M_u)_\delta )`$, associated to parabolic subgroups $`P`$ of $`G`$ and to their Levi components $`M`$. In particular, we define morphisms between these Hochschild homology groups that are analogous to the induction and inflation morphisms that play such a prominent role in the representation theory of $`p`$–adic groups. These morphisms are induced by morphisms of algebras.

In , Blanc and Brylinski have introduced higher orbital integrals associated to regular semisimple elements by proving first that

(3)
$$\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta ),$$

a result which they dubed “the MacLane isomorphism.” (Actually, they did not have to twist with the modular function, because they worked only with unimodular groups $`G`$, see Lemma 1 for the slightly more general version needed in this paper), after that we rely more on filtrations of the $`G`$-module $`𝒞_\text{c}^{\mathrm{}}(G)`$, rather than on localization. This allows us to define higher orbital integrals at arbitrary elements. Then, we study the properties of these orbital integrals and we obtain in particular a proof of the existence of abstract Shalika germs for the higher orbital integrals. Actually, the existence of Shalika germs turns out to be a consequence of some general homological properties of the ring of invariant, locally constant functions on the group $`G`$. We also use the techniques developed in  in the framework of real algebraic groups. It would be interesting to relate the results of this paper to those of .

This is the revised version of an preprint that was first circulated in February 1999. I would like to thank Paul Baum, David Kazhdan, Robert Langlands, George Lusztig, Roger Plymen, and Peter Schneider for useful comments and discussions.

## 1. Homology of Hecke algebras

In this section we shall use several general results on Hochschild homology of algebras, on algebraic groups, and on the continuous cohomology of totally disconnected groups. Good references are , for the general theory, and  for questions related to Hochschild homology.

If $`G`$ is a group and $`AG`$ is a subset, we denote by $`C(A)`$ the centralizer of $`A`$, that is, the set of elements of $`G`$ that commute with every element of $`A`$, and by $`N(A)`$ the normalizer of $`A`$, that is, the set of elements $`gG`$ such that $`gAg^1=A`$. By $`Z=Z(G)=C(G)`$ we denote the center of $`G`$.

If $`X`$ is a totally disconnected, locally compact, non-discrete space $`X`$, we denote by $`𝒞_\text{c}^{\mathrm{}}(X)`$ the space of compactly supported, locally constant, complex valued functions on $`X`$. Recall that, if $`UX`$ is an open subset of $`X`$ as above, then restriction defines an isomorphism

(4)
$$𝒞_\text{c}^{\mathrm{}}(X)/𝒞_\text{c}^{\mathrm{}}(U)𝒞_\text{c}^{\mathrm{}}(XU).$$

Let $`𝔾`$ be a linear algebraic group defined over a totally disconnected locally compact field $`𝔽`$. Thus $`𝔽`$ is a finite algebraic extension of $`_p`$, the field of $`p`$-adic numbers. The set $`𝔾(𝔽)`$ of $`𝔽`$-rational points of $`𝔾`$ is called a $`p`$–adic group and will be denoted simply by $`G`$. It is known  that $`G=𝔾(𝔽)`$ identifies with a closed subgroup of $`GL_n(𝔽)`$, and hence it has a natural locally compact topology that makes it a totally disconnected space. We fix a Haar measure $`dg`$ on $`G`$.

Consider now the space $`𝒞_\text{c}^{\mathrm{}}(G)`$ of compactly supported, locally constant functions on $`G`$. Fix a Haar measure $`dh`$ on $`G`$. Then the convolution product, denoted $``$, is defined by

$$f_1f_2(g)=_Gf_1(h)f_2(h^1g)𝑑h,$$

makes $`𝒞_\text{c}^{\mathrm{}}(G)`$ an algebra, the Hecke algebra of $`G`$. It is important in representation theory to determine the ($`Ad_G`$–)invariant linear functionals on $`𝒞_\text{c}^{\mathrm{}}(G)`$. If $`G`$ is unimodular, the space of invariant linear functionals on $`𝒞_\text{c}^{\mathrm{}}(G)`$ coincides with the space of traces on $`𝒞_\text{c}^{\mathrm{}}(G)`$; moreover, since the space of traces of $`𝒞_\text{c}^{\mathrm{}}(G)`$ identifies with $`\mathrm{HH}^0(𝒞_\text{c}^{\mathrm{}}(G))`$, the first Hochschild cohomology group of $`𝒞_\text{c}^{\mathrm{}}(G)`$, it is reasonable to ask what are the groups $`\mathrm{HH}^q(𝒞_\text{c}^{\mathrm{}}(G))`$, the Hochschild homology groups of $`𝒞_\text{c}^{\mathrm{}}(G)`$, in general. Since $`\mathrm{HH}^q(𝒞_\text{c}^{\mathrm{}}(G))`$ is the algebraic dual of $`\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))`$, it is enough to concentrate on Hochschild homology. The computation of the groups $`\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))`$ is the main purpose of this paper.

We first recall the definition of $`\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))`$. Let

$$𝒞_\text{c}^{\mathrm{}}(G^{q+1})=𝒞_\text{c}^{\mathrm{}}(G)𝒞_\text{c}^{\mathrm{}}(G)\mathrm{}𝒞_\text{c}^{\mathrm{}}(G),$$

$`(q+1)`$–times, be the usual (algebraic) tensor product of vector spaces. The Hochschild differential $`b:𝒞_\text{c}^{\mathrm{}}(G^{q+2})𝒞_\text{c}^{\mathrm{}}(G^{q+1})`$ is given by

(5)
$$\begin{array}{c}(bf)(g_0,g_1,\mathrm{},g_q)=\underset{j=0}{\overset{q}{}}(1)^j_Gf(g_0,\mathrm{},g_{j1},\gamma ,\gamma ^1g_j,g_{j+1},\mathrm{},g_q)𝑑\gamma \hfill \\ \hfill +(1)^{q+1}_Gf(\gamma ^1g_0,g_1,\mathrm{},g_q,\gamma )𝑑\gamma .\end{array}$$

By definition, the $`q`$-th Hochschild homology group of $`𝒞_\text{c}^{\mathrm{}}(G)`$, denoted $`\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))`$, is the $`q`$-th homology group of the complex $`(𝒞_\text{c}^{\mathrm{}}(G^{q+1}),b)`$. Since $`𝒞_\text{c}^{\mathrm{}}(G)`$ is an inductive limit of unital algebras, this definition coincides with the usual definition of Hochschild homology for non-unital algebras (using algebras with adjoint unit).

The group $`G`$ acts by conjugation on $`𝒞_\text{c}^{\mathrm{}}(G)`$, and we denote by $`𝒞_\text{c}^{\mathrm{}}(G)_{\mathrm{ad}}`$ the $`G`$-module defined by this action. Also, let $`\mathrm{\Delta }_G`$ denote the modular function of $`G`$, which we recall, is defined by the relation

$$\mathrm{\Delta }_G(h)_Gf(gh)𝑑g=_Gf(g)𝑑g.$$

We shall be especially interested in the $`G`$–module $`𝒞_\text{c}^{\mathrm{}}(G)_\delta `$ obtained from $`𝒞_\text{c}^{\mathrm{}}(G)_{\mathrm{ad}}`$ by twisting it with the modular function. More precisely, let $`𝒞_\text{c}^{\mathrm{}}(G)_\delta =𝒞_\text{c}^{\mathrm{}}(G)`$ as vector spaces, and let the action of $`G`$ on functions be given by the formula

(6)
$$(\gamma f)(g)=\mathrm{\Delta }_G(\gamma )f(\gamma ^1g\gamma ),f𝒞_\text{c}^{\mathrm{}}(G)_\delta .$$

The reason for this twisting is that, for $`G`$ non-unimodular, the traces of $`𝒞_\text{c}^{\mathrm{}}(G)`$ are the $`G`$–invariant functionals on $`𝒞_\text{c}^{\mathrm{}}(G)_\delta `$, not on $`𝒞_\text{c}^{\mathrm{}}(G)`$ (this is an immediate consequence of Lemma 1). More generally, our approach to the Hochschild homology of $`𝒞_\text{c}^{\mathrm{}}(G)`$ is based on Lemma 1.

Before stating and proving Lemma 1, we need to introduce some notation. First, if $`M`$ is an arbitrary $`G`$–module, we denote by $`M\mathrm{\Delta }_G`$ the tensor product of the $`G`$–modules $`M`$ and $``$, where the action on $``$ is given by the multiplication with the modular function of $`G`$. (We sometimes write this as $`𝒞_\text{c}^{\mathrm{}}(G)_\delta =𝒞_\text{c}^{\mathrm{}}(G)\mathrm{\Delta }_G`$.)

If $`M`$ is a right $`G`$–module and $`M^{}`$ is a left $`G`$–module, then $`M_GM^{}`$ is defined as the quotient of $`MM^{}`$ by the submodule generated by $`mgm^{}mgm^{}`$. For example, if $`HG`$ is a closed subgroup and if $`X`$ is a left $`H`$–space, then we have an isomorphism of $`G`$–spaces

(7)
$$𝒞_\text{c}^{\mathrm{}}(G)_H(𝒞_\text{c}^{\mathrm{}}(X)\mathrm{\Delta }_H)𝒞_\text{c}^{\mathrm{}}(G\times _HX),$$

where $`G\times X`$ is the quotient $`(G\times X)/H`$ for the action $`h(g,x)=(gh^1,hx)`$. This isomorphism is obtained by observing that the natural map

$$\begin{array}{c}t_X:𝒞_\text{c}^{\mathrm{}}(G)𝒞_\text{c}^{\mathrm{}}(X)=𝒞_\text{c}^{\mathrm{}}(G\times X)𝒞_\text{c}^{\mathrm{}}(G\times _HX),\hfill \\ \hfill t_X(f)(\overline{(g,x)})=_Hf(gh,h^1x)𝑑h,\end{array}$$

passes to the quotient to give the desired isomorphism. Sometimes it will be convenient to regard a left $`G`$–module as a right $`G`$–module by replacing $`g`$ with $`g^1`$.

Also, recall that a $`G`$–module $`M`$ is smooth if, and only if, the stabilizer of each element of $`M`$ is open in $`G`$. Then one can define the continuous homology groups of $`G`$ with coefficients in the smooth module $`M`$, denoted $`\mathrm{H}_k(G,M)`$, using tensor products as follows. Let $`_q(G)=𝒞_\text{c}^{\mathrm{}}(G^{q+1})`$, $`q=0,1,\mathrm{}`$, be the Bar complex of the group $`G`$, with differential

$$(df)(g_0,g_1,\mathrm{},g_q)=\underset{j=0}{\overset{q+1}{}}(1)^j_Gf(g_0,\mathrm{},g_{j1},\gamma ,g_j,\mathrm{},g_q)𝑑\gamma .$$

Then the complex $`(_q,d)`$ gives a resolution of $``$ with projective $`𝒞_\text{c}^{\mathrm{}}(G)`$–modules, and the complex

(8)
$$_q(G)_GM$$

computes $`\mathrm{H}_q(G,M)`$. See .

We shall need the following extension of a result from :

###### Lemma 1.

Let $`𝒞_\text{c}^{\mathrm{}}(G)_\delta =𝒞_\text{c}^{\mathrm{}}(G)\mathrm{\Delta }_G`$ be the $`G`$–module obtained by twisting the adjoint action of $`G`$ on $`𝒞_\text{c}^{\mathrm{}}(G)`$ by the modular function. Then we have a natural isomorphism

(9)
$$\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta ).$$

###### Proof.

Consider the complex (8), which computes the continuous cohomology of $`M=𝒞_\text{c}^{\mathrm{}}(G)_\delta `$, and let $`h_G:_q(G)𝒞_\text{c}^{\mathrm{}}(G)_\delta 𝒞_\text{c}^{\mathrm{}}(G)𝒞_\text{c}^{\mathrm{}}(G^{q+1})=𝒞_\text{c}^{\mathrm{}}(G^{q+2})𝒞_\text{c}^{\mathrm{}}(G)^{q+1}`$ be the map

$$\begin{array}{c}h_G(f)(g_0,g_1,\mathrm{},g_q)=_Gf(g^1hg,g^1g_0,g^1g_0g_1,\mathrm{},g^1g_0g_1\mathrm{}g_q)𝑑g,\hfill \\ \hfill h=g_0g_1\mathrm{}g_q.\end{array}$$

As in equation (7), the map $`h_G`$ descends to the quotient to induce an isomorphism

(10)
$$\stackrel{~}{h}_G:_q(G)_G𝒞_\text{c}^{\mathrm{}}(G)_\delta 𝒞_\text{c}^{\mathrm{}}(G^{q+2})_G𝒞_\text{c}^{\mathrm{}}(G)^{q+1}$$

of complexes, that is $`\stackrel{~}{h}_G(d_G1)=b\stackrel{~}{h}_G`$, which establishes the isomorphism $`\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))`$, as desired. ∎

To better justify the twisting of the module $`𝒞_\text{c}^{\mathrm{}}(G)`$ by the modular function in the above lemma, note that the trivial representation of $`G`$ gives rise to an obvious morphism $`\pi _0:𝒞_\text{c}^{\mathrm{}}(G)`$, by $`\pi _0(f)=_Gf(g)𝑑g`$, which hence defines a trace on $`𝒞_\text{c}^{\mathrm{}}(G)`$. However $`\pi _0`$ is not $`G`$–invariant for the usual action of $`G`$, but is invariant if we twist the adjoint action of $`G`$ by the modular function, as indicated.

We proceed now to a detailed study of the $`G`$-module $`𝒞_\text{c}^{\mathrm{}}(G)_\delta `$. First we define a natural $`Ad_G`$-invariant stratification of $`G`$, called the standard stratification of $`G`$.

Let $`𝔤`$ be the Lie algebra of $`G`$ in the sense of linear algebraic groups. Denote by $`a_i(g)`$ the coefficients of the polynomial $`\mathrm{det}(t+1Ad_g)`$,

$$\mathrm{det}(t+1Ad_g)=\underset{i=0}{\overset{m}{}}a_i(g)t^i𝔽[t].$$

Let $`a_r`$ be the first non-zero coefficient $`a_i`$, and define

$$V_k=\{a_r=a_{r+1}=\mathrm{}=a_{r+k1}=0\}.$$

Thus $`V_0=G`$, by convention, and $`GV_1=G^{}`$, the set of regular elements of $`G`$ if $`G`$ is reductive. Also, $`V_{m+1}=\mathrm{}`$ because $`a_m=1`$. We observe that the functions $`a_i(g)`$ are $`G`$-invariant polynomial functions on $`G`$, and that they depend only on the semisimple part of $`g`$.

The description of the Hochschild homology of $`𝒞_\text{c}^{\mathrm{}}(G)`$ that we shall obtain is formulated in terms of certain commutative subgroups of $`G`$, called standard, that we now define.

###### Definition 1.

A commutative subgroup $`SG`$ is called standard if, and only if, there exists a semisimple element $`s_0G`$ such that $`S`$ is the center of $`C(s_0)`$, the centralizer of $`s_0`$ in $`G`$.

If $`s_0`$ and $`S`$ are as in the definition above, then $`S`$ is the set of $`𝔽`$–rational points of a subgroup $`𝕊`$ of $`𝔾`$ and $`C(S)=C(s_0)`$. The element $`s_0`$ in the above definition is not unique in general, and, for a standard subgroup $`SG`$, we denote by $`S^{\mathrm{reg}}S`$ the set of semisimple elements $`sS`$ such that $`C(S)=C(s)`$. An element $`sS^{\mathrm{reg}}`$ will be called $`S`$-regular. This set is not empty by the definition of a standard subgroup. Note that $`S^{\mathrm{reg}}`$ depends on $`G`$ also, and not only on $`S`$.

Standard subgroups exist. Indeed, if $`\gamma G`$ is semisimple, then $`S(\gamma ):=Z(C(\gamma ))`$, the center of the centralizer of $`\gamma `$, is a standard subgroup of $`G`$. In particular, every semisimple element of $`G`$ belongs to $`S^{\mathrm{reg}}`$, for some standard subgroup $`S`$ of $`G`$. For all standard subgroups $`S`$, the set $`S^{\mathrm{reg}}`$ is an open subset of $`S`$ in the Zariski topology.

For any $`p`$–adic group $`H`$, we denote by $`H_u`$ the set of unipotent elements of $`H`$, and call it the unipotent variety of $`H`$. In the particular case of $`H=C(S)`$, where $`SG`$ is a standard subgroup, we also denote $`C(S)_u=𝒰_S`$.

In order to proceed further, recall that the Jordan decomposition of an element $`gG`$ is $`g=g_sg_u`$, where $`g_s`$ is semisimple, $`g_u`$ is unipotent, and $`g_sg_u=g_ug_s`$. This decomposition is unique . If $`g=g_sg_u`$ is the Jordan decomposition of $`gG`$ and if $`g_sS^{\mathrm{reg}}`$, then $`g_u𝒰_S`$, by definition, and hence $`gS^{\mathrm{reg}}𝒰_S`$.

Consider now a standard subgroup $`SG`$ and let

$$F_S=Ad_G(S^{reg}),\text{ and }$$

$$F_S^u=Ad_G(S^{reg}𝒰_S)$$

be the set of semisimple elements of $`G`$ conjugated to an element of $`S^{\mathrm{reg}}`$ and, respectively, the set of elements $`gG`$ conjugated to an element of $`S^{\mathrm{reg}}𝒰_S`$ (i.e., such that the semisimple part of $`g`$ is in $`F_S`$). Also, let $`N(S)`$ be the normalizer of $`S`$ and $`W(S)=N(S)/C(S)`$. Since $`N(S)`$ leaves $`S^{\mathrm{reg}}`$ invariant and is actually the normalizer of this set, it follows that the quotient $`W(S)`$ can be identified with a set of automorphisms of $`S_{ss}`$, the subgroup of semisimple elements of $`S`$. Since $`N(S)`$ is the set of $`𝔽`$–rational points of an algebraic group, the rigidity of tori (, page 117) shows that $`W(S)`$ is finite.

The natural map $`(g,s)gsg^1`$ descends to a map

$$\varphi _S:(G\times S^{reg})/N(S)(g,s)gsg^1F_S.$$

Similarly, we obtain a map

$$\varphi _S^u:(G\times S^{reg}𝒰_S)/N(S)(g,su)gsug^1F_S^u.$$

In the following proposition we consider the locally compact (and Hausdorff) topology of $`G`$, and not the Zariski topology. Denote by $`G_{ss}`$ the set of semisimple elements of $`G`$.

###### Proposition 1.

Let $`S`$ be a standard subgroup of $`G`$. Using the above notation, we have:

(i) The set $`F_S`$ is an analytic submanifold of $`G`$, and the maps $`\varphi _S`$ and $`\varphi _S^u`$ are homeomorphisms.

(ii) For each $`k`$, the set $`V_kV_{k+1}`$ is a disjoint union of sets of the form $`F_S^u`$, and each $`F_S^uV_kV_{k+1}`$ is an open subset of $`V_k`$. Moreover, the set $`G_{ss}(V_kV_{k+1})`$ is a disjoint union of sets of the form $`F_S`$, and each $`F_SV_kV_{k+1}`$ is an open subset of $`G_{ss}V_k`$.

###### Proof.

(i) First we check that $`\varphi _S`$ and $`\varphi _S^u`$ are injective. Indeed, assume that $`g_1s_1g_1^1=g_2s_2g_2^1`$, for some $`s_1,s_2S^{\mathrm{reg}}`$. Then, if $`g=g_2^1g_1`$, we have

$$gC(s_1)g^1=C(s_2)gC(S)g^1=C(S)gSg^1=S,$$

and hence $`gN(S)`$. Consequently, we have $`(g_1,s_1)=(g_2g,g^1s_2g)=g^1(g_2,s_2)`$, with $`gN(S)`$, as desired. The same argument shows that if $`F_S`$ and $`F_S^{}`$ have a point in common, then the standard subgroups $`S`$ and $`S^{}`$ are conjugated in $`G`$.

The injectivity of $`\varphi _S^u`$ follows from the injectivity of $`\varphi _S`$, indeed, if $`g_1(s_1u_1)g_1^1=g_2(s_2u_2)g_2^1`$, let $`g=g_2^1g_1`$ as above, and conclude that $`gs_1g^1=s_2`$, by the uniqueness of the Jordan decomposition. As above, this implies that $`gN(S)`$.

Since the differential $`d\varphi _S`$ is a linear isomorphism onto its image (i.e. it is injective) and $`\varphi _S`$ is injective, it follows that $`\varphi _S`$ is a local homeomorphism onto its image (for the locally compact topologies), and that its image is an analytic submanifold (, p. 38, Theorem (2.3)). The set $`G_{ss}(V_kV_{k+1})`$ is an algebraic variety on which $`G`$ acts with orbits of the same dimension, and hence $`\varphi _S`$ is proper. This proves that $`\varphi _S`$ is a homeomorphism. Using an inverse for $`\varphi _S`$, we obtain that $`\varphi _S^u`$ is also a homeomorphism.

To prove now (ii), consider a standard subgroup $`SG`$, and let $`d`$ be the dimension of $`C(S)`$. Then $`a_0=a_1=\mathrm{}=a_{d1}=0`$ on $`S`$, and $`S\{a_d0\}`$ contains $`S^{\mathrm{reg}}`$ as an open component. It follows that, if $`sG_{ss}(V_kV_{k+1})S^{\mathrm{reg}}`$, then $`F_SV_kV_{k+1}`$. This shows that $`G_{ss}(V_kV_{k+1})`$ is a union of sets of the form $`F_S`$. This must then be a disjoint union because the sets $`F_S`$ are either equal or disjoint, as proved above.

Now, if $`gV_kV_{k+1}`$ has semisimple part $`s`$, then $`sF_SG_s(V_kV_{k+1})`$, for some standard subgroup $`S`$, and hence $`gF_S^uV_kV_{k+1}`$. The sets $`F_S^u`$ are open in the induced topology because the map $`V_kV_{k+1}G_s(V_kV_{k+1})`$ is continuous. ∎

See also .

Let $`R^{\mathrm{}}:=R^{\mathrm{}}(G)`$ be the ring of locally constant $`Ad_G`$-invariant functions on $`G`$ with the pointwise product, which we regard as a subset of the set of endomorphisms of the $`G`$–module $`𝒞_\text{c}^{\mathrm{}}(G)_\delta =𝒞_\text{c}^{\mathrm{}}(G)\mathrm{\Delta }_G`$. For each $`k1`$, denote by $`I_kR^{\mathrm{}}`$ the ideal generated by functions $`f:G`$ of the form

$$f=\varphi (a_r,a_{r+1},\mathrm{},a_{r+k1}),$$

where $`\varphi `$ is a locally constant function $`\varphi :𝔽^k`$ such that $`\varphi (0,0,\mathrm{},0)=0`$. (Recall that each of the polynomials $`a_0,\mathrm{},a_{r1}`$ is the $`0`$ polynomial.) By convention, we set $`I_0=(0)`$; also, it follows that $`I_{m+1}=R^{\mathrm{}}`$.

Fix now $`k`$, and let $`p_nI_k`$ be the function $`\varphi _n(a_r,a_{r+1},\mathrm{},a_{r+k1})`$, where $`\varphi _n:𝔽^k`$ is $`1`$ on the set

$$\{\xi =(\xi _0,\mathrm{},\xi _{k1})𝔽^k,\mathrm{max}|\xi _i|q^n\}$$

and vanishes outside this set. (Here $`q`$ is the number of elements of the residual field of $`𝔽`$, and the non-archimedean norm “$`||`$” is normalized such that its range is $`\{0\}\{q^n,n\}`$.) Then $`p_n=p_n^2=p_np_{n+1}`$ and $`I_k=p_nR^{\mathrm{}}`$. For further reference, we state as a lemma a basic property of the constructions we have introduced.

###### Lemma 2.

If $`M`$ is a $`R^{\mathrm{}}`$–module, then $`I_kM=p_nM`$.

As a consequence of this above lemma, we obtain the following result.

###### Corollary 1.

Consider the $`G`$–module

$$M_k=(I_{k+1}/I_k)_R^{\mathrm{}}𝒞_\text{c}^{\mathrm{}}(G)_\delta I_{k+1}𝒞_\text{c}^{\mathrm{}}(G)_\delta /I_k𝒞_\text{c}^{\mathrm{}}(G)_\delta .$$

Then, for each $`q0`$, we have an isomorphism

$$\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )\underset{k=0}{\overset{m}{}}\mathrm{H}_q(G,M_k)$$

of vector spaces.

###### Proof.

There exists a (not natural) isomorphism

$$\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )\underset{k=0}{\overset{m}{}}I_{k+1}\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )/I_k\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta ),$$

of vector spaces.

By the above lemma, the inclusion of $`I_k𝒞_\text{c}^{\mathrm{}}(G)_\delta 𝒞_\text{c}^{\mathrm{}}(G)_\delta `$ of $`G`$-modules induces natural isomorphisms

$$\begin{array}{c}\mathrm{H}_q(G,I_k𝒞_\text{c}^{\mathrm{}}(G)_\delta )\mathrm{H}_q(G,\underset{}{lim}p_n𝒞_\text{c}^{\mathrm{}}(G)_\delta )\hfill \\ \hfill \underset{}{lim}p_n\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )I_k\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta ),\end{array}$$

because the functor $`\mathrm{H}_q`$ is compatible with inductive limits and with direct sums.

The naturality of these isomorphisms and the Five Lemma show that

$$\mathrm{H}_q(G,I_{k+1}𝒞_\text{c}^{\mathrm{}}(G)_\delta /I_k𝒞_\text{c}^{\mathrm{}}(G)_\delta )I_{k+1}\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )/I_k\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta ).$$

This is enough to complete the proof. ∎

We now study the homology of the subquotients $`M_k=I_{k+1}𝒞_\text{c}^{\mathrm{}}(G)_\delta /I_k𝒞_\text{c}^{\mathrm{}}(G)_\delta `$ by identifying them with induced modules. Let $`\mathrm{\Sigma }_k`$ be a set of representative of conjugacy classes of standard subgroups $`S`$ such that $`F_SV_kV_{k+1}`$ (or, equivalently, $`F_S^uV_kV_{k+1}`$).

###### Lemma 3.

Using the above notation, we have $`I_k𝒞_\text{c}^{\mathrm{}}(G)=𝒞_\text{c}^{\mathrm{}}(GV_k)`$ and

$$I_{k+1}𝒞_\text{c}^{\mathrm{}}(G)_\delta /I_k𝒞_\text{c}^{\mathrm{}}(G)_\delta \underset{S\mathrm{\Sigma }_k}{}𝒞_\text{c}^{\mathrm{}}(F_S^u).$$

###### Proof.

It follows from the definition of $`I_k`$ that, if $`fI_k𝒞_\text{c}^{\mathrm{}}(G)_\delta `$, then $`f`$ vanishes in a neighborhood of $`V_k`$. Conversely, if $`f`$ is in $`𝒞_c^{\mathrm{}}(GV_k)`$, then we can find some polynomial $`a_i`$, with $`ir+k1`$, such that $`|a_i|`$ is bounded from below on the support of $`f`$ by, say, $`q^n`$, then $`p_nf=f`$. The second isomorphism follows from the first isomorphism using (4) and Lemma 2. ∎

If $`HG`$ is a closed subgroup and $`M`$ is a smooth (left) $`H`$–module (that is, the stabilizer of each $`mM`$ is an open subgroup of $`M`$), we denote

(11)
$$\mathrm{ind}_H^G(M)=𝒞_\text{c}^{\mathrm{}}(G)_HM=𝒞_\text{c}^{\mathrm{}}(G)M/\{fhmfhm,hH\}.$$

Where the right $`H`$–module structure on $`𝒞_\text{c}^{\mathrm{}}(G)`$ is $`(fh)(g)=f(gh^1)`$. Then Shapiro’s lemma, see , states that

(12)
$$\mathrm{H}_k(G,\mathrm{ind}_H^G(M)\mathrm{\Delta }_G)\mathrm{H}_k(H,M).$$

(A proof of Shapiro’s Lemma in our setting is contained in the proof of Theorem 4.)

The basic examples of induced modules are obtained from $`H`$–spaces. If $`X`$ is an $`H`$–space (we agree that $`H`$ acts on $`X`$ from the left), then

$$𝒞_\text{c}^{\mathrm{}}((G\times X)/H)\mathrm{ind}_H^G(𝒞_\text{c}^{\mathrm{}}(X)\mathrm{\Delta }_H)\mathrm{ind}_H^G(𝒞_\text{c}^{\mathrm{}}(X)_\delta )$$

as $`G`$–modules, where $`H`$ acts on $`G\times X`$ by $`h(g,x)=(gh^1,hx)`$. For example, Proposition 1 identifies $`𝒞_\text{c}^{\mathrm{}}(F_S^u)`$ with an induced module:

$$𝒞_\text{c}^{\mathrm{}}(F_S^u)\mathrm{ind}_{N(S)}^G(𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}}𝒰_S)\mathrm{\Delta }_{N(S)})=\mathrm{ind}_{N(S)}^G(𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}}𝒰_S)_\delta ).$$

Shapiro’s lemma is an easy consequence of the Serre–Hochschild spectral sequence, see , which states the following. Let $`M`$ be a smooth $`G`$–module and $`HG`$ be a normal subgroup. Then the action of $`G`$ on $`\mathrm{H}_q(H,M)`$ descends to an action of $`G/H`$, and there exists a spectral sequence with $`E_{p,q}^2=\mathrm{H}_p(G/H,\mathrm{H}_q(H,M))`$, convergent to $`\mathrm{H}_{p+q}(G,M)`$.

Let $`M_k=I_{k+1}𝒞_\text{c}^{\mathrm{}}(G)_\delta /I_k𝒞_\text{c}^{\mathrm{}}(G)_\delta `$, as before.

###### Proposition 2.

Using the above notation, we have a natural

$$\mathrm{H}_q(G,M_k)\underset{S\mathrm{\Sigma }_k}{}𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}})^{W(S)}\mathrm{H}_q(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta )$$

isomorphism of $`R^{\mathrm{}}`$–modules

###### Proof.

Let $`S`$ be a standard subgroup of $`G`$. Recall first that $`W(S)=N(S)/C(S)`$ is a finite group that acts freely on $`S^{\mathrm{reg}}`$, which gives a $`N(S)`$–equivariant isomorphism

$$𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}}𝒰_S)_\delta =𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta 𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}}).$$

Let $`M`$ be a smooth $`N(S)`$–module. The Hochschild–Serre spectral sequence applied to the module $`M`$ and the normal subgroup $`C(S)N(S)`$ gives natural isomorphisms

$$\mathrm{H}_q(N(S),M)\mathrm{H}_0(W(S),\mathrm{H}_q(C(S),M))\mathrm{H}_q(C(S),M)^{W(S)}.$$

Combining these two isomorphisms, we obtain

$$\begin{array}{c}\mathrm{H}_k(G,𝒞_\text{c}^{\mathrm{}}(F_S^u)_\delta )\mathrm{H}_k(G,\mathrm{ind}_{N(S)}^G(𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}}𝒰_S)_\delta )_\delta )\mathrm{H}_k(N(S),𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}}𝒰_S)_\delta )\hfill \\ \hfill \left(\mathrm{H}_k(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta )𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}})\right)^{W(S)}𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}})^{W(S)}\mathrm{H}_k(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta ).\end{array}$$

The result then follows from Lemma 3, which implies directly that

$$M_k_{S\mathrm{\Sigma }_k}𝒞_\text{c}^{\mathrm{}}(F_S^u)_\delta .$$

The proof is now complete. ∎

Combining this proposition with Corollary 1, we obtain the main result of this section. Recall that a $`p`$–adic group $`G=𝔾(𝔽)`$ is the set of $`𝔽`$–rational points of a linear algebraic group $`𝔾`$ defined over a non-archemedean, non-discrete, locally compact field $`𝔽`$ of characteristic zero. Also, recall that $`𝒰_S`$ is the set of unipotent elements commuting with the standard subgroup $`S`$, and that the action of $`C(S)`$ on $`𝒞_\text{c}^{\mathrm{}}(𝒰_S)`$ is twisted by the modular function of $`C(S)`$, yielding the module $`𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta =𝒞_\text{c}^{\mathrm{}}(𝒰_S)\mathrm{\Delta }_{C(S)}`$.

###### Theorem 1.

Let $`G`$ be a $`p`$–adic group. Let $`\mathrm{\Sigma }`$ be a set of representative of conjugacy classes of standard subgroups of $`SG`$ and $`W(S)=N(S)/C(S)`$, then we have an isomorphism

$$\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))\underset{S\mathrm{\Sigma }}{}𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}})^{W(S)}\mathrm{H}_q(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta ).$$

Remark. The isomorphism of the above theorem is not natural. A more natural description of $`\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))`$ will be obtained in one of the following sections by considering higher orbital integrals and their Shalika germs

## 2. Higher orbital integrals and their Shalika germs

Proposition 2 of the previous section allows us to determine the structure of the localized cohomology groups $`\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))_𝔪`$, where $`𝔪`$ is a maximal ideal of $`R^{\mathrm{}}(G)`$. This will lead to an extension of the higher orbital integrals introduced by Blanc and Brylinski in , and to a generalization of some results of Shalika  to higher orbital integrals. In this way, we shall also obtain a more natural description of $`\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))`$.

First recall the following result.

###### Proposition 3.

Let $`G`$ be a reductive $`p`$–adic group over a field of characteristic $`0`$, $`SG`$ be a standard subgroup, and $`\gamma S^{\mathrm{reg}}`$ (that is, $`\gamma `$ is a semisimple element such that $`C(S)=C(\gamma )`$). Then there exists a $`N(S)`$–invariant closed and open neighborhood of $`\gamma `$ in $`C(S)`$ such that

$$G\times U(g,h)ghg^1G$$

defines a homeomorphism of $`(G\times U)/N(S)`$ onto a $`G`$–invariant, closed and open subset $`VG`$ containing $`\gamma `$.

###### Proof.

The result follows from Luna’s Lemma. For $`p`$-adic groups, Luna’s Lemma is proved in , page 109, Properties “C” and “D.” ∎

From this proposition we obtain the following consequences for the ring $`R^{\mathrm{}}(G)`$.

###### Corollary 2.

Let $`U`$ and $`V`$ be as in Proposition 3 above.

(i) The ring $`R^{\mathrm{}}(G)`$ decomposes as the direct sum $`𝒞^{\mathrm{}}(V)^G𝒞^{\mathrm{}}(V^c)^G`$, and $`𝒞^{\mathrm{}}(V)^G𝒞^{\mathrm{}}(U)^{N(S)}𝒞^{\mathrm{}}(C(S))^{N(S)}=R^{\mathrm{}}(C(S))^{W(S)}`$. (Here $`V^c`$ is the complement of $`V`$ in $`G`$.)

(ii) For any two semisimple elements $`\gamma ,\gamma ^{}G`$, if $`\varphi (\gamma )=\varphi (\gamma ^{})`$ for all $`\varphi R^{\mathrm{}}(G)`$, then $`\gamma `$ and $`\gamma ^{}`$ are conjugated in $`G`$.

(iii) Let $`𝔪R^{\mathrm{}}(G)`$ be the maximal ideal consisting of functions that vanish at a semisimple element $`\gamma G`$. Then $`𝔭`$ is generated by an increasing sequence of projections, and $`M_𝔪M/𝔪M`$, for any $`R^{\mathrm{}}(G)`$–module $`M`$.

###### Proof.

(i) is an immediate consequence of Proposition 3. (ii) follows from , Proposition 2.5.

To prove (iii), observe that the maximal ideal $`𝔪`$ is generated by a sequence of projections $`p_n`$, that is, $`𝔪=p_nR^{\mathrm{}}(G)`$, with $`p_n^2=p_n`$.

We know from , Proposition 2.5, that $`R^{\mathrm{}}(G)`$ is isomorphic to $`C^{\mathrm{}}`$, for some locally compact, totally disconnected topological space $`X`$. Moreover, if $`M`$ is a $`C^{\mathrm{}}(X)`$–module and $`𝔪`$ is the maximal ideal of functions vanishing at $`x_0`$, for some fixed point $`x_0X`$, then $`𝒞^{\mathrm{}}(X)_𝔪𝒞^{\mathrm{}}(X)/𝔪𝒞^{\mathrm{}}(X)`$, and hence

$$M_𝔪=M_{𝒞^{\mathrm{}}(X)}𝒞^{\mathrm{}}(X)_𝔪M_{𝒞^{\mathrm{}}(X)}𝒞^{\mathrm{}}(X)/𝔪𝒞^{\mathrm{}}(X)M/𝔪M.$$

Since $`X`$ is metrizable, we can choose a basis $`V_n`$ of compact open neighborhoods of $`x_0`$ in $`X`$. Then, if we let $`p_n`$ to be the characteristic function of $`V_n^c`$, then $`p_n`$ are projections generating $`𝔪`$. By choosing $`V_n`$ to be decreasing, we obtain a decreasing sequence $`p_n`$. ∎

We now consider for each maximal ideal $`𝔪R^{\mathrm{}}=R^{\mathrm{}}(G)`$ the localization $`\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))_𝔪`$.

###### Proposition 4.

Let $`𝔪`$ be a maximal ideal of $`R^{\mathrm{}}(G)`$. If $`𝔪`$ consists of the functions that vanish at the semisimple element $`\gamma G`$ and $`SG`$ is a standard subgroup such that $`\gamma S^{\mathrm{reg}}`$, then

$$\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))_𝔪\mathrm{H}_q(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta ).$$

For all other maximal ideals $`𝔪R^{\mathrm{}}(G)`$, we have $`\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))_𝔪=0`$.

Note that $`\mathrm{H}_q(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S))\mathrm{H}_q(C(\gamma ),𝒞_\text{c}^{\mathrm{}}(C(\gamma )_u))`$.

###### Proof.

The vanishing of $`\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))_𝔪`$ in the second half of the proposition follows because $`𝒞_c^{\mathrm{}}(G)_𝔪=0`$ in that case.

Assume now that $`𝔪`$ consists of functions vanishing at $`\gamma `$, a semisimple element of $`G`$. The localization functor $`VV_𝔪`$ is exact by standard homological algebra. The sequence of ideals $`(I_k)_𝔪`$ is an increasing sequence satisfying $`(I_0)_𝔪0`$ and $`(I_{m+1})_𝔪`$. Choose $`k`$ such that $`(I_k)_𝔪0`$ and $`(I_{k+1})_𝔪`$. (This happens if, and only if, $`\gamma V_kV_{k+1}`$.) It follows that

$$\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )_𝔪\mathrm{H}_q(G,I_{k+1}𝒞_\text{c}^{\mathrm{}}(G)_\delta /I_k𝒞_\text{c}^{\mathrm{}}(G)_\delta )_𝔪.$$

Since all the isomorphisms of Proposition 2 are compatible with this the localization functor, we obtain that

$$\begin{array}{c}\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))_𝔪\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )_𝔪\hfill \\ \hfill \underset{S\mathrm{\Sigma }_k}{}\mathrm{H}_q(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta )\left(𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}})^{W(S)}/𝔪𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}})^{W(S)}\right).\end{array}$$

The only quotient $`𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}})^{W(S)}/𝔪𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}})^{W(S)}`$ that does not vanish is the one containing (a conjugate of) $`\gamma `$, and then it is isomorphic to $``$. This completes the proof. ∎

An alternative proof can be obtained by writing

$$\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )_𝔪\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_{\delta 𝔪})\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta /𝔪𝒞_\text{c}^{\mathrm{}}(G)_\delta ),$$

and then observing that $`𝒞_\text{c}^{\mathrm{}}(G)_\delta /𝔪𝒞_\text{c}^{\mathrm{}}(G)_\delta 𝒞_\text{c}^{\mathrm{}}(𝒰_S)`$, by Corollary 2 (iii). However the above proof is more convenient when dealing with orbital integrals. See also , first circulated in 1990 as a preprint of the Mathematical Institute of the Romanian Academy (INCREST) Nr. 18, March 1990, and where the localization techniques were first introduced.

We now extend the definition of higher orbital integrals introduced by Blanc and Brylinski to cover non–regular semisimple elements also. Fix a standard subgroup $`SG`$, and let $`k`$ be such that $`S^{\mathrm{reg}}V_kV_{k+1}`$. As in the above proof, Proposition 2 gives a natural $`R^{\mathrm{}}(G)`$–linear, degree preserving, surjective morphism

$$\mathrm{H}_{}(G,I_{k+1}𝒞_\text{c}^{\mathrm{}}(G)_\delta /I_k𝒞_\text{c}^{\mathrm{}}(G)_\delta )𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}})^{W(S)}\mathrm{H}_{}(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta ),$$

and hence a linear map

(13)
$$I_{k+1}\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))=\mathrm{H}_{}(G,I_{k+1}𝒞_\text{c}^{\mathrm{}}(G)_\delta )𝒞_\text{c}^{\mathrm{}}(S^{\mathrm{reg}})^{W(S)}\mathrm{H}_{}(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta ).$$

Fix $`c\mathrm{H}^q(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta )`$ and $`\gamma S^{\mathrm{reg}}`$, and let

$$𝒪_{\gamma ,c}=𝒪_{\gamma ,c}^S:I_{k+1}\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))$$

be the evaluation of the map at $`\gamma `$ and $`c`$ in (13). We obtain, in particular, that for any $`fI_{k+1}\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))`$, the function $`\gamma 𝒪_{\gamma ,c}(f)`$ is a locally constant, compactly supported function on $`S^{\mathrm{reg}}`$. The function $`𝒪_{\gamma ,c}`$ can then be extended to the whole group $`\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))`$ using a simple observation. For any $`\gamma S^{\mathrm{reg}}`$ there exists a locally constant function $`\varphi I_{k+1}`$ such that $`\varphi (\gamma )=1`$. Then let

$$𝒪_{\gamma ,c}(f):=𝒪_{\gamma ,c}(\varphi f),$$

which is independent of $`\varphi `$. It follows from definition of $`𝒪_{\gamma ,c}`$ that, for any $`f\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))`$, the function $`\gamma 𝒪_{\gamma ,c}(f)`$, obtained as above, is a locally constant function on $`S^{\mathrm{reg}}`$, but not necessarily compactly supported. We thus obtain the following result.

###### Proposition 5.

Let $`SG`$ be a standard subgroup. Then there exists a degree-preserving, $`R^{\mathrm{}}(G)`$–linear map

$$𝒪^S:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))𝒞^{\mathrm{}}(S^{\mathrm{reg}})^{W(S)}\mathrm{H}_{}(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta ),$$

which is an isomorphism when localized at each maximal ideal $`𝔪R^{\mathrm{}}(G)`$ consisting of functions vanishing at an element $`\gamma S^{\mathrm{reg}}`$.

We call the maps $`𝒪^S`$ and $`𝒪_{\gamma ,c}=𝒪_{\gamma ,c}^S`$ “higher orbital integrals” because they generalize the usual notion of orbital integral. (If $`c`$ is a cocycle of dimension $`q`$, we call $`𝒪_{\gamma ,c}`$ a $`q`$-higher orbital integral.) Indeed, assume that $`G`$ and $`C(S)`$ are unimodular, following thorough the identifications in the previous section, we obtain, for $`c_0=1\mathrm{H}^0(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta )`$ the evaluation at the identity element $`eG`$, and $`f𝒞_\text{c}^{\mathrm{}}(G)=\mathrm{HH}_0(𝒞_\text{c}^{\mathrm{}}(G))`$, that

$$𝒪_{\gamma ,c_0}(f)=𝒪_{\gamma ,1}(f)=_{G/C(S)}f(g\gamma g^1)𝑑\overline{g},$$

where $`d\overline{g}`$ is the induced measure on $`G/C(S)`$.

If $`\gamma G`$ is a semisimple element and $`S`$ is a standard subgroup of $`G`$ such that $`C(\gamma )=C(S)`$, (i.e., $`\gamma S^{\mathrm{reg}}`$), then restriction at $`\gamma `$ defines a map

$$𝒪_\gamma =𝒪_\gamma ^S:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))\mathrm{H}_{}(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta )$$

such that $`c(𝒪_\gamma (f))=𝒪_{\gamma ,c}(f)`$, for all $`c\mathrm{H}^q(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta )`$.

A word on notation, whenever we write $`𝒪_{\gamma ,c}^S`$ or $`𝒪_\gamma ^S`$, we assume that $`\gamma S^{\mathrm{reg}}`$, which actually determines $`S`$. This means that we can omit $`S`$ from notation. However, if we want to write that $`𝒪_{\gamma ,c}=𝒪_{\gamma ,c}^S`$ is obtained by specializing

$$𝒪^S:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))𝒞^{\mathrm{}}(S^{\mathrm{reg}})^{W(S)}\mathrm{H}_{}(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta )$$

to a point $`\gamma S^{\mathrm{reg}}`$ and then by evaluating at $`c`$, that is that

$$𝒪_{\gamma ,c}^S(f)=𝒪^S(f)(\gamma ),c,$$

then it is obviously more convenient to include $`S`$ in the notation.

Let $`\gamma G`$ be a semisimple element. We want now to investigate the behavior of the orbital integrals $`𝒪_{g,c}`$ with $`g`$ in a small neighborhood of $`\gamma `$. Fix a standard subgroup $`SG`$ such that $`\gamma `$ is in the closure of $`Ad_G(S^{\mathrm{reg}})`$, but is not in $`Ad_G(S^{\mathrm{reg}})`$, and a class $`c\mathrm{H}^q(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S))`$. More precisely, we want to study the germ of the function $`g𝒪_{g,c}(f)`$ at an element $`\gamma `$, where $`f\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))`$ is arbitrary. The germ of a function $`h`$ at $`\gamma `$ will be denoted $`h_\gamma `$.

The following theorem extends one of the basic properties of Shalika germs from usual orbital integrals to higher orbital integrals.

###### Theorem 2.

Let $`SG`$ be a standard subgroup $`\gamma S`$ an element in the closure of $`S^{\mathrm{reg}}`$, but $`\gamma S^{\mathrm{reg}}`$. Then there exists a degree preserving linear map

$$\sigma _\gamma ^S:\mathrm{H}_{}(C(\gamma ),𝒞_\text{c}^{\mathrm{}}(C(\gamma )_u)_\delta )𝒞^{\mathrm{}}(S^{\mathrm{reg}})_\gamma ^{W(S)}\mathrm{H}_{}(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta ),$$

such that

$$𝒪^S(f)_\gamma =\sigma _\gamma ^S(𝒪_\gamma (f)),$$

for all $`f\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))`$.

Note that, in the notation for the maps $`\sigma _\gamma ^S`$, the standard subgroup $`S`$ is no longer determined by $`\gamma `$.

###### Proof.

By the definition of the localization of a module, the map

$$𝒪^S:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))𝒞^{\mathrm{}}(S^{\mathrm{reg}})_\gamma ^{W(S)}\mathrm{H}_{}(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta )$$

factors through a map

$$F:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))_\gamma 𝒞^{\mathrm{}}(S^{\mathrm{reg}})_\gamma ^{W(S)}\mathrm{H}_{}(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta ).$$

Since $`𝒪_\gamma :\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))_\gamma \mathrm{H}_{}(C(\gamma ),𝒞_\text{c}^{\mathrm{}}(C(\gamma )_u)_\delta )`$ is an isomorphism by Proposition 4, we may define

$$\sigma _\gamma ^S=F𝒪_\gamma ^1,$$

and all desired properties for $`\sigma _\gamma ^S`$ will be satisfied. ∎

Let $`\gamma SS^{\mathrm{reg}}`$ be such that $`\gamma `$ is in the closure of $`S^{\mathrm{reg}}`$, as above, and also let $`c\mathrm{H}^q(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta )`$. Then a consequence of the above theorem, Theorem 2, is that the germ at $`\gamma `$ of the higher orbital integrals $`𝒪_{g,c}^S`$ depends only on $`𝒪_\gamma `$. More precisely, if $`gS^{\mathrm{reg}}`$, $`f\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))`$, and we regard $`𝒪_{g,c}^S(f)`$ as a function of $`g`$, then its germ at $`\gamma `$, denoted $`𝒪_{g,c}^S(f)_\gamma `$, is given by

(14)
$$𝒪_{g,c}^S(f)_\gamma =\sigma _\gamma ^S(𝒪_\gamma (f)),c.$$

This observation allows us to relate Theorem 2 with results of Shalika  and Vigneras . So assume now that $`G`$ is reductive and let $`\xi _i\mathrm{H}_0(C(\gamma ),𝒞_\text{c}^{\mathrm{}}(C(\gamma )_u)_\delta )`$ be the basis dual to the basis of $`\mathrm{H}^0(C(\gamma ),𝒞_\text{c}^{\mathrm{}}(C(\gamma )_u)_\delta )`$ given by the orbital integrals over the orbits of $`\gamma u`$, for $`u`$ nilpotent in $`C(\gamma )`$. If we let $`F_i=\sigma _\gamma (\xi _i)`$, then we recover the usual definition of Shalika germs. Due to this fact, we shall call the maps $`\sigma _\gamma ^S`$ introduced in Theorem 2 the higher Shalika germs.

We can now characterize the range of the higher orbital integrals. Combining all higher orbital integrals for $`SG`$ ranging through a set $`\mathrm{\Sigma }`$ of representatives of standard subgroups of $`G`$, we obtain a map

$$𝒪:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))\underset{S\mathrm{\Sigma }}{}𝒞^{\mathrm{}}(S^{\mathrm{reg}})^{W(S)}\mathrm{H}_{}(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)).$$

###### Theorem 3.

Let $`\mathrm{\Sigma }`$ be a set of representatives of standard subgroups of $`G`$ and $`\sigma _\gamma ^S`$ be the maps introduced in Theorem 2 for $`\gamma \overline{S^{\mathrm{reg}}}S^{\mathrm{reg}}`$. Also, let

$$\underset{S\mathrm{\Sigma }}{}𝒞^{\mathrm{}}(S^{\mathrm{reg}})\mathrm{H}_{}(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S)_\delta ),$$

be the space of sections $`\xi `$ satisfying $`\xi _\gamma =\sigma _\gamma ^S(\xi (\gamma ))`$. Then $`𝒪`$ establishes a $`R^{\mathrm{}}(G)`$–linear isomorphism

$$𝒪:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G)).$$

###### Proof.

Note first that the map $`𝒪`$ is well defined, that is, that its range is contained in $``$, by Theorem 2.

To prove that $`𝒪`$ is an isomorphism, filter both $`\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))`$ and $``$ by the subgroups $`I_k\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))`$ and, respectively, by $`I_k`$, using the ideals $`I_k`$ introduced in Section 1. Since $`𝒪`$ is $`R^{\mathrm{}}(G)`$–linear, it preserves this filtration and induces maps

$$I_{k+1}\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))/I_k\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))I_{k+1}/I_k.$$

These maps are, by construction, exactly the isomorphisms of Proposition 2. Standard homological algebra then implies that $`𝒪`$ itself is an isomorphism, as desired. ∎

A consequence of the above result the following “density” corollary.

###### Corollary 3.

Let $`a\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))`$. If all $`q`$-higher orbital integrals of $`a`$ vanish, then $`a=0`$.

We shall also need certain specific cocycles below. Let $`\tau _0`$ be the trace $`\tau _0(f)=f(e)`$ on $`𝒞_\text{c}^{\mathrm{}}(G)`$, $`G`$ unimodular, obtained by evaluating $`f`$ at the identity $`e`$ of $`G`$. Let $`G_0`$ be the kernel of all unramified characters of $`G`$. Then $`G/G_0^r`$, where $`r`$ is the rank of a split component of $`G`$. Let $`p_j:G`$ be the morphisms obtained by considering the $`j`$th component of $`^r`$. Then

$$\delta _j(f)(g)=p_j(g)f(g)$$

defines a derivation of $`𝒞_\text{c}^{\mathrm{}}(G)`$. Moreover, we can identify $`\mathrm{H}^{}(G)`$ with $`\mathrm{\Lambda }^{}^r`$, the exterior algebra with generators $`\delta _1,\mathrm{},\delta _r`$. Fix $`c\mathrm{H}^{}(G)`$. We can assume that $`c=\delta _1\mathrm{}\delta _q`$, and then we define the map $`D_c:𝒞_\text{c}^{\mathrm{}}(G)^{q+1}𝒞_\text{c}^{\mathrm{}}(G)`$ by the formula

(15)
$$D_c(f_0,\mathrm{},f_q)=(q!)^1\underset{\sigma S_q}{}ϵ(\sigma )f_0\delta _{\sigma (1)}(f_1)\delta _{\sigma (2)}(f_2)\mathrm{}\delta _{\sigma (q)}(f_q)$$

Then $`\tau _c=\tau _0D_c(f_0,\mathrm{},f_q)`$ defines a Hochschild $`q`$ cocycle on $`𝒞_\text{c}^{\mathrm{}}(G)`$, and

(16)
$$\tau _c=𝒪_{e,c},$$

if we naturally identify $`c`$ with an element of the cohomology group $`\mathrm{H}^{}(G,𝒞_\text{c}^{\mathrm{}}(G_u))`$.

## 3. The cohomology of the unipotent variety

It follows from the main result of the first section, Theorem 1, that, in order to obtain a more precise description of the Hochschild homology of $`𝒞_\text{c}^{\mathrm{}}(G)`$, we need to understand the continuous cohomology of the $`H`$–module $`𝒞_\text{c}^{\mathrm{}}(H_u)_\delta `$, where $`H`$ ranges through the set of centralizers of standard subgroups of $`G`$ and $`H_u`$ is the variety of unipotent elements in $`H`$. (We call the variety $`H_u`$ the unipotent variety of $`H`$.) Since the cohomology groups $`\mathrm{H}_k(H,𝒞_\text{c}^{\mathrm{}}(H_u)_\delta )`$ depend only on $`H`$, it is enough to consider the case $`H=G`$. In this section we gather some results on the groups $`\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G_u)_\delta )`$.

We first need to recall the computation of the groups $`\mathrm{H}_{}(G)=\mathrm{H}_{}(G,)`$, . More generally, we also need to compute $`\mathrm{H}_{}(G,_\chi )`$, where $`\chi :G^{}`$ is a character of $`G`$ and $`_\chi =`$ as a vector space, but with $`G`$–action given by the character $`\chi `$.

Assume first that $`G=S`$ is a commutative $`p`$–adic group, and let $`S_0`$ be the union of all compact-open subgroups of $`S`$. Then $`S_0`$ is a subgroup of $`S`$ and $`S/S_0`$ is a free abelian subgroup, whose rank we denote by $`\mathrm{rk}(S)`$. For this group we then have

$$\mathrm{H}_k(S)\mathrm{H}_k(S/S_0,)\mathrm{\Lambda }^k^{\mathrm{rk}(S)}.$$

For an arbitrary $`p`$–adic group $`G`$, we may identify the cohomology groups $`\mathrm{H}_q(G)`$ with those of a commutative $`p`$–adic group. Indeed, if $`G^0`$ is the connected component of $`G`$ (in the sense of algebraic groups) then $`G/G^0`$ is finite, and hence $`\mathrm{H}_q(G)\mathrm{H}_q(G^0)`$, by the Hochschild–Serre spectral sequence. This tells us that we may assume $`G`$ to be connected as an algebraic group. Choose then a Levi decomposition $`G=MN`$, where $`N`$ is the unipotent radical of $`G`$, $`M`$ is a reductive subgroup, uniquely determined up to conjugation, and the product $`MN`$ is a semidirect product. Since $`\mathrm{H}_q(N)=0`$ for $`q>0`$, it follows that $`\mathrm{H}_q(G)\mathrm{H}_q(M)`$. Let $`M_1M`$ be the commutator subgroup of $`M`$, which is also a $`p`$–adic group, see . The cohomology groups $`\mathrm{H}_q(M_1)`$ were computed in , Proposition 6.1, page 316, and  and they also vanish for $`q>0`$ (because the fundamental domain of the building of $`G`$ is a simplex). All in all, we obtain that

$$\mathrm{H}_q(G)\mathrm{H}_q(M)\mathrm{H}_q(M^{\mathrm{ab}}),$$

where $`M^{\mathrm{ab}}=M/M_1`$ is the abelianization of $`M`$.

We summarize the above discussion in the following well known statement.

###### Lemma 4.

Let $`G`$ be a $`p`$–adic group, not necessarily reductive, and let $`r`$ be the rank of a split component of the reductive quotient of $`G`$. Then

$$\mathrm{H}_q(G)=\mathrm{H}_q(G,)\mathrm{\Lambda }^q^r,$$

and $`\mathrm{H}_q(G,_\chi )=0`$, if $`\chi `$ is a nontrivial character of $`G`$.

We continue with a few elementary remarks on $`\mathrm{H}_k(G,𝒞_c^{\mathrm{}}(G_u)_\delta )`$.

###### Remark 1.

If $`G_1G`$ is a surjective morphism with finite kernel $`F`$, then there exists a natural homeomorphism $`G_{1u}G_u`$ of the unipotent varieties of the two groups. Since the kernel $`F`$ acts trivially on $`G_{1u}`$, using the Hochschild-Serre spectral sequence we obtain an isomorphism

(17)
$$\mathrm{H}_k(G_1,𝒞_c^{\mathrm{}}(G_{1}^{}{}_{u}{}^{})_\delta )\mathrm{H}_k(G_1,𝒞_c^{\mathrm{}}(G_u))\mathrm{H}_k(G,𝒞_c^{\mathrm{}}(G_u)_\delta ).$$

###### Remark 2.

If $`GG_1`$ is a normal $`p`$–adic subgroup with $`FG_1/G`$ finite, then we again have a natural homeomorphism $`G_{1u}=G_u`$. This gives

(18)
$$\mathrm{H}_k(G_1,𝒞_c^{\mathrm{}}(G_{1}^{}{}_{u}{}^{})_\delta )\mathrm{H}_k(G_1,𝒞_c^{\mathrm{}}(G_u)_\delta )\mathrm{H}_k(G,𝒞_c^{\mathrm{}}(G_u)_\delta )^F,$$

using once again the Hochschild-Serre spectral sequence. In particular, if the characteristic morphism $`F\mathrm{Aut}(G)/\mathrm{Inn}(G)`$ is trivial, then we get a natural isomorphism $`\mathrm{H}_k(G,𝒞_c^{\mathrm{}}(G_u)_\delta )\mathrm{H}_k(G_1,𝒞_c^{\mathrm{}}(G_{1}^{}{}_{u}{}^{})_\delta )`$.

###### Remark 3.

If $`G=G^{}\times G^{\prime \prime }`$, then $`G_u=G_u^{}\times G_u^{\prime \prime }`$ naturally, and hence $`𝒞_\text{c}^{\mathrm{}}(G_u)𝒞_\text{c}^{\mathrm{}}(G_u^{})𝒞_\text{c}^{\mathrm{}}(G_u^{\prime \prime })`$. This gives

(19)
$$\mathrm{H}_k(G,𝒞_c^{\mathrm{}}(G_u)_\delta )\underset{i+j=k}{}\mathrm{H}_i(G^{},𝒞_\text{c}^{\mathrm{}}(G_u^{}))\mathrm{H}_j(G^{\prime \prime },𝒞_\text{c}^{\mathrm{}}(G_u^{\prime \prime })).$$

###### Remark 4.

If $`Z`$ is a commutative $`p`$–adic group of split rank $`r`$, then

$$\mathrm{H}_k(Z,𝒞_c^{\mathrm{}}(Z_u)_\delta )𝒞_\text{c}^{\mathrm{}}(Z_u)\mathrm{\Lambda }^k^r.$$

###### Remark 5.

The above isomorphisms reduce the computation of $`\mathrm{H}_k(G,𝒞_c^{\mathrm{}}(G_u)_\delta )`$ for $`G`$ reductive, to the computation of the cohomology groups corresponding to its semisimple quotient $`H:=G/Z(G)`$:

(20)
$$\mathrm{H}_k(G,𝒞_\text{c}^{\mathrm{}}(G_u)_\delta )=\mathrm{H}_k(G,𝒞_\text{c}^{\mathrm{}}(G_u))\underset{i+j=k}{}\mathrm{H}_i(H,𝒞_c^{\mathrm{}}(H_u)_\delta )\mathrm{\Lambda }^j^r,$$

where $`r`$ is the rank of a split component of $`G`$.

Let $`\tau _0`$ be the trace obtained by evaluating at the identity. Using $`\tau _0`$, we obtain an injection $`H^j(G)c\tau _0cH^j(G,𝒞_\text{c}^{\mathrm{}}(G_u))`$.

In order to obtain more precise results on $`\mathrm{H}_{}(G,𝒞_\text{c}^{\mathrm{}}(G_u)_\delta )`$, we need to take a closer look at the structure of $`𝒞_\text{c}^{\mathrm{}}(G_u)`$ as a $`G`$–module. For a $`G`$–space $`X`$, we denote by $`X`$ the quotient space $`X/G`$ with the induced topology, which may be non-Hausdorff. Thus $`G_u`$ is the set of unipotent conjugacy classes of $`G`$.

Assume now that $`G_u`$ is a finite set. (This happens for example if $`G`$ is reductive, because the ground field $`𝔽`$ has characteristic zero.) Then the space $`G_u`$ can be written as an increasing union of open $`G`$–invariant sets $`U_lG_u`$, $`U_1=\mathrm{}`$, such that each difference set $`U_lU_{l1}`$ is a disjoint union of open and closed $`G`$–orbits,

(21)
$$U_lU_{l1}=X_{l,j}.$$

A filtration $`U_l`$ with these properties will be called “nice.” There may be several nice filtrations of $`G_u`$.

A nice filtration of $`G_u`$, as above, gives rise, by standard arguments, to a spectral sequence converging to $`\mathrm{H}_k(G,𝒞_c^{\mathrm{}}(G_u)_\delta )`$, as follows. First, let $`gG_u`$ be the orbit through an element $`gG_u`$. Also, let $`C(g)`$ denote the centralizer of $`gG_u`$ and $`r_g`$ denote the rank of a split component of $`C(g)`$ if $`C(g)`$ is unimodular, $`r_g=0`$ otherwise. This definition of $`r_g`$ is justified by $`\mathrm{H}_k(C(g),\mathrm{\Delta }_{C(g)})\mathrm{\Lambda }^k^{r_g}.`$

###### Proposition 6.

Let $`G`$ be a $`p`$–adic group with finitely many unipotent orbits (i.e., $`G_u`$ is finite). Then, for any nice filtration $`(U_l)`$ of $`G_u`$ by open $`G`$–invariant subsets, there exists a natural spectral sequence with

$$E_{p,q}^2=\underset{uU_pU_{p1}}{}\mathrm{\Lambda }^{p+q}^{r_u},$$

convergent to $`\mathrm{H}_{p+q}(G,𝒞_c^{\mathrm{}}(G_u)_\delta )`$.

###### Proof.

The argument is standard and goes as follows. Recall first that any filtration $`0=F_0F_1\mathrm{}F_N=𝒞_\text{c}^{\mathrm{}}(G_u)_\delta `$ by $`G`$–submodules gives rise to a spectral sequence with $`E_{p,q}^1=\mathrm{H}_{p+q}(G,F_p/F_{p1})`$, convergent to $`\mathrm{H}_{p+q}(G,𝒞_c^{\mathrm{}}(G_u)_\delta )`$.

Now, associated to the open sets $`U_l`$ of a nice filtration, there exists an increasing filtration $`F_l=𝒞_\text{c}^{\mathrm{}}(U_l)_\delta 𝒞_\text{c}^{\mathrm{}}(G_u)_\delta `$ by $`G`$–submodules such that

$$𝒞_\text{c}^{\mathrm{}}(U_l)_\delta /𝒞_\text{c}^{\mathrm{}}(U_{l1})_\delta \underset{j}{}𝒞_\text{c}^{\mathrm{}}(X_{l,j})_\delta ,$$

where each $`X_{l,j}`$ is the orbit of a unipotent element, and $`U_lU_{l1}`$ has the topology given by the disjoint union of the orbits $`X_{l,j}`$. Fix $`l`$ and $`j`$, and let $`u`$ be a unipotent element in $`X_{l,j}`$ (so that then $`X_{l,j}`$ is the orbit through $`u`$), which implies that $`𝒞_\text{c}^{\mathrm{}}(X_{l,j})\mathrm{ind}_{C(u)}^G(\mathrm{\Delta }_{C(u)})`$. Finally, from Shapiro’s lemma we obtain that

$$\mathrm{H}_k(G,𝒞_\text{c}^{\mathrm{}}(X_{l,j})_\delta )\mathrm{H}_k(C(u),\mathrm{\Delta }_{C(u)})\mathrm{\Lambda }^k^{r_u},$$

and this completes the proof. ∎

We expect this spectral sequence to converge for $`G`$ reductive. This is the case, for example for $`G=GL_n(𝔽)`$ and for $`SL_n(𝔽)`$. See Section 5. The convergence of the spectral sequence implies, in particular, the convergence of the orbital integrals of unipotent elements in reductive groups (which is a well known fact due to Deligne and Rao ). In general, the convergence of the spectral sequence of the above proposition can be interpreted to represent the convergence of “higher orbital integrals.”

## 4. Induction and the unipotent variety

We assume from now on that $`G`$ is reductive, and we fix a parabolic subgroup $`PG`$, $`PG`$, and a Levi subgroup $`MP`$, so that $`P=MN`$, where $`N`$ is the unipotent radical of $`P`$, and the product is a semidirect product. In this section, we relate $`\mathrm{H}_{}(G,𝒞_c^{\mathrm{}}(G_u)_\delta )`$ to the groups, $`\mathrm{H}_{}(P,𝒞_c^{\mathrm{}}(P_u)_\delta )`$ and $`\mathrm{H}_{}(M,𝒞_c^{\mathrm{}}(M_u)_\delta )`$. He have considered non-unimodular subgroups in the previous sections in order to be able to handle subgroups like $`P`$.

Let $`K`$ be a “good” maximal compact subgroup of $`G`$ (see , Theorem 5), so that $`G=KP`$. This decomposition shows that the map

$$K\times P(k,p)kpk^1G$$

is proper, and hence the map $`G\times _PP:=(G\times P)/P(g,p)gpg^1G`$ is also proper. This gives a map

$$𝒞_\text{c}^{\mathrm{}}(G)_\delta =𝒞_\text{c}^{\mathrm{}}(G)𝒞_\text{c}^{\mathrm{}}(G\times _PP)\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)\mathrm{\Delta }_P)=\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta )$$

of $`G`$-modules. This map of $`G`$–modules and the standard identification of Hochschild homology with continuous cohomology, equation (9), then give a morphism

(22)
$$\mathrm{ind}_P^G:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P)),$$

defined as the composition of the following sequence of morphisms

$$\begin{array}{c}\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))\mathrm{H}_{}(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )\mathrm{H}_{}(G,\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta )\mathrm{\Delta }_G)\hfill \\ \hfill \mathrm{H}_k(P,𝒞_\text{c}^{\mathrm{}}(P)_\delta )\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P))\end{array}$$

of Hochschild homology groups. The main result of this section states that $`\mathrm{ind}_P^G`$ is induced by a morphism of algebras, which we now proceed to define.

Let $`dk`$ be the normalized Haar measure on the maximal compact subgroup $`K`$, normalized such that $`K`$ has volume $`1`$. The composition of kernels

$$T_1T_2(k_1,k_2)=_{G/P}T_1(k_1,k)T_2(k,k_2)𝑑k$$

defines on $`𝒞^{\mathrm{}}(K\times K)`$ an algebra structure. Let

(23)
$$\varphi _P^G:𝒞_\text{c}^{\mathrm{}}(G)𝒞^{\mathrm{}}(K\times K)𝒞_\text{c}^{\mathrm{}}(P),$$

be defined by $`\varphi _P^G(f)(k_1,k_2,p)=f(k_1pk_2^1)`$.

Recall  that the push-forward of the product $`dpdk`$ of Haar measure on $`P\times K`$, via the multiplication map $`P\times K(p,k)pkG`$, is a left invariant measure on $`G`$, and hence a multiple $`\lambda dg`$ of the Haar measure $`dg`$ on $`G`$. Suppose that the measure $`dk`$ of $`K`$ is the restriction of $`dg`$ to $`K`$, and has total mass 1. Then the Haar measures on $`G`$ and $`P`$ will be called compatible if $`\lambda =1`$. We shall need the following result of Harish Chandra (implicitly stated in ):

###### Lemma 5.

Suppose the Haar measures on $`G`$ and $`P`$ are compatible. Then the linear map $`\varphi _P^G`$, defined above in equation (23), is a morphism of algebras.

###### Proof.

The product on $`𝒞^{\mathrm{}}(K\times K)𝒞_\text{c}^{\mathrm{}}(P)=𝒞_\text{c}^{\mathrm{}}(K\times K\times P)`$ is given by the formula

$$(h_1h_2)(k_1,k_2,p)=_K_Ph_1(k_1,k,q)h_2(k,k_2,q^1p)𝑑q𝑑k.$$

Let $``$ denote the multiplication (i.e., convolution product) on $`𝒞_\text{c}^{\mathrm{}}(G)`$. Thus, we need to prove that

$$f_1f_2(k_1pk_2^1)=_K_Pf_1(k_1qk^1)f_2(kq^1pk_2^1)𝑑q𝑑k,$$

for all $`f_1,f_2𝒞_\text{c}^{\mathrm{}}(G)`$. Consider the map $`P\times K(q,k)g:=qk^1G`$, and let $`d\mu `$ be the push-forward of the measure $`dqdk`$. Then the right-hand side of the above formula becomes

$$_K_Pf_1(k_1qk^1)f_2(kq^1pk_2)𝑑q𝑑k=_Gf_1(k_1g)f_2(g^1pk_2^1)𝑑\mu (g).$$

We know that $`d\mu =dg`$, by assumptions (see the discussion before the statement of this lemma), and then

$$_Gf_1(k_1g)f_2(g^1pk_2^1)𝑑\mu (g)=_Gf_1(g)f_2(g^1k_1pk_2^1)𝑑\mu (g)=f_1f_2(k_1pk_2^1),$$

by the invariance of the Haar measure. The lemma is proved. ∎

The trace $`𝒞^{\mathrm{}}(K\times K)`$ induces an isomorphism

$$\tau :\mathrm{HH}_{}(𝒞^{\mathrm{}}(K\times K)𝒞_\text{c}^{\mathrm{}}(P))\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P)).$$

Explicitly, this isomorphism is given at the level of chains by

$$\begin{array}{c}\tau (f_0f_1\mathrm{}f_q)(p_0,p_1,\mathrm{},p_q)\hfill \\ \hfill :=_{K^{q+1}}f_0(k_0,k_1,p_0)f_1(k_1,k_2,p_1)\mathrm{}f_q(k_q,k_0,p_q)𝑑k_0\mathrm{}𝑑k_q.\end{array}$$

This isomorphism combines with $`\varphi _P^G`$ to give a morphism

(24)
$$(\varphi _P^G)_{}:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P)).$$

###### Theorem 4.

Let $`P`$ be a parabolic subgroup of a reductive $`p`$–adic group $`G`$. Consider the morphisms $`(\varphi _P^G)_{}`$ and $`\mathrm{ind}_P^G:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P))`$, defined above (Equations (24) and (22)). Then $`(\varphi _P^G)_{}=\mathrm{ind}_P^G`$.

###### Proof.

Let $`M_1`$ and $`M_2`$ be two left $`G`$–modules. We can regard $`M_1`$ as a right module, and then the tensor product $`M_1_GM_2`$ is the quotient of $`M_1M_2`$ by the group generated by the elements $`gm_1gm_2m_1m_2`$, as before. Alternatively, we can think of $`M_1_GM_2`$ as $`(M_1M_2)_G`$. This justifies the notation $`f_G1`$ for a morphism $`M_1_GM_2M_1^{}_GM_2^{}`$ induced by a morphism

$$f=f_1f_2:M_1M_2M_1^{}M_2^{}.$$

We shall prove the theorem by an explicit computation. To this end, we shall use the results and notation ($`h_G`$ and $`\stackrel{~}{h}_G=h_G_G1`$) of Lemma 1.

By direct computation, we see that the morphism

$$\tau \varphi _P^G:𝒞_\text{c}^{\mathrm{}}(G)^{q+1}𝒞_\text{c}^{\mathrm{}}(P)^{q+1}$$

between Hochschild complexes, is given by the formula

(25)
$$\begin{array}{c}\tau \varphi _P^G(f)(p_0,p_1,\mathrm{},p_q)=\hfill \\ \hfill _{K^{q+1}}f(k_0p_0k_1^1,k_1p_1k_2^1,\mathrm{},k_qp_qk_0^1)𝑑k_0𝑑k_1\mathrm{}𝑑k_q.\end{array}$$

We now want to realize the map $`\mathrm{ind}_P^G:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P))`$, at the level of complexes. In the process, it will be convenient to identify the smooth $`G`$-module $`𝒞_\text{c}^{\mathrm{}}((G\times P)/P)\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta )`$ with a subspace of the space of functions on $`G\times P`$, using the projection $`G\times P(G\times P)/P`$.

Consider the $`G`$–morphism

$$l:_q(G)𝒞_\text{c}^{\mathrm{}}(G)_q(G)\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta )$$

induced by the morphism

$$𝒞_\text{c}^{\mathrm{}}(G)\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta )𝒞^{\mathrm{}}(G\times P).$$

Explicitly,

$$l(f)(g_0,g_1,\mathrm{},g_q,g,p)=f(g_0,g_1,\mathrm{},g_q,gpg^1).$$

Then the resulting morphism

$$l_G1:\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )=\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )\mathrm{H}_q(G,\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta ))$$

is the morphism $`\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )\mathrm{H}_q(G,\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta ))`$ on homology corresponding to the $`G`$–morphism $`𝒞_\text{c}^{\mathrm{}}(G)\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta )`$.

The $`G`$–morphism

(26)
$$\begin{array}{c}r:_q(G)\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta )\mathrm{ind}_P^G(_q(P)𝒞_\text{c}^{\mathrm{}}(P)_\delta )\hfill \\ \hfill =𝒞_\text{c}^{\mathrm{}}(G)_P(_q(P)𝒞_\text{c}^{\mathrm{}}(P)_\delta )𝒞_\text{c}^{\mathrm{}}(G\times P^{q+2}),\end{array}$$

given by the formula

$$r(f)(g,p_0,p_1,\mathrm{},p_q,p)=_{K^{q+1}}f(gp_0k_1^1,gp_1k_2^1,\mathrm{},gp_nk_0^1,g,p)𝑑k,$$

($`dk=dk_0\mathrm{}dk_q`$) is well defined and induces an isomorphism in homology, because the only nonzero homology groups are in dimension $`0`$, and they are both isomorphic to $`\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta )`$. We have an isomorphism

$$\chi :\mathrm{ind}_P^G(_q(P)𝒞_\text{c}^{\mathrm{}}(P)_\delta )_G(_q(P)𝒞_\text{c}^{\mathrm{}}(P)_\delta )_P,$$

of complexes. This shows that the homology of the second complex in (26) is isomorphic to $`\mathrm{H}_q(P,𝒞_\text{c}^{\mathrm{}}(P)_\delta )`$, and that the map induced on homology, that is

$$\chi (r_G1):\mathrm{H}_q(G,\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta ))\mathrm{H}_q(P,𝒞_\text{c}^{\mathrm{}}(P)_\delta ),$$

is the Shapiro isomorphism.

Recall now that the isomorphism $`\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))`$ is induced by the morphism of complexes $`\stackrel{~}{h}_q`$ defined in Lemma 1, Equation (9). From the definition of the morphism $`\mathrm{ind}_P^G:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P))`$ and the above discussion, we obtain the equality of the morphisms $`\mathrm{H}_q(G,𝒞_\text{c}^{\mathrm{}}(G)_\delta )\mathrm{H}_q(P,𝒞_\text{c}^{\mathrm{}}(P)_\delta )`$ induced by $`\chi (rl_G1)`$ and $`\stackrel{~}{h}_P^1\mathrm{ind}_P^G\stackrel{~}{h}_G`$. Thus, in order to complete the proof, it would be enough to check that $`\stackrel{~}{h}_P\chi (rl_G1)=\tau \varphi _P^G\stackrel{~}{h}_G`$ at the level of complexes. Let

$$t:_q(G)\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta )_q(G)_G\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta )$$

be the projection. Since $`h_G`$ is surjective, it is also enough to check that $`\stackrel{~}{h}_P\chi (r_G1)tl=\tau \varphi _P^Gh_G`$.

Let

$$r^{}(f)(p_0,p_1,\mathrm{},p_q,p)=_{K\times K^{q+1}}f(k^{}p_0k_1^1,k^{}p_1k_2^1,\mathrm{},k^{}p_nk_0^1,k^{},p)𝑑k^{}𝑑k,$$

where $`dk=dk_0\mathrm{}dk_q`$, as before. Then $`r^{}`$ induces a morphism

$$r^{}:_q(G)\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta )_q(P)𝒞_\text{c}^{\mathrm{}}(P)_\delta $$

of complexes satisfying $`h_Pr^{}=\stackrel{~}{h}_P\chi (r_G1)t`$. Directly from the definitions we obtain then that $`h_Pr^{}l=\tau \varphi _P^Gh_G`$. This completes the proof. ∎

For simplicity, we have stated and proved the above result only for $`G`$ reductive, however, it extends to general $`G`$ and $`P`$ such that $`G/P`$ is compact, by including the modular function of $`G`$, where appropriate.

In order to better understand the effect of the morphism

$$\mathrm{ind}_P^G=(\varphi _P^G)_{}:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P)),$$

it is sometimes useful to look at its action on the geometric fibers of the group $`\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))`$. This is especially useful because the action on the geometric fibers also recovers the classical results on the characters of induced representations.

First we observe that restriction defines a morphism $`\rho _P^G:R^{\mathrm{}}(G)R^{\mathrm{}}(P)`$. In case the group $`G`$ is reductive and $`M`$ is a Levi component of the parabolic subgroup $`P`$, we also have $`R^{\mathrm{}}(P)R^{\mathrm{}}(M)`$.

###### Lemma 6.

Let $`P`$ be a parabolic subgroup of a reductive $`p`$–adic group $`G`$, and let $`\rho _P^G:R^{\mathrm{}}(G)R^{\mathrm{}}(P)`$ be the morphism induced by restriction, used to define a $`R^{\mathrm{}}(G)`$–module structure on $`\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P))`$. Then

$$\mathrm{ind}_P^G:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P))$$

is $`R^{\mathrm{}}(G)`$–linear, in the sense that $`\mathrm{ind}_P^G(f\xi )=\rho _P^G(f)\mathrm{ind}_P^G(\xi )`$, for all $`fR^{\mathrm{}}(G)`$ and all $`\xi \mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))`$.

###### Proof.

The result of the lemma follows from the fact that the map

$$𝒞_\text{c}^{\mathrm{}}(G)\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta )$$

is $`R^{\mathrm{}}(G)`$–linear and the isomorphism of Shapiro’s Lemma,

$$\mathrm{H}_q(G,\mathrm{ind}_P^G(𝒞_\text{c}^{\mathrm{}}(P)_\delta )\mathrm{H}_q(P,𝒞_\text{c}^{\mathrm{}}(P)_\delta ),$$

is natural.

Alternatively, one can use the explicit formula of equation (25). ∎

If $`𝔪=𝔪_\gamma R^{\mathrm{}}(G)`$ is the maximal ideal of functions vanishing at a semisimple element $`\gamma G`$, then its image $`(\rho _P^G)_{}(𝔪):=\rho _P^G(𝔪)R^{\mathrm{}}(P)R^{\mathrm{}}(P)=R^{\mathrm{}}(M)`$ is the ideal of functions vanishing at all $`gM`$ that are conjugated to $`\gamma `$ in $`G`$. If $`\gamma `$ is elliptic, then $`𝔪=R^{\mathrm{}}(P)`$. If $`\gamma M`$, then $`𝔪`$ need not, in general, be maximal. Nevertheless, we obtain a morphism

$$(\rho _P^G)_\gamma :R^{\mathrm{}}(G)_\gamma =R^{\mathrm{}}(G)/𝔪R^{\mathrm{}}(M)/(\rho _P^G)_{}(𝔪)^{\mathrm{\#}\gamma },$$

where $`\mathrm{\#}\gamma =l`$ is the set of conjugacy classes in $`M`$ that consist of elements that are conjugated to $`\gamma `$ in the bigger group $`G`$. Let $`\gamma _1,\gamma _2,\mathrm{},\gamma _lM`$ be representatives of the conjugacy classes of element in $`M`$ that are conjugated to $`\gamma `$ in $`G`$.

We are ready now to study the morphisms

$$\begin{array}{c}(\mathrm{ind}_P^G)_\gamma :\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))_\gamma =\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))/𝔪\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))\hfill \\ \hfill \mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(P))/(\rho _P^G)_{}(𝔪)\underset{j=1}{\overset{l}{}}\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(P))_{\gamma _j}.\end{array}$$

Let $`C_P(\gamma _j)`$ be the centralizer of $`\gamma _j`$ in $`P`$ and $`C_G(\gamma _j)C_G(\gamma )`$ be the centralizer of $`\gamma _j`$ in $`G`$. Then $`C_P(\gamma _j)_u`$ identifies with a subspace of $`C_G(\gamma )_u`$, which gives rise to a continuous proper map $`C_G(\gamma )\times _{C_P(\gamma )}C_P(\gamma )_uC_G(\gamma )_u`$, and hence to a morphism

$$𝒞_\text{c}^{\mathrm{}}(C_G(\gamma )_u)\mathrm{ind}_{C_P(\gamma _j)}^{C_G(\gamma )}(𝒞_\text{c}^{\mathrm{}}(C_P(\gamma _j)_u)_\delta )$$

of $`C_G(\gamma )`$–modules. Passing to cohomology, we obtain using Shapiro’s Lemma a morphism

$$\iota _{\gamma _j}^\gamma :\mathrm{H}_q(C_G(\gamma ),𝒞_\text{c}^{\mathrm{}}(C_G(\gamma )_u))\mathrm{H}_q(C_P(\gamma ),𝒞_\text{c}^{\mathrm{}}(C_P(\gamma _j)_u)_\delta ).$$

Recall that Proposition 4 gives isomorphisms

$$\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(G))_\gamma \mathrm{H}_q(C_G(\gamma )),𝒞_\text{c}^{\mathrm{}}(C_G(\gamma )_u))$$

and

$$\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(P))_{\gamma _j}\mathrm{H}_q(C_P(\gamma _j)),𝒞_\text{c}^{\mathrm{}}(C_P(\gamma _j)_u)_\delta ).$$

###### Proposition 7.

Let $`\gamma G`$ be a semisimple element and $`MP`$ be as above. If the conjugacy class of $`\gamma `$ does not intersect $`M`$, then $`\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P))_\gamma =0`$, and hence $`(\mathrm{ind}_P^G)_\gamma =0`$. Otherwise, using the notation above, we have

$$(\mathrm{ind}_P^G)_\gamma =_{j=1}^l\iota _{\gamma _j}^\gamma :\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))_\gamma \mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P))_\gamma .$$

###### Proof.

This follows from definitions if we observe that in the sequence of maps

$$\begin{array}{c}G\times _PP\times _{C_P(\gamma _i)}(\gamma _iC_P(\gamma _i)_u)G\times _{C_G(\gamma _i)}C_G(\gamma _i)\times _{C_P(\gamma _i)}(\gamma _iC_P(\gamma _i)_u)\hfill \\ \hfill G\times _{C_G(\gamma _i)}(\gamma _iC_G(\gamma _i)_u)\end{array}$$

the second map is induced by $`C_G(\gamma _i)\times _{C_P(\gamma _i)}C_P(\gamma _i)_uC_G(\gamma _i)_u`$ and their composition induces on homology the direct summand $`\iota _{\gamma _j}^\gamma `$ of the map $`(\mathrm{ind}_P^G)_\gamma `$. ∎

Another morphism that is likely to play an important role is the “inflation,” which we now define. Let $`NP`$ be the unipotent radical of an algebraic $`p`$–adic group, and let $`M=P/N`$ be its reductive quotient. Then integration over $`N`$ defines an algebra morphism

$$\psi _M^P:𝒞_\text{c}^{\mathrm{}}(P)𝒞_\text{c}^{\mathrm{}}(M),\psi _M^P(f)(m)=_Nf(mn)𝑑n.$$

Integration over $`N`$ also defines a $`G`$-morphism $`𝒞_\text{c}^{\mathrm{}}(P)_\delta 𝒞_\text{c}^{\mathrm{}}(M)`$, and, since $`N`$ is a union of compact subgroups, we finally obtain morphisms

$$\mathrm{H}_k(P,𝒞_\text{c}^{\mathrm{}}(P)_\delta )\mathrm{H}_k(P,𝒞_\text{c}^{\mathrm{}}(M))\mathrm{H}_k(M,𝒞_\text{c}^{\mathrm{}}(M)),$$

whose composition we denote $`\mathrm{inf}_M^P`$.

###### Theorem 5.

If $`M`$ is a Levi component of a $`p`$-adic group $`P`$ over a field of characteristic zero, as above. Then we have

$$(\psi _M^P)_{}=\mathrm{inf}_M^P:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P))\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(M)).$$

###### Proof.

Integration over $`N`$ defines a morphism

$$f:(P)𝒞_\text{c}^{\mathrm{}}(P)_\delta (M)𝒞_\text{c}^{\mathrm{}}(M),$$

which commutes with the action of $`P`$. Then $`f_P1`$ coincides with the morphism of complexes induced by $`\psi _M^P`$.

Consider now the maps $`h_G`$ defined in the proof of Lemma 1. Then $`\psi _M^Ph_P=h_Mf`$, and hence $`\psi _M^P\stackrel{~}{h}_P=\stackrel{~}{h}_M(f_P1)`$, from which the result follows. ∎

We now want to proceed by analogy and establish the explicit form of the action of $`\mathrm{inf}_M^P`$ on the geometric fibers. Fix $`\gamma M`$. Again, integration over the nilpotent radical of $`C_P(\gamma )`$, the centralizer of $`\gamma `$ in $`P`$, induces a morphism

$$𝒞_\text{c}^{\mathrm{}}(C_P(\gamma )_u)_\delta =𝒞_\text{c}^{\mathrm{}}(C_P(\gamma )_u)\mathrm{\Delta }_{C_P(\gamma )}𝒞_\text{c}^{\mathrm{}}(C_M(\gamma )_u),$$

of $`P`$-modules. Let

$$\begin{array}{c}j_\gamma :\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P))_\gamma =\mathrm{H}_{}(C_P(\gamma ),𝒞_\text{c}^{\mathrm{}}(C_P(\gamma )_u)_\delta )\hfill \\ \hfill \mathrm{H}_{}(C_M(\gamma ),𝒞_\text{c}^{\mathrm{}}(C_M(\gamma )_u))=\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(M))_\gamma \end{array}$$

be the induced morphism.

###### Proposition 8.

Let $`\gamma `$ be a semisimple element of a Levi component $`M`$ of the group $`P`$. Let $`d(\gamma )`$ be the determinant of $`Ad_\gamma ^11`$ acting on $`Lie(N)/\mathrm{ker}(Ad_\gamma 1)`$. Then, using localization at the maximal ideal defined by $`\gamma `$ in $`R^{\mathrm{}}(G)=R^{\mathrm{}}(P)`$ and the above notation,

$$(\mathrm{inf}_M^P)_\gamma =|d(\gamma )|^1j_\gamma :\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P))_\gamma \mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(M))_\gamma .$$

###### Proof.

Fix $`\gamma G`$, not necessarily semisimple and let $`N_\gamma `$ be the subgroup of elements of $`N`$ commuting with $`\gamma `$. We choose a complement $`V_\gamma `$ of $`Lie(N_\gamma )`$ in $`Lie(N)`$ and we use the exponential map to identify $`V_\gamma `$ with a subset of $`N`$. Then the Jacobian of the map

$$V_\gamma \times N_\gamma (n,n^{})\gamma ^1n\gamma n^1n^{}N=V_\gamma N_\gamma $$

is $`d(\gamma )`$, and from this the result follows. ∎

This result is compatible with the results of van Dijk on characters of induced representations, see .

## 5. Examples

Our results can be used to obtain some very explicit results in certain particular cases.

Example 1. Let $`Z`$ be a commutative $`p`$-adic group of split rank $`r`$ (so that $`\mathrm{H}_q(Z)\mathrm{\Lambda }^q^r`$, for all $`q0`$). Then

(27)
$$\mathrm{HH}_q(𝒞_\text{c}^{\mathrm{}}(Z))𝒞_\text{c}^{\mathrm{}}(Z)\mathrm{\Lambda }^q^r.$$

Example 2. Let $`P`$ be the (parabolic) subgroup of upper triangular matrices in $`SL_2(𝔽)`$, and $`AP`$ be the subgroup of diagonal matrices. Then inflation defines a morphism

$$\mathrm{inf}_A^P:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P))\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(A))=𝒞_\text{c}^{\mathrm{}}(A)\mathrm{\Lambda }^{}$$

whose range is $`𝒞_\text{c}^{\mathrm{}}(A)𝒞_\text{c}^{\mathrm{}}(A\{\pm I\})`$, with $`I`$ the identity matrix of $`SL_2(𝔽)`$. (We see this by localizing at each $`\gamma `$.) To describe the kernel of $`\mathrm{inf}_A^P`$, let

(28)
$$u_b=\left[\begin{array}{cc}1& b\\ 0& 1\end{array}\right].$$

Then, if we choose $`b`$ to range through $`\mathrm{\Sigma }_u`$, a set of representative of $`𝔽^{}/𝔽^2`$, the set of elements $`u_b`$ forms a set of representatives of the set of nontrivial conjugacy classes of unipotent elements of $`P`$. Recall that $`𝔽`$ has characteristic zero, so $`\mathrm{\Sigma }_u`$ is a discrete set. Let $`𝒪_{b,+}`$ be the orbital integral associated to $`u_b`$, and let $`𝒪_{b,}`$ be the orbital integral associated to $`u_b`$, then

$$F_\pm =_b𝒪_{b,\pm }:𝒞_\text{c}^{\mathrm{}}(G)^{\mathrm{\Sigma }_u}$$

identify the kernel of $`\mathrm{inf}_A^P`$ as follows. The map $`F_+F_{}:\mathrm{ker}(\mathrm{inf}_A^P)^{\pm \mathrm{\Sigma }_u}`$ is injective, and the range of each of $`F_\pm `$ is the set of elements with zero sum.

All in all, let us consider the map $`\mathrm{\Phi }=\mathrm{inf}_A^PF_+F_{}`$,

$$\mathrm{\Phi }:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(P))(𝒞_\text{c}^{\mathrm{}}(A)^{\pm \mathrm{\Sigma }_u})_{(0)}(𝒞_\text{c}^{\mathrm{}}(A\{\pm I\}))_{(1)},$$

where the lower index $`(i)`$ represents the degree. Then $`\mathrm{\Phi }`$ is surjective in degree $`1`$, and, in degree $`0`$, it consists of $`(f,\lambda _{b,ϵ})`$, $`f𝒞_\text{c}^{\mathrm{}}(A)`$, $`\lambda `$, for $`ϵ\{\pm 1\}`$ and $`b\mathrm{\Sigma }_u𝔽^{}/𝔽^2`$, such that $`_b\lambda _{b,ϵ}=f(ϵI)`$, for $`ϵ=\pm 1`$.

Note that evaluation at $`\pm I`$ does not define a trace on $`𝒞_\text{c}^{\mathrm{}}(P)`$. Actually, in the spectral sequence of Proposition 6, the obstruction to extend the evaluation at $`I`$ to a trace is responsible for “killing” the $`1`$ cohomology supported at $`I`$ (which explains our claim on the range of $`\mathrm{inf}_A^P`$ above).

Example 3. Consider now the group $`G=SL_2(𝔽)`$, where $`𝔽`$ is a $`p`$-adic field of characteristic zero such that the characteristic of the residual field is not $`2`$, for simplicity. Let $`F_q`$ be the residual field of $`𝔽`$ (thus $`q=p^n`$, for some $`n`$ and some prime $`p`$, denotes the number of elements of $`F_q`$. We choose $`ϵ`$ in the valuation ring of $`𝔽`$, whose image in $`F_q`$ is not a square. Also, let $`\tau `$ be a generator of the (unique) maximal ideal of the valuation ring of $`𝔽`$. We shall use the notation of  and thus let $`\theta `$ range through the set $`\{ϵ,\tau ,ϵ\tau \}`$ and let $`T_\theta `$ $`T_\theta ^\mathrm{\#}`$ be the elliptic tori defined there. (Recall that $`T_\theta =\{[a_{ij}],a_{11}=a_{22},a_{21}=\theta a_{12}\}`$ and $`T_\theta ^\mathrm{\#}=\{[a_{ij}],a_{11}=a_{22},a_{21}=\theta ^\mathrm{\#}a_{12}\}`$, where $`\theta ^\mathrm{\#}=\theta a^2`$, for some $`a𝔽^2`$ not in the image of the norm map $`N:𝔽[\theta ]^{}𝔽^{}`$.) We distinguish two cases, first the case where $`1`$ is a square and then the case where it is not a square. If $`1`$ is a square, then the Weyl group of each of the tori $`T=T_\theta ,T_\theta ^\mathrm{\#}`$ has order $`2`$. Otherwise $`W(T)=\{1\}`$, for each $`T=T_\theta `$ or $`T=T_\theta ^\mathrm{\#}`$, but $`T_\theta `$ and $`T_\theta ^\mathrm{\#}`$ are conjugate for each fixed $`\theta `$.

Let $`X=_\theta T_\theta /S_2_\theta T_\theta ^\mathrm{\#}/S_2`$, if $`1`$ is a square, and $`X=_\theta T_\theta `$ otherwise, with the induced topology. Then $`X\{\pm \}`$ identifies with the set of elliptic conjugacy classes of $`SL_2(𝔽)`$.

Denote by $`ASL_2(𝔽)`$ the set of diagonal matrices in $`SL_2(𝔽)`$. Let $`W(A)=S_2`$ act on $`𝒞_\text{c}^{\mathrm{}}(A)\mathrm{\Lambda }^{}`$ by conjugation on $`𝒞_\text{c}^{\mathrm{}}(A)`$ and act by the nontrivial character on $``$. Then we have the following. Recall that there are $`10`$ conjugacy classes of unipotent elements in $`SL_2(𝔽)`$, if $`p2`$.

###### Proposition 9.

The composition

$$\varphi :=\mathrm{inf}_A^P\mathrm{ind}_P^G:\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(SL_2(𝔽)))\mathrm{HH}_{}(A)=𝒞_\text{c}^{\mathrm{}}(A)\mathrm{\Lambda }^{}$$

has range consisting of $`W(A)`$ invariant elements, and the kernel of $`\varphi `$ is isomorphic to $`𝒞_\text{c}^{\mathrm{}}(X\{\pm I\})^{10}`$, via orbital integrals with respect to elliptic and unipotent elements.

###### Proof.

First of all, it is clear that the composition $`\varphi =\mathrm{inf}_A^P\mathrm{ind}_P^G`$ is invariant with respect to the Weyl group $`W(A)`$, and hence its range consists of $`W(A)`$-invariant elements.

The localization of $`\varphi `$ at a regular, diagonal conjugacy class $`\gamma `$ is onto by Proposition 4. Next, we know that every orbital integral extends to $`𝒞_\text{c}^{\mathrm{}}(SL_2(𝔽))`$, and this implies directly that the spectral sequence of Proposition 6 collapses at the $`E^2`$ term. This proves that the localization of $`\varphi `$ at $`\gamma =1`$ is also onto, and hence $`\varphi `$ is onto. The rest of the proposition follows also from Proposition 6 by localization. ∎

This example is also discussed in , but from a different perspective.

Example 4. We end this section with a description of the ingredients entering in the formula (1) for the of the Hochschild homology of $`𝒞_\text{c}^{\mathrm{}}(G)`$, if $`G=GL_n(𝔽)`$. Let $`\gamma G`$ be a semisimple element. The minimal polynomial $`Q_\gamma `$ of $`\gamma `$ decomposes as $`Q_\gamma =p_1p_2\mathrm{}p_r`$ into irreducible polynomials with coefficients in $`𝔽`$. (We assume, for simplicity, that each polynomial $`p_j`$ is a monic polynomial.) Also, let $`P_\gamma =p_1^{l_1}p_2^{l_2}\mathrm{}p_r^{l_r}`$ be the characteristic polynomial of $`\gamma `$. Then the algebra generated by $`\gamma `$ is

$$𝔽[\gamma ]𝕂_1\mathrm{}𝕂_r,$$

where $`𝕂_i=𝔽[t]/(p_i(t))`$ are not necessarily distinct fields. The commutant $`\{\gamma \}^{}`$ of $`\gamma `$ in $`M_n(𝔽)`$ is the commutant of this algebra, and hence

$$\{\gamma \}^{}M_{l_1}(𝕂_1)M_{l_2}(𝕂_2)\mathrm{}M_{l_r}(𝕂_r),$$

$$C(\gamma )\underset{i=1}{\overset{r}{}}GL_{l_i}(𝕂_i),S:=Z(C(\gamma ))\underset{i=1}{\overset{r}{}}𝕂_i^{},$$

and

$$S^{\mathrm{reg}}=\{(x_i)S,x_i\text{ generates }𝕂_i\text{ and the minimal polynomials of }x_i\text{ are distinct}\}.$$

By the Skolem–Noether theorem, the Weyl group $`W(S)=N(S)/C(S)`$ coincides with the group of algebra automorphisms of $`\{\gamma \}^{}`$. This group has as quotient a group isomorphic to the subgroup $`\mathrm{\Pi }N(S)`$ which permutes the algebras $`M_{l_i}(𝕂_i)`$ Then $`\mathrm{\Pi }S_{m_1}\times \mathrm{}\times S_{m_t}`$, that is, $`\mathrm{\Pi }`$ is a product of symmetric groups. We denote the kernel of this morphism by $`W_0(S)`$. It is isomorphic to $`_{i=1}^rAut_𝔽(𝕂_i)`$ (again by the Skolem–Noether theorem). The group $`W(S)`$ is then the semidirect product of $`W_0(S)`$ by $`\mathrm{\Pi }`$. We hence obtain exact sequences

$$1N_0(S)N(S)\mathrm{\Pi }1$$

and

$$1C(S)N_0(S)W_0(S)1.$$

According to (1), the only other ingredients necessary to compute $`\mathrm{HH}_{}(𝒞_\text{c}^{\mathrm{}}(G))`$ are the groups $`\mathrm{H}_{}(C(S),𝒞_\text{c}^{\mathrm{}}(𝒰_S))`$.

Now, the unipotent variety of $`C(S)`$ is the product of the unipotent varieties of $`GL_{l_i}(𝕂_i)`$, $`i=1,r`$, and the subgroup $`C(S)`$ preserves this product decomposition. We see then that in order to prove that the spectral sequence of Proposition 6 collapses (for any choice of open subsets $`U_i`$), it is enough to check this for the spectral sequence converging to the cohomology of $`𝒞_\text{c}^{\mathrm{}}(GL_n(𝕂)_u)`$, for an arbitrary characteristic zero $`p`$-adic field $`𝕂`$.

Fix a unipotent element $`\gamma GL_n(𝕂)`$. Define then $`V_0=0`$, $`V_l=\mathrm{ker}(\gamma 1)^l𝕂^n`$, if $`l>0`$. Also, choose $`W_l`$ such that $`V_l=V_{l1}W_l`$, and define

$$P=\{\gamma GL_n(𝕂),\gamma V_lV_l\},\text{ and }$$

$$M=\{\gamma GL_n(𝕂),\gamma W_l=W_l\}.$$

Then $`P`$ is a parabolic subgroup with unipotent radical

$$N=\{\gamma GL_n(𝕂),(\gamma 1)V_lV_{l1}\},$$

and $`M`$ is a Levi component of $`P`$. It is easy to check, from definition, that the $`P`$–orbit of $`u`$ in $`N`$ is dense. The centralizer of $`u`$ is then contained in $`P`$ and has split rank $``$ the split rank of $`P`$. Fix a maximal split torus $`A`$ in the centralizer of $`u`$. We can assume that this split torus is contained in $`M`$. From the definition and by direct inspection, the map $`\mathrm{H}_{}(A)\mathrm{H}_{}(M)`$ is injective, and hence the map

(29)
$$\mathrm{H}^{}(M)\mathrm{H}^{}(A)=\mathrm{H}^{}(C(u))$$

is surjective.

Fix now a cohomology class $`c_0\mathrm{H}^q(C(\gamma ))\mathrm{H}^q(A)`$ and choose a cohomology class $`c\mathrm{H}^q(M)`$ that maps to $`c_0`$ under the above restriction map. Also, let $`\tau `$ be the trace on $`\tau _0(f)=f(e)`$ on $`𝒞_\text{c}^{\mathrm{}}(M)`$ (obtained by evaluation at the identity $`e`$). Then the formula

(30)
$$\varphi _0(f_0,\mathrm{},f_q)=\tau _0(D_c(f_0,\mathrm{},f_q))$$

defines a Hochschild cyclic cocycle on $`𝒞_\text{c}^{\mathrm{}}(M)`$. Consequently,

$$\varphi =\varphi _0\mathrm{inf}_A^P\mathrm{ind}_P^G$$

defines a Hochschild cocycle on $`𝒞_\text{c}^{\mathrm{}}(G)`$. For any filtration $`U_i`$ of $`G_u`$ by open, invariant open sets, such that each $`U_lU_{l1}`$ consists of a single orbit. Suppose that the orbit $`U_lU_{l1}`$ is the orbit of $`\gamma GL_n(𝔽)`$ considered above. Then the cocycle $`\varphi `$ will vanish on $`𝒞_\text{c}^{\mathrm{}}(U_l)`$ and represent the cohomology class

$$c\mathrm{H}^q(C(\gamma ))\mathrm{H}^q(G,𝒞_\text{c}^{\mathrm{}}(U_lU_{l1})).$$

From this it follows that the spectral sequence of Proposition 6 degenerates at $`E^2`$.

It is very likely that the above argument extends to arbitrary reductive $`G`$ by choosing $`M`$ and $`P`$ as in .