Spherical Functions on a Group of $p\text{-adic}$ Type

Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au

Last update: 13 February 2014

Chapter III: Spherical functions on a group of $p\text{-adic}$ type

Throughout this chapter and the succeeding ones, $G$ is a simply-connected group of $p\text{-adic}$ type, as defined in (2.7), and the notation and hypotheses of Chapter II remain in force.

The root system ${\Sigma }_1$

For each affine root $\alpha ,$ the group $U_{\alpha }$ is of finite index in $U_{\alpha -1},$ by (2.7.4). We define $$q_{\alpha }=(U_{\alpha -1}:U_{\alpha })\text{.}$$ Then it follows from axiom (I) that $$\begin{array}{cc}\text{(3.1.1)}& q_{w\alpha }=q_{\alpha }\end{array}$$ for all $w\in W\text{.}$ In particular, since $w_{\alpha +1}\circ w_{\alpha }$ sends $\alpha +r$ to $\alpha +r+2$ for all $r\in \mathbb{Z},$ we have $$\begin{array}{cc}\text{(3.1.2)}& q_{\alpha }=q_{\alpha +2}\text{.}\end{array}$$ Hence, if $a\in {\Sigma }_0$ and $r\in \mathbb{Z},$ $q_{a+r}$ is equal to either $q_a$ or $q_{a+1}\text{.}$ But it can happen that $q_a\ne q_{a+1}\text{.}$

As another particular case of (3.1.1) we have $$\begin{array}{cc}\text{(3.1.3)}& q_{a+r}=q_{wa+r}\end{array}$$ for all $w\in W_0\text{.}$

We define a set ${\Sigma }_1$ of vectors in $A^{*}$ as follows:

(1)	${\Sigma }_0\subseteq {\Sigma }_1\subseteq {\Sigma }_0\cup \frac{1}{2}{\Sigma }_0\text{;}$
(2)	If $a\in {\Sigma }_0,$ then $\frac{1}{2}a\in {\Sigma }_1\iff q_a\ne q_{a+1}\text{.}$

${\Sigma }_1$ is an irreducible root system in $A^{*},$ with Weyl group $W_0\text{.}$

		Proof.
	We have to show that ${\Sigma }_1$ satisfies the axioms of (2.1), except for (RS 4). (RS 1) and (RS 5) follow immediately from the corresponding facts for ${\Sigma }_0,$ and (RS 2) is an immediate consequence of (3.1.3). So it remains to show that $b\left(c^{\vee }\right)\in \mathbb{Z}$ for all $b,c\in {\Sigma }_1\text{.}$ If $b,c$ are both in ${\Sigma }_0$ there is nothing to prove. If $c\in \frac{1}{2}{\Sigma }_0,$ say $c=\frac{1}{2}a,$ then $c^{\vee }=2a^{\vee },$ and $b\left(2a^{\vee }\right)$ is an even integer if $b\in {\Sigma }_0,$ an integer if $b\in \frac{1}{2}{\Sigma }_0\text{.}$ The only remaining possibility is that $c\in {\Sigma }_0$ and $b=\frac{1}{2}a\in \frac{1}{2}{\Sigma }_0\text{.}$ Then we have to show that $a\left(c^{\vee }\right)$ is an even integer. Suppose that $a\left(c^{\vee }\right)$ is odd. The translation $t_c$ (defined by $t_c\left(0\right)=c^{\vee }\text{)}$ is in the affine Weyl group, and $t_c\left(a\right)=a-a\left(c^{\vee }\right)\text{.}$ Hence by (3.1.1) we have $q_a=q_{a-a\left(c\right)},$ and therefore $q_a=q_{a+1}$ by (3.1.2), because $a\left(c^{\vee }\right)$ is odd. But then $b=\frac{1}{2}a\notin {\Sigma }_1\text{.}$ $\square$

For each $a\in {\Sigma }_0$ define $$q_{a/2}=q_{a+1}/q_a\text{.}$$ Thus if $b\in {\Sigma }_0\cup \frac{1}{2}{\Sigma }_0$ we have $q_b\ne 1\iff b\in {\Sigma }_1\text{.}$ From (3.1.3), $q_{wb}=q_b$ for all $w\in W_0\text{.}$

If $G_1,G_2$ are subgroups of a group and $G_1\subseteq G_2,$ we write $(G_1:G_2)$ to mean ${(G_2:G_1)}^{-1}\text{.}$ With this convention,

$$(U_{a-r}:U_a)=q_{a/2}^{[r/2]}{q}_a^r$$ where $\left[\frac{r}{2}\right]$ is the integral part of $\frac{r}{2}\text{.}$

		Proof.
	The proof is a straightforward calculation, using (3.1.2). $\square$

Let $a\in {\Pi }_0\text{.}$ Then from (2.7.4) we have $(B:B\cap w_{a}B{w}_a)=(U_a:U_{a+1})=q_{a+1}=q_{a/2}{q}_a,$ so that $$\begin{array}{cc}\text{(3.1.6)}& (B{w}_{a}B:B)=q_{a/2}{q}_a(a\in {\Pi }_0)\text{.}\end{array}$$

For each $w\in W,$ let $$q\left(w\right)=(BwB:B)\text{.}$$

Let $w=w_1\cdots w_r$ be a reduced word for $w\in W\text{.}$ Then $$q\left(w\right)=q\left(w_1\right)\cdots q\left(w_r\right)\text{.}$$

		Proof.
	If $\alpha \in \Pi$ and $w\in W$ are such that $l\left(w_{\alpha }w\right)>l\left(w\right)$ then (2.3.7) $B{w}_{\alpha }wB=B{w}_{\alpha }B·BwB\text{.}$ Since $w_{\alpha }\ne w,$ the cosets $B{w}_{\alpha }B$ and $BwB$ are disjoint, and therefore $q\left(w_{\alpha }w\right)=q\left(w_{\alpha }\right)q\left(w\right)\text{.}$ (3.1.7) now follows by induction on the length. $\square$

If $w\in W_0,$ then $$q\left(w\right)=\prod _b{q}_b,$$ the product being taken over the $b\in {\Sigma }_1$ which are positive on $C_0$ and negative on $w{C}_0\text{.}$

		Proof.
	Let $w=w_1\cdots w_r$ be a reduced word for $w$ in $W_0,$ where $w_i=w_{a_i},$ $a_i\in {\Pi }_0\text{.}$ Then the roots $a\in {\Sigma }_0$ which are positive on $C_0$ and negative on $w{C}_0$ are congruent under $W_0$ to $a_1,\dots ,a_r\text{.}$ The result now follows from (3.1.7), (3.1.6) and the fact that $q_{wb}=q_b$ for all $b\in {\Sigma }_1,$ $w\in W_0\text{.}$ $\square$

