1
$\begingroup$

Let $G$ be a reductive group over a local non-archimedean field $F$, and let $B$ a Borel subgroup. For my purposes, the case $G = GL_2(\mathbb{Q}_p)$ will be sufficient with $B$ upper triangular characters

Let $\Delta_B$ be the modulus-character of Borel subgroup $B(F)$. We define $$ H (bk) = \Delta_B(b), \qquad b \in B(F), \; k \in G(\mathfrak{o}).$$

Let $I$ be the Iwahori, how can we compute for $w \in G(F)$ the value $$ \int\limits_{I} \int\limits_{I} H(i_1 w i_2) d i_1 d i_2 = \int\limits_{I} H(i_1 w) d i_1 $$ or the value $$ \int\limits_{G(o)} \int\limits_{G(o)} H(k_1 w k_2) d k_1 d k_2 = \int\limits_{G(o)} H(k_1 w) d k_1 ?$$

In the case $GL(2)$, there is the Iwahori decomposition, which becomes probably useful to compute this integral. Is this perhaps related to the constant $D$, which turns up in front of the constant term/Abel transform ($D=$determinant of $ad( Lie(G)) -1$ acting on $Lie(G)/Lie(T)$)?

Similar things can be asked for reductive Lie groups with the maximal compact subgroup instead $G(o)$. What is the answer there?

$\endgroup$

1 Answer 1

2
$\begingroup$

Yes, thinking of the Iwahori decomposition (as a refined sort of p-adic Cartan decomposition), $GL_n=\bigcup_w I\cdot w\cdot I$ for $w$ in the affine Weyl group, here "monomial" matrices modulo diagonal units-entry matrices. At least for $GL_n$, it is easy to see the semi-direct product decomposition of affine Weyl group into spherical Weyl group (here essentially permutations). Since the integrand is right $K$ (=$GL_n(\mathfrak o)$)-invariant, the spherical Weyl group can be pulled through out. Thus, the most general integrand is $H(i_1w_1\cdot a\cdot w_2 i_2)$ with $i_j\in I$ and $w_j$ in the spherical Weyl group, and $a$ in the diagonal torus $A$. The $w_1$ conjugates across $a$, and after integrating on the right over $I$, the most general case that need be considered is the integral of $H(i_1 a w)$ with $w$ in the spherical Weyl group. Of course, when the integrals are over $K$, the $w$ on the right goes away, too.

After this simplification, to actually compute the thing for $GL_2$ is not hard, even with an arbitrary unramified character on $B$, by literally determining (most of) the p-adic Iwasawa decomposition: given $g=\pmatrix{a & b \cr c & d}$, if ${\rm ord}\, c\le {\rm ord}\, d$, right multiply by $\pmatrix{1 & 0 \cr -c/d & 1}\in K$ to make the thing upper-triangular. In the opposite case, right multiplication by $\pmatrix{0 & 1 \cr -1 & -d/c}$ makes the thing upper-upper-triangular. Summing a geometric series and doing some easy (but frangible) algebra gives the outcome, which I'll not attempt to reproduce (unless perhaps my attempted prescription is unclear).

Probably this is how the question arose, anyway, but it might be worth mentioning that these integrals arise in one presentation of p-adic zonal spherical functions. MacDonald's name comes to mind.

In various contexts, especially in the archimedean case, this map (or conceivably an inverse, from spherical functions to principal series) might also be called an Abel or Harish-Chandra or Selberg or someone-else transform. (All such names appear for good reason, even if we may wonder why some of these people were not paying more attention to what the others were doing or had done.)

In the archimedean case, the indicated determinant certainly appears at least as a change-of-variables measure constant, but I do not know offhand whether thinking in these terms is as useful in the p-adic case.

$\endgroup$
3
  • $\begingroup$ What is the spherical weyl group? $\endgroup$
    – mnr
    Aug 11, 2012 at 17:51
  • 1
    $\begingroup$ Depending on context, one may say "spherical" Weyl group for the (more usual?) "Weyl group", to distinguish it from the affine Weyl group in p-adic reductive groups. The latter is an infinite group, discovered by Iwahori and Matsumoto in the early 1960s. $\endgroup$ Aug 11, 2012 at 18:39
  • 1
    $\begingroup$ ... with the choice of adjective "spherical" because the corresponding Coxeter complex's geometric realization is a sphere. The geometric realization of the "affine" Coxeter complex is an affine space. $\endgroup$ Aug 11, 2012 at 18:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.