Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete
type: Item
instance of: scholarly article
title: Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete
zbMATH Open document ID: 1506.18011
author: M. Lieberman
author: Jiří Rosický
author: Sebastien Vasey
published in: Journal of Pure and Applied Algebra
publication date: 2022-12-08T00:00:00Z
full work available at URL: https://arxiv.org/abs/1908.10200
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.
reviewed by: Panagis Karazeris
Mathematics Subject Classification ID: 18C35
Mathematics Subject Classification ID: 46L05
Mathematics Subject Classification ID: 46M99
zbMATH DE Number: 7628587
zbMATH Keywords: Hilbert space
zbMATH Keywords: \(C^\ast\)-algebra
zbMATH Keywords: faithful functor preserving directed colimits
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W4308517736
arXiv ID: 1908.10200
cites work: The dual of compact ordered spaces is a variety
cites work: Encoding complete metric structures by classical structures
cites work: Q4693062
cites work: Q4293501
cites work: On the axiomatisability of the dual of compact ordered spaces
cites work: Some Obstacles to Duality in Topological Algebra
cites work: More on Compact Hausdorff Spaces and Finitary Duality
cites work: Q3602612
cites work: A presentation theorem for continuous logic and metric abstract elementary classes
cites work: Abstract elementary classes and accessible categories
cites work: Functional Analysis
cites work: Continuous first order logic and local stability
cites work: Continuous Model Theory. (AM-58)
cites work: Model theory of operator algebras I: stability
cites work: Model theory of operator algebras. II: Model theory
cites work: Model theory of operator algebras III: elementary equivalence and II1factors
cites work: A note on universal operators between separable Banach spaces
cites work: Generating the algebraic theory of C(X)
cites work: Classification theory for accessible categories
cites work: Universal abstract elementary classes and locally multipresentable categories
cites work: Accessible Categories: The Foundations of Categorical Model Theory
cites work: Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\)
cites work: Universal arrows to forgetful functors from categories of topological algebra
cites work: Elementary categories
cites work: Infinitary stability theory
DOI: 10.1016/J.JPAA.2022.107245
description: scientific article