For each $b\in {\Sigma }_1$ let ${\xi }_b$ be an indeterminate over $\mathbb{Z}$ such that ${\xi }_{wb}={\xi }_b$ for all $w\in W_0\text{.}$ Define $$\xi \left(w\right)=\prod _b{\xi }_b(w\in W_0)$$ where as above the product is over the $b\in {\Sigma }_1$ which are positive on $C_0$ and negative on $w{C}_0,$ and put $$Q\left(\xi \right)=\sum _{w\in W_0}\xi \left(w\right)\text{.}$$

$Q\left(\xi \right)$ is the Poincaré polynomial of the root system ${\Sigma }_1\text{.}$ It is a polynomial in one variable if all the roots of ${\Sigma }_1$ are of the same length (types $A_l,$ $D_l,$ $E_6,$ $E_7,$ $E_8\text{),}$ two variables if ${\Sigma }_1$ is of type $B_l,$ $C_l,$ $F_4$ or $G_2,$ and three variables in the case of $B{C}_l\text{.}$

Since $K=\bigcup _{w\in W_0}BwB,$ we have $$\begin{array}{cc}\text{(3.1.9)}& (K:B)=\sum _{w\in W_0}q\left(w\right)=Q\left(q\right)\hspace{0.17em}\text{say.}\end{array}$$

Haar measures

If $\Gamma$ is any locally compact topological group, the modulus function ${\Delta }_{\Gamma }$ (see e.g. [Die1967], Chapter XIV) is a continuous homomorphism of $\Gamma$ into the multiplicative group of positive real numbers, and therefore is equal to 1 on any compact subgroup of $\Gamma \text{.}$

In the case of our group $G,$ it follows (using (2.7.3)) from this remark that the kernel of ${\Delta }_G$ contains all parahoric subgroups and hence is the whole of $G\text{:}$ in other words, $G$ is unimodular. So are $K$ and $U_{\alpha },$ because they are compact ((2.7.3) and (2.7.4)); so also are $U_{\left(a\right)}$ and $U^{\pm },$ because they are unions of compact subgroups. Finally, the group $Z$ is unimodular, for it has $H$ as a compact normal subgroup with $Z/H$ discrete, by (2.7.1).

On the other hand, the groups $B_0^{\pm }=Z{U}^{\pm }$ are not in general unimodular.

We fix Haar measures $dg,$ $dk,$ $dz,$ $d{u}_a$ on $G,$ $K,$ $Z,$ $U_{\left(a\right)}$ $(a\in {\Sigma }_0)$ respectively, such that $${\int }_{H}dg={\int }_{K}dk={\int }_{H}dz={\int }_{U_a}d{u}_a=1\text{.}$$

Next, consider the group $U^{+}\text{.}$ Arrange the positive roots in a sequence $a_1,\dots ,a_n$ such that height $\left(a_i\right)\le$ height $\left(a_j\right)$ if $i<j\text{.}$ Then, as we ought to have proved in (2.6), the group $$U_j=\prod _{i\ge j}{U}_{\left(a_i\right)}$$ is a normal subgroup of $U^{+}$ for $j=1,2,\dots ,n,$ and $U_j$ is the semi-direct product of $U_{\left(a_j\right)}$ and $U_{j+1}\text{.}$ Hence if $d{u}_{j+1}$ is a Haar measure on $U_{j+1},$ it follows that $d{u}_j=d{u}_{a_j}d{u}_{j+1}$ is a Haar measure on $U_j\text{.}$ Consequently $$\begin{array}{cc}\text{(3.2.1)}& d{u}^{+}=\prod _{i=1}^{n}d{u}_{a_i},\end{array}$$ where $u^{+}=\prod _{i=1}^n{u}_{a_i},$ is a Haar measure on $U_1=U^{+},$ for which the subgroup $U_{\left(C_0\right)}=\prod _{i=1}^n{U}_{a_i}$ has measure 1.

The left and right Haar measures on $B_0^{+}=Z{U}^{+}$ are then $$\begin{array}{ccc}{d}_l\left(z{u}^{+}\right)& =& dzd{u}^{+},\\ d_r\left(z{u}^{+}\right)& =& d\left(z{u}^{+}{z}^{-1}\right)dz=\Delta \left(z\right)dzd{u}^{+}\end{array}$$ where $\Delta$ is a continuous homomorphism of $Z$ into the multiplicative group ${ℝ}_{+}^{*}$ of positive real numbers, defined by $$\Delta \left(z\right)=d\left(z{u}^{+}{z}^{-1}\right)/d{u}^{+}\text{.}$$

For any integrable function on $G$ we have $${\int }_{G}f\left(g\right)dg={\int }_K{\int }_{Z{U}^{+}}f\left(zk{u}^{+}\right)dk{d}_r\left(z{u}^{+}\right)$$ or symbolically $$\begin{array}{cc}\text{(3.2.2)}& dg=\Delta \left(z\right)dkdzd{u}^{+}\text{.}\end{array}$$

Since $Z$ normalizes each $U_{\left(a\right)}$ we have homomorphisms ${\Delta }_{\left(a\right)}:Z\to {ℝ}_{+}^{*}$ defined by $${\Delta }_a\left(z\right)=d\left(z{u}_a{z}^{-1}\right)/d{u}_a\text{.}$$ $\Delta$ and ${\Delta }_a$ are trivial on $H,$ hence induce homomorphisms $\delta ,$ ${\delta }_a:T\to {ℝ}_{+}^{*}$ such that $\Delta =\delta \circ \nu ,$ ${\Delta }_a={\delta }_a\circ \nu \text{.}$

From (3.2.1) we have immediately $$\begin{array}{cc}\text{(3.2.3)}& \Delta \left(z\right)=\prod _{a\in {\Sigma }_0^{+}}{\Delta }_a\left(z\right)\text{.}\end{array}$$

Also the value of ${\Delta }_a\left(z\right)$ is given by

Let $a\in {\Sigma }_0,$ $z\in Z,$ $t=\nu \left(z\right)\in T\text{.}$ Then $${\Delta }_a\left(z\right)={\delta }_a\left(t\right)=q_{a/2}^{\frac{1}{2}a\left(x\right)}{q}_a^{a\left(x\right)}$$ where $x=t\left(0\right)\text{.}$ If $a\left(x\right)\ge 0$ then ${\delta }_a\left(t\right)$ is a positive integer.

		Proof.
	Since $t\left(a\right)=a\circ t^{-1}=a-a\left(x\right)$ we have $z{U}_a{z}^{-1}=U_{a-a\left(x\right)}$ and hence $$\begin{array}{ccc}{\Delta }_a\left(z\right)& =& (z{U}_a{z}^{-1}:U_a)\\ & =& (U_{a-a\left(x\right)}:U_a)\\ & =& q_{a/2}^{[r/2]}{q}_a^r\end{array}$$ by (3.1.5), where $r=a\left(x\right)\text{.}$ Now $x$ belongs to the lattice spanned by the $b^{\vee }$ $(b\in {\Sigma }_0)\text{.}$ If $q_{a/2}\ne 1,$ that is if $\frac{1}{2}a\in {\Sigma }_1,$ then $\frac{1}{2}a\left(x\right)\in \mathbb{Z}$ by (3.1.4) and therefore $r$ is an even integer, i.e. $[r/2]=\frac{1}{2}a\left(x\right)\text{.}$ $\square$

