Mapping Groups Associated with Real-Valued Function Spaces and Direct Limits of Sobolev-Lie Groups

H. Gloeckner ; L. Tárrega

Journal of Lie Theory, Tome 33 (2023) no. 1, pp. 271-296

Résumé

\newcommand{\cg}{{\mathfrak g}} \newcommand{\cF}{{\mathcal F}} \newcommand{\dl}{{\displaystyle \lim_{\longrightarrow}\, }} \newcommand{\sub}{\subseteq} Let $M$ be a compact smooth manifold of dimension $m$ (without boundary) and $G$ be a finite-dimensional Lie group, with Lie algebra $\cg$. Let $H^{>m/2}(M,G)$ be the group of all mappings $\gamma\colon M\to G$ which are $H^s$ for some $s>\frac{m}{2}$. We show that $H^{>m/2}(M,G)$ can be made a regular Lie group in Milnor's sense, modelled on the Silva space $\smash{H^{>m/2}(M,\cg):={\dl}_{s>m/2}H^s(M,\cg)}$, such that \[ H^{>m/2}(M,G)\; =\;\, {\dl}_{s>m/2}H^s(M,G) \] \vskip-5mm as a Lie group (where $H^s(M,G)$ is the Hilbert-Lie group of all $G$-valued $H^s$-mappings on $M$). We also explain how the (known) Lie group structure on $H^s(M,G)$ can be obtained as a special case of a general construction of Lie groups $\cF(M,G)$ whenever function spaces $\cF(U,\mathbb{R})$ on open subsets $U\sub\mathbb{R}^m$ are given, subject to simple axioms.

Détail

Classification : 22E65, 22E67, 46A13, 46E35, 46M40
Mots-clés : Sobolev space, Banach space-valued section functor, mapping group, direct limit, pushforward, superposition operator, Nemytskij operator