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

Joseph E. Borzellino, Victor Brunsden

For 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 Fre…