$$\Delta \left(z\right)=\delta \left(t\right)=\prod _{b\in {\Sigma }_1^{+}}{q}_b^{b\left(x\right)}\text{.}$$

		Proof.
	(3.2.3), (3.2.4). $\square$

If $w\in W_0$ and $n\in {\nu }^{-1}\left(w\right),$ then $${\Delta }_{wa}\left(nz{n}^{-1}\right)={\Delta }_a\left(z\right),{\delta }_{wa}\left(wt{w}^{-1}\right)={\delta }_a\left(t\right)$$ $\text{(}z\in Z,$ $t\in T\text{).}$

For $q_{wb}=q_b$ $(b\in {\Sigma }_1)\text{.}$

Let $a\in {\Pi }_0\text{.}$ Then $$\delta \left(t_a\right)={\delta }_a\left(t_a\right)=q_{a/2}{q}_a^2\text{.}$$

		Proof.
	Consider the product $\prod _b{\delta }_b\left(t_a\right)$ extended over the roots $b\in {\Sigma }_0^{+},$ $b\ne a\text{.}$ Since $w_a$ permutes this set of roots, we have $$\prod _b{\delta }_b\left(t_a\right)=\prod _b{\delta }_{w_{a}b}\left(t_a\right)=\prod _b{\delta }_b\left(t_a^{-1}\right)$$ by (3.2.6), so that $\prod _b{\delta }_b\left(t_a\right)=1\text{.}$ Hence $\delta \left(t_a\right)={\delta }_a\left(t_a\right),$ and ${\delta }_a\left(t_a\right)=q_{a/2}{q}_a^2$ by (3.2.4), since $t_a\left(0\right)=a^{\vee }\text{.}$ $\square$

Let $t\in T^{++},$ $w\in W_0\text{.}$ Then $${\delta \left(t\right)}^{\frac{1}{2}}/{\delta \left(wt{w}^{-1}\right)}^{\frac{1}{2}}$$ is a positive integer.

		Proof.
	First consider the case where $w=w_a$ $(a\in {\Pi }_0),$ and let $t$ be any element of $T\text{.}$ Put $x=t\left(0\right)\text{.}$ Then $\left(w_{a}t{w}_a\right)\left(0\right)=w_a\left(x\right)=x-a\left(x\right)a^{\vee }$ so that $w_{a}t{w}_a=t·t_a^{-a\left(x\right)}$ and therefore $$\begin{array}{cc}\text{(3.2.9)}& \begin{array}{ccc}\delta \left(t\right)/\delta \left(w_{a}t{w}_a\right)& =& \delta {\left(t_a\right)}^{a\left(x\right)}\\ & =& q_{a/2}^{a\left(x\right)}{q}_a^{2a\left(x\right)}\text{by (3.2.7)}\\ & =& {\delta }_a{\left(t\right)}^2\end{array}\end{array}$$ Hence $\delta {\left(t\right)}^{\frac{1}{2}}/\delta {\left(w_{a}t{w}_a\right)}^{\frac{1}{2}}$ is a positive integer, by (3.2.4), provided that $a\left(x\right)\ge 0\text{.}$ Now let $t\in T^{++}$ and let $w$ be any element of $W_0\text{.}$ Let $w=w_{a_r}\cdots w_{a_1}$ be a reduced word for $w,$ where $a_i\in {\Pi }_0$ $(1\le i\le r)\text{.}$ Put $t_i=w_{a_i}\cdots w_{a_1}t{w}_{a_1}\cdots w_{a_i}$ and put $x_i=t_i\left(0\right)=w_{a_i}\cdots w_{a_1}\left(x\right)$ where $x=t\left(0\right)\text{.}$ Then $$a_{i+1}\left(x_i\right)=\left(w_{a_1}\cdots w_{a_i}{a}_{i+1}\right)\left(x\right)\ge 0$$ because $w_{a_1}\cdots w_{a_i}{a}_{i+1}$ is a positive root (it is one of the positive roots which is negative on $w^{-1}{C}_0,$ see (2.1)) and $x\in {\bar{C}}_0\text{.}$ Hence from the first part of the proof we have $\delta {\left(t_i\right)}^{\frac{1}{2}}/\delta {\left(t_{i+1}\right)}^{\frac{1}{2}}\in \mathbb{Z}$ and therefore $\delta {\left(t\right)}^{\frac{1}{2}}/\delta {\left(wt{w}^{-1}\right)}^{\frac{1}{2}}=\delta {\left(t_0\right)}^{\frac{1}{2}}/\delta {\left(t_r\right)}^{\frac{1}{2}}\in \mathbb{Z}\text{.}$ $\square$

For the group $U^{-}$ we have analogously $$\begin{array}{cc}\text{(3.2.1')}& d{u}^{-}=\prod _{i=1}^{n}d{u}_{-a_i}\end{array}$$ and the right Haar measure on $B_0^{-}=Z{U}^{-}$ is $d_r\left(z{u}^{-}\right)=\Delta \prime \left(z\right)dzd{u}^{-},$ where $\Delta \prime \left(z\right)=d\left(z{u}^{-}{z}^{-1}\right)/d{u}^{-}=\prod {\Delta }_a\left(z\right)$ over the negative roots. By (3.2.3) and (3.2.4) this is equal to $\Delta {\left(z\right)}^{-1}\text{.}$ Hence $$\begin{array}{cc}\text{(3.2.10)}& d_r\left(z{u}^{-}\right)=\Delta {\left(z\right)}^{-1}dzd{u}^{-}\end{array}$$ and $$\begin{array}{cc}\text{(3.2.2')}& dg=\Delta {\left(z\right)}^{-1}dkdzd{u}^{-}\text{.}\end{array}$$

In the case of a Chevalley group (2.5) all the $q_a$ are equal to $q,$ the number of elements in the residue field, and all the $q_{a/2}$ are equal to 1, so that ${\Sigma }_1={\Sigma }_0\text{.}$ So in this case we have $$\delta {\left(t\right)}^{\frac{1}{2}}=q^{r\left(t\left(0\right)\right)}$$ where $r=\frac{1}{2}\sum _{a\in {\Sigma }_0^{+}}a\text{.}$

We shall need later the value of the index $v_t=(KtK:K),$ where $t\in T^{++}\text{.}$ The computation fits in conveniently here.

