Orbispaces as differentiable stratified spaces

Abstract

We present some features of the smooth structure and of the canonical stratification on the orbit space of a proper Lie groupoid. One of the main features is that of Morita invariance of these structures—it allows us to talk about the canonical structure of differentiable stratified space on the orbispace (an object analogous to a separated stack in algebraic geometry) presented by the proper Lie groupoid. The canonical smooth structure on an orbispace is studied mainly via Spallek’s framework of differentiable spaces, and two alternative frameworks are then presented. For the canonical stratification on an orbispace, we extend the similar theory coming from proper Lie group actions. We make no claim to originality. The goal of these notes is simply to give a complementary exposition to those available and to clarify some subtle points where the literature can sometimes be confusing, even in the classical case of proper Lie group actions.

Introduction

Lie groupoids are geometric objects that generalize Lie groups and smooth manifolds and permit a unified approach to the study of several objects of interest in differential geometry, such as Lie group actions, foliations and principal bundles (see, for example, [9, 37, 45] and the references therein). They have found wide use in Poisson and Dirac geometry (e.g., [12]) and noncommutative geometry [11].

One of the main features of Lie groupoids is that they permit studying singular objects, in particular quotients, as if they were smooth. This is because groupoids also generalize equivalence relations on manifolds, but keep record of the different ways in which points can be equivalent. As such, every Lie groupoid $\mathcal{G}\rightrightarrows M$ has an associated quotient space $M/\mathcal{G}$ by the equivalence relation it defines—its orbit space. Due to their unifying nature, Lie groupoids are then useful in studying a variety of singular spaces such as leaf spaces of foliations, orbit spaces of actions, and orbifolds.

As a topological space, the orbit space $M/\mathcal{G}$ of a Lie groupoid can be very uninteresting, so when talking about its orbit space, it is common to consider extra structure, constructed from the Lie groupoid. There are several different approaches to building a good model for singular or quotient spaces. To name a few, one can build Haefliger’s classifying space [30] (also related to Van Est’s S-atlases [66]) or a noncommutative algebra of functions as a model for the quotient, as in the noncommutative geometry of Connes [11]. There is also the theory of stacks, which grew out of algebraic geometry [3, 4, 22, 28] (where algebraic groupoids are used instead) and has recently gained increasing interest in the context of differential geometry (cf. e.g., [6, 31, 35, 42]). The common feature to all these approaches is that they start by modelling the situation at hand by the appropriate Lie groupoid (the holonomy groupoid of a foliation [30] or an orbifold groupoid as an orbifold atlas [46], for example). The way in which a good model $M//\mathcal{G}$ for the quotient is then constructed out of the Lie groupoid is what differs. We refer to [44] for a comparison of these and some other approaches to modelling quotients via groupoids.

Let us mention in more detail the role of Lie groupoids in studying orbifolds. The idea is that these are spaces which are locally modelled by quotients of Euclidean space by actions of finite groups (where the actions are considered part of the structure!). Simple as it may seem, making this description precise has been subtle. Manifestations of orbifolds were first considered in classical algebraic geometry, where they were called by the name of varieties with quotient singularities (See for example [1] and the references therein for an account). But these consisted only of the underlying quotient space. Taking into account the group actions, classical orbifolds were studied by Satake [55] and Thurston [63] and were defined in terms of charts and atlases, similar to manifold atlases. However, this definition still had serious limitations.

The modern take on orbifolds, following the work of Haefliger [30] and Moerdijk–Pronk [46], bypasses those limitations by using a special class of Lie groupoids to describe orbifolds—that of proper étale Lie groupoids. In modern terminology, an orbifold atlas on a topological space X is a proper étale Lie groupoid $\mathcal{G}\rightrightarrows M$, together with an homeomorphism between its orbit space $M/\mathcal{G}$ and X. An orbifold structure on X is then defined as an equivalence class of orbifold atlases on X. The correct notion of equivalence between atlases is provided by the notion of Morita equivalence between the corresponding Lie groupoids. This makes sense because, in particular, a Morita equivalence between Lie groupoids induces an homeomorphism between their orbit spaces. Indeed, Morita invariant information encodes the transverse geometry of a Lie groupoid, meaning that geometry of its orbit space which is independent of a particular choice of atlas (see Theorem 4.3.1 in [21] for a precise statement of this fact).

The definition of orbifolds using Lie groupoids may seem more complicated than the one in terms of local charts, but it has some crucial advantages. First of all, it allows naturally for the treatment of orbifolds where the local actions are non-effective. This is a situation which occurs in several important examples, such as sub-orbifolds, weighted projective spaces, or simple moduli spaces. It also makes possible to correctly deal with morphisms of orbifolds. Some standard textbook references on orbifolds are [1, 45].

In a similar fashion, we can describe atlases for differentiable stacks if we now allow for the use of general Lie groupoids. Hence, studying the differential geometry of a differentiable stack can essentially be done by studying Morita invariant geometry on Lie groupoids.

There are some very recent developments in the treatment of the differential geometry of singular spaces in this way. Let us name a few examples (which certainly do not constitute a complete list). Vector fields on differentiable stacks have been studied via multiplicative vector fields on Lie groupoids [7, 32, 36, 50]. There are now Riemannian metrics for differentiable stacks, studied via Riemannian groupoids [19, 20]. Integral affine structures on orbifolds appear via (special classes of) symplectic groupoids [13–15]. Measures and densities on differentiable stacks can be studied via transverse measures for Lie groupoids [16, 73].

In these notes, we focus on two aspects of the geometry of a particular class of differentiable stacks, called orbispaces. Those are the differentiable stacks which have an atlas given by a proper Lie groupoid. We describe and present some features of the smooth structure and of the canonical stratification on an orbispace (cf. [53]) which we get associated with any Lie groupoid presenting it.

Orbispaces generalize orbifolds and have particularly good features among differentiable stacks. Among them, let us mention that a linearization result for proper Lie groupoids [18, 72, 74] permits the analysis of the local geometry of orbispaces. Essentially, the normal form given by the linearization provides adapted coordinates to the structure of the orbispace. As in the case of orbifolds, early definitions for orbispaces have appeared in terms of charts [10, 52, 56], but nowadays they are usually treated using the language of Lie groupoids (cf. e.g., [21, 41, 64]).

In order to study the smooth structure of an orbispace, we take an approach inspired by algebraic geometry and see the orbispace as a locally ringed space, equipped with a sheaf of smooth functions. As is the general philosophy, the sheaf of smooth functions on the orbispace can be described in terms of smooth invariant functions on any Lie groupoid presenting it. In this way, we frame orbispaces in the theory of differentiable spaces, which is a simple version of scheme theory for differential geometry [48]. We then present two alternative ways to describe the smooth structure, each with its own advantages. A different strategy, which also proves useful, but that we shall not discuss in this text is that of equipping an orbispace with the structure of a diffeology. We refer to [67, 68, 70] for details on this approach.

The canonical stratification of an orbispace is a decomposition of the orbispace into subspaces which carry a smooth manifold structure and which fit together nicely. When studying an orbispace, there is a canonical stratification which appears. It is closely connected to the stratification induced by the partition by orbit types in the theory of proper Lie group actions.

We explain how to extend the constructions of the canonical stratification of a proper Lie group action into the context of proper Lie groupoids and orbispaces (cf. e.g., [25, 51]). This gives a different (but equivalent) take on the stratification of [53]. More specifically, we use the description of stratifications via partitions by manifolds (cf. e.g., [25]) instead of the approach using germs of decompositions (cf. e.g., [51, 53]).

We also present proofs for some results that seem to be commonly accepted as an extension of the theory of orbit-type stratifications for proper Lie group actions, but which, to the best of our knowledge, were not readily available. This is the case for example with the principal Morita-type theorem (15), which states the existence of a connected open dense stratum of the canonical stratification of an orbispace by Morita type.

Outline of the paper and of the main results In Sect. 2, we present some background material on Lie groupoids, including some basics on Morita equivalences, proper Lie groupoids, and orbispaces.

In Sect. 3, we describe “the canonical smooth structure” that orbispaces are endowed with. Several approaches to smooth structures on singular spaces will be recalled in the paper. We focus on the framework provided by differentiable spaces (cf. [48]) and prove Main theorem 1. We then move to other settings and derive two variations of the main theorem 1.

Main Theorem 1

(and variations) The orbit space X of a proper Lie groupoid $\mathcal{G}\rightrightarrows M$, together with the sheaf ${\mathcal{C}}_X^{\infty }$ on X (Definition 14), is a reduced differentiable space, a locally fair affine $C^{\infty }$-scheme, and a subcartesian space.

These smooth structures are Morita invariant thus associated with the orbispace presented by $\mathcal{G}$.

More refined versions of this statement can be found inside the paper (Theorem 13 and Propositions 15 and 17).

In Sect. 4, we move to the canonical stratification on orbispaces. Its description is inspired by the similar stratifications for proper Lie group actions (cf. e.g., [25]), that it generalizes, but adapted to the groupoid context. The main idea here is that of “Morita types”—the pieces of the partition giving rise to the canonical stratification which, by construction, will be Morita invariant.

Main Theorem 2

Let $\mathcal{G}\rightrightarrows M$ be a proper Lie groupoid. Then, the partitions of M and of $X=M/\mathcal{G}$ by connected components of Morita types are stratifications.

Given a Morita equivalence between two Lie groupoids $\mathcal{G}$ and $\mathcal{H}$, the induced homeomorphism at the level of orbit spaces preserves this stratification.

We will also prove a principal type theorem for the canonical stratification on the orbit space (Theorem 15).

In Sect. 5, we combine the previous two sections, looking at the interplay between the smooth structure and the canonical stratification on orbispaces.

Main Conclusion

Let $\mathcal{G}\rightrightarrows M$ be a proper Lie groupoid. Then, M and the orbit space $X=M/\mathcal{G}$, together with the canonical stratifications, are differentiable stratified spaces. Moreover, the canonical stratifications of M and X are Whitney stratifications.

Any Morita equivalence between two proper Lie groupoids induces an isomorphism of differentiable stratified spaces between their orbit spaces.

Background

Lie groupoids

Recall that a Lie groupoid consists of two smooth manifolds, $\mathcal{G}$ and M, called the space of arrows and the space of objects, respectively, together with submersions $s,t:\mathcal{G}\to M$, called the source and target, respectively, a partially defined multiplication $m:{\mathcal{G}}^{(2)}\to \mathcal{G}$ (defined on the space of composable arrows ${\mathcal{G}}^{(2)}=\{(g,h)\in \mathcal{G}|s(g)=t(h)\}$), a unit section $u:M\to \mathcal{G}$, and an inversion $i:\mathcal{G}\to \mathcal{G}$, satisfying group-like axioms (see, e.g., [45]).

We will also use the notations $u(x)=1_x$, $i(g)=g^{-1}$ and $m(g,h)=gh$. An arrow g with source x and target y is sometimes denoted more graphically by $g:x\to y$, $x\stackrel{g}{\to }y$ or $y\stackrel{g}{⟵}x$, and we commonly denote the groupoid $\mathcal{G}$ over M by $\mathcal{G}\rightrightarrows M$.

The space of arrows $\mathcal{G}$ is not required to be Hausdorff, but the space of objects M and the fibres of the source map $s:\mathcal{G}\to M$ are. This is done in order to accommodate several natural examples of groupoids for which the space of arrows may fail to be Hausdorff. A typical source of such examples is foliation theory.

From the definition of a Lie groupoid $\mathcal{G}\rightrightarrows M$, we can conclude that the inversion map is a diffeomorphism of $\mathcal{G}$ and that the unit map is an embedding $u:M\hookrightarrow \mathcal{G}$. We often identify the base of a groupoid with its image by the unit embedding.

Example 1

1. (Lie groups) Any Lie group G can be seen as a Lie groupoid over a point $G\rightrightarrows \{\ast \}$.

2. (Submersion groupoids) Given any submersion $\mathit{\pi }:M\to B$ there is a groupoid $M{\times }_{\mathit{\pi }}M\rightrightarrows M$, for which the arrows are the pairs (x, y) such that $\mathit{\pi }(x)=\mathit{\pi }(y)$, and the structure maps are defined by $s(x,y)=y$, $t(x,y)=x$ and $(x,y)·(y,z)=(x,z)$. This is called the submersion groupoid of $\mathit{\pi }$, and it is sometimes denoted by $\mathcal{G}(\mathit{\pi })$. In the particular case of $\mathit{\pi }$ being the identity map of M, we obtain the so-called unit groupoid; when B is a point, we obtain the pair groupoid of M.

3. (Action groupoids) Let G be a Lie group acting smoothly on a manifold M. Then, we can form the action Lie groupoid $G⋉M\rightrightarrows M$. The objects are the points of M, and the arrows are pairs $(g,x)\in G\times M$. The structure maps are defined by $s(g,x)=x$, $t(g,x)=g·x$, $1_x=(e,x)$, ${(g,x)}^{-1}=(g^{-1},g·x)$ and $(g,h·x)(h,x)=(gh,x)$.

4. (Gauge groupoids) Let $P\to M$ be a principal bundle with structure group G. Then, we can take the quotient $(P\times P)/G$ of the pair groupoid of P by the diagonal action of G, to obtain a Lie groupoid over M called the gauge groupoid of P and denoted by $Gauge(P)\rightrightarrows M$.

5. (Tangent groupoids) For any Lie groupoid $\mathcal{G}\rightrightarrows M$, applying the tangent functor gives us a groupoid $T\mathcal{G}\rightrightarrows TM$, which we call the tangent groupoid of $\mathcal{G}$, for which the structural maps are the differential of the structural maps of $\mathcal{G}$.

Definition 1

Let $\mathcal{G}\rightrightarrows M$ be a Lie groupoid and $x\in M$. The subsets $s^{-1}(x)$ and $t^{-1}(x)$ of $\mathcal{G}$ are called the source-fibre of x and the target-fibre of x respectively (or s-fibre and t-fibre). The subset ${\mathcal{G}}_x:=\{g\in \mathcal{G}|s(g)=t(g)=x\}\subset \mathcal{G}$ is called the isotropy group of x.

Definition 2

Any Lie groupoid $\mathcal{G}\rightrightarrows M$ defines an equivalence relation on M such that two points x and y are related if and only if there is an arrow $g\in \mathcal{G}$ such that $s(g)=x$ and $t(g)=y$. The equivalence classes are called the orbits of the groupoid and the orbit of a point $x\in M$ is denoted by ${\mathcal{O}}_x$. A subset of M is said to be invariant if it is a union of orbits. Given a subset U of M, the saturation of U, denoted by $⟨U⟩$, is the smallest invariant subset of M containing U.

The quotient of M by this relation, endowed with the quotient topology, is called the orbit space of $\mathcal{G}$ and is denoted by $M/\mathcal{G}$.

The following result describes these pieces of a groupoid (cf. e.g., [45]).

Proposition 1

(Structure of Lie groupoids) Let $\mathcal{G}\rightrightarrows M$ be a Lie groupoid and $x,y\in M$. Then:

1. the set of arrows from x to y, $s^{-1}(x)\cap t^{-1}(y)$ is a Hausdorff submanifold of $\mathcal{G}$;

2. the isotropy group ${\mathcal{G}}_x$ is a Lie group;

3. the orbit ${\mathcal{O}}_x$ through x is an immersed submanifold of M;

4. the s-fibre of x is a principal ${\mathcal{G}}_x$-bundle over ${\mathcal{O}}_x$, with projection the target map t.

The partition of the manifolds into connected components of the orbits forms a foliation, which is possibly singular, in the sense that different leaves might have different dimension. To give an idea of some different kinds of singular foliations that might occur, let us look at two very simple examples coming from group actions.

Example 2

Let the circle $S^1$ act on the plane ${\mathbb{R}}^2$ by rotations. Then the leaves of the singular foliation on the plane corresponding to the associated action groupoid are the orbits, i.e., the origin and the concentric circles centred on it.

Let now $({\mathbb{R}}_{+},\times )$ act on the plane ${\mathbb{R}}^2$ by scalar multiplication. The leaves of the corresponding singular foliation are the origin and the radial open half-lines.

Note that the first example has a Hausdorff orbit space; in the second example, on the other hand, there is a point in the orbit space which is dense, defined by the orbit consisting of the origin.

Definition 3

A Lie groupoid morphism between $\mathcal{G}\rightrightarrows M$ and $\mathcal{H}\rightrightarrows N$ is a smooth functor, i.e., a pair of smooth maps $\mathit{\Phi }:\mathcal{G}\to \mathcal{H}$ and $\mathit{\varphi }:M\to N$ commuting with all the structure maps. An isomorphism is an invertible Lie groupoid morphism.

Actions and representations

A groupoid can act on a space fibred over its base, with an arrow $g:x\to y$ mapping the fibre over x onto the fibre over y.

Definition 4

Let $\mathcal{G}\rightrightarrows M$ be a Lie groupoid and consider a surjective smooth map $\mathit{\mu }:P\to M$. A (left) action of $\mathcal{G}$ on P along the map $\mathit{\mu }$, which is called the moment map, is a smooth map

$$\begin{array}{c}\hfill \mathcal{G}{\times }_{M}P=\{(g,p)\in \mathcal{G}\times P|s(g)=\mathit{\mu }(p)\}\to P,\end{array}$$

denoted by $(g,p)\mapsto g·p=gp$, such that $\mathit{\mu }(gp)=t(g)$, and satisfying the usual action axioms $(gh)p=g(hp)$ and $1_{\mathit{\mu }(p)}p=p$. We then say that P is a left $\mathcal{G}$-space.

Example 3

Any Lie groupoid $\mathcal{G}\rightrightarrows M$ acts canonically on its base, with moment map the identity on M, by letting $g:x\to y$ act by $gx=y$; it also acts on $\mathcal{G}$ itself by left translations, with the target map $t:\mathcal{G}\to M$ as moment map, and action $g·h=gh$.

Definition 5

Let $\mathcal{G}\rightrightarrows M$ be a Lie groupoid. A representation of $\mathcal{G}$ is a vector bundle E over M, together with a linear action of $\mathcal{G}$ on E, meaning that for each arrow $g:x\to y$, the induced map $g:E_x\to E_y$ is a linear isomorphism.

In general, given a groupoid $\mathcal{G}$, there might not be many interesting representations, so let us focus on some particular classes that have natural examples.

Definition 6

(Regular and transitive groupoids) A Lie groupoid is called regular if all the orbits have the same dimension. It is called transitive if it has only one orbit.

Example 4

The gauge groupoid Gauge(P) of a principal bundle P is transitive. Conversely, if $\mathcal{G}\rightrightarrows M$ is a transitive groupoid, then $\mathcal{G}$ is isomorphic to $Gauge(s^{-1}(x))$, the gauge groupoid of the ${\mathcal{G}}_x$-principal bundle $s^{-1}(x)\stackrel{t}{\to }M$, for any object $x\in M$.

Example 5

(Representations of regular groupoids) Let $\mathcal{G}\rightrightarrows M$ be a regular Lie groupoid, with Lie algebroid A. Then $\mathcal{G}$ has natural representations on the kernel of the anchor map of A, denoted by $\mathfrak{i}$, and on the normal bundle to the orbits (which is the cokernel of the anchor), denoted by $\mathit{\nu }$. An arrow $g\in \mathcal{G}$ acts on $\mathit{\alpha }\in {\mathfrak{i}}_{s(g)}$ by conjugation,

$$\begin{array}{c}\hfill g·\mathit{\alpha }=\text{d}{R}_{g^{-1}}\circ \text{d}{L}_g\mathit{\alpha }\end{array}$$

and it acts on $[v]\in {\mathit{\nu }}_{s(g)}$ by the so-called normal representation: if $g(\mathit{ϵ})$ is a curve on $\mathcal{G}$ with $g(0)=g$ such that $[v]=\left[{\frac{\text{d}}{\text{d}\mathit{ϵ}}}_{|\mathit{ϵ}=0}s(g(\mathit{ϵ}))\right]$, then

$$\begin{array}{c}\hfill g·[v]=\left[{\frac{\text{d}}{\text{d}\mathit{ϵ}}}_{|\mathit{ϵ}=0}t(g(\mathit{ϵ}))\right].\end{array}$$

In other words, $g·[v]$ can be defined as [dt(X)], where $X\in T_g\mathcal{G}$ is any s-lift of v, meaning that $ds(X)=v$.

Example 6

(Restriction to an orbit) If $\mathcal{G}\rightrightarrows M$ is any Lie groupoid, not necessarily regular, then the normal spaces to the orbits may no longer form a vector bundle. Nonetheless, we can still get a representation of an appropriate restriction of $\mathcal{G}$ on some appropriate normal bundle. To be precise, if $\mathcal{O}$ is an orbit of $\mathcal{G}$, then the restriction

$$\begin{array}{c}\hfill {\mathcal{G}}_{\mathcal{O}}=\{g\in \mathcal{G}|s(g),t(g)\in \mathcal{O}\}\end{array}$$

is a Lie groupoid over $\mathcal{O}$ (isomorphic to the gauge groupoid of the ${\mathcal{G}}_x$-principal bundle $s^{-1}(x)\stackrel{t}{\to }\mathcal{O}$, for any object $x\in \mathcal{O}$). It has a natural representation on $\mathcal{N}\mathcal{O}$, the normal bundle to the orbit inside of M, defined in the following way. Denote by ${\mathcal{N}}_x:=T_{x}M/T_x{\mathcal{O}}_x$ the fibre of $\mathcal{N}\mathcal{O}$ at x. Let $g\in {\mathcal{G}}_{\mathcal{O}}$ and $[v]\in {\mathcal{N}}_{s(g)}$. Then, just as in the regular case, we define $g·[v]$ to be $[\text{d}t(X)]$, for any s-lift $X\in T_g\mathcal{G}$ of v. Furthermore, given any point x in the orbit $\mathcal{O}$ we can restrict this representation to a representation of the isotropy Lie group ${\mathcal{G}}_x$ on the normal space ${\mathcal{N}}_x$, also called the normal representation (or isotropy representation) of ${\mathcal{G}}_x$.

Morita equivalences

Definition 7

A left $\mathcal{G}$-bundle is a left $\mathcal{G}$-space P together with a $\mathcal{G}$-invariant surjective submersion $\mathit{\pi }:P\to B$. A left $\mathcal{G}$-bundle is called principal if the map $\mathcal{G}{\times }_{M}P\to P{\times }_{\mathit{\pi }}P$, $(g,p)\mapsto (gp,p)$ is a diffeomorphism. So for a principal $\mathcal{G}$-bundle, each fibre of $\mathit{\pi }$ is an orbit of the $\mathcal{G}$-action and all the stabilizers of the action are trivial.

