Related papers: Direct limits of regular Lie groups

Let G be a Lie group which is the union of an ascending sequence of Lie groups G_n (all of which may be infinite-dimensional). We study the question when G is the direct limit of the G_n's in the category of Lie groups, topological groups,…

For a compact convex subset K with non-empty interior in a finite-dimensional vector space, let G be the group of all smooth diffeomorphisms of K which fix the boundary of K pointwise. We show that G is a C^0-regular infinite-dimensional…

Consider the self-map F of the space of real-valued test functions on the line which takes a test function f to the test function sending a real number x to f(f(x))-f(0). We show that F is discontinuous, although its restriction to the…

Let $M$ be a compact, real analytic manifold and $G$ be the Lie group of all real-analytic diffeomorphisms of $M$, which is modelled on the space ${\mathfrak g}$ of real-analytic vector fields on $M$. We study flows of time-dependent…

We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some…

This is a preliminary version of a book on infinite-dimensional Lie groups. It covers the basics of calculus and manifolds in the context of locally convex spaces, based on Bastiani's notion of a smooth map. Starting from this concept, we…

Consider a strictly positively graded finitely generated infinite-dimensional real Lie algebra $\mathfrak{g}$. It has a well-defined Lie group $\overline{\mathbf{G}}$, which is an inverse limit of finite-dimensional nilpotent Lie groups (a…

We show that every countable direct system of finite-dimensional real or complex Lie groups has a direct limit in the category of Lie groups modelled on locally convex spaces. This enables us to push all basic constructions of…

Let G be a Lie group modelled on a locally convex space, with Lie algebra g, and k be a non-negative integer or infinity. We say that G is C^k-semiregular if each C^k-curve c in g admits a left evolution Evol(c) in G. If, moreover, the map…

A pro-Lie group is a projective limit of a family of finite-dimensional Lie groups. In this note we show that a pro-Lie group $G$ is a Lie group in the sense that its topology is compatible with a smooth manifold structure for which the…

We endow the diffeomorphism group of a paracompact (reduced) orbifold with the structure of an infinite dimensional Lie group modelled on the space of compactly supported sections of the tangent orbibundle. For a second countable orbifold,…

Let $X$ be a smooth compact connected manifold. Let $G=\mbox{Diff}\, X$ be the group of diffeomorphisms of $X$, equipped with the $C^\infty$-topology, and let $H$ be the stabilizer of some point in $X$. Then the inclusion $H\to G$, which is…

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, integrability of Lie subalgebras to Lie…

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 linear Lie groups, mapping groups, test…

Let $M$ be a compact smooth manifold of dimension $m$ (without boundary) and $G$ be a finite-dimensional Lie group, with Lie algebra $g$. Let $H^{>m/2}(M,G)$ be the group of all mappings $\gamma\colon M\to G$ which are $H^s$ for some…

We study Lie group structures on groups of the form C^\infty(M,K)}, where M is a non-compact smooth manifold and K is a, possibly infinite-dimensional, Lie group. First we prove that there is at most one Lie group structure with Lie algebra…

We show that a group of diffeomorphisms $\D$ on the open unit interval $I,$ equipped with the topology of uniform convergence on any compact set of the derivatives at any order, is non regular: the exponential map is not defined for some…

Many infinite-dimensional Lie groups of interest can be expressed as a union of an ascending sequence of (finite- or infinite-dimensional) Lie groups. In this survey article, we compile general results concerning such ascending unions,…

Any Lie group G acting on a Euclidean nonvoid open subset M can be seen as a subgroup of the smooth diffeomorphisms Diff^\infty(M,M) of M into itself. Thus actions by such Lie groups G correspond to smooth coordinate transforms on M which,…

Let $X$ be a closed smooth manifold, $G$ be a simple connected compact real Lie group, $M (G)$ be the group of all smooth maps from $X$ to $G$, and $M_0 (G)$ be its connected component for the $\mathcal C^\infty$-compact open topology. It…