, , , 1 March, 2005

Let

G

denote the group of

k

-points of a reductive

k

-group

G

, where

k

is a nonarchimedean local field. To simplify the present discussion, assume that

G

is connected and that

k

has characteristic zero. Let

(π, V)

denote an irreducible admissible representation of

G

. Let

d g

denote a fixed Haar measure on

G

. The distribution character

Θ_{π}

π

is the map

C_{c}^{\infty} (G) \to C

given by

Θ_{π} (f) : = tr π (f)

, where

π (f)

is the (finite-rank) operator on

V

given by

π (f) v = \int_{G} f (g) π (g) v d g

From Howe [12] and Harish-Chandra [9] , the distribution

Θ_{π}

is represented by a locally constant function on the set of regular semisimple elements in

G

. We will denote this function also by

Θ_{π}

For any semisimple

γ \in G

, the local character expansion about

γ

(see [11] and [10] ) is the identity

Θ_{π} (γ e (Y)) = \sum_{O} c_{O} {\hat{μ}}_{O} (Y),

valid for all regular semisimple

Y

in the Lie algebra

m

of the centralizer of

γ

such that

Y

is close enough to

0

. Here, the sum is over the set of nilpotent orbits

O

m

;

{\hat{μ}}_{O}

is the function that represents the distribution that is the Fourier transform of the orbital integral

μ_{O}

associated to

O

;

c_{O} = c_{O, γ} (π) \in C

; and

e

is the exponential map, or some suitable substitute.

This is a qualitative result, in the sense that it gives no indication of how close

Y

must be to

0

in order for the identity to be valid. Many questions in harmonic analysis on

G

require more quantitative versions of such qualitative results. As an example of a quantitative result, DeBacker [6] has determined (under some hypotheses on

G

) a neighborhood of validity for the local character expansion near the identity, thus verifying a conjecture of Hales, Moy, and Prasad (see [14] ).

In this paper, we generalize DeBacker's result for any semisimple

γ \in G

satisfying mild tameness hypotheses. (See § 7 for the hypotheses, and Corollary 11.10 for a precise statement of the main result.) When

γ

is regular, we recover a generalization of Theorem 19 of [13] .

We have taken care not to assume that

G

is connected. For example,

G

could be a semidirect product

G^{\circ} ∖ 〈 ɛ 〉

for some

ɛ \in {Aut}_{k} (G^{\circ})

of finite order. This case is of particular interest, since understanding the

ɛ

-twisted characters of

G^{\circ}

near the identity is equivalent to understanding the characters of

G

near

ɛ

Note that Theorem 2.1.5(3) of [6] plays a key role in our proof.

Acknowledgements. We thank Stephen DeBacker, Fiona Murnaghan, and Ju-Lee Kim for helpful conversations.

1 Notation and conventions

Let

k

denote nonarchimedean local field, and let

ν

denote a discrete valuation on

k

. For any algebraic extension field

E

k

ν

extends uniquely to a valuation (also denoted

ν

) of

E

. Fix a complex-valued, additive character

Λ

k

that is nontrivial on the ring

R

of integers in

k

and trivial on the prime ideal of

R

For a reductive

k

-group

G

, let

G^{\circ}

denote its connected part, and let

g

denote its Lie algebra. Let

g^{*}

denote the dual of

g

. Let

G = G (k)

, the group of

k

-rational points of

G

; and let

g = g (k)

and

g^{*} = g (k)^{*}

. Let

Z_{G}

denote the center of

G

We use similar notation and font conventions for other groups. That is, given a group

M

, we have

m

M

, etc.

Let

Ad

(resp.

ad

) denote the adjoint or coadjoint representation of

G

(resp.

g

) on

g

g^{*}

. Let

Int

denote the conjugation action of

G

on itself. For an element or subset

S

G

and an element or subset

L

g

g^{*}

(resp.

G

), we will sometimes write

S L

instead of

Ad (S) L

