Model Theory of Operator Systems and C$^*$-Algebras

Thomas Sinclair

DOI: https://doi.org/10.48550/arXiv.2210.03862

2022-10-08

Operator Algebras

Abstract:We survey the model theory of operator systems and C$^*$-algebras.

What problem does this paper attempt to address?

Fraïssé theory in operator algebras

Alessandro Vignati

DOI: https://doi.org/10.48550/arXiv.2209.03442

2022-11-02

Abstract:We overview the development of Fraïssé theory in the setting of continuous model theory, and some of the its recent applications to $\mathrm{C}^*$-algebra theory and functional analysis.

Operator Algebras,Logic
Operator algebras: an informal overview

Fernando Lledó

DOI: https://doi.org/10.48550/arXiv.0901.0232

2009-01-02

Abstract:In this article we give a short and informal overview of some aspects of the theory of C*- and von Neumann algebras. We also mention some classical results and applications of these families of operator algebras.

Operator Algebras,Mathematical Physics,Functional Analysis
A Monotone Selection Principle in C*-algebras

Marco Thill

DOI: https://doi.org/10.48550/arXiv.math/0311438

2019-01-19

Abstract:We apply to operator algebra theory a monotone selection principle which apparently escaped attention (of operator algebra theorists) so far. This principle relates to the basic order theoretic characterisation of von Neumann algebras given by Kadison, and the simplified form this result takes in separable Hilbert spaces. In the separable case we need only consider increasing sequences rather than increasing nets. We apply an argument of Klaus Floret to show that, within the realm of commutativity, there exists a general monotone selection principle providing for this simplification. Thereby we obtain a valuable shortcut and a handy tool for related purposes. Actually, a more general selection principle is proved within the framework of vector lattices.

Functional Analysis
Model theory and Ultrapower Embedding Problems in Operator Algebras

Isaac Goldbring

DOI: https://doi.org/10.48550/arXiv.2210.01223

2022-10-03

Logic

Abstract:We survey the model theoretic approach to a variety of ultrapower embedding problems in operator algebras.
An Introduction To Continuous Model Theory

Bradd Hart

2023-03-07

Abstract:We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as $C^*$-algebras and von Neumann algebras. The role of ultraproducts is highlighted and expositions of definable sets, imaginaries, quantifier elimination and separable categoricity are included.

Operator Algebras,Logic
$C^*$-algebras associated to directed graphs of groups, and models of Kirchberg algebras

Victor Wu

2024-03-05

Abstract:We introduce $C^*$-algebras associated to directed graphs of groups. In particular, we associate a combinatorial $C^*$-algebra to each row-finite directed graph of groups with no sources, and show that this $C^*$-algebra is Morita equivalent to the crossed product coming from the corresponding group action on the boundary of a directed tree. Finally, we show that these $C^*$-algebras (and their Morita equivalent crossed products) contain the class of stable UCT Kirchberg algebras.

Operator Algebras
Principles of operator algebras

Teo Banica

2024-08-14

Abstract:This is an introduction to the algebras $A\subset B(H)$ that the linear operators $T:H\to H$ can form, once a complex Hilbert space $H$ is given. Motivated by quantum mechanics, we are mainly interested in the von Neumann algebras, which are stable under taking adjoints, $T\to T^*$, and are weakly closed. When the algebra has a trace $tr:A\to\mathbb C$, we can think of it as being of the form $A=L^\infty(X)$, with $X$ being a quantum measured space. Of particular interest is the free case, where the center of the algebra reduces to the scalars, $Z(A)=\mathbb C$. Following von Neumann, Connes, Jones, Voiculescu and others, we discuss the basic properties of such algebras $A$, and how to do algebra, geometry, analysis and probability on the underlying quantum spaces $X$.

Operator Algebras,Mathematical Physics,Functional Analysis,Quantum Algebra
Model theory of algebraically closed fields

Anand Pillay

DOI: https://doi.org/10.1007/978-3-540-68521-0_4

2024-03-11

Lecture notes in mathematics

Abstract:We give a survey of the model-theoretic approach to algebraically closed fields, algebraic varieties and algebraic groups. Much of what we say is taken quite directly from other sources, specifically [Po 89], [Po 87, Chapter 4], [Bousl 89], and [Pi 89], as well as from basic textbooks on algebraic geometry and algebraic groups ([Sh], [Bor]). As we tend to be brief with our proofs, the reader is advised to look at these other sources for additional details, where appropriate. Also all relevant attributions of results can be found there. The reader should see [Zie] in this volume for ω-stability, imaginaries, canonical bases etc. The present paper can serve as an introduction to naive algebraic geometry for model-theorists, as all the basic notions will be defined.

mathematics
Noncommutative domains, universal operator models, and operator algebras

Gelu Popescu

2024-04-14

