Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory

DOI10.1007/S11083-009-9116-XMaRDI QIDQ2390982zbMATHOpenAlexFDO

Authors Hans Heymans, Isar Stubbe

Publication date 10 August 2009

Published in Order (Search for Journal in Brave)

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

zbMATH Keywords

inner productquantalemodulesheafprincipal elementprincipal symmetry

Mathematics Subject Classification ID

Quantales (06F07)

Abstract: We explain the precise relationship between two module-theoretic descriptions of sheaves on an involutive quantale, namely the description via so-called Hilbert structures on modules and that via so-called principally generated modules. For a principally generated module satisfying a suitable symmetry condition we observe the existence of a canonical Hilbert structure. We prove that, when working over a modular quantal frame, a module bears a Hilbert structure if and only if it is principally generated and symmetric, in which case its Hilbert structure is necessarily the canonical one. We indicate applications to sheaves on locales, on quantal frames and even on sites.

Recommendations

• Sheaves as modules
• Sheaves on involutive quantales: Grothendieck quantales.
• Sheaves on involutive quantaloids
• Modules in the category of sheaves over quantales
• Quantales and their sheaves

Cites work

• scientific article; zbMATH DE number 426314 (Why is no real title available?)
• scientific article; zbMATH DE number 2125664 (Why is no real title available?)
• scientific article; zbMATH DE number 3809805 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 2172965 (Why is no real title available?)
• scientific article; zbMATH DE number 896756 (Why is no real title available?)
• Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid
• Categorical structures enriched in a quantaloid: tensored and cotensored categories
• Morita equivalence in the context of Hilbert modules
• On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
• Q-modules are Q-suplattices
• Sheaves as modules
• Sheaves in geometry and logic: a first introduction to topos theory
• Sheaves on sites as Cauchy-complete categories
• Étale groupoids and their quantales

Cited in

(6)

• Groupoid sheaves as quantale sheaves
• An introduction to quantaloid-enriched categories
• Sheaves on involutive quantales: Grothendieck quantales.
• Open maps of involutive quantales
• On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
• Morita equivalence of pseudogroups

This page was built for publication: Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory

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