We prove that if Λis a row-finite k-graph with no sources, then the associated C^*-algebra is simple if and only if Λis cofinal and satisfies Kumjian and Pask's Condition (A). We prove that Condition (A) is equivalent to a suitably modified version of Robertson and Steger's original nonperiodicity condition (H3) which in particular involves only finite paths. We also characterise both cofinality and aperiodicity of Λin terms of ideals in C^*(Λ).
A partial action is associated with a normal weakly left resolving labelled space such that the crossed product and labelled space $C^*$-algebras are isomorphic. An improved characterization of simplicity for labelled space $C^*$-algebras is given and applied to $C^*$-algebras of subshifts.
We develop a framework suitable for obtaining simplicity criteria for reduced $C^*$-algebras of Hausdorff etale groupoids. This is based on the study of certain non-degenerate $C^*$-subalgebras (in the case of groupoids, the $C^*$-algebra of the interior isotropy bundle), for which one can control (non-unique) state extensions to the ambient C*-algebra. As an application, we give simplicity criteria for reduced crossed products of abelian $C^*$-algebras by discrete groups.
A necessary and sufficient condition for the simplicity of the C*-algebra reduced free product of finite dimensional abelian algebras is found, and it is proved that the stable rank of every such free product is 1. Related results about other reduced free products of C*-algebras are proved.
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, L, E) and characterize minimality of (E, L, E) in terms of ideal structure of C*(E, L, E). Using these results, we prove simplicity results for C*-algebras associated to arbitrary labeled spaces.
In previous work, the authors showed that the C*-algebra C*(Λ) of a row-finite higher-rank graph Λwith no sources is simple if and only if Λis both cofinal and aperiodic. In this paper, we generalise this result to row-finite higher-rank graphs which are locally convex (but may contain sources). Our main tool is Farthing's "removing sources" construction which embeds a row-finite locally convex higher-rank graph in a row-finite higher-rank graph with no sources in such a way that the associated C*-algebras are Morita equivalent.
We prove a uniqueness theorem and give a characterization of simplicity for Steinberg algebras associated to non-Hausdorff ample groupoids. We also prove a uniqueness theorem and give a characterization of simplicity for the C*-algebra associated to non-Hausdorff étale groupoids. Then we show how our results apply in the setting of tight representations of inverse semigroups, groups acting on graphs, and self-similar actions. In particular, we show that C*-algebra and the complex Steinberg algebra of the self-similar action of the Grigorchuk group are simple but the Steinberg algebra with coef…
It is shown that no local periodicity is equivalent to the aperiodicity condition for arbitrary finitely-aligned k-graphs. This allows us to conclude that C*(Λ) is simple if and only if Λis cofinal and has no local periodicity.
We characterise simplicity of twisted C*-algebras of row-finite k-graphs with no sources. We show that each 2-cocycle on a cofinal k-graph determines a canonical second-cohomology class for the periodicity group of the graph. The groupoid of the k-graph then acts on the cartesian product of the infinite-path space of the graph with the dual group of the centre of any bicharacter representing this second-cohomology class. The twisted k-graph algebra is simple if and only if this action is minimal. We apply this result to characterise simplicity for many twisted crossed products of k-graph algeb…
We have introduced a notion of $C^*$-symbolic dynamical system in [K. Matsumoto: Actions of symbolic dynamical systems on $C^*$-algebras, to appear in J. Reine Angew. Math.], that is a finite family of endomorphisms of a $C^*$-algebra with some conditions. The endomorphisms are indexed by symbols and yield both a subshift and a $C^*$-algebra of a Hilbert $C^*$-bimodule. The associated $C^*$-algebra with the $C^*$-symbolic dynamical system is regarded as a crossed product by the subshift. We will study a simplicity condition of the $C^*$-algebras of the $C^*$-symbolic dynamical systems. Some ex…
Graph products of groups were introduced by Green in her thesis. They have an operator algebraic counterpart introduced and explored by Fima and the first-named author. In this paper we prove Khintchine type inequalities for general C$^{\ast}$-algebraic graph products which generalize results by Ricard and Xu on free products of C$^{\ast}$-algebras. We apply these inequalities in the context of (right-angled) Hecke C$^{\ast}$-algebras, which are deformations of the group algebra of Coxeter groups. For these we deduce a Haagerup inequality. We further use this to study the simplicity and trace …
We prove simplicity of all intermediate $C^*$-algebras $C^*_{r}(Γ)\subseteq \mathcal{B} \subseteq Γ\ltimes_r C(X)$ in the case of minimal actions of $C^*$-simple groups $Γ$ on compact spaces $X$. For this, we use the notion of stationary states, recently introduced by Hartman and Kalantar (arXiv:1712.10133v2). We show that the Powers' averaging property holds for the reduced crossed product $Γ\ltimes_r \mathcal{A}$ for any action $Γ\curvearrowright \mathcal{A}$ of a $C^*$-simple group $Γ$ on a unital $C^*$-algebra $\mathcal{A}$, and use it to prove a one-to-one correspondence between stationar…
In this paper we analyze the structure of C*-algebras associated to ultragraphs, which are generalizations of directed graphs. We characterize the simple ultragraph algebras as well as deduce necessary and sufficient conditions for an ultragraph algebra to be purely infinite and to be AF. Using these techniques we also produce an example of an ultragraph algebra which is neither a graph algebra nor an Exel-Laca algebra. We conclude by proving that the C*-algebras of ultragraphs with no sinks are Cuntz-Pimsner algebras.
Topological quivers generalize the notion of directed graphs in which the sets of vertices and edges are locally compact (second countable) Hausdorff spaces. Associated to a topological quiver $Q$ is a $C^*$-correspondence, and in turn, a Cuntz-Pimsner algebra $C^*(Q).$ Given $Γ$ a locally compact group and $α$ and $β$ endomorphisms on $Γ,$ one may construct a topological quiver $Q_{α,β}(Γ)$ with vertex set $Γ,$ and edge set $Ω_{α,β}(Γ)= \{(x,y)\inΓ\timesΓ\| α(y)=β(x)\}.$ In \cite{Mc1}, the author examined the Cuntz-Pimsner algebra $\cal{O}_{α,β}(Γ):=C^*(Q_{α,β}(Γ))$ and found generators (and …
We realize Leavitt ultragraph path algebras as partial skew group rings. Using this realization we characterize artinian ultragraph path algebras and give simplicity criteria for these algebras.
We characterize the simplicity of universal C$^*$-algebras arising from multispinal groups. Let $\mathcal{O}_{G_{\max}}$ be the universal C$^*$-algebra associated to a multispinal group $G$. We show that the invertibility of a matrix completely determines the simplicity of $\mathcal{O}_{G_{\max}}$.
We prove simplicity and pure infiniteness results for a certain class of labelled graph $C^*$-algebras. We show, by example, that this class of unital labelled graph $C^*$-algebras is strictly larger than the class of unital graph $C^*$-algebras.
We characterize when the reduced C*-algebra of a group has unique tracial state, respectively, is simple, in terms of Dixmier-type properties of the group C*-algebra. We also give a simple proof of the recent result by Breuillard, Kalantar, Kennedy and Ozawa that the reduced C*-algebra of a group has unique tracial state if and only if the amenable radical of the group is trivial.
Pimsner introduced the C*-algebra O_X generated by a Hilbert bimodule X over a C*-algebra A. We look for additional conditions that X should satisfy in order to study simplicity and, more generally, the ideal structure of O_X when X is finite projective. We introduce two conditions: `(I)-freeness' and `(II)-freeness', stronger than the former, in analogy with [J. Cuntz, W. Krieger, Invent. Math. 56, 251-268] and [J. Cuntz, Invent. Math. 63, 25-40] respectively. (I)-freeness comprehend the case of the bimodules associated with an inclusion of simple C*-algebras with finite index, real or pseudo…
We show that the commutator subgroup of the group of unitaries connected to the identity in a simple unital C*-algebra is simple modulo its center. We then go on to investigate the role of regularity properties in the structure of the special unitary group of a C*-algebra. Under mild assumptions, we show that this group has the invariant automatic continuity property and a unique polish group topology. Strengthening our assumptions in the case of simple C*-algebras, we show that the special unitary group modulo its center has bounded normal generation. These results apply to all simple purely …
This paper studies injective envelopes of groupoid dynamical systems and the corresponding boundaries. Analogue to the group case, we associate a bundle of compact Hausdorff spaces to any (discrete) groupoid (the Hamana boundary of the groupoid). We study bundles of compact topological spaces equipped with an action of a groupoid. We show that any groupoid has a minimal boundary (the Furstenberg boundary of the groupoid). We prove that the Hamana and Furstenberg boundaries are the same, for (discrete) groupoids. We find the relation between the reduced crossed product of the $\G$-injective env…
We study simplicity and pure infiniteness criteria for C*-algebras associated to inverse semigroup actions by Hilbert bimodules and to Fell bundles over etale not necessarily Hausdorff groupoids. Inspired by recent work of Exel and Pitts, we introduce essential crossed products for which there are such criteria. In our approach the major role is played by a generalised expectation with values in the local multiplier algebra. We give a long list of equivalent conditions characterising when the essential and reduced C*-algebras coincide. Our most general simplicity and pure infiniteness criteria…
A countable group is C*-simple if its reduced C*-algebra is a simple algebra. Since Powers recognised in 1975 that non-abelian free groups are C*-simple, large classes of groups which appear naturally in geometry have been identified, including non-elementary Gromov hyperbolic groups and lattices in semisimple groups. In this exposition, C*-simplicity for countable groups is shown to be an extreme case of non-amenability. The basic examples are described and several open problems are formulated.
We consider conditions on a $k$-graph $Λ$, a semigroup $S$ and a functor $η: Λ\to S$ which ensure that the $C^*$-algebra of the skew-product graph $Λ\times_ηS$ is simple. Our results allow give some necessary and sufficient conditions for the AF-core of a $k$-graph $C^{*}$-algebra to be simple.
This paper studies simplicity, primitivity and semiprimitivity of algebras associated to étale groupoids. Applications to inverse semigroup algebras are presented. The results also recover the semiprimitivity of Leavitt path algebras and can be used to recover the known primitivity criterion for Leavitt path algebras.
The main result here is that a simple separable C*-algebra is Z-stable (where Z denotes the Jiang-Su algebra) if (i) it has finite nuclear dimension or (ii) it is approximately subhomogeneous with slow dimension growth. This generalizes the main results of [Toms, "K-theoretic rigidity and slow dimension growth"; Winter, "Nuclear dimension and Z-stability of pure C*-algebras"] to the nonunital setting. As a consequence, finite nuclear dimension implies Z-stability even in the case of a separable C*-algebra with finitely many ideals. Algebraic simplicity is established as a fruitful weakening of…
We prove that the C*-algebra of a second-countable, étale, amenable groupoid is simple if and only if the groupoid is topologically principal and minimal. We also show that if G has totally disconnected unit space, then the associated complex *-algebra introduced by Steinberg is simple if and only if the interior of the isotropy subgroupoid of G is equal to the unit space and G is minimal.
Suppose that $R$ is an associative unital ring and that $E=(E^0,E^1,r,s)$ is a directed graph. Utilizing results from graded ring theory we show, that the associated Leavitt path algebra $L_R(E)$ is simple if and only if $R$ is simple, $E^0$ has no nontrivial hereditary and saturated subset, and every cycle in $E$ has an exit. We also give a complete description of the center of a simple Leavitt path algebra.
Given a partial action $π$ of an inverse semigroup $S$ on a ring $\mathcal{A}$ one may construct its associated skew inverse semigroup ring $\mathcal{A} \rtimes_πS$. Our main result asserts that, when $\mathcal{A}$ is commutative, the ring $\mathcal{A} \rtimes_πS$ is simple if, and only if, $\mathcal{A}$ is a maximal commutative subring of $\mathcal{A} \rtimes_πS$ and $\mathcal{A}$ is $S$-simple. We apply this result in the context of topological inverse semigroup actions to connect simplicity of the associated skew inverse semigroup ring with topological properties of the action. Furthermore,…
A discrete group $Γ$ is C*-simple if the C*-algebra $C_λ^*(Γ)$ generated by the range of the left regular representation $λ$ on $\ell^2(Γ)$ is simple. In this case, $Γ$ acts faithfully on the Furstenberg boundary $\partial_FΓ$ and there is a unique trace on $C_λ^*(Γ)$. In this paper we study the unique trace property for the C*-algebra $C_π^*(Γ)$ generated by the range of an arbitrary unitary representation $π: Γ\to B(H_π) $ and relate it to the faithfulness of the action of $Γ$ on the Furstenberg-Hamana boundary $\mathcal B_π$. Similar relation is obtained between simplicity of $C_π^*(Γ)$ and…
Nekrashevych algebras of self-similar group actions are natural generalizations of the classical Leavitt algebras. They are discrete analogues of the corresponding Nekrashevych $C^\ast$-algebras. In particular, Nekrashevych, Clark, Exel, Pardo, Sims and Starling have studied the question of simplicity of Nekrashevych algebras, in part, because non-simplicity of the complex algebra implies non-simplicity of the $C^\ast$-algebra. In this paper we give necessary and sufficient conditions for the Nekrashevych algebra of a contracting group to be simple. Nekrashevych algebras of contracting groups …
We give a combinatorial description of a family of 2-graphs which subsumes those described by Pask, Raeburn and Weaver. Each 2-graph $Λ$ we consider has an associated $C^*$-algebra, denoted $C^*(Λ)$, which is simple and purely infinite when $Λ$ is aperiodic. We give new, straightforward conditions which ensure that $Λ$ is aperiodic. These conditions are highly tractable as we only need to consider the finite set of vertices of $Λ$ in order to identify aperiodicity. In addition, the path space of each 2-graph can be realised as a two-dimensional dynamical system which we show must have zero ent…
By exploiting properties of boundaries associated with Coxeter groups we obtain a complete characterization of simple right-angled multi-parameter Hecke C$^{\ast}$-algebras. This extends previous results by Caspers, Larsen and the author. Based on work by Raum and Skalski, we further describe the center and the character space of right-angled Hecke C$^{\ast}$-algebras.
Kumjian and Pask introduced an aperiodicity condition for higher rank graphs. We present a detailed analysis of when this occurs in certain rank 2 graphs. When the algebra is aperiodic, we give another proof of the simplicity of $\ca(\Fth)$. The periodic C*-algebras are characterized, and it is shown that $\ca(\Fth) \simeq \rC(\bT) \otimes \fA$ where $\fA$ is a simple C*-algebra.
Let (G,S) be a finitely generated Coxeter group, such that the Coxeter system is indecomposable and the canonical bilinear form is indefinite but non-degenerate. We show that the reduced C-*-algebra of G is simple with unique normalised trace. For an arbitrary finitely generated Coxeter group we prove the validity of a Haagerup inequality: There exist constants C>0 and a natural number L such that for a function f in l^2(G) supported on elements of length n with respect to the generating set S: || f * h || <= C(n+1)^{3/2 L} || f || || h ||, forall h in l^2(G).
We find a necessary and sufficient conditions for the simplicity and uniqueness of trace for reduced free products of finite families of finite dimensional $C^*$-algebras with specified traces on them.
A discrete group is said to be C*-simple if its reduced C*-algebra is simple, and is said to have the unique trace property if its reduced C*-algebra has a unique tracial state. A dynamical characterization of C*-simplicity was recently obtained by the second and third named authors. In this paper, we introduce new methods for working with group and crossed product C*-algebras that allow us to take the study of C*-simplicity a step further, and in addition to settle the longstanding open problem of characterizing groups with the unique trace property. We give a new and self-contained proof of …
We study the limits of inductive sequences (A_i,ϕ_i) where each A_i is a direct sum of full matrix algebras over compact metric spaces and each partial map of ϕ_i is diagonal. We give a new characterisation of simplicity for such algebras, and apply it to prove that the said algebras have stable rank one whenever they are simple and unital. Significantly, our results do not require any dimension growth assumption.
In this article we initiate research on locally compact C*-simple groups. We first show that every C*-simple group must be totally disconnected. Then we study C*-algebras and von Neumann algebras associated with certain groups acting on trees. After formulating a locally compact analogue of Powers' property, we prove that the reduced group C*-algebra of such groups is simple. This is the first simplicity result for C*-algebras of non-discrete groups and answers a question of de la Harpe. We also consider group von Neumann algebras of certain non-discrete groups acting on trees. We prove factor…
We describe a class of rank-2 graphs whose C^*-algebras are AT algebras. For a subclass which we call rank-2 Bratteli diagrams, we compute the K-theory of the C*-algebra. We identify rank-2 Bratteli diagrams whose C*-algebras are simple and have real-rank zero, and characterise the K-invariants achieved by such algebras. We give examples of rank-2 Bratteli diagrams whose C*-algebras contain as full corners the irrational rotation algebras and the Bunce-Deddens algebras.
We study some reduced free products of C*-algebras with amalgamations. We give sufficient conditions for the positive cone of the K_0 group to be the largest possible. We also give sufficient conditions for simplicity and uniqueness of trace. We use the later result to give a necessary and sufficient condition for simplicity and uniqueness of trace of the reduced C*-algebras of the Baumslag-Solitar groups BS(m,n).
We consider the boundary-path groupoids of topological higher-rank graphs. We show that the all such groupoids are topologically amenable. We deduce that the C*-algebras of topological higher-rank graphs are nuclear and prove versions of the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem. We then provide a necessary and sufficient condition for simplicity of a topological higher-rank graph C*-algebra, and a condition under which it is also purely infinite.
For a row-finite higher-rank graph Λ, we construct a higher-rank graph TΛ such that the Toeplitz algebra of Λ is isomorphic to the Cuntz-Krieger algebra of TΛ. We then prove that the higher-rank graph TΛ is always aperiodic and use this fact to give another proof of a uniqueness theorem for the Toeplitz algebras of higher-rank graphs.
We give new characterizations to ensure that a free product of groups with amalgamation has a simple reduced group C*-algebra, and provide a concrete example of an amalgam with trivial kernel, such that its reduced group C*-algebra has a unique tracial state, but is not simple. Moreover, we show that there is a radical class of groups for which the reduced group C*-algebra of any group is simple precisely when the group has a trivial radical corresponding to this class.
We study the general and connected stable ranks for C*-algebras. We estimate these ranks for pullbacks of C*-algebras, and for tensor products by commutative C*-algebras. Finally, we apply these results to determine these ranks for certain commutative C*-algebras, and non-commutative CW-complexes.
We prove that the pure state space is homogeneous under the action of the group of asymptotically inner automorphisms for all the separable simple nuclear C*-algebras. If simplicity is not assumed for the C*-algebras, the set of pure states whose GNS representations are faithful is homogeneous for the above action.
We study the structure and compute the stable rank of C*-algebras of finite higher-rank graphs. We completely determine the stable rank of the C*-algebra when the k-graph either contains no cycle with an entrance, or is cofinal. We also determine exactly which finite, locally convex k-graphs yield unital stably finite C*-algebras. We give several examples to illustrate our results.
