Diffeomorphism groups of compact locally polyhedral manifolds

Abstract

A locally polyhedral manifold $M$ is a manifold which is locally diffeomorph to open subsets of convex polytopes. Manifolds with corners are a special case of locally polyhedral manifolds. We turn the group $\text{Diff}^{\infty}(M)$ of all smooth diffeomorphisms $f\colon M\to M$ for compact smooth $M$ into a regular Lie group.