Notation 19
Let
$G$
be a locally compact second countable groupoid with proper orbit space. Let
$F$
be a Borel subset of
${G}^{\left(0\right)}$
containing only one element
$e\left(u\right)$
in each orbit
$\left[u\right]$
. Let
$\sigma :{G}^{\left(0\right)}\to {G}^{F}$
be a regular cross section for
${d}_{F}:{G}^{F}\to {G}^{\left(0\right)},{d}_{F}\left(x\right)=d\left(x\right)$
with
$\sigma \left(e\left(v\right)\right)=e\left(v\right)$
for all
$v\in {G}^{\left(0\right)}$
. Let
$q:G\to {G}_{F}^{F}$
be defined by
$$q\left(x\right)=\sigma \left(r\left(x\right)\right)x\sigma {\left(d\left(x\right)\right)}^{1}$$
We shall endow
${G}_{F}^{F}$
with the quotient topology induced by
$q.$
We shall denote by
${\mathbf{C}}_{\sigma}\left(G\right)$
the linear span of the functions of the form
$$x\to {g}_{1}\left(r\left(x\right)\right)g\left(\sigma \left(r\left(x\right)\right)x\sigma {\left(d\left(x\right)\right)}^{1}\right){g}_{2}\left(d\left(x\right)\right)$$
where
${g}_{1},{g}_{2}\in {C}_{c}\left({G}^{\left(0\right)}\right)$
and
$g\in {C}_{c}\left({G}_{F}^{F}\right)$
.
Proposition 20
With the Notation 19 , if the space of continuous functions with compact support on
${G}_{F}^{F}$
(with the respect to the quotient topology induced by
$q$
) separates the points of
${G}_{F}^{F}$
, then
${\mathbf{C}}_{\sigma}\left(G\right)$
is dense in
${C}_{c}\left(G\right)$
(for the inductive limit topology). In particular, if the quotient topology induced by
$q$
on
${G}_{F}^{F}$
is a locally compact (Hausdorff ) topology, then
${\mathbf{C}}_{\sigma}\left(G\right)$
is dense in
${C}_{c}\left(G\right)$
.
Proof. If the space of continuous functions with compact support on
${G}_{F}^{F}$
(with the respect to the quotient topology induced by
$q$
) separates the points of
${G}_{F}^{F}$
, then
${\mathbf{C}}_{\sigma}\left(G\right)$
separates the points of
$G$
. By StoneWeierstrass Theorem, it follows that
${\mathbf{C}}_{\sigma}\left(G\right)$
is dense in
${C}_{c}\left(G\right)$
(for the inductive limit topology)
Proposition 21
Let
$G$
be a locally compact principal groupoid. If
$G$
is proper, then the quotient topology induced by
$q$
on
${G}_{F}^{F}$
is a locally compact (Hausdorff ) topology. Consequently,
${\mathbf{C}}_{\sigma}\left(G\right)$
is dense in
${C}_{c}\left(G\right)$
for the inductive limit topology (we use the Notation 19 ).
Proof. Let
$\pi :G\to {G}^{\left(0\right)}/G$
be the canonical projection. Let us note that for a principal groupoid the condition
$$q\left(x\right)=q\left(y\right)$$
is equivalent with
$$\pi \left(r\left(x\right)\right)=\pi \left(r\left(y\right)\right)\text{.}$$
First we shall prove that the topology on
${G}_{F}^{F}$
is Hausdorff. Let
${\left({x}_{i}\right)}_{i}$
and
${\left({y}_{i}\right)}_{i}$
be two nets with
$q\left({x}_{i}\right)=q\left({y}_{i}\right)$
for every
$i$
. Let us suppose that
${\left({x}_{i}\right)}_{i}$
converges to
$x$
and
${\left({y}_{i}\right)}_{i}$
converges to
$y$
. Then
$$lim\pi \left(r\left({x}_{i}\right)\right)=lim\pi \left(r\left({y}_{i}\right)\right)=\pi \left(r\left(x\right)\right)=\pi \left(r\left(y\right)\right)$$
Hence
$q\left(x\right)=q\left(y\right)$
, and therefore the topology on
${G}_{F}^{F}$
is Hausdorff. We shall prove that
$q$
is open. If
${\left({z}_{i}\right)}_{i}$
is a net converging to
$q\left(x\right)$
in
${G}_{F}^{F}$
, then
$\pi \circ r\left({z}_{i}\right)$
converges to
$\pi \circ r\left(x\right)$
. Since
$$\pi \circ r:G\to {G}^{\left(0\right)}/G$$
is an open map, there is a net
${\left({x}_{i}\right)}_{i}$
converging to
$x$
, such that
$\pi \circ r\left({x}_{i}\right)=\pi \circ r\left({z}_{i}\right)$
, and consequently
$q\left({x}_{i}\right)=q\left({z}_{i}\right)={z}_{i}$
. Hence
$q$
is an open map and the quotient topology induced by
$q$
on
${G}_{F}^{F}$
is locally compact.
Theorem 22
Let
$G$
be a locally compact second countable groupoid with proper orbit space. Let
$F$
be a Borel subset of
${G}^{\left(0\right)}$
meeting each orbit exactly once. Let
$\sigma :{G}^{\left(0\right)}\to {G}^{F}$
be a regular cross section for
$d:{G}^{F}\to G$
. Let us assume that the quotient topology induced by
$q$
on
${G}_{F}^{F}$
is a locally compact (Hausdorff ) topology. Let
$\left\{{\nu}^{u},u\in {G}^{\left(0\right)}\right\}$
be a Haar system on
$G$
. Then
$${C}^{*}\left(G,\nu \right)\subset {M}_{\sigma}^{*}\left(G,\nu \right)\subset {M}^{*}\left(G,\nu \right)\text{.}$$
Proof. From Proposition 20
${\mathbf{C}}_{\sigma}\left(G\right)$
is dense in
${C}_{c}\left(G\right)$
for the inductive limit topology and hence is dense in
${C}^{*}\left(G,\nu \right)$
. Since
${\mathbf{C}}_{\sigma}\left(G\right)\subset {\mathcal{\mathcal{B}}}_{\sigma}\left(G\right)$
, it follows that
${C}^{*}\left(G,\nu \right)\subset {M}_{\sigma}^{*}\left(G,\nu \right)$
.
Corollary 23
Let
$G$
be a locally compact second countable principal proper groupoid. Let
$F$
be a Borel subset of
${G}^{\left(0\right)}$
meeting each orbit exactly once. Let
$\sigma :{G}^{\left(0\right)}\to {G}^{F}$
be a regular cross section for
$d:{G}^{F}\to G$
. Let
$\left\{{\nu}^{u},u\in {G}^{\left(0\right)}\right\}$
be a Haar system on
$G$
. Then
$${C}^{*}\left(G,\nu \right)\subset {M}_{\sigma}^{*}\left(G,\nu \right)\subset {M}^{*}\left(G,\nu \right)\text{.}$$
Proof. Applying Proposition 21 , we obtain that the quotient topology induced by
$q$
on
${G}_{F}^{F}$
is a locally compact (Hausdorff ) topology. Therefore
$G$
satisfies the hypothesis of Theorem 22 .
Definition 24
Let
${\left\{{\mu}^{\dot{u}}\right\}}_{\dot{u}}$
be a system of measures on
${G}^{\left(0\right)}$
satisfying:

