Nuclear C*-algebras and similarity problem

Evangelos Papapetros

2024-11-22

Abstract:We prove that the minimal tensor product of a $C^*$-algebra $\cl A$ satisfying Kadison's similarity property and a nuclear $C^*$-algebra $\cl B,$ satisfies Kadison's similarity property and its length $\ell\left(\cl A \tens \limits_{min} \cl B\right)$ is less than $3\,\ell(\cl A).$

Operator Algebras

What problem does this paper attempt to address?

The similarity problem and hyperreflexivity of von Neumann algebras

G.K. Eleftherakis,E. Papapetros

2024-01-18

Abstract:The similarity problem is one of the most famous open problems in the theory of $C^*$-algebras. We say that a $C^*$-algebra $\cl A$ satisfies the similarity property ((SP) for short) if every bounded homomorphism $u\colon \cl A\to \cl B(H)$ is similar to a $*$-homomorphism and that a von Neumann algebra $\cl A$ satisfies the weak similarity property ((WSP) for short) if every $\mathrm{w}^*$-conitnuous unital and bounded homomorphism $u\colon \cl A\to \cl B(H),$ where $H$ is a Hilbert space, is similar to a $*$-homomorphism. We prove that a von Neumann algebra $\cl A$ satisfies (WSP) if and only if the algebras $\cl A^{\prime}\bar \otimes \cl B(\ell^2(I))$ are hyperreflexive for all cardinals $I.$ In the case in which $\cl A$ is a separably acting von Neumann algebra we prove that it satisfies (WSP) if and only if the algebra $\cl A^\prime \bar \otimes \cl B(\ell^2(\bb{N}))$ is hyperreflexive. We also introduce the hypothesis {\bf (CHH)}: Every hyperreflexive separably acting von Neumann algebra is completely hyperreflexive. We show that under {\bf (CHH)}, all $C^*$-algebras satisfy (SP). Finally, we prove that the spatial tensor product $\cl A\bar \otimes \cl B,$ where $\cl A$ is an injective von Neumann algebra and $\cl B$ is a von Neumann algebra satisfying (WSP), also satisfies (WSP) and we provide an upper bound for the $\text{w}^*$-similarity degree $d_{*}(\cl A\bar \otimes \cl B).$

Operator Algebras
A continuum of $\mathrm{C}^*$-norms on $\IB(H)\otimes \IB(H)$ and related tensor products

Narutaka Ozawa,Gilles Pisier

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

2014-04-29

Abstract:For any pair $M,N$ of von Neumann algebras such that the algebraic tensor product $M\otimes N$ admits more than one $\mathrm{C}^*$-norm, the cardinal of the set of $\mathrm{C}^*$-norms is at least $ {2^{\aleph_0}}$. Moreover there is a family with cardinality $ {2^{\aleph_0}}$ of injective tensor product functors for $\mathrm{C}^*$-algebras in Kirchberg's sense. Let $\IB=\prod_n M_{n}$. We also show that, for any non-nuclear von Neumann algebra $M\subset \IB(\ell_2)$, the set of $\mathrm{C}^*$-norms on $\IB \otimes M$ has cardinality equal to $2^{2^{\aleph_0}}$.

Operator Algebras
Nuclearity of Hypergraph C*-Algebras

Björn Schäfer,Moritz Weber

2024-05-18

Abstract:We partially characterize nuclearity for the recently introduced class of hypergraph C*-algebras using a tailor-made hypergraph minor relation. The latter is generated by certain operations on hypergraphs which resemble the moves on directed graphs used by Eilers, Restorff, Ruiz and Sørensen to classify unital graph C*-algebras. In particular, we obtain a new proof of the fact that every graph C*-algebra associated to a finite graph is nuclear.

Operator Algebras
Nuclear dimension of extensions of commutative C*-algebras by Kirchberg algebras

Samuel Evington,Abraham C.S. Ng,Aidan Sims,Stuart White

2024-09-20

Abstract:We compute the nuclear dimension of extensions of C*-algebras involving commutative unital quotients and stable Kirchberg ideals. We identify the finite directed graphs whose C*-algebras are covered by this theorem.

