Open Collections

Structure of mapping objects in the category of orbifolds

Banff International Research Station for Mathematical Innovation and Discovery

We consider topological orbifolds as proper \'etale groupoids, i.e., topological groupoids with a proper diagonal and \'etale structure maps. We call these orbigroupoids. To describe maps between these groupoids and 2-cells between them, we will use the bicategory of fractions of the 2-category of orbigroupoids and continuous functors with respect to a subclass of the Morita equivalences which is gives a bicategory of fractions that is equivalent to the usual one and renders mapping groupoids that are small. We will present several nice results about the equivalence relation on the 2-cell diagrams in this bicategory that then enable us to obtain a very explicit description of the topological groupoid $\mbox{Map}\,(G,H)$ encoding the new generalized maps from $G$ to $H$ and equivalence classes of 2-cell diagrams between them, for any orbigroupoids $G$ and $H$. In particular, we obtain the arrow space as a retract of the space of all 2-cell diagrams. When $G$ has a compact orbit space we show that the mapping groupoid is an orbigroupoid and has the appropriate universal properties to be the mapping object. In particular, sheaves on this groupoid for the mapping topos for geometric morphisms between the toposes of sheaves on $G$ and $H$. This groupoid can also be viewed as a pseudo colimit of mapping groupoids in the original 2-category of topological groupoids and continuous functors.

Mathematics; Differential geometry; Topological groups, lie groups

video/mp4

Author affiliation: Dalhousie University

2017-10-16

Attribution-NonCommercial-NoDerivatives 4.0 International

http://hdl.handle.net/2429/63297

Unreviewed

http://creativecommons.org/licenses/by-nc-nd/4.0/