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.
Let $A \subset C$ and $B \subset D$ be unital inclusions of unital $C^*$-algebras. Let ${}_A \mathbf{B}_A (C, A)$ (resp. ${}_B \mathbf{B}_B (D, B)$) be the space of all bounded $A$-bimodule (resp. $B$-bimodule) linear maps from $C$ (resp. $D$) to $A$ (resp. $B$). We suppose that $A \subset C$ and $B \subset D$ are strongly Morita equivalent. We shall show that there is an isometric isomorphism $f$ of ${}_A \mathbf{B}_A (C, A)$ onto ${}_B \mathbf{B}_B (D, B)$ and we shall study on basic properties about $f$.
We consider two inclusions of $C^*$-algebras whose small $C^*$-algebras have approximate units of the large $C^*$-algebras and their two spaces of all bounded bimodule linear maps. We suppose that the two inclusions of $C^*$-algebras are strongly Morita equivalent. In this paper, we shall show that there exists an isometric isomorphism from one of the spaces of all bounded bimodule linear maps to the other space and we shall study on basic properties about the isometric isomorphism. And, using this isometric isomorphism, we define the Picard group for a bimodule linear map and discuss on the P…
We revisit and generalize the application of a method introduced by Latrémolière and Packer for constructing finitely generated projective modules over the noncommutative solenoid C*-algebras. By realizing them as direct limits of rotation algebras, the method constructs directed systems of equivalence bimodules between rotation algebras that satisfy the necessary compatibility conditions to build Morita equivalence bimodules between the direct limit C*-algebras. In the irrational case, we use a fixed projection in a matrix algebra over the rotation algebra satisfying a key condition to build …
The classical Morita Theorem for rings established the equivalence of three statements, involving categorical equivalences, isomorphisms between corners of finite matrix rings, and bimodule homomorphisms. A fourth equivalent statement (established later) involves an isomorphism between infinite matrix rings. In our main result, we establish the equivalence of analogous statements involving graded categorical equivalences, graded isomorphisms between corners of finite matrix rings, graded bimodule homomorphisms, and graded isomorphisms between infinite matrix rings.
The duality principle for Gabor frames is one of the pillars of Gabor analysis. We establish a far-reaching generalization to Morita equivalent $C^*$-algebras where the equivalence bimodule is a finitely generated projective Hilbert $C^*$-module. These Hilbert $C^*$-modules are equipped with some extra structure and are called Gabor bimodules. We formulate a duality principle for standard module frames for Gabor bimodules which reduces to the well-known Gabor duality principle for twisted group $C^*$-algebras of a lattice in phase space. We lift all these results to the matrix algebra level an…
Let $A$ be a unital $C^*$-algebra and $X$ an invulutive $A-A$-equivalence bimodule. Let $A\subset C_X$ be the unital inclusion of unital $C^*$-algebras induced by $X$. We suppose that $A' \cap C_X =\mathbf{C} 1$. We shall compute the Picard group of the unital inclusion $A\subset C_X$.
We will introduce the notion of strong Morita equivalence for completely positive linear maps and study its basic properties. Also, we will discuss the relation between strong Morita equivalence for bounded $C^*$-bimodule linear maps and strong Morita equivalence for completely positive linear maps. Furthermore, we will show that if two unital $C^*$-algebras are strongly Morita equivalent, then there is a $1-1$ correspondence between the two sets of all strong Morita equivalence classes of completely positive linear maps on the two unital $C^*$-algebras and we will show that the corresponding …
We consider two twisted actions of a countable discrete group on $σ$-unital $C^*$-algebras. Then by taking the reduced crossed products, we get two inclusions of $C^*$-algebras. We suppose that they are strongly Morita equivalent as inclusions of $C^*$-algebras. Also, we suppose that one of the inclusions is irreducible, that is, the relative commutant of one of the $σ$-unital $C^*$-algebra in the multiplier $C^*$-algebra of the reduced twisted crossed product is trivial. We show that the two actions are then strongly Morita equivalent up to some automorphism of the group.
We consider two saturated Fell bundles over a countable discrete group, whose unit fibers are $σ$-unital $C^*$-algebras. Then by taking the reduced cross-sectional $C^*$-algebras, we get two inclusions of $C^*$-algebras. We suppose that they are strongly Morita equivalent as inclusions of $C^*$-algebras. Also, we suppose that one of the inclusions of $C^*$-algebras is irreducible, that is, the relative commutant of one of the unit fiber algebras, which is a $σ$-unital $C^*$-algebra, in the multiplier $C^*$-algebra of the reduced cross-sectional $C^*$-algebra is trivial. We show that the two sa…
Let $A$ and $B$ be $σ$-unital $C^*$-algebras and $X$ and $Y$ an $A-A$-equivalence bimodule and a $B-B$-equivalence bimodule, respectively. Also, let $A\rtimes_X \mathbb{Z}$ and $B\rtimes_Y \mathbb{Z}$ be the crossed products of $A$ and $B$ by $X$ and $Y$, respectively. Furthermore, let $A\subset A\rtimes_X \mathbb{Z}$ and $B\subset B\rtimes_Y \mathbb{Z}$ be the inclusions of $C^*$-algebras induced by $X$ and $Y$, respectively. We suppose that $A' \cap M(A\rtimes_X \mathbb{Z})=\mathbb{C} 1$. In this paper we shall show that the inclusions $A\subset A\rtimes_X \mathbb{Z}$ and $B\subset B\rtimes_…
We give a dynamical characterization of categorical Morita equivalence between compact quantum groups. More precisely, by a Tannaka-Krein type duality, a unital C*-algebra endowed with commuting actions of two compact quantum groups corresponds to a bimodule category over their representation categories. We show that this bimodule category is invertible if and only if the actions are free, with finite dimensional fixed point algebras, which are in duality as Frobenius algebras in an appropriate sense. This extends the well-known characterization of monoidal equivalence in terms of bi-Hopf-Galo…
Coactions of a finite dimensional $C^*$-Hopf algebra on unital $C^*$-algebras, unital inclusions of unital $C^*$-algebras and the strong Morita equivalence
Let $θ, θ'$ be irrational numbers and $A, B$ be matrices in $SL_2(\mathbb{Z})$ of infinite order. We compute the $K$-theory of the crossed product $\mathcal{A}_θ\rtimes_A \mathbb{Z}$ and show that $\mathcal{A}_θ \rtimes_A\mathbb{Z}$ and $\mathcal{A}_{θ'} \rtimes_B \mathbb{Z}$ are $*$-isomorphic if and only if $θ= \pmθ' \pmod{\mathbb{Z}}$ and $I-A^{-1}$ is matrix equivalent to $I-B^{-1}$. Combining this result and an explicit construction of equivariant bimodules, we show that $\mathcal{A}_θ \rtimes_A\mathbb{Z}$ and $\mathcal{A}_{θ'} \rtimes_B \mathbb{Z}$ are Morita equivalent if and only if $θ…
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 $\mathcal{A}= \{A_t \}_{t \in G}$ and $\mathcal{B}= \{B_t \}_{t\in G}$ be $C^*$-algebraic bundles over a finite group $G$. Let $C=\oplus_{t \in G}A_t$ and $D=\oplus_{t\in G}B_t$. Also, let $A=A_e$ and $B=B_e$, where $e$ is the unit element in $G$. We suppose that $C$ and $D$ are unital and $A$ and $B$ have the unit elements in $C$ and $D$, respectively. In this paper, we shall show that if there is an equivalence $\mathcal{A}-\mathcal{B}$-bundle over $G$ with some properties, then the unital inclusions of unital $C^*$-algebras $A \subset C$ and $B \subset D$ induced by $\mathcal{A}$ and $\…
It is well known that rings are the objects of a bicategory, whose arrows are bimodules, composed through the bimodule tensor product. We give an analogous bicategorical description of C*-algebras, von Neumann algebras, Lie groupoids, symplectic groupoids, and Poisson manifolds. The upshot is that known definitions of Morita equivalence for any of these cases amount to isomorphism of objects in the pertinent bicategory.
Following the operator algebraic approach to Gabor analysis, we construct frames of translates for the Hilbert space localisation of the Morita equivalence bimodule arising from a groupoid equivalence between Hausdorff groupoids, where one of the groupoids is étale and with a compact unit space. For finitely generated and projective submodules, we show these frames are orthonormal bases if and only if the module is free. We then apply this result to the study of localised Wannier bases of spectral subspaces of Schrödinger operators with atomic potentials supported on (aperiodic) Delone sets. T…
We shall generalize the notion of the strong Morita equivalence for coactions of a finite dimensional $C^*$-Hopf algebra on a unital $C^*$-algebra and define the Picard groups with respect to the generalized strong Morita equivalence. We call them the generalized Picard groups for coactions of a finite dimensional $C^*$-Hopf algebra on a unital $C^*$-algeba. We shall investigate basic properties of the generalized Picard groups and clarify the relation between the generalized Picard groups and the Picard groups for unital inclusions of unital $C^*$-algebras.
Institut Mittag-Leffler The Royal Swedish Academy of Sciences（米塔格-莱夫勒研究所 瑞典皇家科学院）；Department of Mathematics Dartmouth College（达特茅斯学院数学系）；University of Patras（帕特雷大学）；National and Kapodistrian University of Athens（雅典国立卡波季斯特里安大学）
We study several notions of shift equivalence for C*-correspondences and the effect that these equivalences have on the corresponding Pimsner dilations. Among others, we prove that non-degenerate, regular, full C*-correspondences which are shift equivalent have strong Morita equivalent Pimsner dilations. We also establish that the converse may not be true. These results settle open problems in the literature. In the context of C*-algebras, we prove that if two non-degenerate, regular, full C*-correspondences are shift equivalent, then their corresponding Cuntz-Pimsner algebras are strong Morit…
We define the local multiplier module of a Hilbert module in analogy to the local multiplier algebra for $C^*$-algebras. We use properties of the local multiplier module to lift non-closed actions on $C^*$-algebras by Hilbert bimodules to closed actions on local multiplier algebras, and descend known results on such closed actions down to their unclosed counterparts. We define aperiodic dynamical inclusions and characterise them as crossed products by inverse semigroup actions. We describe the slice structure for such inclusions and show that all slices arise as linear combinations of slices a…
Orbifold subfactors from Hecke algebras II --- Quantum doubles and braiding ---
A. Ocneanu观察到，在A_2n+1型Jones子因子的渐近包含（量子偶的子因子模拟）的M_infinity-M_infinity-M_infinity-双模系统中，出现了一种神秘的轨道折叠现象。我们表明，这是一个普遍的现象，并确定他的一些orbifolds在我们的意义上的子因子作为同时不动点代数的Hecke代数子因子的A型的Wenzl。也就是说，我们研究了它们的渐近包含，并证明了对于SU（3）_3k，M_infinity-M_infinity-M_infinity-bimodle是由某些轨道折叠（带鬼）所描述的。我们实际上计算的（对偶）主图的渐近包含的几个例子。作为Ocneanu轨道折叠与我们的轨道折叠一致的推论，我们证明了在D_2n（n>2）的偶数顶点上存在非退化的辫子。
