A Differentiable Monoid of Smooth Maps on Lie Groupoids

Habib Amiri¹ ; Alexander Schmeding²

¹University of Zanjan, Zanjan, Iran
²Institut für Mathematik, Technische Universität, 10623 Berlin, Germany

Journal of Lie Theory, Tome 29 (2019) no. 4, pp. 1167-1192

Résumé

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 is regular in the sense of Milnor. Furthermore, this group is closely connected to the group of bisections and the geometry of the Lie groupoid. Under suitable conditions, i.e. if the source map of the Lie groupoid is proper, one also obtains a differentiable structure on the monoid and can identify the bisection group as a Lie subgroup of its group of units. Finally, relations between the (sub-)groupoids associated to the underlying Lie groupoid and subgroups of the monoid are obtained.
The key tool driving the investigation is a generalisation of a result by A. Stacey. In the present article, we establish this so-called Stacey-Roberts Lemma. It asserts that pushforwards of submersions are submersions between the infinite-dimensional manifolds of mappings. The Stacey-Roberts Lemma is of independent interest as it provides tools to study submanifolds of and geometry on manifolds of mappings.

Détail

Classification : 58B25,, 22E65, 22A22, 22A15, 58D05, 58D15, 58H05
Mots-clés : Lie groupoid, topological semigroup, Stacey-Roberts Lemma, submersion, group of bisections, infinite-dimensional Lie group, regular Lie group, manifold of mappings, topological groupoid, fine very strong topology