Boundary values of diffeomorphisms of simple polytopes, and controllability

2024/07/07 by Glöckner, Helge, Grong, Erlend, Schmeding, Alexander
#22E65 #34H05 #52B08 #52B70 #53C17 (secondary) #58D05 (primary) #Differential Geometry (math.DG) #FOS: Mathematics #Group Theory (math.GR)

paper · doi:10.48550/arxiv.2407.05444

Abstract

We consider the Lie group of smooth diffeomorphisms Diff(M) of a simple polytope M in the euclidean space. Simple polytopes are special cases of manifolds with corners. The geometric setting allows to study in particular, the subgroup of face respecting diffeomorphisms and its Lie theoretic properties. We find a canonical Lie group structure for the quotient of the diffeomorphism by the subgroup Diff^∂,id(M) of maps that equal the identity on the boundary, turning the canonical quotient homomorphism Diff(M)→ Diff(M)/Diff^∂,id(M) into a smooth submersion. We also show that the identity component of the diffeomorphism group is generated by the exponential image, by proving general controllability results.

Related

• Smooth Lie group actions are parametrized diffeological subgroups
• Diffeomorphism groups of convex polytopes
• A Lie group structure on the group of real analytic diffeomorphisms of a compact real analytic manifold with corners
• Elementary equivalence and diffeomorphism groups of smooth manifolds
• Infinite-Dimensional Lie Groups