The notions of right action and right principal $\mathcal{G}$-bundle are defined in an analogous way.

Definition 8

A Morita equivalence between two Lie groupoids $\mathcal{G}\rightrightarrows M$ and $\mathcal{H}\rightrightarrows N$ is given by a principal $\mathcal{G}-\mathcal{H}$-bibundle, i.e., a manifold P together with moment maps $\mathit{\alpha }:P\to M$ and $\mathit{\beta }:P\to N$, such that $\mathit{\beta }:P\to N$ is a left principal $\mathcal{G}$-bundle, $\mathit{\alpha }:P\to M$ is a right principal $\mathcal{H}$-bundle and the two actions commute: $g·(p·h)=(g·p)·h$ for any $g\in \mathcal{G},p\in P$ and $h\in \mathcal{H}$. We say that P is a bibundle realising the Morita equivalence.

Example 7

(Isomorphisms) If $f:\mathcal{G}\to \mathcal{H}$ is an isomorphism of Lie groupoids, then $\mathcal{G}$ and $\mathcal{H}$ are Morita equivalent. A bibundle can be given by the graph $Graph(f)\subset \mathcal{G}\times \mathcal{H}$, with moment maps $t\circ p{r}_1$ and $s\circ p{r}_2$, and the natural actions induced by the multiplications of $\mathcal{G}$ and $\mathcal{H}$.

Example 8

(Pullback groupoids) Let $\mathcal{G}$ be a Lie groupoid over M and let $\mathit{\alpha }:P\to M$ be a surjective submersion. Then, we can form the pullback groupoid ${\mathit{\alpha }}^{\ast }\mathcal{G}\rightrightarrows P$, that has as space of arrows $P{\times }_M\mathcal{G}{\times }_{M}P$, meaning that arrows are triples (p, g, q) with $\mathit{\alpha }(p)=t(g)$ and $s(g)=\mathit{\alpha }(q)$. The structure maps are determined by $s(p,g,q)=q$, $t(p,g,q)=p$ and $(p,g_1,q)(q,g_2,r)=(p,g_1{g}_2,r)$.

The groupoids $\mathcal{G}$ and ${\mathit{\alpha }}^{\ast }\mathcal{G}$ are Morita equivalent, a bibundle being given by $\mathcal{G}{\times }_{M}P$. The left action of $\mathcal{G}$ has moment map $t\circ p{r}_1:\mathcal{G}{\times }_{M}P\to M$ is given by $g·(h,p)=(gh,p)$ and the right action of ${\mathit{\alpha }}^{\ast }\mathcal{G}$ has moment map $p{r}_2:\mathcal{G}{\times }_{M}P\to P$ and is given by $(h,p)·(p,k,q)=(hk,q)$.

Remark 1

(Decomposing Morita equivalences)

Let $\mathcal{G}$ and $\mathcal{H}$ be Morita equivalent, with bibundle P as above. Since P is a principal bibundle, it is easy to check that

$$\begin{array}{c}\hfill {\mathit{\alpha }}^{\ast }\mathcal{G}=P{\times }_M\mathcal{G}{\times }_{M}P\cong P{\times }_{M}P{\times }_{N}P\cong P{\times }_N\mathcal{H}{\times }_{N}P={\mathit{\beta }}^{\ast }\mathcal{H},\end{array}$$

as Lie groupoids over P.

This means that we can break any Morita equivalence between $\mathcal{G}$ and $\mathcal{H}$, using a bibundle P, into a chain of simpler Morita equivalences: $\mathcal{G}$ is Morita equivalent to ${\mathit{\alpha }}^{\ast }\mathcal{G}\cong {\mathit{\beta }}^{\ast }\mathcal{H}$, which is Morita equivalent to $\mathcal{H}$.

Example 9

1. Two Lie groups are Morita equivalent if and only if they are isomorphic.

2. Any transitive Lie groupoid $\mathcal{G}$ is Morita equivalent to the isotropy group ${\mathcal{G}}_x$ of any point x in the base.

3. Let $\mathcal{G}\rightrightarrows M$ be a Lie groupoid, let $N\subset M$ be a submanifold that intersects transversely every orbit it meets and let $⟨N⟩$ denote the saturation of N. Then ${\mathcal{G}}_N\rightrightarrows N$ is Morita equivalent to ${\mathcal{G}}_{⟨N⟩}\rightrightarrows ⟨N⟩$. As a particular case, we can take N to be any open subset of M.

4. The groupoid $\mathcal{G}(\mathit{\pi })$ associated with a submersion $\mathit{\pi }:M\to N$ is Morita equivalent to the unit groupoid $\mathit{\pi }(M)$.

Lemma 1

(Morita equivalences preserve transverse geometry) Let $\mathcal{G}\rightrightarrows M$ and $\mathcal{H}\rightrightarrows N$ be Morita equivalent Lie groupoids and let P be a bibundle realising the equivalence. Then P induces:

1. A homeomorphism between the orbit spaces of $\mathcal{G}$ and $\mathcal{H}$,

   $$\begin{array}{c}\hfill \mathit{\Phi }:M/\mathcal{G}⟶N/\mathcal{H};\end{array}$$

2. isomorphisms $\mathit{\varphi }:{\mathcal{G}}_x⟶{\mathcal{H}}_y$ between the isotropy groups at any points $x\in M$ and $y\in N$ whose orbits are related by $\mathit{\Phi }$, i.e., for which $\mathit{\Phi }({\mathcal{O}}_x)={\mathcal{O}}_y$;

3. isomorphisms $\tilde{\mathit{\varphi }}:{\mathcal{N}}_x⟶{\mathcal{N}}_y$ between the normal representations at any points x and y in the same conditions as in point 2, which are compatible with the isomorphism $\mathit{\varphi }:{\mathcal{G}}_x⟶{\mathcal{H}}_y$.

Proof

First, let us define the map $\mathit{\Phi }$: fix a point x in the base of $\mathcal{G}$. Then for any point $x^{\prime }$ in the orbit of x, the fibre ${\mathit{\alpha }}^{-1}(x^{\prime })$ is a single orbit for the $\mathcal{H}$-action on P; it projects via $\mathit{\beta }$ to a unique orbit of $\mathcal{H}$, which we define to be $\mathit{\Phi }({\mathcal{O}}_x)$. Invariance of $\mathit{\beta }$ under the action of $\mathcal{G}$ implies that $\mathit{\Phi }({\mathcal{O}}_x)$ does not depend on the choice of $x^{\prime }$, so $\mathit{\Phi }$ is well defined. In order to see that $\mathit{\Phi }$ is a homeomorphism, note that bi-invariant open sets on P correspond to invariant opens on $\mathcal{G}$ and $\mathcal{H}$.

Let $x\in M$ and $y\in N$ be points such that their orbits are related by $\mathit{\Phi }$. Then there is a $p\in P$ such that $\mathit{\alpha }(p)=x$ and $\mathit{\beta }(p)=y$. Any such p induces an isomorphism ${\mathit{\varphi }}_p:{\mathcal{G}}_x\to {\mathcal{H}}_y$ between the isotropy groups at x and y, uniquely determined by the condition $gp=p{\mathit{\varphi }}_p(g)$.

Moreover, p induces an isomorphism ${\tilde{\mathit{\varphi }}}_p:{\mathcal{N}}_x\to {\mathcal{N}}_y$ between the normal representations at x and y, uniquely determined by

$$\begin{array}{c}\hfill \tilde{\mathit{\varphi }}([{(d\mathit{\alpha })}_p(X_p)])=[{(d\mathit{\beta })}_p(X_p)],\mathrm{for}\mathrm{all}{X}_p\in T_{p}P.\end{array}$$

$\square$

Proper Lie groupoids

Definition 9

A Lie groupoid $\mathcal{G}\rightrightarrows M$ is called proper if it is Hausdorff and $(s,t):\mathcal{G}\to M\times M$ is a proper map.

Example 10

For several of the examples of Lie groupoids described before, the condition of properness becomes some sort of familiar compactness condition.

1. A Lie group G is proper when seen as a Lie groupoid if and only if it is compact.

2. The submersion groupoid $\mathcal{G}(\mathit{\pi })$ associated with a submersion $\mathit{\pi }:M\to B$ is always proper.

3. An action groupoid is proper if and only if it is associated to a proper Lie group action.

4. The gauge groupoid of a principal G-bundle is proper if and only if G is compact.

5. If $\mathcal{G}\rightrightarrows M$ is a proper Lie groupoid and $S\subset M$ a submanifold such that the restriction ${\mathcal{G}}_S\rightrightarrows S$ is a Lie groupoid, then ${\mathcal{G}}_S$ is proper as well.

The following result gives a first glimpse on how proper Lie groupoids are better behaved than general ones.

Proposition 2

Let $\mathcal{G}\rightrightarrows M$ be a proper Lie groupoid. Then the orbit space $M/\mathcal{G}$ is Hausdorff and the isotropy group ${\mathcal{G}}_x$ is compact for every $x\in M$.

Proof

Since the map $(s,t):\mathcal{G}\to M\times M$ is proper, it is closed and has compact fibres. This automatically implies that the isotropy groups are compact, and since the orbit space is the quotient of M by the closed relation $(s,t)(\mathcal{G})\subset M\times M$, it is Hausdorff.

$\square$

Proposition 3

Let $\mathcal{G}$ and $\mathcal{H}$ be Morita equivalent Lie groupoids. If one of them is proper, then the other one is proper as well.

Proof

As mentioned in Remark 1, in order to prove invariance of a property, we may assume that $\mathcal{H}\rightrightarrows N$ is equal to the pullback of $\mathcal{G}\rightrightarrows M$ via a surjective submersion $\mathit{\alpha }:N\to M$. But then we have a pullback diagram relating the maps $(s,t):\mathcal{G}⟶M\times M$ and $(s^{\prime },t^{\prime }):\mathcal{H}⟶N\times N$. The result follows from stability of proper maps (with Hausdorff domain) under pullback. $\square$

Before looking at the local structure of a proper Lie groupoid, let us briefly recall the local structure of proper Lie group actions. Whenever a Lie group G acts on a manifold M, we can differentiate the action to get an induced action of G on TM, the tangent action of G, defined by

$$\begin{array}{c}\hfill g·X={\frac{\text{d}}{\text{d}\mathit{ϵ}}}_{|\mathit{ϵ}=0}(g·x(\mathit{ϵ})),\end{array}$$

where $X\in T_{x}M$ and $x(\mathit{ϵ})$ is a curve representing X.

For any point $x\in M$, if we restrict this action to an action of the isotropy group $G_x$, then we obtain a representation of $G_x$ on $T_{x}M$. Since the action of $G_x$ leaves the tangent space to the orbit through x invariant, we obtain an induced representation on the quotient ${\mathcal{N}}_x=T_{x}M/T_x{O}_x$, called the isotropy representation at x. This representation is used in the normal form around an orbit for a proper action of a Lie group, described by the Slice theorem, also called Tube theorem [25, p. 109].

Theorem 1

(Slice theorem for proper actions) Let a Lie group G act properly on a manifold M and let $x\in M$. Then there is an invariant open neighbourhood of x (called a tube for the action) which is equivariantly diffeomorphic to $G{\times }_{G_x}B$, where B is a $G_x$-invariant open neighbourhood of 0 in ${\mathcal{N}}_x$ (the isotropy representation).

Let us return to the case of a proper Lie groupoid. First, let us recall that there is a pointwise version of properness.

Definition 10

Let $\mathcal{G}\rightrightarrows M$ be a Lie groupoid and $x\in M$. The groupoid $\mathcal{G}$ is proper at x if every sequence $(g_n)\in \mathcal{G}$ such that $(s,t)(g_n)\to (x,x)$ has a converging subsequence.

Lemma 2

([21]) A Lie groupoid is proper if and only if it is proper at every point and its orbit space is Hausdorff.

Definition 11

Let $\mathcal{G}$ be a Lie groupoid over M and $x\in M$. A slice at x is an embedded submanifold $\mathit{\Sigma }\subset M$ of dimension complementary to ${\mathcal{O}}_x$ such that it is transverse to every orbit it meets and $\mathit{\Sigma }\cap {\mathcal{O}}_x=\{x\}$.

The following result gives us some information about the longitudinal (along the orbits) and the transverse structure of a groupoid $\mathcal{G}$, at a point x at which $\mathcal{G}$ is proper. For a proof, we refer to [18].

Proposition 4

Let $\mathcal{G}\rightrightarrows M$ be a Lie groupoid which is proper at $x\in M$. Then

1. The orbit ${\mathcal{O}}_x$ is an embedded closed submanifold of M;

2. there is a slice $\mathit{\Sigma }$ at x.

Let $\mathcal{G}\rightrightarrows M$ be a Lie groupoid and $\mathcal{O}$ an orbit of $\mathcal{G}$. We recall that the restriction

$$\begin{array}{c}\hfill {\mathcal{G}}_{\mathcal{O}}=\{g\in \mathcal{G}|s(g),t(g)\in \mathcal{O}\}\end{array}$$

is a Lie groupoid over $\mathcal{O}$. The normal bundle of ${\mathcal{G}}_{\mathcal{O}}$ in $\mathcal{G}$ is naturally a Lie groupoid over the normal bundle of $\mathcal{O}$ in M:

$$\begin{array}{c}\hfill \mathcal{N}({\mathcal{G}}_{\mathcal{O}}):=T\mathcal{G}/T{\mathcal{G}}_{\mathcal{O}}\rightrightarrows \mathcal{N}\mathcal{O}:=TM/T\mathcal{O},\end{array}$$

with the groupoid structure induced from that of $T\mathcal{G}\rightrightarrows TM$. The groupoid $\mathcal{N}({\mathcal{G}}_{\mathcal{O}})$ is called the local model, or the linearization, of $\mathcal{G}$ at $\mathcal{O}$.

Recall also that the restricted groupoid ${\mathcal{G}}_{\mathcal{O}}$ has a natural representation on the normal bundle to the orbit, called the normal representation, defined by $g·[v]=[dt(X)]$, for any $v\in T_{s(g)}M$ and any s-lift $X\in T_g\mathcal{G}$ of v.

This representation can be restricted, for any $x\in M$, to a representation of the isotropy group ${\mathcal{G}}_x$ on ${\mathcal{N}}_x$, also called the normal representation, or isotropy representation, at x.

Using this representation, there is a more explicit description of the local model using the isotropy bundle by choosing a point x of $\mathcal{O}$. Let $P_x$ denote the s-fibre of x and recall that it is a principal ${\mathcal{G}}_x$-bundle over ${\mathcal{O}}_x$ (Proposition 1). Then the normal bundle to $\mathcal{O}$ is isomorphic to the associated vector bundle

$$\begin{array}{c}\hfill {\mathcal{N}}_{\mathcal{O}}\cong P_x{\times }_{{\mathcal{G}}_x}{\mathcal{N}}_x,\end{array}$$

and the local model is

$$\begin{array}{c}\hfill \mathcal{N}({\mathcal{G}}_{\mathcal{O}})\cong (P_x\times P_x){\times }_{{\mathcal{G}}_x}{\mathcal{N}}_x.\end{array}$$

The structure on the local model is given by

$$\begin{array}{c}\hfill s([p,q,v])=[q,v],t([p,q,v])=[p,v],[p,q,v]·[q,r,v]=[p,r,v].\end{array}$$

Remark 2

Since ${\mathcal{G}}_{\mathcal{O}}$ is transitive, it is Morita equivalent to ${\mathcal{G}}_x$. Moreover, the linearization $\mathcal{N}({\mathcal{G}}_{\mathcal{O}})$ is Morita equivalent to ${\mathcal{G}}_x⋉{\mathcal{N}}_x$.

The following linearization result is an essential tool for proving most of the results in this text.

Theorem 2

(Linearization theorem for proper groupoids) Let $\mathcal{G}\rightrightarrows M$ be a Lie groupoid and let $\mathcal{O}$ be the orbit through $x\in M$. If $\mathcal{G}$ is proper at x, then there are neighbourhoods U and V of $\mathcal{O}$ such that ${\mathcal{G}}_U\cong \mathcal{N}{({\mathcal{G}}_{\mathcal{O}})}_V$.

The proof of the linearization result around a fixed point (an orbit consisting of a single point) was first completed by Zung [74]; together with previous results of Weinstein [72], it gave rise to a similar result to the one we present here.

The final version of the Linearization theorem that we present here has appeared in [18], where issues regarding which were the correct neighbourhoods of the orbits to be taken were solved.

Remark 3

Combining the Linearization theorem with the previous remarks on Morita equivalence, we conclude that any orbit ${\mathcal{O}}_x$ of a proper groupoid $\mathcal{G}$ has an invariant neighbourhood such that the restriction of $\mathcal{G}$ to it is Morita equivalent to ${\mathcal{G}}_x⋉{\mathcal{N}}_x$. For this, we use also that ${\mathcal{N}}_x$ admits arbitrarily small ${\mathcal{G}}_x$-invariant open neighbourhoods of the origin which are equivariantly diffeomorphic to ${\mathcal{N}}_x$.

When we are interested in local properties of a groupoid, it is often enough to have an open around a point in the base, not necessarily containing the whole orbit, and the restriction of the groupoid to it. In this case, it is possible to give a simpler model for the restricted groupoid [53, Cor. 3.11]:

Proposition 5

(Local model around a point) Let $x\in M$ be a point in the base of a proper groupoid $\mathcal{G}$. There is a neighbourhood U of x in M, diffeomorphic to $O\times W$, where O is an open ball in ${\mathcal{O}}_x$ centred at x and W is a ${\mathcal{G}}_x$-invariant open ball in ${\mathcal{N}}_x$ centred at the origin, such that under this diffeomorphism the restricted groupoid ${\mathcal{G}}_U$ is isomorphic to the product of the pair groupoid $O\times O\rightrightarrows O$ with the action groupoid ${\mathcal{G}}_x\times W\rightrightarrows W$.

One of the main features of proper groupoids is that it is possible to take averages of several objects (functions, Riemannian metrics, etc.) to produce invariant versions of the same objects. This is done using a Haar system, in an analogous way to how one uses a Haar measure on a compact Lie group (cf. [65], and also the appendix in [16] for further clarification on the constructions).

Definition 12

Given a Lie groupoid $\mathcal{G}$ over M, a (right) Haar system $\mathit{\mu }$ is a family of smooth measures $\{{\mathit{\mu }}^x|x\in M\}$ with each ${\mathit{\mu }}^x$ supported on the s-fibre of x, satisfying the properties

1. (Smoothness) For any $f\in C_c^{\infty }(\mathcal{G})$, the formula

   $$\begin{array}{c}\hfill I_{\mathit{\mu }}(f)(x):={\int }_{s^{-1}(x)}f(g)d{\mathit{\mu }}^x(g)\end{array}$$

   defines a smooth function $I_{\mathit{\mu }}(\mathit{\varphi })$ on M.
2. (Right invariance) For any $h\in \mathcal{G}$ with $h:x\to y$ and any $f\in C_c^{\infty }(s^{-1}(x))$ we have

   $$\begin{array}{c}\hfill {\int }_{s^{-1}(y)}f(gh)d{\mathit{\mu }}^y(g)={\int }_{s^{-1}(x)}f(g)d{\mathit{\mu }}^x(g)\end{array}$$

   For such a Haar system, a cutoff function is a smooth function c on M satisfying

3. $s:supp(c\circ t)\to M$ is a proper map;

4. ${\int }_{s^{-1}(x)}c(t(g))d{\mathit{\mu }}^x(g)=1$ for all $x\in M$.

Proposition 6

Any Lie groupoid admits a Haar system and cutoff functions exist for any proper Lie groupoid.

Orbifolds, orbispaces, and differentiable stacks

Lie groupoids can be used in order to conduct differential geometry on singular (i.e., not smooth) spaces. The way to do so is to model the singular space we wish to study as the orbit space of a Lie groupoid, bearing in mind that Morita equivalent Lie groupoids will describe the “same” space.

We are interested in spaces which are locally modelled on quotients of Euclidean spaces by smooth actions of compact Lie groups (and such that the actions are part of the structure), called orbispaces. A particular class of such spaces is that of orbifolds. These are spaces which are locally modelled on quotients of Euclidean spaces by smooth actions of finite groups. Orbifolds are more widespread in the literature (see [34, Ch. 8] for a review of the several definitions of orbifold, and of the category or 2-category of orbifolds in the literature). It is by generalizing their definition in terms of groupoids (cf. [46]) that we arrive at the following definition of orbispace.

Definition 13

An orbispace atlas on a topological space X is given by a proper Lie groupoid $\mathcal{G}\rightrightarrows M$ and a homeomorphism $f:M/\mathcal{G}⟶X$.

Two orbispace atlases $(\mathcal{G},f)$ and $(\mathcal{H},f^{\prime })$ are equivalent if $\mathcal{G}\rightrightarrows M$ and $\mathcal{H}\rightrightarrows N$ are Morita equivalent, and the homeomorphism $\mathit{\Phi }:N/\mathcal{H}⟶M/\mathcal{G}$ induced by the Morita equivalence (see Lemma 1) satisfies $f\circ \mathit{\Phi }=f^{\prime }$.

An orbispace is a topological space equipped with an equivalence class of orbispace atlases. Given any proper Lie groupoid $\mathcal{G}\rightrightarrows M$, the orbispace associated with it by using the atlas $(\mathcal{G},i{d}_{M/\mathcal{G}})$ on $M/\mathcal{G}$ is denoted by $M//\mathcal{G}$.

In this language, an orbifold is simply an orbispace which admits an atlas $(\mathcal{G},f)$ such that all the isotropy groups of $\mathcal{G}$ are discrete (cf. [17, 46]). On the other hand, dropping the condition of properness in the definition of orbispace atlas, we arrive at the notion of differentiable stack. Therefore, orbispaces are examples of differentiable stacks, and orbifolds are examples of orbispaces.

Remark 4

We warn the reader about the fact that we are avoiding all technicalities related with defining morphisms (and 2-morphisms) between differentiable stacks (and orbispaces), but we implicitly identify isomorphic orbispaces. Nonetheless, the definitions presented here are sufficient for the scope of this exposition. We refer to [6, 31, 42] for comprehensive introductions to the theory of differentiable stacks and to [21] for the specific case of orbispaces.

Orbispaces as differentiable spaces

We study the smooth structure of an orbispace X. The approach we follow is to single out the sheaf ${\mathcal{C}}_X^{\infty }$ of smooth functions on X, and study $(X,{\mathcal{C}}_X^{\infty })$ as a locally ringed space. Throughout this section, let $\mathcal{G}\rightrightarrows M$ be a proper Lie groupoid with orbit space X.