Let $C\prime$ be any chamber of $\Sigma$ and let $B\prime =P_{\left(C\prime \right)}$ be the corresponding Iwahori subgroup. Then $$(B\prime tB\prime :B\prime )=\delta \left(t\right)$$ for all $t\in T^{++}\text{.}$

		Proof.
	By (2.6.4) we have $B\prime =U_{\left(C\prime \right)}^{-}H{H}_{\left(C\prime \right)}^{+}\text{.}$ If $\alpha =-a+r$ is positive on $C\prime ,$ where $a\in {\Sigma }_0^{+},$ then $t\alpha =-a+r+a\left(t\left(0\right)\right)$ is also positive on $C\prime ,$ because $a\left(t\left(0\right)\right)\ge 0\text{.}$ Hence $t{U}_{\left(C\prime \right)}^{-}{t}^{-1}\subset B\prime$ and therefore $B\prime tB\prime =B\prime t{U}_{\left(C\prime \right)}^{+}\text{.}$ Consequently $$\begin{array}{ccc}(B\prime tB\prime :B\prime )& =& (B\prime t{U}_{\left(C\prime \right)}^{+}{t}^{-1}:B\prime )\\ & =& (t{U}_{\left(C\prime \right)}^{+}{t}^{-1}:B\prime \cap t{U}_{\left(C\prime \right)}^{+}{t}^{-1})\\ & =& (t{U}_{\left(C\prime \right)}^{+}{t}^{-1}:U_{\left(C\prime \right)}^{+})\text{by (2.6.5)}\\ & =& \delta \left(t\right)\text{.}\end{array}$$ $\square$

Let $t\in T^{++}\text{.}$ Then $$q\left(wt{w}^{-1}\right)=\delta \left(t\right)$$ for all $w\in W_0\text{.}$

		Proof.
	$$q\left(wt{w}^{-1}\right)=(Bwt{w}^{-1}B:B)=(B\prime tB\prime :B\prime )$$ where $B\prime =w^{-1}Bw\text{.}$ $\square$

Let $t\in T^{++}$ and let $W_{0t}$ be the centralizer of $t$ in $W_0,$ or equivalently the subgroup of $W_0$ which fixes the point $t\left(0\right)\in A\text{.}$ Put $$\begin{array}{cc}\text{(3.2.14)}& Q_t\left(\xi \right)=\sum _{w\in W_{0t}}\xi \left(w\right)\end{array}$$ in the notation of (3.1), and let $$Q^t\left(\xi \right)=Q\left(\xi \right)/Q_t\left(\xi \right)$$ which is also a polynomial.

$v_t=(KtK:K)=\delta \left(t\right)Q^t\left(q^{-1}\right)$ for all $t\in T^{++}\text{.}$

		Proof.
	By (2.3.5) we have $KtK=B{W}_{0}t{W}_{0}B,$ which is the disjoint union of the sets $B{t}_1{W}_{0}B$ as $t_1$ runs through the set $\{wt{w}^{-1}:w\in W_0\}\text{.}$ For each such $t_1$ there exists a unique $w_1\in W_0$ such that $t_1^{-1}C\subset w_1{C}_0,$ i.e., $C\subset t_1{w}_1{C}_0\text{.}$ Thus we have $$\begin{array}{ccc}(B{t}_1{W}_{0}B:B)& =& \sum _{w\in W_0}(B{t}_1{w}_{1}wB:B)\\ & =& \sum _{w\in W_0}q\left(t_1{w}_{1}w\right)\text{.}\end{array}$$ Now by (2.2.2) and (3.1.7) we have $q\left(t_1{w}_{1}w\right)=q\left(t_1{w}_1\right)·q\left(w\right)\text{.}$ In particular, taking $w=w_1^{-1},$ it follows that $$q\left(t_1{w}_1\right)=q\left(t_1\right)·q{\left(w_1\right)}^{-1}$$ and therefore $$(B{t}_1{W}_{0}B:B)=\sum _{w\in W_0}q\left(t_1\right)·q{\left(w_1\right)}^{-1}q\left(w\right)$$ or, making use of (3.2.12), $$\begin{array}{cc}\text{(3.2.16)}& (B{t}_1{W}_{0}B:B)=\delta \left(t\right)q{\left(w_1\right)}^{-1}Q\left(q\right)\text{.}\end{array}$$ Now the subgroup $W_{0t}$ of $W_0$ has a unique set $W_0^t$ of left coset representatives with the property that $$w^t\in W_0^t\text{and}{w}_t\in W_{0t}\Rightarrow l\left(w^t{w}_t\right)=l\left(w^t\right)+l\left(w_t\right)\text{.}$$ Let $w_0$ be the unique element of $W_0$ of maximum length, and let $w_{0t}$ be the unique element of maximum length in $W_{0t}\text{.}$ Then, with $w_1$ as above, we have $w_1{w}_0{w}_{0t}\in W_0^t\text{.}$ Proof. We have $t_1=wt{w}^{-1}$ and we may assume that $w\in W_0^t\text{.}$ Since $w{t}^{-1}{w}^{-1}C\subset w_1{C}_0,$ we have $w{t}^{-1}\left(0\right)\in w_1{\bar{C}}_0,$ hence $w_1^{-1}w{t}^{-1}\left(0\right)\in {\bar{C}}_0\text{;}$ but also $w_0{t}^{-1}\left(0\right)\in {\bar{C}}_0,$ because $t\in T^{++}\text{.}$ Hence $w_1^{-1}w$ and $w_0$ both map $t^{-1}\left(0\right)$ to the same point, because ${\bar{C}}_0$ is a fundamental domain for $W_0\text{.}$ It follows that $w_0{w}_1^{-1}w$ belongs to $W_{0t}\text{.}$ We want to show that it is equal to $w_{0t},$ i.e. that it changes the sign of every $a\in {\Sigma }_0^{+}$ such that $a\left(t\left(0\right)\right)=0\text{.}$ So let $a>0,$ $a\left(t\left(0\right)\right)=0$ and let $y\in C\text{.}$ Then $z=w_1^{-1}{t}_1^{-1}y\in C_0\text{.}$ We have $$\begin{array}{ccc}{w}_1^{-1}wa\left(z\right)=a\left(t^{-1}{w}^{-1}y\right)& =& a(w^{-1}y-t\left(0\right))\\ & =& wa\left(y\right)\text{because}\hspace{0.17em}a\left(t\left(0\right)\right)=0\end{array}$$ and since $w\in W_0^t$ we have $wa>0,$ hence $wa\left(y\right)>0\text{.}$ Hence $w_1^{-1}wa>0$ and therefore $w_0{w}_1^{-1}wa<0,$ as required. $\square$ So we have $$w_1{w}_0=w^t{w}_{0t}$$ for some $w^t\in W_0^t\text{.}$ Since $$\begin{array}{ccc}l\left(w^t{w}_{0t}\right)& =& l\left(w^t\right)+l\left(w_{0t}\right),\\ l\left(w_1{w}_0\right)& =& l\left(w_0\right)-l\left(w_1\right)\end{array}$$ it follows that $$q\left(w^t\right)q\left(w_{0t}\right)=q\left(w_0\right)q{\left(w_1\right)}^{-1}$$ and therefore $$\begin{array}{cc}\text{(3.2.18)}& \begin{array}{ccc}\sum q{\left(w_1\right)}^{-1}& =& \frac{q\left(w_{0t}\right)}{q\left(w_0\right)}\sum q\left(w^t\right)\\ & =& Q^t\left(q^{-1}\right)\text{.}\end{array}\end{array}$$ Hence finally $$\begin{array}{ccc}(KtK:K)& =& {(K:B)}^{-1}\sum _{w\in W_0^t}(Bwt{w}^{-1}{W}_{0}B:B)\\ & =& Q{\left(q\right)}^{-1}\sum \delta \left(t\right)q{\left(w_1\right)}^{-1}Q\left(q\right)\text{by (3.2.16)}\\ & =& \delta \left(t\right)Q^t\left(q^{-1}\right)\text{by (3.2.18).}\end{array}$$ $\square$

