The exponential law for spaces of test functions and diffeomorphism groups (Q904177)

For various spaces \({\mathcal A}({\mathbb R}^n,{\mathbb R}^n)\) of vector-valued smooth functions on \(n\)-space, \(\mathrm{Diff}_{\mathcal A}({\mathbb R}^n):=\{\mathrm{id}_{{\mathbb R}^n}+f: f\in{\mathcal A}({\mathbb R}^n,{\mathbb R}^n)\), \(\inf_{x\in{\mathbb R}^n}\det(\mathrm{id}_{{\mathbb R}^n}+f'(x))>0\}\) was turned into an infinite-dimensional Lie group (in the sense of convenient differential calculus) in previous work by \textit{P. W. Michor} and \textit{D. Mumford} [Ann. Global Anal. Geom. 44, No. 4, 529--540 (2013; Zbl 1364.22009)] and the authors [Ann. Global Anal. Geom. 47, No. 2, 179--222 (2015; Zbl 1316.58008)]. In the article under review, the authors establish exponential laws of the form \[ {\mathcal A}(E\times F,G)\cong {\mathcal A}(E,{\mathcal A}(F,G)) \] for various classes \({\mathcal A}\) of test functions and Mackey complete locally convex spaces \(E, F\), and \(G\) (or merely finite-dimensional ones, depending on \({\mathcal A}\)), in the sense of a bornological isomorphism (viz.\ an isomorphism \(\phi\) of vector spaces such that both \(\phi\) and its inverse take bounded sets to bounded sets). Among other things, this enables the authors to give simplified proofs for smoothness of the group operations for many Lie groups of the form \(\mathrm{Diff}_{\mathcal A}({\mathbb R}^n)\). The choices for \({\mathcal A}\) subsume \({\mathcal B}\) (functions with globally bounded derivatives), \(W^{\infty,p}\) (functions with globally \(p\)-integrable derivatives), \({\mathcal S}\) (Schwartz spaces of rapidly decreasing functions), \({\mathcal D}\) (functions with compact support), \({\mathcal B}^{\{M\}}\) (globally Denjoy-Carleman functions), \(W^{\{M\},p}\) (Sobolev-Denjoy-Carleman functions), \({\mathcal S}_{\{L\}}^{\{M\}}\) (Gelfand-Shilov) and \({\mathcal D}^{\{M\}}\) (Denjoy-Carleman with compact support), under suitable hypotheses (for details, the reader is referred to the article under review). We mention that exponential laws for suitable weighted function spaces (including Schwartz spaces) were also obtained by \textit{N. Nikitin} in a later work [``Exponential laws for weighted function spaces and regularity of weighted mapping groups'', Preprint, \url{arXiv:1512.07211}], again with a view towards infinite-dimensional Lie groups and their regularity.