The tracial Rokhlin property for actions of finite groups on C*-algebras
N. Christopher Phillips
备注：
45 pages. This paper replaces Sections 1 through 4 and Section 11 of the unpublished long preprint arXiv:math.OA/0306410. Finite cyclic groups have been replaced by finite groups, the material on tracial approximate representability is new, and numerous other smaller improvements have been made
We define "tracial" analogs of the Rokhlin property for actions of finite groups, approximate representability of actions of finite abelian groups, and of approximate innerness. We prove four analogs of related "nontracial" results. First, the crossed product of an infinite dimensional simple separable unital C*-algebra with tracial rank zero by an action of a finite group with the tracial Rokhlin property again has tracial rank zero. Second, an outer action of a finite abelian group on an infinite dimensional simple separable unital C*-algebra has the tracial Rokhlin property if and only if its dual is tracially approximately representable, and is tracially approximately representable if and only if its dual has the tracial Rokhlin property. Third, if a strongly tracially approximately inner action of a finite cyclic group on an infinite dimensional simple separable unital C*-algebra has the tracial Rokhlin property, then it is tracially approximately representable. Fourth, an automorphism of an infinite dimensional simple separable unital C*-algebra A with tracial rank zero is tracially approximately inner if and only if it is the identity on K_0 (A) mod infinitesimals.
Tracial Rokhlin property was introduced by Phillips to prove various structure theorems for crossed product. But it is defined for actions on simple C*-algebras only. This paper consists of two major parts: In section 2 and 3, we study the permanence properties and give a complete classification of tracial Rokhlin property for product-type actions; In section 4 and 5, we introduce the weak tracial Rokhlin property for actions on non-simple C*-algebras. We prove that when the action has the weak tracial Rokhlin property and the crossed product is simple, the properties on $A$ of having tracial …
We show by construction that when $G$ is an elementary amenable group and $A$ is a unital simple nuclear and tracially approximately divisible $C^*$-algebra, there exists an action $ω$ of $G$ on $A$ with the tracial Rokhlin property in the sense of Matui and Sato. In particular, group actions with this Matui-Sato tracial Rokhlin property always exist for unital simple separable nuclear $C^*$-algebras with tracial rank at most one. If $A$ is simple with rational tracial rank at most one, then the crossed product $A\rtimes_ωG$ is also simple with rational tracial rank at most one.
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 define the tracial Rokhlin property for actions of finite cyclic groups on stably finite simple unital C*-algebras. We prove that when the algebra is in addition simple and has tracial rank zero, then the crossed product again has tracial rank zero. Under a kind of weak approximate innerness assumption and one other technical condition, we prove that if the action has the the tracial Rokhlin property and the crossed product has tracial rank zero, then the original algebra has tracial rank zero. We give examples showing how the tracial Rokhlin property differs from the Rokhlin property of Iz…
We introduce the tracial quasi-Rokhlin property for an automorphism alpha of a unital C*-algebra A, which is not assumed to be simple. We show that under suitable hypotheses, the associated crossed product C*-algebra C*(Z,A,alpha) is simple, and there is a bijection between the space of tracial states on C*(Z,A,alpha)$ and the alpha-invariant tracial states on A. We show that, for a minimal dynamical system (X,h) and a simple, separable, unital C*-algebra A, the automorphism beta which extends the action of h on C(X) has the tracial quasi-Rokhlin property, and hence that C*(Z,C(X,A),beta) has …
Tracial Rokhlin property was introduced by Chris Phillips to study the structure of crossed product of actions on simple C*-algebras. It was originally defined for actions of finite groups and group of integers. Matui and Sato generalized it to actions of amenable groups. In this paper, we give a further generalization of Matui and Sato's definition. We shall show that many known results about tracial Rokhlin property could be generalized to actions of amenable groups under this definition. We also show that some natural examples has the (weak) tracial Rokhlin property.
We introduce the tracial Rokhlin property for automorphisms of stably finite simple unital C*-algebras containing enough projections. This property is formally weaker than the various Rokhlin properties considered by Herman and Ocneanu, Kishimoto, and Izumi. Our main results are as follows. Consider a stably finite simple unital C*-algebra, and an automorphism of it which has the tracial Rokhlin property. Suppose the algebra has real rank zero and stable rank one, and suppose that the order on projections over the algebra is determined by traces. Then the crossed product by the automorphism al…
We prove several results of the following general form: automorphisms of (or actions of ${\mathbb{Z}}^d$ on) certain kinds of simple separable unital C*-algebras $A$ which have a suitable version of the Rokhlin property are generic among all automorphisms (or actions), or in a suitable class of automorphisms. That is, the ones with the version of the Rokhlin property contain a dense $G_δ$-subset of the set of all such automorphisms (or actions). Specifically, we prove the following. If $A$ is stable under tensoring with the Jiang-Su algebra $Z,$ and has tracial rank zero, then automorphisms wi…
We give examples of actions of Z/2Z on AF algebras and AT algebras which demonstrate the differences between the (strict) Rokhlin property and the tracial Rokhlin property, and between (strict) approximate representability and tracial approximate representability. Specific results include the following. We determine exactly when a product type action of Z/2Z on a UHF algebra has the tracial Rokhlin property; in particular, unlike for the strict Rokhlin property, every UHF algebra admits such an action. We prove that Blackadar's action of Z/2Z on the 2^{\infty} UHF algebra, whose crossed produc…
In this paper we introduce an analog of the tracial Rokhlin property, called the {\emph {projection free tracial Rokhlin property}}, for $C^*$-algebras which may not have any nontrivial projections. Using this we show that if $A$ is an infinite dimensional stably finite simple unital $C^*$-algebra with stable rank one, with strict comparison of positive elements, with only finitely many extreme tracial states, and with the property that every 2-quasi-trace is a trace, and if $α$ is an action of a finite group $G$ with the projection free tracial Rokhlin property, then the crossed product $C^*(…
Let $A$ be a unital separable simple \CA with $\tr(A)\le 1$ and $α$ be an automorphism. We show that if $α$ satisfies the tracially cyclic Rokhlin property then $\tr(A\rtimes_α\Z)\le 1.$ We also show that whenever $A$ has a unique tracial state and $α^m$ is uniformly outer for each $m (\not= 0)$ and $α^r$ is approximately inner for some $r>0,$ $α$ satisfies the tracial cyclic Rokhlin property. By applying the classification theory of nuclear \CA s, we use the above result to prove a conjecture of Kishimoto: if $A$ is a unital simple $A{\mathbb T}$-algebra of real rank zero and $α\in \Aut(A)$ w…
Let $A$ be a stably finite simple unital $C^*$-algebra and suppose $α$ is an action of a finite group $G$ with the tracial Rokhlin property. Suppose further $A$ has real rank zero and the order on projections over $A$ is determined by traces. Then the crossed product $C^*$-algebra $C^*(G,A, α)$ also has real rank zero and order on projections over $A$ is determined by traces. Moreover, if $A$ also has stable rank one, then $C^*(G,A, α)$ also has stable rank one.
Let A be a unital AF-algebra (simple or non-simple) and let αbe an automorphism of A. Suppose that αhas certain Rokhlin property and A is α-simple. Suppose also that there is an integer J\geq1 such that α^{J}_{*0}=id_{K_{0}(A)}, we show that A\rtimes_α\mathbb{Z} has tracial rank zero.
Let $A$ be a unital simple $A\T$-algebra of real rank zero. Given an isomorphism $γ_1: K_1(A)\to K_1(A),$ we show that there is an automorphism $\af: A\to A$ such that $\af_{*1}=γ_1$ which has the tracial Rokhlin property. Consequently, the crossed product $A\rtimes_{\af}\Z$ is a simple unital AH-algebra with real rank zero. We also show that automorphism with Rokhlin property can be constructed from minimal homeomorphisms on a connected compact metric space.
We study compact group actions with finite Rokhlin dimension, particularly in relation to crossed products. For example, we characterize the duals of such actions, generalizing previous partial results for the Rokhlin property. As an application, we determine the ideal structure of their crossed products. Under the assumption of so-called commuting towers, we show that taking crossed products by such actions preserves a number of relevant classes of C*-algebras, including: $D$-absorbing C*-algebras, where $D$ is a strongly self-absorbing C*-algebra, stable C*-algebras, C*-algebras with finite …
We develop the concept of weak tracial Rokhlin property for finite group actions on simple (not necessarily unital) C*-algebras and study its properties systematically. In particular, we show that this property is stable under restriction to invariant hereditary C*-algebras, minimal tensor products, and direct limits of actions. Some of these results are new even in the unital case and answer open questions asked by N. C. Phillips in full generality. We present several examples of finite group actions with the weak tracial Rokhlin property on simple stably projectionless C*-algebras. We prove …
We define a tracial analogue of the sequentially split $*$-homomorphism between $C^*$-algebras of Barlak and Szabó and show that several important approximation properties related to the classification theory of $C^*$-algebras pass from the target algebra to the domain algebra. Then we show that the tracial Rokhlin property of the finite group $G$ action on a $C^*$-algebra $A$ gives rise to a tracial version of sequentially split $*$-homomorphism from $A\rtimes_αG$ to $M_{|G|}(A)$ and the tracial Rokhlin property of an inclusion $C^*$-algebras $A\subset P$ with a conditional expectation $E:A \…
Let $\mathcal{A}$ be the class of unital separable simple amenable $C$*-algebras $A$ which satisfy the Universal Coefficient Theorem for which $A\otimes M_{\texttt{P}}$ has tracial rank zero for some supernatural number $\texttt{p}$ of infinite type. Let $A\in \mathcal{A}$ and let $α$ be an automorphism of $A.$ Suppose that $α$ has the tracial Rokhlin property. Suppose also that there is an integer $J\geq 1$ such that $[α^J]=[\mbox{id}_A]$ in $KL(A,A)$, we show that $A\rtimes_α\mathbb{Z}\in \mathcal{A}.$
Following the results known in the case of a finite abelian group action on $C\sp*$-algebras we prove the following two theorems; 1. an inclusion $P\subset A$ of (Watatani) index-finite type has the Rokhlin property (is approximately representable) if and only if the dual inclusion is approximately representable (has the Rokhlin property). 2. an inclusion $P\subset A$ of (Watatani) index-finite type has the tracial Rokhlin property (is tracially approximately representable) if and only if the dual inclusion is tracially approximately representable (has the tracial Rokhlin property). Moreover, …
We establish four results concerning connections between actions on separable C*-algebras with Rokhlin-type properties and absorption of the Jiang-Su algebra Z. For actions of residually finite groups or of the reals which have finite Rokhlin dimension with commuting towers, we show that if the action of any nontrivial group element is approximately inner then the C*-algebra acted upon is Z-stable. Without the assumption on approximate innerness, we show that the crossed product has good divisibility properties under mild assumptions. We also establish an analogous result for the generalized t…
We study a general Kishimoto's problem for automorphisms on simple C*-algebras with tracial rank zero. Let $A$ be a unital separable simple C*-algebra with tracial rank zero and let $α$ be an automorphism. Under the assumption that $α$ has certain Rokhlin property, we present a proof that $A\rtimes_α\Z$ has tracial rank zero. We also show that if the induced map $α_{*0}$ on $K_0(A)$ fixes a "dense" subgroup of $K_0(A)$ then the tracial Rokhlin property implies a stronger Rokhlin property. Consequently, the induced crossed product C*-algebras have tracial rank zero.
We introduce the notion of the weak tracial approximate representability of a discrete group action on a unital $C^*$-algebra which could have no projections like the Jiang-Su algebra $\mathcal{Z}$. Then we show a duality between the weak tracial Rokhlin property and the weak tracial approximate representability. More precisely, when $G$ is a finite abelian group and $α:G\curvearrowright A$ is a group action on a unital simple infinite dimensional $C^*$-algebra, we prove that 1. $α$ has the weak tracial Rokhlin property if and only if $\hatα$ has the weak tracial approximate representability. …
Let $A$ be a simple, exact, separable, unital $C^*$-algebra and let $α\colon G \rightarrow Aut(A)$ be an action of a finite group $G$ with the weak tracial Rokhlin property. We show that every trace on $A \rtimes_α G$ is quasidiagonal provided that all traces on $A$ are quasidiagonal. As an application, we study the behavior of finite decomposition rank under taking crossed products by finite group actions with the weak tracial Rokhlin property. Moreover, we discuss the stability of the property that all traces are quasidiagonal under taking crossed products of finite group actions with finite…
In this paper we will introduce the tracial Rokhlin property for an inclusion of separable simple unital C*-algebras $P \subset A$ with finite index in the sense of Watatani, and prove theorems of the following type. Suppose that $A$ belongs to a class of C*-algebras characterized by some structural property, such as tracial rank zero in the sense of Lin. Then $P$ belongs to the same class. The classes we consider include:(1) Simple C*-algebras with real rank zero or stable rank one, (2) Simple C*-algebras with tracial rank zero or tracial rank less than or equal to one, (3) Simple C*-algebras…
We show that if $A$ is a simple (not necessarily unital) tracially $\mathcal{Z}$-absorbing C*-algebra and $α\colon G \to \mathrm{Aut} (A)$ is an action of a finite group $G$ on $A$ with the weak tracial Rokhlin property, then the crossed product $C^*(G, A,α)$ and the fixed point algebra $A^α$ are simple and tracially $\mathcal{Z}$-absorbing, and they are $\mathcal{Z}$-stable if, in addition, $A$ is separable and nuclear. The same conclusion holds for all intermediate C*-algebras of the inclusions $A^α\subseteq A$ and $A \subseteq C^*(G, A,α)$. We prove that if $A$ is a simple tracially $\mathc…
Let $A$ be a unital separable simple amenable $C^*$-algebra with finite tracial rank which satisfies the Universal Coefficient Theorem (UCT). Suppose $\af$ and $\bt$ are two automorphisms with the Rokhlin property that {induce the same action on the $K$-theoretical data of $A$.} We show that $\af$ and $\bt$ are strongly cocycle conjugate and uniformly approximately conjugate, that is, there exists a sequence of unitaries $\{u_n\}\subset A$ and a sequence of strongly asymptotically inner automorphisms $σ_n$ such that $$ \af={\rm Ad}\, u_n\circ σ_n\circ \bt\circ σ_n^{-1}\andeqn \lim_{n\to\infty}…
We study a tracial notion of Z-absorption for simple, unital C*-algebras. We show that if A is a C*-algebra for which this property holds then A has almost unperforated Cuntz semigroup, and if in addition A is nuclear and separable we show this property is equivalent to having A being Z-absorbing. We furthermore show that this property is preserved under forming certain crossed products by actions satisfying a tracial Rokhlin type property.
We investigate symmetries on unital Kirchberg algebras with respect to the Rokhlin property and finite Rokhlin dimension. In stark contrast to the restrictiveness of the Rokhlin property, every such outer action has Rokhlin dimension at most 1. A consequence of these observations is a relationship between the nuclear dimension of an $\mathcal{O}_\infty$-absorbing C*-algebra and its $\mathcal{O}_2$-stabilization. A more direct and alternative approach to this is given as well. Several applications of this relationship are discussed to cover a fairly large class of $\mathcal{O}_\infty$-absorbing…
For any countable discrete group $G$ with a reduced abelian subgroup of finite index, we construct an action $α$ of $G$ on the universal UHF algebra $\Qq$ using an infinite tensor product of permutation representations of $G$ and show that these actions possess some sort of Rokhlin property. The crossed product $\qag$ is then deduced to be tracially AF with a unique tracial state. We also compute the Elliott invariants in the case that $G$ is abelian.
We introduce and study a Rokhlin-type property for actions of finite groups on (not necessarily unital) C*-algebras. We show that the corresponding crossed product C*-algebras can be locally approximated by C*-algebras that are stably isomorphic to closed two-sided ideals of the given algebra. We then use this result to prove that several classes of C*-algebras are closed under crossed products by finite group actions with this Rokhlin property.
We describe some of the forms of freeness of group actions on noncommutative C*-algebras that have been used, with emphasis on actions of finite groups. We give some indications of their strengths, weaknesses, applications, and relationships to each other. The properties discussed include the Rokhlin property, K-theoretic freeness, the tracial Rokhlin property, pointwise outerness, saturation, hereditary saturation, and the requirement that the strong Connes spectrum be the entire dual.
In this paper we define a Rokhlin property for automorphisms of non-unital C*-algebras and for endomorphisms. We show that the crossed product of a C*-algebra by a Rokhlin automorphism preserves absorption of a strongly self-absorbing C*-algebra, and use this result to deduce that the same result holds for crossed products by endomorphisms in the sense of Stacey. This generalizes earlier results of the second named author and W. Winter.
For a finite symmetry group $G$ of an aperiodic substitution tiling system $(\p,ω)$, we show that the crossed product of the tiling C*-algebra $\Aw$ by $G$ has real rank zero, tracial rank one, a unique trace, and that order on its K-theory is determined by the trace. We also show that the action of $G$ on $\Aw$ satisfies the weak Rokhlin property, and that it also satisfies the tracial Rokhlin property provided that $\Aw$ has tracial rank zero. In the course of proving the latter we show that $\Aw$ is finitely generated. We also provide a link between $\Aw$ and the AF algebra Connes associate…
We introduce the spatial Rokhlin property for actions of coexact compact quantum groups on $\mathrm{C}^*$-algebras, generalizing the Rokhlin property for both actions of classical compact groups and finite quantum groups. Two key ingredients in our approach are the concept of sequentially split $*$-homomorphisms, and the use of braided tensor products instead of ordinary tensor products. We show that various structure results carry over from the classical theory to this more general setting. In particular, we show that a number of $\mathrm{C}^*$-algebraic properties relevant to the classificat…
Let $G$ be a metrizable compact group, $A$ a separable C*-algebra and $α$ a strongly continuous action of $G$ on $A$. Provided that $α$ satisfies the continuous Rokhlin property, we show that the property of satisfying the UCT in E-theory passes from $A$ to the crossed product C*-algebra $A\rtimes_αG$ and the fixed point algebra $A^α$. This extends a result by Gardella in the case that $G$ is the circle and $A$ is nuclear. For circle actions on separable, unital C*-algebras with the continuous Rokhlin property, we establish a connection between the $E$-theory equivalence class of the coefficie…
We show that for any countable discrete maximally almost periodic group $G$ and any UHF algebra $A$, there exists a strongly outer product type action $α$ of $G$ on $A$. We also show the existence of countable discrete almost abelian group actions with a certain Rokhlin property on the universal UHF algebra. Consequently we get many examples of unital separable simple nuclear $C^*$-algebras with tracial rank zero and a unique tracial state appearing as crossed products.
Let $P \subset A$ be an inclusion of $σ$-unital C*-algebras with a finite index in the sense of Izumi. Then we introduce the Rokhlin property for a conditional expectation $E$ from $A$ onto $P$ and show that if $A$ is simple and satisfies any of the property $(1) \sim (12)$ listed in the below, and $E$ has the Rokhlin property, then so does $P$. (1) Simplicity;(2) Nuclearity;(3) C*-algebras that absorb a given strongly self-absorbing C*-algebra $\mathcal{D}$; (4)C*-algebras of stable rank one; (5) C*-algebras of real rank zero;(6) C*-algebras of nuclear dimension at most $n$, where $n \in Z^+$…
We prove that a number of classes of separable unital C*-algebras are closed under crossed products by finite group actions with the Rokhlin property, including: (1) AI algebras, AT algebras, and related classes characterized by direct limit decompositions using semiprojective building blocks. (2) Simple unital AH algebras with slow dimension growth and real rank zero. (3) C*-algebras with real rank zero or stable rank one. (4) C*-algebras whose quotients all satisfy the Universal Coefficient Theorem. Along the way, we give a systematic treatment of the derivation of direct limit decomposition…
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.
University of Detroit Mercy（底特律 Mercy 大学）；Okanagan College（奥卡纳根学院）；East China Normal University（华东师范大学）；University of Oregon（俄勒冈大学）；University of Oxford（牛津大学）
It is shown that a unital C*-algebra A has the Dixmier property if and only if it is weakly central and satisfies certain tracial conditions. This generalises the Haagerup-Zsido theorem for simple C*-algebras. We also study a uniform version of the Dixmier property, as satisfied for example by von Neumann algebras and the reduced C*-algebras of Powers groups, but not by all C*-algebras with the Dixmier property, and we obtain necessary and sufficient conditions for a simple unital C*-algebra with unique tracial state to have this uniform property. We give further examples of C*-algebras with t…
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 …
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…
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.
We introduce Rokhlin properties for certain discrete group actions on $C^*$-correspondences as well as on Hilbert bimodules and analyze them. It turns out that the group actions on any $C^*$-correspondence $E$ with Rokhlin property induces group actions on the associated $C^*$-algebra $\mathcal O_E$ with Rokhlin property and the group actions on any Hilbert bimodule with Rokhlin property induces group actions on the linking algebra with Rokhlin property. Permanence properties of several notions such as nuclear dimension and $\mathcal D$-absorbing property with respect to crossed product of Hil…
