Pseudogroups and their étale groupoids. (Q2437408): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: author (P16): Item:Q628692 |
||
Property / author | |||
Property / author: Daniel H. Lenz / rank | |||
Revision as of 03:14, 20 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pseudogroups and their étale groupoids. |
scientific article |
Statements
Pseudogroups and their étale groupoids. (English)
0 references
3 March 2014
0 references
The article develops further the theory of abstract pseudogroups, especially the works of Pedro Resende. A \textit{pseudogroup} is defined as a complete infinitely distributive inverse monoid. The authors construct functors \(\mathbf G\) and \(\mathbf B\) such that the functor \(\mathbf G\colon\mathbf{Inv}^{op}\to\mathbf{Etale}\) is right adjoint to the functor \(\mathbf B\colon\mathbf{Etale}\to\mathbf{Inv}^{op}\) where \(\mathbf{Inv}\) is the category of pseudogroups with suitable morphisms and \(\mathbf{Etale}\) is the category of étale groupoids (that is, topological groupoids in which the map \(x\mapsto xx^{-1}\) is a local homeomorphism) as objects and continuous covering functors as morphisms. Based on that, a duality between spatial pseudogroups (distributive inverse semigroups, Boolean inverse semigroups) and sober (respectively, coherent, Hausdorff topological) étale groupoids is set up (a \textit{Boolean inverse semigroup} is a distributive inverse semigroup whose semilattice of idempotents forms a Boolean algebra and that is also an inverse \(\wedge\)-semigroup). The authors show how pseudogroups can be constructed from inverse semigroups, and étale groupoids from families of filters. For that purpose, the authors introduce for an inverse semigroup \(S\) equipped with a coverage \(\mathcal C\) the \textit{universal pseudogroup} \(\mathbf P_{\mathcal C}(S)\) and prove the existence and some properties of universal pseudogroups for three types of coverage: trivial coverage, dense coverage and tight coverage (a \textit{coverage} \(\mathcal C\) on an inverse semigroup \(S\) is a set \(\{\mathcal C(a)\mid a\in S\}\) where each \(\mathcal C(a)\) consists of a subsets of \(a^{\downarrow}\) satisfying certain conditions). For example, in the case of trivial coverage of \(S\) where \(\mathcal C(x)=\{\{x\}\}\) the universal pseudogroup consists of the set of all compatible order ideals of \(S\) with subset multiplication and the groupoid of all filters on \(S\) is homeomorphic to \(\mathbf G(\mathbf P_{\mathcal C}(S))\). The results obtained in the article are also applied for extending or generalizing the results of some previous studies of the authors, Ruy Exel, Alan Paterson, Benjamin Steinberg, and others.
0 references
inverse semigroups
0 references
pseudogroups
0 references
étale topological groupoids
0 references
locales
0 references
topos theory
0 references