Hilbert spaces and C^-algebras are not finitely concrete

DOI10.1016/J.JPAA.2022.107245MaRDI QIDQ2104873zbMATH OpenOpenAlexFDO

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

Publication date 8 December 2022

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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.

Review text

The main result of this article is that there does not exist a faithful functor that preserves directed colimits from the category of Hilbert spaces with injective linear contractions as morphisms to the category of sets. In other words the category \(\mathbf{Hilb}_m\) of Hilbert spaces with injective linear contractions is not what the authors call finitely concrete. In contrast they observe that categories coming from abstract elementary classes, in the sense of Shelah, with models as objects and embeddings (injective homomorphisms that reflect all relations in a signature) as morphisms, are finitely concrete. The same applies to categories of models for some fragment of \(\mathbb{L}_{\kappa, \omega},\) for an infinite cardinal \(\kappa,\) or for the category of models for a first-order theory with structure homomorphisms as morphisms. Hence the category of Hilbert spaces with injective linear contractions can not be equivalent to an abstract elementary class, or axiomatizable in either first-order logic or \(\mathbb{L}_{\kappa, \omega},\) the logic permitting conjunctions or disjunctions of less than \(\kappa \) formulas. The proof of the main result uses cardinality arguments that build around a notion of support in a subspace, for an element of a Hilbert space, that they introduce. By comparing a number of categories to \(\mathbf{Hilb}_m\) they show that they are not finitely concrete. These include complete metric spaces with injective contractions, Banach spaces with injective linear contractions, the category of Hilbert spaces with linear contractions and the category of commutative unital \(C^* \)-algebras with unit-preserving \(*\)-homomorphisms.

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

Cites work

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

Cited in

(5)

• Monadic forgetful functors and (non-)presentability for \(C^\ast\)- and \(W^\ast\)-algebras
• An embedding theorem for Hilbert categories
• Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability
• Axioms for the category of Hilbert spaces and linear contractions
• Fibration category structures induced by enrichments

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)