Operator Algebras
Strict comparison for $C^*$-algebras arising from Almost finite groupoids

Pere Ara,Christian Bönicke,Joan Bosa,Kang Li

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

2020-03-04

Abstract:In this paper we show that for an almost finite minimal ample groupoid $G$, its reduced $\mathrm{C}^*$-algebra $C_r^*(G)$ has real rank zero and strict comparison even though $C_r^*(G)$ may not be nuclear in general. Moreover, if we further assume $G$ being also second countable and non-elementary, then its Cuntz semigroup ${\rm Cu}(C_r^*(G))$ is almost divisible and ${\rm Cu}(C_r^*(G))$ and ${\rm Cu}(C_r^*(G)\otimes \mathcal{Z})$ are canonically order-isomorphic, where $\mathcal{Z}$ denotes the Jiang-Su algebra.

Operator Algebras
Nuclearity and CPC*-systems

Kristin Courtney,Wilhelm Winter

2024-10-08

Abstract:We write arbitrary separable nuclear C*-algebras as limits of inductive systems of finite-dimensional C*-algebras with completely positive connecting maps. The characteristic feature of such CPC*-systems is that the maps become more and more orthogonality preserving. This condition makes it possible to equip the limit, a priori only an operator space, with a multiplication turning it into a C*-algebra. Our concept generalizes the NF systems of Blackadar and Kirchberg beyond the quasidiagonal case.

Operator Algebras
Calkin algebra, Kazhdan's property (T), strongly self-absorbing C*-algebras

Ilijas Farah

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

2023-09-29

Abstract:The Calkin algebra is not isomorphic to the corona of the stabilization of the Cuntz algebra~${\mathcal O}_\infty$, any other Kirchberg algebra, or even the corona of the stabilization of any unital, ${\mathcal Z}$-stable ${\mathrm C}^*$-algebra. The proof relies on properties of relative commutants of separable ${\mathrm C}^*$-subalgebras.

Operator Algebras
KK-rigidity of simple nuclear C*-algebras

Christopher Schafhauser

2024-09-06

Abstract:It is shown that if $A$ and $B$ are unital separable simple nuclear $\mathcal Z$-stable C$^*$-algebras and there is a unital embedding $A \rightarrow B$ which is invertible on $KK$-theory and traces, then $A \cong B$. In particular, two unital separable simple nuclear $\mathcal Z$-stable C$^*$-algebras which either have real rank zero or unique trace are isomorphic if and only if they are homotopy equivalent. It is further shown that two finite strongly self-absorbing C$^*$-algebras are isomorphic if and only if they are $KK$-equivalent in a unit-preserving way.

Operator Algebras
Classification of abelian finite-dimensional $C^*$-algebras by orthogonality

Bojan Kuzma,Sushil Singla

2024-11-04

Abstract:The main goal of the article is to prove that if $\mathcal A_1$ and $\mathcal A_2$ are Birkhoff-James isomorphic $C^*$-algebras over the fields $\mathbb F_1$ and $\mathbb F_2$, respectively and if $\mathcal A_1$ finite-dimensional, abelian of dimension greater than one, then $\mathbb F_1=\mathbb F_2$ and $\mathcal A_1$ and $\mathcal A_2$ are (isometrically) $\ast$-isomorphic $C^*$-algebras. Furthermore, it is also proved that for a finite-dimensional $C^*$-algebra $\mathcal A$, we have $\mathcal L_{\mathcal A}^\bot$ is the sum of minimal ideals which are not skew-fields and $\mathcal L_{\mathcal A}^{\bot\bot}$ is the sum of minimal ideals which are skew-fields, where $\mathcal L_{\mathcal A}$ denotes the set of all left-symmetric elements in $\mathcal A$ and for any subset $\mathcal S\subseteq \mathcal A$, the set $\mathcal S^\bot$ represents the set of all elements of $\mathcal A$ which are Birkhoff-James orthogonal to $\mathcal S$. A procedure to extract the minimal ideals which are (commutative) fields is also given.

