Generalising the étale groupoid-complete pseudogroup correspondence

DOI10.1016/J.AIM.2021.108030zbMATH Open1477.18009arXiv2004.09699OpenAlexW3201482749MaRDI QIDQ2237404FDOQ2237404

Authors: Richard Garner, J. R. B. Cockett 

Publication date: 27 October 2021

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: We prove a generalisation of the correspondence, due to Resende and Lawson--Lenz, between 'etale groupoids---which are topological groupoids whose source map is a local homeomorphisms---and complete pseudogroups---which are inverse monoids equipped with a particularly nice representation on a topological space. Our generalisation improves on the existing functorial correspondence in four ways. Firstly, we enlarge the classes of maps appearing to each side. Secondly, we generalise on one side from inverse monoids to inverse categories, and on the other side, from 'etale groupoids to what we call partite 'etale groupoids. Thirdly, we generalise from 'etale groupoids to source-'etale categories, and on the other side, from inverse monoids to restriction monoids. Fourthly, and most far-reachingly, we generalise from topological 'etale groupoids to 'etale groupoids internal to any join restriction category C with local glueings; and on the other side, from complete pseudogroups to ``complete C-pseudogroups, i.e., inverse monoids with a nice representation on an object of C. Taken together, our results yield an equivalence, for a join restriction category C with local glueings, between join restriction categories with a well-behaved functor to C, and partite source-'etale internal categories in C. In fact, we obtain this by cutting down a larger adjunction between arbitrary restriction categories over C, and partite internal categories in C. Beyond proving this main result, numerous applications are given, which reconstruct and extend existing correspondences in the literature, and provide general formulations of completion processes.

Full work available at URL: https://arxiv.org/abs/2004.09699

Recommendations

• Pseudogroups and their étale groupoids.
• Étale groupoids and their quantales
• Sheaf theoretic characterization of étale groupoids
• Quantales of open groupoids
• Actions of étale-covered groupoids

zbMATH Keywords

inverse semigroupHaefliger groupoidGalois adjunctiongroupoid of germscofunctorjoin restriction categoriesétale groupoids

Mathematics Subject Classification ID

Frames, locales (06D22) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Topological groupoids (including differentiable and Lie groupoids) (22A22) Inverse semigroups (20M18)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cohesive categories and manifolds
• Inverse semigroup actions as groupoid actions
• A perspective on non-commutative frame theory
• Pseudogroups and their étale groupoids.
• Restriction categories. I: Categories of partial maps
• Étale groupoids and their quantales
• Partial actions of monoids.
• Quantum and classical pseudogroups. I: Union pseudogroups and their quantization
• An invitation to \(C\)-semigroups
• Structures feuilletées et cohomologie à valeur dans un faisceau de groupoïdes
• Restriction categories as enriched categories
• Restriction categories III: colimits, partial limits and extensivity
• Duality for base-changing morphisms of vector bundles, modules, Lie algebroids and Poisson structures
• Functoriality of groupoid quantales. I.
• Structures locales
• Restriction semigroups and inductive constellations.
• The étale groupoid of an inverse semigroup as a groupoid of filters.
• Differential restriction categories
• Presheaves over a join restriction category
• The Ehresmann-Schein-Nambooripad theorem for inverse categories

Cited In (3)

• Inner automorphisms of groupoids
• Pseudogroups and their étale groupoids.
• Sheaf theoretic characterization of étale groupoids

This page was built for publication: Generalising the étale groupoid-complete pseudogroup correspondence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2237404)