(resp.

Int (S) L

An element

g \in G

is semisimple if

Ad (g)

is a semisimple linear transformation of

g

. When

g \in G^{\circ}

, this is equivalent to

g

belonging to a torus. For a subset

S

G

, let

S ss

denote the set of semisimple elements in

S

(so

S ss = S \cap G ss

). An element

g \in G

is regular semisimple if the coefficient of

t^{n}

det (t - 1 + Ad (g))

is nonzero (where

n

is the rank of the component

g G^{\circ}

G

; see [5] ). We denote the set of regular semisimple elements in

G

G reg

. Similarly we say that an element

X \in g

is regular semisimple if the coefficient of

t^{n}

det (t - ad (X))

is nonzero.

We denote the set of regular semisimple elements in

g

g reg

For a subset

S

g

(resp.

G

) let

[S]

denote the characteristic function of

S

g

(resp.

G

Call an element

X \in g

nilpotent if there is some one-parameter subgroup

λ

G

defined over

k

such that

{lim}_{t \to 0} λ (t) X = 0

. Let

N_{g}

denote the set of nilpotent elements in

g

, and

O_{g} (0)

the set of nilpotent orbits under the adjoint action of

G

N_{g}

. We will leave out the subscript when it is understood. One can similarly define a set

N^{*}

of nilpotent elements in

g^{*}

For any compact group

K

, let

K^{\land}

denote the set of equivalence classes of irreducible, continuous representations of

K

. We will not always distinguish between a representation and its equivalence class. Recall that if

K

is abelian, then

K^{\land}

is a group.

Let

\tilde{R} : = R \cup {r + | r \in R}

and extend the ordering on

R

to one on

\tilde{R}

as follows:

for all

r, s \in R

\begin{matrix} r < s + & if and only if r \leq s; \end{matrix}

\begin{matrix} r + < s + & if and only if r < s; \end{matrix}

\begin{matrix} r + < s & if and only if r < s . \end{matrix}

\begin{matrix}  \end{matrix}

r \in R

, define

(r +) +

to be

r +

. There is a natural way to extend the additive structure on

R

to an additive structure on

\tilde{R} \cup {\infty}

2 Apartments and buildings.

For any extension

E / k

of finite ramification degree, let

ℬ (G, E)

denote the extended Bruhat-Tits building of

G

over

E

. Note that if

E / k

is Galois, then

ℬ (G, k)

embeds naturally in the set of

Gal (E / k)

-fixed points of

ℬ (G, E)

, with equality when

E / k

is tame (see [16,(5.11)] ).

Every maximal

k

-split torus

S

G

has an associated apartment

A (S, k)

ℬ (G, k)

. Let

T

be a maximal

k

-torus in

G

containing

S

. Then

T

splits over some Galois extension

E

, so

T (E)

has an apartment

A (T, E)

ℬ (G, E)

. The Galois fixed point set of the apartment of

T

ℬ (G, E)

is the apartment of

S

ℬ (G, k)

[20,§2.6] .

Suppose

M \subset G

is an

E

-Levi

k

-subgroup (that is,

M (E)

is a Levi subgroup of

G (E)

) for some finite Galois extension

E / k

. There is a natural family of

Gal (E / k)

-equivariant embeddings of

ℬ (M, E)

into

ℬ (G, E)

. When

E / k

is tame, this in turn induces a family of embeddings of

ℬ (M, k)

into

ℬ (G, k)

. In general, there is no canonical way to pick a distinguished member of this family. However, all such embeddings share the same image, and no statement we make will depend on the choice of embedding.

More generally, suppose that

M

is the centralizer of some

γ \in G ss

. Then

γ^{n} \in Z_{G} G^{\circ}

for some

n > 0

. Let

L

denote the connected part of the centralizer of

γ^{n}

. Then

L

is an

E

-Levi

k

-subgroup of

G

for some

E / k

, and

γ

acts on

L

via an automorphism of order dividing

n

. For every extension

F / k

of finite residue degree,

ℬ (L, F)

is the direct product of the affine space

ℬ (Z_{L}, F)

and the reduced building

ℬ^{red} (L, F)

. Since

γ^{n} \in Z_{L}

γ

acts on

ℬ^{red} (L, F)

via an automorphism of order dividing

n

, and on

ℬ (Z_{L}, F)

via an affine transformation whose

n

th power is a translation. Thus, for some translation

t

ℬ (Z_{L}, F)

γ t

acts on

ℬ (L, F)

via an automorphism of order dividing

n

γ t

is a tame Galois action on

L

(see [19] or [16] ), or the residue characteristic of

k

does not divide

n

(see [17] ), then we may identify

ℬ (M, F)

with the set of

γ t

-fixed points in

ℬ (L, F)

. If in addition

E / k

is tame, then (again) we have a family of embeddings of

ℬ (M, k)

into

ℬ (G, k)

. Again, no statement we make will depend on the choice of embedding.

3 Moy-Prasad filtrations.

For any

k

-torus

T

G

, let

Φ = Φ (G, T)

denote the absolute root system of

G

with respect to

T

. We can also interpret

Φ

as the set of nontrivial eigencharacters for the adjoint action of

T

g

When

T

is maximal, let

Ψ (G, T)

denote the set of affine roots of

G

with respect to

T

and

ν

. If

ψ \in Ψ (G, T)

, let

\dot{ψ} \in Φ (G, T)

denote the gradient of

ψ

, and let

g (E)_{\dot{ψ}} \subset g (E)

denote the root space corresponding to

\dot{ψ}

. We denote the root lattice in

g (E)_{\dot{ψ}}

corresponding to

ψ

g (E)_{ψ}

[14,3.2] .

Let

X^{*} (T)

denote the lattice of characters of

T

, and let

T (E)_{0}

denote the parahoric subgroup of

T (E)

. For

r \in \tilde{R}

, define

t (E)_{r} : = {X \in t (E) | ν (d χ (X)) \geq r for all χ \in X^{*} (T)}

and for

r > 0

T (E)_{r} : = {t \in T (E)_{0} | ν (χ (t) - 1) \geq r for all χ \in X^{*} (T)} .

For each

(x, r) \in ℬ (G, E) \times \tilde{R}

, Moy and Prasad define lattices

g (E)_{x, r}

g (E)

and

g (E)_{x, r}^{*}

g (E)^{*}

. When

r \geq 0

, they define a normal subgroup

G (E)_{x, r}

of the parahoric subgroup

G (E)_{x}

G (E)

. In particular, for all

x \in A (T, E)

and

r \in \tilde{R}

\begin{matrix} g (E)_{x, r} = t (E)_{r} \oplus \sum ψ \in Ψ (G, T), ψ (x) \geq r g (E)_{ψ} \end{matrix}

(3.1)

Similarly,

G (E)_{x, r}

is defined in terms of the filtrations on

T (E)

and on root groups.

These definitions depend on the normalization of the valuation

ν

; our normalization agrees with that of Yu [21] . Thus, for example, for any

α \in k \times

α \cdot g_{x, r} = g_{x, r + ν (α)}

However, the definitions do not depend on the choice of

T

containing

x

in its apartment. Note that for all

r \in \tilde{R}

g (E)_{x, r +} = \cup_{s > r} g (E)_{x, s}

and

G (E)_{x, | r | +} = \cup_{s > | r |} G (E)_{x, s}

Moy and Prasad also define

g_{x, r}

and

G_{x, r}

(irrespective of whether or not

G

k

-split). The above normalization was chosen to have the following property [1,1.4.1] : when

E / k

is tame and

x \in ℬ (G, k)

, we have

g_{x, r} = g (E)_{x, r} \cap g, and (for r > 0), G_{x, r} = G (E)_{x, r} \cap G_{x} .

We will also use the following notation. For

r \in \tilde{R}

, let

g_{r} = \cup_{x \in ℬ (G, k)} g_{x, r} and (for r \geq 0) G_{r} = \cup_{x \in ℬ (G, k)} G_{x, r} .

It is proven in [2] that

g_{r}

(resp.

G_{r}

) is a

G

-domain: a

G

-invariant, open and closed subset of

g

(resp.

G

For any

x \in ℬ (G, k)

and any

0 < r \leq t \leq 2 r

, the group

(G_{x, r} / G_{x, t})

is abelian.

Under many conditions (for example, if

G

contains a tamely ramified maximal torus, or if

G

is simply connected), there exists a (

G_{x}

-equivariant) isomorphism (see [14] or [21] )

\begin{matrix} G_{x, r} / G_{x, t} ⟷ g_{x, r} / g_{x, t}, \end{matrix}

(3.2)

and thus an isomorphism

\begin{matrix} (G_{x, r} / G_{x, t})^{\land} ⟷ g_{x, (- t) +}^{*} / g_{x, (- r) +}^{*} . \end{matrix}

(3.3)

Yu [22] has defined a more complicated filtration on

T

than the one above. Using this filtration to define

G_{x, r}

, he shows that 3.3 is valid for all

G

. However, for the groups that we will consider, Yu's filtration is equivalent to the one above.

4 Singular depth

From now on,

G

is a reductive

k

-group,

γ \in G ss

, and

M

is the centralizer of

γ

G

Definition 4.1. For

m \in M

, let

s (m) = s_{M}^{G} (m) : = {max}_{α \in A_{m}} {0, ν (α - 1)},

where

A_{m}

is the set of generalized eigenvalues of the action of

Ad (m)

g / m

Remark 4.2. If

G

is connected and

m

is regular, then the definition of

s (m)

given above agrees with the definition in [13,§1] .

Remark 4.3. Note that

s (m z) = s (m)

for all

z \in Z_{G}

and that

s (h m h^{- 1}) = s (m)

for all

h \in M

Remark 4.4. Suppose

m \in M

, and

E / k

is an extension that contains all of the generalized eigenvalues of both

Ad (γ)

and

Ad (m)

acting on

g / m

. Since

Ad (γ)

and

Ad (m)

commute, we can write

g (E) / m (E)

as a direct sum of subspaces

V_{i}

, where

V_{i}

is simultaneously an

α_{i}

-eigenspace for

Ad (γ)

and a generalized

β_{i}

-eigenspace for

Ad (m)

Lemma 4.5. If

m \in M {ss}_{r}

, then

s (m) \geq r

Proof. Pick a maximal $k$ -torus $T$ in $M$ with $m \in T$ , and a splitting field $E$ for $T$ .
Then $m \in M_{r} \cap T \subset M (E)_{r} \cap T (E) = T (E)_{r},$ where the last equality follows from Theorem 4.1.5(1) of [7] . Thus, $ν (χ (m) - 1) \geq r$ for all $χ \in X^{*} (T)$ . In particular, this is true for all $χ \in Φ (G, T) \subset X^{*} (T)$ . □

Lemma 4.6. If

m \in M_{s (γ) +}

, then

s (γ m) = s (γ)

. If

γ

is compact mod

Z_{G}

, then so is

γ m

, and conversely. If

γ

is semisimple, then so is

γ m

Proof. Let $V_{i}$ , $α_{i}$ , and $β_{i}$ be as in Remark 4.4 . For all $i$ , Lemma 4.5 implies that $ν (β_{i} - 1) > s (γ) \geq ν (α_{i} - 1)$ , and thus $ν (α_{i} β_{i} - 1) = ν ((α_{i} - 1) (β_{i} - 1) - (α_{i} - 1) + (β_{i} - 1)) = ν (α_{i} - 1) .$ Thus, $s (γ m) = s (γ)$ . The second statement of the lemma follows from the fact that $α_{i}$ is a unit if and if so is $α_{i} β_{i}$ . If $Ad (m)$ is diagonalizable over some field extension, then $Ad (m)$ and $Ad (γ)$ are simultaneously diagonalizable, so the last statement follows. □

For

m \in M

, following [10,§18] , define

D_{G / M} (m) : = det ((Ad (m) - 1) |_{g / m}) .

(When

M = G^{\circ}

, define

D_{G / M} \equiv 1

.) For

r \geq 0

let

\begin{matrix} M_{r}^{'} & : = {m \in M_{r} | D_{G / M} (γ m) \neq 0}, \end{matrix}

\begin{matrix} M_{r}^{''} & : = {m \in M_{r} | γ m \in G reg} . \end{matrix}

\begin{matrix}  \end{matrix}

Note that

M_{r}^{''} \subset M_{r}^{'}

, and these are open, dense subsets of

M_{r}

Corollary 4.7.

M_{s (γ) +}^{'} = M_{s (γ) +}

Proof. Let $m \in M_{s (γ) +}$ . Let $V_{i}$ , $α_{i}$ , and $β_{i}$ be as in Remark 4.4 . As in the proof of Lemma 4.6 , $ν (α_{i} β_{i} - 1) = ν (α_{i} - 1)$ for all $i$ . Thus, $| D_{G / M} (γ m) | = \prod_{i} | α_{i} β_{i} - 1 |^{dim V_{i}} = \prod_{i} | α_{i} - 1 |^{dim V_{i}} = | D_{G / M} (γ) | \neq 0 .$ Therefore, $m \in M_{s (γ) +}^{'}$ . □

5 Intertwining

Definition 5.1. Let

K

be a compact open subgroup of

G

and let

d \in K^{\land}

. For

g \in G

, recall that

g d

is the representation of

g K g^{- 1}

given as

g d (g k g^{- 1}) : = d (k)

Definition 5.2. If

d

and

d^{'}

are continuous representations of compact subgroups

K

and

K^{'}

(respectively) of

G

, then let

[d : d^{'}] = {dim}_{C} {Hom}_{K \cap K^{'}} (d, d^{'})

Lemma 5.3. Let

K

and

L

be compact subgroups of

G

, and let

N

be a compact subgroup of

K

. Let

d \in K^{\land}

and let

χ

denote a one-dimensional representation of

L

. Let

d_{1} \oplus \dots \oplus d_{n}

be a decomposition of

d

into representations of

N

. If

0 \neq [χ : d]

then for some

d_{i}

0 \neq [χ : d_{i}]

Proof. We have $0 < [χ : d] \leq [χ : d |_{N}] = \sum_{i} [χ : d_{i}]$ . Therefore, $[χ : d_{i}] > 0$ for some $i$ . □

6 Partial traces

From now on, let

(π, V)

denote an irreducible admissible representation of

G

Let

Θ_{π}

denote the distribution character of

π

. This distribution is represented by a locally constant function (also denoted

Θ_{π}

) on

G reg

. Let

ρ (π)

denote the depth of

π

[14,§5] .

For any irreducible representation

d

of a compact open subgroup

K

, let

V_{d}

denote the

(K, d)

-isotypic subspace of

V

. Let

E_{d}

denote the

K

-equivariant projection from

V

V_{d}

. Define the distribution

Θ_{d}

Θ_{d} (F) : = tr (E_{d} π (F) E_{d})

for all

F \in C_{c}^{\infty} (G)

Then

Θ_{d}

, which can be thought of as the `partial trace of

π

with respect to

d

', is represented by the locally constant function

Θ_{d} (x) : = tr (E_{d} π (x) E_{d})

G

. It follows from the definitions that

\begin{matrix} Θ_{π} (F) = \sum_{d \in K^{\land}} Θ_{d} (F) for all F \in C_{c}^{\infty} (G) . \end{matrix}

(6.1)

Note that for each fixed

F

π (F)

has finite rank, so all but finitely many terms in this sum vanish.

Lemma 6.2.

(1) If $x \in G$ and $k \in K$ , then $Θ_{d} (k x k^{- 1}) = Θ_{d} (x)$ .
(2) If $h \in ker (d)$ , then $Θ_{d} (x h) = Θ_{d} (x)$ .

Proof. The first statement is [13,Lemma14] . Since $π (h) E_{d} = E_{d}$ , we have $Θ_{d} (x h) = tr (E_{d} π (x) π (h) E_{d}) = tr (E_{d} π (x) E_{d}) = Θ_{d} (x) . □$

Let

N

be a compact open subgroup of

K

, and let

d \in K^{\land}

. Considered as a representation of

N

d

decomposes into a finite sum of distinct irreducible representations

d_{i}

with multiplicities

α_{i}

α_{1} d_{1} \oplus \dots \oplus α_{n} d_{n} .

For each

i

, let

V_{d, d_{i}}

denote the

(N, d_{i})

-isotypic subspace of

V_{d}

. Let

E_{d, d_{i}}

denote the

N

-equivariant projection from

V

V_{d, d_{i}}

. For

x \in G

, define

Θ_{d, d_{i}} (x) : = tr (E_{d, d_{i}} π (x) E_{d, d_{i}}) .

Remark 6.3. Note that

Θ_{d} (x) = \sum_{i} Θ_{d, d_{i}} (x)

. Moreover,

Θ_{d, d_{i}}

has invariance properties analogous to those given for

Θ_{d}

in Lemma 6.2 .

Proposition 6.4. Let

g \in G

. If

Θ_{d} (g) \neq 0

, then

0 \neq [d : g d]

. If

Θ_{d, d_{i}} (g) \neq 0

, then

0 \neq [d_{i} : g d_{i}]

Proof. Define a pairing

〈, 〉

V_{d}

with respect to which

d

is unitary. Let

{v_{j}}

be a basis for

V_{d}

. For

k_{1}, k_{2} \in K

\begin{matrix} Θ_{d} (k_{1} x k_{2}) & = tr (E_{d} π (k_{1} x k_{2}) E_{d}) \end{matrix}

\begin{matrix} = \sum_{j} 〈 E_{d} π (k_{1} x k_{2}) v_{j}, v_{j} 〉 \end{matrix}

\begin{matrix} = \sum_{j} 〈 π (k_{1}) E_{d} π (x) π (k_{2}) v_{j}, v_{j} 〉 . \end{matrix}

\begin{matrix}  \end{matrix}

Fixing

k_{2}

and letting

k_{1}

vary, we have a sum of matrix coefficients of

d

. Note that by Lemma 6.2 (1) we have,

\begin{matrix} Θ_{d} (k_{1} x k_{2}) & = Θ_{d} (k_{2} k_{1} x k_{2} k_{2}^{- 1}) \end{matrix}

\begin{matrix} = Θ_{d} (k_{2} k_{1} x) \end{matrix}

\begin{matrix} = \sum_{j} 〈 π (k_{2}) E_{d} π (k_{1} x) v_{j}, v_{j} 〉 . \end{matrix}

\begin{matrix}  \end{matrix}

Fixing

k_{1}

and letting

k_{2}

vary, we again have a sum of matrix coefficients of

d

Therefore, our first statement follows from Corollary 14.3 of [10] .

To prove the second statement, note that since

E_{d, d_{i}}

is a projection onto a subspace of

V_{d_{i}}

, if

Θ_{d, d_{i}} (g) \neq 0

, then

Θ_{d_{i}} (g) \neq 0

. □

Lemma 6.5. Fix

i

. Let

χ

be a character of a closed subgroup

N^{'}

N

. Let

g \in G

. Suppose

0 \neq \int_{N^{'}} Θ_{d, d_{i}} (g n) χ (n) d n .

Then

d_{i} |_{N^{'}} = \bar{χ}

Proof. For all $n \in N^{'}$ , $π (n) E_{d, d_{i}}$ acts on $V_{d, d_{i}}$ via the scalar $d_{i} (n)$ . Let ${a_{j}}$ be the multi-set of diagonal entries of a matrix that represents, with respect to some basis, the action of $E_{d, d_{i}} π (g)$ on $V_{d, d_{i}}$ . Then for some $j$ , $0 \neq a_{j} \int_{N^{'}} d_{i} (n) χ (n) d n .$ The conclusion then follows from Lemma 14.2 of [10] . □

7 Hypotheses

From now on, we will make certain assumptions: Let

G

γ

, and

M

be as in § 4 .

That is,

G

is a reductive linear algebraic

k

-group,

γ \in G ss

, and

M

is the centralizer of

γ

G

Hypothesis 7.1. Assume that the eigenvalues of

Ad (γ)

belong to a tamely ramified extension of

k

When

γ \in G^{\circ}

, this hypothesis implies that

M \subset G

is an

E

-Levi subgroup for some tame

E / k

Hypothesis 7.2. Assume that

ℬ (M, k)

embeds in

ℬ (G, k)

, as in § 2 , and

\begin{matrix} m_{r}^{*} & = m^{*} \cap g_{r}^{*} & for all r \in \tilde{R} \end{matrix}

\begin{matrix} M_{r} & = M \cap G_{r} & for all r \in {\tilde{R}}_{> 0} . \end{matrix}

\begin{matrix}  \end{matrix}

We will pursue elsewhere the question of when this hypothesis holds. For now, we note that, given Hypothesis 7.1 , it holds when

γ \in G^{\circ}

. Additionally, it holds when

E / k

is a finite, tamely ramified Galois extension,

G = R_{E / k} H ∖ Gal (E / k)

for some

k

-group

H

(where

R_{E / k}

denotes restriction of scalars), and

γ \in Gal (E / k)

(See Lemmas 2.2.3 and 2.2.9 of [3] .)

Hypothesis 7.3. Suppose the order of

γ Z_{G} G^{\circ} \in G / Z_{G} G^{\circ}

is prime to the residue characteristic of

k

We will need this hypothesis in order to prove Lemma 8.1 . However, there are other conditions that would imply this result.

Hypothesis 7.4. There is a nondegenerate

G

-invariant symmetric bilinear form

B

g

such that we can identify

g_{x, r}^{*}

with

g_{x, r}

via the map

g \to g^{*}

defined by

X \mapsto (Y \mapsto B (X, Y))

(Groups satisfying this hypothesis are discussed in [4,§4] .) Thus, we can (and eventually will) identify

g_{x, r}

with

g_{x, r}^{*}

and

m_{x, r}

with

m_{x, r}^{*}

The following hypothesis concerns the existence of a “mock exponential” map.

Hypothesis 7.5. Let

e = max {ρ (π), 2 s (γ)}

. There exists a bijection

e : g_{e +} ⟶ G_{e +}

such that for all

x \in ℬ (G, k)

and all

e < r \leq s \leq t \leq 2 s

, we have that

e

induces the group isomorphism

g_{x, s} / g_{x, t} \to G_{x, s} / G_{x, t}

of 3.2 .

Moreover, for all

s > e

e (m_{s}) = M_{s}

, and

(1) for $r, s > e$ , all $X \in m_{x, r}$ , and all $Y \in m_{x, s}$ , we have $e (X) \cdot e (Y) \equiv e (X + Y)$ modulo $M_{x, (r + s)}$ ;
(2) for all $m \in M$ we have $Int (m) \circ (e |_{m_{e +}}) = (e |_{m_{e +}}) \circ Ad (m)$ ;
(3) for all $x \in ℬ (M, k)$ , all $s, t \in \tilde{R}$ with $s > e$ , all $Y \in g_{x, s}$ , and all $X \in g_{x, t}$ , we have $e (Y) X - X \in g_{x, s + t}$ .

Note that item ( 3 ) in the hypothesis asserts, for all

x \in ℬ (M, k)

, a weaker version of Proposition 1.6.3 of [1] , and the remainder of the hypothesis is a weaker version of Hypothesis 3.2.1 in [6] . Item ( 1 ) implies that

e

carries a Haar measure on

m

into a Haar measure on

M

Mock exponential maps are known to exist in several situations. For example, for

G L_{n} (k)

, the map

X \mapsto (1 + X)

works. For a classical group that splits over a tame extension of

k

, with odd residual characteristic, the Cayley transform works. If

k

has characteristic zero and

e

is sufficiently large, then the exponential map works. We will need the next two hypotheses in order to apply Theorem 10.14 .

Hypothesis 7.6. Assume that

M

satisfies Hypothesis 3.4.3 of [6] , concerning the convergence of nilpotent orbital integrals.

This is automatically satisfied when

k

has characteristic zero.

Hypothesis 7.7. Assume that

k

and

M

satisfy the hypotheses of Theorem 2.1.5(3) of [6] .

8 Lie algebra decompositions

Lemma 8.1. Let

E / k

be a tame extension containing the eigenvalues of

Ad (γ)

. For all

x \in ℬ (M, k)

, and

r \in \tilde{R}

, we have

g (E)_{x, r} = \oplus_{α} (g (E)_{x, r} \cap g (E)_{γ, α}),

where the sum is over the set of eigenvalues of the action of

Ad (γ)

g (E)

, and each

g (E)_{γ, α}

is the associated eigenspace.

Proof. Let $n$ be the order of $γ Z_{G} G^{\circ} \in G / Z_{G} G^{\circ}$ . Then $γ^{n} \in (Z_{G}) (E) T (E)$ for some maximal torus $T$ such that $T / Z_{G}^{\circ}$ is $E$ -split. Since $γ^{n}$ acts trivially on $t (E)$ and acts on each $T$ -root space in $g (E)$ , we have from 3.1 that $g (E)_{x, r} = \oplus_{β} (g (E)_{x, r} \cap g (E)_{γ^{n}, β}),$ where the sum runs over the eigenvalues $β$ of $Ad (γ^{n})$ , and each $g (E)_{γ^{n}, β}$ denotes the corresponding eigenspace. Thus it is enough to show that for each $β$ , $g (E)_{x, r} \cap g (E)_{γ^{n}, β} = \oplus_{α^{n} = β} (g (E)_{x, r} \cap g (E)_{γ, α}) .$ This will follow from Lemma 8.3 and Hypothesis 7.3 . □

We may identify

m

with the

1

-eigenspace of

Ad (γ)

g

. Define

m^{⊥}

to be the sum of all of the other eigenspaces of

Ad (γ)

. Identify

m^{*}

with

{X \in g^{*} | X (m^{⊥}) = 0}

and define

{m^{*}}^{⊥} : = {X \in g^{*} | X (m) = 0}

. These objects are all defined over

k

, and

g = m \oplus m^{⊥} and g^{*} = m^{*} \oplus {m^{*}}^{⊥}

The following result is well known when

G

is connected. See [1,Prop. 1.9.2] .

Corollary 8.2. Suppose

x \in ℬ (M, k)

and

r \in \tilde{R}

. Then

g_{x, r} = (m \cap g_{x, r}) \oplus (m^{⊥} \cap g_{x, r}) . □

Lemma 8.3. Let

R

denote the ring of integers in

k

, and let

ϖ \in R

be a uniformizer. Let

V

be a finite-dimensional vector space over

k

, and

L

a lattice in

V

. Let

T : V \to V

denote a diagonalizable linear map such that

T (L) = ϖ^{r} L

for some

r \in Z

. Let

α_{1}, \dots, α_{ℓ}

be the eigenvalues of

T

, and

V_{1}, \dots, V_{ℓ}

the corresponding eigenspaces. Suppose that for

i \neq j

, we have that

α_{i} ≢ α_{j} m o d ϖ^{r + 1} R

. Then

L =^{ℓ} \oplus_{i = 1} (L \cap V_{i}) .

Proof. Without loss of generality, we may replace $T$ by $ϖ^{- r} T$ , and thus assume that $T (L) = L$ , so that $α_{i} \in R \times$ for all $i$ . Let $x \in L$ , and write $x = \sum x_{i}$ , where $x_{i} \in V_{i}$ .
We must show that $x_{i} \in L$ for all $i$ . Let $S = {i | x_{i} / \in L}$ , and suppose that $S$ is nonempty. Pick a minimal nonempty subset $I \subset S$ such that $\sum_{i \in I} β_{i} x_{i} \in L$ for some coefficients $β_{i} \in R \times$ . Pick such coefficients, and let $y$ be the resulting sum.
We must have $| I | > 1$ . Let $i_{0} \in I$ . Then $α_{i_{0}}^{- 1} T (y) - y \in L$ . But we may rewrite this element as $\sum_{i \in I \ {i_{0}}} (\frac{α_{i}}{α_{i_{0}}} - 1) x_{i},$ contradicting the minimality of $I$ . □

9 Some lemmas

Some results in this section are stated in terms of the Lie algebras

m

and

g

However, by Hypothesis 7.4 , the analogous results for

m^{*}

and

g^{*}

are also valid (with the same proofs).

Lemma 9.1. Let

t \in R

x \in ℬ (M, k)

, and

γ^{'} \in γ M_{x, s (γ) +}

. If

Z \in m^{⊥} \cap (g_{x, - t} \ g_{x, (- t) +})

then

γ^{'} Z - Z \notin g_{x, (- t + s (γ^{'})) +}

Proof. Write $γ^{'} = γ m$ , with $m \in M_{x, s (γ) +}$ . Let $Z^{'} = m Z - Z$ .
From Hypothesis 7.1 , there is a tame extension $E$ of $k$ containing the eigenvalues of $Ad (γ)$ . Write $Z = \sum_{α} Z_{α}$ , and $Z^{'} = \sum_{α} Z_{α}^{'}$ , where each sum is over the set of eigenvalues for the action of $Ad (γ)$ on $g (E)$ , and each $Z_{α}$ and $Z_{α}^{'}$ belongs to the corresponding eigenspace. Then $γ^{'} Z - Z = \sum_{α} Y_{α}$ , where $Y_{α} = α Z_{α}^{'} + (α - 1) Z_{α}$ .
From our hypothesis on $Z$ , there is some $α$ so that $Z_{α} / \in g (E)_{x, (- t) +}$ . From Lemma 4.6 , $s (γ^{'}) = s (γ)$ . Therefore, from Lemma 8.1 it will be enough to show that $Y_{α} / \in g (E)_{x, (- t + s (γ)) +}$ . Note that from Hypothesis 7.5 ( 3 ), $Z^{'} \in g_{x, (- t + s (γ)) +}$ .
Therefore, Lemma 8.1 implies that $Z_{α}^{'} \in g (E)_{x, (- t + s (γ)) +}$ .
Suppose $ν (α) \geq 0$ . Then $α Z_{α}^{'} \in g (E)_{x, (- t + s (γ)) +}$ . By the definition of $s (γ)$ , $(α - 1) Z_{α} / \in g (E)_{x, (- t + s (γ)) +}$ , and our conclusion follows.
Now suppose that $ν (α) < 0$ . Let $q = ν (α) = ν (α - 1)$ . Then $α Z_{α}^{'} \in g (E)_{x, (q - t + s (γ)) +}$ and $(α - 1) Z_{α} / \in g (E)_{x, (q - t) +} \supset g (E)_{x, (q - t + s (γ)) +}$ , so $Y_{α} / \in g (E)_{x, (q - t + s (γ)) +} \supset g (E)_{x, (- t + s (γ)) +}$ . □

Proposition 9.2. Let

r \in R

x \in ℬ (M, k)

X \in g

, and

γ^{'} \in γ M_{x, s (γ) +}

Write

X = Y + Z

according to the decomposition in Corollary 8.2 . If

^{γ^{'}} X - X \in g_{x, (- r) +}

, then

Z \in g_{x, (- r - s (γ)) +}

Proof. For some $t \in R$ , $Z \in m^{⊥} \cap (g_{x, t} \ g_{x, t +})$ . By Lemma 9.1 , $γ^{'} Z - Z \notin g_{x, (t + s (γ^{'})) +}$ . On the other hand, since $γ^{'} X - X \in g_{x, (- r) +}$ decomposes as $(γ^{'} Y - Y) + (γ^{'} Z - Z) \in m_{x, (- r) +} \oplus (m^{⊥} \cap g_{x, (- r) +})$ , we have $γ^{'} Z - Z \in g_{x, (- r) +}$ . Thus $t + s (γ^{'}) > - r$ , which implies that $Z \in g_{x, t} \subseteq g_{x, (- r - s (γ^{'})) +}$ . Finally, recall from Lemma 4.6 that $s (γ^{'}) = s (γ)$ . □

Proposition 9.3. If

x \in ℬ (M, k)

r \in R

, and

Y \in m_{x, r} \ m_{x, r +}

, then

(Y + g_{x, r +}) \cap N \neq \emptyset if and only if (Y + m_{x, r +}) \cap N_{m} \neq \emptyset .

Proof. This follows from Corollary 3.2.6 of [2] and Hypothesis 7.2 . □

Definition 9.4. Let

0 < r \leq t \leq 2 r

. A character

d \in (G_{x, r} / G_{x, t})^{\land}

is called degenerate if the coset that corresponds to

d

under the isomorphism 3.3 contains nilpotent elements. One can similarly define what it means for a character of

(M_{x, r} / M_{x, t})

to be degenerate.

Lemma 9.5. Let

x \in ℬ (M, k)

q, t \in \tilde{R}

, and suppose

0 < q \leq t \leq 2 q

Let

d \in (G_{x, q} / G_{x, t})^{\land}

be a character such that

[d : γ^{'} d] \neq 0

for some

γ^{'} \in γ M_{x, s (γ) +}

. Suppose that for some

v > q + s (γ)

d

is trivial on

M_{x, v}

. Then

d

is trivial on

G_{x, v}

Proof. By 3.3 , $d$ corresponds to some coset $ϒ \in g_{x, (- t +)}^{*} / g_{x, (- q) +}^{*}$ . By Lemma 1.8.1 of [1] , $ϒ \cap γ^{'} ϒ \neq \emptyset$ . Pick $X \in ϒ$ such that $γ^{'} X \in ϒ \cap γ^{'} ϒ$ . Then $γ^{'} X - X \in g_{x, (- q) +}^{*}$ . Write $X = Y + Z$ with respect to the decomposition in Corollary 8.2 . By Proposition 9.2 , $Z \in g_{x, (- q - s (γ)) +}^{*} \subseteq g_{x, (- v) +}^{*}$ . Hence, $X + g_{x, (- v) +}^{*} = Y + g_{x, (- v) +}^{*}$ .
Since $d$ is trivial on $M_{x, v}$ , we have that $Y \in m_{x, (- v) +}^{*}$ . Therefore $X \in g_{x, (- v) +}^{*}$ , implying that $d$ is trivial on $G_{x, v}$ . □

Remark 9.6. In fact, the proof shows that

d

is trivial on a slightly larger subgroup that corresponds to the lattice

m_{x, s^{+}} + (m^{⊥} \cap g_{x, s})

(for some

s

such that

m_{x, s^{+}} = m_{x, v}

) via 3.2 .

10 Harmonic analysis

From distributions on $G$ to distributions on $M$ .

For the distribution

Θ_{π}

(or any other distribution) on

G

, we follow Harish-Chandra [10,§18] (see also [18] ) to define a distribution

θ

M

that captures the behavior of

Θ_{π}

near

γ

Fix

r \geq 0

. The proof of Proposition 1 of [18] is valid for general reductive groups, so we may apply it to see that the following (surjective) map is everywhere submersive:

\begin{matrix} G \times M_{r}^{'} & \overset{p}{⟶} & G (γ M_{r}^{'}) \end{matrix}

\begin{matrix} (g, m) & \mapsto & g γ m g^{- 1} . \end{matrix}

Theorem 10.1. There exists a unique, surjective, linear map

\begin{matrix} C_{c}^{\infty} (G \times M_{r}^{'}) & ⟶ & C_{c}^{\infty} (G (γ M_{r}^{'})) \end{matrix}

\begin{matrix} α & \mapsto & f_{α}, \end{matrix}

such that for all

F \in C_{c}^{\infty} (G)

\int_{G} F (x) f_{α} (x) d x = \int_{G \times M_{r}^{'}} F (g γ m g^{- 1}) α (g, m) d g d m,

and

supp (f_{α}) \subset p (supp (α))

Proof. This is Theorem 11, p. 49, of [8] applied to the map $p$ above □

Remark 10.2. The set

G (γ M_{r}^{'})

is an open (since

p

is submersive),

G

-invariant neighborhood of

γ

G

, so

C_{c}^{\infty} (G (γ M_{r}^{'})) \subset C_{c}^{\infty} (G)

. Note that the set

G (γ M_{r})

is not necessarily open.

Fix an open compact subgroup

K

G

; let

1_{K}

denote its characteristic function.

We have the following diagram:

\begin{matrix} C_{c}^{\infty} (M_{r}) & \overset{restr.}{⟶} & C_{c}^{\infty} (M_{r}^{'}) & ⟶ & C_{c}^{\infty} (G \times M_{r}^{'}) & ⟶ & C_{c}^{\infty} (G (γ M_{r}^{'})) \end{matrix}

\begin{matrix}  \end{matrix}

\begin{matrix} f & \mapsto & f & \mapsto & α & \mapsto & f_{α} \end{matrix}

where the first arrow is the restriction map; the second arrow is given by

α (g, m) : = 1_{K} (g) f (m)

; and the third arrow is the map of Theorem 10.1 . Note that the support of

f_{α}

is contained in

K (γ M_{r}^{'})

, an open,

K

-invariant neighborhood of

γ

G

Let

Θ = Θ_{π}

denote the distribution character of

(π, V)

Definition 10.3. Define the distribution

θ

M_{r}

θ (f) : = Θ_{π} (f_{α})

Lemma 10.4. Normalize the measure on

G

so that

K

has total measure

1

. Then for each

f \in C_{c}^{\infty} (M_{r})

θ (f) = \sum_{d \in K^{\land}} \int_{M_{r}} Θ_{d} (γ m) f (m) d m,

where the sum is over a finite set (which depends on

f

) of representations.

Note that a similar statement appears on p. 78 of [10] .

Proof. Combine equation 6.1 with

\begin{matrix} Θ_{d} (f_{α}) & : = \int_{G} Θ_{d} (x) f_{α} (x) d x \end{matrix}

\begin{matrix} = \int_{G \times M_{r}^{'}} Θ_{d} (g γ m g^{- 1}) 1_{K} (g) f (m) d g d m \end{matrix}

\begin{matrix} = \int_{K \times M_{r}^{'}} Θ_{d} (k γ m k^{- 1}) f (m) d k d m \end{matrix}

\begin{matrix} = \int_{M_{r}^{'}} Θ_{d} (γ m) f (m) d m (by Lemmaconjlem 6.2) \end{matrix}

\begin{matrix} = \int_{M_{r}} Θ_{d} (γ m) f (m) d m . □ \end{matrix}

\begin{matrix}  \end{matrix}

For the following Lemma, note that

K (γ M_{r}^{''})

is a

K

-invariant neighborhood of

γ

G reg

, and that

K (γ M_{r}^{''})

is dense in

K (γ M_{r}^{'}) \supset supp (f_{α})

Lemma 10.5. The distribution

θ

is represented on

M_{r}^{''}

by the function

θ (m) : = Θ_{π} (γ m)

Proof. For all

f \in C_{c}^{\infty} (M_{r})

\begin{matrix} θ (f) = Θ_{π} (f_{α}) & : = \int_{G reg} Θ_{π} (x) f_{α} (x) d x \end{matrix}

\begin{matrix} = \int_{K (γ M_{r}^{''})} Θ_{π} (x) f_{α} (x) d x \end{matrix}

\begin{matrix} = \int_{K \times M_{r}^{''}} Θ_{π} (k γ m k^{- 1}) f (m) d k d m \end{matrix}

\begin{matrix} = \int_{M_{r}^{''}} Θ_{π} (γ m) f (m) d m . □ \end{matrix}

\begin{matrix}  \end{matrix}

Review of the Fourier transform

We recall the following from, for example, §4.1 of [2] . Let

d X

be a Haar measure on

m

. For any

C_{c}^{\infty} (m)

, we define the Fourier transform

\hat{f} \in C_{c}^{\infty} (m^{*})

f

\hat{f} (χ) = \int_{m} f (X) \cdot Λ (χ (X)) d X

for

χ \in m^{*}

. Let

d χ

be a Haar measure on

m^{*}

. For

f \in C_{c}^{\infty} (m^{*})

we use the natural identification of

m^{* *}

with

m

and define the Fourier transform

\hat{f} \in C_{c}^{\infty} (m)

\hat{f} (X) = \int_{m^{*}} f (χ) \cdot Λ (χ (X)) d χ

for

X \in m

. We normalize the measures

d X

and

d χ

so that for

X \in g

and

f \in C_{c}^{\infty} (m)

\begin{matrix} \hat{\hat{f}} (X) = f (- X) . \end{matrix}

(10.6)

Recall that, from Hypothesis 7.4 , we can (and eventually will) identify

m

with its linear dual

m^{*}

. With this identification, the Fourier transform becomes a map from

C_{c}^{\infty} (m)

to itself. Given our normalization of measures, we have that for

x \in ℬ (M, k)

and

r \in \tilde{R}

[m_{x, r}]^{\land} = [m_{x, (- r) +}^{*}]

From distributions on $M$ to distributions on $m^{*}$ .

Using

r

and

e

as in Hypothesis 7.5 , we now define a distribution

\hat{θ}

m^{*}

(compare [6,§2.1] ).

Definition 10.7. For

f \in C_{c}^{\infty} (m^{*})

, define

\hat{θ} (f) : = θ (\hat{f} |_{m_{r}} \circ e^{- 1})

Remark 10.8. For

x \in ℬ (M, k)

f \in C (m_{x, - s}^{*} / m_{x, (- r) +}^{*})

if and only if

\hat{f} \in C (m_{x, r} / m_{x, s +}) \subset C_{c}^{\infty} (m_{r})

. Hence in this case

\hat{θ} (f) = θ (\hat{f} \circ e^{- 1})

Some interesting spaces

The following were defined in [6,§2.1] .

Definition 10.9. For any

M

-invariant subset

S

m

m^{*}

, let

J (S)

denote the space of

M

-invariant distributions supported on

S

Definition 10.10. Suppose

- s \leq - r

. Define the spaces of distributions

\tilde{J} (m)_{x, - s, (- r) +} = {T \in J (m) | for f \in C (m_{x, - s} / m_{x, (- r) +}), if T (f) \neq 0 then supp (f) \cap (N_{m} + m_{x, (- s) +}) \neq \emptyset},

and

\tilde{J} (m)_{(- r) +} = ⋂ x \in ℬ (M, k) ⋂ - s \leq - r \tilde{J} (m)_{x, - s, (- r) +} .

Definition 10.11. Define the space of functions

D (m)_{(- r) +} : = \sum x \in ℬ (M, k) C_{c} (m / m_{x, (- r) +}) .

Remark 10.12. One can define

\tilde{J} (m^{*})_{x, - s, (- r)^{+}}

\tilde{J} (m^{*})_{(- r) +}

, and

D (m^{*})_{(- r) +}

similarly.

Remark 10.13.

f \in C_{c}^{\infty} (m_{r}^{*})

if and only if

\hat{f} \in D (m)_{(- r) +}

(see Definition 4.2.1 and Lemma 4.2.3 of [2] ).

T

is a distribution on

m

, then we let

{res}_{D (m)_{(- r) +}} T

denote the restriction of

T

D (m)_{(- r) +}

. The following homogeneity result was proved by DeBacker [6,Theorem2.1.5] . From a remark in the introduction to loc. cit., the result does not require that

M

be connected.

Theorem 10.14.

{res}_{D (m)_{(- r) +}} \tilde{J} (m)_{(- r) +} = {res}_{D (m)_{(- r) +}} J (N_{m}) .

11 The Main Theorem

Recall that we are assuming the hypotheses in § 7 . Let

\hat{θ}

be as in definition 10.7 .

Theorem 11.1. Let

r > max {ρ (π), 2 s (γ)}

. Then

\hat{θ} \in \tilde{J} (m^{*})_{(- r) +}

Proof. It is enough to show that

\hat{θ} \in \tilde{J} (m^{*})_{x, - s, (- r) +}

for all

x \in ℬ (M, k)

and all

s, r \in R

such that

s \geq r

. Fix

x \in ℬ (M, k)

and

s \geq r

, and take

f \in C (m_{x, - s}^{*} / m_{x, (- r) +}^{*})

. Suppose

0 \neq \hat{θ} (f)

. We need to show that

supp (f) \cap (N_{m}^{*} + m_{x, (- s) +}^{*}) \neq \emptyset

. By the linearity of

\hat{θ}

, it suffices to show this for

f = [Y + m_{x, (- r) +}^{*}]

, where

Y \in m_{x, - s}^{*}

. In other words, it suffices to show that the character

χ : = e^{- 1} \circ Λ_{Y}

M_{x, s} / M_{x, s +}

is degenerate, where

Λ_{Y} : = Λ \circ Y

. We have

\hat{f} (W) = Λ_{Y} (W) [m_{x, r}] (W) = Λ_{Y} (W) \sum \bar{Z} \in m_{x, r} / m_{x, s} [\bar{Z}] (W) .

Thus

0 \neq \hat{θ} (f) = θ (\hat{f} \circ e^{- 1})

implies that for some

Z \in m_{x, r}

0 \neq θ (h)

, where

h \in C_{c}^{\infty} (M_{r})

is defined by

h (e (W)) = Λ_{Y} (W) [Z + m_{x, s}] (W)

. Using Lemma 10.4 with

r^{'} : = r - s (γ)

, we get

0 \neq θ (h) = \sum_{d \in G_{x, r^{'}}^{\land}} \int_{M_{r}} Θ_{d} (γ m) h (m) d m .

Thus for some

d \in G_{x, r^{'}}^{\land}

\begin{matrix} 0 \neq \int_{M_{r}} Θ_{d} (γ m) h (m) d m = \int_{M_{x, r}} Θ_{d} (γ m) h (m) d m, \end{matrix}

(11.2)

where the last equality holds because

h

is supported on

M_{x, r}

Pick minimal

t \in R

such that

d

is trivial on

G_{x, t +}

. Let

q = max {r^{'}, (\frac{t}{2}) +}

Since

q \geq r^{'}

, one can restrict

d

G_{x, q}

. Since the group

G_{x, q} / G_{x, t +}

is abelian, this restriction decomposes into a finite sum of irreducible, one-dimensional representations

d_{1} \oplus \dots \oplus d_{n}

. From equation 11.2 and Remark 6.3 , we see that for some

i

, and for all

v > s

\begin{matrix} 0 & \neq \int_{M_{x, r}} Θ_{d, d_{i}} (γ m) h (m) d m \end{matrix}

\begin{matrix} = \sum_{\dot{n} \in M_{x, r} / M_{x, v}} \int_{M_{x, v}} Θ_{d, d_{i}} (γ \dot{n} m) h (\dot{n} m) d m \end{matrix}

\begin{matrix} = \sum_{\dot{n} \in M_{x, r} / M_{x, v}} h (\dot{n}) \int_{M_{x, v}} Θ_{d, d_{i}} (γ \dot{n} m) d m, \end{matrix}

\begin{matrix}  \end{matrix}

where we think of each sum as running over a set of coset representatives for

M_{x, r} / M_{x, v}

, and in the last line above we use the fact that

h

is constant on

M_{x, s +}

Therefore, for some

\dot{n}

\begin{matrix} 0 \neq \int_{M_{x, v}} Θ_{d, d_{i}} (γ \dot{n} m) d m . \end{matrix}

(11.3)

If we assume that

v \geq q

, then we may apply Lemma 6.5 to see that

d_{i}

is trivial on

M_{x, v}

. Moreover, 11.3 implies that

Θ_{d, d_{i}} (γ^{'}) \neq 0

for some

γ^{'} \in γ M_{x, s (γ) +}

, which by Proposition 6.4 means that

0 \neq [d_{i} : γ^{'} d_{i}]

. If we further assume that

v > q + s (γ)

, then we may apply Lemma 9.5 to see that

d_{i} |_{G_{x, v}} \equiv 1

. Since

d

is an irreducible representation of

G_{x, r^{'}}

, it follows that

G_{x, r^{'}}

permutes the

d_{i}

's transitively. Therefore,

d

is trivial on

G_{x, v}

, so

v > t

. Since this is true for all

v

satisfying

v > s

and

v > q + s (γ)

, we see that

\begin{matrix} 0 < t \leq max {s, q + s (γ)} . \end{matrix}

(11.4)

We now use this inequality to prove four others:

\begin{matrix} s & > (\frac{t}{2}) + \end{matrix}

(11.5)

\begin{matrix} r + s & > t \end{matrix}

(11.6)

\begin{matrix} s & > q \end{matrix}

(11.7)

\begin{matrix} s & \geq t . \end{matrix}

(11.8)

\begin{matrix}  \end{matrix}

The first two of these follow trivially from the last. However, we prove them independently because we want to isolate the one part of this paper, the proof of 11.8 , that relies on the hypothesis that

r > 2 s (γ)

Note that 11.5 is obvious in the case where

t \leq s

. So assume that

t \leq q + s (γ)

Recall that

q

is either

r^{'}

(\frac{t}{2}) +

. If

q = r^{'}

, then

s \geq r = q + s (γ) \geq t > t / 2 +

. If

q = (\frac{t}{2}) +

, then

t \leq (\frac{t}{2} +) + s (γ)

. Since

t \in R

t \leq t / 2 + s (γ)

, so

t / 2 \leq s (γ) < r \leq s

Since

s \in R

, we have 11.5 .

To prove 11.6 , note that 11.5 implies that

s (γ) + s > (\frac{t}{2} +) + s (γ)

, so

r + s > (\frac{t}{2} +) + s (γ)

. Since

r + s > r

, we have

r + s > max {r, \frac{t}{2} + s (γ) +} = q + s (γ)

. Since

r + s > s

, we have

r + s > max {s, q + s (γ)} \geq t

To prove 11.7 , note that

s \geq r > r^{'}

. From 11.5 , we conclude that

s > max {r^{'}, \frac{t}{2} +} = q

To prove 11.8 , we use 11.4 to reduce to the case where

q + s (γ) \geq t

. If

q = r^{'}

, then

s \geq r = r^{'} + s (γ) = q + s (γ) \geq t

. If

q = \frac{t}{2} +

, then since

q + s (γ) \geq t

, we have

s (γ) + \geq \frac{t}{2}

. Since

s (γ) \in R

s (γ) \geq \frac{t}{2} +

. Therefore (using the hypothesis that

r > 2 s (γ)

), we have

s \geq r \geq 2 s (γ) + = (s (γ) +) + s (γ) \geq (\frac{t}{2} +) + s (γ) = q + s (γ) \geq t .

We have

\begin{matrix} 0 & \neq \int_{M_{x, r}} Θ_{d, d_{i}} (γ m) h (m) d m \end{matrix}

\begin{matrix} = \int_{m_{x, r}} Θ_{d, d_{i}} (γ e (W)) Λ_{Y} (W) [Z + m_{x, s}] (W) d W \end{matrix}

\begin{matrix} = Λ_{Y} (Z) \int_{m_{x, s}} Θ_{d, d_{i}} (γ e (Z + W)) Λ_{Y} (W) d W . \end{matrix}

\begin{matrix}  \end{matrix}

Now let

z : = e (Z)

. From 11.6 ,

d_{i}

is trivial on

M_{x, r + s}

. Apply Hypothesis 7.5 ( 1 ) together with Remark 6.3 to obtain:

0 \neq \int_{m_{x, s}} Θ_{d, d_{i}} (γ z e (W)) Λ_{Y} (W) d W = \int_{M_{x, s}} Θ_{d, d_{i}} (γ z m) χ (m) d m .

From 11.7 and Lemma 6.5 ,

0 \neq [\bar{χ} : d_{i}]

. From 11.8 ,

d_{i}

is trivial on

G_{x, s +}

. By Remark 9.6 , the restriction

\tilde{d}

d_{i}

G_{x, s}

is represented by a coset

Y + g_{x, (- s) +}^{*}

where

Y \in m_{x, - s}^{*}

. Since

s > ρ (π)

, Theorem 3.5 of [15] implies that

\tilde{d}

is degenerate.

Thus,

(Y + g_{x, (- s) +}^{*}) \cap N^{*} \neq \emptyset

. Use Proposition 9.3 to conclude that

(Y + m_{x, (- s) +}^{*}) \cap N_{m}^{*} \neq \emptyset

, and hence that

\bar{χ} = d_{i} |_{M_{x, s}} = \tilde{d} |_{M_{x, s}}

is degenerate. Thus,

χ

, is degenerate.

□

From now on, use Hypothesis 7.4 to identify

m_{x, r}^{*}

with

m_{x, r}

for all

x \in ℬ (M, k)

and all

r \in \tilde{R}

. For

O \in O_{m} (0)

, let

μ_{O}

denote the corresponding nilpotent orbital integral and let

{\hat{μ}}_{O}

denote its Fourier transform (both are distributions).

From Hypothesis 7.6 and work of Huntsinger (see Theorem A.1.2 of [3] ), it is known that

{\hat{μ}}_{O}

is represented by a locally constant function (which we will also denote

{\hat{μ}}_{O}

) on

m reg

. (When

k

has characteristic zero, this is a result of Harish-Chandra [10,Theorem4.4] .)

Corollary 11.9. Let

r > max {ρ (π), 2 s (γ)}

. Then

θ (f \circ e^{- 1}) = \sum O \in O_{m} (0) c_{O} {\hat{μ}}_{O} (f) for all f \in C_{c}^{\infty} (m {reg}_{r}),

where

c_{O} = c_{O, γ} (π)

are complex constants that depend on

O

γ

and

π

Proof. Let

f \in C_{c}^{\infty} (M_{r})

. Then by Remark 10.13 ,

\hat{f} \in D (m)_{(- r) +}

. Let

\overset{ˇ}{\hat{f}} (X) = \hat{f} (- X)

. For all

O \in O_{m} (0)

, let

- O

denote

{X \in m | - X \in O}

, and note that

- O \in O_{m} (0)

. Then for some coefficients

{c_{O} | O \in O_{m} (0)}

, we have

\begin{matrix} θ (f \circ e^{- 1}) & = \hat{θ} (\overset{ˇ}{\hat{f}}) & byeqn:fourier_inversion 10.6 \end{matrix}

\begin{matrix} = \sum O \in O_{m} (0) c_{- O} μ_{- O} (\overset{ˇ}{\hat{f}}) & by Theoremshomog_thm 10.14andmain_thm 11.1 \end{matrix}

\begin{matrix} = \sum O \in O_{m} (0) c_{O} μ_{O} (\hat{f}) \end{matrix}

\begin{matrix} = \sum O \in O_{m} (0) c_{O} {\hat{μ}}_{O} (f) . & □ \end{matrix}

\begin{matrix}  \end{matrix}

Corollary 11.10. Let

r > max {ρ (π), 2 s (γ)}

. Then

Θ_{π} (γ e (Y)) = \sum O \in O_{m} (0) c_{O} {\hat{μ}}_{O} (Y)

for all

Y \in m_{r}^{''} : = e^{- 1} (M_{r}^{''})

Proof. For $m \in M_{r}^{''}$ , we have $γ m \in G reg$ . Let $T = C_{G} (γ m)^{\circ}$ . From Lemmas 1 and 2 of [5] , $0 \neq det ((Ad (γ m) - 1)_{g / t})$ . Since $Ad (γ m) = Ad (γ) Ad (m) = Ad (m)$ on $m / t$ , $0 \neq det ((Ad (m) - 1) |_{m / t})$ , and so $m \in M reg$ . Thus, $M_{r}^{''} \subset M reg$ , and thus $m_{r}^{''} \subset m reg$ , and so the right-hand side of the equation makes sense. Since $γ M_{r}^{''} \subset G reg$ , the left-hand side makes sense. The result now follows from Corollary 11.9 and Lemma 10.5 . □

Corollary 11.11. Let

r > max {ρ (π), 2 s (γ)}

. Then

Θ_{π} (g γ e (Y) g^{- 1}) = \sum O \in O_{m} (0) c_{O} {\hat{μ}}_{O} (Y) for all Y \in m_{r}^{''}, g \in G .

Proof. This follows from Corollary 11.10 and the $G$ -invariance of $Θ_{π}$ . □

Remark 11.12. When

γ

is regular, we have that

M^{\circ}

is a torus, and so the only nilpotent orbit in

m

is the

0

orbit. Thus in this case there is only one orbital integral in the character expansion and its Fourier transform is the identity function. This means that the domain of validity of the local character expansion near a regular semisimple element is a domain on which

Θ_{π}

is constant. Thus we recover a generalization of the main result of [13] .

Remark 11.13. It would be desirable, for applications of motivic integration to character theory, to have a version of Theorem 11.1 (and thus of its corollaries) that is valid under the weaker hypothesis that

r > max {ρ (π), s (γ)}

. In order to obtain such a theorem, one would have to replace the one part of the proof of Theorem 11.1 that assumes

r > 2 s (γ)

: the proof of inequality 11.8 . This inequality allows us to apply Remark 9.6 , a slight strengthening of Lemma 9.5 , to the character

d_{i}

. However, if we had a version of Lemma 9.5 strong enough to apply directly to the representation

d

(which is not necessarily one dimensional), then 11.8 would be unnecessary. We will pursue this matter elsewhere.

References

J. D. Adler, Refined anisotropic $K$ -types and supercuspidal representations, Pacific J. Math 185 (1998), 1–32.
J. D. Adler and S. DeBacker, Some applications of Bruhat-Tits theory to harmonic analysis on the Lie algebra of a reductive $p$ -adic group, Michigan Math. J., 50 (2002), no. 2, 263–286.
, Murnaghan-Kirillov theory for supercuspidal representations of tame general linear groups, J. Reine Angew. Math. 575 (2004).
J. D. Adler and A. Roche, An intertwining result for $p$ -adic groups, Canad. J. Math. 52 (2000), no. 3, 449–467.
L. Clozel, Characters of non-connected, reductive $p$ -adic groups, Canad. J. Math. 24 (1987), no. 1, 149–167.
S. DeBacker, Homogeneity results for invariant distributions of a reductive $p$ -adic group, Ann. Sci. École Norm. Sup. (4) 35 (2002), 391–422.
, Some applications of Bruhat-Tits theory to harmonic analysis on a reductive $p$ -adic group, Michigan Math. J. 50 (2002), no. 2, 241–261.
Harish-Chandra (notes by G. van Dijk), Harmonic analysis on reductive $p$ -adic groups, Lecture Notes in Mathematics, vol. 162, Springer, 1970.
, A submersion principle and its applications, Geometry and Analysis: Papers Dedicated to the Memory of V. K. Patodi, Indian Academy of Sciences, Bangalore, 1980, pp. 95–102.
, Admissible invariant distributions on reductive $p$ -adic groups, Notes by Stephen DeBacker and Paul J. Sally, Jr., University Lecture Series, 16, Amer. Math. Soc., 1999.
R. Howe, The Fourier transform and germs of characters (case of ${Gl}_{n}$ over a $p$ -adic field), Math. Ann. 208 (1974), 305–322.
, Some qualitative results on the representation theory of $G L_{n}$ over a $p$ -adic field, Pacific J. Math. 73 (1977), 479–538.
J. Korman, On the local constancy of characters, preprint, 2004.
A. Moy and G. Prasad, Unrefined minimal $K$ -types for $p$ -adic groups, Invent. Math. 116 (1994), 393–408.
, Jacquet functors and unrefined minimal $K$ -types, Comment. Math. Helvetici 71 (1996), 98–121.
G. Prasad, Galois fixed points in the Bruhat-Tits buildings of a reductive group, Bull. Soc. Math. France 129 (2001), 169–174.
G. Prasad and J.-K. Yu, On finite group actions on reductive groups and buildings, Invent. Math. 147 (2002), 545–560.
F. Rodier, Intégrabilité locale des caractères du groupe $G L (n, k)$ où $k$ est un corps local de caractéristique positive, Duke Math. J. 52 (1985), no. 3, 771–792.
G. Rousseau, Immeubles des groupes réductifs sur les corps locaux, Thèse, Université de Paris-sud, 1977.
J. Tits, Reductive groups over $p$ -adic fields, Automorphic forms, representations, and $L$ -functions (A. Borel and W. Casselman, eds.), Proc. Symp. Pure Math., vol. 33, part $1$ , AMS (1979), pp. 29–69.
J.-K. Yu, Construction of tame supercuspidal representations, J. Amer. Math. Soc. 14 (2001), no. 3, 579–622.
, Smooth models associated to concave functions in Bruhat-Tits theory, preprint, September, 2002.

E-mail address : adler@uakron.edu The University of Akron, Akron, OH 44325-4002 E-mail address : jkorman@math.toronto.edu The University of Toronto, Toronto, Ontario M5S 3G3

1 March, 2005

Jeffrey D. Adler

Jonathan Korman