, , November 27, 2006

Let

G

be a connected reductive group over

R

, and

T

a maximal torus in

G

. Assume that

G

has a discrete series of representations.

Let

A

be the split part of

T

, and

M

the centralizer of

A

G

. It is a Levi subgroup of

G

containing

T

. Let

E

be a finite-dimensional representation of

G (C)

, and consider the packet

Π_{E}

of discrete series representations

π

G (R)

which have the same infinitesimal and central characters as

E

. Write

Θ_{π}

for the character of

π

, and put

Θ^{E} = (- 1)^{q (G)} \sum_{π \in Π_{E}} Θ_{π} .

Here

q (G)

is half the dimension of the symmetric space associated with

G

. Note that

Θ^{E} (γ)

will not extend to all elements

γ \in T (R)

, in particular to

γ = 1

. Define the number

D_{M}^{G} (γ)

D_{M}^{G} (γ) = det (1 - Ad (γ); Lie (G) / Lie (M)) .

Then a result of Arthur and Shelstad [1] states that the function

γ \mapsto | D_{M}^{G} (γ) |^{\frac{1}{2}} Θ^{E} (γ),

defined on the set of regular elements

T_{reg} (R)

extends continuously to

T (R)

. We denote this extension by

Φ_{M} (γ, Θ^{E})

. These quantities give the contribution from the real place to the

L^{2}

-Lefschetz numbers of Hecke operators in [1] and [2]. An expression for

Φ_{M} (γ, Θ^{E})

as essentially a sum over elements in the Weyl group

W

T

G

appears in the proof of Lemma 4.1 in [2]. Although this expression suffices to prove the lemma, it can be considerably refined when

γ

is in the maximal elliptic subtorus

T_{e} (R)

T (R)

The following theorem is proved in section 4.

Theorem 1. If

γ \in T_{e} (R)

, then

Φ_{M} (γ, Θ^{E}) = (- 1)^{q (L)} \cdot | W_{L} | \cdot \sum_{ω \in W^{L M}} ɛ (ω) \cdot tr (γ; V_{ω (λ_{B} + ρ_{B}) - ρ_{B}}^{M}) .

Here we write

L

for the centralizer of

T_{c}

G

, where

T_{c}

is the maximal compact subtorus of

T

. Also write

W_{L}

and

W_{M}

for the Weyl groups of

T

L

and

M

. The latter are subgroups of

W

which commute and have trivial intersection. Here

W^{L M}

is a certain set of representatives for the cosets

(W_{L} \times W_{M}) \ W

. It is defined explicitly in section 5. We write

ɛ

for the sign character of

W

. Finally by

V_{ω (λ_{B} + ρ_{B}) - ρ_{B}}^{M}

we denote the irreducible finite-dimensional representation of

M

, with highest weight

ω (λ_{B} + ρ_{B}) - ρ_{B}

, where

λ_{B}

is the

B

-dominant highest weight of

E

. In particular, we obtain the extremely simple expression,

Φ_{A} (1, Θ^{E}) = (- 1)^{q (G)} \cdot | W |,

in the case of a split torus

T = A

We now describe the organization of this paper.

In section 2, we spell out the relationship between the root systems of

G

L

, and

M

. There are two distinct systems of chambers in

X_{*} (A) \otimes_{Z} R

obtained from these root systems which are important to understand.

In section 3, we take the aforementioned lemma a step further to express

Φ_{M} (γ, Θ^{E})

explicitly as a linear combination of characters.

(Actually we do the computation for any stable virtual character

Θ

, as it is no more difficult.) The sum over

W

simplifies to a sum over Kostant representatives

W^{M}

In section 4, in which we deal specifically with

Φ_{M} (γ, Θ^{E})

, we distill out the action of

W_{L}

. A sum over

W^{L M}

remains. At a key step we use a result of section 5, the computation of an alternating sum of stable discrete series constants.

In section 5, we prove the result mentioned above, in the context of abstract root systems. It is independent from the rest of the paper.

I am indebted to my advisor Robert Kottwitz for suggesting the problem and many useful comments. I also thank Christian Kaiser for some helpful conversations.

This project was carried out during a stay at the Max-Planck-Institut für Mathematik in Bonn, and I am grateful to the Institut for its support and hospitality.

2 $L$ -chambers and $P$ -chambers

Let

G

be a connected reductive group over

R

, and

T

a maximal torus of

G

. Assume that

G

