Groupoid sheaves as quantale sheaves

DOI10.1016/J.JPAA.2011.05.002MaRDI QIDQ659892zbMATH OpenOpenAlexFDO

Publication date 24 January 2012

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

involutive quantales classifying topos equivariant sheaves category of sheaves stably supported quantales actions of étale groupoids localic étale groupoids

Mathematics Subject Classification ID

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)

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.

Recommendations

Cites work

Cited in

(22)

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)