Related papers: Quantifier elimination in C*-algebras

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…

By using C*-correspondences and Cuntz-Pimsner algebras, we associate to every subshift (also called a shift space) $X$ a C*-algebra $O_X$, which is a generalization of the Cuntz-Krieger algebras. We show that $O_X$ is the universal…

A universal C*-algebra of the electromagnetic field is constructed. It is represented in any quantum field theory which incorporates electromagnetism and expresses basic features of this field such as Maxwell's equations, Poincar\'e…

In this paper, we study the notion of a separability idempotent in the C*-algebra framework. This is analogous to the notion in the purely algebraic setting, typically considered in the case of (finite-dimensional) algebras with identity,…

S. L. Woronowicz's theory of introducing C*-algebras generated by unbounded elements is applied to q-normal operators satisfying the defining relation of the quantum complex plane. The unique non-degenerate C*-algebra of bounded operators…

In this paper it is shown that the lattice of C*-covers of an operator algebra does not contain enough information to distinguish operator algebras up to completely isometric isomorphism. In addition, four natural equivalences of the…

The standard C*-algebraic version of the algebra of canonical commutation relations, the Weyl algebra, frequently causes difficulties in applications since it neither admits the formulation of physically interesting dynamical laws nor does…

In this paper, we apply quantitative operator K-theory to develop an algorithm for computing K-theory for the class of filtered C *-algebras with asymptotic finite nuclear decomposition. As a consequence, we prove the K{\"u}nneth formula…

It is proved that the K_0-group of a cluster C*-algebra is isomorphic to the corresponding cluster algebra. As a corollary, one gets a shorter proof of the positivity conjecture for cluster algebras. As an example, we consider a cluster…

Given a simple, acyclic dimension group $G_{0}$ and countable, torsion-free, abelian group $G_{1}$, we construct a minimal, amenable, \'{e}tale equivalence relation $R$ on a Cantor set whose associated groupoid $C^{*}$-algebra, $C^{*}(R)$,…

In this paper, we consider the simplicity of the C*-algebra associated to an arbitrary weakly left-resolving labeled space (E, L, E), where E is the smallest non-degenerate accommodating set. We classify all gauge-invariant ideals of C*(E,…

We construct a De Morgan algebra-valued logic with quantifiers, where the truth values are in a finite De Morgan algebra, We show that there is a representation theorem of the cylindric algebra of this logic from which a completeness…

The faithful irreducible $*$-representations of the $C^*$-algebra of the quantum symplectic sphere $S_q^{4n-1}, n\geq 2$, have been investigated by D'Andrea and Landi. They proved that the first $n-1$ generators are all zero inside…

We consider the question of when the multiplier algebra $M(\mathcal{A})$ of a $C^*$-algebra $\mathcal{A}$ is a $ W^*$-algebra, and show that it holds for a stable $C^*$-algebra exactly when it is a $C^*$-algebra of compact operators. This…

It is well known that the C*-algebra of an ordered pair of qubits is M_2 (x) M_2. What about unordered pairs? We show in detail that M_3 (+) C is the C*-algebra of an unordered pair of qubits. Then we use Schur-Weyl duality to characterize…

We study some properies of $Z^{*}$ algebras, thos C^* algebra which all positive elements are zero divisors. We show by means of an example that an extension of a Z* algebra by a Z* algebra is not necessarily Z* algebra. However we prove…

For elements $a, b$ of a C*-algebra we denote $a=ab$ by $a\ll b$. We show that all $\omega_1$-unital C*-algebras have $\ll$-increasing approximate units, extending a classical result for $\sigma$-unital C*-algebras. We also construct (in…

We consider two Z/2Z-actions on the Podles generic quantum spheres. They yield, as noncommutative quotient spaces, the Klimek-Lesniewski q-disc and the quantum real projective space, respectively. The C*-algebras of all these quantum spaces…

Let X be a path connected, compact metric space and let A be a unital separable simple nuclear Z-stable real rank zero C*-algebra. We classify all the unital *-embeddings (up to approximate unitary equivalence) of C(X) into A. Specifically,…

We present an operator-algebraic approach to the quantization and reduction of lattice field theories. Our approach uses groupoid C*-algebras to describe the observables and exploits Rieffel induction to implement the quantum gauge…