Functional Analysis,Operator Algebras
On closed Lie ideals of certain tensor products of $C^*$-algebras

Ranjana Jain,Ved Prakash Gupta

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

2017-02-28

Abstract:For a simple $C^*$-algebra $A$ and any other $C^*$-algebra $B$, it is proved that every closed ideal of $A \otimes^{\min} B$ is a product ideal if either $A$ is exact or $B$ is nuclear. Closed commutator of a closed ideal in a Banach algebra whose every closed ideal possesses a quasi-central approximate identity is described in terms of the commutator of the Banach algebra. If $\alpha$ is either the Haagerup norm, the operator space projective norm or the $C^*$-minimal norm, then this allows us to identify all closed Lie ideals of $A \otimes^{\alpha} B$, where $A$ and $B$ are simple, unital $C^*$-algebras with one of them admitting no tracial functionals, and to deduce that every non-central closed Lie ideal of $B(H) \otimes^{\alpha} B(H)$ contains the product ideal $K(H) \otimes^{\alpha} K(H)$. Closed Lie ideals of $A \otimes^{\min} C(X)$ are also determined, $A$ being any simple unital $C^*$-algebra with at most one tracial state and $X$ any compact Hausdorff space. And, it is shown that closed Lie ideals of $A \otimes^{\alpha} K(H)$ are precisely the product ideals, where $A$ is any unital $C^*$-algebra and $\alpha$ any completely positive uniform tensor norm.

Operator Algebras
On Toeplitz algebras of product systems

Elias G. Katsoulis,Marcelo Laca,Camila F. Sehnem

2024-09-19

Abstract:In the setting of product systems over group-embeddable monoids, we consider nuclearity of the associated Toeplitz C*-algebra in relation to nuclearity of the coefficient algebra. Our work goes beyond the known cases of single correspondences and compactly aligned product systems over right LCM monoids. Specifically, given a product system over a submonoid of a group, we show, under technical assumptions, that the fixed-point algebra of the gauge action is nuclear iff the coefficient algebra is nuclear; when the group is amenable, we conclude that this happens iff the Toeplitz algebra itself is nuclear. Our main results imply that nuclearity of the Toeplitz algebra is equivalent to nuclearity of the coefficient algebra for every full product system of Hilbert bimodules over abelian monoids, over $ax+b$-monoids of integral domains and over Baumslag-Solitar monoids $BS^+(m,n)$ that admit an amenable embedding, which we provide for $m$ and $n$ relatively prime.

Operator Algebras
Non-linear classification of finite-dimensional simple $C^*$-algebras

Bojan Kuzma,Sushil Singla

2024-07-31

Abstract:A Banach space characterization of simple real or complex $C^*$-algebras is given which even characterizes the underlying field. As an application, it is shown that if $\mathfrak A_1$ and $\mathfrak A_2$ are Birkhoff-James isomorphic simple $C^*$-algebras over the fields $\mathbb F_1$ and $\mathbb F_2$, respectively and if $\mathfrak A_1$ is finite-dimensional with dimension greater than one, then $\mathbb F_1=\mathbb F_2$ and $\mathfrak A_1$ and $\mathfrak A_2$ are (isometrically) $\ast$-isomorphic $C^*$-algebras.

Operator Algebras,Functional Analysis
Uniqueness property for $C^*$-algebras given by relations with circular symmetry

B. K. Kwasniewski

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

2012-09-01

Abstract:A general method of investigation of the uniqueness property for $C^*$-algebra equipped with a circle gauge action is discussed. It unifies isomorphism theorems for various crossed products and Cuntz-Krieger uniqueness theorem for Cuntz-Krieger algebras.

Operator Algebras
Finite approximation properties of C*-modules III

Massoud Amini

DOI: https://doi.org/10.1515/forum-2023-0283

2024-01-02

Forum Mathematicum