1.
$supp\left({\mu}^{\dot{u}}\right)=\left[u\right]$
for all
$\dot{u}$
.

2.
For all compactly supported continuous functions
$f$
on
${G}^{\left(0\right)}$
the function
$$u\to \int f\left(v\right){\mu}^{\pi \left(u\right)}\left(v\right)$$
is continuous
We shall say that the Hilbert bundle determined by the system of measures
${\left\{{\mu}^{\dot{u}}\right\}}_{\dot{u}}$
has a continuous basis if there is sequence
${f}_{1},{f}_{2},...$
of real valued continuous functions on
${G}^{\left(0\right)}$
such that
$dim\left({L}^{2}\left({\mu}^{\dot{u}}\right)\right)=\infty $
if and only if
${\parallel {f}_{n}\parallel}_{2}$
for
$n=1,2,...$
and then
$\left\{{f}_{1},{f}_{2},...\right\}$
gives an ortonormate basis of
${L}^{2}\left({\mu}^{\dot{u}}\right)$
, while
$dim\left({L}^{2}\left({\mu}^{\dot{u}}\right)\right)=k<\infty $
if and only if
${\parallel {f}_{n}\parallel}_{2}=1$
for
$n\le k$
, and
${\parallel {f}_{n}\parallel}_{2}=0$
for
$n>k$
and then
$\left\{{f}_{1},{f}_{2},...{f}_{k}\right\}$
gives an ortonormate basis of
${L}^{2}\left({\mu}^{\dot{u}}\right)$
.
Remark 25
Let
${\left\{{\mu}_{1}^{\dot{u}}\right\}}_{\dot{u}}$
and
${\left\{{\mu}_{2}^{\dot{u}}\right\}}_{\dot{u}}$
be two systems of measures on
${G}^{\left(0\right)}$
satisfying:

