Coactions of a finite dimensional $C^*$-Hopf algebra on unital $C^*$-algebras, unital inclusions of unital $C^*$-algebras and the strong Morita equivalence

Abstract

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$.