Diffeomorphism groups of convex polytopes
arXiv:2203.09285
Abstract
Let be a finite-dimensional real vector space and be a convex polytope with non-empty interior. We turn the group of all -diffeomorphisms of into a regular Lie group.
19 pages, LaTeX. v2: minor improvements