Hilbert spaces and C^-algebras are not finitely concrete

DOI10.1016/J.JPAA.2022.107245zbMATH Open1506.18011arXiv1908.10200OpenAlexW4308517736MaRDI QIDQ2104873FDOQ2104873

Sebastien Vasey, M. Lieberman, Jiří Rosický

Publication date: 8 December 2022

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

Abstract: We show that no faithful functor from the category of Hilbert spaces with linear isometries into the category of sets preserves directed colimits. Thus Hilbert spaces cannot form an abstract elementary class, even up to change of language. We deduce an analogous result for the category of commutative unital $C^{a}st$-algebras with $ast$-homomorphisms. This implies, in particular, that this category is not axiomatizable by a first-order theory, a strengthening of a conjecture of Bankston.

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

Recommendations

• Monadic forgetful functors and (non-)presentability for \(C^\ast\)- and \(W^\ast\)-algebras
• scientific article; zbMATH DE number 4073252
• Categorical constructions in C*-algebra theory
• Some categorical properties of Hilbert algebras
• The model theory of modules of a \(C^*\)-algebra

zbMATH Keywords

Hilbert space\(C^\ast\)-algebrafaithful functor preserving directed colimits

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Accessible and locally presentable categories (18C35) Methods of category theory in functional analysis (46M99)

Cites Work

• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Classification theory for accessible categories
• Infinitary stability theory
• Model theory for metric structures
• Universal abstract elementary classes and locally multipresentable categories
• A presentation theorem for continuous logic and metric abstract elementary classes
• Abstract elementary classes and accessible categories
• Continuous first order logic and local stability
• Model theory of operator algebras. II: Model theory
• Some Obstacles to Duality in Topological Algebra
• Continuous Model Theory. (AM-58)
• Model theory of operator algebras I: stability
• Generating the algebraic theory of C(X)
• Elementary categories
• Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
• More on Compact Hausdorff Spaces and Finitary Duality
• Model theory of operator algebras III: elementary equivalence and II₁factors
• Functional Analysis
• The dual of compact ordered spaces is a variety
• On the axiomatisability of the dual of compact ordered spaces
• Universal arrows to forgetful functors from categories of topological algebra
• A note on universal operators between separable Banach spaces
• Encoding complete metric structures by classical structures

Cited In (3)

• An embedding theorem for Hilbert categories
• Fibration category structures induced by enrichments
• Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability

This page was built for publication: Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete

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