Abstract:Let B(H) be the algebra of all bounded linear operators on a Hilbert space H. The main goal of the paper is to find large classes of noncommutative domains in B(H) with prescribed universal operator models, acting on the full Fock space with n generators, and to study these domains and their universal models in connection with the Hardy algebras and the C^*-algebras they generate.

Functional Analysis,Operator Algebras
Some Aspects of Operator Algebras in Quantum Physics

A.F. Reyes-Lega

DOI: https://doi.org/10.1142/9789814730884_0001

2016-12-23

Abstract:Motivated by the sharp contrast between classical and quantum physics as probability theories, in these lecture notes I introduce the basic notions of operator algebras that are relevant for the algebraic approach to quantum physics. Aspects of the representation theory of C*-algebras will be motivated and illustrated in physical terms. Particular emphasis will be given to explicit examples from the theory of quantum phase transitions, where concepts coming from strands as diverse as quantum information theory, algebraic quantum physics and statistical mechanics agreeably converge, providing a more complete picture of the physical phenomena involved.

Quantum Physics,Mathematical Physics
Operator algebras associated to modules over an integral domain

Benton L. Duncan

DOI: https://doi.org/10.48550/arXiv.1607.08567

2016-07-29

Abstract:We use the Fock semicrossed product to define an operator algebra associated to a module over an integral domain. We consider the $C^*$-envelope of the semicrossed product, and then consider properties of these algebras as models for studying general semicrossed products.

Operator Algebras
Real $K$-Theory for $C^*$-Algebras: Just the Facts

Jeff Boersema,Claude Schochet

2024-07-08

Abstract:This paper is intended to present the basic properties of $KO$-theory for real $C^*$-algebras and to explain its relationship with complex $K$-theory and with $KR$- theory. Whenever possible we will rely upon proofs in printed literature, particularly the work of Karoubi, Wood, Schröder, and more recent work of Boersema and J. M. Rosenberg. In addition, we shall explain how $KO$-theory is related to the Ten-Fold Way in physics and point out how some deeper features of $KO$-theory for operator algebras may provide powerful new tools there. Commutative real $C^*$-algebras NOT of the form $C^R(X)$ will play a special role. We also will identify Atiyah's $KR^0(X, \tau ))$ in terms of $KO_0$ of an associated real $C^*$-algebra.

Operator Algebras,K-Theory and Homology
The role of C*-algebras in infinite dimensional numerical linear algebra

William Arveson

DOI: https://doi.org/10.48550/arXiv.funct-an/9306003

1993-06-09

Abstract:This is a survey of four recent papers which deal with the relationship of simple C*-algebras to the problem of computing the spectra of self-adjoint operators in the general case, especially when the spectrum is not discrete. It is an expanded version of a talk presented at the 50 year C*-algebra celebration, held at the annual meeting of the AMS in San Antonio during January, 1993.

Functional Analysis,Operator Algebras
Lecture notes on operator algebras and their application in physics

Alexander Kegeles

DOI: https://doi.org/10.48550/arXiv.2208.10151

2022-08-22

Abstract:Lecture notes to a one-term course on operator algebras and their application in physics. Very brief and basic introduction to the subject of Banach- and C-star algebras complemented with their appearance in physics. The course is intended at mathematics students in their master program with a basic knowledge of functional analysis and some interest in the foundations of quantum mechanics.

Mathematical Physics
Operator Algebras of Universal Quantum Homomorphisms

Pierre Fima,Malay Mandal,Issan Patri

2024-11-28

Abstract:Given two unital C*-algebras $A$ and $B$, we study, when it exists, the universal unital $C^*$-algebra $\mathcal{U}(A,B)$ generated by the coefficients of a unital $*$-homomorphism $\rho\,:\, A\rightarrow B\otimes\mathcal{U}(A,B)$. When $B$ is finite dimensional, it is well known that $\mathcal{U}(A,B)$ exists and we study in this case properties LP, RFD, primitiveness and the UCT as well as $K$-theory. We also construct a reduced version of $\mathcal{U}(A,B)$ for which we study exactness, nuclearity, simplicity, absence of non-trivial projection and $K$-theory. Then, we consider the von Neumann algebra generated by the reduced version and study factoriality, amenability, fullness, primeness, absence of Cartan, Connes' invariants, Haagerup property and Connes' embeddability. Next, we consider the case when $B$ is infinite dimensional: we show that for any non-trivial separable unital $C^*$-algebra $A$, $\mathcal{U}(A,B)$ exists if and only if $B$ is finite dimensional. Nevertheless, we show that there exists a unique unital locally $C^*$-algebra generated by the coefficients of a unital continuous $*$-homomorphism $\rho\,:\, A\rightarrow B\otimes\mathcal{U}(A,B)$. Finally, we study a natural quantum semigroup structure on $\mathcal{U}(A,A)$.

