Differentiable mappings between spaces of sections
Abstract
In this work, various versions of the so-called Omega-Lemma are provided, which ensure differentiability properties of pushforwrds between spaces of Cr-sections (or compactly supported Cr-sections) in vector bundles over finite-dimensional base manifolds whose fibres are (possibly infinite-dimensional) locally convex spaces. Applications are given, including the proof of continuity for some natural module multiplications on spaces of sections and the construction of certain infinite-dimensional Lie groups of Lie group-valued maps.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.