Smooth functions on orbit spaces of proper groupoids

Definition 14

The algebra of smooth functions on X is defined as

$$\begin{array}{c}\hfill C^{\infty }(X):=\{f:X\to \mathbb{R}|f\circ \mathit{\pi }\in C^{\infty }(M)\},\end{array}$$

where $\mathit{\pi }:M⟶X$ denotes the canonical projection map.

The sheaf of smooth functions on X , denoted by ${\mathcal{C}}_X^{\infty }$, is defined by letting

$$\begin{array}{c}\hfill {\mathcal{C}}_X^{\infty }(U):=C^{\infty }({\mathit{\pi }}^{-1}(U)/{\mathcal{G}}_{|{\mathit{\pi }}^{-1}(U)}).\end{array}$$

Note that the pullback map ${\mathit{\pi }}^{\ast }:C^{\infty }(X)⟶C^{\infty }(M)$ identifies the algebra of smooth functions on X with the algebra of $\mathcal{G}$-invariant smooth functions on M, denoted by $C^{\infty }{(M)}^{\mathcal{G}-\mathrm{inv}}$.

The orbit space X of a proper Lie groupoid is Hausdorff, second-countable, and locally compact (since the quotient map $\mathit{\pi }:M⟶X$ is open for any groupoid $\mathcal{G}\rightrightarrows M$ ), hence also paracompact. Using these properties, we are able to guarantee the existence of several useful smooth functions on X.

Proposition 7

The algebra $C^{\infty }(X)$ is normal, i.e., for any disjoint closed subsets $A,B\subset X$ there is a function $f\in C^{\infty }(X)$ with values in [0, 1] such that $f_{|A}=0$ and $f_{|B}=1$.

Proof

Let $A,B\subset X$ be closed and disjoint. The sets ${\mathit{\pi }}^{-1}(A)$ and ${\mathit{\pi }}^{-1}(B)$ are closed and disjoint in M. Since M is a manifold, we can find a function $h\in C^{\infty }(M)$ separating these two sets. Now average h with respect to a Haar system on $\mathcal{G}$. We obtain in this way, an invariant smooth function $\tilde{h}$ on M which still separates ${\mathit{\pi }}^{-1}(A)$ and ${\mathit{\pi }}^{-1}(B)$. Being invariant, it corresponds via the pullback by the projection $\mathit{\pi }$ to a function $f\in C^{\infty }(X)$ that separates A and B. $\square$

The fact that $C^{\infty }(X)$ is normal is used to prove the existence of useful smooth functions on X: partitions of unity and proper functions. Before we see how, let us recall the Shrinking Lemma (see for example [24] for a proof). We say that a cover ${\{U_i\}}_{i\in I}$ of a space X is locally finite if for each $x\in X$ has a neighbourhood $V_x$ such that there are finitely many indices $i\in I$ for which $V_x\cap U_i\ne \mathrm{\varnothing }$.

Lemma 3

(Shrinking lemma) Let X be a paracompact Hausdorff space. Then X is normal and for any open cover ${\{U_i\}}_{i\in I}$ of X there is a locally finite open cover ${\{V_i\}}_{i\in I}$ with the property that $\{\overline{V_i}\subset U_i\}$ for all $i\in I$.

Proposition 8

(Partitions of unity) For any open cover $\mathcal{U}$ of X, there is a smooth partition of unity subordinated to $\mathcal{U}$.

Proof

One possible proof goes by the standard argument used for the classical version of this result, for continuous functions on a paracompact Hausdorff space [24]. It first involves using the Shrinking lemma twice to obtain locally finite open covers $\{V_n\}$ and $\{W_n\}$ of X such that ${\overline{W}}_n\subset V_n$ and ${\overline{V}}_n\subset U_n$ for each n. Secondly, since $C^{\infty }(X)$ is normal, we can choose functions $f_n:X\to [0,1]$ such that ${f_n}_{|X-V_n}=0$ and ${f_n}_{|{\overline{W}}_n}=1$. Since the covers used are locally finite, we can define functions $g_n=f_n/\sum f_n$, which form a partition of unity subordinated to $\mathcal{U}$.

There is also a proof using the classical version of the result. Take the open cover ${\mathit{\pi }}^{-1}(\mathcal{U})$ of M defined by the preimages by the projection map of the opens of $\mathcal{U}$, and consider a smooth partition of unity $(f_n)$ subordinated to it, which exists because M is a manifold. Averaging each function with respect to a Haar system leads to a smooth partition of unity subordinated to $\mathcal{U}$. $\square$

Proposition 9

(Existence of proper functions) Let X be the orbit space of a proper groupoid. There exists a smooth proper function $f:X\to \mathbb{R}$.

Proof

Let $\{U_n\}$ be a locally finite countable open cover of X such that each $U_n$ has compact closure. Using the Shrinking lemma twice, find open covers $\{V_n\}$ and $\{W_n\}$ of X such that ${\overline{W}}_n\subset V_n$ and ${\overline{V}}_n\subset U_n$ for each n. Let $f_n\in C^{\infty }(X)$ be a function separating $X-V_n$ and ${\overline{W}}_n$. This means that $\mathrm{supp}(f_n)\subset U_n$ and $f_n=1$ on a neighbourhood of ${\overline{W}}_n$. By local finiteness of the covers, we can define the function $f={\sum }_{n}n{f}_n$, which is proper. Indeed, if $K\in \mathbb{R}$ is compact, then it is bounded above by some integer m, and so $f^{-1}(K)$ is a closed subspace of the compact ${\overline{W}}_1,\cup \cdots \cup {\overline{W}}_m$, and so it is compact itself. $\square$

Locally ringed spaces

Let us recall some background on the more algebro-geometric approach to studying smooth manifolds using the language of locally ringed spaces, as well as some classical results about smooth functions on manifolds that will be later generalized to other spaces. In this section, we follow the exposition of [48]. Unless otherwise mentioned, all manifolds are considered to be finite dimensional, Hausdorff and second-countable.

Definition 15

A ringed $\mathbb{R}$-space (also called ringed space) is a pair $(X,{\mathcal{O}}_X)$ where X is a topological space and ${\mathcal{O}}_X$ is a sheaf of $\mathbb{R}$-algebras on X, called the structure sheaf of the ringed space. A morphism of ringed spaces is a pair

$$\begin{array}{c}\hfill (\mathit{\varphi },{\mathit{\varphi }}^{♯}):(X,{\mathcal{O}}_X)\to (Y,{\mathcal{O}}_Y)\end{array}$$

consisting of a continuous map $\mathit{\varphi }:X\to Y$ and a morphism ${\mathit{\varphi }}^{♯}:{\mathcal{O}}_Y\to {\mathit{\varphi }}_{\ast }{\mathcal{O}}_X$ of sheaves on Y. A locally ringed space is a ringed space $(X,{\mathcal{O}}_X)$ such that the stalk ${\mathcal{O}}_{X,x}$ at any point $x\in X$ is a local ring, i.e., it has a unique maximal ideal, denoted by ${\mathfrak{m}}_x$. A morphism of locally ringed spaces is a morphism of ringed spaces $(\mathit{\varphi },{\mathit{\varphi }}^{♯}):(X,{\mathcal{O}}_X)\to (Y,{\mathcal{O}}_Y)$ such that ${\mathit{\varphi }}^{♯}({\mathfrak{m}}_y)\subset {\mathfrak{m}}_{\mathit{\varphi }(y)}$. This condition means that

$$\begin{array}{c}\hfill ({\mathit{\varphi }}^{♯}f)(x)=0\iff f(\mathit{\varphi }(x))=0.\end{array}$$

A morphism $(\mathit{\varphi },{\mathit{\varphi }}^{♯})$ is an isomorphism if $\mathit{\varphi }$ is a homeomorphism and ${\mathit{\varphi }}^{♯}$ is an isomorphism of sheaves.

A ringed space $(X,{\mathcal{O}}_X)$ is said to be reduced if ${\mathcal{O}}_X$ is a subsheaf of $\mathbb{R}$-algebras of the sheaf ${\mathcal{C}}_X$ of continuous functions on X and contains all constant functions.

Remark 5

In general, the notion of ringed space allows for the structure sheaf to be a sheaf of unital rings, but since all the structure sheaves we use in this text are actually sheaves of $\mathbb{R}$-algebras, we restrict to this class.

Any reduced ringed space is automatically a locally ringed space, the unique maximal ideal of the stalk at a point being the ideal of germs that vanish at that point.

Example 11

The following are two essential examples:

1. Any topological space X is a ringed space if we take ${\mathcal{O}}_X$ to be equal to ${\mathcal{C}}_X$, the sheaf of continuous functions.

2. $({\mathbb{R}}^n,{\mathcal{C}}_{{\mathbb{R}}^n}^{\infty })$ is a locally ringed space, where ${\mathcal{C}}_{{\mathbb{R}}^n}^{\infty }$ is the sheaf of smooth functions on opens of ${\mathbb{R}}^n$; it is easy to check that any morphism of locally ringed spaces $({\mathbb{R}}^n,{\mathcal{C}}_{{\mathbb{R}}^n}^{\infty })\to ({\mathbb{R}}^m,{\mathcal{C}}_{{\mathbb{R}}^m}^{\infty })$ is just given by a smooth map ${\mathbb{R}}^n\to {\mathbb{R}}^m$.

We can use the language of locally ringed spaces to give an alternative (equivalent) definition of smooth manifolds to the usual one in terms of atlases.

Definition 16

(Manifolds as locally ringed spaces) A smooth manifold of dimension n is a locally ringed space $(M,{\mathcal{O}}_M)$ such that M is Hausdorff, second-countable, and has a cover by open subsets $U_i$ with the property that each restriction $(U_i,{\mathcal{O}}_{M|U_i})$ is isomorphic (as a locally ringed space) to an open subset of $({\mathbb{R}}^n,{\mathcal{C}}_{{\mathbb{R}}^n}^{\infty })$.

We recall the construction of the real spectrum of an $\mathbb{R}$-algebra A. To start with, let us see how to construct the underlying set. An ideal $\mathfrak{m}$ of A is called a real ideal if it is a maximal ideal and $A/\mathfrak{m}\cong \mathbb{R}$. A character on A is a morphism of $\mathbb{R}$-algebras $\mathit{\chi }:A\to \mathbb{R}$; the kernel of any character is a real ideal, so there is a natural bijection between the set of characters on A and the set of real ideals of A.

Definition 17

Let A be an $\mathbb{R}$-algebra. The real spectrum of A is the set

$$\begin{array}{c}\hfill {\mathrm{Spec}}_{r}A:=\mathrm{Hom}(A,\mathbb{R})=\{\text{real ideals of}\text{A}\}.\end{array}$$

Given a point x in ${\mathrm{Spec}}_{r}A$, the corresponding character is denoted by ${\mathit{\chi }}_x$ and the corresponding ideal by ${\mathfrak{m}}_x$.

Any element $f\in A$ defines a real-valued function $\widehat{f}$ (but also denoted by f if there is no risk of confusion) on ${\mathrm{Spec}}_{r}A$, given by

$$\begin{array}{c}\hfill \widehat{f}(x):={\mathit{\chi }}_x(f)=[f]\in A/{\mathfrak{m}}_x\cong \mathbb{R}.\end{array}$$

In this way, we have that

$$\begin{array}{c}\hfill {\mathfrak{m}}_x=\{f\in A|f(x)=0\}\end{array}$$

and the corresponding character ${\mathit{\chi }}_x$ is the evaluation map at x.

The topology that we consider on the real spectrum ${\mathrm{Spec}}_{r}A$ is the Gelfand topology, which is the smallest one such that the functions $\widehat{f}:{\mathrm{Spec}}_{r}A\to \mathbb{R}$ are continuous, for all $f\in A$.

For any subset I of an $\mathbb{R}$-algebra A, we define the zero set of I to be

$$\begin{array}{c}\hfill {(I)}_0:=\{x\in {\mathrm{Spec}}_{r}A|f(x)=0,\forall f\in I\}.\end{array}$$

By definition, these subsets of ${\mathrm{Spec}}_{r}A$ are the closed subsets of the Zariski topology on ${\mathrm{Spec}}_{r}A$. The Gelfand topology is always finer than the Zariski topology, although they agree in some cases, as we will see below.

Finally, the structure sheaf on ${\mathrm{Spec}}_{r}A$ is the sheaf associated with the presheaf that assigns to an open subset $U\subset {\mathrm{Spec}}_{r}A$ the ring $A_U$ defined as the localization (i.e., ring of fractions—see [5]) of A with respect to the multiplicative system of all elements $f\in A$ such that $\widehat{f}$ does not vanish at any point of U. The stalk at any point coincides with the localization of A with respect to the multiplicative system $\{f\in A|\widehat{f}(x)\ne 0\}$. The resulting locally ringed space $({\mathrm{Spec}}_{r}A,\tilde{A})$ is called the real spectrum of A (it has the same name as the underlying set, but the meaning is usually clear from the context).

As mentioned before, a manifold can be recovered from its ring of functions. To start with, the following theorem shows how to recover the underlying topological space.

Theorem 3

Let M be a smooth manifold. Then the map

$$\begin{array}{c}\hfill \mathit{\chi }:M\to {\mathrm{Spec}}_r{C}^{\infty }(M),\end{array}$$

given by $\mathit{\chi }(p)(f)=f(p)$ (i.e., $\mathit{\chi }(p)$ is the evaluation at p) is a homeomorphism.

For a proof, see for example [48] or [49], but also the proof of Theorem 6 below which generalizes this result. From the proof, it also follows that for a smooth manifold, the Gelfand and the Zariski topologies coincide.

That the structure sheaf associated with the ring $C^{\infty }(M)$ by localization coincides with the sheaf ${\mathcal{C}}_M^{\infty }$ of smooth functions on opens of M is a consequence of the following result (see, e.g., [48] for a modern exposition of the proof).

Theorem 4

(Localization theorem) Let M be a smooth manifold and $U\subset M$ an open. For any differentiable function f on U, there exist global differentiable functions g, h on M, such that h does not vanish on U and $f=g/h$ on U, i.e.,

$$\begin{array}{c}\hfill C^{\infty }(U)=C^{\infty }{(M)}_U.\end{array}$$

Finally, smooth maps between manifolds can also be recovered from algebra maps between the rings of functions.

Theorem 5

(Theorem 2.3 in [48])For any two manifolds M and N, there is a natural bijection

$$\begin{array}{c}\hfill C^{\infty }(M,N)\to {\mathrm{Hom}}_{\mathbb{R}-\mathrm{alg}}(C^{\infty }(N),C^{\infty }(M))\end{array}$$

given by $\mathit{\varphi }\mapsto {\mathit{\varphi }}^{\ast }$.

With the presented framework in mind, an approach to equipping singular spaces with smooth structures is to choose a class $\mathcal{A}$ of $\mathbb{R}$-algebras, such that the singular spaces we want to consider can be modelled (at least locally) by the real spectrum of algebras in $\mathcal{A}$. Moreover, $\mathcal{A}$ should include the algebra $C^{\infty }(M)$, for any manifold M. There is an ample choice of which kind of algebras should be taken to belong to $\mathcal{A}$ (see for example [34] or Appendix 2 of [47] for a discussion on possible models), depending on which singular spaces we wish to model.

Since our goal is to equip the orbit space X of a proper groupoid $\mathcal{G}$ with a smooth structure, we should ask that the spectrum of $C^{\infty }(X)$ (see Definition 14) is locally isomorphic to the spectrum of an algebra in $\mathcal{A}$. We achieve this goal by letting $\mathcal{A}$ consist of differentiable algebras, discussed in the next section. We could also go further and require that the algebra $C^{\infty }(X)$ itself is in $\mathcal{A}$. We will see how to achieve this in Sect. 3.5. But first let us show that, in any case, we can recover the underlying topological space X from the algebra $C^{\infty }(X)$. The result generalizes Theorem 3, and the proof is exactly the same as the one for manifolds, relying simply on the existence of proper functions on X (Proposition 9) and on the fact that $C^{\infty }(X)$ is normal (Proposition 7).

Theorem 6

Let X be the orbit space of a proper Lie groupoid. Then the natural map $\mathit{\varphi }:X\to Spe{c}_r{C}^{\infty }(X)$ given by $x\mapsto e{v}_x$ is a homeomorphism.

Proof

The map $\mathit{\varphi }$ is clearly injective since $C^{\infty }(X)$ is point-separating. To check surjectivity, let $\mathit{\chi }\in {\mathrm{Spec}}_r{C}^{\infty }(X)$. According to Proposition 9, we can choose a proper function $f\in C^{\infty }(X)$ and then the level set $K=f^{-1}(\mathit{\chi }(f))$ is compact. Suppose that $\mathit{\chi }$ is not in the image of $\mathit{\varphi }$, i.e., it is not given by evaluation at a point. Then for each point $y\in X$ there is a function $f_y\in C^{\infty }(X)$ such that $f_y(y)\ne \mathit{\chi }(f_y)$. The sets

$$\begin{array}{c}\hfill U_y=\{x\in X|f_y(x)\ne \mathit{\chi }(f_y)\}\end{array}$$

cover K, which is compact, so we can take a finite subcover of it, $U_{y_1},\dots ,U_{y_k}$. Consider now the function

$$\begin{array}{c}\hfill g={\left(f-\mathit{\chi }\left(f\right)\right)}^2+\sum _{i=1}^k{\left(f_{y_i}-\mathit{\chi }\left(f_{y_i}\right)\right)}^2.\end{array}$$

It is easy to see that $\mathit{\chi }(g)=0$. But g is a nowhere vanishing smooth function on X, so it is invertible and we have that

$$\begin{array}{c}\hfill 1=\mathit{\chi }(1)=\mathit{\chi }\left(g\frac{1}{g}\right)=\mathit{\chi }(g)\mathit{\chi }\left(\frac{1}{g}\right),\end{array}$$

so that $\mathit{\chi }(g)\ne 0$. Thus we have a contradiction and $\mathit{\varphi }$ must be surjective.

The map $\mathit{\varphi }$ is continuous, since if $U={\widehat{f}}^{-1}(V)$ is some basic open for the Gelfand topology, with $f\in C^{\infty }(X)$ and V open in $\mathbb{R}$ , then ${\mathit{\varphi }}^{-1}(U)=f^{-1}(V)$ is open in X.

To finish checking that $\mathit{\varphi }$ is a homeomorphism, let $\mathit{\varphi }$ induce a topology on X which we also call the Gelfand topology. Given a set $Y\subset X$ which is closed in the original topology of X, we can consider the ideal $I_Y$ consisting of all functions of $C^{\infty }(X)$ vanishing on Y. Since the algebra $C^{\infty }(X)$ is normal, we have that $Y=\{x\in X|f(x)=0\forall f\in I_Y\}$, so Y is also closed in the Gelfand topology. $\square$

Differentiable spaces

In this section, we discuss the category of differentiable spaces, which will turn out to be a good setting for the study of orbispaces. These are spaces that are locally modelled on the spectrum of differentiable algebras (also called closed $C^{\infty }$-rings, cf. [47]), i.e., algebras of the form $C^{\infty }({\mathbb{R}}^n)/I$, where I is an ideal of $C^{\infty }({\mathbb{R}}^n)$ which is closed with respect to the weak Whitney topology (cf. e.g., [33]). Differentiable spaces appeared in the work of Spallek [61] and also as a particular case of the theory of $C^{\infty }$-schemes [23, 34, 47], that is discussed in the next section. A study of differentiable spaces, analogous to the basics of scheme theory in algebraic geometry, is discussed in detail in the book [48]; this is the main reference for this section. See loc. cit. for the proofs of the results quoted below.

We deal with ideals of $C^{\infty }(M)$ that are closed in the Fréchet topology on $C^{\infty }(M)$ (also called the weak Whitney topology [33]). An example of such a closed ideal is the ideal ${\mathfrak{m}}_p$ of all smooth functions vanishing at a point $p\in M$. The following classical result of Whitney characterizes the closure of an ideal of $C^{\infty }(M)$ in terms of conditions on the jets of smooth functions (cf. e.g., [38] for a proof).

Theorem 7

(Whitney’s spectral theorem) Let M be a smooth manifold and $\mathfrak{a}$ an ideal of $C^{\infty }(M)$. Then

$$\begin{array}{c}\hfill f\in \overline{\mathfrak{a}}\iff j_{x}f\in j_x(\mathfrak{a}),\forall x\in M,\end{array}$$

where $j_{x}f$ denotes the jet of f at the point x and $j_x(\mathfrak{a})=\{j_{x}g|g\in \mathfrak{a}\}$ .

Definition 18

An $\mathbb{R}$-algebra A is called a differentiable algebra if it is isomorphic to the quotient $C^{\infty }({\mathbb{R}}^n)/\mathfrak{a}$, where $\mathfrak{a}$ is a closed ideal (with respect to the Fréchet topology). Morphisms of differentiable algebras are simply morphisms of the underlying $\mathbb{R}$-algebras.

Example 12

1. (Open or closed subsets of Euclidean space) If $U\subset {\mathbb{R}}^n$ is an open subset, then $C^{\infty }(U)$ is a differentiable algebra.

   If $Y\subset {\mathbb{R}}^n$ is a closed subset, denote by ${\mathfrak{p}}_Y$ the ideal of all smooth functions on ${\mathbb{R}}^n$ which vanish on Y. Define

   $$\begin{array}{c}\hfill A_Y:=\{f_{|Y}|f\in {\mathcal{C}}^{\infty }({\mathbb{R}}^n)\}.\end{array}$$

   Then $A_Y$ is a differentiable algebra because $A_Y\cong C^{\infty }({\mathbb{R}}^n)/{\mathfrak{p}}_Y$ via the map $[f]\mapsto f_{|Y}$, and the ideal ${\mathfrak{p}}_Y$ is closed, since ${\mathfrak{p}}_Y={\bigcap }_{p\in Y}{\mathfrak{m}}_p$.

2. (Smooth manifolds) As a particular case of the previous example, using Whitney’s embedding theorem (see, e.g., [33]), we conclude that the algebra of smooth functions on any manifold is a differentiable algebra.

We now study the real spectrum of a differentiable algebra (see the discussion in Sect. 3.2). The point is that for a differentiable algebra A, the real spectrum behaves similarly to how a manifold does. For example, closed (resp. open) subsets of ${\mathrm{Spec}}_{r}A$ share many features with closed (resp. open) subsets of smooth manifolds; this is made more precise by the next two propositions.

Proposition 10

