Related papers: Quantifier elimination in C*-algebras

We construct in this note a unital properly infinite C*-algebra which is not K$_1$-injective.

In this article we will review some notions of infiniteness that appear in Hilbert space operators and operator algebras. These include proper infiniteness, Murray von Neumann's classification into type I and type III factors and the class…

Given a nonunital $\mathrm{C}^*$-algebra $A$ one constructs its corona algebra $\mathcal M(A)/A$. This is the noncommutative analog of the \v{C}ech-Stone remainder of a topological space. We analyze the two faces of these algebras: the…

The concept of quantization consists in replacing commutative quantities by noncommutative ones. In mathematical language an algebra of continuous functions on a locally compact topological space is replaced with a noncommutative…

We consider the properties weak cancellation, K_1-surjectivity, good index theory, and K_1-injectivity for the class of extremally rich C*-algebras, and for the smaller class of isometrically rich C*-algebras. We establish all four…

We consider three notions of divisibility in the Cuntz semigroup of a C*-algebra, and show how they reflect properties of the C*-algebra. We develop methods to construct (simple and non-simple) C*-algebras with specific divisibility…

As recently pointed out by Gabe, a fundamental paper by Elliott and Kucerovsky concerning the absorption theory for C*-algebras contains an error, and as a consequence we must report that Lemma 4.5 in "Classifying C*-algebras with both…

In this note we analyze the C*-algebra associated with a branched covering both as a groupoid C*-algebra and as a Cuntz-Pimsner algebra. We determine conditions when the algebra is simple and purely infinite. We indicate how to compute the…

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…

We give an example of a unital C*-algebra $\mathbf{A}$ with a computable presentation and for which neither $K_0(\mathbf{A})$ nor $K_1(\mathbf{A})$ has a computable presentation.

Recent improvement on Tarski's procedure for quantifier elimination in the first order theory of real numbers makes it feasible to solve small instances of the following problems completely automatically: 1. listing all equality and…

We show that if $G$ is a second countable locally compact Hausdorff \'etale groupoid carrying a suitable cocycle $c:G\to\mathbb{Z}$, then the reduced $C^*$-algebra of $G$ can be realised naturally as the Cuntz-Pimsner algebra of a…

Let $X$ be a locally compact non compact Hausdorff topological space. Consider the algebras $C(X)$, $C_b(X)$, $C_0(X)$, and $C_{00}(X)$ of respectively arbitrary, bounded, vanishing at infinity, and compactly supported continuous functions…

Fix a finite ordinal n>2. We show that there exists an atomic, simple and countable representable CA_n, such that its minimal completion is outside SNr_nCA_{n+3}. Hence, for any finite k\geq 3, the variety SNr_nCA_{n+k} is not…

A new C*-enlargement of a C*-algebra $A$ nested between the local multiplier algebra $M_{\text{loc}}(A)$ of $A$ and its injective envelope $I(A)$ is introduced. Various aspects of this maximal C*-algebra of quotients, $Q_{\text{max}}(A)$,…

The simplest case of a manifold with singularities is a manifold M with boundary, together with an identification of the boundary with a product M1 x P, where P is a fixed manifold. The associated singular space is obtained by collapsing P…

We address the classification problem for graph $C^*$-algebras of finite graphs (finitely many edges and vertices), containing the class of Cuntz-Krieger algebras as a prominent special case. Contrasting earlier work, we do not assume that…

We study the theory of a Hilbert space H as a module for a unital C*-algebra A from the point of view of continuous logic. We give an explicit axiomatization for this theory and describe the structure of all the representations which are…

From a planar algebra, we give a functorial construction to produce numerous associated $C^*$-algebras. Our main construction is a Hilbert $C^*$-bimodule with a canonical real subspace which produces Pimsner-Toeplitz, Cuntz-Pimsner, and…

Given a closed ideal $I$ in a C*-algebra $A$, we develop techniques to bound the real rank of $A$ in terms of the real ranks of $I$ and $A/I$. Building on work of Brown, Lin and Zhang, we obtain complete solutions if $I$ belongs to any of…