Zonal spherical functions on $G$ relative to $K$

Let $ℒ(G,K)$ be the algebra of $K\text{-bi-invariant}$ functions on $G$ defined in (1.1), and let $\mathscr{H}(G,K)$ be the subring consisting of the $\mathbb{Z}\text{-valued}$ functions in $ℒ(G,K)\text{.}$ $\mathscr{H}(G,K)$ is called the Hecke ring of $G$ relative to $K\text{.}$ Clearly $ℒ(G,K)\cong \mathscr{H}(G,K){\otimes }_{\mathbb{Z}}ℂ\text{.}$

For each $t\in T^{++}$ let ${\chi }_t$ be the characteristic function of the double coset $KtK\text{.}$ By (1.1.1) and (2.6.11) the ${\chi }_t$ form a $\mathbb{Z}\text{-basis}$ of $\mathscr{H}(G,K)$ and a $ℂ\text{-basis}$ of $ℒ(G,K)\text{.}$ The identity element is ${\chi }_1,$ the characteristic function of $K\text{.}$

Let $s:T\to {ℂ}^{*}$ be a homomorphism. Then $\left(s{\delta }^{\frac{1}{2}}\right)\circ \nu$ is a continuous homomorphism of $Z$ into ${ℂ}^{*},$ which we extend trivially across $U^{-}$ to a continuous homomorphism ${\varphi }_s:B_0^{-}\to {ℂ}^{*}\text{:}$ $${\varphi }_s\left(z{u}^{-}\right)=(s{\delta }^{\frac{1}{2}},\nu \left(z\right))\text{.}$$ [To avoid large collections of brackets, we shall sometimes write $(s,t)$ for $s\left(t\right),$ where $s\in \text{Hom}(T,{ℂ}^{*})$ and $t\in T\text{.]}$ Now extend ${\varphi }_s$ to a function on the whole of $G$ by the rule $${\varphi }_s\left(kz{u}^{-}\right)=(s{\delta }^{\frac{1}{2}},\nu \left(z\right))$$ $\text{(}k\in K,$ $z\in Z,$ $u^{-}\in U^{-}\text{).}$

For each $s\in \text{Hom}(T,{ℂ}^{*})$ the function $${\omega }_s\left(g\right)={\int }_K{\varphi }_s\left(g^{-1}k\right)dk$$ is a zonal spherical function on $G$ relative to $K\text{.}$ Moreover, if $s$ is a character of $T,$ i.e. if $\left|s\left(t\right)\right|=1$ for all $t\in T,$ then ${\omega }_s$ is positive definite.

		Proof.
	This is a direct consequence of the results of Chapter I. Since $K\cap B_0^{-}\subset H{U}^{-}$ (see the proof of (2.6.11)(2)) it follows that ${\varphi }_s$ restricted to $B_0^{-}$ is trivial on $K\cap B_0^{-}$ and hence (1.2.7) is a zonal spherical function on $B_0^{-}$ relative to $K\cap B_0^{-}\text{.}$ Hence ${\omega }_s$ is a z.s.f. on $G$ relative to $K,$ by (1.3.2). The second assertion follows from (1.4.7) and (3.2.10). $\square$

For all $g_0\in G$ and $s\in \text{Hom}(T,{ℂ}^{*}),$ $${\omega }_{s^{-1}}\left(g_0\right)={\omega }_s\left(g_0^{-1}\right)\text{.}$$

		Proof.
	Let $\bar{K}=K/(K\cap B_0^{-})$ and let $d\bar{k}$ be a relatively invariant measure on $\bar{K}$ with total mass $1\text{.}$ If $g_0^{-1}k=k\prime z{u}^{-}$ $\text{(}k\prime \in K,$ $z\in Z,$ $u^{-}\in U^{-}\text{)}$ then as in (1.4.6) we have $d\bar{k}=\Delta {\left(z\right)}^{-1}d\bar{k}\prime ,$ and hence $$\begin{array}{ccc}{\omega }_{s^{-1}}\left(g_0\right)& =& {\int }_{\bar{K}}{\varphi }_{s^{-1}}\left(g_0^{-1}k\right)d\bar{k}\\ & =& {\int }_{\bar{K}}(s^{-1}{\delta }^{\frac{1}{2}},\nu \left(z\right))\Delta {\left(z\right)}^{-1}d\bar{k}\prime \\ & =& {\int }_{\bar{K}}(s{\delta }^{\frac{1}{2}},\nu \left(z^{-1}\right))d\bar{k}\prime \\ & =& {\int }_{\bar{K}}{\varphi }_s\left(g_{0}k\prime \right)d\bar{k}\prime ={\omega }_s\left(g_0^{-1}\right)\text{.}\end{array}$$ $\square$

The group $W_0$ acts on $T$ by inner automorphisms, hence acts on $\text{Hom}(T,{ℂ}^{*})\text{:}$ namely $$(ws,t)=(s,w^{-1}tw)$$ $\text{(}s\in \text{Hom}(T,{ℂ}^{*}),$ $t\in T,$ $w\in W_0\text{).}$

For all $w\in W_0$ and $s\in \text{Hom}(T,{ℂ}^{*}),$ $${\omega }_s={\omega }_{ws}\text{.}$$

This result is a consequence of the calculations we shall undertake in Chapter IV, and we shall postpone its proof to (4.5). The reader can check that there is no vicious circle involved here.