(Closed subsets—Lemma 3.1 in [48]) If A is a differentiable algebra and $Y\subset {\mathrm{Spec}}_{r}A$ is a closed subset, then Y is a zero set, i.e., there is an element $a\in A$ such that $Y={(a)}_0$.

Note that the Gelfand and the Zariski topologies on ${\mathrm{Spec}}_{r}A$ coincide for any differentiable algebra A, since any closed subset of ${\mathrm{Spec}}_{r}A$ is a zero set. For open subsets, the following results extend Theorems 3 and 4 to the setting of differentiable algebras.

Proposition 11

(Open subsets—Proposition 3.2 in [48]) If A is a differentiable algebra and $U\subset {\mathrm{Spec}}_{r}A$ is an open subset, then we have a homeomorphism

$$\begin{array}{c}\hfill U\cong {\mathrm{Spec}}_r{A}_U,\end{array}$$

where $A_U$ denotes the localization of A with respect to the multiplicative system of elements of A that vanish nowhere in U.

It is also important to note that for a differentiable algebra A and an open subset $U\subset {\mathrm{Spec}}_{r}A$, the localization $A_U$ is again a differentiable algebra [48, Thm. 3.7].

Finally, the following result is essential when considering the spectrum of a differentiable algebra as a locally ringed space.

Theorem 8

(Localization theorem for differentiable algebras) Let A be a differentiable algebra and let $({\mathrm{Spec}}_{r}A,\tilde{A})$ be its real spectrum. Then for any open subset $U\subset {\mathrm{Spec}}_{r}A$, we have that

$$\begin{array}{c}\hfill \tilde{A}(U)=A_U.\end{array}$$

So we see that the essential properties that allow to reconstruct a manifold from its ring of smooth functions as the real spectrum still hold in the more general setting of differentiable algebras.

Definition 19

An affine differentiable space is a locally ringed space $(X,{\mathcal{O}}_X)$ which is isomorphic to the real spectrum $({\mathrm{Spec}}_{r}A,\tilde{A})$ of some differentiable algebra A. By the Localization theorem, A must be isomorphic to ${\mathcal{O}}_X(X)$.

A differentiable space is a locally ringed space $(X,{\mathcal{O}}_X)$ for which every point x of X has a neighbourhood U such that $(U,{\mathcal{O}}_{X|U})$ is an affine differentiable space. Such opens are called affine opens.

Morphisms of differentiable spaces between $(X,{\mathcal{O}}_X)$ and $(Y,{\mathcal{O}}_Y)$ are defined to be the morphisms of locally ringed spaces between them (Definition 15). Sections of the sheaf ${\mathcal{O}}_X$ over an open subset $U\subset X$ are called differentiable functions on U.

Example 13

1. (Manifolds) Any smooth manifold M is an example of an affine differentiable space. As discussed before, given a manifold M, its algebra of smooth functions $C^{\infty }(M)$ is a differentiable algebra; the manifold $(M,{\mathcal{C}}_M^{\infty })$ is isomorphic, as a locally ringed space, to the real spectrum of $C^{\infty }(M)$.

2. (Open subsets) If $(X,{\mathcal{O}}_X)$ is an affine differentiable space and U is an open subset of X then $(U,{\mathcal{O}}_{X|U})$ is an affine differentiable space.

3. (Closed subsets) Let $(X,{\mathcal{O}}_X)$ be a differentiable space and $Y\subset X$ a closed subset. If ${\mathcal{I}}_Y$ is the sheaf of differentiable functions vanishing on Y, then $(Y,{\mathcal{O}}_X/{\mathcal{I}}_Y)$ is a differentiable space.

Affine differentiable spaces can be explicitly described, at least as a topological space, as follows.

Lemma 4

Let I be an ideal of an $\mathbb{R}$-algebra A. Then there is a natural homeomorphism

$$\begin{array}{c}\hfill Spe{c}_r(A/I)\cong {(I)}_0\subset Spe{c}_{r}A.\end{array}$$

Proposition 12

(Structure of affine spaces—Proposition 2.13 in [48]) Let A be an algebra of the form $A=C^{\infty }({\mathbb{R}}^n)/\mathfrak{a}$, for any ideal $\mathfrak{a}\subset C^{\infty }({\mathbb{R}}^n)$. Then there is a homeomorphism

$$\begin{array}{c}\hfill {\mathrm{Spec}}_{r}A={(\mathfrak{a})}_0\subset {\mathbb{R}}^n.\end{array}$$

As mentioned in the previous section, morphisms of differentiable spaces $M\to N$ between smooth manifolds are simply smooth maps, and these correspond to algebra maps $C^{\infty }(N)\to C^{\infty }(M)$. A similar result is valid for the more general setting of affine differentiable spaces.

Theorem 9

(Morphisms into affine spaces—Theorem 3.18 in [48]) If $(X,{\mathcal{O}}_X)$ is a differentiable space and $(Y,{\mathcal{O}}_Y)$ is an affine differentiable space, then

$$\begin{array}{c}\hfill \mathrm{Hom}(X,Y)\cong {\mathrm{Hom}}_{\mathbb{R}-\mathrm{alg}}({\mathcal{O}}_Y(Y),{\mathcal{O}}_X(X)),(\mathit{\varphi },{\mathit{\varphi }}^{♯})\mapsto {\mathit{\varphi }}^{♯}.\end{array}$$

As a particular case of this result, we obtain a characterization of morphisms from a differentiable space to an Euclidean space.

Corollary 1

(Morphisms into Euclidean space) If $(X,{\mathcal{O}}_X)$ is a differentiable space, then we have an isomorphism

$$\begin{array}{c}\hfill \mathrm{Hom}(X,{\mathbb{R}}^n)\cong \underset{i=1}{\overset{n}{⨁}}{\mathcal{O}}_X(X),(\mathit{\varphi },{\mathit{\varphi }}^{♯})\mapsto ({\mathit{\varphi }}^{♯}(x_1),\dots ,{\mathit{\varphi }}^{♯}(x_n)).\end{array}$$

We have seen in the general discussion about the real spectrum of an algebra A that any element $f\in A$ can be seen as a continuous function $\widehat{f}$ on ${\mathrm{Spec}}_{r}A$. We now focus on the case in which the assignment $f\mapsto \widehat{f}$ is injective.

Definition 20

A differentiable space $(X,{\mathcal{O}}_X)$ is said to be reduced if for any open subset U of X and any $f\in {\mathcal{O}}_X(U)$ we have

$$\begin{array}{c}\hfill f=0\iff \widehat{f}(x)=0,\forall x\in X.\end{array}$$

Being reduced is a local condition: If every point of x has a reduced open neighbourhood then X is reduced. By definition, if $(X,{\mathcal{O}}_X)$ is a reduced differentiable space, then the map ${\mathcal{O}}_X(U)\to C(U)$, $f\mapsto \widehat{f}$ is injective for any open U; hence $(X,{\mathcal{O}}_X)$ is a reduced ringed space.

Let $(\mathit{\varphi },{\mathit{\varphi }}^{♯})$ be a morphism of differentiable spaces (Definition 19) between reduced differentiable spaces. Then it can be checked (cf. [48]) that $(\mathit{\varphi },{\mathit{\varphi }}^{♯})$ is a morphism of reduced ringed spaces (Definition 15).

Example 14

Smooth manifolds are reduced differentiable spaces. Differentiable spaces of the form $(Y,{\mathcal{O}}_X/{\mathcal{I}}_Y)$, where Y is a closed subset of a differentiable space X, as in Example 13 are also reduced.

We now look at an explicit description of affine reduced differentiable spaces.

Definition 21

Let Y be a topological subspace of ${\mathbb{R}}^n$. A smooth function on Y is a continuous function $f:Y\to \mathbb{R}$ for which every point $y\in Y$ has an open neighbourhood $U_y$ in ${\mathbb{R}}^n$ such that f coincides on $Y\cap U_y$ with the restriction of a smooth function on $U_y$. The smooth functions on Y form the ring $C^{\infty }(Y)$. Denote by ${\mathcal{C}}_Y^{\infty }$ the sheaf of continuous functions on Y defined by ${\mathcal{C}}_Y^{\infty }(V):=C^{\infty }(V)$, for each open subset $V\subset Y$.

Proposition 13

(Structure of reduced affine spaces—[48], Prop. 3.22) Let $A=C^{\infty }({\mathbb{R}}^n)/\mathfrak{a}$ be a differentiable algebra. If the affine differentiable space $Y={\mathrm{Spec}}_{r}A$ is reduced, then ${\mathcal{O}}_Y={\mathcal{C}}_Y^{\infty }$.

Remark 6

We knew already from Proposition 12 that in the conditions of the previous proposition, $Y\cong {(\mathfrak{a})}_0$ as a topological space, because $A=C^{\infty }({\mathbb{R}}^n)/\mathfrak{a}$ is affine. The new information we get from knowing that Y is reduced is the characterization of the structure sheaf. In conclusion, reduced differentiable spaces are reduced ringed spaces which are locally isomorphic to $(Z,{\mathcal{C}}_Z^{\infty })$, for some closed subset Z of ${\mathbb{R}}^n$.

We now discuss the Embedding theorem for differentiable spaces, which characterizes which differentiable spaces can be embedded into an affine space ${\mathbb{R}}^n$. Before stating the theorem, we discuss subspaces and embeddings of differentiable spaces.

Definition 22

Let $(X,{\mathcal{O}}_X)$ be a differentiable space and let $Y\subset X$ be a locally closed subspace. Let $\mathcal{I}$ be a sheaf of ideals of ${\mathcal{O}}_{X|Y}$ and set ${\mathcal{O}}_X/\mathcal{I}:=({\mathcal{O}}_{X|Y})/\mathcal{I}$.

We say that $(Y,{\mathcal{O}}_X/\mathcal{I})$ is a differentiable subspace of $({\mathcal{O}}_X,X)$ if it is a differentiable space. It is said to be an open differentiable subspace if Y is open in X and $\mathcal{I}=0$. It is said to be a closed differentiable subspace if Y is closed in X.

Definition 23

An embedding of differentiable spaces is a morphism of differentiable spaces $(\mathit{\varphi },{\mathit{\varphi }}^{♯}):(Y,{\mathcal{O}}_Y)⟶(X,{\mathcal{O}}_X)$ such that

1. $\mathit{\varphi }:Y⟶X$ induces a homeomorphism of Y onto a locally closed subspace of X

2. ${\mathit{\varphi }}^{♯}:{\mathit{\varphi }}^{\ast }{\mathcal{O}}_X⟶{\mathcal{O}}_Y$ is surjective.

It is called a closed embedding if additionally $\mathit{\varphi }(Y)$ is closed in X.

Definition 24

Let p be a point of a differentiable space $(X,{\mathcal{O}}_X)$ and let ${\mathfrak{m}}_p$ be the unique maximal ideal of ${\mathcal{O}}_{X,p}$. The tangent space of X at p is defined as:

$$\begin{array}{c}\hfill T_{p}X=Der({\mathcal{O}}_{X,p};{\mathcal{O}}_{X,p}/{\mathfrak{m}}_p).\end{array}$$

The dimension of $T_{p}X$ is called the embedding dimension of X at p.

Theorem 10

(Embedding theorem for differentiable spaces—cf. [48]) A differentiable space is affine if and only if it is Hausdorff, second-countable, and has bounded embedding dimension.

Orbispaces as differentiable spaces

We look at how orbit spaces of proper groupoids can be seen as differentiable spaces. We start by discussing the smooth structure on orbit spaces of representations of compact Lie groups. Let G be a compact Lie group, and let V be a representation of G.

Definition 25

The algebra of smooth functions on V  /  G is defined as

$$\begin{array}{c}\hfill C^{\infty }(V/G):=\{f:V/G\to \mathbb{R}|f\circ \mathit{\pi }\in C^{\infty }(V)\},\end{array}$$

where $\mathit{\pi }:V⟶V/G$ denotes the canonical projection map.

The sheaf of smooth functions on V  /  G , denoted by ${\mathcal{C}}_{V/G}^{\infty }$, is defined by letting

$$\begin{array}{c}\hfill {\mathcal{C}}_{V/G}^{\infty }(U):=C^{\infty }({\mathit{\pi }}^{-1}(U)/G).\end{array}$$

It is natural to identify the algebra of smooth functions on the orbit space, $C^{\infty }(V/G)$, with the algebra of G-invariant smooth functions on V, via the pullback map ${\mathit{\pi }}^{\ast }$.

We now explain how V / G can be seen as an affine differentiable space. The first step in this direction is given by the following classical result of Schwarz [57].

Theorem 11

(Schwarz) Let G be a compact Lie group and V a representation of G. Let $p_1,\dots ,p_k$ be generators of the algebra of invariant polynomials $\mathbb{R}{[V]}^G$. Then $p:V\to {\mathbb{R}}^k$ defined by $p=(p_1,\dots ,p_k)$ induces an isomorphism

$$\begin{array}{c}\hfill p^{\ast }{C}^{\infty }({\mathbb{R}}^k)\cong C^{\infty }{(V)}^G.\end{array}$$

This allows us to make sense of V / G as a differentiable space. To start with, the map p from the theorem is constant along orbits; so it induces a map on V / G, denoted by $\tilde{p}:V/G\to {\mathbb{R}}^k$.

Lemma 5

With the notation from Schwarz’s theorem, the map $p:V\to {\mathbb{R}}^k$ is proper and it induces a closed embedding (of topological spaces)

$$\begin{array}{c}\hfill \tilde{p}:V/G\to {\mathbb{R}}^k.\end{array}$$

Remark 7

In fact, since p is a polynomial map, the image of V / G is naturally a semialgebraic set. Its semialgebraic structure can be described explicitly [54].

We can rephrase Schwarz’s theorem in the language of differentiable spaces as follows.

Theorem 12

Let G be a compact Lie group and V a representation of G. Then

1. $(V/G,{\mathcal{C}}_{V/G}^{\infty })$ is a reduced affine differentiable space;

2. the map $\tilde{p}:V/G\to {\mathbb{R}}^k$ is a closed embedding of differentiable spaces.

For a proper Lie groupoid $\mathcal{G}\rightrightarrows M$, we prove that the orbit space X is a reduced differentiable space. We also see that the differentiable space structure on X only depends on the Morita equivalence class of $\mathcal{G}$, so that it is really associated with the orbispace presented by $\mathcal{G}$.

We know from the Linearization theorem (Theorem 2) that any point in X has a neighbourhood homeomorphic to a space of the form V / G, where V is a representation of a compact Lie group G. The idea is to upgrade this homeomorphism to an isomorphism of locally ringed spaces and to use the differentiable space structure on V / G described in the previous section.

Theorem 13

(Main Theorem  1) The orbit space X of a proper Lie groupoid $\mathcal{G}\rightrightarrows M$, together with the sheaf ${\mathcal{C}}_X^{\infty }$ on X (Definition 14), is a reduced differentiable space. Moreover, it is affine if and only if it has bounded embedding dimension.

If two Lie groupoids $\mathcal{G}$ and $\mathcal{H}$ are Morita equivalent, their orbit spaces are isomorphic as differentiable spaces.

Proof

Let $\mathcal{O}\in X$ and let x be a point in the orbit $\mathcal{O}$. Consider an open subset $U\subset M$ containing $\mathcal{O}$, such that ${\mathcal{G}}_U\cong {\mathcal{N}}_{\mathcal{O}}{(\mathcal{G})}_V$, as in the Linearization theorem (Theorem 2). Under this isomorphism, let $\mathit{\Sigma }\subset U$ be the slice (see def. 11) at x corresponding to the open $V\cap {\mathcal{N}}_x$ of the normal space to $\mathcal{O}$ at x. It also holds that

$$\begin{array}{c}\hfill C^{\infty }{(U)}^{\mathcal{G}}\cong C^{\infty }{(V)}^{{\mathcal{N}}_{\mathcal{O}}(\mathcal{G})}.\end{array}$$

Moreover, since we are only considering invariant functions, we could work with invariant opens instead—if $\tilde{V}$ is the saturation of V, we have that

$$\begin{array}{c}\hfill C^{\infty }{(\tilde{V})}^{{\mathcal{N}}_{\mathcal{O}}(\mathcal{G})}\cong C^{\infty }{(V)}^{{\mathcal{N}}_{\mathcal{O}}(\mathcal{G})}.\end{array}$$

So from now on assume that $\tilde{V}=P_x{\times }_{{\mathcal{G}}_x}W$, where $P_x$ is the s-fibre of $\mathcal{G}$ at x and $W\subset {\mathcal{N}}_x$ is an invariant open subset. Note that W intersects all the orbits in V (it is actually a slice at x). We can define an algebra isomorphism

$$\begin{array}{c}\hfill \mathit{\varphi }:C^{\infty }{(\tilde{V})}^{{\mathcal{N}}_{\mathcal{O}}(\mathcal{G})}\to C^{\infty }{(W)}^{{\mathcal{G}}_x}\end{array}$$

by restriction to the slice W. More precisely, given a function $f\in C^{\infty }{(\tilde{V})}^{{\mathcal{N}}_{\mathcal{O}}(\mathcal{G})}$ define $\mathit{\varphi }(f)(w)=f([1_x,w])$. The invariance of $\mathit{\varphi }(f)$ follows from that of f and it is also easy to check that $\mathit{\varphi }$ is an injective algebra homomorphism. An explicit inverse can be given by ${\mathit{\varphi }}^{-1}(f)([p,w])=f(w)$. Once again it is easy to check that it is well defined and an inverse to $\mathit{\varphi }$. To see that it is invariant, we use that a point of V belonging to the orbit of [p, w] must be of the form [q, w]. To summarize, we have isomorphisms

$$\begin{array}{c}\hfill C^{\infty }(\mathit{\pi }(U))\cong C^{\infty }{(U)}^{\mathcal{G}}\cong C^{\infty }{(V)}^{{\mathcal{N}}_{\mathcal{O}}(\mathcal{G})}\cong C^{\infty }(W/{\mathcal{G}}_x).\end{array}$$

Since ${\mathcal{G}}_U$ is Morita equivalent to ${\mathcal{G}}_x⋉W$, it holds, as explained in Lemma 1, that $\mathit{\pi }(U)\cong W/{\mathcal{G}}_x$; what we have proved above is that in fact, we also obtain an isomorphism of reduced ringed spaces

$$\begin{array}{c}\hfill (\mathit{\pi }(U),{\mathcal{C}}_{\mathit{\pi }(U)}^{\infty })\cong (W/{\mathcal{G}}_x,{\mathcal{C}}^{\infty }{(W)}^{{\mathcal{G}}_x}).\end{array}$$

From the discussion of the previous section, we know that Schwarz’s theorem implies that $(W/{\mathcal{G}}_x,{\mathcal{C}}^{\infty }{(W)}^{{\mathcal{G}}_x})$ is a reduced affine differentiable space (Theorem 12). We have thus proved that the reduced ringed space $(X,{\mathcal{C}}_X^{\infty })$ is locally isomorphic to a reduced affine differentiable space, so it is a reduced differentiable space.

The fact that X is affine if and only if it has bounded embedding dimension follows from the Embedding theorem for differentiable spaces (Theorem 10).

We already knew that if $\mathcal{G}$ and $\mathcal{H}$ are Morita equivalent, then the orbit spaces of $\mathcal{G}$ and $\mathcal{H}$ are homeomorphic (Lemma 1). We have also seen that as a differentiable space, the orbit space of a proper groupoid is locally isomorphic, around a point $\mathcal{O}$, to the orbit space of the isotropy representation at a point of the orbit $\mathcal{O}$, which is invariant under Morita equivalences. $\square$

Remark 8

A direct consequence of the last statement is that the algebra of smooth functions on the orbit space X of a proper groupoid is a differentiable algebra if and only if X has bounded embedding dimension.

A case in which X has bounded embedding dimension is for example when X has only finitely many Morita types, a notion that is discussed in Sect. 4.4.

Alternative framework I: $C^{\infty }$-schemes

In this section, we briefly discuss $C^{\infty }$-schemes. These are spaces locally modelled on the spectrum of a $C^{\infty }$-ring. They have appeared as models for synthetic differential geometry in [23, 47]. We have already seen examples of such spaces, as any differentiable algebra is also a $C^{\infty }$-ring (and so any differentiable space is a $C^{\infty }$-scheme). Some references for this material are [34, 47].

Definition 26

A $C^{\infty }$-ring is a set $\mathfrak{C}$ together with operations ${\mathit{\varphi }}_f:{\mathfrak{C}}^n\to \mathfrak{C}$ for each $n\ge 0$ (also denoted by ${\mathit{\varphi }}_f^{\mathfrak{C}}$) and for each smooth map $f:{\mathbb{R}}^n\to \mathbb{R}$, satisfying the following conditions.

1. Consider natural numbers $m,n\ge 0$, and smooth functions $f_i:{\mathbb{R}}^n\to \mathbb{R}$ for $i=1,\dots ,m$, $g:{\mathbb{R}}^m\to \mathbb{R}$. Define a smooth function $h:{\mathbb{R}}^n⟶\mathbb{R}$ by

   $$\begin{array}{c}\hfill h(x_1,\dots ,x_n)=g(f_1(x_1,\dots ,x_n),\dots ,f_m(x_1,\dots ,x_n)).\end{array}$$

   Then we have that the following diagram commutes:

2. For the coordinate functions $x_i:{\mathbb{R}}^n\to \mathbb{R}$ we have ${\mathit{\varphi }}_{x_i}(c_1,\dots ,c_n)=c_i$, for all $c_1,\dots ,c_n\in \mathfrak{C}$.

A morphism of $C^{\infty }$-rings is a map $F:\mathfrak{C}\to \mathfrak{D}$ such that for any $f\in C^{\infty }({\mathbb{R}}^n)$ and any $c_1,\dots ,c_n\in \mathfrak{C}$ it holds that

$$\begin{array}{c}\hfill F({\mathit{\varphi }}_f^{\mathfrak{C}}(c_1,\dots ,c_n))={\mathit{\varphi }}_f^{\mathfrak{D}}(F(c_1),\dots ,F(c_n)).\end{array}$$

Proposition 14

(Proposition 1.2 in [47]) Let $\mathfrak{C}$ be a $C^{\infty }$-ring and I an ideal of $\mathfrak{C}$ (with $\mathfrak{C}$ considered as an $\mathbb{R}$-algebra). Then there is a unique $C^{\infty }$-ring structure on the quotient $\mathfrak{C}/I$, such that the quotient map $\mathit{\pi }:\mathfrak{C}\to \mathfrak{C}/I$ is a $C^{\infty }$-ring morphism.

As an immediate consequence of this proposition, we obtain the following.

Corollary 2

Any differentiable algebra is a $C^{\infty }$-ring.

