Mackey Theory for p -adic Lie groups, , 2003.4

Keywords cosmooth projection valued measure, system of imperimitivity, cosmooth system of imprimitivity, smooth representation MR(2000) Subject Classification: 22E50, 20G05

0 Introduction

There are many methods for representations of the groups which are semi-direct products. For Heisenberg groups, there are Stone-Von Neumann Theorem and Weil's acta paper. For general cases, one can use Jacquet functor. In this paper, we consider smooth representations of a group

G = H \times_{t} A

with

H

a locally compact and totally disconnected group and

A

an Abelian topological group such that

A

and its dual

\hat{A}

are both locally compact and totally disconnected Abelian groups. Our method is different from Weil's paper and doesn't need Jacquet functor, but is along Mackey's idea. For Jacquet functor, [3] is a good reference.

Mackey has considered representations of Lie groups of type

G = H \times_{t} R^{n}

with

H

a Lie group. He relates the representations of

G

to systems of impremitivity Of (

H, R^{n}

) (cf. Lemma 1 and Lemma 2 in our case). There is a one to one correspondence between them. A system of imprimitivity of

(H, \hat{A})

means a representation

π

H

and a projection valued measure

P

based on

\hat{A}

such that

π (h) P_{E} π (h)^{- 1} = P_{h [E]}

where

h \in H

and

E

is a Borel subset of

\hat{A}

. In [7] , Varadarajan relates systems of impremitivity of

(H, \hat{A})

to “cocycles”. The calculate of “cocycles” is not an easy work. In our case, “cocycles” aren't needed, because the topology is better (totally disconnected) and the representations are smooth, i.e.,“locally constant”. We make the sheaf theory in the sense of Bernstein and Zelevinsky instead.

Section 1 gives the spectral decomposition of a smooth representation of

A

, which corresponds to Fourier analysis of

R^{n}

in real case. Section 2 states Mackey Theory of

p

-adic groups.

The sheaf theory of B-Z makes a projection valued measure

(P; \hat{A}, V)

i.e.

C_{c}^{\infty} (\hat{A})

-module

V

into a sheaf on

\hat{A}

. By it, we change the representation space into the space of sections of the corresponding sheaf. We then change the sections into certain “compact” supported functions on

H

. Then we find that all of our representations are induced representations.

At last, we shall point out that all of our representations are complex and smooth, and that all functions are complex valued.

1 Spectral decomposition

1.1 A fact

Let

B

be a compact and totally non-connected Abelian group. Let

C_{l o c} (B)

denote the set of all locally constant functions on

B

, then

\hat{B}

, the dual of

B

, is contained in

C_{l o c} (B)

. We show that

\hat{B}

generates

C_{l o c} (B)

, or more precisely that every function in

C_{l o c} (B)

is a finite linear sum of elements of

\hat{B}

. To see this , we need only to show that

χ_{E}

for every open compact subset

E

is so.

Let

B_{1}

be an open subgroup such that

χ_{E}

is constant on every

x B_{1}

for

x \in B

We can regard

χ_{E}

as a function on

B / B_{1}

, which is a finite group. There are

n = [B : B_{1}]

elements

{\hat{b}}_{1}, . . ., {\hat{b}}_{n}

\hat{B}

such that

{\hat{b}}_{1}, . . ., {\hat{b}}_{n}

are all characters of

B / B_{1}

. Then

χ_{E}

is a linear sum of

{\hat{b}}_{1}, . . ., {\hat{b}}_{n}

. Therefore, we see that

\hat{B}

generates

C_{l o c} (B)

1.2 Cosmooth projection valued measure and spectral decomposition

Let

A

and

\hat{A}

, the dual of

A

, be locally compact and totally non-connected Abelian groups. We will make this assumption in the following.

A = Q_{p}

is such an example, but

Q_{p}^{\times}

is not.

Let

U

be a compact open subgroup of

A

, then the dual of

A / U

U^{⊥} = {\hat{a} \in \hat{A} | \forall u \in U, < \hat{a}, u > = 1}

. Since

A / U

is discrete,

U^{⊥}

is a compact group.

Since the topology of

\hat{A}

is the open-compact topology,

U^{⊥}

is an open subgroup of

