# STRONG TOPOLOGIES FOR SPACES OF SMOOTH MAPS WITH INFINITE-DIMENSIONAL TARGET

@article{Hjelle2016STRONGTF, title={STRONG TOPOLOGIES FOR SPACES OF SMOOTH MAPS WITH INFINITE-DIMENSIONAL TARGET}, author={Eivind Otto Hjelle and Alexander Schmeding}, journal={arXiv: General Topology}, year={2016} }

In this article we study two "strong" topologies for spaces of smooth functions from a finite-dimensional manifold to a (possibly infinite-dimensional) manifold modeled on a locally convex space. Namely, we construct Whitney type topologies for these spaces and a certain refinement corresponding to Michor's $\mathcal{FD}$-topology. Then we establish the continuity of certain mappings between spaces of smooth mappings, e.g.\ the continuity of the joint composition map. As a first application we… Expand

#### 11 Citations

Extending Whitney's extension theorem: nonlinear function spaces

- Mathematics
- 2018

This article shows that there is a continuous extension operator for compactly-supported smooth sections of vector bundles on possibly non-compact smooth manifolds, where the closed set to which… Expand

A differentiable monoid of smooth maps on Lie groupoids

- Mathematics
- 2017

In this article we investigate a monoid of smooth mappings on the space of arrows of a Lie groupoid and its group of units. The group of units turns out to be an infinite-dimensional Lie group which… Expand

Linking Lie groupoid representations and representations of infinite-dimensional Lie groups

- Mathematics
- 2018

The present paper links the representation theory of Lie groupoids and infinite-dimensional Lie groups. We show that smooth representations of Lie groupoids give rise to smooth representations of… Expand

Lie groupoids of mappings taking values in a Lie groupoid

- Mathematics
- 2018

Endowing differentiable functions from a compact manifold to a Lie group with the pointwise group operations one obtains the so-called current groups and, as a special case, loop groups. These are… Expand

Lie rackoids integrating Courant algebroids

- Mathematics
- 2018

We construct an infinite-dimensional Lie rackoid Y which hosts an integration of the standard Courant algebroid. As a set, $$Y={{\mathcal {C}}}^{\infty }([0,1],T^*M)$$ Y = C ∞ ( [ 0 , 1 ] , T ∗ M )… Expand

The Lie group of vertical bisections of a regular Lie groupoid

- Mathematics
- 2019

Abstract In this note we construct an infinite-dimensional Lie group structure on the group of vertical bisections of a regular Lie groupoid. We then identify the Lie algebra of this group and… Expand

Smoothing operators for vector-valued functions and extension operators

- Mathematics
- 2020

Let Ω ⊆ R be open and l ∈ N0 ∪ {∞}. Given a locally convex topological vector space F , endow C(Ω, F ) with the compact-open Ctopology. For l < ∞, we describe a sequence (Sn)n∈N of continuous linear… Expand

Completeness of Infinite-dimensional Lie Groups in Their Left Uniformity

- Mathematics
- Canadian Journal of Mathematics
- 2019

Abstract We prove completeness for the main examples of infinite-dimensional Lie groups and some related topological groups. Consider a sequence $G_{1}\subseteq G_{2}\subseteq \cdots \,$ of… Expand

Convergence of Lie group integrators

- Mathematics, Computer Science
- Numerische Mathematik
- 2020

It is proved for the first time that the Lie–Butcher theory of Lie group integrators leads to global error estimates from local bounds on Riemannian homogeneous spaces. Expand

1 6 A ug 2 01 8 Convergence of Lie group integrators

- 2018

We relate two notions of local error for integration schemes on Riemannian homogeneous spaces, and show how to derive global error estimates from such local bounds. In doing so, we prove for the… Expand

#### References

SHOWING 1-10 OF 21 REFERENCES

Infinite-dimensional Lie groups without completeness restrictions

- Mathematics
- 2002

We describe a setting of infinite-dimensional smooth (resp., analytic) Lie groups modelled on arbitrary, not necessarily sequentially complete, locally convex spaces, generalizing the framework of… Expand

Discontinuous non-linear mappings on locally convex direct limits

- Mathematics
- 2005

We show that the self-map f : C∞ c (R) → C ∞ c (R), f(γ) := γ ◦ γ − γ(0) of the space of real-valued test functions on the line is discontinuous, although its restriction to the space C∞ K (R) of… Expand

Lie groups over non-discrete topological fields

- Mathematics
- 2004

We generalize the classical construction principles of infinite-dimensional real (and complex) Lie groups to the case of Lie groups over non-discrete topological fields. In particular, we discuss… Expand

Yet More Smooth Mapping Spaces and Their Smoothly Local Properties

- Mathematics
- 2013

Motivated by the definition of the smooth manifold structure on a suitable mapping space, we consider the general problem of how to transfer local properties from a smooth space to an associated… Expand

Topological Vector Spaces

- 2003

Preface In the notion of a topological vector space, there is a very nice interplay between the algebraic structure of a vector space and a topology on the space, basically so that the vector space… Expand

Topological Vector Spaces

- Mathematics
- 1967

This chapter presents the most basic results on topological vector spaces. With the exception of the last section, the scalar field over which vector spaces are defined can be an arbitrary,… Expand

Re)constructing Lie groupoids from their bisections and applications to prequantisation

- Mathematics
- 2015

This paper is about the relation of the geometry of Lie groupoids over a fixed compact manifold and the geometry of their (infinite-dimensional) bisection Lie groups. In the first part of the paper… Expand

Towards a Lie theory of locally convex groups

- Mathematics
- 2006

Abstract.In this survey, we report on the state of the art of some of the fundamental problems in the Lie theory of Lie groups modeled on locally convex spaces, such as integrability of Lie algebras,… Expand

in Topological Spaces

- Mathematics
- 2014

1. Definition of a topological space Definition 1.1. A topology T on a set X is a collection of subsets of X subject to the following three rules, called the axioms of a topology: 1. The empty set ∅… Expand

The Convenient Setting of Global Analysis

- Mathematics
- 1997

Introduction Calculus of smooth mappings Calculus of holomorphic and real analytic mappings Partitions of unity Smoothly realcompact spaces Extensions and liftings of mappings Infinite dimensional… Expand