It is worth mentioning that $C^{\infty }$-rings are much more general than differentiable algebras—for example, from the theory of the previous section, we know that the algebra of smooth functions on the orbit space of a proper groupoid is a differentiable algebra if and only if the orbit space has bounded embedding dimension. But we will see that it is always a $C^{\infty }$-ring. As a more extreme example, the algebra of continuous functions on any topological space is a $C^{\infty }$-ring.

On the other hand, although $C^{\infty }$-rings are very general, those that arise as algebras of smooth functions on X still belong to a somewhat restrictive class—that of locally fair $C^{\infty }$-rings.

Definition 27

A $C^{\infty }$-ring $\mathfrak{C}$ is said to be finitely generated if there are $c_1,\dots ,c_n\in \mathfrak{C}$ which generate $\mathfrak{C}$ under all $C^{\infty }$ operations.

A $C^{\infty }$-ring $\mathfrak{C}$ is called a $C^{\infty }$-local ring if it has a unique maximal ideal $\mathfrak{m}$ and $\mathfrak{C}/\mathfrak{m}\cong \mathbb{R}$.

Example 15

The ring $C_p^{\infty }({\mathbb{R}}^n)$ of germs at p of functions on ${\mathbb{R}}^n$ is a $C^{\infty }$-local ring.

Definition 28

A $C^{\infty }$-Ringed space $(X,{\mathcal{O}}_X)$ is a topological X space together with a sheaf ${\mathcal{O}}_X$ of $C^{\infty }$-rings on it. A local $C^{\infty }$-Ringed space $(X,{\mathcal{O}}_X)$ is a $C^{\infty }$-ringed space for which the stalks ${\mathcal{O}}_{X,x}$ are local rings for all $x\in X$.

A morphism of $C^{\infty }$-Ringed spaces is a pair

$$\begin{array}{c}\hfill (\mathit{\varphi },{\mathit{\varphi }}^{♯}):(X,{\mathcal{O}}_X)\to (Y,{\mathcal{O}}_Y)\end{array}$$

consisting of a continuous map $\mathit{\varphi }:X\to Y$ and a morphism ${\mathit{\varphi }}^{♯}:{\mathcal{O}}_Y\to {\mathit{\varphi }}_{\ast }{\mathcal{O}}_X$ of sheaves on Y (or equivalently, a morphism ${\mathit{\varphi }}^{♯}:{\mathit{\varphi }}^{\ast }{\mathcal{O}}_Y\to {\mathcal{O}}_X$ of sheaves of $C^{\infty }$-rings on X).

Definition 29

An affine $C^{\infty }$-scheme is a local $C^{\infty }$-ringed space $(X,{\mathcal{O}}_X)$ which is isomorphic to ${\mathrm{Spec}}_r\mathfrak{C}$ as a local $C^{\infty }$-ringed space, for some $C^{\infty }$-ring $\mathfrak{C}$.

A $C^{\infty }$-scheme is a local $C^{\infty }$-ringed space $(X,{\mathcal{O}}_X)$ for which X can be covered by open sets $U_i$ such that each $(U_i,{\mathcal{O}}_{X|U_i})$ is an affine $C^{\infty }$-scheme. Morphisms of $C^{\infty }$-schemes are just morphism of $C^{\infty }$-Ringed spaces.

Definition 30

A locally fair $C^{\infty }$-scheme is a $C^{\infty }$-scheme $(X,{\mathcal{O}}_X)$ for which X can be covered by open sets $U_i$ such that each $(U_i,{\mathcal{O}}_{X|U_i})$ is isomorphic to ${\mathrm{Spec}}_r{\mathfrak{C}}_i$, where ${\mathfrak{C}}_i$ is a finitely generated $C^{\infty }$-ring.

We return to the smooth structure on the orbit space X of a proper groupoid. Although we already knew that X is a $C^{\infty }$-scheme (since it is a differentiable space), we show that it is always affine, as a $C^{\infty }$-scheme.

Proposition 15

(First variation of Main Theorem  1) Let X be the orbit space of a proper Lie groupoid $\mathcal{G}\rightrightarrows M$. Then the algebra $C^{\infty }(X)$ is a $C^{\infty }$-ring and $(X,{\mathcal{C}}_X^{\infty })$ is a locally fair affine $C^{\infty }$-scheme.

Proof

It is clear that $C^{\infty }(X)$ is a $C^{\infty }$-ring : the operation ${\mathit{\varphi }}_f$ associated with a smooth function $f:{\mathbb{R}}^n\to \mathbb{R}$ is simply given by composition with f.

We also know from Theorem 6 that the evaluation map

$$\begin{array}{c}\hfill ev:X\cong {\mathrm{Spec}}_r{C}^{\infty }(X)\end{array}$$

is a homeomorphism. In fact, almost by definition, ev is also an isomorphism of reduced ringed spaces: Let $f\in {\mathcal{O}}_{{\mathrm{Spec}}_r{C}^{\infty }(X)}(U)$ and recall that ${\mathcal{O}}_{{\mathrm{Spec}}_r{C}^{\infty }(X)}(U)$ is the localization of $C^{\infty }(X)$ with respect to the multiplicative system of those functions of $C^{\infty }(X)$ that vanish nowhere on U. We then know that $f=\frac{g}{h}$ with $g,h\in C^{\infty }(X)$ and h non-vanishing on U, so it is easy to see that $e{v}^{\ast }f\in C_X^{\infty }(e{v}^{-1}(U))$. This implies that $(X,{\mathcal{C}}_X^{\infty })$ is an affine $C^{\infty }$-scheme.

In the proof of Theorem 13, we have seen that X is locally isomorphic to differentiable spaces (hence $C^{\infty }$-schemes) of the form $(V/G,{\mathcal{C}}_{V/G}^{\infty })$, where V is a representation of a compact Lie group G. Schwarz’s theorem (Theorem 11) says that the algebra of G-invariant functions on V is a finitely generated $C^{\infty }$-ring and that $(V/G,{\mathcal{C}}_{V/G}^{\infty })$ is affine; hence, $(V/G,{\mathcal{C}}_{V/G}^{\infty })$ is isomorphic to the real spectrum of a finitely generated $C^{\infty }$-ring. Therefore $(X,{\mathcal{C}}_X^{\infty })$ is a locally fair $C^{\infty }$-scheme. $\square$

Alternative framework II: Sikorski spaces

In this section, we discuss another notion of smooth structure—that of a Sikorski space [58] (also called differential space in the literature). This type of smooth structure will be revisited later on, when we discuss differentiable stratifications of the orbit space (Sect. 5). The main references used for this section are [60, 68].

Definition 31

A Sikorski space is a pair $(X,\mathcal{F})$, where X is a topological space and $\mathcal{F}$ is a non-empty set of continuous real-valued functions on X, satisfying:

1. X has the weakest topology such that all the elements of $\mathcal{F}$ are continuous.

2. (Locality) Let $f:X\to \mathbb{R}$ be a function such that for all $x\in X$ there is a neighbourhood U of x and a function $g\in \mathcal{F}$ such that $f_{|U}=g_{|U}$. Then $f\in \mathcal{F}$.

3. (Smooth compatibility) If $F\in C^{\infty }({\mathbb{R}}^n)$ and $f_1,\dots ,f_n\in \mathcal{F}$, then the composition $F(f_1,\dots ,f_n)$ belongs to $\mathcal{F}$.

The elements of $\mathcal{F}$ are called smooth functions on X.

Remark 9

There are some immediate observations we can draw from the previous definition.

1. Since the composition of elements of $\mathcal{F}$ with translations and rescalings is again in $\mathcal{F}$, the topology of X is generated by the open subsets of the form $f^{-1}(0,1)$, for $f\in \mathcal{F}$.

2. The smooth compatibility condition ensures that $\mathcal{F}$ is a commutative $\mathbb{R}$-algebra and that it contains all constant functions.

3. The locality condition guarantees that $\mathcal{F}$ induces a sheaf of continuous functions $\tilde{\mathcal{F}}$ on X: for any open $U\subset X$, let $\tilde{\mathcal{F}}(U)$ be the set of all functions $f:U\to \mathbb{R}$ such that for all $x\in X$ there is a neighbourhood V of x in U and a function $g\in \mathcal{F}$ such that $f_{|V}=g_{|V}$. In this way $(X,\tilde{\mathcal{F}})$ is a reduced ringed space.

Definition 32

A smooth map between Sikorski spaces $(X,{\mathcal{F}}_X)$ and $(Y,{\mathcal{F}}_Y)$ is any continuous map $\mathit{\varphi }:X\to Y$ with the property that $f\circ \mathit{\varphi }\in {\mathcal{F}}_X$ for all $f\in {\mathcal{F}}_Y$.A diffeomorphism is a smooth homeomorphism with a smooth inverse.

Definition 33

Let $(X,{\mathcal{F}}_X)$ be a Sikorski space. A Sikorski subspace of $(X,{\mathcal{F}}_X)$ is a Sikorski space $(Y,{\mathcal{F}}_Y)$, where Y is a topological subspace of X, and ${\mathcal{F}}_Y$ is generated by restrictions of functions of ${\mathcal{F}}_X$ to Y, i.e., $f\in {\mathcal{F}}_Y$ if and only if for all $y\in Y$ there is a neighbourhood U of y in X and a function $g\in \mathcal{F}$ such that $f_{|U\cap Y}=g_{|U\cap Y}$.

Definition 34

Let $(X,{\mathcal{F}}_X)$ be a Sikorski space and let R be an equivalence relation on X. The quotient Sikorski space of X with respect to R is the Sikorski space $(X_R,{\mathcal{F}}_R)$, where

1. $X_R$ is the set of equivalence classes for R;

2. ${\mathcal{F}}_R=\{f\in \mathcal{F}|{\mathit{\pi }}^{\ast }f\in \mathcal{F}\}$, where $\mathit{\pi }:X\to X_R$ is the canonical projection;

3. the topology on $X_R$ is the smallest one making all functions in ${\mathcal{F}}_R$ continuous.

The topology induced on $X_R$ by ${\mathcal{F}}_R$ may be distinct from the quotient topology. The following result provides a sufficient condition for the two topologies to coincide.

Proposition 16

(Proposition 2.1.11 in [60]) Let $(X,{\mathcal{F}}_X)$ be a Sikorski space, let R be an equivalence relation on X and let $(X_R,{\mathcal{F}}_R)$ be the quotient Sikorski space. Then the topology induced by ${\mathcal{F}}_R$ on $X_R$ coincides with the quotient topology if for every subset $U\subset X_R$, open for the quotient topology, and every point $y\in U$, there exists a function $f\in {\mathcal{F}}_R$ such that $f(y)=1$ and f vanishes outside of U.

As in the other frameworks presented previously, we will see that orbispaces will fall into a particularly nice subcategory of Sikorski spaces.

Definition 35

A subcartesian space is a Hausdorff Sikorski space X such that every point $x\in X$ has a neighbourhood diffeomorphic to a subset of some ${\mathbb{R}}^n$.

Remark 10

Subcartesian spaces, introduced by Aronszaijn [2] are sometimes called locally affine Sikorski spaces in the literature, or are defined in other (equivalent) ways. The precise connection between the various definitions is made clear in [68]. A brief historical overview on subcartesian spaces can also be found in [69].

Proposition 17

(Second variation of Main Theorem  1) The orbit space X of a proper Lie groupoid $\mathcal{G}\rightrightarrows M$ is a subcartesian space.

If two Lie groupoids $\mathcal{G}$ and $\mathcal{H}$ are Morita equivalent, their orbit spaces X and Y are isomorphic as subcartesian spaces.

Proof

First of all, as a quotient, X can be endowed with the quotient Sikorski space structure $(X,C^{\infty }(X))$. The topology induced by $C^{\infty }(X)$ coincides with the quotient topology because X is a normal space, so it is in the conditions of Proposition 16.

We have already seen (e.g., in the proof of Theorem 13) that $(X,C^{\infty }(X))$ is locally isomorphic to the quotient of a representation of a compact group which, by Schwarz’s theorem (Theorem 11), is isomorphic to a subspace of some ${\mathbb{R}}^n$. Hence $(X,C^{\infty }(X))$ is subcartesian.

If two Lie groupoids $\mathcal{G}$ and $\mathcal{H}$ are Morita equivalent, their orbit spaces X and Y are homeomorphic (Lemma 1); the algebra of smooth functions can be seen as the algebra of global sections of the structure sheaf, which is invariant under Morita equivalences (Theorem 13). $\square$

Orbispaces as stratified spaces

In this section, we study the canonical decomposition of the base and orbit space of a proper Lie groupoid. The decomposition is by smooth pieces that fit together in a prescribed way, as a stratification.

We start by recalling some of the general theory of stratifications associated with proper Lie group actions. Most of this material is rather classical, but we try to clarify some points where the literature can sometimes be confusing. Some references for this exposition are for example [25, 39, 51]. We then extend some of the theory of proper Lie group actions to proper Lie groupoids, obtaining in this way some of the results from [53] and a principal type theorem for proper Lie groupoids (Theorem 15). Throughout this section, we assume that X is a connected topological space and M is a connected manifold of dimension n.

Stratifications

Definition 36

Let X be a Hausdorff second-countable paracompact space. A stratification of X is a locally finite partition $\mathcal{S}=\{X_i|i\in I\}$ of X such that its members satisfy:

1. Each $X_i$, endowed with the subspace topology, is a locally closed, connected subspace of X, carrying a given structure of a smooth manifold;

2. (frontier condition) the closure of each $X_i$ is the union of $X_i$ with members of $\mathcal{S}$ of strictly lower dimension.

The members $X_i\in \mathcal{S}$ are called the strata of the stratification.

We will study in detail some stratifications associated with proper Lie group actions and proper Lie groupoids, but let us start with some very simple examples.

1. Any connected manifold comes with the stratification by only one stratum.

2. A manifold with boundary can be stratified by its interior and the connected components of the boundary.

3. If M is compact, then the cone on M,

   $$\begin{array}{c}\hfill CM=[0,1)\times M/\{0\}\times M\end{array}$$

   comes with a stratification with two strata: the vertex point and $(0,1)\times M$.

Remark 11

(Comments on the definition and comparison with the literature) When X is actually a smooth manifold, it is usual to require that the strata are submanifolds of X. Similarly, when X can be equipped with some sort of smooth structure, for example the ones described in Sect. 3, then it is natural to require some sort of compatibility between the smooth structure and the stratification. Section 5 is centred around this interplay.

Across the literature, it is possible to find quite a lot of variations on the definition of a stratification, typically so that the definition is most adapted to the problem under study. For example, some authors do not require X to be Hausdorff, paracompact, or second-countable. The two main conditions used here that are often not mentioned are connectedness of the strata (which is discussed in detail in Remark 12) and the requirement that strata included in the closure of another stratum have strictly lower dimension. Although the latter condition is often not required, without it we would be forced to consider pathological examples (e.g., the closed topologist’s sine curve, and even more pathological ones—see [51, Ex. 1.1.12]) that do not occur anyway in our study of proper actions and proper Lie groupoids. On the other hand, some authors require further conditions on how the strata fit together, for example the conditions of topological local triviality, or the cone condition; these will be discussed in Sect. 5.

Remark 12

(On the condition of connectedness of the strata) The condition of connectedness of the strata is important not only as a technical condition but also conceptually. It is often present in the literature only implicitly, built into the definition of the partition that is to be studied. More precisely, one starts with a locally finite partition of X by locally closed submanifolds $\mathcal{P}$ and then one passes to the partition ${\mathcal{P}}^c$ by connected components of $\mathcal{P}$. The partition ${\mathcal{P}}^c$ is then checked to satisfy the frontier condition. One of the usual motivations for passing to connected components is that the elements of $\mathcal{P}$ might have components of different dimension. However, there is a much more fundamental reason to pass to connected components: in many important examples (such as the partition by orbit types—see Definition 40) the condition of frontier might not be satisfied unless we pass to connected components—see Example 17.

At a more conceptual level, the condition of connectedness also allows for a global implementation of Mather’s approach to stratifications using germs of submanifolds (see, e.g., [39, 51]), but without making reference to germs. We explain below the precise connection with Mather’s approach. The main point to do so, present in the next lemma, is to understand when two partitions may give rise, after passing to connected components, to the same stratification.

Lemma 6

Let ${\mathcal{P}}_i$, $i\in \{1,2\}$, be two partitions of X by smooth manifolds (whose connected components may have different dimensions) with the subspace topology; denote by ${\mathcal{P}}_i^c$ the new partition obtained by taking the connected components of the members of ${\mathcal{P}}_i$. Then ${\mathcal{P}}_1^c={\mathcal{P}}_2^c$ if and only if, for each $x\in X$, there exists an open neighbourhood U of x in X such that

$$\begin{array}{c}\hfill P_1\cap U=P_2\cap U,\end{array}$$

where $P_i\in {\mathcal{P}}_i$ are the members containing x.

Proof

For the direct implication, let $x\in X$ and let $A_i\in {\mathcal{P}}_i^c$ such that $x\in A_i$. Let $P_i\in {\mathcal{P}}_i$ be the members containing x. Then there are open subsets $U_i$ of X such that $U_i$ contains $A_i$ but not the other connected components of $P_i$. The open neighbourhood $U=U_1\cap U_2$ satisfies the second condition of the statement.

To prove the converse implication, it suffices to show that, for $A_i\in {\mathcal{P}}_i^c$ ($i\in \{1,2\}$) with $A_1\cap A_2\ne \mathrm{\varnothing }$, one must have $A_1=A_2$. Let $P_i\in {\mathcal{P}}_i$ so that $A_i$ is a connected component of $P_i$. We first show that $A_1\cap A_2$ is open in $A_1$. Let $a\in A_1\cap A_2$. By hypothesis, we find a neighbourhood U of a so that $U\cap P_1=U\cap P_2$. Since $A_1$ is locally connected, we may assume that $U\cap A_1$ is connected. Then, since $U\cap A_1\subset U\cap P_1=U\cap P_2\subset P_2$, we know that $U\cap A_1$ sits inside a connected component of $P_2$. Since $a\in U\cap A_1$ and $A_2$ is the connected component of $P_2$ containing a, we must have $U\cap A_1\subset A_2$ and hence $U\cap A_1\subset A_1\cap A_2$. This proves that $A_1\cap A_2$ is open in $A_1$. Note that this implies that $\{A_1\cap B|B\in {\mathcal{P}}_2^c\}$ is a partition of $A_1$ by open subspaces and hence, by the connectedness of $A_1$, it must coincide with one of the members of this family—and that is necessarily the non-empty $A_1\cap A_2$. Hence, $A_1\subset A_2$ and the reverse inclusion is proved similarly. $\square$

Definition 37

A decomposition of a Hausdorff second-countable topological space X is a partition $\mathcal{P}$ satisfying all conditions from Definition 36 except possibly connectedness of the strata.

Example 16

Some decompositions cannot be made into a stratification in our sense by passing to connected components. For example, consider the decomposition of the plane ${\mathbb{R}}^2$ into three pieces A, B, and C: A equals the origin $\{0\}$, B equals the union of all circles centred at the origin, of radius equal to 1 / n, with $n\in \mathbb{N},$ and $C={\mathbb{R}}^2\backslash A\cup B$. Passing to connected components, we would lose local finiteness of the partition.

Mather’s approach using germs leads to the following alternative definition of stratification (cf. [39, 51]), that we designate by germ stratification.

Definition 38

A germ stratification of a topological space X is a rule which assigns to each $x\in X$ a germ ${\mathcal{S}}_x$ of a closed subset of X, such that, for each $x\in X$, there is a neighbourhood U of x and a decomposition $\mathcal{P}$ of U, with the property that for all $y\in U$, ${\mathcal{S}}_y$ is the germ of the piece of $\mathcal{P}$ containing y.

Given any decomposition $\mathcal{S}$ on X, we can produce a germ stratification by assigning to each $x\in X$ the germ of the piece of the decomposition containing x. A result of Mather [39, Lemma 2.2] states that any germ stratification arises in this way. Lemma 6 guarantees that as long as we restrict to those decompositions that are stratifications and their corresponding germ stratifications, this correspondence is indeed bijective. Accordingly, germ stratifications are usually simply called stratifications in the literature.

Definition 39

Given a stratification $\mathcal{S}$, there is a natural partial order on the strata given by

$$\begin{array}{c}\hfill S\le T\iff S\subset \overline{T}.\end{array}$$

The union of all maximal strata (with respect to this order) forms a subspace $M^{\mathcal{S}-\mathrm{reg}}\subset M$ called the $\mathcal{S}$-regular part of M.

The following lemma shows that maximality of a stratum is a local condition (cf. [13]).

Lemma 7

A stratum $S\in \mathcal{S}$ is maximal if and only if it is open. The regular part $M^{\mathcal{S}-\mathrm{reg}}$ is open and dense in M.

Proof

Assume that S is a maximal stratum which is not open. Let $x\in S$ lie outside the interior of S. Choose a neighbourhood V of x in M which intersects with only finitely many members of $\mathcal{S}$. Since x is not in the interior of S, by choosing a sequence of neighbourhoods $V\supset V_0\supset V_1\supset \cdots$ that shrink to x, we can find $x_n\in V_n\backslash S$ for each n. We obtain in this way a sequence ${(x_n)}_{n\ge 0}$ converging to x, with $x_n\in V\backslash S$. Each $x_n$ belongs to one of the finitely many members of $\mathcal{S}$ which meets V, so after passing to a subsequence we may assume that $x_n\in T$ for all n, for some $T\in \mathcal{S}$. It follows that $x\in \overline{T}$, hence $S\cap \overline{T}\ne \mathrm{\varnothing }$, and so $S\subset \overline{T}$. From the maximality of S, we have that $S=T$, which contradicts the fact that $x_n$ is not in S.

For the converse, assume that S is open and $S\subset \overline{T}$ for some $T\in \mathcal{S}$. If $S\ne T$, it follows that S is a stratum of dimension strictly less than that of T, which cannot be the case since S is open.

The regular part $M^{\mathcal{S}-\mathrm{reg}}$ is clearly open, being a union of open strata. Given an arbitrary $x\in M$, it belongs to at least one stratum; consider a strict chain $x\in S_1<S_2<\cdots <S_k$ which cannot be continued. Then $S_k$ is maximal and $x\in {\overline{S}}_k$; hence, x is in the closure of $M^{\mathcal{S}-\mathrm{reg}}$, proving that this space is dense. $\square$

Some natural questions about the regular part of M come to mind; how different is it from M? Is it connected? The following lemma tries to partially address these questions.

Lemma 8

