We give a classification theorem for a class of C*-algebras which are direct limits of extensions of circle algebras by purely infinite C*-algebras. The invariant consists of the following: (1) the set of Murray-von Neumann equivalence classes of projections; (2) the set of homotopy classes of hyponormal partial isometries; (3) a map d; and (4) total K-theory.
It is proved that classifiable simple separable nuclear purely infinite C*-algebras having finitely generated K-theory and torsion-free K_1 are semiprojective. This is accomplished by exhibiting these algebras as C*-algebras of infinite directed graphs.
Let $G$ be a Hausdorff, étale groupoid that is minimal and topologically principal. We show that $C^*_r(G)$ is purely infinite simple if and only if all the nonzero positive elements of $C_0(G^0)$ are infinite in $C_r^*(G)$. If $G$ is a Hausdorff, ample groupoid, then we show that $C^*_r(G)$ is purely infinite simple if and only if every nonzero projection in $C_0(G^0)$ is infinite in $C^*_r(G)$. We then show how this result applies to $k$-graph $C^*$-algebras. Finally, we investigate strongly purely infinite groupoid $C^*$-algebras.
We prove that a simple, separable, nuclear, purely infinite classifiable $C^*$-algebra is weakly semiprojective if and only if its $K$-groups are direct sums of cyclic groups.
Counterexamples to classification of purely infinite, nuclear, separable C*-algebras (in the ideal-related bootstrap class) and with primitive ideal space X using ideal-related K-theory occur for infinitely many finite primitive ideal spaces X, the smallest of which having four points. Ideal-related K-theory is known to be strongly complete for such C*-algebras if they have real rank zero and X has at most four points for all but two exceptional spaces: the pseudo-circle and the diamond space. In this article, we close these two remaining cases. We show that ideal-related K-theory is strongly …
We show that separable, nuclear and strongly purely infinite C*-algebras have finite nuclear dimension. In fact, the value is at most three. This exploits a deep structural result of Kirchberg and Rørdam on strongly purely infinite C*-algebras that are homotopic to zero in an ideal-system preserving way.
In the reduced free product of C*-algebras (A,phi)=(A_1,phi_1)*(A_2,phi_2), A is shown to be purely infinite and simple under the hypothesis that A_1 is the crossed product of a C*-algebra by a discrete infinite group, phi_1 is well behaved with respect to this crossed product and A_2 is not one dimensional.
Given a separated graph $(E,C)$, there are two different C*-algebras associated to it, the full graph C*-algebra $C^*(E,C)$, and the reduced one $C^*_{\text{red}} (E,C)$. For a large class of separated graphs $(E,C)$, we prove that $C^*_{\text{red}} (E,C)$ either is purely infinite simple or admits a faithful tracial state. The main tool we use to show pure infiniteness of reduced graph C*-algebras is a generalization to the amalgamated case of a result on purely infinite simple free products due to Dykema.
Assume that A is a purely infinite simple C*-algebra whose K_0 is a torsion group, namely, contains no free element. Then a positive element a in A can be written as a finite sum of projections in A if and only if either a is a projection or the norm ||a||>1.
Certain reduced free products of C*-algebras, (A,phi)=(A_1,phi_1)*(A_2,ϕ_2), taken with respect to faithful states, at least one of which is not a trace, are shown to be purely infinite and simple. It is assumed that one of the A_i contain a partial isometry in the spectral subspace of phi_i corresponding to a positive number not equal to one. For example, if A_1 and A_2 are copies of the two-by-two complex matrices and if phi_1 and phi_2 are not unitarily conjugate, it is shown that A is simple and purely infinite.
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 …
We give an overview of the question: which positive elements in an operator algebra can be written as a linear combination of projections with positive coefficients. A special case of independent interest is the question of which positive elements can be written as a sum of finitely many projections. We focus on von Neumann algebras, on purely infinite simple C*-algebras, and on their associated multiplier algebras.
Let (A,G,α) be a partial dynamical system. We show that there is a bijective correspondence between G-invariant ideals of A and ideals in the partial crossed product A xr G provided the action is exact and residually topologically free. Assuming, in addition, a technical condition---automatic when A is abelian---we show that A xr G is purely infinite if and only if the positive nonzero elements in A are properly infinite in A xr G. As an application we verify pure infiniteness of various partial crossed products, including realisations of the Cuntz algebras O_n, O_A, O_N, and O_Z as partial cr…
From a suitable groupoid G, we show how to construct an amenable principal groupoid whose C*-algebra is a Kirchberg algebra which is KK-equivalent to C*(G). Using this construction, we show by example that many UCT Kirchberg algebras can be realised as the C*-algebras of amenable principal groupoids.
We study the crossed product $C^*$-algebra associated to injective endomorphisms, which turns out to be equivalent to study the crossed product by the dilated autormorphism. We prove that the dilation of the Bernoulli $p$-shift endomorphism is topologically free. As a consequence, we have a way to twist any endomorphism of a $\D$-absorbing $C^*$-algebra into one whose dilated automorphism is essentially free and have the same $K$-theory map than the original one. This allows us to construct purely infinite crossed products $C^*$-algebras with diverse ideal structures.
Let $0\longrightarrow \B\stackrel{j}{\longrightarrow}E\stackrelπ{\longrightarrow}\A\longrightarrow 0$ be an extension of $\A$ by $\B$, where $\A$ is a unital simple purely infinite $C^{*}$--algebra. When $\B$ is a simple separable essential ideal of the unital $C^{*}$--algebra $E$ with $\RR(\B)=0$ and {\rm(PC)}, $K_{0}(E)=\{[p]\mid p$ is a projection in $E\setminus B\}$; When $B$ is a stable $C^{*}$--algebra, $\U(C(X,E))/\U_0(C(X,E))\cong K_1(C(X,E))$ for any compact Hausdorff space $X$.
We continue our investigation, from \cite{dh}, of the ring-theoretic infiniteness properties of ultrapowers of Banach algebras, studying in this paper the notion of being purely infinite. It is well known that a $C^*$-algebra is purely infinite if and only if any of its ultrapowers are. We find examples of Banach algebras, as algebras of operators on Banach spaces, which do have purely infinite ultrapowers. Our main contribution is the construction of a "Cuntz-like" Banach $*$-algebra which is purely infinite, but whose ultrapowers are not even simple, and hence not purely infinite. This algeb…
In 2006, Restorff completed the classification of all Cuntz-Krieger algebras with finitely many ideals (i.e., those that are purely infinite) up to stable isomorphism. He left open the questions concerning strong classification up to stable isomorphism and unital classification. In this paper, we address both questions. We show that any isomorphism between the reduced filtered K-theory of two Cuntz-Krieger algebras with finitely many ideals lifts to a *-isomorphism between the stabilized Cuntz-Krieger algebras. As a result, we also obtain strong unital classification.
Let $n$ be a positive integer. We introduce a concept, which we call the $n$-filling property, for an action of a group on a separable unital $C^*$-algebra $A$. If $A=C(Ω)$ is a commutative unital $C^*$-algebra and the action is induced by a group of homeomorphisms of $Ω$ then the $n$-filling property reduces to a weak version of hyperbolicity. The $n$-filling property is used to prove that certain crossed product $C^*$-algebras are purely infinite and simple. A variety of group actions on boundaries of symmetric spaces and buildings have the $n$-filling property. An explicit example is the ac…
We show that there exists a purely infinite AH-algebra. The AH-algebra arises as an inductive limit of C*-algebras of the form C_0([0,1),M_k) and it absorbs the Cuntz algebra O_\infty tensorially. Thus one can reach an O_\infty-absorbing C*-algebra as an inductive limit of the finite and elementary C*-algebras C_0([0,1),M_k). As an application we give a new proof of a recent theorem of Ozawa that the cone over any separable exact C*-algebra is AF-embeddable, and we exhibit a concrete AF-algebra into which this class of C*-algebras can be embedded.
We show a noncommutative Rohlin type theorem for automorphisms of a certain class of purely infinite simple $C^{\ast}$-algebras. This class consists of the purely infinite unital simple $C^{\ast}$-algebras which are in the bootstrap category ${\cal N}$ and have trivial $K_{1}$-groups.
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 ideals J contained in I in the C*-algebra. It follows in particular that if A is any separable C*-algebra, then A tensor O_2 is of real rank zero if and only if the primitive ideal space of A has a basis of compact-open sets, which again happens if and only if A tensor O_2 has the ideal property, also known as property (IP).
We show that if A is a separable, nuclear, O_infty-absorbing (or strongly purely infinite) C*-algebra, which is homotopic to zero in an ideal-system preserving way, then A is the inductive limit of C*-algebras of the form M_k(C_0(G,v)), where G is a finite graph (and C_0(G,v) is the algebra of continuous functions on G that vanish at a distinguished point v in G). We show further that any separable, nuclear, stable, O_2-absorbing C*-algebra is isomorphic to a crossed product of a C*-algebra D with the integers by an action alpha, where D is an inductive limit of C*-algebras of the form M_k(C_0…
We introduce filling families with matrix diagonalization as a refinement of the work by Rørdam and the first named author. As an application we improve a result on local pure infiniteness and show that the minimal tensor product of a strongly purely infinite $C^*$-algebra and a exact $C^*$-algebra is again strongly purely infinite. Our results also yield a sufficient criterion for the strong pure infiniteness of crossed products $A\rtimes_φ\mathbb{N}$ by an endomorphism $φ$ of $A$ (cf. Theorem 7.6). Our work confirms that the special class of nuclear Cuntz-Pimsner algebras constructed by Harn…
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…
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…
Examples of simple, separable, unital, purely infinite $C^*$--algebras are constructed, including: (1) some that are not approximately divisible; (2) those that arise as crossed products of any of a certain class of $C^*$--algebras by any of a certain class of non--unital endomorphisms; (3) those that arise as reduced free products of pairs of $C^*$--algebras with respect to any from a certain class of states.
We will introduce a notion of normal subshifts. A subshift $(Λ,σ)$ is said to be normal if it satisfies a certain synchronizing property called $λ$-synchronizing and is infinite as a set. We have lots of purely infinite simple $C^*$-algebras from normal subshifts including irreducible infinite sofic shifts, Dyck shifts, $β$-shifts, and so on. Eventual conjugacy of one-sided normal subshifts and topological conjugacy of two-sided normal subshifts are characterized in terms of the associated $C^*$-algebras and the associated stabilized $C^*$-algebras with its diagonals and gauge actions, respect…
We augment Restorff's classification of purely infinite Cuntz-Krieger algebras by describing the range of his invariant on purely infinite Cuntz-Krieger algebras. We also describe its range on purely infinite graph C*-algebras with finitely many ideals, and provide 'unital' range results for purely infinite Cuntz-Krieger algebras and unital purely infinite graph C*-algebras.
Given an n x n integer matrix A whose eigenvalues are strictly greater than 1 in absolute value, let σ_A be the transformation of the n-torus T^n=R^n/Z^n defined by σ_A(e^{2πix})=e^{2πiAx} for x\in R^n. We study the associated crossed-product C*-algebra, which is defined using a certain transfer operator for σ_A, proving it to be simple and purely infinite and computing its K-theory groups.
It was shown by Rordam and the second named author that a countable group G admits an action on a compact space such that the crossed product is a Kirchberg algebra if, and only if, G is exact and non-amenable. This construction allows a certain amount of choice. We show that different choices can lead to different algebras, at least with the free group.
We study conditions that will ensure that a crossed product of a C*-algebra by a discrete exact group is purely infinite (simple or non-simple). We are particularly interested in the case of a discrete non-amenable exact group acting on a commutative C*-algebra, where our sufficient conditions can be phrased in terms of paradoxicality of subsets of the spectrum of the abelian C*-algebra. As an application of our results we show that every discrete countable non-amenable exact group admits a free amenable minimal action on the Cantor set such that the corresponding crossed product C*-algebra is…
In this paper, we introduce properties including groupoid comparison, pure infiniteness and paradoxical comparison as well as a new algebraic tool called groupoid semigroup for locally compact Hausdorff étale groupoids. We show these new tools help establishing pure infiniteness of reduced groupoid $C^*$-algebras. As an application, we show a dichotomy of stably finiteness against pure infiniteness for reduced groupoid $C^*$-algebras arising from locally compact Hausdorff étale minimal topological principal groupoids. This generalizes the dichotomy obtained by Bönicke-Li and Rainone-Sims. We a…
We will investigate the norm closure of the unitary and similarity orbits of normal operators in unital, simple, purely infinite C*-algebras. An operator theoretic proof will be given to the classification of when two normal operators are approximately unitarily equivalent in said algebras with trivial K_1-group. Some upper and lower bounds for the distance between unitary orbits will be obtained based on these methods. In addition, a complete characterization of when one normal operator is in the closed similarity orbit of another normal operator will be given for unital, simple, purely infin…
For $\MvN$ a separable, purely infinite von Neumann algebra with almost periodic weight $ϕ$, a decomposition of $\MvN$ as a crossed product of a semifinite von Neumann algebra by a trace--scaling action of a countable abelian group is given. Then Takasaki's continuous decomposition of the same algebra is related to the above discrete decomposition via Takesaki's notion of induced action, but here one induces up from a dense subgroup. The above results are used to give a model for the one--parameter trace--scaling action of $\Real_+$ on the injective II$_\infty$ factor. Finally, another model o…
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.…
