The simplicity of certain groups of subanalytic diffeomorphisms (Q734724)

Let \(M\) be a connected real analytic manifold and \(\text{Diff}^r_{\text{sub}}(M)_0\), \(1 \leq r \leq \infty\), be the group of subanalytic \(C^r\) diffeomorphisms of \(M\) which are isotopic to the identity via a compactly supported subanalytic \(C^r\) isotopy. The author shows that \(\text{Diff}^r_{\text{sub}}(M)_0\) satisfies Epstein's axioms [\textit{D. B. A. Epstein}, Compos. Math. 22, 165--173 (1970; Zbl 0205.28201)]. This implies that the commutator subgroup of \(\text{Diff}^r_{\text{sub}}(M)_0\) is simple. Moreover, the author shows that the commutator subgroup of \(\text{Diff}^r_{\text{sub}}(M)_0\) is dense in \(\text{Diff}^r_{\text{sub}}(M)_0\). As a corollary the author shows that \(\text{Diff}^r_{\text{sub}}(M)_0\) is topologically simple. The author provides a summary of the corresponding results in the differentiable and topological category, which were obtained in the 60ies and 70ies.