1: The present section is introductory. Its purpose is to recall some background notions and to fix some notation that we will be using throughout the paper. The reader is advised to consult \cite{MoeMrc03,Bre72,Cra03,Zu06} for reference; other sources include \cite{MoeRey91} and \cite{CraMoe01}.
2:
3: \bigskip
4:
5: \noindent The term {groupoid} refers to a small category where every arrow is invertible. A {Lie groupoid} can be approximately described as an internal groupoid in the category of smooth manifolds. To construct a Lie groupoid \G\ one has to give a pair of manifolds of class $\C^\infty$ \mca[0]\G\ and \mca[1]\G, respectively called {manifold of objects} and {manifold of arrows,} and a list of smooth maps called {structure maps.} The basic items in this list are the {source} map $\s: \mca[1]\G \to \mca[0]\G$ and the {target} map $\t: \mca[1]\G \to \mca[0]\G$, which have to meet the requirement that the fibred product $\mca[2]\G = \mca{\mca[1]\G}$ exists in the category of $\C^\infty$ manifolds. Then one has to give a {composition} map $\c: \mca[2]\G \to \mca[1]\G$, a {unit} map $\u: \mca[0]\G \to \mca[1]\G$ and an {inverse} map $\imap: \mca[1]\G \to \mca[1]\G$, for which the familiar algebraic laws must be satisfied.
6:
7: \textit{Terminology and Notation:} The points $x = \s(g)$ and $x' = \t(g)$ are resp.\ called the {source} and the {target} of the {arrow} $g$. We let $\G(x,x')$ denote the set of all the arrows whose source is $x$ and whose target is $x'$, and we use the abbreviation $\G|_x$ for the {isotropy} or {vertex} group $\G(x,x)$. Notationally, we will often identify a point $x \in \mca[0]\G$ and the corresponding unit arrow $\u(x) \in \mca[1]\G$. It is costumary to write ${g'\cdot g}$ or $g'g$ for the composition $\c(g',g)$ and $g^{-1}$ for the inverse $\imap(g)$.
8:
9: Our description of the notion of Lie groupoid is still incomplete. It turns out that a couple of additional requirements are needed in order to get a reasonable definition.
10:
11: Recall that a manifold $M$ is said to be {paracompact} if it is Hausdorff and there exists an ascending sequence of open subsets with compact closure $\cdots \subset U_i \subset \overline U_i \subset U_{i+1} \subset \cdots$ such that $M = \txtcup{i=0}\infty{U_i}$. A Hausdorff manifold is paracompact if and only if it possesses a countable basis of open subsets. Any open cover of a paracompact manifold admits a locally finite refinement. Any paracompact manifold admits partitions of unity of class $\C^\infty$ (subordinated to open covers).
12:
13: In order to make the fibred product \mca{\mca[1]\G} meaningful as a manifold and for other purposes related to our study, we shall include the following additional conditions in the definition of Lie groupoid:
14: \begin{elenco}
15: \item[\textsl{1.}]The source map $\s: \mca[1]\G \to \mca[0]\G$ is a submersion with Hausdorff fibres;
16: \item[\textsl{2.}]The manifold \mca[0]\G\ is paracompact.
17: \end{elenco}
18: Note that we do not require the manifold of arrows \mca[1]\G\ to be Hausdorff or paracompact. Actually, this manifold is neither Hausdorff nor second countable in many examples of interest. The first condition implies at once that the domain of the composition map is a submanifold of the Cartesian product ${\mca[1]\G \times \mca[1]\G}$ and that the target map is a submersion with Hausdorff fibres. Thus, the source fibres $\G(x,\text-) = \s^{-1}(x)$ and the target fibres $\G(\text-,x') = \t^{-1}(x')$ are closed Hausdorff submanifolds of \mca[1]\G. A Lie groupoid \G\ is said to be {Hausdorff} if the manifold \mca[1]\G\ is Hausdorff.
19:
20: \textit{Some more Terminology:} The manifold \mca[0]\G\ is usually called the {base} of the groupoid \G. One also says that \G\ is a groupoid over the manifold \mca[0]\G. We shall often use the notation $\G^x = \G(x,\text-) = \s^{-1}(x)$ for the fibre of the source map over a point $x \in \mca[0]\G$. More generally, we shall write
21: \begin{equazione}\label{i1}
22: \G(S,S') = \bigl\{g \in \mca[1]\G: \s(g) \in S\text{~\&~} \t(g) \in S'\bigr\}\text, \quad \G|_S = \G(S,S)
23: \end{equazione}
24: and $\G^S = \G(S,\text-) = \G(S,\mca[0]\G) = \s^{-1}(S)$ for all subsets $S, S' \subset \mca[0]\G$.
25:
26: \textit{Example:} Let $G$ be a Lie group acting smoothly (from the left) on a manifold $M$. Then the {action} (or {translation}) {groupoid ${G\ltimes M}$} is defined to be the Lie groupoid over $M$ whose manifold of arrows is the Cartesian product ${G\times M}$, whose source and target maps are respectively the projection onto the second factor $(g,x) \mapsto x$ and the action $(g,x) \mapsto {g x}$, and whose composition law is the operation
27: \begin{equazione}\label{i6}
28: {(g',x')(g,x)} = (g'g,x)\text.
29: \end{equazione}
30: There is a similar construction ${M\rtimes G}$ associated with right actions.
31:
32: A {homomorphism of Lie groupoids} is a smooth functor. More precisely, a homomorphism $\varphi: \G \to \H$ consists of two smooth maps $\mca[0]\varphi: \mca[0]\G \to \mca[0]\H$ and $\mca[1]\varphi: \mca[1]\G \to \mca[1]\H$ compatible with the groupoid structure in the sense that ${\s\circ \mca[1]\varphi} = {\mca[0]\varphi \circ \s}$, ${\t\circ \mca[1]\varphi} = {\mca[0]\varphi \circ \t}$ and $\mca[1]\varphi({g'\cdot g}) = {\mca[1]\varphi(g') \cdot \mca[1]\varphi(g)}$. Lie groupoids and their homomorphisms form a category. A homomorphism $\varphi: \G \to \H$ is said to be a {Morita equivalence} when
33: \begin{equazione}\label{ME1}
34: \begin{split}
35: \xymatrix@C=45pt{\mca[1]\G\ar[d]_{(\s,\t)}\ar[r]^{\mca[1]\varphi} & \mca[1]\H\ar[d]^{(\s,\t)} \\ {\mca[0]\G \times \mca[0]\G}\ar[r]^{\mca[0]\varphi \times \mca[0]\varphi} & {\mca[0]\H \times \mca[0]\H}}
36: \end{split}
37: \end{equazione}
38: is a pullback diagram in the category of $\C^\infty$ manifolds and the map
39: \begin{equazione}\label{ME2}
40: {\t_\H \circ \pr_2}: {\mca[0]\G {_{\mca[0]\varphi}\times_{\s_\H}} \mca[1]\H} \to \mca[0]\H
41: \end{equazione}
42: is a surjective submersion.
43:
44: There is also a notion of {topological groupoid.} This is just an internal groupoid in the category of topological spaces and continuous mappings. In the continuous case the definition is much simpler, since one need not worry about the domain of definition of the composition map. With the obvious notion of homomorphism, topological groupoids constitute a category.
45:
46: Let \G\ be a Lie groupoid and let $x$ be a point of its base manifold \mca[0]\G. The {orbit of \G} (or {\G-orbit}) {through $x$} is the subset
47: \begin{equazione}\label{i7}
48: {\G x} \bydef {\G\cdot x} \bydef \t\bigl(\G^x\bigr) = \{x' \in \mca[0]\G| \exists g: x \to x'\}\text.
49: \end{equazione}
50: Note that the isotropy group $\G|_x$ acts from the the right on the manifold $\G^x$. This action is clearly free and transitive along the fibres of the restriction of the target map to $\G^x$. The following facts hold, cfr \cite{MoeMrc03} p.~115: \textsl{(a)}~$\G(x,x')$ is a closed submanifold of \mca[1]\G\ \textsl{(b)}~$G_x = \G|_x$ is a Lie group \textsl{(c)}~the \G-orbit through $x$ is an immersed submanifold of \mca[0]{\G} and the target map $\t: \G^x \to {\G x}$ determines a principal $G_x$-bundle over it (the set ${\G x}$ can obviously be identified with the homogeneous space ${\G^x/G_x}$, and it can be proved that there exists a possibly non-Hausdorff manifold structure on this quotient space such that the quotient map turns out to be a principal bundle).
51:
52: \begin{paragrafo}[$\C^\infty$-Spaces.]\label{C^infty-Sp}
53: %
54: Recall that a functionally structured space is a topological space $X$ endowed with a sheaf $\mathscr F$ of real algebras of continuous real valued functions on $X$ (functional structure). Compare for instance \cite{Bre72}, p.~297. There is an obvious notion of morphism for such spaces.\footnote{Algebraic geometers would say that a morphism of functionally structured spaces is a (continuous) mapping inducing a morphism of (locally) ringed spaces.}
55:
56: Let $\mathscr F$ be an arbitrary functional structure on a topological space $X$. We shall let $\mathscr F^\infty$ denote the sheaf of continuous real valued functions on $X$ generated by the presheaf
57: %
58: \begin{multiriga}\label{C^infty-Sp1}
59: U\: \mapsto\: \bigl\{f(a_1|_U,\ldots,a_d|_U): \text{~$f: \nR^d \to \nR$ of class $\C^\infty$,}\\
60: a_1, \ldots, a_d \in \mathscr F(U)\bigr\}\text.
61: \end{multiriga}
62: %
63: Here the expression $f(a_1|_U,\ldots,a_d|_U)$ stands of course for the function $u \mapsto f\bigl(a_1(u),\ldots,a_d(u)\bigr)$ on $U$. The pair $(X,\mathscr F^\infty)$ constitutes a functionally structured space to which we shall refer as a \textit{$\C^\infty$ functionally structured space} or, in short, \textit{$\C^\infty$-space.} More correctly, a $\C^\infty$-space is a functionally structured space $(X,\mathscr F)$ such that $\mathscr F = \mathscr F^\infty$.\footnote{A more general notion of ``{$\C^\infty$-ring}'' was introduced by \mbox{Moerdijk} and \mbox{Reyes} in the context of smooth infinitesimal analysis \cite{MoeRey86,MoeRey91}. What we are considering here is a special instance of that notion, namely a $\C^\infty$-ring of continuous functions on a topological space. For simplicity, we choose to work within the subcategory of such $\C^\infty$-rings.} Observe that smooth manifolds can be defined as topological spaces endowed with a $\C^\infty$ functional structure locally isomorphic to that of smooth functions on $\nR^n$. $\C^\infty$-Spaces have, in general, better categorical properties than smooth manifolds. Note that the latter form, within $\C^\infty$-spaces, a full subcategory.
64: %
65: \end{paragrafo}
66:
67: \begin{paragrafo}[$\C^\infty$-Groupoids.]\label{C^infty-Gpd}
68: %
69: Let us start by observing that if $(X,\mathscr F)$ is a $\C^\infty$-space then so is $(S,\mathscr F|_S)$ for any subspace $S$ of $X$, where $\mathscr F|_S = {{i_S}^*\mathscr F}$ denotes the inverse image of $\mathscr F$ along the inclusion $i_S: S \into X$. [Recall that, for an arbitrary continuous mapping $f: S \to T$ into a functionally structured space $(T,\mathscr T)$, ${f^*\mathscr T}$ denotes the functional sheaf on $S$ formed by the functions which are locally the pullback along $f$ of functions in $\mathscr T$.]
70:
71: We note next that if $(X,\mathscr F)$ and $(Y,\mathscr G)$ are two functionally structured spaces then so is their Cartesian product endowed with the sheaf ${\mathscr F\otimes\mathscr G}$ locally generated by the functions $({\varphi\otimes\psi})(x,y) = {\varphi(x) \psi(y)}$. It follows that $({\mathscr F^\infty\otimes\mathscr G^\infty})^\infty$ is a $\C^\infty$ functional structure on ${X\times Y}$ turning this into the product of $(X,\mathscr F^\infty)$ and $(Y,\mathscr G^\infty)$ in the category of $\C^\infty$-spaces. The preceding considerations imply that the category of $\C^\infty$-spaces is closed under fibred products (pullbacks). Notice that when $X$ and $Y$ are smooth manifolds and $S \subset X$ is a submanifold one recovers the correct manifold structures, so that all these constructions for $\C^\infty$-spaces agree with the usual ones on manifolds whenever the latter make sense.
72:
73: We shall use the term \textit{$\C^\infty$-groupoid} to indicate a groupoid whose sets of objects and arrows are each endowed with the structure of a $\C^\infty$-space so that all the maps arising from the groupoid structure (source, target, composition, unit section, inverse) are morphisms of $\C^\infty$-spaces. The base space $X$ is always a smooth manifold in practice, with $\C^\infty$ functional structure given by the sheaf of smooth functions on $X$. Every Lie groupoid is, in particular, an example of a $\C^\infty$-groupoid.
74: %
75: \end{paragrafo}
76:
77: A Lie (or topological or $\C^\infty$) groupoid \G\ is said to be \textit{proper} if \G\ is Hausdorff and the combined source--target map $(\s,\t): \mca[1]\G \to {\mca[0]\G \times \mca[0]\G}$ is proper (in the familiar sense: the inverse image of a compact subset is compact). When \G\ is a proper Lie groupoid over a manifold $M$, every \G-orbit is in fact a closed submanifold of $M$.
78:
79: Normalized Haar systems on proper Lie groupoids are the analogue of Haar probability measures on compact Lie groups. We now recall the definition and the construction of Haar systems on proper Lie groupoids. Our exposition is based on \cite{Cra03}. Let \G\ be a Lie groupoid over a manifold $M$.
80:
81: \begin{definizione}\label{PHaarSyst}
82: %
83: A \textit{positive Haar system} on \G\ is a family of positive Radon measures $\{\mu^x\}$ ($x \in M$), each one supported by the respective source fibre $\G^x = \G(x,\text-) = \s^{-1}(x)$, satisfying the following conditions:
84: \begin{elenco}
85: \item${\int \varphi\, \mathit d\mu^x} > 0$ for all nonnegative real $\varphi \in \test(\G^x)$ with $\varphi \neq 0$;
86: \item for each $\varphi \in \test(\mca[1]\G)$ the function $\Phi$ on $M$ defined by setting
87: \begin{equazione}\label{PHaarSyst2}
88: \Phi(x) = {\int_{\G^x} \varphi|_{\G^x}\, \mathnormal d\mu^x}
89: \end{equazione}
90: is of class $\C^\infty$;
91: \item(right invariance) for all $g \in \G(x,y)$ and $\varphi \in \test(\G^x)$ one has
92: \begin{equazione}\label{PHaarSyst3}
93: {\int_{\G^y} {\varphi\circ\tau^g}\, \mathit d\mu^y} = {\int_{\G^x} \varphi\, \mathit d\mu^x}
94: \end{equazione}
95: where $\tau^g: \G(y,\text-) \to \G(x,\text-)$ denotes right translation $h \mapsto hg$.
96: \end{elenco}
97: %
98: \end{definizione}
99:
100: The existence of positive Haar systems on a Lie groupoid \G\ can be established when \G\ is {proper.} One way to do this is the following. One starts by fixing a Riemann metric on the vector bundle $\mathfrak g \to M$, where $\mathfrak g$ is the Lie algebroid of \G\ (cfr \cite{Cra03} or Chapter 6 of \cite{MoeMrc03}; note the use of paracompactness). Right translations determine isomorphisms $\T{\G(x,\text-)} \iso {\t^*\mathfrak g}|_{\G(x,\text-)}$ for all $x \in M$. These isomorphisms can be used to induce, on the source fibres $\G(x,\text-)$, Riemann metrics whose associated volume densities provide the desired system of measures.
101:
102: \begin{definizione}\label{NHaarSyst}
103: %
104: A \textit{normalized Haar system} on \G\ is a family of positive Radon measures $\{\mu^x\}$ ($x \in M$), each one with support concentrated in the respective source fibre $\G^x$, enjoying the following properties: \textsl{(a)}~All smooth functions on $\G^x$ are integrable with respect to $\mu^x$, that is to say
105: \begin{equazione}
106: \C^\infty(\G^x) \subset \Lebesgue(\mu^x)
107: \end{equazione}
108: \textsl{(b)}~Condition \textsl{ii)}, respectively \textsl{iii)} of the preceding definition holds for an arbitrary smooth function $\varphi$ on \mca[1]{\G}, respectively $\G^x$ \textsl{(c)}~The following normalization condition is satisfied:
109: \begin{elenco}
110: \item[\textsl{i*)}]${\int \mathit d\mu^x} = 1$ for every $x \in M$.
111: \end{elenco}
112: %
113: \end{definizione}
114:
115: Every proper Lie groupoid admits normalized Haar systems. One can prove this by using a cut-off function, namely a positive, smooth function $c$ on the base $M$ of the groupoid such that the source map restricts to a proper map on $\support{c\circ\t}$ and ${\int {c\circ\t}\, \mathit d\nu^x} = 1$ for all $x \in M$, where $\{\nu^x\}$ is an arbitrary positive Haar system chosen in advance. The system of positive measures $\mu^x \equiv {({c\circ\t})\, \nu^x}$ will have the desired properties.
116:
117: \begin{paragrafo}[Zung's theorem.]\label{ZungThm}
118: %
119: Let \G\ be a Lie groupoid and let $M$ be its base manifold. We say that a submanifold $N$ of $M$ is a {slice at a point $z \in N$} if the orbit immersion ${\G z} \into M$ is transversal to $N$ at $z$. A submanifold $S$ of $M$ will be called a {slice} if it is a slice at all of its points. Note that if $N$ is a submanifold of $M$ and $g \in \G^N = \s^{-1}(N)$ then $N$ is a slice at $z = \s(g)$ if and only if the intersection ${\G^N \cap \t^{-1}(z')}, z' = \t(g)$ is transversal at $g$. From this remark it follows that for each submanifold $N$ the subset of all points at which $N$ is a slice forms an open subset of $N$. If a submanifold $S$ of $M$ is a slice then the intersection ${\s^{-1}(S) \cap \t^{-1}(S)}$ is transversal, so that the restriction $\G|_S$ is a Lie groupoid over $S$; moreover, ${\G\cdot S}$ is an invariant open subset of $M$. For the proof of the following result, we refer the reader to \cite{Zu06}.
120: %
121: \begin{theorem*}[N.~T.~Zung]
122: %
123: Let \G\ be a proper Lie groupoid. Let $x$ be a base point which is not moved by the tautological action of $\G$ on its own base. Then there exists a continuous linear representation $G \to \GL(V)$ of the isotropy group $G = \G|_x$ on a finite dimensional vector space $V$ such that for some open neighbourhood $U$ of $x$ one can find an isomorphism of Lie groupoids $\G|_U \iso {G \ltimes V}$ which makes $x$ correspond to zero.
124: %
125: \end{theorem*}
126:
127: \noindent\textit{Remark:} Consider two slices $S, S'$ in $M$ with, let us say, $\dimens S \leqq \dimens S'$. Suppose $g \in \G(S,S')$. Put $x = \s(g) \in S$ and ${x'} = \t(g) \in S'$. It is not difficult to see that there is a smooth target section $\tau: B \to \mca[1]\G$ defined over some open neighbourhood $B$ of ${x'}$ in $S'$ such that $\tau({x'}) = g$ and the composite map ${\s\circ\tau}$ induces a submersion of $B$ onto an open neighbourhood of $x$ in $S$. Thus, when \G\ is proper, it follows from the preceding theorem that for each point $x \in M$ there are a finite dimensional linear representation $G \to \GL(V)$ of a compact Lie group $G$ and a \G-invariant open neighbourhood $U$ of $x$ in $M$ for which there exists a Morita equivalence $\iota: {G \ltimes V} \into \G|_U$ such that $\mca[0]\iota: V \into U$ is an embedding of manifolds mapping the origin of $V$ to $x$.
128: %
129: \end{paragrafo}
130: