Linear structures on locales

MaRDI QIDQ5739943zbMATH OpenFDO

Authors João Paulo Santos, Pedro Resende

Publication date 7 July 2016

Full work available at URL https://arxiv.org/abs/1603.06435, http://www.emis.de/journals/TAC/volumes/31/20/31-20abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Banach bundleslocaleslower Vietoris topologyquotient vector bundles

Mathematics Subject Classification ID

Frames, locales (06D22) Methods of algebraic topology in functional analysis (cohomology, sheaf and bundle theory, etc.) (46M20) Generalizations of fiber spaces and bundles in algebraic topology (55R65)

Abstract: We define a notion of morphism for quotient vector bundles that yields both a category $extitQVBun$ and a contravariant global sections functor $C:extit{QVBun}^{extrmop}oextitVect$ whose restriction to trivial vector bundles with fiber $F$ coincides with the contravariant functor $extit{Top}^{extrmop}oextitVect$ of $F$-valued continuous functions. Based on this we obtain a linear extension of the adjunction between the categories of topological spaces and locales: (i) a linearized topological space is a spectral vector bundle, by which is meant a mildly restricted type of quotient vector bundle; (ii) a linearized locale is a locale $riangle$ equipped with both a topological vector space $A$ and a $riangle$-valued support map for the elements of $A$ satisfying a continuity condition relative to the spectrum of $riangle$ and the lower Vietoris topology on $operatornameSubA$; (iii) we obtain an adjunction between the full subcategory of spectral vector bundles $extit{QVBun}_{Sigma}$ and the category of linearized locales $extitLinLoc$, which restricts to an equivalence of categories between sober spectral vector bundles and spatial linearized locales. The spectral vector bundles are classified by a finer topology on $operatornameSubA$, called the open support topology, but there is no notion of universal spectral vector bundle for an arbitrary topological vector space $A$.

Recommendations

• Locales as spectral spaces
• Open quotients of trivial vector bundles
• Bundles, linear bundles and principal bundles in the category of differential spaces
• Sheaves as modules
• A tensor-hom adjunction in a topos related to vector topologies and bornologies

Cited in

(4)

• Quantales and Fell bundles
• An abstract theory of physical measurements
• On the geometry of physical measurements: topological and algebraic aspects
• On the linear algebra of local complementation

This page was built for publication: Linear structures on locales

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