Let $\mathcal{S}$ be a stratification on a smooth manifold M, with no strata of codimension 1. Then the $\mathcal{S}$-regular part of M, denoted by $M^{\mathrm{reg}}$, is connected.

Proof

Let x and y be two points of $M^{\mathrm{reg}}$ and consider a smooth curve $\mathit{\gamma }:[0,1]\to M$ connecting x and y (recall that by M is connected by assumption). The image of $\mathit{\gamma }$ is compact, so it can be covered by a finite number of open subsets of M, each of which intersects finitely many strata. Let U be the union of those open subsets. Then by the transversality homotopy theorem (cf. [29, p. 70]), it is possible to find a map ${\mathit{\gamma }}^{\prime }:[0,1]\to U$ which is homotopic to $\mathit{\gamma }$ and transverse to all the finitely many strata of codimension greater than 1 in U, which means that it misses them. Since there are no strata of codimensions 1, the image of the map ${\mathit{\gamma }}^{\prime }$ must be completely contained in the union of the strata of codimension 0, which is precisely $M^{\mathrm{reg}}$. $\square$

Proper group actions: the canonical stratification

We recall an important example of a stratification, associated with a proper action of a Lie group G on a manifold M. This example serves as both motivation and background for the study of stratifications on proper groupoids. We take the standard approach of first defining a natural partition $\mathcal{P}$ on M associated with the action and then passing to the partition by connected components $\mathcal{P}$. For the whole of this section, let G be a Lie group acting properly on a smooth manifold M.

Definition 40

The orbit type equivalence is the equivalence relation on M given by

$$\begin{array}{c}\hfill x\sim y⟺G_x\sim G_y(\text{i.e.}{G}_x\text{and}{G}_y\text{are conjugate in}G).\end{array}$$

The partition by orbit types, denoted by ${\mathcal{P}}_{\sim }(M)$, is the resulting partition (each member of ${\mathcal{P}}_{\sim }(M)$ is called an orbit type).

The reason for the terminology is that $x\sim y$ is equivalent to the fact that the orbits through x and y are diffeomorphic as G-manifolds. The members of this partition can be indexed by conjugacy classes (H) of subgroups H of G. To each such conjugacy class corresponds the orbit type

$$\begin{array}{c}\hfill M_{(H)}=\{x\in M|G_x\sim H\}\in {\mathcal{P}}_{\sim }(M).\end{array}$$

Points in the same orbit belong to the same orbit type, so the partition ${\mathcal{P}}_{\sim }(M)$ descends to a partition by orbit types ${\mathcal{P}}_{\sim }(M/G)$ of the orbit space. Passing to the connected components of the members of ${\mathcal{P}}_{\sim }(M)$ and of ${\mathcal{P}}_{\sim }(M/G)$, we obtain stratifications of M and of M / G. Moreover, the projection of the strata on M by the quotient map are the strata on M / G. In other words, passing to the quotient commutes with taking connected components of the orbit types. A proof of these facts can be found for example in [25, 51].

Definition 41

The canonical stratification on M (respectively, M / G) associated with the action of G is the partition of M (respectively of M / G) by connected components of the members of ${\mathcal{P}}_{\sim }(M)$ (respectively, ${\mathcal{P}}_{\sim }(M/G)$) and is denoted by ${\mathcal{S}}_G(M)$ (respectively, $\mathcal{S}(M/G)$).

There are other partitions of M that also induce the same stratification $\mathcal{S}(M/G)$, by passing to connected components. Let us start with the simplest one to describe.

Definition 42

The partition by isotropy isomorphism classes on M, denoted by ${\mathcal{P}}_{\cong }(M)$, is defined by the equivalence relation on M given by

$$\begin{array}{c}\hfill x\cong y⟺G_x\cong G_y(\text{Lie group isomorphism}).\end{array}$$

The members of this partition can be indexed by isomorphism classes [H] of subgroups H of G. To each such conjugacy class corresponds the orbit type

$$\begin{array}{c}\hfill M_{[H]}=\{x\in M|G_x\cong H\}\in {\mathcal{P}}_{\cong }(M).\end{array}$$

Proposition 18

After passing to connected components, ${\mathcal{P}}_{\cong }(M)$ induces the same stratification on M as ${\mathcal{P}}_{\sim }(M)$.

Proof

Using Lemma 6, it is enough to check that given any $x\in M$, there is an open neighbourhood U of x such that $M_{[G_x]}\cap U=M_{(G_x)}\cap U$. Using the normal form $[G{\times }_{G_x}{\mathcal{N}}_x]$ around x given by the Tube theorem (Theorem 1), and since points belonging to the same orbit are equivalent for both $\cong$ and $\sim$, it is enough to compare $\cong$ and $\sim$ for points on a neighbourhood of x in ${\mathcal{N}}_x$. Therefore, we have reduced the problem to checking that given a representation V of a compact subgroup $K\subset G$, it holds that $V_{[K]}=V_{(K)}$. The following lemma guarantees that this is always the case. $\square$

Lemma 9

If H is a closed subgroup of a compact Lie group K with the property that H is isomorphic (or just diffeomorphic) to K, then $H=K$.

Proof

For dimensional reasons, we see that H and K must have the same Lie algebra; from this, it follows that their connected components containing the identity, $H^0$ and $K^0$, coincide. The fact that H is diffeomorphic to K implies that they also have the same (finite) number of connected components, from which the statement follows.   $\square$

Yet another partition that induces the canonical stratification is the partition by local types (cf. [25, Def. 2.6.5]). Its members are indexed by equivalence classes of pairs (H, V), where H is a subgroup of G and V is a representation of H; two such pairs (H, V) and $(H^{\prime },V^{\prime })$ are equivalent if H is conjugate to $H^{\prime }$ by some $g\in G$ and $V\cong V^{\prime }$ by an isomorphism compatible with ${\mathrm{Ad}}_g$.

Definition 43

The partition by local types on M, denoted by ${\mathcal{P}}_{\approx }(M)$, is defined by the equivalence relation on M given by

$$\begin{array}{c}\hfill x\approx y⟺(G_x,{\mathcal{N}}_x)\approx (G_y,{\mathcal{N}}_y),\end{array}$$

where ${\mathcal{N}}_x$ is the normal representation at x.

The reason for the terminology is that, as a consequence of the Tube theorem (Theorem 1), x and y belong to the same local type if and only if the orbits through x and y admit equivariantly diffeomorphic neighbourhoods. By the same arguments as in the proof of Proposition 18 above, we conclude the following.

Proposition 19

After passing to connected components, ${\mathcal{P}}_{\approx }(M)$ induces the canonical stratification on M.

The difference between the three partitions discussed is that they group the strata of ${\mathcal{S}}_G(M)$ in different ways: it is easy to see that

$$\begin{array}{c}\hfill {\mathcal{P}}_{\cong }(M)\prec {\mathcal{P}}_{\sim }(M)\prec {\mathcal{P}}_{\approx }(M)\end{array}$$

in the sense that each member of ${\mathcal{P}}_{\cong }(M)$ is a union of members of ${\mathcal{P}}_{\sim }(M)$, etc. The obvious inclusions of a member of ${\mathcal{P}}_{\sim }(M)$ into the corresponding member of ${\mathcal{P}}_{\cong }(M)$, and of a member of ${\mathcal{P}}_{\approx }(M)$ into the corresponding member of ${\mathcal{P}}_{\sim }(M)$ are strict in general, as the following example shows.

Example 17

Consider the finite group ${\mathbb{Z}}_2\times {\mathbb{Z}}_2=\{\pm 1\}\times \{\pm 1\}$, acting on $\mathbb{R}{P}^2$ by $(\mathit{ϵ},\mathit{\eta })·[x:y:z]=[x:\mathit{ϵ}y:\mathit{\eta }z]$. The subgroups ${\mathbb{Z}}_2\times \{1\}$ and $\{1\}\times {\mathbb{Z}}_2$ are isomorphic but not conjugate, and arise as isotropy groups of the points [1 : 0 : 1] and [1 : 1 : 0] respectively. Hence

$$\begin{array}{c}\hfill \mathbb{R}{P}_{({\mathbb{Z}}_2\times \{1\})}^2\ne \mathbb{R}{P}_{[{\mathbb{Z}}_2\times \{1\}]}^2.\end{array}$$

On the other hand, all fixed points of a given action have the same orbit type, but the local types of fixed points can differ. For example, consider the action of the circle $S^1$ on $\mathbb{C}{P}^2$ given by $\mathit{\theta }·[x:y:z]=[z:{\mathit{\theta }}^{2}y:{\mathit{\theta }}^{5}z]$. The isotropy representation at the fixed points [1 : 0 : 0], [0 : 1 : 0] and [0 : 0 : 1] are isomorphic with the representation of $S^1$ on ${\mathbb{C}}^2$ of weights (2, 5), $(-2,3)$ and $(-5,-3)$ respectively (we say that a representation of $S^1$ on ${\mathbb{C}}^2$ has weight $(m,n)\in {\mathbb{Z}}^2$ if it is given by $\mathit{\theta }·(z,w)=({\mathit{\theta }}^{m}z,{\mathit{\theta }}^{n}w)$).

Remark 13

It is important to note that, as mentioned in Remark 12, the passage to connected components of ${\mathcal{P}}_{\sim }(M)$ is really necessary to guarantee that we end up with a stratification. Besides the obvious problem that orbit types may be disconnected, there is the more serious issue that the frontier condition may not be satisfied (between orbit types). For example, there may be orbit types whose closure contains some, but not all of the fixed points of the action. This is the case in Example 17 above: For the subgroup $H={\mathbb{Z}}_2\times \{1\}$, we see that

$$\begin{array}{c}\hfill \mathbb{R}{P}_{({\mathbb{Z}}_2\times \{1\})}^2=\{[x:0:z]\in \mathbb{R}{P}^2|x\ne 0\ne z\},\end{array}$$

so its closure contains the fixed points [1 : 0 : 0] and [0 : 0 : 1], but not the fixed point [0 : 1 : 0].

Unlike the case for the two partitions discussed before, all the connected components of a local type have the same dimension (which can be seen using the normal form given by the Tube theorem). However, ${\mathcal{P}}_{\approx }(M)$ may still fail to satisfy the frontier condition: the same counterexample as for ${\mathcal{P}}_{\sim }(M)$ works here as well since [0 : 1 : 0] and [0 : 0 : 1] belong to the same local type.

We recall another interesting stratification on M, which appears as the infinitesimal version of the canonical stratification from the previous section. The idea is that replacing the isotropy Lie groups $G_x$ by their Lie algebras ${\mathfrak{g}}_x$, one obtains similar (but in general different) partitions of M.

Definition 44

The infinitesimal orbit type equivalence is the equivalence relation on M given by

$$\begin{array}{c}\hfill x{\sim }_{\inf }y⟺{\mathfrak{g}}_x\sim {\mathfrak{g}}_y(\text{i.e.}{\mathfrak{g}}_x\text{and}{\mathfrak{g}}_y\text{are conjugate in}\mathfrak{g}).\end{array}$$

The partition by infinitesimal orbit types is the resulting partition, denoted by ${\mathcal{P}}_{{\sim }_{\inf }}(M)$ (each member of ${\mathcal{P}}_{{\sim }_{\inf }}(M)$ is called an infinitesimal orbit type).

The infinitesimal canonical stratification on M, denoted by ${\mathcal{S}}_G^{\inf }(M)$, is the partition of M by connected components of the members of ${\mathcal{P}}_{{\sim }_{\inf }}(M)$.

Similarly, we define infinitesimal versions of the partitions by isotropy isomorphism classes and by local types—define the equivalence relations ${\approx }_{\inf }$ and ${\cong }_{\inf }$ by replacing the isotropy Lie groups $G_x$ by their Lie algebras ${\mathfrak{g}}_x$ in the definitions. The infinitesimal analogue of Lemma 9 is obvious, and therefore we obtain that the partitions ${\mathcal{P}}_{{\sim }_{\inf }}(M)$ and ${\mathcal{P}}_{{\cong }_{\inf }}(M)$ induce the infinitesimal canonical stratification.

Remark 14

It is easy to see that points in the same orbit belong to the same infinitesimal orbit type, so we obtain a partition by infinitesimal orbit type on the orbit space M / G. However, this partition does not in general induce a stratification. Indeed, the members of the partition on the orbit space may fail to be manifolds. For example, in the case of the action of ${\mathbb{Z}}_2$ on $\mathbb{R}$ by reflection at the origin, all points have the same infinitesimal orbit type, but the orbit space is not a manifold.

Proper actions: principal and regular types

We have seen several partitions inducing the same stratifications ${\mathcal{S}}_G(M)$ and ${\mathcal{S}}_G^{\inf }(M)$. This allows us to use different partitions when proving results about the stratification, using whichever is more convenient for the proof.

It is interesting to distinguish which notions are intrinsic to the stratification, and which are particular to one of the partitions giving rise to it; similarly, we can wonder about whether a given result on the stratification can be strengthened to a result on one of the partitions giving rise to it.

We now recall some properties of the maximal strata of the canonical stratification and point out the relation with the partitions that give rise to it.

Definition 45

The principal part of M is defined to be the ${\mathcal{S}}_G(M)$-regular part of M and is denoted by $M^{\mathrm{princ}}:=M^{{\mathcal{S}}_G(M)-\mathrm{reg}}$. The orbits inside $M^{\mathrm{princ}}$ are called principal orbits.

In order to check whether a point $x\in M$ belongs to a principal orbit, we use Lemma 7 and a tube $G{\times }_{G_x}V$ around x. We arrive at the condition that $V^{G_x}$ is open in V, which leads to the following characterization.

Lemma 10

For any point $x\in M$, the following are equivalent:

1. $x\in M^{\mathrm{princ}}$

2. the action of $G_x$ on the normal space to the orbit is trivial.

In this case all the orbits $G·y$ through points y close to x are diffeomorphic $G·x$.

By definition, $M^{\mathrm{princ}}$ is intrinsically associated with the canonical stratification. But to understand it better, we recall a related notion, defined in terms of the partition ${\mathcal{P}}_{\sim }(M)$ by orbit types. First of all, note that there is a partial order on the orbit types that is analogous to the ordering on the strata:

$$\begin{array}{c}\hfill M_{(H)}\ge M_{(K)}⟺K\text{is}G-\text{conjugate to a subgroup of}H.\end{array}$$

The maximal orbit types (with respect to this order) are called principal orbit types. They are related to $M^{\mathrm{princ}}$ by the Principal orbit type theorem (cf. [25, Thm. 2.8.5], or Sect. 4.7 for a generalization of this theorem for proper Lie groupoids). The theorem states that ${\mathcal{P}}_{\sim }(M)$ admits one and only one maximal orbit type: there exists a unique conjugacy class, denoted $(H_{\mathrm{princ}})$ such that any isotropy group $G_x$ of the action contains a conjugate of $H_{\mathrm{princ}}$. In terms of the stratification, this means that

$$\begin{array}{c}\hfill M^{\mathrm{princ}}=M_{(H_{\mathrm{princ}})}.\end{array}$$

Hence the maximal strata of ${\mathcal{S}}_G(M)$ are precisely the connected components of the principal orbit type. We also see that, although it was originally defined in terms of ${\mathcal{P}}_{\sim }(M)$, the notion of principal orbit type only depends on the stratification.

Moreover, the Principal orbit type theorem also states that, even when $M^{\mathrm{princ}}$ is not connected, the quotient $M_{(H_{\mathrm{princ}})}/G$ is connected. Hence the stratification $\mathcal{S}(M/G)$ of the quotient M / G has one and only one maximal (principal) stratum.

Alternatively, we could proceed similarly but using ${\mathcal{P}}_{\cong }(M)$ instead of ${\mathcal{P}}_{\sim }(M)$; in that case, the partial order to consider is

$$\begin{array}{c}\hfill M_{[H]}\ge M_{[K]}⟺K\text{is isomorphic to a subgroup of}H,\end{array}$$

which is, indeed, a partial order by Lemma 9. The corresponding version (for ${\mathcal{P}}_{\cong }(M)$) of the Principal orbit type theorem results in a unique maximal element, which is precisely $M_{[H_{\mathrm{princ}}]}$.

Proposition 20

The maximal elements of ${\mathcal{P}}_{\cong }(M)$ and of ${\mathcal{P}}_{\sim }(M)$ coincide, i.e.,

$$\begin{array}{c}\hfill M_{[H_{\mathrm{princ}}]}=M_{(H_{\mathrm{princ}})}.\end{array}$$

Proof

It always holds that $M_{(H)}\subset M_{[H]}$, so we are left with checking the converse. If $x\in M_{[H_{\mathrm{princ}}]}$ we know that $G_x\cong H_{\mathrm{princ}}$, but we also know that $G_x$ is conjugate to a subgroup of $H_{\mathrm{princ}}$. Using Lemma 9, we see that the subgroup must be the entire $H_{\mathrm{princ}}$, and so $G_x$ is conjugate to it; hence, x is also in $M_{(H_{\mathrm{princ}})}$. $\square$

Finally, let us mention that, using the partition by local types, one would equally find that there is a single maximal local type, which again coincides with $M^{\mathrm{princ}}$ (cf. [25, Cor. 2.8.6]).

Let us now focus on the infinitesimal canonical stratification. The associated regular part is denoted:

$$\begin{array}{c}\hfill M^{\mathrm{reg}}:=M^{{\mathcal{S}}_G^{\inf }(M)-\mathrm{reg}}.\end{array}$$

In complete similarity with Lemma 10, using a the normal form given by the Tube theorem (Theorem 1), we find:

Lemma 11

For any point $x\in M$, the following are equivalent:

1. $x\in M^{\mathrm{reg}}$;

2. the infinitesimal action of ${\mathfrak{g}}_x$ on the normal space to the orbit is trivial;

3. the action of $G_x^0$ on the normal space to the orbit is trivial;

4. all the orbits through points close to x have the same dimension,

In this case, all the orbits $G·y$ through points y close to x are coverings of $G·x$;

The next proposition shows that, although the infinitesimal canonical stratification behaves worse than the canonical stratification (e.g., it does not induce a stratification on the quotient), it does have some advantages over ${\mathcal{S}}_G(M)$.

Proposition 21

The infinitesimal canonical stratification satisfies:

1. ${\mathcal{S}}_G^{\inf }(M)$ does not contain codimension 1 strata.

2. $M^{\mathrm{reg}}$ is connected.

3. ${\mathcal{S}}_G^{\inf }(M)$ has one and only one maximal strata.

Proof

Assume that S is a stratum of codimension one; S is a connected component of a subspace of type

$$\begin{array}{c}\hfill M_{[\mathfrak{h}]}=\{x\in M|{\mathfrak{g}}_x\cong \mathfrak{h}\}\end{array}$$

for some Lie subalgebra $\mathfrak{h}$ of $\mathfrak{g}$. Let $x\in S$; we may assume that $G_x=H$. Let $U\subset G{\times }_{H}V$ be a tube around x, with x represented by (e, 0). Then

$$\begin{array}{c}\hfill U\cap M_{[\mathfrak{h}]}\cong \{y=[a,v]\in G{\times }_{H}V|G{\times }_{G_x}{\mathfrak{h}}_v=h\}=G{\times }_H{V}^{\mathfrak{h}}.\end{array}$$

To achieve codimension 1, $V^{\mathfrak{h}}$ must be of codimension 1 in V. Let W be the complement of $V^{\mathfrak{h}}$ with respect to an H-invariant metric on V; then $W^{\mathfrak{h}}=0$; hence, W is a non-trivial one dimensional representation of the compact connected Lie group $H^0$, which is impossible. The fact that part 1 implies part 2 follows from Lemma 8; part 3 is just a reformulation of part 2. $\square$

Morita types

In this section, we introduce the canonical stratification associated with a proper Lie groupoid. This generalizes the canonical stratification induced by a proper Lie group action. As in the case of proper actions, a proper Lie groupoid induces a stratification not only on its base, but also on the orbit space. Let us mention already that one of the essential properties of the stratification on the orbit space is that it is Morita invariant (see Remark 15), meaning that it is intrinsically associated to the orbispace presented by the groupoid.

Let $\mathcal{G}$ be a proper Lie groupoid over M and denote its orbit space by X.

Definition 46

The Morita-type equivalence is the equivalence relation on M given by

$$\begin{array}{c}\hfill x{\sim }_{\mathcal{M}}y⟺({\mathcal{G}}_x,{\mathcal{N}}_x)\cong ({\mathcal{G}}_y,{\mathcal{N}}_y),\end{array}$$

where $({\mathcal{G}}_x,{\mathcal{N}}_x)\cong ({\mathcal{G}}_y,{\mathcal{N}}_y)$ means that there is an isomorphism $\mathit{\varphi }:{\mathcal{G}}_x\to {\mathcal{G}}_y$ and a compatible isomorphism of representations between the normal representations ${\mathcal{N}}_x$ and ${\mathcal{N}}_y$.

The partition by Morita types, denoted by ${\mathcal{P}}_{\mathcal{M}}(M)$, is defined to be the resulting partition. Each member of ${\mathcal{P}}_{\mathcal{M}}(M)$ is called a Morita type.

In other words, the partition by Morita types is indexed by equivalence classes of pairs (H, V) where H is a Lie group, V is a representation of H, and two pairs are equivalent in the way described above: $H\cong H^{\prime }$ and $V\cong V^{\prime }$ in a compatible way. In this case, we write $(H,V)\cong (H^{\prime },V^{\prime })$. Set [H, V] for the equivalence class of the pair (H, V). If $[H,V]=\mathit{\alpha }$, then the element of ${\mathcal{P}}_{\mathcal{M}}(M)$ corresponding to $\mathit{\alpha }$ is

$$\begin{array}{c}\hfill M_{(\mathit{\alpha })}=\{x\in M|[{\mathcal{G}}_x,{\mathcal{N}}_x]=\mathit{\alpha }\}\in {\mathcal{P}}_{\mathcal{M}}(M).\end{array}$$

We also denote by $M_{(x)}$ the Morita type of a point $x\in M$.

Remark 15

The Morita type of a point $x\in M$ depends only on the Morita equivalence class of the local model $\mathcal{N}({\mathcal{G}}_{{\mathcal{O}}_x})$ of the groupoid in a neighbourhood of its orbit ${\mathcal{O}}_x$. Indeed, the local models $\mathcal{N}({\mathcal{G}}_{{\mathcal{O}}_x})$ and $\mathcal{N}({\mathcal{G}}_{{\mathcal{O}}_y})$ around x and y are Morita equivalent to ${\mathcal{G}}_x⋉{\mathcal{N}}_x$ and ${\mathcal{G}}_y⋉{\mathcal{N}}_y$, respectively. These in turn are Morita equivalent to each other if and only if there is an isomorphism $\mathit{\varphi }:{\mathcal{G}}_x\to {\mathcal{G}}_y$ and an isomorphism of representations between ${\mathcal{N}}_x$ and ${\mathcal{N}}_y$, compatible with $\mathit{\varphi }$.