1.
$supp\left({\mu}_{i}^{\dot{u}}\right)=\left[u\right]$
for all
$\dot{u}$
,
$i=1,2$
.

2.
For all compactly supported continuous functions
$f$
on
${G}^{\left(0\right)}$
the function
$$u\to \int f\left(v\right){\mu}_{i}^{\pi \left(u\right)}\left(v\right)$$
is continuous
Let us assume that the Hilbert bundles determined by the systems of measures
${\left\{{\mu}_{i}^{\dot{u}}\right\}}_{\dot{u}}$
have continuous bases. Let
${f}_{1}.{f}_{2},...$
be a continuous basis for Hilbert bundle determined by
${\left\{{\mu}_{1}^{\dot{u}}\right\}}_{\dot{u}}$
and let
${g}_{1},{g}_{2},...$
be a continuous basis for Hilbert bundle determined by
${\left\{{\mu}_{2}^{\dot{u}}\right\}}_{\dot{u}}$
. Let us define a unitary operator
${U}_{\dot{u}}:{L}^{2}\left({\mu}_{1}^{\dot{u}}\right)\to {L}^{2}\left({\mu}_{2}^{\dot{u}}\right)$
by
$${U}_{\dot{u}}\left({f}_{n}\right)={g}_{n}\text{for all}n$$
Then the family
${\left\{{U}_{\dot{u}}\right\}}_{\dot{u}}$
has the following properties:

1.
For all Borel bounded function
$f$
on
${G}^{\left(0\right)}$
,
$$u\to {U}_{\pi \left(u\right)}\left(f\right)$$
is a bounded Borel function with compact support.

2.
For all Borel bounded function
$f$
on
${G}^{\left(0\right)}$
,
$${U}_{\pi \left(u\right)}\left(\overline{f}\right)=\overline{{U}_{\pi \left(u\right)}\left(f\right)}$$

