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.

What problem does this paper attempt to address?

Enforceable operator algebras

Isaac Goldbring

DOI: https://doi.org/10.1017/S1474748019000112

2017-07-12

Abstract:We adapt the classical notion of building models by games to the setting of continuous model theory. As an application, we study to what extent canonical operator algebras are enforceable models. For example, we show that the hyperfinite II$_1$ factor is an enforceable II$_1$ factor if and only if the Connes Embedding Problem has a positive solution. We also show that the set of continuous functions on the pseudoarc is an enforceable model of the theory of unital, projectionless, abelian \cstar-algebras and use this to show that it is the prime model of its theory.

Operator Algebras,Logic
Elliptic Genus and Vertex Operator Algebras

Chongying Dong,Kefeng Liu,Xiaonan Ma

DOI: https://doi.org/10.2140/agt.2001.1.743

2005-01-01

Pure and Applied Mathematics Quarterly

Abstract:We construct bundles of modules of vertex operator algebras, and prove the rigidity and vanishing theorem for the Dirac operator on loop space twisted by such bundles. This result generalizes many previous results.
A survey on the model theory of tracial von Neumann algebras

Isaac Goldbring,Bradd Hart

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

2022-10-27

Abstract:We survey the developments in the model theory of tracial von Neumann algebras that have taken place in the last fifteen years. We discuss the appropriate first-order language for axiomatizing this class as well as the subclass of II$_1$ factors. We discuss how model-theoretic ideas were used to settle a variety of questions around isomorphism of ultrapowers of tracial von Neumann algebras with respect to different ultrafilters before moving on to more model-theoretic concerns, such as theories of II$_1$ factors and existentially closed II$_1$ factors. We conclude with two recent applications of model-theoretic ideas to questions around relative commutants.

Logic,Operator Algebras
Continuous model theories for von Neumann algebras

Yoann Dabrowski

DOI: https://doi.org/10.1016/j.jfa.2019.108308

IF: 1.891

2019-12-01

Journal of Functional Analysis

Abstract:We axiomatize in continuous logic for metric structures σ-finite <math>W⁎</math>-probability spaces and preduals of von Neumann algebras jointly with a weak-* dense <math>C⁎</math>-algebra of its dual. This corresponds respectively to the Ocneanu ultrapower and the Groh ultrapower of (σ-finite in the first case) von Neumann algebras. We give various axiomatizability results corresponding to recent results of Ando and Haagerup including axiomatizability of <math>IIIλ</math> factors for <math>0<λ≤1</math> fixed and their preduals. We also strengthen the concrete Groh theory to an axiomatization result for preduals of von Neumann algebras in the language of tracial matrix-ordered operator spaces, a natural language for preduals of dual operator systems. We give an application to the isomorphism of ultrapowers of factors of type III and <math>II∞</math> for different ultrafilters.

mathematics
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
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.
Undecidability and incompleteness in quantum information theory and operator algebras

Isaac Goldbring

2024-09-13

Abstract:We survey a number of incompleteness results in operator algebras stemming from the recent undecidability result in quantum complexity theory known as $\operatorname{MIP}^*=\operatorname{RE}$, the most prominent of which is the Gödelian refutation of the Connes Embedding Problem. We also discuss the very recent use of $\operatorname{MIP}^*=\operatorname{RE}$ in refuting the Aldous-Lyons conjecture in probability theory.

Logic,Computational Complexity,Operator Algebras,Quantum Physics
Model Theory of Ultrafinitism II: Deconstructing the Term Model (First Draft)

Mirco A. Mannucci

2023-11-27

Abstract:This paper presents a novel possible worlds semantics, designed to elucidate the underpinnings of ultrafinitism. By constructing a careful modification of the well-known Kripke models for inuitionistic logic, we seek to extend our comprehension of the ultra-finite mindset. As it turns out, the passage from standard constructivist mathematics to the ultrafinite is in a sense an operation of deconstruction of familiar mathematical entities, most notably clear when it comes to N.

Logic,Logic in Computer Science
Free algebras, universal models and Bass modules

Anand Pillay,Philipp Rothmaler

2024-07-17

