A manifold structure for the group of orbifold diffeomorphisms of a smooth orbifold

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/218771For a compact, smooth C^r orbifold (without boundary), we show that the topological structure of the orbifold diffeomorphism group is a Banach manifold for finite r \ge 1 and a Frechet manifold if r=infty. In each case, the local model is the separable Banach (Frechet) space of C^r (C^infty, resp.) orbisections of the tangent orbibundle.26 pages, 2 figures, final versionDifferential Geometry57S05, 22F50, 54H99 (Primary); 22E65 (Secondary)A manifold structure for the group of orbifold diffeomorphisms of a smooth orbifoldtext