A Manifold Structure for the Group of Orbifold Diffeomorphisms of a Smooth Orbifold


For a compact, smooth Cr orbifold (without boundary), we show that the topological structure of the orbifold diffeomorphism group is a Banach manifold for 1 ≤ r <∞ and a Fréchet manifold if r =∞. In each case, the local model is the separable Banach (Fréchet) space of Cr(C∞, resp.) orbisections of the tangent orbibundle. 

1 Figure or Table