nLab
orbifold groupoid

Idea

A groupoid presenting an orbifold (as a stack) is called an orbifold groupoid if it satisfies certain properties. Since in the literature there are different notions of orbifolds, there are different sets of properties the presenting groupoids are required to satisfy.

The most common definition requires the presenting groupoid to be étale and proper. Note that these properties can be defined not only in smooth- or topological context. See for the moment open map, the section on infinitesimal cohesion in cohesive (infinity,1)-topos, and proper geometric morphism.

Definitions

Definition

(sse (smooth stable étale) groupoid (¹)

An sse groupoid is a groupoid being

• étale

• stable?

• Lie

Definition

(ep (étale proper) groupoid )

An ep groupoid is a groupoid being

• étale

• stable?

• Lie

• proper

Since this is the most common choice of axioms a groupoid presenting an orbifold is meant to satisfy it is the default class of orbifold groupoids.

Note that this definition is redundant since properness implies stability.

Note that what ² calls ”ep-groupoid” is ”étale and proper” but not Lie in the ordinary sense: Since the underlying category is that of sc-spaces, étale becomes sc-étale and also ”proper” is understood in some modified sense.

There is further terminology applicable to orbifold groupoids:

Definition

() Let $C$ be a groupoid, let $\mid C\mid =C_0/C_1$ denote its orbit space.

$C$ is called

• nonsingular if every $C(c,c)$ is trivial

• effective / faithful if for ever $c\in C_0$ and for every $f\in C(c,c)$ and for every neighborhood $f\in V\subset C_1$ of $f$ there is an $f^{\prime }\in V$ such that $s(f^{\prime })\neg =t(f^{\prime })$

• (path)connected if $\mid C\mid$ is (path)connected.

Definition

(wnb (weighted nonsingular branched) groupoid )

A wnb (weighted nonsingular branched) groupoid is a pair $(C,\Lambda )$ where $C$ is a oriented nonsingular sse Lie groupoid and $\Lambda :\mid C{\mid }_H\to (0,\mathrm{\infty })$ is a weighting function satisfying:

For each $p\in \mid C{\mid }_H$ there is an open neighborhood $p\in N:=N(p)\subset \mid C{\mid }_H$ of $p$ and disjoint open subsets $U_1,...,U_j\subset {\pi }_H^{-1}(N)\subset C_0$ -called local branches and positive weights $m_1,...,m_j$ such that

1. (covering) ${\pi }_H^{-1}(N)=\mid U_1\mid \cup ...\cup \mid U_j\mid \subset \mid C\mid$

2. (local regularity) all projections ${\pi }_H:U_i\to \mid U_i{\mid }_H$ is a homeomorphism onto a relatively closed subset of $N$.

3. (weighting) $\Lambda (q)={\Sigma }_{i:q\in \mid U_i{\mid }_H}{m}_i$ for all $q\in N$

where $\mid C{\mid }_H$ denotes the maximal Hausdorff quotient of $\mid C\mid$ (If $C$ is proper we have $\mid C\mid =\mid C{\mid }_H$ and ${\pi }_H:C_0\to \mid C{\mid }_H$ the canonical projection. Points $p\in \mid C{\mid }_H$ having more than one inverse image are called branch points.

The tuple $(N,U_i,m_i)=(N^p,U_i^p,m_i^p)$ is called a local branching structure at $p$. $C$ is called compact if $\mid C{\mid }_H$ is.

Note that here the properness axiom is relaxed.

Relation of the axioms

Given an ep groupoid, the properness axiom implies that the orbit space of the orbifold groupoid is Hausdorff.

Properness implies stability.

References

category: Lie theory

---

1. D. McDuff, groupoids, branched manifolds and multisections ↩

2. H. Hofer, polyfolds and a general Fredholm theory ↩