has a discrete series, or equivalently, that

G

has an elliptic maximal torus.

Write

T_{c}

, respectively

A

, for the maximal compact, resp. split, subtori of

T

with centralizers

L

, resp.

M

, in

G

. Write

R

for the root system of

T

G

, and

R_{L}

, resp.

R_{M}

, for the set of roots of

T

L

, resp.

M

. Then

R_{L}

is the subset of

R

consisting of real roots, and

R_{M}

is the subset of imaginary roots. Write

W_{L}

and

W_{M}

for the respective Weyl groups. They are commuting subgroups of

W

with trivial intersection. Note that

W_{L}

fixes each root in

R_{M}

A

is contained as a split maximal torus in

L_{der}

, the derived group of

L

, and we may identify

R_{L}

with the set of roots of

A

L_{der}

Write

a_{M}

for

X_{*} (A) \otimes_{Z} R

. For any

α \in R \ R_{M}

the root hyperplane

H_{α}

X^{*} (T)_{R} : = X_{*} (T) \otimes R

gives a hyperplane in

a_{M}

. Let us consider two kinds of chambers in

a_{M}

obtained from these. Define

P

-chambers to be those obtained by deleting from

a_{M}

all the hyperplanes

H_{α}

, with

α \in R \ R_{M}

. Define

L

-chambers to be those obtained by deleting all the

H_{α}

with

α \in R_{L}

. The latter are the Weyl chambers for

A

L_{der}

; therefore

W_{L}

acts simply transitively on them.

Observe that

R_{L} \subset (R \ R_{M})

. Any additional hyperplanes coming from roots in

R \ (R_{L} \cup R_{M})

divide the

L

-chambers into

P

-chambers.

Thus every

P

-chamber is contained in a unique

L

-chamber.

Write

P (M)

for the set of parabolic subgroups of

G

admitting

M

as a Levi component. There is a one-to-one correspondence between

P (M)

and the set of

P

-chambers in

a_{M}

, obtained as follows: for

P = M N \in P (M)

, the corresponding

P

-chamber is

a_{P}^{+} = {x \in a_{M} : 〈 α, x 〉 > 0, for all α \in R_{N}},

where

R_{N}

denotes the set of roots of

T

Lie (N)

Recall that the set of

L

-chambers is in bijection with the set of Borel subgroups of

L

containing

T

, or equivalently the set of positive root systems

R_{L}^{+}

in the root system

R_{L}

Now let

C_{P}

be a

P

-chamber, and let

P = M N

be the corresponding element of

P (M)

. It is easy to see that

R_{N} \cap R_{L}

is a positive system in

R_{L}

, and this corresponds to an

L

-chamber

C_{L}

. Thus we have defined a map

C_{P} \mapsto C_{L}

from the set of

P

-chambers to the set of

L

-chambers.

It is the obvious one which associates to

C_{P}

the unique

L

-chamber containing

C_{P}

3 A Linear Combination of Characters

A stable virtual character is a finite

Z

-linear combination

Θ

of characters

Θ_{π}

so that