Abstract:We introduce and study a notion of module nuclear dimension for a C * \mathrm{C}^{*} -algebra A which is a C * \mathrm{C}^{*} -module over another C * \mathrm{C}^{*} -algebra ūĚĒĄ {\mathfrak{A}} with compatible actions. We show that the module nuclear dimension of A is zero if A is ūĚĒĄ {\mathfrak{A}} -NF. The converse is shown to hold when ūĚĒĄ {\mathfrak{A}} is a C ‚ĀĘ ( X ) {C(X)} -algebra with simple fibers, with X compact and totally disconnected. We also introduce a notion of module decomposition rank, and show that when ūĚĒĄ {\mathfrak{A}} is unital and simple, if the module decomposition rank of A is finite then A is ūĚĒĄ {\mathfrak{A}} -QD. We study the set ūĚíĮ ūĚĒĄ ‚ĀĘ ( A ) {\mathcal{T}_{\mathfrak{A}}(A)} of ūĚĒĄ {\mathfrak{A}} -valued module traces on A and relate the Cuntz semigroup of A with lower semicontinuous affine functions on the set ūĚíĮ ūĚĒĄ ‚ĀĘ ( A ) {\mathcal{T}_{\mathfrak{A}}(A)} . Along the way, we also prove a module Choi‚ÄďEffros lifting theorem. We give estimates of the module nuclear dimension for a class of examples.

mathematics, applied
Villadsen algebras

Cristian Ivanescu,Dan Kucerovsky

2023-07-06

Abstract:C*-algebras are rings, sometimes nonunital, obeying certain axioms that ensure a very well-behaved representation theory upon Hilbert space. Moreover, there are some well-known features of the representation theory leading to subtle questions about norms on tensor products of C*-algebras, and thus to the subclass of nuclear C*-algebras. The question whether all separable nuclear C*-algebras satisfy the Universal Coefficient Theorem (UCT) remains one of the most important open problems in the structure and classification theory of such algebras. One of the most promising ways to test the UCT conjecture depends on finding C*-algebras that behave as idempotents under the tensor product, and satisfy certain additional properties. Briefly put, it has been shown that if there exists a simple, separable, and nuclear C*-algebra that is an idempotent under the tensor product, satisfies a certain technical property, and is not one of the already known such elements $\left\{ O_\infty, O_2, \UHF , J, Z, \C, \compact \right\}$ then the UCT fails. Although we do not disprove the UCT in this publication, we do find new idempotents in the class of Villadsen algebras.

Operator Algebras
On Cardinality Of Non Isomorphic Intermediate Rings Of C(X)

Bedanta Bose

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

2020-04-10

Abstract:Let $\sum (X)$ be the collection of subalgebras of $C(X)$ containing $C^{*}(X)$, where $X$ is a Tychonoff space. For any $A(X)\in \sum(X)$ there is associated a subset $\upsilon_{A}(X)$ of $\beta X$ which is an $A$-analogue of the Hewitt real compactification $\upsilon X$ of $X$. For any $A(X)\in \sum(X)$, let $[A(X)]$ be the class of all $B(X)\in \sum(X)$ such that $\upsilon_{A}(X)=\upsilon_{B}(X)$. We have shown that for first countable non compact real compact space $X$, $[A(X)]$ contains at least $2^{c}$ many different subalgebras no two of which are isomorphic.

General Topology
A Classification Theorem for Nuclear Purely Infinite Simple C*-Algebras

N. Christopher Phillips

DOI: https://doi.org/10.48550/arXiv.funct-an/9506010

1997-12-19

Abstract:Starting from Kirchberg's theorems announced in 1994, namely O_2 tensor A is isomorphic to O_2 for separable unital nuclear simple A and O_infinity tensor A is isomorphic to A if in addition A is purely infinite, we prove that KK-equivalence implies isomorphism for nonunital separable nuclear purely infinite simple C*-algebras. It follows that if A and B are unital separable nuclear purely infinite simple C*-algebras which satisfy the Universal Coefficient Theorem, and if there is a graded isomorphism from K_* (A) to K_* (B) which preserves the class of the identity, then A is isomorphic to B. Our main technical results are, we believe, of independent interest. We say that two asymptotic morphisms t ---> \phi_t and t ---> \psi_t from A to B are asymptotically unitarily equivalent if there exists a continuous unitary path t ---> u_t in the unitization B^+ such that || u_t \phi_t (a) u_t^* - \psi_t (a) || ---> 0 for all a in A. Let A be separable, nuclear, unital, and simple, and let D be unital. We prove that any asymptotic morphism from A to K tensor O_infinity tensor D is asymptotically unitarily equivalent to a homomorphism, and two homotopic homomorphisms from A to K tensor O_infinity tensor D are asymptotically unitarily equivalent.

