English
Related papers

Related papers: Quantifier elimination in C*-algebras

200 papers

We present a class of subshifts $Z_N, N = 1,2,...$ whose associated $C^*$-algebras ${\cal O}_{Z_N}$ are simple, purely infinite and not stably isomorphic to any Cuntz-Krieger algebra nor to Cuntz algebra. The class of the subshifts is the…

Operator Algebras · Mathematics 2008-05-20 Kengo Matsumoto

In a pure C*-algebra (i.e., one having suitable regularity properties in its Cuntz semigroup), any element on which all bounded traces vanish is a sum of 7 commutators.

Operator Algebras · Mathematics 2015-04-02 Ping Wong Ng , Leonel Robert

We introduce the notion of a computably strongly self-absorbing C*-algebra and show that the following C*-algebras are computably strongly self-absorbing: the Cuntz algebras $\mathcal{O}_2$ and $\mathcal{O}_\infty$, the UHF algebra…

Logic · Mathematics 2024-09-30 Isaac Goldbring

We prove that for every $n\geq 2$, the reduced group $C^*$-algebras of the countable free groups $C^*_r(\mathbb{F}_n)$ have strict comparison. Our method works in a general setting: for $G$ in a large family of non-amenable groups,…

Operator Algebras · Mathematics 2025-08-28 Tattwamasi Amrutam , David Gao , Srivatsav Kunnawalkam Elayavalli , Gregory Patchell

We define C*-algebras on a Fock space such that the Hamiltonians of quantum field models with positive mass are affiliated to them. We describe the quotient of such algebras with respect to the ideal of compact operators and deduce…

Mathematical Physics · Physics 2007-05-23 Vladimir Georgescu

A class of C*-algebras is described for which the homomorphism from $C_0(0,1]$ to the algebra may be classified by means of the Cuntz semigroup functor. Examples are given of algebras--simple and non-simple--for which this classification…

Operator Algebras · Mathematics 2009-05-06 Leonel Robert , Luis Santiago

We derive faithful inclusions of C*-algebras from a coend-type construction in unitary tensor categories. This gives rise to different potential notions of discreteness for an inclusion in the non-irreducible case, and provides a unified…

Operator Algebras · Mathematics 2026-01-06 Lucas Hataishi , Roberto Hernández Palomares

One introduces the notion of C*-algebra with polarization which could be considered as the quantum Kahler structure. The connection of these algebras with Kostant-Souriou geometric quantization is shown. The theory of polarized C*-algebra…

Mathematical Physics · Physics 2007-05-23 Anatol Odzijewicz

Fix 2<n<\omega. Let L_n denote first order logic restricted to the first n variables. CA_n denotes the class of cylindric algebras of dimension n and for m>n, Nr_n\CA_m(\subseteq CA_n) denotes the class of n-neat reducts of CA_m's. The…

Logic · Mathematics 2016-08-12 Tarek Sayed Ahmed

Wigner's Theorem states that bijections of the set P_1(H) of one-dimensional projections on a Hilbert space H that preserve transition probabilities are induced by either a unitary or an anti-unitary operator on H (which is uniquely…

Mathematical Physics · Physics 2020-08-26 Klaas Landsman , Kitty Rang

We show that a C*-algebra generated by an irreducible representation of a finitely generated virtually nilpotent group satisfies the universal coefficient theorem and has real rank 0. This combines with previous joint work with Gillaspy and…

Operator Algebras · Mathematics 2024-08-16 Caleb Eckhardt

We prove that all finite joint distributions of creation and annihilation operators in Monotone and anti-Monotone Fock spaces can be realized as Quantum Central Limit of certain operators on a $C^*$-algebra, at least when the test functions…

Probability · Mathematics 2017-01-02 Vitonofrio Crismale , Francesco Fidaleo , Yun Gang Lu

In this article, we will define two canonical cohomology theories for Hopf $C^*$-algebras and for Hopf von Neumann algebras (with coefficients in their bicomodules). We will then study the situations when these cohomologies vanish. The…

Operator Algebras · Mathematics 2007-05-23 Chi-Keung Ng

It is proved that: (1) The Fourier algebra A(G) of a simple Lie group G of real rank at least 2 with finite center does not have a multiplier bounded approximate unit. (2) The reduced C*-algebra of any lattice in a non-compact simple Lie…

Operator Algebras · Mathematics 2016-03-02 Uffe Haagerup

Let $R$ be an o-minimal expansion of a group in a language in which $\textrm{Th}(R)$ eliminates quantifiers, and let $C$ be a predicate for a valuational cut in $R$. We identify a condition that implies quantifier elimination for…

Logic · Mathematics 2020-07-17 Clifton Ealy , Jana Maříková

We prove a number of results having to do with equipping type-I $\mathrm{C}^*$-algebras with compact quantum group structures, the two main ones being that such a compact quantum group is necessarily co-amenable, and that if the…

Operator Algebras · Mathematics 2020-08-11 Alexandru Chirvasitu , Jacek Krajczok , Piotr M. Sołtan

In this paper we solve a question of Simon Wassermann, whether the Calkin algebra can be written as a C*-tensor product of two infinite dimensional C*-algebras. More generally we show that there is no surjective *-homomorphism from a…

Operator Algebras · Mathematics 2013-10-01 Saeed Ghasemi

In this paper, we introduce a $C^{\ast}$-algebra associated with a proper primitive substitution. We show that the $C^{\ast}$-algebra is simple and purely infinite and contains the associated Cuntz-Krieger algebra and the crossed product…

Operator Algebras · Mathematics 2008-06-26 Masaru Fujino

We show that a separable purely infinite C*-algebra is of real rank zero if and only if its primitive ideal space has a basis consisting of compact-open sets and the natural map K_0(I) -> K_0(I/J) is surjective for all closed two-sided…

Operator Algebras · Mathematics 2010-11-24 Cornel Pasnicu , Mikael Rordam

In the given article it is introduced new notions of a C$^*$-algebra of von Neumann type I and C$^*$-algebras of types I$_n$, II, II$_1$, II$_\infty$ and III. It is proved that any GCR-algebra is a C$^*$-algebra of von Neumann type I, and a…

Operator Algebras · Mathematics 2015-08-18 Arzikulov Farhodjon