Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
The authors construct an infinite-dimensional orbifold structure on mapping spaces between orbifolds across $C^k$, $C^\infty$, and Sobolev $W^{k,p}$ topologies using the geometric framework of Hilsum-Skandalis bibundles. They prove that the resulting proper étale Fréchet Lie groupoid is canonically defined up to Morita equivalence, independent of the initial groupoid presentations chosen for the orbifolds. By locally identifying the mapping groupoid with the action groupoid of the bibundle's finite automorphism group, the work yields a concrete, presentation-invariant foundation for analyzing singular moduli spaces in symplectic geometry and Floer homology.
Mapping spaces between singular orbifolds no longer rely on ad-hoc presentation choices: treating morphisms as bibundles directly exposes a canonical, infinite-dimensional Lie groupoid structure governed by finite bibundle automorphisms.
The existence of orbifold structures on mapping spaces between orbifolds was established in previous work, notably by W. Chen and B. Chen-Du-Liao. In this paper, we construct an infinite-dimensional orbifold structure on the mapping space in a more geometric way, using bibundles (or Hilsum-Skandalis morphisms), based on Lerman's description of orbifold morphisms. We construct a proper étale (or Fréchet) Lie groupoid representing the mapping space in the $C^k$, $C^\infty$, and $W^{k,p}$ settings, and show that its Morita equivalence class is independent of the choices of groupoid presentations. Locally, the mapping groupoid is isomorphic to the action groupoid of a finite group, where the finite group is identified with the automorphism group of the corresponding bibundle. This provides a concrete geometric framework for further studies of mapping spaces and moduli spaces on orbifolds, with applications to Floer theory on symplectic orbifolds.