\hat{A}

. Therefore

U^{⊥}

is compact open subgroup of

\hat{A}

Let

(π, V)

be a smooth representation of

A

. Fix a vector

v \in V

. There is a compact open subgroup

U

A

which fixes

v

. Let

V^{U}

be the subspace whose vectors are fixed by

U

. Then

V^{U}

is stable under

A

. We regard

A / U

as functions on

U^{⊥}

. By the result of section 1.1,

A / U

generates

C_{l o c} (U^{⊥})

, so we can extend

π | V^{U}

to a representation

π^{U}

of the algebra

C_{l o c} (U^{⊥})

. Write

P_{E}^{U}

for

π^{U} (χ_{E})

, where

E

is an open subset of

U^{⊥}

. We see that

\begin{matrix} P_{U^{⊥}}^{U} = I, P_{φ}^{U} = 0 \end{matrix}

(1.1.1)

\begin{matrix} P_{E}^{U} P_{F}^{U} = P_{E \cap F}^{U} \end{matrix}

(1.1.2)

\begin{matrix} P_{\cup E_{i}}^{U} = \sum P_{E_{i}}^{U} \end{matrix}

(1.1.3).

where

E, F, E_{i}

are open subsets of

U^{⊥}

and

E_{i} \cap E_{j} = φ

unless

i = j

. We call such a system

(P; U^{⊥}, V^{U})

a projection valued measure based on

U^{⊥}

We have

\begin{matrix} π (a) | V^{U} = \int_{U^{⊥}} x (a) d P^{U} (x) \end{matrix}

(1.2).

It is easy to see that there exists an unique

(P; U^{⊥}, V^{U})

such that (1.2) is satisfied, by applying the basic fact of section 1.1.

We extend

P^{U}

to a projection valued measure based on

\hat{A}

by setting

P^{U} (E) = P^{U} (E \cap U^{⊥})

. Then it is easy to see that

\begin{matrix} P_{\hat{A}}^{U} = I, P_{φ}^{U} = 0 \end{matrix}

(1.3.1)

\begin{matrix} P_{E}^{U} P_{F}^{U} = P_{E \cap F}^{U} \end{matrix}

(1.3.2)

\begin{matrix} P_{\cup E_{i}}^{U} = \sum P_{E_{i}}^{U} \end{matrix}

(1.3.3)

where

E, F, E_{i}

are open subsets of

\hat{A}

and

E_{i} \cap E_{j} = φ

unless

i = j

We can define

