Diffeological Morita Equivalence

TL;DR

This paper develops a new Morita equivalence theory for diffeological groupoids, extending concepts from Lie groupoids, and introduces a bicategory framework with applications to orbit space diffeomorphisms and invariants.

Contribution

It generalizes Morita equivalence to diffeological groupoids, introduces a bicategory of bibundles, and proves key invertibility and invariance results.

Findings

Biprincipal bibundles are weakly invertible in the bicategory.

Orbit spaces of Morita equivalent groupoids are diffeomorphic.

Fibrating property and action categories are Morita invariants.

Abstract

We introduce a new notion of Morita equivalence for diffeological groupoids, generalising the original notion for Lie groupoids. For this we develop a theory of diffeological groupoid actions, -bundles and -bibundles. We define a notion of principality for these bundles, which uses the notion of a subduction, generalising the notion of a Lie group(oid) principal bundle. We say two diffeological groupoids are Morita equivalent if and only if there exists a biprincipal bibundle between them. Using a Hilsum-Skandalis tensor product, we further define a composition of diffeological bibundles, and obtain a bicategory DiffBiBund. Our main result is the following: a bibundle is biprincipal if and only if it is weakly invertible in this bicategory. This generalises a well known theorem from the Lie groupoid theory. As an application of the framework, we prove that the orbit spaces of two Morita equivalent diffeological groupoids are diffeomorphic. We also show that the property of a diffeological groupoid to be fibrating, and its category of actions, are Morita invariants.