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$
of
$H$
into the automorphism group of
$A$
. We write
$h\left[a\right]$
simply for
${t}_{h}\left(a\right)$
. We now define a group
$G=H{\times}_{t}A$
by
$$\begin{array}{c}(h,a)({h}^{{}^{\prime}},{a}^{{}^{\prime}})=(h{h}^{{}^{\prime}},a{t}_{h}({a}^{{}^{\prime}}\left)\right)\end{array}$$ 
(2.1).

It is easy to verify that
$G$
is really a group with the identity
$e=({e}_{H},{e}_{A})$
.
Furthermore
$$\begin{array}{c}(h,a{)}^{1}=({h}^{1},{h}^{1}\left[a\right])\end{array}$$ 
(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{array}{c}(h,a)({h}^{{}^{\prime}},{a}^{{}^{\prime}})(h,a{)}^{1}=(h{h}^{{}^{\prime}}{h}^{1},ah\left[{a}^{{}^{\prime}}\right]{t}_{h{h}^{{}^{\prime}}{h}^{1}}\left[{a}^{1}\right])\end{array}$$ 
(2.3).

It follows that
$\stackrel{~}{A}=\left\{\right({e}_{H},a):a\in A\}$
is a closed normal subgroup of
$G$
, and that
$$\begin{array}{c}(h,a)({e}_{H},{a}^{{}^{\prime}})(h,a{)}^{1}=({e}_{H},ah\left[{a}^{{}^{\prime}}\right]{a}^{1})\end{array}$$ 
(2.4).

We put
$$\stackrel{~}{H}=\left\{\right(h,{e}_{A}):h\in H\},$$
then
$\stackrel{~}{H}$
is a closed subgroup of
$G$
. We identity
$H$
with
$\stackrel{~}{H}$
and
$A$
with
$\stackrel{~}{A}$
, then we have
$$\begin{array}{c}G=AH\end{array}$$ 
(2.5.1),

$$\begin{array}{c}\left\{e\right\}=A\cap H\end{array}$$ 
(2.5.2),

$$\begin{array}{c}h\left[a\right]=ha{h}^{1}\end{array}$$ 
(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.
$\mathbf{D}\mathbf{e}\mathbf{f}\mathbf{i}\mathbf{n}\mathbf{i}\mathbf{t}\mathbf{i}\mathbf{o}\mathbf{n}$
. Let
$X$
be a continuous
$H$
space. A system of imprimitivity for (
$H$
,
$X$
) acting on
$V$
is a pair
$(\pi ,P;V)$
, where
$\pi $
is a smooth representation of
$H$
on
$V$
and
$P(E\to {P}_{E})$
is a projection valued measure based on
$X$
, such that they satisfy a relation:
$$\begin{array}{c}{\pi}_{h}{P}_{E}{\pi}_{{h}^{1}}={P}_{h.E}\end{array}$$ 
(2.6),

where,
$h\in H$
and
$E$
is an open subset of
$X$
. Furthermore, if
$P$
is cosmooth, then
$(\pi ,P;V)$
is called cosmooth system of imprimitivity.
Two systems
$(\pi ,P;V)$
and
$({\pi}^{{}^{\prime}},{P}^{{}^{\prime}};{V}^{{}^{\prime}})$
based on the same
$H$
space
$X$
are said to be equivalent if and only if there exists an isomorphism
$T$
from
$V$
to
${V}^{{}^{\prime}}$
such that
$$\begin{array}{c}{\pi}^{{}^{\prime}}\left(h\right)=T\pi \left(h\right){T}^{1}\end{array}$$ 
(2.7.1),

$$\begin{array}{c}{P}_{E}^{{}^{\prime}}=T{P}_{E}{T}^{1}\end{array}$$ 
(2.7.2),

where,
$h\in H$
and
$E$
is an open subset of
$X$
. We say that a cosmooth system of imprimitivity
$(\pi ,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
${\pi}_{h}$
.
We define a homomorphism
${t}^{{}^{\prime}}$
of
$H$
to the the automorphism group of
$\widehat{A}$
by
$$\begin{array}{c}{t}_{h}^{{}^{\prime}}\left(\hat{a}\right)\left(a\right)=\widehat{a}\left({t}_{{h}^{1}}\right(a\left)\right)\end{array}$$ 
(2.8),

and we write simply
$h\left[\widehat{a}\right]$
for
${t}_{h}^{{}^{\prime}}\left(\widehat{a}\right)$
. Then
$\widehat{A}$
becomes a continuous
$H$
space.
If
$\pi $
is a smooth representation of
$G$
, then
$\pi $
restrictions to
$A$
and
$H$
are also smooth.
Lemma 1. Let
${\pi}_{1}$
and
${\pi}_{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
$\widehat{A}$
for
${\pi}_{1}$
. Then a necessary and sufficient condition such that there exists a smooth representation
$\pi $
of
$G$
in
$V$
whose restrictions to
$A$
and
$H$
are
${\pi}_{1}$
and
${\pi}_{2}$
respectively, is that
$({\pi}_{2},P;V)$
is a cosmooth system of imprimitivity for
$H$
based on
$\widehat{A}$
. In this case,
$\pi $
is unique.

Proof.
Let
$\pi $
be a smooth representation of
$G$
in
$V$
, and let
${\pi}_{1}$
,
${\pi}_{2}$
be the restrictions to
$A$
,
$H$
respectively. Now
$$\begin{array}{c}ha{h}^{1}=h\left[a\right]\end{array}$$ 
(2.9)

so that
$$\begin{array}{c}{\pi}_{2}\left(h\right){\pi}_{1}\left(a\right){\pi}_{2}(h{)}^{1}={\pi}_{1}(h\left[a\right])\end{array}$$ 
(2.10)

for all
$(h,a)\in H\times A$
. Let
$P$
be the corresponding cosmooth projection valued measure on
$\widehat{A}$
for
${\pi}_{1}$
. Now an easy calculation show that the projection valued measure for the representation
$\{a\u27f6{\pi}_{2}(h\left){\pi}_{1}\right(a\left){\pi}_{2}\right(h{)}^{1}\}$
of
$A$
is
$\{E\u27f6{\pi}_{2}(h\left){P}_{E}{\pi}_{2}\right(h{)}^{1}\}$
, and that for the representation
$\{a\u27f6{\pi}_{1}(h\left[a\right]\left)\right\}$
of
$A$
is
$\{E\u27f6{P}_{h\left[E\right]}\}$
. In view of the uniqueness of the cosmooth projection valued measure which corresponds to a representation of
$A$
, we infer that
$$\begin{array}{c}{\pi}_{2}\left(h\right){P}_{E}{\pi}_{2}(h{)}^{1}={P}_{h\left[E\right]}\end{array}$$ 
(2.11),

so
$({\pi}_{2},P;V)$
is a cosmooth system of imprimitivity of
$H$
based on
$\widehat{A}$
.
Now let us state with
${\pi}_{1}$
,
${\pi}_{2}$
and
$P$
such that
$${\pi}_{2}\left(h\right){P}_{E}{\pi}_{2}(h{)}^{1}={P}_{h\left[E\right]},$$
then we gain (2.10). Define
$\pi $
on
$G$
$$\pi \left(ah\right)={\pi}_{1}\left(a\right){\pi}_{2}\left(h\right).$$
Then (2.10) is enough to secure the fact that
$\pi $
is a representation. Since the restriction of
$\pi $
to
$A$
and
$H$
are smooth and
$G$
is equipped with the product topology,
$\pi $
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
$\widehat{A}$
. The following lemma tells us that the relation is one to one in the sense of equivalence.
Lemma 2. A smooth representation
$\pi $
of
$G$
on
$V$
is irreducible if and only if the corresponding cosmooth system of imprimitivity for
$H$
based on
$\widehat{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}$
of
$V$
is invariant under
${\pi}_{1}=\pi A$
if and only if it is invariant under the corresponding cosmooth projection valued measure
$P$
based on
$\widehat{A}$
.
If
${V}_{1}$
is invariant under
$P$
, then by the definition (1.6),
${V}_{1}$
is invariant under
${\pi}_{1}$
. Now assume that
${V}_{1}$
is invariant under
${\pi}_{1}$
. Let
${V}_{1}^{\perp}$
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},\widehat{v}\in {V}_{1}^{\perp}$
,
$$<{\pi}_{1}\left(a\right)v,\widehat{v}>=0$$
Now
$$\begin{array}{c}<{\pi}_{1}\left(a\right)v,\widehat{v}>={\int}_{E\left(v\right)}x\left(a\right)<dP\left(x\right)v,\widehat{v}>\end{array}$$ 
(2.12),

and the basic fact in section 1.1 tell us that if
$v\in {V}_{1}$
, then
$$<P\left(E\right)v,\widehat{v}>=<P(E\cap E(v\left)\right)v,\widehat{v}>=0$$
for any open subset of
$\widehat{A}$
, and any
$\widehat{v}$
in
${V}_{1}^{\perp}$
. Therefore
$P\left(E\right)v\in {V}_{1}$
. In other word,
${V}_{1}$
is invariant under
$P$
.
For the second assertion, let
${\pi}^{i}$
be smooth representations of
$G$
in
${V}^{i}$
, and let
$({\pi}_{2}^{i},{P}^{i};{V}^{i})$
be the corresponding cosmooth systems of imprimitivity, (i=1,2). Let
$T$
be a isomorphism from
${V}^{1}$
to
${V}^{2}$
. As in the proof of the lemma 1, the cosmooth projection valued measure corresponding to
$T\left({\pi}^{1}\rightA){T}^{1}$
is
$T{P}^{1}{T}^{1}$
. Therefore by the uniqueness stated in Theorem 1 shows that,
${\pi}^{2}A=T({\pi}^{1}\leftA\right){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,\widehat{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
${\mathcal{\mathcal{I}}}_{c}$
is the set of all compact open subsets of
$X$
.
Let
${C}_{c}^{\infty}\left(X\right)$
be the sheaf of smooth complex valued functions on
$X$
with compact support. let
$\mathcal{\mathcal{M}}$
be a sheaf of vector spaces over
$X$
with base
${\mathcal{\mathcal{I}}}_{c}$
. Then
$\mathcal{\mathcal{M}}$
is naturally a sheaf of module for
${C}_{c}^{\infty}\left(X\right)$
.
We call a
${C}_{c}^{\infty}\left(X\right)$
module
$M$
cosmooth if for every
$m\in M$
, there exists a compact open subset
$U$
of
$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}\left(X\right)$
module. We associate a presheaf
$\mathcal{\mathcal{M}}$
in the follow way. If
$U\in {\mathcal{\mathcal{I}}}_{c}$
, let
$\mathcal{\mathcal{M}}\left(U\right)={1}_{U}\cdot M$
. If
$U\supseteq V,$
with
$U,V\in {\mathcal{\mathcal{I}}}_{c},$
we define a restriction map
${\rho}_{U,V}:\mathcal{\mathcal{M}}\left(U\right)\u27f6\mathcal{\mathcal{M}}\left(V\right)$
by
${\rho}_{U,V}\left(m\right)={1}_{V}m$
.
Then
$\mathcal{\mathcal{M}}$
is a sheaf.
2.4 Irreducible smooth representation
Let
$\pi $
be an irreducible admissible representation of
$G$
and let
$({\pi}_{2},P;V)$
be the corresponding cosmooth system of imprimitivity of
$H$
based on
$\widehat{A}$
(see lemma 1). Due to (1.5.1)(1.5.4),
$V$
becomes a cosmooth
${C}_{c}^{\infty}\left(\widehat{A}\right)$
module by setting the action of
${\chi}_{E}$
on
$V$
to be
${P}_{E}$
. We can associate a sheaf
$\mathcal{V}$
to
$V$
via proposition 1.
$H$
has an action
${\Pi}_{2}$
on
$\mathcal{V}$
in the natural way, under which,
$\mathcal{V}\left(E\right)$
is mapped to
$\mathcal{V}\left(h\right[E\left]\right)$
and
${\mathcal{V}}_{x}$
is mapped to
${\mathcal{V}}_{h\left[x\right]}$
by
${\Pi}_{2}\left(h\right)$
.
$\mathbf{D}\mathbf{e}\mathbf{f}\mathbf{i}\mathbf{n}\mathbf{i}\mathbf{t}\mathbf{i}\mathbf{o}\mathbf{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}$
in
$X$
, either
${x}_{1}$
and
${x}_{2}$
lie in the same orbit of
$H$
in
$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
$\widehat{A}$
. Note that if
$H$
is a compact group, then it acts always smoothly on
$\widehat{A}$
.
Lemma 3. Let
$({\pi}_{2},P;V)$
,
$({\pi}_{2}^{1},{P}^{1};{V}^{1})$
and
$({\pi}_{2}^{2},{P}^{2};{V}_{2})$
be three irreducible cosmooth systems of imprimitivity, and let
$\mathcal{V}$
,
${\mathcal{V}}^{1}$
and
${\mathcal{V}}^{2}$
be the sheaves associated to them constructed by proposition 1. Then
$supp(\mathcal{V})$
lies on exact one orbit of
$H$
.
If
$supp\left({\mathcal{V}}^{1}\right)\ne supp\left({\mathcal{V}}^{2}\right)$
, then
$({\pi}_{2}^{1},{P}^{1};{V}^{1})$
and
$({\pi}_{2}^{2},{P}^{2};{V}_{2})$
are two inequivalent cosmooth systems of imprimitivity.

Proof.
We assert that
$supp(\mathcal{V})$
lies on exact one
$H$
orbit. Otherwise, there are two orbits
$H\widehat{{a}_{1}},H\widehat{{a}_{2}}\subset supp(\mathcal{V})$
, then there is an
$H$
invariant open subset
$\stackrel{~}{E}$
such that exact one of
$H\widehat{{a}_{1}},H\widehat{{a}_{2}}$
, say
$H\widehat{{a}_{1}}$
, lies in
$\stackrel{~}{E}$
. Now, let
$\stackrel{~}{V}={P}_{\stackrel{~}{E}}V$
, then
$\stackrel{~}{V}$
is a nontrivial subspace of
$V$
, which is invariant under
$({\pi}_{2},P)$
. This contradicts the irreducibility of
$({\pi}_{2},P;V)$
.
Let
$({\pi}_{2}^{1},{P}^{1};{V}^{1}),({\pi}_{2}^{2},{P}^{2};{V}^{2})$
be two irreducible cosmooth systems of imprimitivity.
If
$supp\left({\mathcal{V}}^{1}\right),supp\left({\mathcal{V}}^{2}\right)$
lie in two different
$H$
orbits
$H{x}_{1},H{x}_{2}$
. Suppose
$\stackrel{~}{E}$
is a
$H$
invariant open subset such that exact one of these two orbits say
$H{x}_{1}$
lies in it, then
${P}_{\stackrel{~}{E}}^{1}\ne 0$
, but
${P}_{\stackrel{~}{E}}^{2}=0$
. Therefore
$({\pi}_{2}^{1},{P}^{1};{V}^{1}),({\pi}_{2}^{2},{P}^{2};{V}^{2})$
are two inequivalent cosmooth systems of imprimitivity.
Now let
$({\pi}_{2},P;V)$
be an irreducible cosmooth system of imprimitivity, with
$supp(\mathcal{V})$
lying in an orbit
$H{x}_{0}$
. Let
${H}_{0}$
be the stable subgroup of
${x}_{0}$
in
$H$
. It is easy to see that
${\mathcal{V}}_{{x}_{0}}$
, denoted by
${V}_{0}$
, is invariant under
${H}_{0}$
. Let
${\pi}_{0}$
denote the action of
${H}_{0}$
on
${V}_{0}$
. By proposition 1, we can identity the sections of
$\mathcal{V}$
with the vectors in
$V$
. For every section
$s$
of
$\mathcal{V}$
, define a function on
$H$
with value in
${V}_{0}$
, by
$$\begin{array}{c}{\overrightarrow{F}}_{s}\left(h\right)={\Pi}_{2}\left(h\right)s\left({h}^{1}\right[{x}_{0}\left]\right)\end{array}$$ 
(2.13).

Let
${C}_{c}^{\infty}(H/{H}_{0},{\pi}_{0},{V}_{0})$
denote the space of locally constant functions
$f$
with values in
${V}_{0}$
whose support is compact
$mod{H}_{0}$
, and satisfies
$$\begin{array}{c}f\left({h}_{0}h\right)={\pi}_{0}\left({h}_{0}\right)f\left(h\right)\forall {h}_{0}\in {H}_{0}\forall h\in H\end{array}$$ 
(2.14).

Lemma 4.
$\overrightarrow{{F}_{s}}$
belongs to
${C}_{c}^{\infty}(H/{H}_{0},{\pi}_{0},{V}_{0})$
.

Proof.
It is easy to see that
$\overrightarrow{{F}_{s}}$
satisfies (2.14) and its support is compact
$mod{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{array}{c}\left({\pi}_{2}\right(h\left)s\right)\left(x\right)={\Pi}_{2}\left(h\right)s\left({h}^{1}\right[x\left]\right).\end{array}$$ 
(2.15)

Therefore we have
$\forall h\in {H}_{s},$
$${\Pi}_{2}\left(h\right)s\left({h}^{1}\right[x\left]\right)=s\left(x\right)\forall x\in \widehat{A}.$$
Especially,
$\forall h\in {H}_{s}$
$${\overrightarrow{F}}_{s}\left(gh\right)={\Pi}_{2}\left(gh\right)s\left({h}^{1}{g}^{1}\right[{x}_{0}\left]\right)={\Pi}_{2}\left(g\right)s\left({g}^{1}\right[{x}_{0}\left]\right)={\overrightarrow{F}}_{s}\left(g\right)$$
Thus
${\overrightarrow{F}}_{s}\in {C}_{c}^{\infty}(H/{H}_{0},{\pi}_{0},{V}_{0})$
.
Conversely, for a function
$f\in {C}_{c}^{\infty}(H/{H}_{0},{\pi}_{0},{V}_{0})$
, we can define
$$\begin{array}{c}{\overleftarrow{F}}_{f}\left(h\right[{x}_{0}\left]\right)={\Pi}_{2}\left(h\right)f\left({h}^{1}\right)\end{array}$$ 
(2.16).

By (2.14), it is well defined.
Lemma 5.
${\overleftarrow{F}}_{f}$
is a section of
$\mathcal{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\left(h{h}_{f}\right)=f\left(h\right)$
. Then (2.16) tells us that
$$\begin{array}{c}{\Pi}_{2}\left({h}_{f}\right){\overleftarrow{F}}_{f}\left(x\right)={\overleftarrow{F}}_{f}\left({h}_{f}\right[x\left]\right)\forall {h}_{f}\in {H}_{f},x\in H{x}_{0}\end{array}$$ 
(2.17).

We are now to prove
${\overleftarrow{F}}_{f}$
is a section. Fix an
$x\in H{x}_{0}$
. We can select a section
$s$
such that
$s\left(x\right)={\overleftarrow{F}}_{f}\left(x\right)$
. Let
${H}_{s}$
be a compact open subgroup on
$H$
such that
$s$
is fixed by
${H}_{s}$
. By (2.15), we gain
$$\begin{array}{c}{\Pi}_{2}\left({h}_{s}\right)s\left(x\right)=s\left({h}_{s}\right[x\left]\right)\forall {h}_{s}\in {H}_{s},x\in H{x}_{0}\end{array}$$ 
(2.18).

Comparing (2.17) and (2.18), we see that
$$s\left(h\right[x\left]\right)={\overleftarrow{F}}_{f}\left(h\right[x\left]\right)\forall h\in {H}_{s}\cap {H}_{f}.$$
Thus
${\overleftarrow{F}}_{f}$
is really a section.
It is obviously that
$\overleftarrow{F}\overrightarrow{F}$
and
$\overrightarrow{F}\overleftarrow{F}$
are both identity, or equivalently,
$\overleftarrow{F}={\overrightarrow{F}}^{1}$
.
Now
$(\overrightarrow{F}{\pi}_{2}\overleftarrow{F},\overrightarrow{F}P\overleftarrow{F};{C}_{c}^{\infty}(H/{H}_{0},{\pi}_{0},{V}_{0}\left)\right)$
is a cosmooth system of imprimitivity that is equivalent to
$({\pi}_{2},P;V)$
. Write
$({\overline{\pi}}_{2},\overline{P};\overline{V})$
for
$(\overrightarrow{F}{\pi}_{2}\overleftarrow{F},\overrightarrow{F}P\overleftarrow{F};{C}_{c}^{\infty}(H/{H}_{0},{\pi}_{0},{V}_{0}\left)\right)$
.
A direct calculation implies that:
$\forall f\in \overline{V}$
,
$$\begin{array}{c}\left({\overline{\pi}}_{2}\right({h}_{1}\left)f\right)\left(h\right)=f\left(h{h}_{1}\right)\end{array}$$ 
(2.19.1),

$$\begin{array}{c}{\overline{P}}_{E}f={\chi}_{{\stackrel{~}{E}}^{1}}\cdot f\end{array}$$ 
(2.19.2),

where,
${h}_{1}\in H$
,
$\stackrel{~}{E}=\{h\in H:h[{x}_{0}]\in E\}$
and
${\stackrel{~}{E}}^{1}=\{h\in H;{h}^{1}\in \stackrel{~}{E}\}$
.
We see that
${\overline{\pi}}_{2}$
is just the compact induced representation of
${\pi}_{0}$
. Denote by
$\overline{\pi}$
, the representation of
$G$
corresponding to
$({\overline{\pi}}_{2},\overline{P};\overline{V})$
. A direct calculation shows:
$$\begin{array}{c}\left(\overline{\pi}\right(a\left)f\right)\left({h}_{1}\right)=<a,{h}_{1}^{1}\left[{x}_{0}\right]>\cdot f\left({h}_{1}\right)\end{array}$$ 
(2.20.1),

$$\begin{array}{c}\left(\overline{\pi}\right(h\left)f\right)\left({h}_{1}\right)=f\left({h}_{1}h\right)\end{array}$$ 
(2.20.2),

where
$a\in A$
,
$h\in H$
and
$f\in \overline{V}$
.
Lemma 6. The representation
$\overline{\pi}$
is equivalent to the representation
$\pi $
mentioned at the beginning of this subsection.
This is just a consequence of Lemma 2.
Let
$({\pi}_{2}^{1},{P}^{1};{V}^{1})$
and
$({\pi}_{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:
$$Hom\left(\right({\pi}_{2}^{1},{P}^{1};{V}^{1}),({\pi}_{2}^{2},{P}^{2};{V}^{2}\left)\right)\sim =Hom\left(\right({\Pi}^{1},{\mathcal{V}}^{1}),({\Pi}^{2},{\mathcal{V}}^{2}\left)\right)$$
$$\begin{array}{c}\sim =Hom({\pi}_{0}^{1},{\pi}_{0}^{2})\sim =Hom({\overline{\pi}}^{1},{\overline{\pi}}^{2})\end{array}$$ 
(2.21)

Therefore
${\overline{\pi}}^{1}$
or
$({\pi}^{1},{P}^{1};{V}^{1})$
is irreducible if and only if
${\pi}_{0}^{1}$
is irreducible.
Moreover,
$({\pi}_{2}^{1},{P}^{1};{V}^{1})$
and
$({\pi}_{2}^{2},{P}^{2};{V}^{2})$
are two equivalent irreducible cosmooth systems of imprimitivity if and only if
${\pi}_{0}^{1}$
and
${\pi}_{0}^{2}$
are two equivalent irreducible smooth representations.
Write
$\chi $
for
${x}_{0}$
now. For a representation
${\pi}_{0}$
of
${H}_{\chi}$
, let
${\pi}_{0}\cdot \chi $
be the representation of
${H}_{\chi}{\times}_{t}A$
:
$$({\pi}_{0}\cdot \chi )(h\times a)=\chi \left(a\right){\pi}_{0}\left(h\right)\forall h\in {H}_{\chi},a\in A.$$
It is easy to check that
${\pi}_{0}\cdot \chi $
is a representation. Due to formulas (2.20.1) and (2.20.2), a simple calculate shows that
$\pi $
is equivalent to the compact induced representation
$In{d}_{{H}_{\chi}{\times}_{t}A}^{G}({\pi}_{0}\cdot \chi )$
of
$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$
on
$A$
, and a dual action
${t}^{\prime}$
on
$\hat{A}$
. Let
$G$
be
$H{\times}_{t}A$
.
We obtain the main result:
$\mathbf{T}\mathbf{h}\mathbf{e}\mathbf{o}\mathbf{r}\mathbf{e}\mathbf{m}$
2. For each orbit of
${t}^{\prime}$
, select out a point
$\chi $
on it. Every irreducible smooth representation
${\pi}_{0}$
of
${H}_{\chi}$
gives an irreducible smooth representation
$In{d}_{{H}_{\chi}{\times}_{t}A}^{G}({\pi}_{0}\cdot \chi )$
of
$G$
. Every irreducible smooth representation of
$G$
is equivalent to one obtained in such a way. If furthermore
${t}^{\prime}$
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
$\mathbf{I}$
. Ann. Sci. Ecole Norm., Sup
${4}^{e}$
serie, t.10, 441472 (1977)

Bernstein, I.N., and Zelevinsky, A.V.: Representations of the group
$GL(n,F)$
where
$F$
is a local NonArchimedean Field. Russian Mathematical Surveys, no 3, 168 (1976)

Bump, D.: Automorphic Forms and Representations, Cambridge, Cambridge University Press, 1998

Jacquet, H.: Generic representation. In NonNommutative Harmonic Analysis, Lecture Notes in Mathematics, 587, 91102 (1976)

Mackey, G.W.: Unitary Group representations in Physics, Probability, and Number Theory. AddisonWesley publishing company, Inc., 1978, 1989

Weil, A.: Sur la formule de Siegel dans la théorie des groupes classiques. Acta Math 113, 187 (1965)

Varadarajan, V.S.: Geometry of Quantum Theory, New York, SpringerVerlag, 1985