Regularity properties of infinite-dimensional Lie groups, and semiregularity

Abstract

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 taking c to evol(c):=Evol(c)(1) is smooth, then G is called C^k-regular. For G a C^k-semiregular Lie group and m an order of differentiability, we show that evol is C^m if and only if Evol is C^m. If evol is continuous at 0, then evol is continuous. If G is a C^0-semiregular Lie group, then continuity of evol implies its smoothness (so that G will be C^0-regular), if smooth homomorphisms from G to C^0-regular Lie groups separate points on G and g is (e.g.) sequentially complete. Further criteria for regularity properties are provided, and used to prove regularity for several important classes of Lie groups. Notably, we find that the Lie group Diff(M) of smooth diffeomorphisms of a paracompact finite-dimensional smooth manifold M (which need not be sigma-compact) is C^1-regular. We also provide tools which enable to show that the Lie group of analytic diffeomorphisms of a compact real analytic manifold is C^1-regular.

68 pages; v5: update of references, added two useful lemmas (Lemma 7.8, Lemma 7.10)

References in corpus (3)

• Lie groups over non-discrete topological fields
• Differentiable mappings on products with different degrees of differentiability in the two factors
• Symmetry Groups of Principal Bundles Over Non-Compact Bases

Cited by in corpus (19)

• Shape Analysis on Lie Groups with Applications in Computer Animation
• The Lie group of bisections of a Lie groupoid
• The diffeomorphism group of a non-compact orbifold
• Fundamentals of submersions and immersions between infinite-dimensional manifolds
• (Re)constructing Lie groupoids from their bisections and applications to prequantisation
• Lie groupoids of mappings taking values in a Lie groupoid
• Lie Theory for Asymptotic Symmetries in General Relativity: The BMS Group
• Shape analysis on homogeneous spaces: a generalised SRVT framework
• The geometry of characters of Hopf algebras
• Complexifications of infinite-dimensional manifolds and new constructions of infinite-dimensional Lie groups
• Lie Theory for Asymptotic Symmetries in General Relativity: The NU Group
• Continuity of Formal Power Series Products in Nonlinear Control Theory
• Functorial aspects of the reconstruction of Lie groupoids from their bisections
• Measurable regularity of infinite-dimensional Lie groups based on Lusin measurability
• Manifolds of mappings on cartesian products
• Exponential laws for weighted function spaces and regularity of weighted mapping groups
• Exponential laws for spaces of differentiable functions on topological groups
• Universal central extensions for groups of sections on non-compact manifolds
• Lie groups of real analytic diffeomorphisms are $L^1$-regular