One of the main tools to classify \cst-algebras is the study of its projections and its unitaries. It was proved by Cuntz in \cite{Cu81} that if $A$ is a \textit{purely infinite} simple \cst-algebra, then the kernel of the natural map for the unitary group $\U(A)$ to the $K$-theory group $K_1(A)$ is reduced to the connected component $\U^0(A)$, i.e. $A$ is \textit{$K_1$-injective} (see §3). We study in this note a finitely generated \cst-algebra, the $K_1$-injectivity of which would imply the $K_1$-injectivity of all unital \textit{properly infinite} \cst-algebras.
We investigate if a unital C(X)-algebra is properly infinite when all its fibres are properly infinite. We show that this question can be rephrased in several different ways, including the question if every unital properly infinite C*-algebra is K_1-injective. We provide partial answers to these questions, and we show that the general question on proper infiniteness of C(X)-algebras can be reduced to establishing proper infiniteness of a specific C([0,1])-algebra with properly infinite fibres.
Any unital separable continuous C(X)-algebra with properly infinite fibres is properly infinite as soon as the compact Hausdorff space X has finite topological dimension. We study conditions under which this is still the case in the infinite dimensional case.
Any unital separable continuous C(X)-algebra with properly infinite fibres is properly infinite as soon as the compact Hausdorff space X has finite topolog-ical dimension. We study conditions under which this is still the case if the compact space X has infinite topological dimension.
We give a complete description of which unital graph C*-algebras are semiprojective, and use it to disprove two conjectures by Blackadar. To do so, we perform a detailed analysis of which projections are properly infinite in such C*-algebras.
Let $A=(A_x)$ be a (semi-)continuous field of $C^*$-algebras over a compact Hausdorff space $X$ and let $p=(p_x)$ be a projection in $A$ such that each $p_x\in A_x$ is properly infinite ($x\in X$). Then $p$ is properly infinite if the field $A$ is upper semi-continuous. However, $p$ can be finite if the field is lower semi-continuous.
We show that several known results about the algebraic K-theory of tensor products of algebras with the C*-algebra of compact operators in Hilbert space remain valid for tensor products with any properly infinite C*-algebra.
The Corona Factorization Property of a C*-algebra, originally defined to study extensions of C*-algebras, has turned out to say something important about intrinsic structural properties of the C*-algebra. We show in this paper that a σ-unital C*-algebra A of real rank zero has the Corona Factorization roperty if and only if its monoid V(A) of Murray-von Neumann equivalence classes of projections in matrix algebras over A has a certain (rather weak) comparability property that we call the Corona Factorization Property (for monoids). We show that a projection in such a C*-algebra is properly inf…
In this note, we derive some consequences of the von Neumann algebra uniqueness theorems developed in a previous paper (see arXiv:1207.6741v1). In particular, 1) we solvein a paper of Futamura, Kataoka, and Kishimoto, by proving that if A is a separable simple nuclear C*-algebra and for π_1 and π_2 are type III representations of A on a separable Hilbert space, then for π_1 and π_2 being algebraically equivalent, it is necessary and sufficient that there is an automorphism αof A such that π_1 composed with α, and π_2 are quasi-equivalent. 2) we give a new (short) proof of the equivalence of in…
Let A be a simple, sigma-unital, non-unital C*-algebra, with metrizable tracial simplex T(A), which is projection-surjective and injective and has strict comparison of positive elements by traces. Then the following are equivalent: (i) A has quasicontinuous scale; (ii) The multiplier algebra M(A) has strict comparison of positive elements by traces; (iii) The coronal algebra M(A)/A is purely infinite; (iii') The quotient M(A)/Imin is purely infinite; (iv) M(A) has finitely many ideals; (v) Imin=Ifin. If furthermore algebra of n by n matrices of A is projection-surjective and injective for ever…
This paper is devoted to derivations on the algebra $S_0(M, τ)$ of all $τ$-compact operators affiliated with a von Neumann algebra $M$ and a faithful normal semi-finite trace $τ.$ The main result asserts that every $t_τ$-continuous derivation $D:S_0(M, τ)\rightarrow S_0(M, τ)$ is spatial and implemented by a $τ$-measurable operator affiliated with $M$, where $t_τ$ denotes the measure topology on $S_0(M, τ)$. We also show the automatic $t_τ$-continuity of all derivations on $S_0(M, τ)$ for properly infinite von Neumann algebras $M$. Thus in the properly infinite case the condition of $t_τ$-cont…
In this paper, we consider pure infiniteness of generalized Cuntz-Krieger algebras associated to labeled spaces $(E,\mathcal{L},\mathcal{E})$. It is shown that a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{E})$ is purely infinite in the sense that every nonzero hereditary subalgebra contains an infinite projection (we call this property (IH)) if $(E, \mathcal{L},\mathcal{E})$ is disagreeable and every vertex connects to a loop. We also prove that under the condition analogous to (K) for usual graphs, $C^*(E,\mathcal{L},\mathcal{E})=C^*(p_A, s_a)$ is purely infinite in the sense of Kirchberg and …
The main result of this paper is a characterization of properly infinite injective von Neumann algebras and of nuclear C*-algebras by using a uniqueness theorem, based on generalizations of Voiculescu's famous Weyl-von Neumann theorem.
We prove that if $\mathcal M$ is a properly infinite von Neumann algebra and $LS(\mathcal M)$ is the local measurable operator algebra affiliated with $\mathcal M$, then every Jordan derivation from $LS(\mathcal M)$ into itself is continuous with respect to the local measure topology $t(\mathcal M)$. We construct an extension of a Jordan derivation from $\mathcal M$ into $LS(\mathcal M)$ up to a Jordan derivation from $LS(\mathcal M)$ into itself. Moreover, we prove that if $\mathcal M$ is a properly von Neumann algebra and $\mathcal A$ is a subalgebra of $LS(\mathcal M)$ such that $\mathcal M…
In this paper, we study the ideal structure of reduced $C^*$-algebras $C^*_r(G)$ associated to étale groupoids $G$. In particular, we characterize when there is a one-to-one correspondence between the closed, two-sided ideals in $C_r^*(G)$ and the open invariant subsets of the unit space $G^{(0)}$ of $G$. As a consequence, we show that if $G$ is an inner exact, essentially principal, ample groupoid, then $C_r^*(G)$ is (strongly) purely infinite if and only if every non-zero projection in $C_0(G^{(0)})$ is properly infinite in $C_r^*(G)$. We also establish a sufficient condition on the ample gr…
We study dimension theory for the $C^*$-algebras of row-finite $k$-graphs with no sources. We establish that strong aperiodicity - the higher-rank analogue of condition (K) - for a $k$-graph is necessary and sufficient for the associated $C^*$-algebra to have topological dimension zero. We prove that a purely infinite $2$-graph algebra has real-rank zero if and only if it has topological dimension zero and satisfies a homological condition that can be characterised in terms of the adjacency matrices of the $2$-graph. We also show that a $k$-graph $C^*$-algebra with topological dimension zero i…
A simple Steinberg algebra associated to an ample Hausdorff groupoid $G$ is algebraically purely infinite if and only if the characteristic functions of compact open subsets of the unit space are infinite idempotents. If a simple Steinberg algebra is algebraically purely infinite, then the reduced groupoid $C^*$-algebra $C^*_r(G)$ is simple and purely infinite. But the Steinberg algebra seems to small for the converse to hold. For this purpose we introduce an intermediate $*$-algebra $B(G)$ constructed using corners $1_U C^*_r(G) 1_U$ for all compact open subsets $U$ of the unit space of the g…
We study properties of C*-algebras obtained from the nonstandard hull construction (a generalization of the ultraproduct of C*-algebras). Among others, we prove that the properties of being an infinite and a properly infinite C*-algebra are both preserved and reflected by the nonstandard hull construction. We also show that the property of being generated by mutually orthogonal projections is preserved by the nonstandard hull. Furthermore, we indicate how a theory of weights can be developed in a nonstandard hull. Eventually we provide a few examples of standard results that follow from the no…
We show that unitary groups of II$_1$ factors and of properly infinite von Neumann algebras have strong uncountable cofinality. In particular, we obtain a short alternative proof for the strong uncountable cofinality of $U(\ell^2(\mathbb{N}))$, which was first proven by Ricard and Rosendal.