Θ (γ) = Θ (γ^{'})

whenever

γ

and

γ^{'}

are regular, stably conjugate elements of

G (R)

In Lemma 4.1 of [2], it is proved that for a stable virtual character

Θ

G (R)

, the function

γ \mapsto | D_{M}^{G} (γ) |^{\frac{1}{2}} Θ (γ)

T_{reg} (R)

extends continuously to

T (R)

. A key ingredient of the proof is the fact that the expression at the bottom of page 497 is a linear combination of irreducible finite-dimensional representations of

M

. In this section we will compute explicitly the coefficients and the representations involved, in the case where the element

a

appearing in the proof is equal to

1

We translate the set-up of the proof in [2] as follows. We take

Γ

to be the identity component of

T (R)

. The root system

R_{Γ}

is then simply

R_{L}

. Fix a positive root system

R_{L}^{+}

R_{L}

, and let

C

be the corresponding

L

-chamber in

a_{M}

. We then choose a parabolic subgroup

P = M N

so that

R_{L} \cap R_{N} \subseteq R_{L}^{+}

. Note that

R_{L} \cap R_{N}

is also a system of positive roots, so this condition is equivalent to having

R_{L} \cap R_{N} = R_{L}^{+}

Thus we simply require that the

P

-chamber corresponding to

P

be contained in

C

Although at the end of our computations we will allow

γ

to be nonregular, we choose now

γ

to be a regular element of

Γ = T_{c} (R) \cdot exp (\bar{C})

The expression is

\begin{matrix} \sum_{B} m (B) \frac{Δ_{P} (γ) \cdot λ_{B} (γ)}{Δ_{B} (γ)} . \end{matrix}

(1)

The sum ranges over Borels containing

T

, which correspond to elements of

W

Here

λ_{B}

is the

B

-dominant highest weight of

E

Δ_{B} = \prod_{α > 0} (1 - α^{- 1}), and Δ_{P} = \prod_{α \in R_{N}} (1 - α^{- 1}) .

Fix now a Borel

B

G

with

T \subseteq B \subseteq P

, for the rest of this paper. Recall the set of Kostant representatives

W^{M}

for the Weyl group

W_{M}

M

, relative to B. It is the set

{w \in W | w^{- 1} R_{M}^{+} \subset R^{+}}

w \in W

, write

w * B

for

w B w^{- 1}

We will use the observation that for

ω \in W^{M}, (ω * B)_{M} = B_{M}

Indeed, if

α \in R^{+} \cap R_{M}

, then

ω^{- 1} α \in R^{+}

, which implies that

α \in ω R^{+} \cap R_{M}

Our sum (1) breaks up as

\begin{matrix} \sum_{ω \in W^{M}} m (ω * B) \cdot Δ_{P} (γ) \cdot \sum_{w_{M} \in W_{M}} \frac{w_{M} (ω λ_{B}) (γ)}{Δ_{w_{M} ω * B} (γ)} . \end{matrix}

(2)

We would prefer the denominator inside the sum to be

Δ_{w_{M} * B_{M}} (γ)

(Recall that

B_{M} = B \cap M

.) Note that

Δ_{P} \cdot Δ_{B_{M}} = Δ_{B}

, since

R^{+}

is the disjoint union of

R_{M}^{+}

and

R_{N}

So we consider the quantity

\begin{matrix} \frac{Δ_{P} \cdot Δ_{w_{M} * B_{M}}}{Δ_{w_{M} ω * B}} = \frac{Δ_{B} \cdot Δ_{w_{M} * B_{M}}}{Δ_{B_{M}} \cdot Δ_{w_{M} ω * B}} . \end{matrix}

(3)

Observe that if

ℬ

is a Borel,

Δ_{ℬ} = δ_{ℬ} \cdot ρ_{ℬ}^{- 1}

, where

δ_{ℬ} = \prod_{α > 0} (α^{\frac{1}{2}} - α^{- \frac{1}{2}})

and

ρ_{ℬ}

is the usual half sum of positive roots. Since

δ_{w * ℬ} = ɛ (w) δ_{ℬ}

, we compute that

\frac{Δ_{w * ℬ}}{Δ_{ℬ}} = ɛ (w) \cdot (ρ_{ℬ} - w ρ_{ℬ}) .

Thus 3 becomes

ɛ (ω) (w_{M} (ω ρ_{B} - ρ_{B_{M}}) - ρ_{B} + ρ_{B_{M}}) .

Next observe that for

w_{M} \in W_{M}

w_{M} (ρ_{B} - ρ_{B_{M}}) = ρ_{B} - ρ_{B_{M}} .

Indeed, the roots of

R^{+}

not in

R_{M}^{+}

are in

R_{N}

, and are thus normalized by

W_{M}

. So the above expression simplifies to

ɛ (ω) \cdot w_{M} (ω ρ_{B} - ρ_{B}) .

We can therefore rewrite 2 as

\begin{matrix} \sum_{ω \in W^{M}} m (ω * B) \cdot ɛ (ω) \cdot \sum_{w_{M} \in W_{M}} \frac{w_{M} (ω (λ_{B} + ρ_{B}) - ρ_{B}) (γ)}{Δ_{w_{M} * B_{M}} (γ)} . \end{matrix}

(4)

Since

ω

is a Kostant representative, the weight

ω (λ_{B} + ρ_{B}) - ρ_{B}

is positive for

B_{M}

, and we may use the Weyl character formula to rewrite this as

\begin{matrix} \sum_{ω \in W^{M}} m (ω * B) \cdot ɛ (ω) \cdot tr (γ; V_{ω (λ_{B} + ρ_{B}) - ρ_{B}}^{M}) . \end{matrix}

(5)

Here

V_{ω (λ_{B} + ρ_{B}) - ρ_{B}}^{M}

denotes the irreducible finite-dimensional representation of

M

with highest weight

ω (λ_{B} + ρ_{B}) - ρ_{B}

4 A Formula for $Φ_{M} (γ, Θ^{E})$

To identify 5 with

Φ_{M} (γ, Θ^{E})

, we replace

m (ω * B)

with

n (γ, ω * B)

as on page 500 of [2], and multiply it by the factor

δ_{P}^{\frac{1}{2}} (γ)

\begin{matrix} δ_{P}^{\frac{1}{2}} (γ) \cdot \sum_{ω \in W^{M}} n (γ, ω * B) \cdot ɛ (ω) \cdot tr (γ; V_{ω (λ_{B} + ρ_{B}) - ρ_{B}}^{M}) . \end{matrix}

(6)

Here

δ_{P}

is the modulus character of

P

. (We are still only considering regular

γ

.) Write

A_{G}

for the split component of the center of

G

. Let

λ_{0} \in X^{*} (A_{G})

denote the character by which

A_{G}

acts on

E

. It extends to

X^{*} (T)_{R}

in the usual way, and is

W

-invariant.

Let

T_{e}

denote the subtorus of

T

generated by

T_{c}

and

A_{G}

. It is the maximal subtorus of

T

which is elliptic in

G

Write

p_{M}

for the projection from

X^{*} (T)_{R}

X^{*} (A)_{R}

, and note that it is

W_{L}

-invariant. The group

W_{L}

fixes each root of

M

, thus it acts on

W^{M}

. For every orbit of this action, there is a unique member

ω

so that

p_{M} (ω (λ_{B} + ρ_{B} - λ_{0}))

is dominant with respect to

C

. We denote the set of these elements by

W^{L M}

, one element for each orbit of

W_{L}

W_{M}

λ \in X^{*} (T)

and

w_{L} \in W_{L}

, then plainly

w_{L} λ - λ \in a_{M}^{*}

. Write

(χ_{w_{L}, ω, B}, C_{w_{L}, ω, B})

for the one-dimensional representation of

M

, acting through

A

, with weight

w_{L} ω (λ_{B} + ρ_{B}) - ω (λ_{B} + ρ_{B})

. Note that

T_{c}

and

A_{G}

act trivially on

C_{w_{L}, ω, B}

, thus so does

T_{e}

Thus we have

V_{w_{L} ω (λ_{B} + ρ_{B}) - ρ_{B}}^{M} \sim = V_{ω (λ_{B} + ρ_{B}) - ρ_{B}}^{M} \otimes C_{w_{L}, ω, B} .

Our formula 6 is now (replacing

ω \in W^{M}

with

w_{L} ω

, where

ω

is now in

W^{L M}

\begin{matrix} δ_{P}^{\frac{1}{2}} (γ) \cdot \sum_{ω \in W^{L M}} ɛ (ω) \cdot tr (γ; V_{ω (λ_{B} + ρ_{B}) - ρ_{B}}^{M}) \cdot \sum_{w_{L} \in W_{L}} ɛ (w_{L}) \cdot χ_{w_{L}, ω, B} (γ) \cdot n (γ, w_{L} ω * B), \end{matrix}

(7)

Of course we now wish to simplify the inner sum. Recall from page 500 of [2] that

n (γ, w_{L} ω * B) = \bar{c} (x, p_{M} (w_{L} ω λ_{B} + w_{L} ω ρ_{B} - λ_{0})),

where

x

is in the interior of

C

. Here

\bar{c} (x, λ)

is the integer-valued “stable discrete series constant” on

(X_{*} (A / A_{G})_{R})_{reg} \times (X^{*} (A / A_{G})_{R})_{reg},

as defined, for instance, on page 493 of [2]. Recall that

λ_{0} \in X^{*} (T)_{R}

is obtained from the character

λ_{0} \in X^{*} (A_{G})

by which

A_{G}

acts on

E

, and is thus

W

-invariant.

p_{M}

commutes with

w_{L}

, the inner sum of 7 is now

\begin{matrix} \sum_{w_{L} \in W_{L}} ɛ (w_{L}) \cdot \bar{c} (x, w_{L} Λ) \cdot χ_{w_{L}, ω, B} (γ), \end{matrix}

(8)

where

Λ = p_{M} (ω λ_{B} + ω ρ_{B} - λ_{0})

We would like to consider the limit of 8 as

x

approaches

0

. Recall we can write

γ = γ_{c} \cdot exp (x)

, with

γ_{c} \in T_{c} (R)

and

x

\bar{C}

. Also recall that

γ

is still regular (not for long!). Consider the above formula with

γ_{c}

fixed and

x

going to

0

along regular elements of

\bar{C}

. Fix some element

x_{0}

in the interior of

C

. The value

\bar{c} (x, w_{L} Λ) = \bar{c} (x_{0}, w_{L} Λ)

is unchanged, but

χ_{w_{L}, ω, B} (γ)

approaches

χ_{w_{L}, ω, B} (γ_{c}) = 1

Thus 8 converges to

\sum_{w_{L} \in W_{L}} ɛ (w_{L}) \cdot \bar{c} (x_{0}, w_{L} Λ)

for some

x_{0} \in C

But this is simply

(- 1)^{q (L)} | W_{L} |

, by Proposition 1(ii) in Section 5 below. Here we use that

ω \in W^{L M}

. Note that

- 1

is in the Weyl group of the root system by the argument on page 499 of [2].

It is easy to modify this argument to get the same limit as

x

approaches an element of

X_{*} (A_{G})_{R}

Finally note that

δ_{P}

is a positive character and therefore trivial on the compact group

T_{c} (R)

. It is thus trivial on

T_{e} (R)

Now consider irregular

γ

. We take the limit in 7 and obtain our theorem:

Theorem 1. If

γ \in T_{e} (R)

, then

\begin{matrix} Φ_{M} (γ, Θ^{E}) = (- 1)^{q (L)} \cdot | W_{L} | \cdot \sum_{w \in W^{L M}} ɛ (w) \cdot tr (γ; V_{w (λ_{B} + ρ_{B}) - ρ_{B}}^{M}) . \end{matrix}

(9)

For the reader's convenience, we review the definition of

W^{L M}

The definition depends on the choice of a parabolic

P = M N

and a Borel subgroup

B

with

T \subseteq B \subseteq P

. The choice of

B

gives a set of positive roots

R^{+}

for

R

and a set of positive roots

R_{M}^{+}

for

R_{M}

. It also gives

B

-dominant elements

λ_{B}

and

ρ_{B}

X^{*} (T)_{R}

. The choice of

P

determines an

L

-chamber

C

as in Section 2. Recall the character

λ_{0}

determined by

A_{G}

E

and the projection

p_{M}

from

X^{*} (T)_{R}

X^{*} (A)_{R}

. Then

W^{L M} = {w \in W | w^{- 1} R_{M}^{+} \subseteq R^{+} and p_{M} (w (λ_{B} + ρ_{B} - λ_{0})) is dominant w.r.t. C} .

We now evaluate 9 for

Φ_{M}

on the extreme cases for

T

. If

T = A

is split, then

M = A

L = G

W^{L M}

is trivial, but so is

T_{c}

. We conclude that for

z \in A_{G} (R)

Φ_{A} (z, Θ^{E}) = (- 1)^{q (G)} \cdot | W | \cdot λ_{0} (z) .

T

is elliptic, then

M = G

L = T

W^{L M}

is again trivial, and so for

γ \in T

Φ_{G} (γ, Θ^{E}) = tr (γ; E) .

Note that this agrees with the results of Theorems 5.1 and 5.2 of [2], since

tr (γ^{- 1}; E^{*}) = tr (γ; E) .

5 The Sum of the Stable Discrete Series Constants

Let

(X, X^{*}, R, \overset{ˇ}{R})

be a root system. Write

W

for the Weyl group of the root system, and

ɛ

for its sign character. Assume that

R

generates the real vector space

X

and that

- 1 \in W

. Write

q (R)

for

(| R^{+} | + dim (X)) / 2

, as in [2]. Let

x_{0}

be a regular element of

X

, and

λ

a regular element of

X^{*}

. Write

C_{0}

for the chamber of

X

containing

x_{0}

, and

C_{0}^{\lor}

for its dual chamber in

X^{*}

. Recall the stable discrete series constants

{\bar{c}}_{R} (x_{0}, λ)

from section 3 of [2].

Proposition 1. We have the following formulas for sums of discrete series constants:

(i) For all such $λ, \sum_{w \in W} {\bar{c}}_{R} (w x_{0}, λ) = | W | .$
(ii) For $λ = λ_{0} \in C_{0}^{\lor}$ , we have $\sum_{w \in W} ɛ (w) \cdot {\bar{c}}_{R} (w x_{0}, λ_{0}) = (- 1)^{q (R)} | W | .$

The same formulas hold if we sum over the

W

-orbit of

λ

rather than that of

x_{0}

We make a few comments before beginning the proof. The proof begins by using the “inductive” property (4) of the discrete series constants from page 493 of [2], to change the sum over chambers into a sum over certain facets of

X

. In fact we consider those facets which separate the chambers of

X

, i.e., those which span the root hyperplanes

Y

X

In the course of the proof, we (mis)use the term “facet” only in reference to these particular facets, of codimension

1

. So a facet in this sense will be the common face of two adjacent chambers.

The hyperplanes

Y

have their own chambers, and we examine the relationship between the facets and these smaller chambers. Not every facet is equal to such a chamber, as in the case of

B_{3}

when

Y

is the root hyperplane of a long root. The facets in

Y

give a

B_{2}

system, but the chambers of

R_{Y}

give an

A_{1} \times A_{1}

system.

Finally induction on the rank of the root system gives the calculation.

Proof. The second formula follows from the first by applying Theorem 3.2(2) on page 494 of [2].
We induce on $r = dim X$ . The proposition is clear when $r = 0$ .
We associate these discrete series constants with the various chambers and facets of $X$ , and introduce some appropriate notation.
Write $c (C)$ for ${\bar{c}}_{R} (x, λ)$ , when $x$ is in the interior of a chamber $C$ . Suppose $F$ is a facet in $X$ , $y$ is in the interior of $F$ , and $\bar{F} : = span (F) = Y$ . Then write $c (F) = {\bar{c}}_{R_{Y}} (y, λ_{Y})$ , notation as on page 493 of [2].
Thus if $F$ is the common face of distinct chambers $C$ and $C^{'}$ , then $2 c (F) = c (C) + c (C^{'}) .$ Each chamber has $r$ faces, and it follows that
$\begin{matrix} r \cdot \sum_{C} c (C) = 2 \sum_{F} c (F), \end{matrix}$ (10)
where we are summing over all chambers and then all facets.
We show the right hand side of 10 is equal to $r \cdot | W |$ to prove the proposition.
Now every facet is on some root hyperplane $X_{α} = X_{- α}$ , so we have $2 \sum_{F} c (F) = \sum_{α \in R} \sum_{\bar{F} = X_{α}} c (F) .$ We now work with the inner sum. There is a root system on $X_{α}$ whose set of coroots is $\overset{ˇ}{R} \cap X_{α}$ , which defines chambers $C_{α}$ in $X_{α}$ and constants $c_{α} (C_{α})$ . Write $W_{α}$ for the Weyl group of $X_{α}$ . We have $\sum_{\bar{F} = X_{α}} c (F) = \sum_{C_{α}} \sum_{F \subset C_{α}} c_{α} (C_{α}) = \sum_{C_{α}} \sum_{W_{α} \ {F \subset X_{α}}} c_{α} (C_{α}) = \sum_{W_{α} \ {F \subset X_{α}}} \sum_{C_{α}} c_{α} (C_{α}) .$ For the first equality, note that every facet $F$ with $\bar{F} = X_{α}$ is contained in a some chamber $C_{α}$ .
The second equality follows because $W_{α}$ acts transitively on the chambers $C_{α}$ .
Write $n (α)$ for the order of $W_{α} \ {F \subset X_{α}}$ . It is equal to the number of facets in a given chamber $C_{α}$ . Then by induction the above is merely $n (α) \cdot | W_{α} |,$ which is exactly the number of facets in $X_{α}$ . It follows that 10 is simply equal to twice the total number of facets in $X$ .
Since $W$ has $r$ orbits on the set of facets in $X$ , and the stabilizer in $W$ of any facet has order $2$ , we conclude that the total number of facets is half of $r \cdot | W |$ , as desired. □

References

J. Arthur, The $L^{2}$ -Lefschetz numbers of Hecke operators, Invent. Math. 97 (1989), 257-290.
M. Goresky, R. Kottwitz, and R. Macpherson, Discrete Series Characters and the Lefschetz Formula for Hecke operators, Duke Math. Journal, Vol. 89, No. 3 (1997),477-554.

Max-Planck-Institut fur Mathematik, Bonn, Germany E-mail address : spallone@mpig-bonn.mpg.de

November 27, 2006

Steven Spallone