3.
For all compactly supported continuous functions
$f$
on
${G}^{\left(0\right)}$
there is a sequence
${\left({h}_{n}\right)}_{n}$
of compactly supported continuous functions on
${G}^{\left(0\right)}$
such that
$$su{p}_{\dot{u}}\int {\left{U}_{\dot{u}}\left(f\right){h}_{n}\right}^{2}d{\mu}_{2}^{\dot{u}}\to 0\left(n\to \infty \right)$$
Indeed, we can define
$${h}_{n}\left(v\right)={\sum}_{k=1}^{n}{g}_{k}\left(v\right)\int f\left(u\right){f}_{k}\left(u\right)d{\mu}_{1}^{\pi \left(v\right)}\left(u\right)\text{.}$$
Remark 26
Let
$G$
be a locally compact second countable groupoid with proper orbit space. Let
$F$
be a Borel subset of
${G}^{\left(0\right)}$
containing only one element
$e\left(u\right)$
in each orbit
$\left[u\right]$
. Let us assume that
$F\cap \left[K\right]$
has a compact closure for each compact subset
$K$
of
${G}^{\left(0\right)}$
, and let
$\sigma :{G}^{\left(0\right)}\to {G}^{F}$
be a regular cross section for
${d}_{F}:{G}^{F}\to {G}^{\left(0\right)}$
. Let us endow
${G}_{F}^{F}$
with the quotient topology induced by
$q:G\to {G}_{F}^{F}$
$$q\left(x\right)=\sigma \left(r\left(x\right)\right)x\sigma {\left(d\left(x\right)\right)}^{1},x\in G$$
If
$g\in {C}_{c}\left({G}_{F}^{F}\right)$
and
${g}_{1},{g}_{2}$
are two functions on
${G}^{\left(0\right)}$
with the property that there is two sequences
${\left({h}_{n}^{1}\right)}_{n}$
and
${\left({h}_{n}^{2}\right)}_{n}$
of compactly supported continuous functions on
${G}^{\left(0\right)}$
such that
$$su{p}_{\dot{u}}\int {\left{g}_{i}{h}_{n}^{i}\right}^{2}d{\mu}_{2}^{\dot{u}}\to 0\left(n\to \infty \right)$$
for
$i=1,2$
, then
$$x\to f{g}_{1}\left(r\left(x\right)\right)g\left(\sigma \left(r\left(x\right)\right)x\sigma {\left(d\left(x\right)\right)}^{1}\right){g}_{2}\left(d\left(x\right)\right)$$
can be viewed as an element of
${C}^{*}\left(G,\nu \right)$
. Indeed, it is easy to see that
$${\Vert f\left({h}_{n}^{1}\circ r\right)\left(g\circ q\right)\left({h}_{n}^{2}\circ d\right)\Vert}_{II}\to 0\left(n\to \infty \right).$$
Proposition 27
Let
$G$
be a locally compact second countable principal proper groupoid. Let
${\nu}_{i}=\left\{{\nu}_{i}^{u},u\in {G}^{\left(0\right)}\right\},$
$i=1,2$
be two Haar system on
$G$
and
$\left(\left\{{\beta}_{v}^{u}\right\},\left\{{\mu}_{i}^{\dot{u}}\right\}\right)$
the corresponding decompositions over the principal groupoid. If the Hilbert bundles determined by the systems of measures
${\left\{{\mu}_{i}^{\dot{u}}\right\}}_{\dot{u}}$
have continuous bases, then the
${C}^{*}$
algebras
${C}^{*}\left(G,{\nu}_{1}\right)$
and
${C}^{*}\left(G,{\nu}_{2}\right)$
are
$*$
isomorphic.
Proof. We use the Notation 19 . From Proposition 20
${\mathbf{C}}_{\sigma}\left(G\right)$
is dense in
${C}_{c}\left(G\right)$
for the inductive limit topology and hence is dense in
${C}^{*}\left(G,{\nu}_{1}\right)$
. We shall define a
$*$
homomorphism
$\Phi $
from
${\mathbf{C}}_{\sigma}\left(G\right)$
to
${C}^{*}\left(G,{\nu}_{2}\right)$
. It suffices to define
$\Phi $
on the set of function on
$G$
of the form
$$x\to {g}_{1}\left(r\left(x\right)\right)g\left(q\left(x\right)\right){g}_{2}\left(d\left(x\right)\right)$$
where
${g}_{1},{g}_{2}\in {C}_{c}\left({G}^{\left(0\right)}\right)$
and
$g\in {C}_{c}\left({G}_{F}^{F}\right)$
. Let
${\left\{{U}_{\dot{u}}\right\}}_{\dot{u}}$
be the family of unitary operators with the properties stated in Remark 25 associated to the systems of measures
${\left\{{\mu}_{i}^{\dot{u}}\right\}}_{\dot{u}}$
,
$i=1,2$
.
Let us define
$\Phi $
by
$$\Phi \left(f\right)=\left(x\to {U}_{\pi \left(r\left(x\right)\right)}\left({g}_{1}\right)\left(r\left(x\right)\right)g\left(q\left(x\right)\right){U}_{\pi \left(d\left(x\right)\right)}\left({g}_{2}\right)\left(d\left(x\right)\right)\right)$$
where
$f$
is defined by
$$f\left(x\right)={g}_{1}\left(r\left(x\right)\right)g\left(q\left(x\right)\right){g}_{2}\left(d\left(x\right)\right)$$
with
${g}_{1},{g}_{2}\in {C}_{c}\left({G}^{\left(0\right)}\right)$
and
$g\in {C}_{c}\left({G}_{F}^{F}\right)$
.
We noted in Remark
26 that the functions of the form
$\Phi \left(f\right)$
can be viewed as elements of
${C}^{*}\left(G,{\nu}_{2}\right)$
. With the same argument as in the proof of Theorem 9 , it follows that
$\Phi $
can be extended to
$*$
isomorphism between
${C}^{*}\left(G,{\nu}_{1}\right)$
and
${C}^{*}\left(G,{\nu}_{2}\right)$
.
References

C. AnantharamanDelaroche, J. Renault, Amenable groupoids, Monographie de L'Enseignement Mathematique No 36, Geneve, 2000.

G. Mackey, Induced representations of locally compact groups.
$I$
, Ann. of Math., 55(1952), 101139.

P. Muhly, J. Renault and D. Williams, Equivalence and isomorphism for groupoid C*algebras, J. Operator Theory 17(1987), 322.

P. Muhly, Coordinates in operator algebra, (Book in preparation).

A. Ramsay, Virtual groups and groups actions, Adv. in Math. 6(1971), 253322.

A. Ramsay, Topologies on measured groupoids, J. Funct. Anal. 47(1982), 314343.

A. Ramsay and M. E. Walter, FourierStieltjes Algebras of locally compact groupoids, J. Funct. Anal. 148(1997), 314367.

J. Renault, A groupoid approach to
${C}^{*}$
algebras, Lecture Notes in Math., SpringerVerlag, 793, 1980.

J. Renault,The ideal structure of groupoid crossed product algebras, J. Operator Theory, 25(1991), 336.

J. Westman, Nontransitive groupoid algebras, Univ. of California at Irvine, 1967.
University Constantin Brâncuşi of TârguJiu Bulevardul Republicii, Nr. 1, 210152 TârguJiu , Gorj Romania email: ada@utgjiu.ro