Generalising the étale groupoid-complete pseudogroup correspondence

DOI10.1016/J.AIM.2021.108030MaRDI QIDQ2237404zbMATH OpenOpenAlexFDO

Authors Richard Garner, J. R. B. Cockett

Publication date 27 October 2021

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

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

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)

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.

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

Cites work

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

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)