Therefore, points in the same orbit belong to the same Morita type and hence we also obtain a partition by Morita types on the orbit space, ${\mathcal{P}}_{\mathcal{M}}(X)$. The projection map $\mathit{\pi }:M\to X$ takes Morita types in M to Morita types in X; we use the notation $X_{(\mathit{\alpha })}=\mathit{\pi }(M_{(\mathit{\alpha })})$ for Morita types in the orbit space. This partition on X is really associated with the orbispace X presented by $\mathcal{G}$ and not to $\mathcal{G}$ itself. Indeed, by its very definition, the Morita type of $\mathcal{O}\in X$ only depends on Morita invariant information.

Definition 47

The canonical stratification on M, denoted by ${\mathcal{S}}_{\mathcal{G}}(M)$, is the partition on M obtained by passing to connected components of ${\mathcal{P}}_{\mathcal{M}}(M)$. The canonical stratification on the orbit space X, denoted by $\mathcal{S}(X)$, is the partition on X obtained by passing to connected components of ${\mathcal{P}}_{\mathcal{M}}(X)$.

In Sect. 4.6, we see that these partitions are, indeed, stratifications.

Remark 16

By passing to the corresponding germ stratification, $\mathcal{S}(X)$ corresponds to the canonical germ stratification of [53].

Comparison with other equivalence relations

The notion of partition by isotropy isomorphism classes (see Definition 42) still makes sense for a general Lie groupoid, so we can compare the partitions ${\mathcal{P}}_{\cong }(M)$ and ${\mathcal{P}}_{\mathcal{M}}(M)$ (see Definition 46), and we see that ${\mathcal{P}}_{\cong }(M)\prec {\mathcal{P}}_{\mathcal{M}}(M)$. In the case of an action groupoid of a proper Lie group action, it also makes sense to compare these partitions with the ones by orbit types and by local types. It is easy to see that

$$\begin{array}{c}\hfill {\mathcal{P}}_{\cong }(M)\prec {\mathcal{P}}_{\mathcal{M}}(M)\prec {\mathcal{P}}_{\approx }(M),\end{array}$$

and Example 17 can be used to check that these comparisons are strict. There is no such relation comparing ${\mathcal{P}}_{\mathcal{M}}(M)$ and ${\mathcal{P}}_{\sim }(M)$ in general: for the ${\mathbb{Z}}_2\times {\mathbb{Z}}_2$—action of Example 17, the Morita types of [1 : 0 : 1] and [1 : 1 : 0] are the same, while their orbit types are different. On the other hand, all fixed points for the $S^1$—action of Example 17 have the same orbit type, but their Morita types are different.

Nonetheless, as soon as we pass to connected components, Morita types induce the same stratification as the other partitions.

Proposition 22

Let $\mathcal{G}$ be the action groupoid associated to a proper Lie group action. The partition by Morita types on M induces, after passing to connected components, the canonical stratification associated with the action.

Proof

The situation here is completely analogous to the comparison between ${\mathcal{P}}_{\sim }(M)$ and ${\mathcal{P}}_{\cong }(M)$: apply Lemma 6 and use the normal form given by the Tube theorem (Theorem 1) to compare ${\mathcal{P}}_{\mathcal{M}}(M)$ with ${\mathcal{P}}_{\approx }(M)$. Looking at the normal form means we consider the associated bundle $G{\times }_{K}V$, where V is a representation V of a compact subgroup $K\subset G$. We have to look at the points $v\in V$ with the property that $K_v$ is conjugate to K, (for $\approx$), or with the property that $K_v$ is isomorphic to K (for ${\sim }_{\mathcal{M}}$), and additionally that the normal representation of $K_v$ on ${\mathcal{N}}_v$ is isomorphic to the representation of K on V in a compatible way with the isomorphisms of $K_v$ and K; once more, the first condition reduces to the condition $K_v=K$ because of Lemma 9. The conditions on the compatibility of the isomorphism of the representation become the same in both cases—compatibility with the identity map of K. $\square$

The following result relates the Morita types for a proper Lie groupoid and the Morita types for the action groupoids given by the local model.

Lemma 12

(Reduction to Morita types on a slice) Let $\mathcal{G}\rightrightarrows M$ be a proper Lie groupoid and let $x\in M$. Then there are invariant open sets U around x in M and W around 0 in ${\mathcal{N}}_x$ (which we identify with a slice at x) such that the intersection of the Morita types for $\mathcal{G}$ with U are given by the saturation of the Morita types for the linear action of ${\mathcal{G}}_x$ on W.

Proof

By the Linearization theorem for proper groupoids (Theorem 2), there are invariant open subsets U around ${\mathcal{O}}_x$ in M and W around 0 in ${\mathcal{N}}_x$ such that ${\mathcal{G}}_U$ is Morita equivalent to the action groupoid ${\mathcal{G}}_x⋉W$. We identify W with a slice S at x in M. By this Morita equivalence, the Morita types in U coincide with the saturation of the Morita types for the isotropy action of ${\mathcal{G}}_x$ on the slice S, and consequently correspond to the Morita types for the linear action of ${\mathcal{G}}_x$ on W. $\square$

Using the notation from the previous lemma, let F be the orthogonal complement to the fixed point set $W^{{\mathcal{G}}_x}$ with respect to an invariant inner product, as in [25]. The isomorphism

$$\begin{array}{c}\hfill W^{{\mathcal{G}}_x}\times F\to W,(w,f)\mapsto w+f\end{array}$$

is equivariant. There is also an equivariant diffeomorphism

$$\begin{array}{c}\hfill \mathit{\varphi }:{\mathbb{R}}_{+}\times \mathit{\Sigma }\to F\backslash \{0\},\end{array}$$

where $\mathit{\Sigma }$ denotes the unit sphere in F, with respect to the inner product used above; ${\mathcal{G}}_x$ acts on ${\mathbb{R}}_{+}\times \mathit{\Sigma }$ by $g(r,p)=(r,gp)$.

Lemma 13

Using the notation introduced above and identifying W with a slice at x, the intersection of the Morita type of x with U is the $\mathcal{G}$-saturation of $W^{{\mathcal{G}}_x}$. Each other Morita type is given by the $\mathcal{G}$-saturation of

$$\begin{array}{c}\hfill W^{{\mathcal{G}}_x}+\mathit{\varphi }({\mathbb{R}}_{+}\times T)\subset W,\end{array}$$

where T is a Morita type for the action of ${\mathcal{G}}_x$ on $\mathit{\Sigma }$.

Proof

The Morita type of the point x (which is identified with $0\in W$) for the action of ${\mathcal{G}}_x$ on W is given by $W_{(x)}=W^{{\mathcal{G}}_x}$. To see this, note that every point of $W_{(x)}$ has an isotropy group isomorphic to ${\mathcal{G}}_x$, hence equal to ${\mathcal{G}}_x$ by Lemma 9, so that $W_{(x)}\subset W^{{\mathcal{G}}_x}$. The converse inclusion can be deduced from the fact that all points of $W^{{\mathcal{G}}_x}$ have the same orbit type, hence the same Morita type. We can assume that this is the case since for a small enough open containing 0, the members of ${\mathcal{P}}_{\sim }(W)$ and ${\mathcal{P}}_{\mathcal{M}}(W)$ containing 0 coincide. The first statement of the lemma follows by applying Lemma 12.

The second part of the statement is obtained as a consequence of Lemma 12 and of the fact that the isomorphism $W^{{\mathcal{G}}_x}\times F\to W$ and the diffeomorphism $\mathit{\varphi }:{\mathbb{R}}_{+}\times \mathit{\Sigma }\to F\backslash \{0\}$ are equivariant. $\square$

Remark 17

(Morita types on a neighbourhood of a point) When we are only interested in how Morita types look like in a small neighbourhood of a point x in the base, we can use the local model for $\mathcal{G}$ around x given by Proposition 5. This local model is the product of a pair groupoid $O\times O\rightrightarrows O$ with an action groupoid ${\mathcal{G}}_x⋉W\rightrightarrows W$, where W is an invariant ball centred at 0 in ${\mathcal{N}}_x$, on which the compact group ${\mathcal{G}}_x$ acts linearly. So we see that the intersection of each Morita type in M with the neighbourhood $O\times W$ of x is of the form $O\times T$ where T is a Morita type in W for the action groupoid ${\mathcal{G}}_x⋉W\rightrightarrows W$.

The canonical (Morita-type) stratifications

Proposition 23

Let $\mathcal{G}\rightrightarrows M$ be a proper Lie groupoid with only one Morita type. Then, the orbit space X is a smooth manifold and the canonical projection $\mathit{\pi }:M\to X$ is a submersion, whose fibres are the orbits.

Proof

We already know from Proposition 13 that $(X,C^{\infty }(X))$ is a differentiable space, so in order to show that it is a smooth manifold it is enough to show that every point $\mathcal{O}\in X$ has a neighbourhood U such that $(U,C^{\infty }(U))$ is a smooth manifold. Consider $\mathcal{O}\in X$ and $x\in M$ such that $\mathit{\pi }(x)=\mathcal{O}$. We have seen in the proof of Proposition 13 that $\mathcal{O}$ has a neighbourhood U in X such that

$$\begin{array}{c}\hfill (U,C^{\infty }(U))\cong (W/{\mathcal{G}}_x,C^{\infty }{(W)}^{{\mathcal{G}}_x}),\end{array}$$

where W is an open in ${\mathcal{N}}_x$ containing the origin, which is invariant for the isotropy representation of ${\mathcal{G}}_x$ on ${\mathcal{N}}_x$. To avoid confusion let us use the notation $H:={\mathcal{G}}_x$. By Morita equivalence, since $\mathcal{G}$ only has one Morita type, the same holds for ${\mathcal{G}}_x⋉W$. This implies that for every $v\in W$, the isotropy group $H_v$ is isomorphic to H, hence $H_v=H$, by Lemma 9. This means that H acts trivially on W and so

$$\begin{array}{c}\hfill (U,C^{\infty }(U))\cong (W/{\mathcal{G}}_x,C^{\infty }{(W)}^{{\mathcal{G}}_x})=(W,C^{\infty }(W))\end{array}$$

is a smooth manifold, and so is X.

To check that $\mathit{\pi }$ is a submersion, as this is a local property, we can use a neighbourhood $V\subset P_x{\times }_{{\mathcal{G}}_x}W$ of x in the local model. Since ${\mathcal{G}}_x$ acts trivially on W then $P_x{\times }_{{\mathcal{G}}_x}{\mathcal{N}}_x=\mathcal{O}\times W$. The restriction of the projection $\mathit{\pi }$ to V is then given by $\mathit{\pi }(y,v)=v$; hence, $\mathit{\pi }$ is a submersion. $\square$

We denote the restriction of $\mathcal{G}$ to a Morita type $M_{(\mathit{\alpha })}$ by ${\mathcal{G}}_{(\mathit{\alpha })}:=s^{-1}(M_{(\mathit{\alpha })})$. It is clear that ${\mathcal{G}}_{(\mathit{\alpha })}$ is a groupoid over $M_{(\mathit{\alpha })}$. Recall that we denote its orbit space by $X_{(\mathit{\alpha })}$. The next result ensures smoothness of all these objects.

Proposition 24

The Morita type $M_{(\mathit{\alpha })}$ is a smooth submanifold of M, the groupoid ${\mathcal{G}}_{(\mathit{\alpha })}\rightrightarrows M_{(\mathit{\alpha })}$ is a Lie groupoid, and the orbit space $X_{(\mathit{\alpha })}$ is a smooth manifold.

Proof

Let $x\in M_{(\mathit{\alpha })}$ and let $g\in {\mathcal{G}}_{(\mathit{\alpha })}$. By the Linearization theorem (Theorem 2), there are opens U around ${\mathcal{O}}_x$ in M and V around ${\mathcal{O}}_x$ in $\mathcal{N}{\mathcal{O}}_x$ such that ${\mathcal{G}}_U\cong \mathcal{N}{({\mathcal{G}}_{{\mathcal{O}}_x})}_V$ (note that ${\mathcal{G}}_U$ is an open in $\mathcal{G}$ containing g).

The idea of the proof is the following: all the conditions we need to verify are local—that $M_{(\mathit{\alpha })}$ and ${\mathcal{G}}_{(\mathit{\alpha })}$ are submanifolds of M and $\mathcal{G}$, that structure maps restrict to smooth maps and that $s,t:{\mathcal{G}}_{(\mathit{\alpha })}\to M_{(\mathit{\alpha })}$ are submersions. This means that it is enough to check them on the opens V and $\mathcal{N}{({\mathcal{G}}_{{\mathcal{O}}_x})}_V$, slightly abusing notation by thinking of them as opens around x and g. Checking that the multiplication restricts to a smooth map is done in an analogous way as for the other maps, but in a neighbourhood of a composable pair, in the local model.

The situation becomes simple in the linear local model: indeed, $U\cap M_{(\mathit{\alpha })}$ corresponds to $V\cap {(\mathcal{N}{\mathcal{O}}_x)}_{(\mathit{\alpha })}$; to check that this is a submanifold of $\mathcal{N}{\mathcal{O}}_x$ we might as well substitute V by its saturation $\tilde{V}$. Using the bundle description $\tilde{V}\cap N({\mathcal{G}}_{{\mathcal{O}}_x})\cong P_x{\times }_{{\mathcal{G}}_x}W$ and Lemma 13, we have that $\tilde{V}\cap {(\mathcal{N}{\mathcal{O}}_x)}_{(\mathit{\alpha })}$ is equal to the saturation of $W^{{\mathcal{G}}_x}$ inside $P_x{\times }_{{\mathcal{G}}_x}W$ and so it is a submanifold, diffeomorphic to ${\mathcal{O}}_x\times W^{{\mathcal{G}}_x}$. Its dimension is constant along $M_{(\mathit{\alpha })}$, so $M_{(\mathit{\alpha })}$ is a submanifold of M.

Moreover, ${\mathcal{G}}_{(\mathit{\alpha })}\cap {\mathcal{G}}_U$ corresponds to ${(N{({\mathcal{G}}_{{\mathcal{O}}_x})}_V)}_{(\mathit{\alpha })}$; for our purposes (local verifications) we can substitute V by $\tilde{V}$, since ${(N{({\mathcal{G}}_{{\mathcal{O}}_x})}_V)}_{(\mathit{\alpha })}$ is a neighbourhood of g inside of ${(N{({\mathcal{G}}_{{\mathcal{O}}_x})}_{\tilde{V}})}_{(\mathit{\alpha })}$. Using the description

$$\begin{array}{c}\hfill N({\mathcal{G}}_{{\mathcal{O}}_x})\cong (P_x\times P_x){\times }_{{\mathcal{G}}_x}{\mathcal{N}}_x,\end{array}$$

we are interested in the restriction of $(P_x\times P_x){\times }_{{\mathcal{G}}_x}W$ to

$$\begin{array}{c}\hfill \tilde{V}\cap {(N{\mathcal{O}}_x)}_{(\mathit{\alpha })}\cong {\mathcal{O}}_x\times W^{{\mathcal{G}}_x},\end{array}$$

which is exactly $Gauge(P_x)\times W^{{\mathcal{G}}_x}\rightrightarrows {\mathcal{O}}_x\times W^{{\mathcal{G}}_x}$—a Lie subgroupoid of $N({\mathcal{G}}_{{\mathcal{O}}_x})$. Therefore, we conclude that on a neighbourhood of g, ${\mathcal{G}}_{(\mathit{\alpha })}$ is a smooth submanifold of $\mathcal{G}$, that the restriction of all the structure maps of $\mathcal{G}$ (except possibly the multiplication) to it are smooth, and that the restrictions of the source and target are submersions.

One proceeds in a completely analogous way to check that the restriction of the multiplication is smooth: one only needs to check it a neighbourhood of a composable pair $(g,h)\in {\mathcal{G}}_{(\mathit{\alpha })}^{(2)}$; it is enough to work in the local model, where such a neighbourhood can be constructed starting from $N{({\mathcal{G}}_{{\mathcal{O}}_x})}_V\times N{({\mathcal{G}}_{{\mathcal{O}}_x})}_V$, since $N{({\mathcal{G}}_{{\mathcal{O}}_x})}_V$ is a neighbourhood of both g and h, and then the restriction of the multiplication coincides with the multiplication of $Gauge(P_x)\times W^{{\mathcal{G}}_x}$.

This proves that ${\mathcal{G}}_{(\mathit{\alpha })}\rightrightarrows M_{(\mathit{\alpha })}$ is a Lie groupoid and therefore Proposition 23 tells us that $X_{(\mathit{\alpha })}$ is a smooth manifold. $\square$

Theorem 14

(Main Theorem 2) Let $\mathcal{G}\rightrightarrows M$ be a proper Lie groupoid. Then the partitions of M and of $X=M/\mathcal{G}$ by connected components of Morita types are stratifications.

Given a Morita equivalence between two Lie groupoids $\mathcal{G}$ and $\mathcal{H}$, the induced homeomorphism at the level of orbit spaces preserves the canonical stratification.

Proof

Using the local model for a groupoid around a point x in the base, we have seen in Remark 17 how to index Morita types in an open around x by the Morita types for the action groupoid associated with the action of ${\mathcal{G}}_x$ on the linear slice W. In such a case, we have seen in Proposition 22 that the partition by connected components of Morita types coincides with the canonical stratification ${\mathcal{S}}_{{\mathcal{G}}_x}(W)$, which is locally finite. We have also seen in Proposition 24 that the elements of the partitions by Morita types on M and X are smooth manifolds, with the subspace topology.

Let us check the condition of frontier. Let $T_1$ and $T_2$ be connected components of Morita types $M_{(\mathit{\alpha })}$ and $M_{(\mathit{\beta })}$, respectively, and suppose that $\overline{T_1}\cap T_2\ne \mathrm{\varnothing }$.

First of all, let us start by checking that the condition of frontier for $T_1$ and $T_2$ holds on a neighbourhood U of any point $x\in \overline{T_1}\cap T_2$, i.e., that $T_2\cap U\subset \overline{T_1}\cap U$. For this, we use the local model of $\mathcal{G}$ around the point x, as in Proposition 5. As explained in Remark 17, the Morita types in such a neighbourhood of x are identified with the product of an open ball O in ${\mathcal{O}}_x$ with the Morita types for the action groupoid ${\mathcal{G}}_x⋉W$, where W is an invariant open ball in ${\mathcal{N}}_x$; similarly, passing to connected components, $T_i\cap U_0$ is given by $O\times (T_i\cap W)$, for $i=1,2$. So it is enough to check that $y\in \overline{T_1}$ for all points $y\in W\cap T_2$. We conclude that this holds from the fact that the partition by connected components of Morita types for an action groupoid on the slice S induces the canonical stratification on S associated with the action of ${\mathcal{G}}_x$.

Let y be any other point in $T_2$ and consider any continuous path $\mathit{\gamma }$ from x to y in $T_2$. We can cover the image of $\mathit{\gamma }$ by finitely many open subsets $U_i$ of M, centred at points $p_i$ along $\mathit{\gamma }$, such that on each of them, the frontier condition for $T_1$ and $T_2$ holds, because of the same considerations made above for x. Hence $y\in \overline{T_1}$ and so $T_2\subset \overline{T_1}$. The continuity of $\mathit{\pi }$ ensures that the condition of frontier also holds on the orbit space.

The statement on Morita invariance follows from the fact that, by definition, the Morita type of $\mathcal{O}\in X$ only depends on Morita invariant information. $\square$

As mentioned before, these stratifications are called the canonical stratifications of M and X and are denoted by ${\mathcal{S}}_{\mathcal{G}}(M)$ and $\mathcal{S}(X)$.

Principal and regular types

In this section, we discuss principal and regular orbits and give a proof of the Principal type theorem for proper Lie groupoids (Theorem 15), generalizing the corresponding result for proper Lie group actions.

In analogy with the case of proper actions, we denote by $M^{\mathrm{princ}}$ the ${\mathcal{S}}_{\mathcal{G}}(M)$-regular part of M and orbits inside $M^{\mathrm{princ}}$ are called principal orbits. Similarly, we denote by $X^{\mathrm{princ}}\subset X$ the $\mathcal{S}(X)$-regular part of X. As before, we get a criteria for when a point $x\in M$ lies in $M^{\mathrm{princ}}$—combining Lemma 7 and the local model of $\mathcal{G}$ around x, given as in Proposition 5 by $(O\times O)\times ({\mathcal{G}}_x⋉W)\rightrightarrows O\times W$, we arrive at the condition that $W^{{\mathcal{G}}_x}$ is open in W. This leads to:

Lemma 14

For a point $x\in M$, the following are equivalent:

1. $x\in M^{\mathrm{princ}}$

2. the action of ${\mathcal{G}}_x$ on the normal space to the orbit is trivial.

However, one difference appears: while for a proper action, all orbits close enough to a principal orbit are diffeomorphic to it, for a proper groupoid this might not be the case. In general, this property holds for the principal orbits of a proper groupoid if and only if the restriction of the groupoid to $M^{\mathrm{princ}}$ is source-locally trivial, which is the case for action groupoids. For example, consider the Lie groupoid associated with a submersion between connected manifolds. It is proper and all orbits are principal, so the similar statement as for proper actions holds if and only if all fibres of the submersion are diffeomorphic.

At this stage, we know that $M^{\mathrm{princ}}$ is open, dense, and a union of Morita types (hence invariant). The Principal type theorem tells us a bit more about its geometry, but before we get into it and as preparation for its proof, let us look at an infinitesimal version of the concepts of canonical stratification and principal orbits.

The infinitesimal canonical stratification on M given by a proper groupoid is constructed exactly like the stratification ${\mathcal{S}}_{\mathcal{G}}(M)$, substituting everywhere the isotropy group ${\mathcal{G}}_x$ and isotropy action on ${\mathcal{N}}_x$, at a point x, by the corresponding isotropy Lie algebra ${\mathfrak{g}}_x$ and induced Lie algebra action of ${\mathfrak{g}}_x$ on ${\mathcal{N}}_x$. The corresponding stratification is denoted by ${\mathcal{S}}_{\mathcal{G}}^{\inf }(M)$.

Remark 18

At the level of the orbit space, we do not have in general an infinitesimal canonical stratification, as the Morita types may fail to be manifolds. They are, however, naturally endowed with an orbifold structure.