Now let $f\in ℒ(G,K)\text{.}$ Then if ${\hat{\omega }}_s$ is the spherical measure associated with ${\omega }_s,$ $$\begin{array}{ccc}{\hat{\omega }}_s\left(f\right)& =& (f*{\omega }_s)\left(1\right)\\ & =& {\int }_{G}f\left(g\right){\omega }_s\left(g^{-1}\right)dg\\ & =& {\int }_{G}f\left(g\right)\left({\int }_K{\varphi }_s\left(gk\right)dk\right)dg\\ & =& {\int }_{G}f\left(g\right){\varphi }_s\left(g\right)dg\\ & =& {\int }_K{\int }_Z{\int }_{U^{-}}f\left(kz{u}^{-}\right)(s{\delta }^{\frac{1}{2}},\nu \left(z\right))\Delta {\left(z\right)}^{-1}dkdzd{u}^{-}\\ & =& {\int }_Z(s{\delta }^{-\frac{1}{2}},\nu \left(z\right))\left({\int }_{U^{-}}f\left(z{u}^{-}\right)d{u}^{-}\right)dz\text{.}\end{array}$$

The integral $\Delta {\left(z\right)}^{-\frac{1}{2}}{\int }_{U^{-}}f\left(z{u}^{-}\right)d{u}^{-}$ depends only on $f$ and $\nu \left(z\right)=t$ say. We shall therefore write $$\stackrel{\sim }{f}\left(t\right)=\delta {\left(t\right)}^{-\frac{1}{2}}{\int }_{U^{-}}f\left(z{u}^{-}\right)d{u}^{-}$$ for $t\in T$ and any $z\in {\nu }^{-1}\left(t\right)\text{.}$ Then the calculation above shows that $$\begin{array}{cc}\text{(3.3.4)}& {\hat{\omega }}_s\left(f\right)=\sum _{t\in T}\stackrel{\sim }{f}\left(t\right)s\left(t\right)\text{.}\end{array}$$

The $\stackrel{\sim }{f}\left(t\right)$ should be regarded as the Fourier coefficients of $f\in ℒ(G,K)\text{.}$ There are no convergence difficulties here: since $f$ has compact support and the double cosets $Kt{U}^{-}$ are open (because $K$ is open) and mutually disjoint, it follows that $f$ takes non-zero values on only finitely many of these double cosets, i.e. $\stackrel{\sim }{f}$ has finite support in $T\text{.}$

Let $ℂ\left[T\right]$ be the group algebra of $T$ over $ℂ\text{.}$ Since $T$ is a free abelian group generated by the $t_a$ with $a\in {\Pi }_0,$ it follows that $ℂ\left[T\right]=ℂ[t_a^{\pm 1}:a\in {\Pi }_0],$ hence is a commutative integral domain. Consequently $ℂ\left[T\right]$ is the coordinate ring (or affine algebra) of an affine algebraic variety, say $S,$ whose points are the $ℂ\text{-algebra}$ homomorphisms $s:ℂ\left[T\right]\to ℂ\text{.}$ Restricting these homomorphisms to $T$ gives a bisection of $S$ onto $\text{Hom}(T,{ℂ}^{*}),$ and we shall identify $\text{Hom}(T,{ℂ}^{*})$ with $S$ in this way. The elements of $ℂ\left[T\right]$ can therefore be regarded as functions on $S=\text{Hom}(T,{ℂ}^{*})\text{.}$ Hence, by the Nullstellensatz, if $\varphi \in ℂ\left[T\right],$ $$\begin{array}{cc}\text{(3.3.5)}& \varphi =0\iff s\left(\varphi \right)=0\text{for all}\hspace{0.17em}s\in S\text{.}\end{array}$$

