The Trouvé group for spaces of test functions (Q2317536)

Let \(\mathcal{A}\) be one of the following regularity classes of mappings \(\mathbb{R}^d\to\mathbb{R}^d\): \begin{itemize} \item[--] smooth functions with globally bounded derivatives; \item[--] smooth functions with \(p\)-integrable derivatives; \item[--] rapidly decreasing Schwartz functions; \item[--] smooth functions with compact support; \item[--] global Denjoy-Carleman classes; \item[--] Sobolev-Denjoy-Carleman classes; \item[--] Gelfand-Shilov classes; \item[--] Denjoy-Carleman functions with compact support. \end{itemize} Define \(\mathrm{Diff}\,\mathcal{A}:=\{\Phi\in\mathrm{Id}+\mathcal{A}(\mathbb{R}^d,\mathbb{R}^d)\mid \inf\limits_{x\in\mathbb{R}^d}\det\mathrm{d}\Phi(x)>0\}\) and let \(\mathrm{Diff}_0\mathcal{A}\) be its connected component of the identity. The main result of the paper under review is that \(\mathcal{G}_{\mathcal{A}}\) is equal to the connected component of the identity in \(\mathrm{Diff}\,\mathcal{A}\), where \(\mathcal{G}_{\mathcal{A}}\) is the Trouvé group, consisting of the flows at a fixed time of all time dependent vectors fields of regularity \(\mathcal{A}(\mathbb{R}^d,\mathbb{R}^d)\). This implies that \(\mathcal{G}_{\mathcal{A}}\) has the structure of a regular infinite-dimensional Lie group. One also proves that the flow map of time-dependent vector fields is continuous and one makes an application to the scale of Bergman spaces on the polystrip with variable width. We must point out that this paper is well written and, among other things, we think that its main result is quite interesting from the perspective of the infinite-dimensional Lie theory.