P^{U^{^{'}}}

for other compact open subgroup

U^{^{'}}

A

in the same way.

v \in V^{U} \cap V^{U^{^{'}}}

, then

π (a) v = \int x (a) (d P^{U} (x)) v,

π (a) v = \int x (a) (d P^{U^{^{'}}} (x)) v .

Let

\hat{v} \in \hat{V}

, the dual of

V

.Then

< π (a) v, \hat{v} > = \int x (a) < d P^{U} (x) v, \hat{v} >

= \int x (a) < d P^{U^{^{'}}} (x) v, \hat{v} >

Applying the fact in section 1.1 with

U^{⊥} \cdot U^{^{'} ⊥}

instead of

B

and the above formula, we see that for each

E

< P^{U} (E) v, \hat{v} > = < P^{U} (E \cap U^{⊥} \cdot U^{^{'} ⊥}) v, \hat{v} >

= < P^{U^{^{'}}} (E \cap U^{⊥} \cdot U^{^{'} ⊥}) v, \hat{v} > = < P^{U^{^{'}}} (E) v, \hat{v} >

Since

\hat{v}

is arbitrary,

\begin{matrix} P^{U} (E) v = P^{U^{^{'}}} (E) v \end{matrix}

(1.4).

By (1.4),we can patch all

P^{U}

to a

P

such that

\begin{matrix} P_{\hat{A}} = I, P_{φ} = 0 \end{matrix}

(1.5.1)

\begin{matrix} P_{E} P_{F} = P_{E \cap F} \end{matrix}

(1.5.2)

\begin{matrix} P_{\cup E_{i}} = \sum P_{E_{i}} \end{matrix}

(1.5.3)

where

E, F, E_{i}

are as in (1.3). Such a

P

, i.e. a

P

satisfying (1.5.1), (1.5.2) and (1.5.3) is called a projection valued measure.

Furthermore, for any given

v \in V

, there exists a compact open subset

E (v)

such that

\begin{matrix} P_{E} v = P_{E \cap E (v)} v \end{matrix}

(1.5.4)

We call a projection valued measure

(P; \hat{A}, V)

satisfying (1.5.4) a cosmooth projection valued measure.

Now, let

(P; \hat{A}, V)

be a cosmooth projection valued measure. For any

v \in V

, define

\begin{matrix} π (a) v = \int_{E (v)} x (a) d P (x) v \end{matrix}

(1.6).

We can show that

π (a) v

does not depend the choice of

E (v)

. In fact, for another choice

E^{^{'}} (v)

P_{E} v = P_{E \cap E (v) \cap E^{^{'}} (v)} v

and therefore (1.6) become

\begin{matrix} π (a) v = \int_{E (v) \cap E^{^{'}} (v)} x (a) d P (x) v \end{matrix}

(1.6.1)

So it is not depend on

E (v)

Write (1.6) simply as

\begin{matrix} π (a) = \int_{\hat{A}} x (a) d P (x) \end{matrix}

(1.6′).

For every compact open subgroup

E

\hat{A}

, by formula (1.5.1)-(1.5.3), we can define

π (f) v = \int_{E} f (x) d P (x) v, v \in P_{E} V

which defines a representation of the algebra

C_{l o c} (E)

P_{E} V

and therefore

π

is a representation of

A

P_{E} V

. So (1.6) defines a representation of

A

V

We obtain the main result of this section:

T h e o r e m

1. For a smooth representation

(π, V)

A

, there exists a unique cosmooth projection valued measure

(P; \hat{A}, V)

such that

π (a) v = \int_{\hat{A}} x (a) d P (x) v a \in A, v \in V .

Conversely, given a cosmooth projection valued measure

(P; \hat{A}, V)

, the above formula defines a smooth representation

π

A

Furthermore, we see that an operator on

V

commutes with

π

if and only if it commutes with

P

In the next part, (1.6') is always in the sense of (1.6).

2 Representation and system of imprimitivity

2.1 Semidirect product

Let

H

be a locally compact and totally disconnected group and

A

be as in section 1. Assume that there is a continuous homomorphism

t

H

into the automorphism group of

A

. We write

h [a]

simply for

t_{h} (a)

. We now define a group

G = H \times_{t} A

\begin{matrix} (h, a) (h^{^{'}}, a^{^{'}}) = (h h^{^{'}}, a t_{h} (a^{^{'}})) \end{matrix}

(2.1).

It is easy to verify that

G

is really a group with the identity

e = (e_{H}, e_{A})

Furthermore

\begin{matrix} (h, a)^{- 1} = (h^{- 1}, h^{- 1} [a]) \end{matrix}

(2.2).

G

is called the semidirect product of

H

and

A

relative to

t

. Since

t

is continuous,

G

becomes a topological group with the product topology.

A quick calculation shows that

\begin{matrix} (h, a) (h^{^{'}}, a^{^{'}}) (h, a)^{- 1} = (h h^{^{'}} h^{- 1}, a h [a^{^{'}}] t_{h h^{^{'}} h^{- 1}} [a^{- 1}]) \end{matrix}

(2.3).

It follows that

\tilde{A} = {(e_{H}, a) : a \in A}

is a closed normal subgroup of

G

, and that

\begin{matrix} (h, a) (e_{H}, a^{^{'}}) (h, a)^{- 1} = (e_{H}, a h [a^{^{'}}] a^{- 1}) \end{matrix}

(2.4).

We put

\tilde{H} = {(h, e_{A}) : h \in H},

then

\tilde{H}

is a closed subgroup of

G

. We identity

H

with

\tilde{H}

and

A

with

\tilde{A}

, then we have

\begin{matrix} G = A H \end{matrix}

(2.5.1),

\begin{matrix} {e} = A \cap H \end{matrix}

(2.5.2),

\begin{matrix} h [a] = h a h^{- 1} \end{matrix}

(2.5.3).

2.2 Representation of $G$ and system of imprimitivity

In this section, we relate a smooth representation of

G

to a cosmooth system of imprimitivity.

D e f i n i t i o n

. Let

X

be a continuous

H

-space. A system of imprimitivity for (

H

X

) acting on

V

is a pair

(π, P; V)

, where

π

is a smooth representation of

H

V

and

P (E \to P_{E})

is a projection valued measure based on

X

, such that they satisfy a relation:

\begin{matrix} π_{h} P_{E} π_{h^{- 1}} = P_{h . E} \end{matrix}

(2.6),

where,

h \in H

and

E

is an open subset of

X

. Furthermore, if

P

is cosmooth, then

(π, P; V)

is called cosmooth system of imprimitivity.

Two systems

(π, P; V)

and

(π^{^{'}}, P^{^{'}}; V^{^{'}})

based on the same

H

-space

X

are said to be equivalent if and only if there exists an isomorphism

T

from

V

V^{^{'}}

such that

\begin{matrix} π^{^{'}} (h) = T π (h) T^{- 1} \end{matrix}

(2.7.1),

\begin{matrix} P_{E}^{^{'}} = T P_{E} T^{- 1} \end{matrix}

(2.7.2),

where,

h \in H

and

E

is an open subset of

X

. We say that a cosmooth system of imprimitivity

(π, P; V)

is irreducible if and only if there is no subspace other than 0 and

V

which is invariant under all

P_{E}

and

π_{h}

We define a homomorphism

t^{^{'}}

H

to the the automorphism group of

\hat{A}

\begin{matrix} t_{h}^{^{'}} (\hat{a}) (a) = \hat{a} (t_{h^{- 1}} (a)) \end{matrix}

(2.8),

and we write simply

h [\hat{a}]

for

t_{h}^{^{'}} (\hat{a})

. Then

\hat{A}

becomes a continuous

H

-space.

π

is a smooth representation of

G

, then

π

restrictions to

A

and

H

are also smooth.

Lemma 1. Let

π_{1}

and

π_{2}

be smooth representations of

A

and

H

respectively in a vector space

V

, and let

P

be the corresponding cosmooth projection valued measure on

\hat{A}

for

π_{1}

. Then a necessary and sufficient condition such that there exists a smooth representation

π

G

V

whose restrictions to

A

and

H

are

π_{1}

and

π_{2}

respectively, is that

(π_{2}, P; V)

is a cosmooth system of imprimitivity for

H

based on

\hat{A}

. In this case,

π

is unique.

Proof. Let

π

be a smooth representation of

G

V

, and let

π_{1}

π_{2}

be the restrictions to

A

H

respectively. Now

\begin{matrix} h a h^{- 1} = h [a] \end{matrix}

(2.9)

so that

\begin{matrix} π_{2} (h) π_{1} (a) π_{2} (h)^{- 1} = π_{1} (h [a]) \end{matrix}

(2.10)

for all

(h, a) \in H \times A

. Let

P

be the corresponding cosmooth projection valued measure on

\hat{A}

for

π_{1}

. Now an easy calculation show that the projection valued measure for the representation

{a ⟶ π_{2} (h) π_{1} (a) π_{2} (h)^{- 1}}

A

{E ⟶ π_{2} (h) P_{E} π_{2} (h)^{- 1}}

, and that for the representation

{a ⟶ π_{1} (h [a])}

A

{E ⟶ P_{h [E]}}

. In view of the uniqueness of the cosmooth projection valued measure which corresponds to a representation of

A

, we infer that

\begin{matrix} π_{2} (h) P_{E} π_{2} (h)^{- 1} = P_{h [E]} \end{matrix}

(2.11),

(π_{2}, P; V)

is a cosmooth system of imprimitivity of

H

based on

\hat{A}

Now let us state with

π_{1}

π_{2}

and

P

such that

π_{2} (h) P_{E} π_{2} (h)^{- 1} = P_{h [E]},

then we gain (2.10). Define

π

G

π (a h) = π_{1} (a) π_{2} (h) .

Then (2.10) is enough to secure the fact that

π

is a representation. Since the restriction of

π

A

and

H

are smooth and

G

is equipped with the product topology,

π

is smooth, too.

The lemma just stated enables us to relate a smooth representation of

G

to a cosmooth system of imprimitivity of

H

based on

\hat{A}

. The following lemma tells us that the relation is one to one in the sense of equivalence.

Lemma 2. A smooth representation

π

G

V

is irreducible if and only if the corresponding cosmooth system of imprimitivity for

H

based on

\hat{A}

is irreducible. Two smooth representations of

G

are equivalent if and only if the corresponding cosmooth systems of imprimitivity are equivalent.

Proof. For the first assertion we need only to prove that any subspace

V_{1}

V

is invariant under

π_{1} = π | A

if and only if it is invariant under the corresponding cosmooth projection valued measure

P

based on

\hat{A}

V_{1}

is invariant under

P

, then by the definition (1.6),

V_{1}

is invariant under

π_{1}

. Now assume that

V_{1}

is invariant under

π_{1}

. Let

V_{1}^{⊥}

be the subspace of

\hat{V}

(the space of linear functions on

V

) which is zero on

V_{1}

. For any

v \in V_{1}, \hat{v} \in V_{1}^{⊥}

< π_{1} (a) v, \hat{v} > = 0

Now

\begin{matrix} < π_{1} (a) v, \hat{v} > = \int_{E (v)} x (a) < d P (x) v, \hat{v} > \end{matrix}

(2.12),

and the basic fact in section 1.1 tell us that if

v \in V_{1}

, then

< P (E) v, \hat{v} > = < P (E \cap E (v)) v, \hat{v} > = 0

for any open subset of

\hat{A}

, and any

\hat{v}

V_{1}^{⊥}

. Therefore

P (E) v \in V_{1}

. In other word,

V_{1}

is invariant under

P

For the second assertion, let

π^{i}

be smooth representations of

G

V^{i}

, and let

(π_{2}^{i}, P^{i}; V^{i})

be the corresponding cosmooth systems of imprimitivity, (i=1,2). Let

T

be a isomorphism from

V^{1}

V^{2}

. As in the proof of the lemma 1, the cosmooth projection valued measure corresponding to

T (π^{1} | A) T^{- 1}

T P^{1} T^{- 1}

. Therefore by the uniqueness stated in Theorem 1 shows that,

π^{2} | A = T (π^{1} | A) T^{- 1}

if and only if

P^{2} = T P^{1} T^{- 1}

. From this the second assertion follows.

Lemma 2 tells us that, to study smooth representations of

G

is equivalent to study the cosmooth systems of imprimitivity of

(H, \hat{A})

2.3 Sheaf

In this section, we use the concepts of presheaf and sheaf in the sense of Bernstein and Zelevinsky. We assume that

X

is a totally disconnected locally compact space and that

ℐ_{c}

is the set of all compact open subsets of

X

Let

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

be the sheaf of smooth complex valued functions on

X

with compact support. let

ℳ

be a sheaf of vector spaces over

X

with base

ℐ_{c}

. Then

ℳ

is naturally a sheaf of module for

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

We call a

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

-module

M

cosmooth if for every

m \in M

, there exists a compact open subset

U

X

such that

1_{U} m = m

We have the following important proposition. For a proof, see [3] .

Proposition 1. Let

M

be a cosmooth

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

-module. We associate a presheaf

ℳ

in the follow way. If

U \in ℐ_{c}

, let

ℳ (U) = 1_{U} \cdot M

. If

U \supseteq V,

with

U, V \in ℐ_{c},

we define a restriction map

ρ_{U, V} : ℳ (U) ⟶ ℳ (V)

ρ_{U, V} (m) = 1_{V} m

Then

ℳ

is a sheaf.

2.4 Irreducible smooth representation

Let

π

be an irreducible admissible representation of

G

and let

(π_{2}, P; V)

be the corresponding cosmooth system of imprimitivity of

H

based on

\hat{A}

(see lemma 1). Due to (1.5.1)-(1.5.4),

V

becomes a cosmooth

C_{c}^{\infty} (\hat{A})

-module by setting the action of

χ_{E}

V

to be

P_{E}

. We can associate a sheaf

V

V

via proposition 1.

H

has an action

Π_{2}

V

in the natural way, under which,

V (E)

is mapped to

V (h [E])

and

V_{x}

is mapped to

V_{h [x]}

Π_{2} (h)

D e f i n i t i o n

. Let

X

be a

T_{1}

H

-space.

X

is said to be a smooth

H

-space or in other word,

H

acts smoothly on

X

, if for any two points

x_{1}

x_{2}

X

, either

x_{1}

and

x_{2}

lie in the same orbit of

H

X

, or there is

H

-invariant open subset of

X

such that exact one of

x_{1}, x_{2}

lies in it.

Now, we add a condition that

H

acts smoothly on

\hat{A}

. Note that if

H

is a compact group, then it acts always smoothly on

\hat{A}

Lemma 3. Let

(π_{2}, P; V)

(π_{2}^{1}, P^{1}; V^{1})

and

(π_{2}^{2}, P^{2}; V_{2})

be three irreducible cosmooth systems of imprimitivity, and let

V

V^{1}

and

V^{2}

be the sheaves associated to them constructed by proposition 1. Then

s u p p (V)

lies on exact one orbit of

H

s u p p (V^{1}) \neq s u p p (V^{2})

, then

(π_{2}^{1}, P^{1}; V^{1})

and

(π_{2}^{2}, P^{2}; V_{2})

are two inequivalent cosmooth systems of imprimitivity.

Proof. We assert that $s u p p (V)$ lies on exact one $H$ -orbit. Otherwise, there are two orbits $H \hat{a_{1}}, H \hat{a_{2}} \subset s u p p (V)$ , then there is an $H$ -invariant open subset $\tilde{E}$ such that exact one of $H \hat{a_{1}}, H \hat{a_{2}}$ , say $H \hat{a_{1}}$ , lies in $\tilde{E}$ . Now, let $\tilde{V} = P_{\tilde{E}} V$ , then $\tilde{V}$ is a nontrivial subspace of $V$ , which is invariant under $(π_{2}, P)$ . This contradicts the irreducibility of $(π_{2}, P; V)$ .
Let $(π_{2}^{1}, P^{1}; V^{1}), (π_{2}^{2}, P^{2}; V^{2})$ be two irreducible cosmooth systems of imprimitivity.
If $s u p p (V^{1}), s u p p (V^{2})$ lie in two different $H$ -orbits $H x_{1}, H x_{2}$ . Suppose $\tilde{E}$ is a $H$ -invariant open subset such that exact one of these two orbits say $H x_{1}$ lies in it, then $P_{\tilde{E}}^{1} \neq 0$ , but $P_{\tilde{E}}^{2} = 0$ . Therefore $(π_{2}^{1}, P^{1}; V^{1}), (π_{2}^{2}, P^{2}; V^{2})$ are two inequivalent cosmooth systems of imprimitivity.

Now let

(π_{2}, P; V)

be an irreducible cosmooth system of imprimitivity, with

s u p p (V)

lying in an orbit

H x_{0}

. Let

H_{0}

be the stable subgroup of

x_{0}

H

. It is easy to see that

V_{x_{0}}

, denoted by

V_{0}

, is invariant under

H_{0}

. Let

π_{0}

denote the action of

H_{0}

V_{0}

. By proposition 1, we can identity the sections of

V

with the vectors in

V

. For every section

s

V

, define a function on

H

with value in

V_{0}

, by

\begin{matrix} {\vec{F}}_{s} (h) = Π_{2} (h) s (h^{- 1} [x_{0}]) \end{matrix}

(2.13).

Let

C_{c}^{\infty} (H / H_{0}, π_{0}, V_{0})

denote the space of locally constant functions

f

with values in

V_{0}

whose support is compact

m o d H_{0}

, and satisfies

\begin{matrix} f (h_{0} h) = π_{0} (h_{0}) f (h) \forall h_{0} \in H_{0} \forall h \in H \end{matrix}

(2.14).

Lemma 4.

\vec{F_{s}}

belongs to

C_{c}^{\infty} (H / H_{0}, π_{0}, V_{0})

Proof. It is easy to see that

\vec{F_{s}}

satisfies (2.14) and its support is compact

m o d H_{0}

Let

v_{s}

be the vector in

V

corresponding to

s

. Then there is a compact open subgroup

H_{s}

which fixes

v_{s}

. Note that

\begin{matrix} (π_{2} (h) s) (x) = Π_{2} (h) s (h^{- 1} [x]) . \end{matrix}

(2.15)

Therefore we have

\forall h \in H_{s},

Π_{2} (h) s (h^{- 1} [x]) = s (x) \forall x \in \hat{A} .

Especially,

\forall h \in H_{s}

{\vec{F}}_{s} (g h) = Π_{2} (g h) s (h^{- 1} g^{- 1} [x_{0}]) = Π_{2} (g) s (g^{- 1} [x_{0}]) = {\vec{F}}_{s} (g)

Thus

{\vec{F}}_{s} \in C_{c}^{\infty} (H / H_{0}, π_{0}, V_{0})

Conversely, for a function

f \in C_{c}^{\infty} (H / H_{0}, π_{0}, V_{0})

, we can define

\begin{matrix} {\overset{\leftarrow}{F}}_{f} (h [x_{0}]) = Π_{2} (h) f (h^{- 1}) \end{matrix}

(2.16).

By (2.14), it is well defined.

Lemma 5.

{\overset{\leftarrow}{F}}_{f}

is a section of

V

Proof. It is easy to see that it has compact support.

There is a compact open subgroup

H_{f}

such that for each

h_{f} \in H_{f}

f (h h_{f}) = f (h)

. Then (2.16) tells us that

\begin{matrix} Π_{2} (h_{f}) {\overset{\leftarrow}{F}}_{f} (x) = {\overset{\leftarrow}{F}}_{f} (h_{f} [x]) \forall h_{f} \in H_{f}, x \in H x_{0} \end{matrix}

(2.17).

We are now to prove

{\overset{\leftarrow}{F}}_{f}

is a section. Fix an

x \in H x_{0}

. We can select a section

s

such that

s (x) = {\overset{\leftarrow}{F}}_{f} (x)

. Let

H_{s}

be a compact open subgroup on

H

such that

s

is fixed by

H_{s}

. By (2.15), we gain

\begin{matrix} Π_{2} (h_{s}) s (x) = s (h_{s} [x]) \forall h_{s} \in H_{s}, x \in H x_{0} \end{matrix}

(2.18).

Comparing (2.17) and (2.18), we see that

s (h [x]) = {\overset{\leftarrow}{F}}_{f} (h [x]) \forall h \in H_{s} \cap H_{f} .

Thus

{\overset{\leftarrow}{F}}_{f}

is really a section.

It is obviously that

\overset{\leftarrow}{F} \vec{F}

and

\vec{F} \overset{\leftarrow}{F}

are both identity, or equivalently,

\overset{\leftarrow}{F} = {\vec{F}}^{- 1}

Now

(\vec{F} π_{2} \overset{\leftarrow}{F}, \vec{F} P \overset{\leftarrow}{F}; C_{c}^{\infty} (H / H_{0}, π_{0}, V_{0}))

is a cosmooth system of imprimitivity that is equivalent to

(π_{2}, P; V)

. Write

({\bar{π}}_{2}, \bar{P}; \bar{V})

for

(\vec{F} π_{2} \overset{\leftarrow}{F}, \vec{F} P \overset{\leftarrow}{F}; C_{c}^{\infty} (H / H_{0}, π_{0}, V_{0}))

A direct calculation implies that:

\forall f \in \bar{V}

\begin{matrix} ({\bar{π}}_{2} (h_{1}) f) (h) = f (h h_{1}) \end{matrix}

(2.19.1),

\begin{matrix} {\bar{P}}_{E} f = χ_{{\tilde{E}}^{- 1}} \cdot f \end{matrix}

(2.19.2),

where,

h_{1} \in H

\tilde{E} = {h \in H : h [x_{0}] \in E}

and

{\tilde{E}}^{- 1} = {h \in H; h^{- 1} \in \tilde{E}}

We see that

{\bar{π}}_{2}

is just the compact induced representation of

π_{0}

. Denote by

\bar{π}

, the representation of

G

corresponding to

({\bar{π}}_{2}, \bar{P}; \bar{V})

. A direct calculation shows:

\begin{matrix} (\bar{π} (a) f) (h_{1}) = < a, h_{1}^{- 1} [x_{0}] > \cdot f (h_{1}) \end{matrix}

(2.20.1),

\begin{matrix} (\bar{π} (h) f) (h_{1}) = f (h_{1} h) \end{matrix}

(2.20.2),

where

a \in A

h \in H

and

f \in \bar{V}

Lemma 6. The representation

\bar{π}

is equivalent to the representation

π

mentioned at the beginning of this subsection.

This is just a consequence of Lemma 2.

Let

(π_{2}^{1}, P^{1}; V^{1})

and

(π_{2}^{2}, P^{2}; V^{2})

be two irreducible cosmooth systems of imprimitivity, supported both on

H x_{0}

. Then it is easy to see that:

H o m ((π_{2}^{1}, P^{1}; V^{1}), (π_{2}^{2}, P^{2}; V^{2})) \sim = H o m ((Π^{1}, V^{1}), (Π^{2}, V^{2}))

\begin{matrix} \sim = H o m (π_{0}^{1}, π_{0}^{2}) \sim = H o m ({\bar{π}}^{1}, {\bar{π}}^{2}) \end{matrix}

(2.21)

Therefore

{\bar{π}}^{1}

(π^{1}, P^{1}; V^{1})

is irreducible if and only if

π_{0}^{1}

is irreducible.

Moreover,

(π_{2}^{1}, P^{1}; V^{1})

and

(π_{2}^{2}, P^{2}; V^{2})

are two equivalent irreducible cosmooth systems of imprimitivity if and only if

π_{0}^{1}

and

π_{0}^{2}

are two equivalent irreducible smooth representations.

Write

χ

for

x_{0}

now. For a representation

π_{0}

H_{χ}

, let

π_{0} \cdot χ

be the representation of

H_{χ} \times_{t} A

(π_{0} \cdot χ) (h \times a) = χ (a) π_{0} (h) \forall h \in H_{χ}, a \in A .

It is easy to check that

π_{0} \cdot χ

is a representation. Due to formulas (2.20.1) and (2.20.2), a simple calculate shows that

π

is equivalent to the compact induced representation

I n d_{H_{χ} \times_{t} A}^{G} (π_{0} \cdot χ)

G

Now, let

A

be a locally compact and totally disconnected Abelian group whose dual

\hat{A}

having the same property. Let

H

be a locally compact and totally disconnected group with a continuous action

t

A

, and a dual action

t^{'}

\hat{A}

. Let

G

H \times_{t} A

We obtain the main result:

T h e o r e m

2. For each orbit of

t^{'}

, select out a point

χ

on it. Every irreducible smooth representation

π_{0}

H_{χ}

gives an irreducible smooth representation

I n d_{H_{χ} \times_{t} A}^{G} (π_{0} \cdot χ)

G

. Every irreducible smooth representation of

G

is equivalent to one obtained in such a way. If furthermore

t^{'}

is smooth, the representations obtained in such a way are not equivalent with each other.

References

Bernstein, I.N., and Zelevinsky, A.V.: Induced representations of reductive $p$ -adic groups $I$ . Ann. Sci. Ecole Norm., Sup $4^{e}$ serie, t.10, 441-472 (1977)
Bernstein, I.N., and Zelevinsky, A.V.: Representations of the group $G L (n, F)$ where $F$ is a local Non-Archimedean Field. Russian Mathematical Surveys, no 3, 1-68 (1976)
Bump, D.: Automorphic Forms and Representations, Cambridge, Cambridge University Press, 1998
Jacquet, H.: Generic representation. In Non-Nommutative Harmonic Analysis, Lecture Notes in Mathematics, 587, 91-102 (1976)
Mackey, G.W.: Unitary Group representations in Physics, Probability, and Number Theory. Addison-Wesley publishing company, Inc., 1978, 1989
Weil, A.: Sur la formule de Siegel dans la théorie des groupes classiques. Acta Math 113, 1-87 (1965)
Varadarajan, V.S.: Geometry of Quantum Theory, New York, Springer-Verlag, 1985

Mackey Theory for $p$ -adic Lie groups

BinYong HSIE Department of Mathematics, PeKing University, BeiJing, 100871, P.R. China E-mail: tjxb@pku.edu.cn

2003.4