Matrix coefficients of intertwining operators and the Bruhat order

arXiv2105.13075MaRDI QIDQ6368697FDOQ6368697

Publication date: 27 May 2021

Abstract: Let

(p i_{m a t h b f z}, V_{m a t h b f z})

be an unramified principal series representation of a reductive group over a nonarchimedean local field, parametrized by an element

m a t h b f z

of the maximal torus in the Langlands dual group. If

v

is an element of the Weyl group

W

, then the standard intertwining integral

m a t h c a l A_{v}

maps

V_{m a t h b f z}

to

V_{v m a t h b f z}

. Letting

p s i_{w}^{m a t h b f z}

with

w i n W

be a suitable basis of the Iwahori fixed vectors in

V_{m a t h b f z}

, and

w i d e h a t p s i_{w}^{m a t h b f z}

a basis of the contragredient representation, we define

s i g m a (u, v, w)

(for

u, v, w i n W

) to be

l a n g l e m a t h c a l A_{v} p s i_{u}^{m a t h b f z}, w i d e h a t p s i_{w}^{v m a t h b f z} a n g l e

. This is an interesting function and we initiate its study. We show that given

u

and

w

, there is a minimal

v

such that

s i g m a (u, v, w) e q 0

. Denoting this

v

as

v_{h} b o x m i n = v_{h} b o x m i n (u, w)

, we will prove that

s i g m a (u, v_{h} b o x m i n, w)

is a polynomial of the cardinality

q

of the residue field. Indeed if

v > v_{h} b o x m i n

, then

s i g m a (u, v, w)

is a rational function of

m a t h b f z

and

q

, whose denominator we describe. But if

v = v_{h} b o x m i n

, the dependence on

m a t h b f z

disappears. We will express

s i g m a (u, v_{h} b o x m i n, w)

as the Poincar'e polynomial of a Bruhat interval. The proof leads to fairly intricate considerations of the Bruhat order. Thus our results require us to prove some facts that may be of independent interest, relating the Bruhat order

l e q s l a n t

and the weak Bruhat order

l e q s l a n t_{R}

. For example we will prove (for finite Coxeter groups) the following "mixed meet" property. If

u, w

are elements of

W

, then there exists a unique element

m i n W

that is maximal with respect to the condition that

m l e q s l a n t_{R} u

and

m l e q s l a n t w

. Thus if

z l e q s l a n t_{R} u

and

z l e q s l a n t w

, then

x l e q s l a n t m

. The value

v_{h} b o x m i n

is

m^{- 1} u

.

Mathematics Subject Classification ID

Reflection and Coxeter groups (group-theoretic aspects) (20F55) Hecke algebras and their representations (20C08) Representations of Lie and linear algebraic groups over local fields (22E50)

This page was built for publication: Matrix coefficients of intertwining operators and the Bruhat order

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6368697)