Orbit projections of proper Lie groupoids as fibrations

Abstract

Let $\mathcal{G}\rightrightarrows M$ be a source locally trivial proper Lie groupoid such that each orbit is of finite type. The orbit projection $M\to M/\mathcal{G}$ is a fibration if and only if $\mathcal{G}\rightrightarrows M$ is regular.

LaTeX, 3 pages