We show that two operator algebras are strongly Morita equivalent (in the sense of Blecher, Muhly and Paulsen) if and only if their categories of operator modules are equivalent via completely contractive functors. Moreover, any such functor is completely isometrically isomorphic to the Haagerup tensor product (= interior tensor product) with a strong Morita equivalence bimodule.
The Morita equivalence of m-regular involutive quantales in the context of the theory of Hilbert $A$-modules is presented. The corresponding fundamental representation theorems are shown. We also prove that two commutative m-regular involutive quantales are Morita equivalent if and only if they are isomorphic
In this paper we introduce a notion of Morita equivalence for Hilbert C*-modules in terms of the Morita equivalence of the algebras of compact operators on Hilbert C*-modules. We investigate some properties of the new version of Morita equivalence and obtain some results. We then applied our results to study the continuous actions of locally compact groups on full Hilbert C*-modules. We present an extension of Green's theorem in the context of Hilbert C*-modules as well.
We introduce the notion of $Δ$ and $σ\,Δ-$ pairs for operator algebras and characterise $Δ-$ pairs through their categories of left operator modules over these algebras. Furthermore, we introduce the notion of $Δ$-Morita equivalent operator spaces and prove a similar theorem about their algebraic extensions. We prove that $σΔ$-Morita equivalent operator spaces are stably isomorphic and vice versa. Finally, we study unital operator spaces, emphasising their left (resp. right) multiplier algebras, and prove theorems that refer to $Δ$-Morita equivalence of their algebraic extensions.
In previous work, we defined and studied $Σ^*$-modules, a class of Hilbert $C^*$-modules over $Σ^*$-algebras (the latter are $C^*$-algebras that are sequentially closed in the weak operator topology). The present work continues this study by developing the appropriate $Σ^*$-algebraic analogue of the notion of strong Morita equivalence for $C^*$-algebras. We define strong $Σ^*$-Morita equivalence, prove a few characterizations, look at the relationship with equivalence of categories of a certain type of Hilbert space representation, study $Σ^*$-versions of the interior and exterior tensor produ…
We show that if $M$ and $N$ are $C^{*}$-algebras and if $E$ (resp. $F$) is a $C^{*}$-correspondence over $M$ (resp. $N$), then a Morita equivalence between $(E,M)$ and $(F,N)$ implements a isometric functor between the categories of Hilbert modules over the tensor algebras of $\mathcal{T}_{+}(E)$ and $\mathcal{T}_{+}(F)$. We show that this functor maps absolutely continuous Hilbert modules to absolutely continuous Hilbert modules and provides a new interpretation of Popescu's reconstruction operator.
Let $G$ and $H$ be Hausdorff ample groupoids and let $R$ be a commutative unital ring. We show that if $G$ and $H$ are equivalent in the sense of Muhly-Renault-Williams, then the associated Steinberg algebras of locally constant $R$-valued functions with compact support are Morita equivalent. We deduce that collapsing a ``collapsible subgraph" of a directed graph in the sense of Crisp and Gow does not change the Morita-equivalence class of the associated Leavitt path $R$-algebra, and therefore a number of graphical constructions which yield Morita equivalent $C^*$-algebras also yield Morita eq…
We give a solution, via operator spaces, of an old problem in the Morita equivalence of C*-algebras. Namely, we show that C*-algebras are strongly Morita equivalent in the sense of Rieffel if and only if their categories of left operator modules are isomorphic via completely contractive functors. Moreover, any such functor is completely isometrically isomorphic to the Haagerup tensor product (= interior tensor product) with a strong Morita equivalence bimodule. An operator module over a C$^*-$algebra $\A$ is a closed subspace of some B(H) which is left invariant under multiplication by $π(\A)$…
Let ${\rm Rep}\,{\cal O}_n$ denote the category of all nondegenerate $^*$ representations of the Cuntz algebra ${\cal O}_n$. For any $2\leq n,m<\infty$, we construct an isomorphism functor $F_{n,m}$ from ${\rm Rep}\,{\cal O}_m$ to ${\rm Rep}\,{\cal O}_n$.
Rings form a bicategory [Rings], with classes of bimodules as horizontal arrows, and bimodule maps as vertical arrows. The notion of Morita equivalence for rings can be translated in terms of bicategories in the following way. Two rings are Morita equivalent if and only if they are isomorphic objects in the bicategory. We repeat this construction for von Neumann algebras. Von Neumann algebras form a bicategory [W*], with classes of correspondences as horizontal arrows, and intertwiners as vertical arrows. Two von Neumann algebras are Morita equivalent if and only if they are isomorphic objects…
We will consider the set of all completely positive linear maps from a unital $C^*$-algebra to the $C^*$-algebra of all (bounded) adjointable right Hilbert $C^*$-module maps, which are automatically bounded, on a right Hilbert $C^*$-module and we will introduce strong Morita equivalence for elements in this set. In this paper, we will give the following result: If two classes of two unital $C^*$-algebras are strongly Morita equivalent, respectively, then we can construct a bijective correspondence between two sets of all strong Morita equivalence classes of completely positive linear maps give…
We discuss the crossed product by the dual action of the circle on the crossed product of a C*-algebra A by a Hilbert C*-bimodule X. When X is an A-A Morita equivalence bimodule, the double crossed product is shown to be Morita equivalent to the C*-algebra A.
Muhly and Solel developed a notion of Morita equivalence for $C^{*}$- correspondences, which they used to show that if two $C^{*}$-correspondences $E$ and $F$ are Morita equivalent then their tensor algebras $\mathcal{T}_{+}(E)$ and $\mathcal{T}_{+}(F)$ are (strongly) Morita equivalent operator algebras. We give the weak$^{*}$ version of this result by considering (weak) Morita equivalence of $W^{*}$-correspondences and employing Blecher and Kashyap's notion of Morita equivalence for dual operator algebras. More precisely, we show that weak Morita equivalence of $W^{*}$-correspondences $E$ and…
We introduce strong Morita equivalence for inverse semigroups. This notion encompasses Mark Lawson's concept of enlargement. Strongly Morita equivalent inverse semigroups have Morita equivalent universal groupoids in the sense of Paterson and hence strongly Morita equivalent universal and reduced $C^*$-algebras. As a consequence we obtain a new proof of a result of Khoshkam and Skandalis showing that the $C^*$-algebra of an $F$-inverse semigroup is strongly Morita equivalent to a cross product of a commutative $C^*$-algebra by a group.
For any countable graph $E$, we investigate the relationship between the Leavitt path algebra $L_{\C}(E)$ and the graph C*-algebra $C^*(E)$. For graphs $E$ and $F$, we examine ring homomorphisms, ring *-homomorphisms, algebra homomorphisms, and algebra *-homomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$. We prove that in certain situations isomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$ yield *-isomorphisms between the corresponding C*-algebras $C^*(E)$ and $C^*(F)$. Conversely, we show that *-isomorphisms between $C^*(E)$ and $C^*(F)$ produce isomorphisms between $L_{\C}(E)$ and $L_{\C}(F)$ …
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 show how to modify any Bratteli diagram $E$ for an AF-algebra $A$ to obtain a Bratteli diagram $KE$ for $A$ whose graph algebra $C^*(KE)$ contains both $A$ and $C^*(E)$ as full corners.
We consider a variant of the notion of Morita equivalence appropriate to weak* closed algebras of Hilbert space operators, which we call {\em weak Morita equivalence}. We obtain new variants, appropriate to the dual algebra setting, of the basic theory of strong Morita equivalence, and new nonselfadjoint variants of aspects of Rieffel's $W^*$-algebraic Morita equivalence.
We prove that the classes of graph algebras, Exel-Laca algebras, and ultragraph algebras coincide up to Morita equivalence. This result answers the long-standing open question of whether every Exel-Laca algebra is Morita equivalent to a graph algebra. Given an ultragraph G we construct a directed graph E such that C*(G) is isomorphic to a full corner of C*(E). As applications, we characterize real rank zero for ultragraph algebras and describe quotients of ultragraph algebras by gauge-invariant ideals.
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.
Let N_1 (resp.N_2) be a nest A (resp. B) be the corresponding nest algebra, A_0 (resp. B_0) be the subalgebra of compact operators. We prove that the nests N_1, N_2 are isomorphic if and only if the algebras A, B are weakly-* Morita equivalent if and only if the algebras A_0, B_0 are strongly Morita equivalent. We characterize the nest isomorphisms which implement stable isomorphism between the corresponding nest algebras.
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.
In this paper, we determine the isomorphic classes of Morita equivalent subalgebras of irrational rotation algebras. It is based on the solution of the quadratic Diophantine equations. We determine the irrational rotation algebras that have locally trivial inclusions. We compute the index of the locally trivial inclusions of irrational rotation algebras.
In this paper, we answer a question of Blecher-Muhly-Paulsen pertaining to identifying topological invariants for completely bounded Morita equivalences of holomorphic cross-section algebras. Given a certain natural subcontext of a strong Morita context of $n$-homogeneous $C^*$-algebras whose spectrum $T$ is an annulus, Blecher-Muhly-Paulsen are able to estimate the norm of a lifting of the identity of a holomorphic subalgebra by a conformal invariant of the annulus and a property of the associated matrix bundle. We give a generalization of the above example in which $T$ is a bordered Riemann …
We introduce the notion of strong Morita equivalence for group actions on locally C*-algebras and prove that the crossed products associated with two strongly Morita equivalent continuous inverse limit actions of a locally compact group G on the locally C*-algebras A and B are strongly Morita equivalent. This generalizes a result of F. Combes, Proc. London Math. Soc. 49(1984) and R. E. Curto, P.S. Muhly, D. P. Williams, Proc. Amer. Soc. 90(1984).
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…
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 revisit a central result of Muhly and Solel on operator algebras of C*-correspondences. We prove that (possibly non-injective) strongly Morita equivalent C*-correspondences have strongly Morita equivalent relative Cuntz-Pimsner C*-algebras. The same holds for strong Morita equivalence (in the sense of Blecher, Muhly and Paulsen) and strong $Δ$-equivalence (in the sense of Eleftherakis) for the related tensor algebras. In particular, we obtain stable isomorphism of the operator algebras when the equivalence is given by a $σ$-TRO. As an application we show that strong Morita equivalence coinc…
In this paper we describe an operation on directed graphs which produces a graph with fewer vertices, such that the C*-algebra of the new graph is Morita equivalent to that of the original graph. We unify and generalize several related constructions, notably delays and desingularizations of directed graphs.
We prove that two dual operator algebras are weak$^*$ Morita equivalent if and only if they have equivalent categories of dual operator modules via completely contractive functors which are also weak$^*$-continuous on appropriate morphism spaces. Moreover, in a fashion similar to the operator algebra case, we characterize such functors as the module normal Haagerup tensor product with an appropriate weak$^*$ Morita equivalence bimodule. We also develop the theory of the $W^*$-dilation, which connects the non-selfadjoint dual operator algebra with the $W^*$-algebraic framework. In the case of w…
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…
We define a relation < for dual operator algebras. We say that B < A if there exists a projection p in A such that B and pAp are Morita equivalent in our sense. We show that < is transitive, and we investigate the following question: If A < B and B < A, then is it true that A and B are stably isomorphic? We propose an analogous relation < for dual operator spaces, and we present some properties of < in this case.
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 $P$ be a completely positive map on $M_n(\mathbb{C})$ and let $E_P$ be the associated \emph{GNS}-$C^*$-correspondence. We prove a result that implies, in particular, that the Cuntz-Pimsner algebra of $E_P$, $\mathcal{O}(E_P)$, is strongly Morita equivalent to the Cuntz algebra $\mathcal{O}_{d(P)}$, where $d(P)$ is the index of $P$.
In this paper, we will prove that if $A$ is a $C^*$-algebra with an effective coaction $ε$ by a compact quantum group, then the fixed point algebra and the reduced crossed product are Morita equivalent. As an application, we prove an imprimitivity type theorem for crossed products of coactions by discrete Kac $C^*$-algebras.
We introduce a notion of ideal-related K-theory for rings, and use it to prove that if two complex Leavitt path algebras are Morita equivalent (respectively, isomorphic), then the ideal-related K-theories (respectively, the unital ideal-related K-theories) of the corresponding graph C*-algebras are isomorphic. This has consequences for the "Morita equivalence conjecture" and "isomorphism conjecture" for graph algebras, and allows us to prove that when E and F belong to specific collections of graphs whose C*-algebras are classified by ideal-related K-theory, Morita equivalence (respectively, i…
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…
It is well known that a measured groupoid G defines a von Neumann algebra W*(G), and that a Lie groupoid G canonically defines both a C*-algebra C*(G) and a Poisson manifold A*(G). We show that the maps G -> W*(G), G -> C*(G) and G -> A*(G) are functorial with respect to suitable categories. In these categories Morita equivalence is isomorphism of objects, so that these maps preserve Morita equivalence.
Given a C*-dynamical system (A,G,α), we discuss conditions under which subalgebras of the multiplier algebra M(A) consisting of fixed points for αare Morita-Rieffel equivalent to ideals in the crossed product of A by G. In case G is abelian we also develop a spectral theory, giving a necessary and sufficient condition for αto be equivalent to the dual action on the cross-sectional C*-algebra of a Fell bundle. In our main application we show that a proper action of an abelian group on a locally compact space is equivalent to a dual action.
We introduce a notion of Morita equivalence for non-selfadjoint operator algebras equipped with a completely isometric involution (operator *-algebras). We then show that the unbounded Kasparov product by a Morita equivalence bimodule induces an isomorphism between equivalence classes of twisted spectral triples over Morita equivalent operator *-algebras. This leads to a tentative definition of unbounded bivariant K-theory and we prove that this bivariant theory is related to Kasparov's bivariant K-theory via the Baaj-Julg bounded transform. Moreover, the unbounded Kasparov product provides a …
We consider a class of proper actions of locally compact groups on imprimitivity bimodules over C*-algebras which behave like the proper actions on C*-algebras introduced by Rieffel in 1988. We prove that every such action gives rise to a Morita equivalence between a crossed product and a generalized fixed-point algebra, and in doing so make several innovations which improve the applicability of Rieffel's theory. We then show how our construction can be used to obtain canonical tensor-product decompositions of important Morita equivalences. Our results show, for example, that the different pro…
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$.
The $w^{\star}$-rigged modules over dual operator algebras were introduced by Blecher and Kashyap as a generalization of $W^{\star}$-modules. In this paper, we introduce two new types of Morita equivalence between right $w^{\star}$-rigged modules over unital dual operator algebras and we examine whether these notions imply stable isomorphism between the corresponding modules. Furthermore we investigate them in detail for the class of right $w^{\star}$-rigged modules over nest algebras, that was characterised by G.K.Eleftherakis.
We solve two problems in the theory of correspondences that have important implications in the theory of product systems. The first problem is the question whether every correspondence is the correspondence associated (by the representation theory) with a unital endomorphism of the algebra of all adjointable operators on a Hilbert module. The second problem is the question whether every correspondence allows for a nondegenerate faithful representation on a Hilbert space. We also resolve an extension problem for representations of correspondences and we provide new efficient proofs of several w…
We describe a method for associating some non-self-adjoint algebras to Mauldin-Williams graphs and we study the Morita equivalence and isomorphism of these algebras. We also investigate the relationship between the Morita equivalence and isomorphism class of the C^{\ast} -correspondences associated with Mauldin-Williams graphs and the dynamical properties of the Mauldin-Williams graphs.
In this paper, we define the notion of induced representations of a Hilbert $C^{*}$-module and we show that Morita equivalence of two Hilbert modules (in the sense of Moslehian and Joita), implies the equivalence of categories of non-degenerate representations of two Hilbert modules.
We show that two C*-algebraic noncommutative tori are strongly Morita equivalent if and only if they have isomorphic ordered K_0-groups and centers, extending N. C. Phillips's result in the case that the algebras are simple. This is also generalized to the twisted group C*-algebras of arbitrary finitely generated abelian groups.
We characterize the pairs of operator spaces which occur as pairs of Morita equivalence bimodules between non-selfadjoint operator algebras in terms of the mutual relation between the spaces. We obtain a characterization of the operator spaces which are completely isometrically isomorphic to imprimitivity bimodules between some strongly Morita equivalent (in the sense of Rieffel) C*-algebras. As corollaries, we give representation results for such operator spaces.
In this paper, we will introduce notions of relative version of imprimitivity bimodules and relative version of strong Morita equivalence for pairs of $C^*$-algebras $(\mathcal{A}, \mathcal{D})$ such that $\mathcal{D}$ is a $C^*$-subalgebra of $\mathcal{A}$ with certain conditions. We will then prove that two pairs $(\mathcal{A}_1, \mathcal{D}_1)$ and $(\mathcal{A}_2, \mathcal{D}_2)$ are relatively Morita equivalent if and only if their relative stabilizations are isomorphic. In particularly, for two pairs $(\mathcal{O}_A, \mathcal{D}_A)$ and $(\mathcal{O}_B, \mathcal{D}_B)$ of Cuntz--Krieger …
Given C*-algebras A and B and an imprimitivity A-B-bimodule X, we construct an explicit isomorphism X_* : K_i(A) --> K_i(B) where K_i denote the complex K-theory functors for i=0, 1. Our techniques do not require separability nor existence of countable approximate identities. We thus extend, to general C*-algebras, the result of Brown, Green and Rieffel according to which strongly Morita equivalent C*-algebras have isomorphic K-groups. The method employed includes a study of Fredholm operators on Hilbert modules.
Two unital operator algebras A, B are called Delta-equivalent if there exists an equivalence functor between the categories A-mod and B-mod which "extends" to a *-functor implementing an equivalence between the categories A-dmod and B-dmod. Here A-mod denotes the category of normal representations of A and A-dmod denotes the category with the same objects as A-mod and D(A)-module maps (D(A) is the diagonal of A). We prove that any such functor maps completely isometric representations to completely isometric representations, "respects" the lattices of the algebras and maps reflexive algebras t…
We show how to extend a classic Morita Equivalence Result of Green's to the \cs-algebras of Fell bundles over transitive groupoids. Specifically, we show that if $p:\B\to G$ is a saturated Fell bundle over a transitive groupoid $G$ with stability group $H=G(u)$ at $u\in \go$, then $\cs(G,\B)$ is Morita equivalent to $\cs(H,\CC)$, where $\CC=\B\restr H$. As an application, we show that if $p:\B\to G$ is a Fell bundle over a group $G$ and if there is a continuous $G$-equivariant map $σ:\Prim A\to G/H$, where $A=B(e)$ is the \cs-algebra of $\B$ and $H$ is a closed subgroup, then $\cs(G,\B)$ is Mo…
We show that matrices in the same orbit of the SO(n, n|Z) action on the space of n\times n skew-symmetric matrices give strong Morita equivalent noncommutative tori, both at the C*-algebra level and at the smooth algebra level. This proves a conjecture of Rieffel and Schwarz.
Suppose that a locally compact group $G$ acts freely and properly on the right of a locally compact space $T$. Rieffel proved that if $α$ is an action of $G$ on a $C^*$-algebra $A$ and there is an equivariant embedding of $C_0(T)$ in $M(A)$, then the action $α$ of $G$ on $A$ is proper, and the crossed product $A\rtimes_{α,r}G$ is Morita equivalent to a generalised fixed-point algebra $\Fix(A,α)$ in $M(A)^α$. We show that the assignment $(A,α)\mapsto\Fix(A,α)$ extends to a functor $\Fix$ on a category of $C^*$-dynamical systems in which the isomorphisms are Morita equivalences, and that Rieffel…