Groupoid sheaves as quantale sheaves
From MaRDI portal
Publication:659892
DOI10.1016/J.JPAA.2011.05.002zbMATH Open1231.06020arXiv0807.4848OpenAlexW1969725315MaRDI QIDQ659892FDOQ659892
Authors: Pedro Resende 
Publication date: 24 January 2012
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Abstract: Several notions of sheaf on various types of quantale have been proposed and studied in the last twenty five years. It is fairly standard that for an involutive quantale Q satisfying mild algebraic properties the sheaves on Q can be defined to be the idempotent self-adjoint Q-valued matrices. These can be thought of as Q-valued equivalence relations, and, accordingly, the morphisms of sheaves are the Q-valued functional relations. Few concrete examples of such sheaves are known, however, and in this paper we provide a new one by showing that the category of equivariant sheaves on a localic etale groupoid G (the classifying topos of G) is equivalent to the category of sheaves on its involutive quantale O(G). As a means towards this end we begin by replacing the category of matrix sheaves on Q by an equivalent category of complete Hilbert Q-modules, and we approach the envisaged example where Q is an inverse quantal frame O(G) by placing it in the wider context of stably supported quantales, on one hand, and in the wider context of a module theoretic description of arbitrary actions of 'etale groupoids, both of which may be interesting in their own right.
Full work available at URL: https://arxiv.org/abs/0807.4848
Recommendations
involutive quantalesclassifying toposequivariant sheavescategory of sheavesstably supported quantalesactions of étale groupoidslocalic étale groupoids
Frames, locales (06D22) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Topological groupoids (including differentiable and Lie groupoids) (22A22) Quantales (06F07) Presheaves and sheaves in general topology (54B40)
Cites Work
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Title not available (Why is that?)
- Sheaves in geometry and logic: a first introduction to topos theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- An extension of the Galois theory of Grothendieck
- An application of descent to a classification theorem for toposes
- 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?)
- Title not available (Why is that?)
- Cartesian bicategories. I
- Sheaves on sites as Cauchy-complete categories
- Sheaves on involutive quantaloids
- On the quantisation of spaces
- Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory
- Title not available (Why is that?)
- Quantales and C∗-Algebras
- Cartan subalgebras in C*-algebras
- Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
- On C*-Diagonals
- 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?)
- On the quantisation of points
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid
- \(\mathcal Q\)-\(*\)-categories
- Étale groupoids and their quantales
- Sheaves as modules
- Spatial quantales
- Title not available (Why is that?)
- Title not available (Why is that?)
- On quantales and spectra of C*-algebras
- Simple involutive quantales
- Left ideal structure of \(C^*\)-algebras
- A Gelfand representation theory for \(C^ *\)-algebras
- The point of pointless topology
- Title not available (Why is that?)
- Quantales and their sheaves
- A theory of quantal sets
- Quantal sets and sheaves over quantales
- Quantales of open groupoids
- One-parameter continuous fields of Kirchberg algebras
- On quantaloids and quantal categories
- A noncommutative theory of Penrose tilings
- Title not available (Why is that?)
- The Classifying Topos of a Continuous Groupoid. I
- Sheaves on quantaloids
- A generic representation theorem for non-commutative rings
- Quantaloids and non-commutative ring representations
- Injectivity in the Topos of Complete Heyting Algebra Valued Sets
- An algebraic generalization of Kripke structures
- Title not available (Why is that?)
- A general approach to gabriel filters on quantales
- Title not available (Why is that?)
- Title not available (Why is that?)
- Foundations for Quantum Mechanics
- Title not available (Why is that?)
Cited In (22)
- Title not available (Why is that?)
- Quantaloids and non-commutative ring representations
- Sheaves on involutive quantales: Grothendieck quantales.
- Effective equivalence relations and principal quantales
- Groupoid quantales: A non-étale setting
- The many groupoids of a stably Gelfand quantale
- Functoriality of groupoid quantales. II
- Modules in the category of sheaves over quantales
- Open maps of involutive quantales
- Functoriality of groupoid quantales. I.
- Quantales and Fell bundles
- An abstract theory of physical measurements
- Morita equivalence of pseudogroups
- Actions of étale-covered groupoids
- Sheaf theoretic characterization of étale groupoids
- Title not available (Why is that?)
- Topological groupoid quantales
- On the geometry of physical measurements: topological and algebraic aspects
- Sheaf representation of monoidal categories
- Sheaves on quantaloids
- Subgroupoids and quotient theories
- Title not available (Why is that?)
This page was built for publication: Groupoid sheaves as quantale sheaves
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q659892)
