arXiv subjects
Publications and source records attributed to Tamotsu Teruya.
We shall introduce a notion of free coactions of a finite dimensional $C^*$-Hopf algebra on a $C^*$-algebra modifying a notion of free actions of a discrete group on a $C^*$-algebra and we shall study several properties on coactions of a finite dimensional $C^*$-Hopf algebra on $C^*$-algebras, which are relating to strong Morita equivalence for inclusions of $C^*$-algebras.
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^+$; (7)C*-algebras of decomposition rank at most $n$, where $n \in Z^+$; (8) Separable simple C*-algebras that are stably isomorphic to AF algebras; (9) Separable simple C*-algebras that are stably isomorphic to AI algebras; (10) Separable simple C*-algebras that are stably isomorphic to AT algebras; (11) Separable simple C*-algebras that are stably isomorphic to sequential direct limits of one dimensional NCCW complexes; (12) Separable C*-algebras with strict comparison of positive elements. In particular, when $α: G \rightarrow \rm{Aut}(A)$ is an action of a finite group $G$ on $A$ with the Rokhlin property in the sense of Nawata, the properties $(1) \sim (12)$ are inherited to the fixed point algebra $A^α$ and the crossed product algebra $A \rtimes_αG$ from $A$.
Let $A$ and $B$ be unital $C^*$-algebras and let $H$ be a finite dimensional $C^*$-Hopf algebra. Let $H^0$ be its dual $C^*$-Hopf algebra. Let $(ρ, u)$ and $(σ, v)$ be twisted coactions of $H^0$ on $A$ and $B$, respectively. In this paper, we shall show the following theorem: We suppose that the unital inclusions $A\subset A\rtimes_{ρ, u}H$ and $B\subset B\rtimes_{σ, v}H$ are strongly Morita equivalent. If $A'\cap (A\rtimes_{ρ, u}H)=\BC1$, then there is a $C^*$-Hopf algebra automorphism $λ^0$ of $H^0$ such that the twisted coaction $(ρ, u)$ is strongly Morita equivalent to the twisted coaction $((\id_B \otimesλ^0 )\circσ\, , \, (\id_B \otimesλ^0 \otimesλ^0 )(v))$ induced by $(σ, v)$ and $λ^0$.
We shall introduce the notions of the strong Morita equivalence for unital inclusions of unital $C^*$-algebras and conditional expectations from an equivalence bimodule onto its closed subspace with respect to conditional expectations from unital $C^*$-algebras onto their unital $C^*$-subalgebras. Also, we shall study their basic properties.
Following Jansen and Waldmann, and Kajiwara and Watatani, we shall introduce notions of coactions of a finite dimensional $C^*$-Hopf algebra on a Hilbert $C^*$-bimodule of finite type in the sense of Kajiwara and Watatani and define their crossed product. We shall investigate their basic properties and show that the strong Morita equivalence for coactions preserves the Rohlin property for coactions of a finite dimensional $C^*$-Hopf algebra on unital $C^*$-algebras.
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 with the Jiang-Su algebra $\mathcal{Z}$ absorption, (4) Simple C*-algebras for which the order on projections is determined by traces, (5) Simple C*-algebras with the strict comparison property for the Cuntz semigroup. The conditions (3) and (5) are important properties related to Toms and Winter's conjecture, that is, the properties of strict comparison, finite nuclear dimension, and Z-absorption are equivalent for separable simple infinite-dimensional nuclear unital C*-algebras. We show that an action $α$ from a finite group $G$ on a simple unital C*-algebra $A$ has the tracial Rokhlin property in the sense of Phillips if and only if the canonical conditional expectation $E\colon A \rightarrow A^G$ has the tracial Rokhlin property for an inclusion $A^G \subset A$.
We shall introduce the approximate representability and the Rohlin property for coactions of a finite dimensional $C^*$-Hopf algebra on a unital $C^*$-algebra and discuss some basic properties of approximately representable coactions and coactions with the Rohlin property of a finite dimensional $C^*$-Hopf algebra on a unital $C^*$-algebra. Also, we shall give an example of an approximately representable coaction of a finite dimensional $C^*$-Hopf algebra on a simple unital $C^*$-algebra which has also the Rohlin property and we shall give the 1-cohomology vanishing theorem for coactions of a finite dimensional $C^*$-Hopf algebra on a unital $C^*$-algebra and the 2-cohomology vanishing theorem for twisted coactions of a finite dimensional $C^*$-Hopf algebra on a unital $C^*$-algebra. Furthermore, we shall introduce the notion of the approximately unitary equivalence of coactions of a finite dimensional $C^*$-Hopf algebra $H$ on a unital $C^*$-algebra $A$ and show that if $ρ$ and $σ$, coactions of $H$ on a separable unital $C^*$-algebra $A$, which have the Rohlin property, are approximately unitarily equivalent, then there is an approximately inner automorphism $α$ on $A$ such that $σ=(α\otimes\id)\circρ\circα^{-1}$.
Let $P \subset A$ be an inclusion of separable unital C*-algebras with finite Watatani index. Suppose that $E \colon A \rightarrow P$ has the Rokhlin property, that is, there is a projection $e \in A' \cap A^\infty$ such that $E^\infty(e) = ({\rm Index}E)^{-1}1$. We show that if $A$ has nuclear dimension $n$, then $P$ has nuclear dimension less than or equal to $n$. In particular, if an action $α$ of a finite group $G$ on $A$ has the Rokhlin property, then the nuclear dimension of the crossed product algebra $A \rtimes_αG$ is less than or equal to that of $A$.
Let $P \subset A$ be a inclusion of unital C*-algebras and $E\colon A \to P$ be a conditional expectation of index finite type. We introduce a Rokhlin property for $E$ and discuss about $\mathcal{D}$-absorbing proeprty, where $\mathcal{D}$ is a separable, unital, strongly self-absorbing C*-algebra. In this paper we consider permanent properties for strongly self-absorbing property under inclusions of unital C*-algebras with a finite Watatani index.
We introduce notions of the Rohlin property and the approximate representability for inclusions of unital $C^*$-algebras. We investigate a dual relation between the Rohlin property and the approximate representability. We prove that a number of classes of unital $C^*$-algebras are closed under inclusions with the Rohlin property, including: AF algebras, AI algebras, AT algebras, and related classes characterized by direct limit decomposition using semiprojective building blocks. $C^*$-algebras with stable rank one. $C^*$-algebras with real rank zero.
Let B be a unital C*-algebra, let A be a unital subalgebra, and let E be a conditional expectation from B to A with index-finite type and a quasi-basis of n elements. Then the topological stable rank satisfies \tsr (B) \leq \tsr (A) + n - 1. As an application, we show that if a unital inclusion A \subset B of C*-algebras has index-finite type and finite depth, and A is simple with stable rank one and Property (SP), then B has cancellation. In particular, if A is a simple unital C*-algebra with stable rank one and Property (SP), and a finite group G acts on A, then the crossed product has cancellation. Separately, if the group is the integers, we obtain cancellation under the additional hypotheses that the group action is outer and is trivial on K_0 (A).
Let $1 \in A \subset B$ be an inclusion of unital C*-algebras of index-finite type and depth 2. Suppose that $A$ is infinite dimensional simple with $tsr(A) = 1$ and SP-property. Then $tsr(B) \leq 2$. As a corollary when $A$ is a simple C*-algebra with $\tsr(A) = 1$ and SP-property and $α$ an action of a finite group $G$ on $\Aut(A)$, $\tsr(A \rtimes_αG) \leq 2$.
Let $1 \in A \subset B$ be an inclusion of C*-algebras of C*-index-finite type with depth 2. We try to compute topological stable rank of $B$ ($= \tsr(B)$) when $A$ has topological stable rank one. We show that $\tsr(B) \leq 2$ when $A$ is a tsr boundedly divisible algebra, in particular, $A$ is a C*-minimal tensor product $UHF \otimes D$ with $\tsr(D) = 1$. When $G$ is a finite group and $α$ is an action of $G$ on UHF, we know that a crossed product algebra $UHF \rtimes_αG$ has topological stable rank less than or equal to two. These results are affirmative datum to a generalization of a question by B. Blackadar in 1988.
Let $N \subset M$ be an irreducible inclusion of type type II$_1$ factors with finite Jones index. We shall introduce the notion of normality for intermediate subfactors of the inclusion $N \subset M$. If the depth of $N \subset M$ is 2, then an intermediate subfactor $K$ for $N \subset M$ is normal in $ N \subset M$ if and only if the depths of $N \subset K$ and $K \subset M$ are both 2. In particular, if $M$ is the crossed product $N \rtimes G$ of a finite group $G$, then $K = N \rtimes H$ is normal in $N \subset M$ if and only if $H$ is a normal subgroup of $G$.