Functional Analysis,Operator Algebras
The uniqueness-of-norm problem for Calkin algebras

Richard Skillicorn

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

2015-07-29

Abstract:We examine the question of whether the Calkin algebra of a Banach space must have a unique complete algebra norm. We present a survey of known results, and make the observation that a recent Banach space construction of Argyros and Motakis (preprint, 2015) provides the first negative answer. The parallel question for the weak Calkin algebra also has a negative answer; we demonstrate this using a Banach space of Read (J. London Math. Soc. 1989).

Functional Analysis
Strict comparison in reduced group $C^*$-algebras

Tattwamasi Amrutam,David Gao,Srivatsav Kunnawalkam Elayavalli,Gregory Patchell

2024-12-09

Abstract: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, including hyperbolic groups, free products, mapping class groups, right-angled Artin groups etc., we have $C^*_r(G)$ have strict comparison. This work also has several applications in the theory of $C^*$-algebras including: resolving Leonel Robert's selflessness problem for $C^*_r(G)$; uniqueness of embeddings of the Jiang-Su algebra $\mathcal{Z}$ up to approximate unitary equivalence into $C^*_r(G)$; full computations of the Cuntz semigroup of $C^*_r(G)$ and future directions in the $C^*$-classification program.

Operator Algebras,Functional Analysis,Group Theory,Logic
Classifying $^*$-homomorphisms I: Unital simple nuclear $C^*$-algebras

José R. Carrión,James Gabe,Christopher Schafhauser,Aaron Tikuisis,Stuart White

2023-12-22

Abstract:We classify the unital embeddings of a unital separable nuclear $C^*$-algebra satisfying the universal coefficient theorem into a unital simple separable nuclear $C^*$-algebra that tensorially absorbs the Jiang--Su algebra. This gives a new and essentially self-contained proof of the stably finite case of the unital classification theorem: unital simple separable nuclear $C^*$-algebras that absorb the Jiang--Su algebra tensorially and satisfy the universal coefficient theorem are classified by Elliott's invariant of $K$-theory and traces.

Operator Algebras,K-Theory and Homology

Nuclear C*-algebras and similarity problem

The similarity problem and hyperreflexivity of von Neumann algebras

A continuum of $\mathrm{C}^*$-norms on $\IB(H)\otimes \IB(H)$ and related tensor products

Nuclearity of Hypergraph C*-Algebras

Nuclear dimension of extensions of commutative C*-algebras by Kirchberg algebras

Strict comparison for $C^*$-algebras arising from Almost finite groupoids

Nuclearity and CPC*-systems

Calkin algebra, Kazhdan's property (T), strongly self-absorbing C*-algebras

KK-rigidity of simple nuclear C*-algebras

Classification of abelian finite-dimensional $C^*$-algebras by orthogonality

On closed Lie ideals of certain tensor products of $C^*$-algebras

On Toeplitz algebras of product systems

Non-linear classification of finite-dimensional simple $C^*$-algebras

Uniqueness property for $C^*$-algebras given by relations with circular symmetry

Finite approximation properties of C*-modules III

Villadsen algebras

On Cardinality Of Non Isomorphic Intermediate Rings Of C(X)

A Classification Theorem for Nuclear Purely Infinite Simple C*-Algebras

The uniqueness-of-norm problem for Calkin algebras

Strict comparison in reduced group $C^*$-algebras

Classifying $^*$-homomorphisms I: Unital simple nuclear $C^*$-algebras

Classifying $^$-homomorphisms I: Unital simple nuclear $C^$-algebras