We regard the affine Weyl group $W$ as a discrete group. Then, in the notation of (1.1), $ℒ\left(T\right)$ is the algebra of functions on $T$ with finite support. The mapping $$\varphi ⟼\sum _{t\in T}\varphi \left(t\right)t$$ is a $ℂ\text{-algebra}$ isomorphism of $ℒ\left(T\right)$ onto $ℂ\left[T\right]\text{.}$ Hence $s\in S$ defines a homomorphism $ℒ\left(T\right)\to ℂ,$ namely $$s\left(\varphi \right)=\sum _{t\in T}\varphi \left(t\right)s\left(t\right)\text{.}$$ The formula (3.3.4) now takes the form $$\begin{array}{cc}\text{(3.3.4')}& {\hat{\omega }}_s\left(f\right)=s\left(\stackrel{\sim }{f}\right)\text{.}\end{array}$$

The group $W_0$ acts on $ℒ\left(T\right)$ by transposition: $\left(w\varphi \right)\left(t\right)=\varphi \left(w^{-1}tw\right)$ $\text{(}\varphi \in ℒ\left(T\right),$ $t\in T,$ $w\in W_0\text{).}$ Let ${ℒ\left(T\right)}^{w_0}$ denote the subring of $W_0\text{-invariant}$ functions in $ℒ\left(T\right)\text{.}$ Then we have

The mapping $f\mapsto \stackrel{\sim }{f}$ is a $ℂ\text{-algebra}$ isomorphism of $ℒ(G,K)$ onto ${ℒ\left(T\right)}^{w_0}\text{.}$

$ℒ(G,K)$ is commutative.

		Proof.
	First of all, let us see that $\stackrel{\sim }{f}\in ℒ{\left(T\right)}^{W_0}$ whenever $f\in ℒ(G,K)\text{.}$ Let $s\in S,$ $w\in W_0\text{.}$ Then $$s\left(\stackrel{\sim }{f}\right)={\hat{\omega }}_s\left(f\right)={\hat{\omega }}_{ws}\left(f\right)=\left(ws\right)\left(\stackrel{\sim }{f}\right)=s\left(w^{-1}\stackrel{\sim }{f}\right)$$ by (3.3.3) and (3.3.4'). Hence $\stackrel{\sim }{f}=w^{-1}\stackrel{\sim }{f}$ by (3.3.5). Next, let $f_1,f_2\in ℒ(G,K)\text{.}$ Then $$\begin{array}{ccc}s{(f_1*f_2)}^{\sim }={\hat{\omega }}_s(f_1*f_2)={\hat{\omega }}_s\left(f_1\right)·{\hat{\omega }}_s\left(d_2\right)& =& s\left({\stackrel{\sim }{f}}_1\right)·s\left({\stackrel{\sim }{f}}_2\right)\\ & =& s({\stackrel{\sim }{f}}_1*{\stackrel{\sim }{f}}_2)\end{array}$$ by (3.3.4'). Again by (3.3.5) we deduce that ${(f_1*f_2)}^{\sim }={\stackrel{\sim }{f}}_1*{\stackrel{\sim }{f}}_2,$ and hence $f\mapsto \stackrel{\sim }{f}$ is a $ℂ\text{-algebra}$ homomorphism. It remains to show that the mapping $f\mapsto \stackrel{\sim }{f}$ of $ℒ(G,K)$ into $ℒ{\left(T\right)}^{W_0}$ is bijective. Since the characteristic functions ${\chi }_t$ $(t\in T^{++})$ form a $ℂ\text{-basis}$ of $ℒ(G,K),$ it is enough to show that the ${\stackrel{\sim }{\chi }}_t$ form a $ℂ\text{-basis}$ of $ℒ{\left(T\right)}^{W_0}\text{.}$ The last two parts of (2.6.11) were designed expressly for this purpose. For each $t\in T,$ the orbit of $t$ under $W_0$ (acting by inner automorphisms) has a unique representative in $T^{++}\text{.}$ Let $⟨t⟩$ be the characteristic function of the $W_0\text{-orbit}$ of $t\text{.}$ Then these functions $⟨t⟩,$ as $t$ runs through $T^{++},$ form a $ℂ\text{-basis}$ of $ℒ{\left(T\right)}^{W_0}\text{.}$ Hence we can write $$\begin{array}{cc}\text{(3.3.8)}& {\stackrel{\sim }{\chi }}_t=\sum _{t\prime }{\stackrel{\sim }{\chi }}_t\left(t\prime \right)⟨t\prime ⟩\end{array}$$ summed over $t\prime \in T^{++}\text{.}$ We define a total ordering on $T$ as follows. Let ${\Pi }_0=\{a_1,\dots ,a_l\}$ be the set of simple roots of ${\Sigma }_0,$ arranged in some order. For each $t\in T$ we have $t\left(0\right)=\sum _{i=1}^l{m}_i{a}_i^{\vee }$ with $m_i\in \mathbb{Z}\text{.}$ We define $$\begin{array}{cc}\text{(3.3.9)}& \{\begin{array}{c}t\ge 0\iff \text{the first non-zero}\hspace{0.17em}{m}_i\hspace{0.17em}\text{is positive,}\\ t_1\ge t_2\iff t_1{t}_2^{-1}\ge 0\text{.}\end{array}\end{array}$$ In particular, the elements of $T^{+}$ are $\ge 0$ for this ordering. Now if $t\in T^{++}$ and $t\prime \in T$ we have $${\int }_{Kt\prime U^{-}}{\chi }_t\left(g\right)dg={\int }_{U^{-}}{\chi }_t\left(z\prime u^{-}\right)\Delta {\left(z\prime \right)}^{-1}d{u}^{-}$$ for any $z\prime \in {\nu }^{-1}\left(t\prime \right),$ $$=\delta {\left(t\prime \right)}^{-\frac{1}{2}}{\stackrel{\sim }{\chi }}_t\left(t\prime \right)\text{.}$$ Hence we have $$\begin{array}{cc}\text{(3.3.10)}& {\stackrel{\sim }{\chi }}_t\left(t\prime \right)=\delta {\left(t\prime \right)}^{\frac{1}{2}}\text{vol.}(KtK\cap Kt\prime U^{-})\text{.}\end{array}$$ So if ${\stackrel{\sim }{\chi }}_t\left(t\prime \right)\ne 0$ it follows from (2.6.11)(3) that $t{t\prime }^{-1}\in T^{+}$ and hence that $t\ge t\prime \text{.}$ Again, from (2.6.11)(4) we have ${\stackrel{\sim }{\chi }}_t\left(t\right)=\delta {\left(t\right)}^{\frac{1}{2}}\text{.}$ Consequently (3.3.8) now takes the form $$\begin{array}{cc}\text{(3.3.8')}& {\stackrel{\sim }{\chi }}_t=\delta {\left(t\right)}^{\frac{1}{2}}⟨t⟩+\sum _{\genfrac{}{}{0ex}{}{t\prime <t}{t\prime \in T^{++}}}{\stackrel{\sim }{\chi }}_t\left(t\prime \right)⟨t\prime ⟩\end{array}$$ from which it follows immediately (since $\delta \left(t\right)$ is never $0\text{)}$ that the ${\stackrel{\sim }{\chi }}_t$ form a basis of $ℒ{\left(T\right)}^{W_0}\text{.}$ $\square$

(a) Consider the algebra $ℒ(W,W_0)\text{.}$ Restriction of functions to the subgroup $T$ defines an isomorphism $\rho :ℒ(W,W_0)\to ℒ{\left(T\right)}^{W_0}\text{.}$ Hence (3.3.6) provides a canonical isomorphism of $ℒ(G,K)$ onto $ℒ(W,W_0),$ namely $f\mapsto {\rho }^{-1}\left(\stackrel{\sim }{f}\right)\text{.}$ (The emphasis here is on the word 'canonical'.)

(b) If $G$ is a universal Chevalley group (2.5) over a $p\text{-adic}$ field $𝓀,$ there is
a much simpler proof that $ℒ(G,K)$ is commutative. For there exists an
 nvolutory antiautomorphism $i:G\to G$ such that $i\left(u_a\left(\xi \right)\right)=u_{-a}\left(\xi \right)$ for all $a\in {\Sigma }_0$ and $\xi \in 𝓀,$ and $i\left(z\right)=z$ for all $z\in Z\text{.}$ It follows that $i\left(K\right)=K$ and that $i$ preserves Haar measure. Now let $f\in ℒ(G,K)$ and define $f^i=f\circ i\text{.}$ Since $i$
 is an antiautomorphism, we have ${(f_1*f_2)}^i=f_2^i*f_1^i\text{.}$ On the other hand, $i$ preserves all double cosets $KzK$ and therefore $f=f^i$ for all $f\in ℒ(G,K)\text{.}$ Hence $f_1*f_2=f_2*f_1\text{.}$

The same argument will work whenever $G$ has an antiautomorphism $i$ such that $i\left(U_{a+r}\right)=U_{-a+r}$ for all $a\in {\Sigma }_0$ and $r\in \mathbb{Z},$ and $i\left(z\right)\in zH$ for all $z\in Z\text{.}$ This will be the case, for example, whenever the central inversion $w_0:x\mapsto -x$ is in the Weyl group $W_0\text{.}$ For then we may take $i\left(g\right)=n_0{g}^{-1}{n}_0^{-1},$ where $n_0\in {\nu }^{-1}\left(w_0\right)\text{.}$

(c)From (3.3.8') it follows that the image of $\mathscr{H}(G,K)$ in $ℒ{\left(T\right)}^{W_0}$ under
 $f\mapsto \stackrel{\sim }{f}$ is the $\mathbb{Z}\text{-module}$ spanned by the elements $\delta {\left(t\right)}^{\frac{1}{2}}⟨t⟩$ with $t\in T^{++}$
(because $\delta {\left(t\prime \right)}^{-\frac{1}{2}}{\stackrel{\sim }{\chi }}_t\left(t\prime \right)\in \mathbb{Z}$ by (3.3.10)). If ${\Sigma }_0={\Sigma }_1,$ then $\delta {\left(t\right)}^{\frac{1}{2}}\in \mathbb{Z}$ by (3.2.7), hence in this case the isomorphism of $ℒ(G,K)$ onto $ℒ(W,W_0)$ in (a) above
embeds $\mathscr{H}(G,K)$ in $\mathscr{H}(W,W_0),$ the Hecke ring of $W$ relative to $W_0\text{.}$

(1)	Every zonal spherical function $\omega$ on $G$ relative to $K$ is equal to ${\omega }_s$ for some $s\in S=\text{Hom}(T,{ℂ}^{*})\text{.}$
(2)	${\omega }_s={\omega }_{s\prime }\iff s\prime =ws$ for some $w\in W_0\text{.}$

		Proof.
	(1) The mapping $\stackrel{\sim }{f}\mapsto \hat{\omega }\left(f\right)$ is a $ℂ\text{-algebra}$ homomorphism $ℒ{\left(T\right)}^{W_0}\to ℂ,$ which since $ℒ\left(T\right)$ is integral over $ℒ{\left(T\right)}^{W_0}$ can be extended to a homomorphism $ℒ\left(T\right)\to ℂ\text{.}$ This in turn defines by restriction a homomorphism $s:T\to {ℂ}^{*},$ and we have $\hat{\omega }\left(f\right)=s\left(\stackrel{\sim }{f}\right)={\hat{\omega }}_s\left(f\right)$ for $f\in ℒ(G,K)\text{.}$ Hence $\hat{\omega }={\hat{\omega }}_s$ and therefore $\omega ={\omega }_s$ by (1.7). (2) Suppose that ${\omega }_s={\omega }_{s\prime }\text{.}$ Then $s$ and $s\prime$ agree on $ℒ{\left(T\right)}^{W_0},$ by (3.3.4'), and therefore their kernels $m,$ $m\prime ,$ say, are maximal ideals of $ℒ\left(T\right)$ lying over the same maximal ideal of $ℒ{\left(T\right)}^{W_0}\text{.}$ By a well-known theorem of commutative algebra (see for example [AMa1969], Chapter V, Ex. 13) there exists $w\in W_0$ transforming $m$ into $m\prime \text{.}$ Hence $s\prime =ws\text{.}$ $\square$

Since ${ℂ}^{*}\cong ℝ\times (ℝ/\mathbb{Z})$ (the isomorphism being $r{e}^{2\pi i\theta }\mapsto (\text{log}\hspace{0.17em}r,\theta )\text{)}$ we have $S=\text{Hom}(T,{ℂ}^{*})\cong \text{Hom}(T,ℝ)\times \text{Hom}(T,ℝ/\mathbb{Z})\text{.}$ Now $\text{Hom}(T,ℝ)$ can be identified with $A^{*}\text{:}$ if $\lambda \in \text{Hom}(T,ℝ),$ the corresponding element of $A^{*}$ is the linear form which maps $t\left(0\right)$ to $\lambda \left(t\right)$ for all $t\in T\text{.}$ This identification induces an identification of $\text{Hom}(T,ℝ/\mathbb{Z})$ with $A^{*}/L,$ where (as in (2.5)) $L$ is the lattice of linear forms $u$ on $A$ such that $u\left(a^{\vee }\right)\in \mathbb{Z}$ for all $a\in {\Sigma }_0\text{.}$ Hence the space $\Omega$ of z.s.f. may be identified with the orbit space $(A^{*}\times (A^{*}/L))/W_0\text{.}$ Alternatively, $\Omega$ may be identified with $S/W_0,$ the affine algebraic variety whose coordinate ring is $ℒ{\left(T\right)}^{W_0}\cong ℂ{\left[T\right]}^{W_0}\text{.}$

Let $t_1,\dots ,t_m$ be a set of generators of the semigroup $T^{++}\text{.}$ Then $\mathscr{H}(G,K)=\mathbb{Z}[{\chi }_{t_1},\dots ,{\chi }_{t_m}]\text{.}$ (Of course, in general the ${\chi }_{t_i}$ will not be algebraically independent.)

		Proof.
	For each $t\in T^{++}$ let $${\theta }_t=\delta {\left(t\right)}^{\frac{1}{2}}⟨t⟩$$ so that the image of $\mathscr{H}(G,K)$ under $f\mapsto \stackrel{\sim }{f}$ is the $\mathbb{Z}\text{-module}$ freely generated by the ${\theta }_t,$ by (3.3.11)(c). Let $M_t=\sum _{t\prime <t}\mathbb{Z}{\theta }_{t\prime }\text{.}$ From (3.3.8') we have ${\stackrel{\sim }{\chi }}_t\equiv {\theta }_t\hspace{0.17em}\left(\text{mod}\hspace{0.17em}{M}_t\right)\text{.}$ Also $${\theta }_{t_1}*{\theta }_{t_2}\equiv {\theta }_{t_1{t}_2}\hspace{0.17em}\left(\text{mod}\hspace{0.17em}{M}_{t_1{t}_2}\right)\text{.}$$ For ${\theta }_{t_1}*{\theta }_{t_2}-{\theta }_{t_1{t}_2}$ is a sum of terms of the form $$\delta {\left(t_1{t}_2\right)}^{\frac{1}{2}}\delta {\left(t_3\right)}^{-\frac{1}{2}}{\theta }_{t_s}$$ with $t_3=t_1^{\prime }{t}_2^{\prime }\in T^{++}$ and $t_1^{\prime }=w_1{t}_1{w}_1^{-1},$ $t_2^{\prime }=w_2{t}_2{w}_2^{-1}$ $\text{(}{w}_1,w_2\in W_0\text{)}$ and either $t_1^{\prime }\ne t_1$ or $t_2^{\prime }\ne t_2\text{.}$ By (3.2.8) the coefficient $\delta {\left(t_1{t}_2\right)}^{\frac{1}{2}}\delta {\left(t_3\right)}^{-\frac{1}{2}}$ is a rational integer, and we have $t_3<t_1{t}_2\text{.}$ Hence if $t=\prod _{i=1}^m{t}_i^{{\mu }_i}\in T^{++}$ it follows that $${\stackrel{\sim }{\chi }}_t\equiv {\theta }_t\equiv \prod _{i=1}^m{\theta }_{t_i}^{{\mu }_i}\equiv \prod _{i=1}^m{\stackrel{\sim }{\chi }}_{t_i}^{{\mu }_i}\hspace{0.17em}\left(\text{mod}\hspace{0.17em}{M}_t\right)$$ and so, by induction on $t,$ that ${\stackrel{\sim }{\chi }}_t\in \mathbb{Z}[{\stackrel{\sim }{\chi }}_{t_1},\dots ,{\stackrel{\sim }{\chi }}_{t_m}]\text{.}$ Hence ${\chi }_t\in \mathbb{Z}[{\chi }_{t_1},\dots ,{\chi }_{t_m}]\text{.}$ $\square$

Notes and references

This is a typed version of the book Spherical Functions on a Group of $p\text{-adic}$ Type by I. G. Macdonald, Magdalen College, University of Oxford. This book is copyright the University of Madras, Madras 5, India and was first published November 1971.

Published by the Ramanujan Institute, University of Madras, and printed at the Baptist Mission Press, 41A Acharyya Jagadish Bose Road, Calcutta 17, India.

page history