Denote by $\mathcal{E}(\mathcal{G})$ be the foliation groupoid associated with a regular Lie groupoid $\mathcal{G}$ over M by dividing out the action of the connected components ${\mathcal{G}}_x^0$ of the isotropy groups ${\mathcal{G}}_x$ (for the smoothness of $\mathcal{E}(\mathcal{G})$ see Proposition 2.5 in [43]).

The groupoids $\mathcal{G}$ and $\mathcal{E}(\mathcal{G})$ define the same foliation on M. If $\mathcal{G}$ is proper, then $\mathcal{E}(\mathcal{G})$ is proper as well [43]. Therefore, $\mathcal{E}(\mathcal{G})$ defines an orbifold structure on the quotient $M/\mathcal{G}$. Keep in mind that when seen as differentiable stacks, $M//\mathcal{E}(\mathcal{G})$ is different from $M//\mathcal{G}$ because we lost isotropy information when passing from $\mathcal{G}$ to $\mathcal{E}(\mathcal{G})$ (unless $\mathcal{G}$ was a foliation groupoid to begin with).

Let $M_{(\mathit{\alpha })}^{\inf }$ be an infinitesimal Morita type and let ${\mathcal{G}}_{(\mathit{\alpha })}^{\inf }$ denote the restriction of $\mathcal{G}$ to it. Since ${\mathcal{G}}_{(\mathit{\alpha })}^{\inf }$ is proper and regular, $\mathcal{E}({\mathcal{G}}_{(\mathit{\alpha })}^{\inf })$ defines an orbifold structure on $X_{(\mathit{\alpha })}^{\inf }=M_{(\mathit{\alpha })}^{\inf }/{\mathcal{G}}_{(\mathit{\alpha })}^{\inf }$.

The constructions and results are very reminiscent of the ones for proper actions: we denote by $M^{\mathrm{reg}}$ and $X^{\mathrm{reg}}$ the ${\mathcal{S}}_{\mathcal{G}}^{\inf }(M)$-regular part of M and the image of its projection to X, respectively; orbits in $M^{\mathrm{reg}}$ are called regular and the following result characterizes them:

Lemma 15

For any point $x\in M$, the following are equivalent:

1. $x\in M^{\mathrm{reg}}$;

2. the infinitesimal action of ${\mathfrak{g}}_x$ on the normal space to the orbit is trivial;

3. the action of $G_x^0$ on the normal space to the orbit is trivial;

4. all the orbits through points close to x have the same dimension.

The proof of this lemma is straightforward by using Lemma 7 and the local model of Proposition 5 for the Lie groupoid $\mathcal{G}$ around x.

The main difference with the case of proper actions is that it is no longer true that all the orbits ${\mathcal{O}}_y$ through points y close to a regular point x are coverings of ${\mathcal{O}}_x$. It is still true in the case of source-locally trivial groupoids.

From the definitions, it is immediate that $M^{\mathrm{princ}}\subset M^{\mathrm{reg}}$ and so also that $X^{\mathrm{princ}}\subset X^{\mathrm{reg}}$. It is also clear that like for $M^{\mathrm{princ}}$, it holds that $M^{\mathrm{reg}}$ is open, dense and consists of a union of Morita types. We look into connectedness properties for $M^{\mathrm{princ}}$ and $M^{\mathrm{reg}}$. With Lemma 8 in mind, we start by looking at codimension 1 Morita types.

Lemma 16

(Codimension 1 Morita types)

Let $\mathcal{G}\rightrightarrows M$ be a proper Lie groupoid and $x\in M$. Suppose that the codimension of $M_{(x)}$ in M is 1. Then

1. All orbits in $M_{(x)}$ are regular, i.e., $M_{(x)}\subset M^{\mathrm{reg}}$;

2. F is 1-dimensional, where F is an orthogonal complement to ${({\mathcal{N}}_x)}^{{\mathcal{G}}_x}$ in ${\mathcal{N}}_x$, for any ${\mathcal{G}}_x$-invariant inner product on ${\mathcal{N}}_x$, as in Lemma 13; ${\mathcal{G}}_x$ acts non-trivially on F as $O(1,\mathbb{R})={\mathbb{Z}}_2$.

3. The orbits near ${\mathcal{O}}_x$ which are not in $M_{(x)}$ are principal.

4. There is a neighbourhood U of x in M such that the intersection of each orbit which is not in $M_{(x)}$ with U is a twofold covering of ${\mathcal{O}}_x\cap U$.

Proof

We can use Lemma 12 to restrict our attention to a slice at x. We have that $\dim M_{(x)}=\dim {\mathcal{O}}_x+\dim {\mathcal{N}}_x^{{\mathcal{G}}_x}$. In the case that the codimension of $M_{(x)}$ is 1, F must be 1-dimensional. Now ${\mathcal{G}}_x$ acts non-trivially on F by orthogonal transformations, so it must act as multiplication by $\{+1,-1\}$. This proves part 2 of the lemma.

Since the orbits near ${\mathcal{O}}_x$ are equal to the saturation of their intersection of a slice, which can be identified with ${\mathcal{N}}_x$, then the dimension of the orbits is constant near ${\mathcal{O}}_x$, proving part 1 of the lemma.

For part 3, note that the orbits near ${\mathcal{O}}_x$ which are not in $M_{(x)}$ are the saturation of elements $v\in F\backslash \{0\}$. All such points have the same Morita type, so they all belong to the same open Morita type and therefore to $M^{\mathrm{princ}}$. Part 4 is then an easy consequence of the local model for $\mathcal{G}$ around x (Proposition 5). $\square$

Corollary 3

Let $\mathcal{G}$ be a Lie groupoid over M. Then

1. ${\mathcal{S}}_{\mathcal{G}}^{\inf }(M)$ does not contain codimension 1 strata.

2. $M^{\mathrm{reg}}$ is not only dense and open in M, but also connected.

3. hence ${\mathcal{S}}_G^{\inf }(M)$ has one and only one maximal stratum.

Proof

Part 1 is a reformulation of part 1 of Lemma 16; part 2 follows from part 1 and Lemma 8; part 3 is just a reformulation of part 2. $\square$

Unlike the stratification ${\mathcal{S}}_{\mathcal{G}}^{\inf }(M)$, the canonical stratification ${\mathcal{S}}_{\mathcal{G}}(M)$ can have codimension 1 strata. However, Lemma 16 also implies that on a small neighbourhood of a regular point x belonging to a codimension 1 stratum, all the orbits not contained in this stratum belong to $M^{\mathrm{princ}}$; the stratum through x then disconnects $M^{\mathrm{princ}}$ into two half-spaces, which are permuted by the isotropy action. In other words, passing to the orbit space we conclude that a neighbourhood of ${\mathcal{O}}_x$ in X looks like a neighbourhood of the boundary point ${\mathcal{O}}_x$ on a manifold with boundary.

Example 18

A simple illustration of this behaviour is the following. Consider an action of the circle on the Möbius band (and its associated action groupoid), so that all orbits are regular and only the central orbit is not principal—its Morita type consists of only itself and has codimension 1. We are then in the conditions of Lemma 16 and it is clear that the orbit space is a manifold with boundary: a closed half-line.

Theorem 15

(Principal Morita type) Let $\mathcal{G}\rightrightarrows M$ be a proper Lie groupoid. Then $X^{\mathrm{princ}}$ is not only open and dense but also connected; hence, $\mathcal{S}(X)$ has a single maximal stratum.

Proof

Let x and y be points on two principal orbits and consider a path $\mathit{\gamma }$ in M connecting them. Since the image of $\mathit{\gamma }$ is compact, by local finiteness of the stratification, it meets finitely many strata. As a consequence, we can use a version the Transversality homotopy theorem [29, p. 72] to obtain a curve ${\mathit{\gamma }}^{\prime }$, between x and y, which is transverse to all strata. This means that it misses all strata of codimension 2 or higher, and it meets finitely many strata of codimension 1 transversally.

If p is a point in the intersection of a codimension 1 stratum with the image of ${\mathit{\gamma }}^{\prime }$, we know by Lemma 16 that a neighbourhood U of ${\mathcal{O}}_p$ in X looks like a neighbourhood of a boundary point in a closed half-space, in which ${\mathcal{O}}_p$ is a boundary point (and all orbits not on the boundary are principal). Since ${\mathit{\gamma }}^{\prime }$ is transverse to the stratum of p, we can assume that the part of the image of $\mathit{\pi }\circ {\mathit{\gamma }}^{\prime }$ that lies in U only touches the boundary at ${\mathcal{O}}_p$, so we can homotope $\mathit{\pi }\circ \mathit{\gamma }$ so that its image in U misses the boundary completely; hence, it is contained in $X^{\mathrm{princ}}$. Doing this to the curve $\mathit{\pi }\circ {\mathit{\gamma }}^{\prime }$ in X finitely many times, we obtain a new curve connecting ${\mathcal{O}}_x$ to ${\mathcal{O}}_y$, completely contained in $X^{\text{princ}}$. $\square$

In the case of the action groupoid associated with a proper Lie group action, Theorem 15 becomes the classical Principal orbit type theorem mentioned in Sect. 4.2. With some mild assumptions, we obtain a consequence about $M^{\mathrm{princ}}$ as well:

Corollary 4

If $\mathcal{G}\rightrightarrows M$ is a proper Lie groupoid with connected orbits (for example, if it has connected s-fibres), then $M^{\mathrm{princ}}$ is connected hence ${\mathcal{S}}_{\mathcal{G}}(M)$ has a single maximal stratum.

Orbispaces as differentiable stratified spaces

When a space X admits both a stratification and a smooth structure, it is natural to ask how the strata fit together with respect to the smooth structure. For example, if X is a smooth manifold, it is natural to require that the strata are submanifolds.

In general, one way to proceed would be to think of X as a stratified space and then give it some smooth structure in a way compatible with the stratification, for example via an appropriate atlas. This approach is studied in detail in [51]. Alternatively, one could think of X as if it was a “smooth” space (for example by giving it one of the structures described in Sect. 3) and then consider a stratification on X that respects the smooth structure. We follow this second approach.

Definition 48

A differentiable stratified space consists of a differentiable space $(X,{\mathcal{O}}_X)$ together with a stratification $\mathcal{S}$ on X such that the inclusion of each stratum is an embedding of differentiable spaces.

As remarked in [53], the notion of a reduced differentiable stratified space is the same as that of a stratified space with smooth structure of Pflaum, defined in terms of singular charts (cf. [51, Sec. 1.3]).

For a general stratification, the only condition we have required on how the strata should fit together is the frontier condition. In the presence of smooth structure, there are several other conditions that are often imposed, the most common of them being Whitney’s conditions (A) and (B).

Definition 49

Let M be a smooth manifold and let $\mathcal{S}$ be a stratification on M. We say that a pair of strata (R, S) satisfies the Whitney condition (A) if the following condition holds:

• (A)Let $(x_n)$ be any sequence of points in R such that $x_n$ converges to a point $x\in S$ and $T_{x_n}S$ converges to $\mathit{\tau }\subset T_{x}M$ in the Grassmannian of $(\dim R)$-dimensional subspaces of TM. Then $T_{x}S\subset \mathit{\tau }$.

Let $\mathit{\varphi }:U⟶{\mathbb{R}}^n$ be a local chart around $x\in S$. We say that (S, T) satisfies the Whitney condition (B) at x with respect to the chart $(U,\mathit{\varphi })$ if satisfies the following condition:

• (B)
  Let $(x_n)$ be a sequence as in (A), with $x_n\in U\cap R$ and let $(y_n)$ be a sequence of points of $U\cap S$, converging to x, such that the sequence of lines

  $$\begin{array}{c}\hfill \overline{\mathit{\varphi }(x_n)\mathit{\varphi }(y_n)}\end{array}$$

  converges in projective space to a line $\ell$. Then ${(d_x\mathit{\varphi })}^{-1}(\ell )\subset \mathit{\tau }$.

The pair (S, T) is said to satisfy the Whitney condition (B) if the above condition holds for any point $x\in S$ and any chart around x.

Although we have used charts in the definition of Whitney condition (B), the condition is actually independent of the chart chosen—if (S, T) satisfy Whitney (B) with respect to a chart around x, they do so with respect to any chart as well [51, Lemma 1.4.4].

Remark 19

Note that Whitney’s conditions are local, by definition, and they also make sense for a stratification on a subspace of ${\mathbb{R}}^n$. In this way, we can make sense of when a reduced differentiable stratified space X satisfies Whitney’s conditions: by Proposition 13 such a space is always covered by open subspaces $(U_i,{\mathcal{O}}_{X|U_i})$ isomorphic to $(Z,{\mathcal{C}}_Z^{\infty })$, for some closed subset Z of ${\mathbb{R}}^n$. The subspace $Z_i$ has a decomposition ${\mathcal{P}}_i$ induced by the decomposition on $U_i$ (By restricting to an open, we might not have a stratification, but only a decomposition; that is not a problem since all that we want is to check that Whitney’s conditions hold for the pieces of the decomposition on $Z_i$ corresponding to the strata on X).

Definition 50

Let $(X,{\mathcal{O}}_X,\mathcal{S})$ be a reduced differentiable stratified space. We say that $\mathcal{S}$ is a Whitney stratification if X is covered by opens $U_i$, such that, in the notation of Remark 19 above, $(U_i,{\mathcal{O}}_{X|U_i})$ is isomorphic to $(Z,{\mathcal{C}}_{Z_i}^{\infty })$, and all the induced stratifications ${\mathcal{S}}_i$ satisfy Whitney’s conditions (A) and (B).

The idea is that Whitney’s conditions are local conditions about how the strata fit together that permit drawing important global information about the stratification. Let us mention one particularly important example of this idea: stratifications satisfying Whitney’s conditions are locally trivial (see Proposition 25 below).

Definition 51

A morphism of stratified spaces is a continuous map $f:X⟶Y$ between stratified spaces with the property that for every stratum S of X there is a stratum $R_S$ of Y such that $f(S)\subset Y$ and the restriction $f_{|S}:S⟶R_S$ is smooth.

Let $X_1$ and $X_2$ be two topological spaces, with stratifications ${\mathcal{S}}_i$ on $X_i$, $i=1,2$. Then the products of the form $S\times R$ with $S\in {\mathcal{S}}_1$ and $R\in {\mathcal{S}}_2$ form a stratification on $X_1\times X_2$.

Definition 52

A stratification $\mathcal{S}$ on a space S is called topologically locally trivial if for every $x\in X$ there is an open neighbourhood U of x in X, a stratification ${\mathcal{S}}_F$ on a space F, a point $0\in F$ and an isomorphism of stratified spaces

$$\begin{array}{c}\hfill \mathit{\varphi }:(S\cap U)\times F⟶U,\end{array}$$

where S is the stratum of $\mathcal{S}$ containing x, such that the stratum of ${\mathcal{S}}_F$ containing 0 is simply $\{0\}$, and such that $\mathit{\varphi }(y,0)=y$ for any $y\in S\cap U$. In this case, F is called the typical fibre over x. When F is a cone, $F=CL$, we say that L is the link of x.

If L is locally trivial with cones as typical fibres and that holds again for the links in the points of L, and so on, we say that $(X,\mathcal{S})$ is a cone space.

Proposition 25

(Thom-Mather [40, 62]) Any Whitney stratified reduced differentiable space is locally trivial, with cones as typical fibres.

Orbispaces as differentiable stratified spaces

We now focus on the differentiable aspects of the canonical stratifications associated to a proper groupoid.

Proposition 26

(Main Conclusion) Let $\mathcal{G}\rightrightarrows M$ be a proper Lie groupoid. Then M and the orbit space $X=M/\mathcal{G}$, together with the canonical stratifications, are differentiable stratified spaces. Moreover, the canonical stratifications of M and X are Whitney stratifications.

Any Morita equivalence between two proper Lie groupoids induces an isomorphism of differentiable stratified spaces between their orbit spaces.

Proof

We have seen before that each connected component of a Morita type is a submanifold of M so, together with its canonical stratification, M is a differentiable stratified space. Moreover, using the local model of $\mathcal{G}$ around a point in M, as in Remark 17, we see that since the stratification of the action of ${\mathcal{G}}_x$ on ${\mathcal{N}}_x$ is a Whitney stratification, the same holds for the canonical stratification on M.

Now let us focus on the orbit space. We already know that the strata are locally closed subspaces of X. It is a local problem to verify that they are embedded in X as differentiable spaces and satisfy Whitney’s conditions. Let $x\in X$ and let U be a neighbourhood of x in X for which the intersection with the canonical stratification coincides with the canonical stratification on U associated with a compact Lie group representation (again, by the local description of Morita types as in Remark 17).

The statement on the Whitney conditions for the orbit space now follows from a result of Bierstone [8], which states that the orbit space of a representation of a compact group has a Whitney stratification (which coincides with the canonical stratification).

Morita invariance of the differentiable stratified space structure on the orbit space X follows from the Morita invariance of the smooth structure 13 and of the canonical stratification  14 on X. $\square$

Corollary 5

Let $\mathcal{G}\rightrightarrows M$ be a proper Lie groupoid. Then the canonical stratifications on M and X are locally trivial with cones as typical fibres. Moreover, M is a cone space.

Proof

The first statement is a direct consequence of Proposition 25. But actually, we already had an explicit description of this fact, by combining Lemma 13 and Remark 17. For the stratification on M, we find that the typical fibre over x is the orthogonal complement F to ${\mathcal{N}}_x^{{\mathcal{G}}_x}$ with respect to an invariant inner product for the ${\mathcal{G}}_x$-action on ${\mathcal{N}}_x$; the link of x is the unit sphere $\mathit{\Sigma }$ of F. Since the stratification on $\mathit{\Sigma }$ is the canonical stratification for the ${\mathcal{G}}_x$-action, it has the same properties, so M, with the canonical stratification, is a cone space. $\square$

With the notation of the proof of the previous corollary, on X we have that the typical fibre over the orbit ${\mathcal{O}}_x$ is $F/{\mathcal{G}}_x$ and the link of ${\mathcal{O}}_x$ is $\mathit{\Sigma }/{\mathcal{G}}_x$.

Remark 20

The proof that the canonical stratifications on M and X are Whitney stratifications, using the language of germ stratifications, appeared in [53]. The authors of loc. cit. also use the canonical stratification to prove that the orbit space of a proper groupoid can be triangulated, and a deRham theorem for the basic cohomology of a proper Lie groupoid.

Another example of a differentiable stratified space arising in the study of proper Lie groupoids is that of the inertia groupoid of a proper Lie groupoid [26, 27].

Orbispaces as stratified subcartesian spaces

We now briefly discuss stratifications on subcartesian spaces (see Sect. 3.6) coming from orbits of families of vector fields and their relevance for orbispaces.

Definition 53

Let $(S,{\mathcal{F}}_S)$ be a subcartesian space and let X be a derivation of ${\mathcal{F}}_S$. An integral curve of X through a point x of S is a curve $c:I⟶S$ such that I is an interval containing 0 and

$$\begin{array}{c}\hfill \frac{d}{d\mathit{ϵ}}f(c(\mathit{ϵ}))=X(f)(c(t))\end{array}$$

for all $f\in {\mathcal{F}}_S$ and all $\mathit{ϵ}\in I$. If the domain of c is maximal with this property, we say that c is a maximal integral curve. By convention, the map $c:\{0\}\to S,0\mapsto x$ is an integral curve of any derivation.

Theorem 16

(Theorem 3.2.1 in [60]) Let $(S,{\mathcal{F}}_S)$ be a subcartesian space and let X be a derivation of ${\mathcal{F}}_S$. Then for any x in S, there is a unique maximal integral curve c of X through x such that $c(0)=x$.

Although derivations of ${\mathcal{F}}_S$ always admit maximal integral curves, they may fail to induce local one-parameter groups of local diffeomorphisms. The ones that do are called vector fields:

Definition 54

Let $(S,{\mathcal{F}}_S)$ be a subcartesian space. A vector field on S is a derivation X of ${\mathcal{F}}_S$ such that for every $x\in S$, there exists a neighbourhood U of x in S and $\mathit{ϵ}>0$ such that for all $t\in (-\mathit{ϵ},\mathit{ϵ})$, the map $exp(tX)$ is defined on U and its restriction to U is a diffeomorphism of U with an open subset of S.

Definition 55

Let $(S,{\mathcal{F}}_S)$ be a subcartesian space, let $\mathfrak{F}$ be a family of vector fields on S and let $x\in S$. The orbit of the family $\mathfrak{F}$ through x is the set of all points $y\in S$ of the form

$$\begin{array}{c}\hfill y=exp(t_n{X}_n)\circ \cdots \circ exp(t_1{X}_1)(x),\end{array}$$

for some $t_1,\dots ,t_n\in \mathbb{R}$ and some $X_1,\dots ,X_n\in \mathfrak{F}$.

Theorem 17

(Theorem 3.4.5 in [59]) Any orbit O of a family $\mathfrak{F}$ of vector fields on a subcartesian space S is a smooth manifold. Moreover, in the topology of O given by the manifold structure, the Sikorski structure induced on O by the inclusion on S coincides with the manifold structure.

Proposition 27

(Proposition 4.1.2 in [60]) The partition of a subcartesian space S by orbits of the family of all vector fields on S satisfies the frontier condition.

Corollary 6

(Corollary 4.1.3 in [60]) The partition of a subcartesian space S by orbits of the family of all vector fields on S is a stratification if and only if the partition is locally finite and the orbits are locally closed.

An important example of a case where orbits of all vector fields do indeed define a stratification is that of orbit spaces of proper actions.

Theorem 18

(Theorem 4.3.10 in [60]) Let G be a Lie group acting properly on a manifold M. The partition of the subcartesian space M / G by orbits of the family of all vector fields on M / G is the canonical stratification $\mathcal{S}(M/G)$.

Note that this means that for the orbit space of a proper Lie group action, the canonical stratification is completely determined by the smooth structure on M / G. Since the orbit space of a proper Lie groupoid is locally diffeomorphic (as a subcartesian space) to the orbit space of a representation of a compact Lie group, we obtain the following (cf. Theorem 4.14 in [71]).

Corollary 7

Let X be the orbit space of a proper Lie groupoid. Then the canonical stratification $\mathcal{S}(X)$ coincides with the partition by the orbits of the family of all vector fields on X, seen as a subcartesian space.

In the case of a classical orbifold, i.e., one which is presented by an effective proper groupoid (cf. e.g., [45]), the following result of Watts shows that we can actually recover all the information from the smooth structure:

Theorem 19

(Main theorem in [71]) Given an effective orbifold X, an orbifold atlas for it can be constructed out of invariants of the ring of smooth functions $C^{\infty }(X)$.