相关论文: Model theory of operator algebras I: Stability

We answer a question of E. Kirchberg (personal communication): does the relative commutant of a separable C*-algebra in its ultrapower depend on the choice of the ultrafilter?

The relative commutant $A'\cap A^{\mathcal{U}}$ of a strongly self-absorbing algebra $A$ is indistinguishable from its ultrapower $A^{\mathcal{U}}$. This applies both to the case when $A$ is the hyperfinite II$_1$ factor and to the case…

We prove a strong dichotomy for the number of ultrapowers of a given countable model associated with nonprincipal ultrafilters on N. They are either all isomorphic, or else there are $2^{2^{\aleph_0}}$ many nonisomorphic ultrapowers. We…

We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is…

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$…

We prove that there exist uncountably many separable II$_1$ factors whose ultrapowers (with respect to arbitrary ultrafilters) are non-isomorphic. In fact, we prove that the families of non-isomorphic II$_1$ factors originally introduced by…

We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II_1 factors and their ultrapowers. Among other things, we show that for any II_1 factor M, there are continuum many nonisomorphic…

Let $B(H)$ be the algebra of bounded linear operators on a separable infinite-dimensional Hilbert space $H$. We study the commutant of $B(H)$ in its ultrapower. We characterize the class of non-principal ultrafilters for which this…

We show that the following operator algebras have hyperarithmetic theory: the hyperfinite II$_1$ factor $\mathcal R$, $L(\Gamma)$ for $\Gamma$ a finitely generated group with solvable word problem, $C^*(\Gamma)$ for $\Gamma$ a finitely…

We axiomatize in (first order finitary) continuous logic for metric structures $\sigma$-finite $W^*$-probability spaces and preduals of von Neumann algebras jointly with a weak-* dense $C^*$-algebra of its dual. This corresponds to the…

Various subsets of the tracial state space of a unital C*-algebra are studied. The largest of these subsets has a natural interpretation as the space of invariant means. II_1-factor representations of a class of C*-algebras considered by…

Let M be a factor of type III with separable predual and with normal states phi_1,...,phi_k, omega with omega faithful. Let A be a finite dimensional C*-subalgebra of M. Then it is shown that there is a unitary operator u in M such that…

In the classical operator theory, there are several versions of spectra, related to special classes of operators (Fredholm, semi-Fredholm, upper/lower semi-Fredholm,etc.). We generalize these notions for adjointable operators on Hilbert…

A semiregular operator on a Hilbert C^*-module, or equivalently, on the C^*-algebra of `compact' operators on it, is a closable densely defined operator whose adjoint is also densely defined. It is shown that for operators on extensions of…

It is shown that, for a C*-algebra of stable rank one (i.e., in which the invertible elements are dense), two well-known isomorphism invariants, the Cuntz semigroup and the Thomsen semigroup, contain the same information. More precisely,…

In this article we survey some of the recent goings-on in the classification programme of C$^*$-algebras, following the interesting link found between the Cuntz semigroup and the classical Elliott invariant and the fact that the Elliott…

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…

Starting from involutive BE algebras, we redefine the orthomodular algebras, by introducing the notion of implicative-orthomodular algebras. We investigate properties of implicative-orthomodular algebras, and give characterizations of these…

We prove that the relative commutant of a diffuse von Neumann subalgebra in a hyperbolic group von Neumann algebra is always injective. It follows that any non-injective subfactor in a hyperbolic group von Neumann algebra is non-Gamma and…

We explore commutativity up to a factor, $AB=\lambda BA$, for bounded operators in a complex Hilbert space. Conditions on the possible values of the factor $\lambda$ are formulated and shown to depend on spectral properties of the operators…