Abstract:We investigate the question of when free structures of infinite rank (in a variety) possess model-theoretic properties like categoricity in higher power, saturation, or universality. Concentrating on left $R$-modules we show, among other things, that the free module of infinite rank $R^{(\kappa)}$ embeds every $\kappa$-generated flat left $R$-module iff $R$ is left perfect. Using a Bass module corresponding to a descending chain of principal right ideals, we construct a model of the theory $T$ of $R^{(\kappa)}$ whose projectivity is equivalent to left perfectness, which allows to add a "stronger" equivalent condition: $R^{(\kappa)}$ embeds every $\kappa$-generated flat left $R$-module which is a model of $T$. In addition, we extend the model-theoretic construction of this Bass module to arbitrary descending chains of pp formulas, resulting in a `Bass theory' of pure-projective modules. We put this new theory to use by reproving an old result of Daniel Simson about pure-semisimple rings and Mittag-Leffler modules.

Rings and Algebras
Algebraic theories of power operations

William Balderrama

2023-11-06

Abstract:We develop and exposit some general algebra useful for working with certain algebraic structures that arise in stable homotopy theory, such as those encoding well-behaved theories of power operations for $\mathbb{E}_\infty$ ring spectra. In particular, we consider Quillen cohomology in the context of algebras over algebraic theories, plethories, and Koszul resolutions for algebras over additive theories. By combining this general algebra with obstruction-theoretic machinery, we obtain tools for computing with $\mathbb{E}_\infty$ algebras over $\mathbb{F}_p$ and over Lubin-Tate spectra. As an application, we demonstrate the existence of $\mathbb{E}_\infty$ periodic complex orientations at heights $h\leq 2$.

Algebraic Topology,Category Theory
On Topics Related to Tensor Products with Abelian von Neumann Algebras

David Gao

2023-06-03

Abstract:In this note, we developed several results concerning abelian von Neumann algebras, their spectrums, and their tensor products with other von Neumann algebras. In particular, we developed a theory connecting elements of the spectrum of $L^\infty(\Omega, \mu)$ with ultrafilters on a Boolean algebra associated with $(\Omega, \mu)$, generalizing the case where $\Omega$ is a discrete space and its spectrum is identified with the space of ultrafilters on $\Omega$. These ultrafilters were also used to define a new kind of tracial ultrapowers. We also developed a theory representing elements of $L^\infty(\Omega, \mu) \bar{\otimes} M$ as functions that are continuous from the spectrum to $M$ equipped with the weak* topology, analogous to the classical direct integral theory, but which can apply to non-separable von Neumann algebras. We then applied this theory to prove several structural results of isomorphisms $L^\infty(\Omega, \mu) \bar{\otimes} M \rightarrow L^\infty(\Omega, \mu) \bar{\otimes} N$ where $M$ and $N$ are $\mathrm{II}_1$ factors and placed several constraints on $M$ and $N$. The ultrafilter representation of the spectrum was then used to perform certain calculations to provide specific examples regarding the spectrum representations of tensor products as well as the structures of isomorphisms $L^\infty(\Omega, \mu) \bar{\otimes} M \rightarrow L^\infty(\Omega, \mu) \bar{\otimes} N$.

Operator Algebras,Functional Analysis
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
Exponentiations of ultrafilters

Lorenzo Luperi Baglini

2024-12-06

Abstract:In recent years, several problems regarding the partition regularity of exponential configurations have been studied in the literature, in some cases using the properties of specific ultrafilters. In this paper, we start to lay down the foundations of a general theory of exponentiations of ultrafilters, with a particular focus on their combinatorial properties and the existence of idempotents.

Combinatorics
The theory of tracial von Neumann algebras does not have a model companion

Isaac Goldbring,Bradd Hart,Thomas Sinclair

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

2012-07-27

Abstract:In this note, we show that the theory of tracial von Neumann algebras does not have a model companion. This will follow from the fact that the theory of any locally universal, McDuff II_1 factor does not have quantifier elimination. We also show how a positive solution to the Connes Embedding Problem implies that there can be no model-complete theory of II_1 factors.

Logic,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
Constructing Ultrapowers from Elementary Extensions of Full Clones

Joseph Van Name

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

2012-06-30

Logic

Abstract:Let $A$ be an infinite set. Let $\Omega(A)$ be the algebra over $A$ where every constant is a fundamental constant and every finitary function is a fundamental operation. We shall give a method of representing any algebra $\mathcal{L}$ in the variety generated by $\Omega(A)$ as limit reduced powers and even direct limits of limit reduced powers of $\mathcal{L}$. If the algebra $\mathcal{L}$ is elementarily equivalent to $\Omega(A)$, then this construction represents $\Omega(A)$ as a limit ultrapower and also as direct limits of limit ultrapowers of $\Omega(A)$. This method therefore gives a method of representing Boolean ultrapowers and other generalizations of the ultrapower construction as limit ultrapowers and direct limits of limit ultrapowers.
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
Model structures on operads and algebras from a global perspective

Michael Batanin,Florian De Leger,David White

2023-11-13

Abstract:This paper studies the homotopy theory of the Grothendieck construction using model categories and semi-model categories, provides a unifying framework for the homotopy theory of operads and their algebras and modules, and uses this framework to produce model structures, rectification results, and properness results in new settings. In contrast to previous authors, we begin with a global (semi-)model structure on the Grothendieck and induce (semi-)model structures on the base and fibers. In a companion paper, we show how to produce such global model structures in general settings. Applications include numerous flavors of operads encoded by polynomial monads and substitudes (symmetric, non-symmetric, cyclic, modular, higher operads, dioperads, properads, and PROPs), (commutative) monoids and their modules, and twisted modular operads. We also prove a general result for upgrading a semi-model structure to a full model structure.

Algebraic Topology,Category Theory
Model Theory and the mean ergodic theorem for abelian unitary actions

Eduardo Dueñez,José Iovino

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

2014-09-22

Abstract:We explore connections between von Neumann's mean ergodic theorem and concepts of model theory. As an application we present a proof Wiener's generalization of von Neumann's result in which the group acting on the Hilbert space $\mathcal{H}$ is any abelian group of unitary transformations of $\mathcal{H}$.

Logic,Dynamical Systems
Super Formal Darboux-Weinstein Theorem and Finite W-superalgebras

Bin Shu,Husileng Xiao

DOI: https://doi.org/10.1016/j.jalgebra.2020.01.007

IF: 0.908

2020-01-01

Journal of Algebra

Abstract:Let v = v((0) over bar) + v((1) over bar) be a Z(2)-graded (super) vector space with an even C-x-action and chi is an element of v((0) over bar)* be a fixed point of the induced action. In this paper we prove an equivariant Darboux-Weinstein theorem for the formal polynomial algebras (A) over cap = S[v((0) over bar)]<^>(x) circle times Lambda(v((1) over bar)). We also give a quantum version of it. Let g = g((0) over bar) + g((1) over bar) be a basic Lie superalgebra and e is an element of g((0) over bar) be a nilpotent element. We use the equivariant quantum Darboux-Weinstein theorem to give a Poisson geometric realization of the finite W-superalgebra U(g, e) in the sense of Losev. An indirect relation between finite W-(super)algebras U(g, e) and U(g((0) over bar), e) is presented. Finally we use such a realization to study the finite-dimensional irreducible modules over U(g, e). (C) 2020 Elsevier Inc. All rights reserved.

Model theory and Ultrapower Embedding Problems in Operator Algebras

Enforceable operator algebras

Elliptic Genus and Vertex Operator Algebras

A survey on the model theory of tracial von Neumann algebras

Continuous model theories for von Neumann algebras

Correspondences, Ultraproducts and Model Theory

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

Undecidability and incompleteness in quantum information theory and operator algebras

Model Theory of Ultrafinitism II: Deconstructing the Term Model (First Draft)

Free algebras, universal models and Bass modules

Algebraic theories of power operations

On Topics Related to Tensor Products with Abelian von Neumann Algebras

Noncommutative domains, universal operator models, and operator algebras

Exponentiations of ultrafilters

The theory of tracial von Neumann algebras does not have a model companion

Super Operator Systems, Strong Norms, and Operator Tensor Products

Constructing Ultrapowers from Elementary Extensions of Full Clones

Some Aspects of Operator Algebras in Quantum Physics

Model structures on operads and algebras from a global perspective

Model Theory and the mean ergodic theorem for abelian unitary actions

Super Formal Darboux-Weinstein Theorem and Finite W-superalgebras