Operator Algebras,Functional Analysis
Correspondences, Ultraproducts and Model Theory

Isaac Goldbring,Bradd Hart,Thomas Sinclair

DOI: https://doi.org/10.48550/arXiv.1809.00049

2019-11-14

Abstract:We study correspondences of tracial von Neumann algebras from the model-theoretic point of view. We introduce and study an ultraproduct of correspondences and use this ultraproduct to prove, for a fixed pair of tracial von Neumann algebras M and N, that the class of M-N correspondences forms an elementary class. We prove that the corresponding theory is classifiable, all of its completions are stable, that these completions have quantifier elimination in an appropriate language, and that one of these completions is in fact the model companion. We also show that the class of triples (M, H, N), where M and N are tracial von Neumann algebras and H is an M-N correspondence, form an elementary class. As an application of our framework, we show that a II_1 factor M has property (T) precisely when the set of central vectors form a definable set relative to the theory of M-M correspondences. We then use our approach to give a simpler proof that the class of structures (M, Phi), where M is a sigma-finite von Neumann algebra and Phi is a faithful normal state, forms an elementary class. Finally, we initiate the study of a family of Connes-type ultraproducts on C*-algebras.

Logic,Operator Algebras
A systematic approach for invariants of C*-algebras

Laurent Cantier

2023-09-02

Abstract:We define a categorical framework in which we build a systematic construction that provides generic invariants for C*-algebras. The benefit is significant as we show that any invariant arising this way automatically enjoys nice properties such as continuity, metric on morphisms and a theory of ideals and quotients which naturally encapsulates compatibility diagrams. Consequently, any of these invariants appear as good candidates for the classification of non-simple C*-algebras. Further, it is worth mentioning that most of the existing invariants could be rewritten via this method. As an application, we define an Hausdorffized version of the unitary Cuntz semigroup and explore its potential towards classification results. We pose several open lines of research.

Operator Algebras,Category Theory
A generalization of K-theory to operator systems

Walter D. van Suijlekom

2024-09-04

Abstract:We propose a generalization of K-theory to operator systems. Motivated by spectral truncations of noncommutative spaces described by $C^*$-algebras and inspired by the realization of the K-theory of a $C^*$-algebra as the Witt group of hermitian forms, we introduce new operator system invariants indexed by the corresponding matrix size. A direct system is constructed whose direct limit possesses a semigroup structure, and we define the $K_0$-group as the corresponding Grothendieck group. This is an invariant of unital operator systems, and, more generally, an invariant up to Morita equivalence of operator systems. For $C^*$-algebras it reduces to the usual definition. We illustrate our invariant by means of the spectral localizer.

Operator Algebras,Functional Analysis,K-Theory and Homology
The spectral model of (Real) $K$-theory

Anupam Datta

2024-10-29

Abstract:We use homotopy theoretic ideas to study the $K$-theory of (graded, Real) $C^*$-algebras in detail. After laying the foundations, and deriving the formal properties, the comparison of the model with the Kasparov picture of $K$-theory has been made, and Bott periodicity has been proven using a Dirac-dual Dirac method.

K-Theory and Homology,Operator Algebras
Super Operator Systems, Strong Norms, and Operator Tensor Products

Ulrich Haag

DOI: https://doi.org/10.48550/arXiv.1206.6970

2013-08-02

Abstract:A notion of super operator system is defined which generalizes the usual notion of operator systems to include certain unital involutive operator spaces which cannot be represented completely isometric as a concrete operator system on some Hilbert space. They can nevertheless be represented by bounded operators on a standard Z_2-graded Hilbert space equipped with a superinvolution. We apply this theory to investigate on the relation between certain tensor products defined for operator spaces and C^*-algebras, such as the projective tensor product, the Haagerup tensor product and the maximal C^*-tensor product.

Operator Algebras

Model Theory of Operator Systems and C$^*$-Algebras

Fraïssé theory in operator algebras

Operator algebras: an informal overview

A Monotone Selection Principle in C*-algebras

Model theory and Ultrapower Embedding Problems in Operator Algebras

An Introduction To Continuous Model Theory

$C^*$-algebras associated to directed graphs of groups, and models of Kirchberg algebras

Principles of operator algebras

Model theory of algebraically closed fields

Noncommutative domains, universal operator models, and operator algebras

Some Aspects of Operator Algebras in Quantum Physics

Operator algebras associated to modules over an integral domain

Real $K$-Theory for $C^*$-Algebras: Just the Facts

The role of C*-algebras in infinite dimensional numerical linear algebra

Lecture notes on operator algebras and their application in physics

Operator Algebras of Universal Quantum Homomorphisms

Correspondences, Ultraproducts and Model Theory

A systematic approach for invariants of C*-algebras

A generalization of K-theory to operator systems

The spectral model of (Real) $K$-theory

Super Operator Systems, Strong Norms, and Operator Tensor Products