Journal Home Page

Cumulative Index

List of all Volumes

Complete Contents
of this Volume

Previous Article

Next Article

Journal of Lie Theory 33 (2023), No. 1, 271--296
Copyright Heldermann Verlag 2023

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

Helge Gloeckner
Institut für Mathematik, Universität Paderborn, Germany

Luis Tárrega
Departamento de Matemáticas, Universitat Jaume I, Castellón, Spain


\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.

Keywords: Sobolev space, Banach space-valued section functor, mapping group, direct limit, pushforward, superposition operator, Nemytskij operator.

MSC: 22E65; 22E67, 46A13, 46E35, 46M40.

[ Fulltext-pdf  (225  KB)] for subscribers only.