Boundedness of certain automorphism groups of an open manifold (Q2430723): Difference between revisions

The main result of this paper is the following statement: Theorem. Let \(M\) be a manifold of class \(C^r\), \(r=1,2,\dots,\infty\), \(r\neq \dim(M)+1\), which is the interior of a compact manifold \(\overline{M}\). Let \(\partial_i\), \(i=1,2,\dots,k\), be the family of all components of the boundary of \(\overline{M}\) and \(J\subset \{1,2,\dots,k\}\). Assume that \(M\) is portable (or, more general, satisfies a certain technical property described in the paper). Then the group \(\mathcal{D}_J^r(M)\) of all \(C^r\)-diffeomorphisms, which are equal to the identity on a neighborhood of \(\cup_{i\in J}\partial_i\) and can be joined with the identity by an isotopy, is bounded, uniformly perfect and has commutator length diameter at most four.