We exhibit examples of actions of countable discrete groups on both simple and non-simple nuclear stably finite C*-algebras that are tracially amenable but not amenable. We furthermore obtain that, under the additional assumption of strict comparison, amenability is equivalent to tracial amenability plus the equivariant analogue of Matui--Sato's property (SI). By virtue of this equivalence, our construction yields the first known examples of actions on classifiable C*-algebras that do not have equivariant property (SI). We moreover show that such actions can be chosen to absorb the trivial action on the universal UHF algebra, thus showing that equivariant $\mathcal{Z}$-stability does not in general imply equivariant property (SI).
Let $A=\underrightarrow{\lim}{A_n}$ be an AF algebra, $G$ be a compact group. We consider inductive limit actions of the form $α=\underrightarrow{\lim}{α_n}$, where $α_n\colon G\curvearrowright A_n$ is an action on the finite dimensional C*-algebra $A_n$ which fixes each matrix summand. If each $α_n$ is inner, such actions are classified by equivariant K-theory by Handelman and Rossmann. However, if the actions $α_n$ are not inner, we show that such actions are not classifiable by equivariant K-theory. We give a complete classification of such actions using twisted equivariant K-theory.
Higson proved that every homotopy invariant, stable and split exact functor from the category of $C^*$-algebras to an additive category factors through Kasparov's $KK$-theory. By adapting a group equivariant generalization of this result by Thomsen, we generalize Higson's result to the inverse semigroup equivariant setting.
We prove that every unital stably finite simple amenable $C^*$-algebra $A$ with finite nuclear dimension and with UCT such that every trace is quasi-diagonal has the property that $A\otimes Q$ has generalized tracial rank at most one, where $Q$ is the universal UHF-algebra. Consequently, $A$ is classifiable in the sense of Elliott.
We revisit Matui-Sato's notion of property (SI) for C*-algebras and C*-dynamics. More specifically, we generalize the known framework to the case of C*-algebras with possibly unbounded traces. The novelty of this approach lies in the equivariant context, where none of the previous work allows one to (directly) apply such methods to actions of amenable groups on highly non-unital C*-algebras, in particular to establish equivariant Jiang-Su stability. Our main result is an extension of an observation by Sato: For any countable amenable group $Γ$ and any non-elementary separable simple nuclear C*…
Let A be a unital simple direct limit of recursive subhomogeneous C*-algebras with no dimension growth. We give criteria which specify exactly when A has real rank zero, and exactly when A has the Property (SP): every nonzero hereditary subalgebra of A contains a nonzero projection. Specifically, A has real rank zero if and only if the natural map from K_0 (A) to the continuous affine functions on the tracial state space has dense range, A has the Property (SP) if and only if the range of this map contains strictly positive functions with arbitrarily small norm. By comparison with results for …
We classify equivariant *-homomorphisms between C*-dynamical systems associated to actions of finite groups on C*-algebras with the Rokhlin property. In addition, the given actions are classified. An obstruction is obtained for the Cuntz semigroup of a C*-algebra allowing such an action. We also obtain an equivariant UHF-absorption result.
We consider the ideal structure of a reduced crossed product of a unital $C^*$-algebra equipped with an action of a discrete group. More specifically we find sufficient and necessary conditions for the group action to have the intersection property, meaning that non-zero ideals in the reduced crossed product restrict to non-zero ideals in the underlying $C^*$-algebra. We show that the intersection property of a group action on a $C^*$-algebra is equivalent to the intersection property of the action on the equivariant injective envelope. We also show that the centre of the equivariant injective…
We define a "tracial" analog of the Rokhlin property for actions of second countable compact groups on infinite dimensional simple separable unital C*-algebras. We prove that fixed point algebras under such actions (and, in the appropriate cases, crossed products by such actions) preserve simplicity, Property (SP), tracial rank zero, tracial rank at most one, the Popa property, tracial Jiang-Su stability, Jiang-Su stability when the algebra is nuclear, infiniteness, and pure infiniteness. We also show that the radius of comparison of the fixed point algebra is no larger than that of the origin…
We introduce and study the continuous Rokhlin property for actions of compact groups on C*-algebras. An important technical result is a characterization of the continuous Rokhlin property in terms of asymptotic retracts. As a consequence, we derive strong KK-theoretical obstructions to the continuous Rokhlin property. Using these, we show that the UCT is preserved under formation of crossed products and passage to fixed point algebras by such actions, even in the absence of nuclearity. Our analysis of the KK-theory of the crossed product allows us to prove a $\mathbb{T}$-equivariant version of…
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 …
We define and study an equivariant $E$-theory with respect to coactions of Hopf $C^*$-algebras; we prove the Baaj-Skandalis duality in this setting. We show that the corresponding equivariant $KK$-theory of Baaj and Skandalis enjoys an universal property. In the appendix, we look at the different ways of expressing equivariant stability for a functor, and prove an equivariant Brown-Green-Rieffel stabilization result.
We investigate the structure of circle actions with the Rokhlin property, particularly in relation to equivariant $KK$-theory. Our main results are $\mathbb{T}$-equivariant versions of celebrated results of Kirchberg: any Rokhlin action on a separable, nuclear C*-algebra is $KK^\mathbb{T}$-equivalent to a Rokhlin action on a Kirchberg algebra; any Rokhlin action on an exact separable C*-algebra embeds equivariantly into $\mathcal{O}_2$ (with its unique Rokhlin action); and two circle actions with the Rokhlin property on a Kirchberg algebra are conjugate if and only if they are $KK^\mathbb{T}$-…
We give a new proof of the universal property of $KK^G$-theory with respect to stability, homotopy invariance and split-exactness for $G$ a locally compact group, or a locally compact (not necessarily Hausdorff) groupoid, or a countable inverse semigroup which is relatively short and conceptual. Morphisms in the generators and relations picture of $KK^G$-theory are brought to a particular simple form.
Working within the framework of free actions of countable amenable groups on compact metrizable spaces, we show that the small boundary property is equivalent to a density version of almost finiteness, which we call almost finiteness in measure, and that under this hypothesis the properties of almost finiteness, comparison, and $m$-comparison for some nonnegative integer $m$ are all equivalent. The proof combines an Ornstein-Weiss tiling argument with the use of zero-dimensional extensions which are measure-isomorphic over singleton fibres. These kinds of extensions are also employed to show t…
Unique equivariant pseudo expectation and generalized Powers averaging for crossed product
Institute of Mathematics of the Polish Academy of Sciences（波兰科学院数学研究所）；University of Isfahan（伊斯法罕大学）；Institute for Research in Fundamental Sciences (IPM)（基础科学研究所）；Alzahra University（阿尔扎拉大学）
This paper is motivated primarily by the question of when the maximal and reduced crossed products of a $G$-$C^*$-algebra agree (particularly inspired by results of Matsumura and Suzuki), and the relationships with various notions of amenability and injectivity. We give new connections between these notions. Key tools in this include the natural equivariant analogues of injectivity, and of Lance's weak expectation property: we also give complete characterizations of these equivariant properties, and some connections with injective envelopes in the sense of Hamana.
We establish $\mathcal{Z}$-stability for crossed products of outer actions of amenable groups on $\mathcal{Z}$-stable $C^*$-algebras under a mild technical assumption which we call McDuff property with respect to invariant traces. We obtain such result using a weak form of dynamical comparison, which we verify in great generality. We complement our results by proving that McDuffness with respect to invariant traces is automatic in many cases of interest. This is the case, for instance, for every action of an amenable group $G$ on a classifiable $C^*$-algebra $A$ whose trace space $T(A)$ is a B…
We provide a systematic and in-depth study of compact group actions with the Rokhlin property. It is show that the Rokhlin property is generic in some cases of interest; the case of totally disconnected groups being the most satisfactory one. One of our main results asserts that the inclusion of the fixed point algebra induces an order-embedding on K-theory, and that it has a splitting whenever it is restricted to finitely generated subgroups. We develop new results in the context of equivariant semiprojectivity to study actions with the Rokhlin property. For example, we characterize when the …
In this paper, we study continuous Rokhlin property of $\mathrm{C}^*$-dynamical systems using techniques of equivariant $\mathrm{KK}$-theory and quantum group theory. In particular, we determine the $\mathrm{KK}$-equivalence class and give a classification of Kirchberg $G$-algebras when the $G$ is a compact Lie group with Hodgkin condition.
In the first part of this series, we defined an equivariant index without assuming the group acting or the orbit space of the action to be compact. This allowed us to generalise an index of deformed Dirac operators, defined for compact groups by Braverman. In this paper, we investigate properties and applications of this index. We prove that it has an induction property that can be used to deduce various other properties of the index. In the case of compact orbit spaces, we show how it is related to the analytic assembly map from the Baum-Connes conjecture, and an index used by Mathai and Zhan…
