Lie groupoids of mappings taking values in a Lie groupoid

Abstract

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 prime examples of infinite-dimensional Lie groups modelled on locally convex spaces. In the present paper, we generalise this construction and show that differentiable mappings on a compact manifold (possibly with boundary) with values in a Lie groupoid form infinite-dimensional Lie groupoids which we call current Lie groupoids. We then study basic differential geometry and Lie theory for these Lie groupoids of mappings. In particular, we show that certain Lie groupoid properties, like being a proper étale Lie groupoid, are inherited by the current groupoid. Furthermore, we identify the Lie algebroid of a current Lie groupoid as a current Lie algebroid (analogous to the current Lie algebra associated to a current Lie group). To establish these results, we study superposition operators given by postcomposition with a fixed function, between manifolds of $C^{\ell }$-functions. Under natural hypotheses, these operators turn out to be a submersion (an immersion, an embedding, proper, resp., a local diffeomorphism) if so is the underlying map. These results are new in their generality and of independent interest.

53 pages, v2: Corrected typos and small mistakes, greatly expanded Appendix A, main results remain unchanged

References in corpus (15)

• Differentiable mappings on products with different degrees of differentiability in the two factors
• Lie group structures on groups of smooth and holomorphic maps on non-compact manifolds
• The Lie group of bisections of a Lie groupoid
• Regularity properties of infinite-dimensional Lie groups, and semiregularity
• Groupoids in categories with pretopology
• 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
• Strong topologies for spaces of smooth maps with infinite-dimensional target
• Extending Whitney's extension theorem: nonlinear function spaces
• The smooth Hom-stack of an orbifold
• Smooth loop stacks of differentiable stacks and gerbes
• Complexifications of infinite-dimensional manifolds and new constructions of infinite-dimensional Lie groups
• Linking Lie groupoid representations and representations of infinite-dimensional Lie groups
• The Banach manifold $C^k(M,N)$

Cited by in corpus (10)

• An introduction to infinite-dimensional differential geometry
• Lie Theory for Asymptotic Symmetries in General Relativity: The BMS Group
• Smooth approximations and their applications to homotopy types
• Lie Theory for Asymptotic Symmetries in General Relativity: The NU Group
• Incompressible Euler equations with stochastic forcing: a geometric approach
• Manifolds of mappings on cartesian products
• Smoothing operators for vector-valued functions and extension operators
• Controllability and diffeomorphism groups on manifolds with boundary
• Lie groups of real analytic diffeomorphisms are $L^1$-regular
• Manifolds of continuous BV-functions and vector measure regularity of Banach-Lie groups