Abstract
The w*-rigged modules over dual operator algebras were introduced by Blecher and Kashyap as a generalization of W*-modules. In this paper, we introduce two new types of Morita equivalence between right w*-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*-rigged modules over nest algebras, a class which was characterized by G.K. Eleftherakis.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The notion of a Hilbert \(C^{*}\)-module was developed in the early 1970’s by Rieffel and Paschke [15, 16]. These modules are useful tools in the Morita equivalence of \(C^{*}\)-algebras. The dual version is the notion of a W*-module, that is a Hilbert \(C^{*}\)-module over a von Neumann algebra, which satisfies an analogue of the Riesz representation theorem for Hilbert spaces. Recently in [5], Blecher and Kashyap generalized the notion of W*-module to the setting of dual operator algebras. The modules introduced there are called w*-rigged modules. This work was continued by Blecher and Kraus in [4]. Unlike the W*-module situation, w*-rigged modules do not necessarily give rise to a w*-Morita equivalence of dual operator algebras in the sense of [2].
In this paper, we introduce two new types of Morita equivalence between right w*-rigged modules over unital dual operator algebras. We call them Morita equivalence and strongly projectively Morita equivalence. In particular, the notion of strongly projectively Morita equivalence which we introduce uses an interesting subclass of the w*-rigged modules, the strongly projectively w*-rigged modules which in turn define a subclass of the projectively w*-rigged modules, see [4, 5]. The notion of strongly projectively Morita equivalence also implies stable isomorphism between the corresponding w*-rigged modules in the sense of [14] as well as between the dual operator algebras on which these modules act, whereas the notion of Morita equivalence does not necessarily imply stable isomorphism between either the corresponding modules or between the algebras.
Furthermore, we study a special class of right w*-rigged modules, the right w*-rigged modules over nest algebras and we prove relevant theorems for Morita equivalence between them. The rest of this paper is organized as follows:
In Sect. 2, we recall some known definitions which are useful for the next sections. Also, we introduce the notion of a concrete strongly projectively w*-rigged module as well as the notion of a strongly projectively w*-rigged module. We provide a characterization for the class of concrete strongly projectively w*-rigged modules in the case the module is over a reflexive operator algebra, see Theorem 2.17.
Both new types of Morita equivalence between right w*-rigged modules over unital dual operator algebras are presented in Sect. 3. More specifically, if \({\mathcal{A}}\) and \({\mathcal{B}}\) are unital dual operator algebras and \(E,\,F\) are right w*-rigged modules over \({\mathcal{A}}\) and \({\mathcal{B}}\) respectively, then we call E and F Morita equivalent if there exists a right w*-rigged module Y over \({\mathcal{B}}\) such that
-
(i)
\({\mathcal{A}}\cong Y\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\) as dual operator \({\mathcal{A}}\)–\({\mathcal{A}}\)-bimodules.
-
(ii)
\({\mathcal{B}}\cong {\tilde{Y}}\otimes _{{\mathcal{A}}}^{\sigma h}Y\) as dual operator \({\mathcal{B}}\)–\({\mathcal{B}}\)-bimodules.
-
(iii)
\(F\cong E\otimes _{{\mathcal{A}}}^{\sigma h}Y\) as right w*-rigged modules over \({\mathcal{B}}\) and \(E\cong F\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\) as right w*-rigged modules over \({\mathcal{A}}.\)
Here, \({\tilde{Y}}\) is the counterpart bimodule of \(Y\) and \(\otimes _{{\mathcal{A}}}^{\sigma h}\) (resp. \(\otimes _{{\mathcal{B}}}^{\sigma h}\)) is the balanced normal Haagerup tensor product over \({\mathcal{A}}\) (resp. \({\mathcal{B}}\)). For further details, see [2].
From the conditions (i) and (ii) above, we deduce that the dual operator algebras \({\mathcal{A}}\) and \({\mathcal{B}}\) are w*-Morita equivalent in the sense of [2].
We provide a counterexample to show that Morita equivalent right w*-rigged modules are not necessarily stably isomorphic.
The other type of Morita equivalence is strongly projectively Morita equivalence. If E is a right w*-rigged module over a unital dual operator algebra \({\mathcal{A}}\) and F is a right w*-rigged module over a unital dual operator algebra \({\mathcal{B}}\) then we call E and F strongly projectively Morita equivalent if there exists a strongly projectively right w*-rigged module Y over \({\mathcal{B}}\) such that
-
(i)
\({\mathcal{A}}\cong Y\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\) as dual operator \({\mathcal{A}}\)–\({\mathcal{A}}\)-bimodules.
-
(ii)
\({\mathcal{B}}\cong {\tilde{Y}}\otimes _{{\mathcal{A}}}^{\sigma h}Y\) as dual operator \({\mathcal{B}}\)–\({\mathcal{B}}\)-bimodules.
-
(iii)
\(F\cong E\otimes _{{\mathcal{A}}}^{\sigma h}Y\) as right w*-rigged modules over \({\mathcal{B}}\) and \(E\cong F\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\) as right w*-rigged modules over \({\mathcal{A}}.\)
We will also prove that if E and F are strongly projectively Morita equivalent then \({\mathcal{A}},\,{\mathcal{B}}\) are stably isomorphic (see Remark 3.6) and \(E,\,F\) are also stably isomorphic (see Theorem 3.7).
In Sect. 4, we focus on right w*-rigged modules over nest algebras. In [11], Eleftherakis characterized these modules. In particular, he proved the following theorem.
Theorem 1.1
[11] Let Y be a right dual operator module over a nest algebra \({\mathrm{Alg}}({\mathcal{N}})\subseteq {\mathbb{B}}(H).\) Then Y is a right \({\mathrm{{w}}}^*\)-rigged module over \({\mathrm{Alg}}({\mathcal{N}})\) if and only if there exist a Hilbert space K, a \({\mathrm{{w}}}^*\)-continuous and completely isometric right \({\mathrm{Alg}}({\mathcal{N}})\)-module map \(\Psi :Y\rightarrow {\mathbb{B}}(H,K),\) a nest \({\mathcal{M}}\) and a continuous onto nest homomorphism map \(\phi :{\mathcal{N}}\rightarrow {\mathcal{M}}\) such that \(\Psi (Y)\) is an \({\mathrm{Alg}}({\mathcal{M}})\)–\({\mathrm{Alg}}({\mathcal{N}})\)-bimodule and
where, in general, for every projection p of a Hilbert space L we denote by \(p^{\perp }\) the projection \(\text{Id}_{L}-p.\)
We prove that if \(\phi :{\mathcal{N}}_1\rightarrow {\mathcal{M}}_1\) and \(\psi :{\mathcal{N}}_2\rightarrow M_2\) are continuous onto nest homomorphisms and \(\chi :{\mathcal{N}}_1\rightarrow {\mathcal{N}}_2\) is a nest isomorphism such that \(E=\text{Op}(\phi )\cong \text{Op}(\psi \circ \chi )\) as \({\mathrm{Alg}}({\mathcal{N}}_1)\)-right w*-rigged modules, then E and \(F=\text{Op}(\psi )\) are Morita equivalent.
Finally, we prove that if \(\phi :{\mathcal{N}}_1\rightarrow {\mathcal{M}}_1\) and \(\psi :{\mathcal{N}}_2\rightarrow {\mathcal{M}}_2\) are continuous onto nest homomorphisms and \(\chi :{\mathcal{N}}_1\rightarrow {\mathcal{N}}_2\) is a nest isomorphism which can be extended to a \(*\)-isomorphism \(\chi ':{\mathcal{N}}_1^{\prime \prime }\rightarrow {\mathcal{N}}_2^{\prime \prime }\) such that \(E=\text{Op}(\phi )\cong \text{Op}(\psi \circ \chi )\) as \({\mathrm{Alg}}({\mathcal{N}}_1)\)-right w*-rigged modules, then E and \(F=\text{Op}(\psi )\) are strongly projectively Morita equivalent.
2 Preliminaries
Our notation is standard. If H and K are Hilbert spaces then \({\mathbb{B}}(H,K)\) is the space of all linear and bounded operators from H to K. If \(H=K\) we write \({\mathbb{B}}(H,H)={\mathbb{B}}(H).\) A dual operator algebra is an operator algebra which is also a dual operator space. Every w*-closed subalgebra of some \({\mathbb{B}}(H)\) is a dual operator algebra. Conversely, for any dual operator algebra \({\mathcal{A}}\) there exist a Hilbert space H and a w*-continuous and completely isometric homomorphism \(\alpha :{\mathcal{A}}\rightarrow {\mathbb{B}}(H).\) In this case we identify the algebra \({\mathcal{A}}\) with the w*-closed subalgebra \(\alpha ({\mathcal{A}})\subseteq {\mathbb{B}}(H).\) In the following, all dual operator algebras are unital, that is they possess an identity of norm 1. The diagonal of a dual operator algebra \({\mathcal{A}}\) is the \(C^{*}\)-algebra \(\Delta ({\mathcal{A}})={\mathcal{A}}\cap {\mathcal{A}}^{*}.\)
If X is a subset of \({\mathbb{B}}(H,K)\) and Y is a subset of \({\mathbb{B}}(K,L)\) then we denote by \(\overline{[YX]}^{\text{w}^*}\) the w*-closure of the linear span of the set
Furthermore, if Z is a subset of \({\mathbb{B}}(L,R),\) then we denote by \(\overline{[Z\,YX]}^{\text{w}^*}\) the w*-closure of the linear span of the set
A concrete right dual operator module Y over a dual operator algebra \({\mathcal{A}}\) is a w*-closed subspace \(Y\subseteq {\mathbb{B}}(H,K)\) such that \(\overline{[Y\,\alpha ({\mathcal{A}})]}^\mathrm{{w}^*}=Y\) for some w*-continuous and completely isometric unital homomorphism \(\alpha :{\mathcal{A}}\rightarrow {\mathbb{B}}(H).\)
An abstract right dual operator space Y over a dual operator algebra \({\mathcal{A}}\) is defined to be a non-degenerate module over \({\mathcal{A}}\) which is also a dual operator space and the bilinear map \(Y\times {\mathcal{A}}\rightarrow Y\) is separately w*-continuous with dense range. Similarly we define the two-sided bimodules which are considered to be non-degenerate both on the left and on the right. If X is an operator space and I, J are cardinals or sets, then we use the symbol \({\mathbb{M}}_{I,J}(X)\) for the operator space of \(I\times J\) matrices over X whose finite submatrices have uniformly bounded norm. We set \(C_{J}^{w}(X)={\mathbb{M}}_{J,1}(X)\) and \(R_{J}^{w}(X)={\mathbb{M}}_{1,J}(X)\) and these are written as \(C_{n}(X)\) and \(R_{n}(X)\) respectively if \(J=n\) is finite. In the case where X is a dual operator space, so is \({\mathbb{M}}_{I,J}(X)\) for any cardinals or sets I, J. For further details we refer the reader to [1, 2].
Definition 2.1
[14] If X, Y are dual operator spaces, then we say that X and Y are stably isomorphic if there exist a cardinal J and a w*-continuous completely isometric map from \({\mathbb{M}}_{J}(X)\) onto \({\mathbb{M}}_{J}(Y).\) Here, \({\mathbb{M}}_{J}(X)={\mathbb{M}}_{J,J}(X).\) Similarly \({\mathbb{M}}_{J}(Y)={\mathbb{M}}_{J,J}(Y).\)
In [14], Eleftherakis et al. proved that two dual operator spaces X and Y are stably isomorphic if and only if they are \(\Delta\)-equivalent. The special case of dual operator algebras has been studied in [13, 14]. We remind the relevant definitions.
Definition 2.2
[14] Let \(X\subseteq {\mathbb{B}}(K_1,K_2)\) and \(Y\subseteq {\mathbb{B}}(H_1,H_2)\) be dual operator spaces. We say that X is TRO-equivalent to Y if there exist w*-closed TRO’s \(M_i\subseteq {\mathbb{B}}(H_i,K_i),\,i=1,2\) (i.e w*-closed linear subspaces of \(\,{\mathbb{B}}(H_i,K_i)\) satisfying \(M_i\,M_i^{*}M_i\subseteq M_i,\,i=1,2\)) such that
Definition 2.3
[14] Let X and Y be dual operator spaces. We say that X is \(\Delta\)-equivalent to Y and we write \(X\sim _{\Delta }Y\) if there exist w*-continuous and completely isometric maps \(\Phi :X\rightarrow {\mathbb{B}}(K_1,K_2)\) and \(\Psi :Y\rightarrow {\mathbb{B}}(H_1,H_2)\) for some Hilbert spaces \(H_i,K_i,\,i=1,2,\) such that \(\Phi (X)\) is TRO-equivalent to \(\Psi (Y).\)
Remark 2.4
Other notions of Morita equivalence of dual operator algebras or dual operator spaces exist in [3, 9, 10, 12].
2.1 w*-rigged modules
Definition 2.5
[5] Let Y be a dual operator space which is a right operator module over a dual operator algebra \({\mathcal{A}}.\) Suppose that there exist a net of positive integers \((n(a))_{a\in J}\) and w*-continuous completely contractive right \({\mathcal{A}}\)-module maps
such that \(\psi _{a}(\phi _{a}(y))\rightarrow y\) in the w*-topology on Y, for all \(y\in Y.\) Then, we say that Y is a right w*-rigged module over \({\mathcal{A}}.\)
We also give the definition of a left w*-rigged module over a dual operator algebra.
Definition 2.6
Let Y be a dual operator space which is a left operator module over a dual operator algebra \({\mathcal{A}}.\) Suppose that there exist a net of positive integers \((n(a))_{a\in J}\) and w*-continuous completely contractive left \({\mathcal{A}}\)-module maps
such that \(\psi _{a}(\phi _{a}(y))\rightarrow y\) in the w*-topology on Y, for all \(y\in Y.\) Then, we say that Y is a left w*-rigged module over \({\mathcal{A}}.\)
We identify two right (resp. left) w*-rigged modules \(X,\,Y\) over a dual operator algebra \({\mathcal{A}}\) as \({\mathcal{A}}\)-right (resp. left) dual operator modules, if there is a surjective w*-homeomorphic and completely isometric right (resp. left) \({\mathcal{A}}\)-module map between them. In this case we write \(X\cong Y.\)
Definition 2.7
[5] If \(X\) and Y are right w*-rigged modules over a dual operator algebra \({\mathcal{A}},\) then we denote by \(B(X,Y)=\text{w}^{*} CB_{{\mathcal{A}}}(X,Y)\) the dual operator space of all w*-continuous and completely bounded right \({\mathcal{A}}\)-module maps from X to Y. If \(X=Y\), then we write \(B(Y)=\text{w}^{*} CB_{{\mathcal{A}}}(Y,Y)=\text{w}^{*} CB_{{\mathcal{A}}}(Y).\)
Definition 2.8
[5] For a right w*-rigged module Y over a dual operator algebra \({\mathcal{A}}\) we denote by \({\tilde{Y}}\) the space \(B(Y,{\mathcal{A}})=\text{w}^{*}CB_{{\mathcal{A}}}(Y,{\mathcal{A}}).\)
According to [5, Lemma 3.2] we have that \({\tilde{Y}}\) is a w*-closed subspace of \(CB_{{\mathcal{A}}}(Y,{\mathcal{A}})\) and a left w*-rigged module over \({\mathcal{A}}.\)
Remark 2.9
[2] If \({\mathcal{A}}\) and \({\mathcal{B}}\) are dual operator algebras, Y is an \({\mathcal{A}}\)-\({\mathcal{B}}\)-dual operator bimodule and X is a \({\mathcal{B}}\)-\({\mathcal{A}}\)-dual operator bimodule, then \(Y\otimes _{{\mathcal{B}}}^{\sigma h}X\) (resp. \(X\otimes _{{\mathcal{A}}}^{\sigma h}Y\)) is a dual operator \({\mathcal{A}}\)-\({\mathcal{A}}\)-(resp. \({\mathcal{B}}\)) bimodule. In the case where Y and X are both right w*-rigged modules over \({\mathcal{B}}\) and \({\mathcal{A}}\), respectively, then \(Y\otimes _{{\mathcal{B}}}^{\sigma h}X\) (resp. \(X\otimes _{{\mathcal{A}}}^{\sigma h}Y\)) is a right w*-rigged module over \({\mathcal{A}}\) (resp. \({\mathcal{B}}\)) [5, Subsection 3.3].
We present now a subclass of right w*-rigged modules, the projectively right w*-rigged modules.
Definition 2.10
[5] If \({\mathcal{A}}\subseteq {\mathbb{B}}(H)\) is a dual operator algebra and \(M\subseteq {\mathbb{B}}(H,K)\) is a w*-closed TRO such that \(M^{*}\,M\subseteq {\mathcal{A}}\), then we call the space \(Y=\overline{[M\,{\mathcal{A}}]}^{\text{w}^*}\) a projectively right w*-rigged module over \({\mathcal{A}}.\)
Remark 2.11
If \({\mathcal{A}},\,M\) and Y are as above, then by [5, Example (8)], \(Y\) is a right w*-rigged module in the sense of Definition 2.5 and \({\tilde{Y}}\cong \overline{[{\mathcal{A}}\,M^{*}]}^{\text{w}^*}.\) The converse is not true. Not every w*-rigged module is a projectively w*-rigged module. For further details, we refer the reader to [4, Proposition 4.4] and [9].
We introduce the notion of a concrete strongly projectively right w*-rigged module as well as the notion of a strongly projectively right w*-rigged module over a unital dual operator algebra.
Definition 2.12
Let \({\mathcal{A}}\subseteq {\mathbb{B}}(H)\) be a unital dual operator algebra and let also \(M\subseteq {\mathbb{B}}(H,K)\) be a w*-closed TRO such that \(M^{*}\,M\subseteq {\mathcal{A}}\) and \(1_{\overline{[M^{*}\,M]}^{\text{w}^*}}=1_{{\mathcal{A}}}.\) We call the dual operator space \(Y=\overline{[M\,{\mathcal{A}}]}^{\text{w}^*}\) a concrete strongly projectively right w*-rigged module over \({\mathcal{A}}.\)
Definition 2.13
Let \({\mathcal{A}}\) be a unital dual operator algebra and let Y be a dual operator space. We call Y a strongly projectively right w*-rigged module over \({\mathcal{A}}\) if there exist a w*-continuous and completely isometric unital homomorphism \(\alpha :{\mathcal{A}}\rightarrow {\mathbb{B}}(H)\) and a w*-continuous completely isometric right \({\mathcal{A}}\)-module map \(\Psi :Y\rightarrow {\mathbb{B}}(H,K)\) such that \(\Psi (Y)\) is a concrete strongly projectively right w*-rigged module over \(\alpha ({\mathcal{A}}).\)
2.2 Nest algebras
Let \({\mathrm{pr}}({\mathbb{B}}(H))\) be the set of all projections on \({\mathbb{B}}(H).\) A set \({\mathcal{L}}\subseteq {\mathrm{pr}}({\mathbb{B}}(H))\) which contains \(0,I_{H}\) and arbitrary intersections and closed spans is called a lattice. We denote by \({\mathrm{Alg}}({\mathcal{L}})\) the unital dual operator algebra
Dually, if \({\mathcal{A}}\) is a unital dual operator algebra acting on a Hilbert space H the set
is a lattice. If \({\mathcal{A}}={\mathrm{Alg}}({\mathrm{Lat}}({\mathcal{A}}))\) then the algebra \({\mathcal{A}}\) is called reflexive. It is obvious that \({\mathrm{Lat}}({\mathcal{A}})\subseteq \Delta ({\mathcal{A}})^{\prime },\) where \(\Delta ({\mathcal{A}})^{\prime }\) is the commutant of \(\Delta ({\mathcal{A}})={\mathcal{A}}\cap {\mathcal{A}}^*.\)
A nest \({\mathcal{N}}\) is a totally ordered set of projections of a Hilbert space H, which contains \(0,\,I_{H}\) and is closed under arbitrary intersections and closed spans. The corresponding nest algebra is
Remark 2.14
A nest algebra \({\mathcal{A}}={\mathrm{Alg}}({\mathcal{N}})\) is a reflexive algebra and \({\mathcal{N}}={\mathrm{Lat}}({\mathcal{A}}),\) see [7]. Furthermore, by [7, Corollary 22.18] we have that \({\mathcal{N}}^{\prime }=\Delta ({\mathcal{A}})\) and as a consequence, \({\mathcal{N}}^{\prime \prime }=\Delta ({\mathcal{A}})^{\prime }.\)
Let \({\mathcal{N}},\,{\mathcal{M}}\) be nests acting on the Hilbert spaces \(H,\,K\) respectively. An order preserving map \(\phi :{\mathcal{N}}\rightarrow {\mathcal{M}}\) is called a nest homomorphism. If this map is also surjective and injective, it is called a nest isomorphism. In the case where \(\phi :{\mathcal{N}}\rightarrow {\mathcal{M}}\) is a continuous (with respect to \({\mathbf{WOT}}\) topologies on \({\mathrm{pr}}({\mathbb{B}}(H))\) and \({\mathrm{pr}}({\mathbb{B}}(K))\) respectively) onto nest homomorphism the space
is an \({\mathrm{Alg}}({\mathcal{N}})\)-right w*-rigged module which is also a left module over \({\mathrm{Alg}}({\mathcal{M}}),\) see [11, Theorem 2.1].
Remark 2.15
[12, Theorem 2.9] Let \({\mathcal{N}}\) and \({\mathcal{M}}\) be nests acting on Hilbert spaces H and K respectively. The dual operator algebras \({\mathcal{A}}={\mathrm{Alg}}({\mathcal{N}})\) and \({\mathcal{B}}={\mathrm{Alg}}({\mathcal{M}})\) are w*-Morita equivalent in the sense of [2] if, and only if, there exists a nest isomorphism \(\theta :{\mathcal{N}}\rightarrow {\mathcal{M}}.\)
In this case, if \(\,Y=\text{Op}(\theta ^{-1})\) and \(X=\text{Op}(\theta ),\) then
-
(1)
\({\mathcal{A}}\cong Y\otimes _{{\mathcal{B}}}^{\sigma h}X\) as dual operator \({\mathcal{A}}\)–\({\mathcal{A}}\)-bimodules.
-
(2)
\({\mathcal{B}}\cong X\otimes _{{\mathcal{A}}}^{\sigma h}Y\) as dual operator \({\mathcal{B}}\)–\({\mathcal{B}}\)-bimodules.
-
(3)
\({\tilde{Y}}\cong X\) as right dual operator modules over \({\mathcal{B}}\) [5, Definition 4.2].
Remark 2.16
Let Y be a subspace of \({\mathbb{B}}(H,K).\) We denote by \({\mathrm{Map}}(Y)\) the map which sends every \(p\in {\mathrm{pr}}({\mathbb{B}}(H))\) to the projection of K generated by the vectors of the form \(y\,p(\xi )\) where \(y\in Y\) and \(\xi \in H.\)
The following theorem provides a characterization for the class of concrete strongly projectively right w*-rigged modules over reflexive operator algebras.
Theorem 2.17
Let Y be a dual operator space and let \({\mathcal{A}}\subseteq {\mathbb{B}}(H)\) be a reflexive operator algebra. The following are equivalent.
-
(i)
Y is a concrete strongly projectively right \({{\mathrm{w}}}^*\)-rigged module over \({\mathcal{A}}.\)
-
(ii)
There exist a reflexive operator algebra \({\mathcal{B}}\subseteq {\mathbb{B}}(K)\) and a \(*\)-isomorphism \(\theta :\Delta ({\mathcal{A}})^{\prime }\rightarrow \Delta ({\mathcal{B}})^{\prime }\) such that \(\theta ({\mathrm{Lat}}({\mathcal{A}}))={\mathrm{Lat}}({\mathcal{B}})\) and
$$\begin{aligned} Y=\left\{ y\in {\mathbb{B}}(H,K)\mid \theta (p)^{\perp }\,y\,p=0,\,\forall \,p\in {\mathrm{Lat}}({\mathcal{A}})\right\} . \end{aligned}$$
Proof
\((\text{i})\implies (\text{ii})\) Let \(M\subseteq {\mathbb{B}}(H,K)\) be a w*-closed TRO such that \(M^{*}\,M\subseteq {\mathcal{A}},\,1_{\overline{[M^{*}\,M]}^{\text{w}^*}}=1_{{\mathcal{A}}}\) and \(Y=\overline{[M\,{\mathcal{A}}]}^{\text{w}^{*}}.\) We consider the dual operator algebra \({\mathcal{B}}=\overline{[M\,{\mathcal{A}}\,M^{*}]}^{\text{w}^{*}}\subseteq {\mathbb{B}}(K).\) Since \(M^*\,M\subseteq {\mathcal{A}}\) and \(1_{\overline{[M^{*}\,M]}^{\text{w}^*}}=1_{{\mathcal{A}}}\) we have that
Therefore, the algebras \({\mathcal{A}}\) and \({\mathcal{B}}\) are TRO-equivalent and by [8, Remark 2.7] it follows that \({\mathcal{B}}\) is also a reflexive algebra. According to [8, Proposition 2.5] we also have that
From [8, Lemma 2.6], the map \(\chi ={\mathrm{Map}}(M):{\mathrm{pr}}(\Delta ({\mathcal{A}})')\rightarrow {\mathrm{pr}}(\Delta ({\mathcal{B}})')\) can be extended to a \(*\)-isomorphism \(\theta :\Delta ({\mathcal{A}})'\rightarrow \Delta ({\mathcal{B}})'\) such that \(\theta ({\mathrm{Lat}}({\mathcal{A}}))={\mathrm{Lat}}({\mathcal{B}}).\) If we define the w*-closed TRO
then by [8, Proposition 2.8] we have that \(M\subseteq Z\) and
We aim to show that
We set \(Y_0=\left\{ y\in {\mathbb{B}}(H,K)\mid \theta (p)^{\perp }\,y\,p=0,\,\forall \,p\in {\mathrm{Lat}}({\mathcal{A}})\right\}\) and we need to show that \(Y=Y_0.\) We observe that \(Y_0=\overline{[Z\,{\mathcal{A}}]}^{\text{w}^{*}}.\) Indeed, if \(z\,a\in Z\,{\mathcal{A}}\) then for all \(p\in {\mathrm{Lat}}({\mathcal{A}})\) we have that
so \(Z\,{\mathcal{A}}\subseteq Y_0\) and thus \(\overline{[Z\,{\mathcal{A}}]}^{\text{w}^{*}}\subseteq Y_0.\) On the other hand, since \({\mathcal{B}}\) is unital we get that \(Y_0\subseteq \overline{[{\mathcal{B}}\,Y_0]}^{\text{w}^{*}}=\overline{[Z\,{\mathcal{A}}\,Z^{*}\,Y_0]}^{\text{w}^{*}},\) so it suffices to prove that \(Z^{*}\,Y_0\subseteq {\mathcal{A}}.\) If \(p\in {\mathrm{Lat}}({\mathcal{A}}),\,z\in Z\) and \(y\in Y_0\) we have that
which means that \(z^{*}\,y\in {\mathrm{Alg}}({\mathrm{Lat}}({\mathcal{A}}))={\mathcal{A}}.\) Therefore \(Z^{*}\,Y_0\subseteq {\mathcal{A}}\) as desired. Now, by the fact that \(M\subseteq Z\) we have that \(M\,{\mathcal{A}}\subseteq Z\,{\mathcal{A}}\) which implies that
Moreover,
since \(Z\,M^{*}\subseteq Z\,Z^{*}\subseteq \Delta ({\mathcal{B}})\subseteq {\mathcal{B}}.\)
By (2.1) and (2.2) we have that \(Y=Y_0,\) as desired.
\((\text{ii})\implies (\text{i})\) Let \({\mathcal{B}}\subseteq {\mathbb{B}}(K)\) be a reflexive operator algebra and let \(\,\theta :\Delta ({\mathcal{A}})^{\prime }\rightarrow \Delta ({\mathcal{B}})^{\prime }\) be a \(*\)-isomorphism such that \(\theta ({\mathrm{Lat}}({\mathcal{A}}))={\mathrm{Lat}}({\mathcal{B}})\) and
Since \(\Delta ({\mathcal{A}})^{\prime }\) and \(\,\Delta ({\mathcal{B}})^{\prime }\) are von Neumann algebras, from [8, Theorem 3.2], we have that the space
is a w*-closed TRO such that
It follows that \(M^{*}\,M\subseteq {\mathcal{A}}\) and \(1_{{\mathcal{A}}}=1_{\overline{[M^*\,M]}^{\text{w}^{*}}}.\) Indeed, since the unit of \(\overline{[M^*\,M]}^{\text{w}^*}\) acts as a unit on the left and on the right on \({\mathcal{A}}=\overline{[M^*\,{\mathcal{B}}\,M]}^{\text{w}^*}\) (as M is a TRO) and since it is a subalgebra of \({\mathcal{A}},\) then the unit of \(\overline{[M^*\,M]}^{\text{w}^*}\) is also a unit of \({\mathcal{A}}.\) We aim to show that \(Y=\overline{[M\,{\mathcal{A}}]}^{\text{w}^{*}}.\) Indeed, for all \(p\in {\mathrm{Lat}}({\mathcal{A}}),\,m\in M\) and \(a\in {\mathcal{A}},\) it holds that
and thus
Since \({\mathcal{B}}\) is unital we get that \(Y\subseteq \overline{[{\mathcal{B}}\,Y]}^{\text{w}^{*}}=\overline{[M\,{\mathcal{A}}\,M^{*}\,Y]}^{\text{w}^{*}}.\) If \(p\in {\mathrm{Lat}}({\mathcal{A}})\) and \(m\in M,\,y\in Y\), then
which means that \(M^{*}\,Y\subseteq {\mathrm{Alg}}({\mathrm{Lat}}({\mathcal{A}}))={\mathcal{A}}.\) Therefore,
By (2.3) and (2.4) we deduce that \(Y=\overline{[M\,{\mathcal{A}}]}^{\text{w}^{*}}\) and as a consequence, Y is a concrete strongly projectively right w*-rigged module over \({\mathcal{A}}.\) \(\square\)
By combining Theorem 2.17 and Remark 2.14, we take the following.
Corollary 2.18
Let \({\mathcal{N}}\) be a nest acting on the Hilbert space H with corresponding nest algebra \({\mathcal{A}}={\mathrm{Alg}}({\mathcal{N}})\subseteq {\mathbb{B}}(H)\) and let Y be a dual operator space. The following are equivalent.
-
(i)
Y is a concrete strongly projectively right \({\mathrm{w}}^*\)-rigged module over \({\mathcal{A}}.\)
-
(ii)
There exist a nest \({\mathcal{M}}\) acting on some Hilbert space K and a \(*\)-isomorphism \(\theta :{\mathcal{N}}^{\prime \prime }\rightarrow {\mathcal{M}}^{\prime \prime }\) such that \(\theta ({\mathcal{N}})={\mathcal{M}}\) and
$$\begin{aligned} Y=\left\{ y\in {\mathbb{B}}(H,K)\mid \theta (p)^{\perp }\,y\,p=0,\,\forall \,p\in {\mathcal{N}}\right\} . \end{aligned}$$
3 Morita equivalence
Throughout this section, we develop a theory of Morita equivalence for right w*-rigged modules over unital dual operator algebras.
Let \({\mathcal{B}}\) be a unital dual operator algebra and let Y be a right w*-rigged module over \({\mathcal{B}}.\) By [5, Lemma 3.2] we get that \({\tilde{Y}}\) is a left w*-rigged module over \({\mathcal{B}}\) and the map \((\cdot \,,\cdot ):{\tilde{Y}}\times Y\rightarrow {\mathcal{B}}\) which sends every \((f,y)\in {\tilde{Y}}\times Y\) to \(f(y)\in {\mathcal{B}}\) is separately w*-continuous and completely contractive. From the discussion above [5, Theorem 3.5], the space \({\mathcal{A}}=Y\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\) is a dual operator algebra with identity of norm 1 and by [5, Definition 4.3], \(\,Y\) is a non-degenerate left module over \({\mathcal{A}}\) as well as \({\tilde{Y}}\) is a non-degenerate right module over \({\mathcal{A}}.\)
We recall from Definition 2.7 that for a right w*-rigged module Y over a unital dual operator algebra \({\mathcal{B}}\) we denote by B(Y) the dual operator space of all w*-continuous and completely bounded right \({\mathcal{B}}\)-module maps from Y to Y. In [5, Theorem 3.5] it is proven that \({\mathcal{A}}\cong B(Y)\) as dual operator algebras and thus the induced non-degenerate left action of \({\mathcal{A}}\) on Y is the following
where \(\theta :Y\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\rightarrow B(Y)\) is the isomorphism proved in the above theorem such that
Furthermore, B(Y) is an \({\mathcal{A}}\)–\({\mathcal{A}}\)-bimodule with actions
We claim that \(\theta\) is also a bimodule isomorphism in a canonical way. Since \(\theta\) is w*-continuous, it suffices to prove that
where \(a\in {\mathcal{A}},\,y\in Y,\,f\in {\tilde{Y}}.\) Indeed, for every \(y'\in Y\) we have that
and
Remark 3.1
Let \({\mathcal{A}}\) and \({\mathcal{B}}\) be unital dual operator algebras and Y be a right w*-rigged module over \({\mathcal{B}}\) such that \({\mathcal{A}}\cong Y\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\) as dual operator \({\mathcal{A}}\)-bimodules (that is, via a completely isometric w*-homeomorphism which is also an \({\mathcal{A}}\)-bimodule map) and also \({\mathcal{B}}\cong {\tilde{Y}}\otimes _{{\mathcal{A}}}^{\sigma h}Y\) as dual operator \({\mathcal{B}}\)-bimodules.
Therefore, the \({\mathcal{B}}\)-\({\mathcal{A}}\)-bimodule \({\tilde{Y}}\) is a w*-Morita equivalence bimodule in the sense of [2] and by the last paragraph above [6, Definition 1.3] we deduce that \({\tilde{Y}}\) is a right w*-rigged module over \({\mathcal{A}}.\)
Now, we can give the definition of Morita equivalence for right w*-rigged modules.
Definition 3.2
Let \({\mathcal{A}}\) and \({\mathcal{B}}\) be dual operator algebras, E be a right w*-rigged module over \({\mathcal{A}}\) and F be a right w*-rigged module over \({\mathcal{B}}.\) We call \(E,\,F\) Morita equivalent if there exists a right w*-rigged module Y over \({\mathcal{B}}\) such that
-
(i)
\({\mathcal{A}}\cong Y\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\) as dual operator \({\mathcal{A}}\)–\({\mathcal{A}}\)-bimodules.
-
(ii)
\({\mathcal{B}}\cong {\tilde{Y}}\otimes _{{\mathcal{A}}}^{\sigma h}Y\) as dual operator \({\mathcal{B}}\)–\({\mathcal{B}}\)-bimodules.
-
(iii)
\(F\cong E\otimes _{{\mathcal{A}}}^{\sigma h}Y\) as right w*-rigged modules over \({\mathcal{B}}\) and \(E\cong F\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\) as right w*-rigged modules over \({\mathcal{A}}.\)
Remark 3.3
If \(E,\,F,\,{\mathcal{A}},\,{\mathcal{B}}\) are as in the Definition above, then by (i), (ii), Remark 3.1 and the discussion above it, we get that \({\mathcal{A}}\cong B(Y),\,{\mathcal{B}}\cong B({\tilde{Y}})\) and also \({\mathcal{A}},\,{\mathcal{B}}\) are w*-Morita equivalent in the sense of [2] with equivalence bimodules Y and \({\tilde{Y}}.\)
Remark 3.4
Let \(E,\,F,\,{\mathcal{A}},\,{\mathcal{B}}\) and \(\,Y\) be as in the Definition 3.2. We observe that in the condition (iii), it suffices to prove one of the two isomorphisms since either of them implies the other one. Indeed, suppose that \(F\cong E\otimes _{{\mathcal{A}}}^{\sigma h}Y\) as right w*-rigged modules over \({\mathcal{B}}.\) Using the condition (i), the associativity of the normal Haagerup tensor product and the fact that E is a non-degenerate \({\mathcal{A}}\)-right module, we have that
Similarly, if \(E\cong F\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\) as right w*-rigged modules over \({\mathcal{A}}\) then by (ii), the associativity of the normal Haagerup tensor product and the fact that F is a non-degenerate \({\mathcal{B}}\)-right module, we get that \(F\cong E\otimes _{{\mathcal{A}}}^{\sigma h}Y\) as right w*-rigged modules over \({\mathcal{B}}.\)
However, E and F are not always stably isomorphic. Indeed, by [10, Example 3.7] there exist isomorphic nests \({\mathcal{N}}\) and \({\mathcal{M}}\) such that the nest algebras \({\mathcal{A}}={\mathrm{Alg}}({\mathcal{N}})\) and \({\mathcal{B}}={\mathrm{Alg}}({\mathcal{M}})\) are not stably isomorphic (since they are not \(\Delta\)-equivalent). Let \(\theta :{\mathcal{N}}\rightarrow {\mathcal{M}}\) be a nest isomorphism. If \(Y=\text{Op}(\theta )\) then by Remark 2.15 we have that \({\tilde{Y}}\cong X=\text{Op}(\theta ^{-1})\) and also \({\mathcal{A}}\cong Y\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}},\,{\mathcal{B}}\cong {\tilde{Y}}\otimes _{{\mathcal{A}}}^{\sigma h}Y.\) By defining \(E={\mathcal{A}}\) over \({\mathcal{A}}\) and \(F=Y\) over \({\mathcal{B}}\), we have that E and F are Morita equivalent in our sense but not stably isomorphic.
Definition 3.5
Let \({\mathcal{A}}\) and \({\mathcal{B}}\) be dual operator algebras, E be a right w*-rigged module over \({\mathcal{A}}\) and F be a right w*-rigged module over \({\mathcal{B}}.\) We call \(E,\,F\) strongly projectively Morita equivalent if there exists a strongly projectively right w*-rigged module Y over \({\mathcal{B}}\) such that
-
(i)
\({\mathcal{A}}\cong Y\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\) as dual operator \({\mathcal{A}}\)–\({\mathcal{A}}\)-bimodules.
-
(ii)
\({\mathcal{B}}\cong {\tilde{Y}}\otimes _{{\mathcal{A}}}^{\sigma h}Y\) as dual operator \({\mathcal{B}}\)–\({\mathcal{B}}\)-bimodules.
-
(iii)
\(F\cong E\otimes _{{\mathcal{A}}}^{\sigma h}Y\) as right w*-rigged modules over \({\mathcal{B}}\) and \(E\cong F\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\) as right w*-rigged modules over \({\mathcal{A}}.\)
Remark 3.6
If \({\mathcal{A}},\,{\mathcal{B}},\,E,\,F\) and Y are as in the Definition 3.5, then since Y is a strongly projectively right w*-rigged module over \({\mathcal{B}},\) there exist a w*-continuous completely isometric unital homomorphism \(\beta :{\mathcal{B}}\rightarrow {\mathbb{B}}(H)\) and a w*-closed TRO \(M\subseteq {\mathbb{B}}(H,K)\) such that \(M^{*}\,M\subseteq \beta ({\mathcal{B}}),\,1_{\overline{[M^{*}\,M]}^{\text{w}^{*}}}=1_{\beta ({\mathcal{B}})}\) and \(Y\cong \overline{[M\,\beta ({\mathcal{B}})]}^{\text{w}^{*}}\) as right w*-rigged modules over \({\mathcal{B}}.\) Define the unital dual operator algebra \({\mathcal{C}}=\overline{[M\,\beta ({\mathcal{B}})\,M^{*}]}^{\text{w}^{*}}.\) Since \(M^*\,M\subseteq \beta ({\mathcal{B}})\) and \(\overline{[M^*\,M]}^{\text{w}^*},\,\beta ({\mathcal{B}})\) share the same unit we have that
which implies that
Therefore, the algebras \(\beta ({\mathcal{B}})\) and \({\mathcal{C}}\) are TRO-equivalent via M. By [13, Theorem 2.4], for the M-generated \({\mathcal{B}}\)-\({\mathcal{C}}\) bimodules
it holds that
Therefore, \({\mathcal{C}}\cong V\otimes _{{\mathcal{B}}}^{\sigma h}U\cong Y\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\cong {\mathcal{A}}.\) Since \(\beta ({\mathcal{B}})\) and \({\mathcal{C}}\) are TRO-equivalent and \({\mathcal{C}}\cong {\mathcal{A}},\) we deduce that \({\mathcal{A}}\) and \({\mathcal{B}}\) are \(\Delta\)-equivalent, i.e., \({\mathcal{A}}\) and \({\mathcal{B}}\) are stably isomorphic, [13, Theorem 3.2].
Theorem 3.7
Let E and F be right \({{\mathrm{w}}}^{*}\)-rigged modules over the unital dual operator algebras \({\mathcal{A}}\) and \({\mathcal{B}}\), respectively. If E and F are strongly projectively Morita equivalent, then E and F are stably isomorphic.
Proof
Let E and F be strongly projectively Morita equivalent. There exists a strongly projectively right w*-rigged module Y over \({\mathcal{B}}\) such that
Since Y is a strongly projectively right w*-rigged module over \({\mathcal{B}},\) there exist a w*-continuous completely isometric unital homomorphism \(\beta :{\mathcal{B}}\rightarrow {\mathbb{B}}(H)\) and a w*-closed TRO \(M\subseteq {\mathbb{B}}(H,K)\) such that \(M^{*}\,M\subseteq \beta ({\mathcal{B}}),\,1_{\overline{[M^*\,M]}^{\text{w}^*}}=1_{\beta ({\mathcal{B}})}\) and \(Y\cong \overline{[M\,\beta ({\mathcal{B}})]}^{\text{w}^{*}}.\) By Remark 3.6 it follows that the algebras \({\mathcal{C}}=\overline{[M\,\beta ({\mathcal{B}})\,M^*]}^{\text{w}^*}\) and \(\beta ({\mathcal{B}})\) are TRO-equivalent via M. By [13, Lemma 3.1], for the \(\beta ({\mathcal{B}})\)-\({\mathcal{C}}\)-bimodule \({\tilde{Y}}\cong \overline{[\beta ({\mathcal{B}})\,M^{*}]}^{\text{w}^*}\) we have that
where I is an infinite indexed set. Since \(F\cong E\otimes _{{\mathcal{A}}}^{\sigma h}Y,\) by Remark 3.4, we get that \(E\cong F\otimes _{{\mathcal{B}}}^{\sigma h}{\tilde{Y}}\) as \({\mathcal{A}}\)-right w*-rigged modules and from [2, Lemma 2.7] we deduce that
Therefore, E and F are stably isomorphic. \(\square\)
Example 3.8
We provide an example of strongly projectively Morita equivalent w*-rigged modules. Let \(M\subseteq {\mathbb{B}}(H,K)\) be a w*-closed TRO, where H and K are Hilbert spaces and let E be a right w*-rigged module over the unital dual operator algebra \({\mathcal{A}}=\overline{[M\,M^{*}]}^{\text{w}^*}\subseteq {\mathbb{B}}(K).\) By defining \(F=E\otimes _{{\mathcal{A}}}^{\sigma h}M\), we have that F is a right w*-rigged module over \({\mathcal{B}}=\overline{[M^*\,M]}^{\text{w}^*}\subseteq {\mathbb{B}}(H)\) (see Remark 2.9) and \(E,\,F\) are strongly projectively Morita equivalent with equivalence bimodules \(Y=M=\overline{[M\,{\mathcal{B}}]}^{\text{w}^*}\) and \({\tilde{Y}}\cong M^*=\overline{[{\mathcal{B}}\,M^*]}^{\text{w}^*}.\)
4 Morita equivalence of w*-rigged modules over nest algebras
As mentioned in the introduction, in this section, we study the Morita equivalence and the strongly projectively Morita equivalence between right w*-rigged modules over nest algebras. The main theorems of this section are Theorems 4.5 and 4.7. Before we state them, we prove some useful lemmas. For the first lemma, we recall the Remark 2.16, where for a subspace \(Y\subseteq {\mathbb{B}}(H,K)\) we denote by \({\mathrm{Map}}(Y)\) the map which sends every projection \(p\in {\mathrm{pr}}({\mathbb{B}}(H))\) to the projection of K generated by the vectors of the form \(y\,p\,(\xi )\), where \(y\in Y\) and \(\xi \in H.\)
Lemma 4.1
Let \({\mathcal{M}}\) be a nest acting on some Hilbert space K and let \({\mathrm{Alg}}({\mathcal{M}})\) be the corresponding nest algebra. If \(p\in {\mathcal{M}}\) and q is the projection onto \(\overline{[{\mathrm{Alg}}({\mathcal{M}})\,p(K)]}^{\Vert \cdot \Vert }=\overline{[x\,p(\xi )\in K\mid x\in {\mathrm{Alg}}({\mathcal{M}}),\,\xi \in K]}^{\Vert \cdot \Vert }\) then \(p=q.\)
Proof
Since \(I_{K}\in {\mathrm{Alg}}({\mathcal{M}})\), it follows that \(p\le q.\) On the other hand, it holds that \(p^{\perp }\,{\mathrm{Alg}}({\mathcal{M}})\,p=0\) which implies that
that is \(q\le p.\) We deduce that \(p=q.\) \(\square\)
Lemma 4.2
Let \({\mathcal{N}},\,{\mathcal{M}}\) be nests acting on the Hilbert spaces \(H,\,K\), respectively. If \(\phi :{\mathcal{N}}\rightarrow {\mathcal{M}}\) is a continuous onto nest homomorphism and
then \({\mathrm{Map}}(U)|_{{\mathcal{N}}}=\phi .\)
Proof
Set \(\phi '={\mathrm{Map}}(U).\) We will show that \(\phi '(p)=\phi (p),\,\forall \,p\in {\mathcal{N}}.\) Denote by V the space
and let \(\psi ={\mathrm{Map}}(V).\) By [11, Theorem 2.1], we have that \({\mathrm{Alg}}({\mathcal{M}})=\overline{[U\,V]}^{\text{w}^*}.\) Let \(p\in {\mathcal{N}}.\) Since \(\phi (p)^{\perp }\,U\,p=0\) it follows that \(\phi (p)^{\perp }\,\phi '(p)=0\) and thus
On the other hand, \(p^{\perp }\,V\,\phi (p)=0\) which implies that \(V\,\phi (p)(K)\subseteq p\) and as a consequence
For all \(u\in U,\,v\in V\), we have that
which means that
Since \({\mathrm{Alg}}({\mathcal{M}})=\overline{[U\,V]}^{\text{w}^*}\) and \(\phi (p)\in {\mathcal{M}},\) from Lemma 4.1, \(\phi (p)\) is the projection onto \(\overline{[U\,V\,\phi (p)(K)]}^{\Vert \cdot \Vert }\) and thus by (4.3) we get that \(\phi (p)\le \phi '(\psi (\phi (p))).\) Using (4.2), we have that
By combining (4.1) and (4.4) we deduce that \(\phi (p)=\phi '(p).\) \(\square\)
Lemma 4.3
Let \({\mathcal{N}},\,{\mathcal{M}},\,{\mathcal{L}}\) be nests acting on the Hilbert spaces \(H,\,K\) and R respectively. Let also \(\phi :{\mathcal{N}}\rightarrow {\mathcal{M}},\,\zeta :{\mathcal{N}}\rightarrow {\mathcal{L}}\) and \(\theta :{\mathcal{M}}\rightarrow {\mathcal{L}}\) be continuous onto nest homomorphisms. The following are equivalent.
-
(i)
\(\zeta =\theta \circ \phi .\)
-
(ii)
\(\text{Op}(\zeta )=\overline{[\text{Op}(\theta )\,\text{Op}(\phi )]}^{{\mathrm{w}}^*}.\)
Proof
\((\text{i})\implies (\text{ii})\) Let \(\zeta =\theta \circ \phi .\) For all \(x\in \text{Op}(\theta ),\,y\in \text{Op}(\phi )\) we have that
since \(\theta (\phi (p))^{\perp }\,x\,\phi (p)=0\) (\(\phi (p)\in {\mathcal{M}},\,x\in \text{Op}(\theta )\)) and \(\phi (p)^{\perp }\,y\,p=0\) (\(y\in \text{Op}(\phi )\)) which means that \(x\,y\in \text{Op}(\zeta ).\) Thus, \(\text{Op}(\theta )\,\text{Op}(\phi )\subseteq \text{Op}(\zeta )\) which implies that
On the other hand, let \(z\in \text{Op}(\zeta ).\) From [11, Theorem 2.1], we have that \({\mathrm{Alg}}({\mathcal{L}})=\overline{[\text{Op}(\theta )\,X]}^{\text{w}^{*}}\) where \(X=\left\{ x\in {\mathbb{B}}(R,K)\mid q^{\perp }\,x\,\theta (q)=0,\,\forall \,q\in {\mathcal{M}}\right\} ,\) so there exist nets \((u_j)_{j\in J},\,(x_j)_{j\in J}\) such that \(u_j\in \text{Op}(\theta ),\,x_j\in X,\,\forall \,j\in J\) and
which implies that
We observe that
We claim that \(x_{j_r}\,z\in Op(\phi ),r=1,\ldots ,k_j,\,j\in J.\) Indeed, for all \(p\in {\mathcal{N}}\) it holds that
since \(\phi (p)^{\perp }\,x_{j_r}\,\zeta (p)=0\) (\(\,x_{j_r}\in X\)) and \(\zeta (p)^{\perp }\,z\,p=0\) (\(\,z\in \text{Op}(\zeta )\)). Thus,
where the above limit is on the w*-topology, that is
By (4.5) and (4.7), we have that \(\text{Op}(\zeta )=\overline{[\text{Op}(\theta )\,\text{Op}(\phi )]}^{\text{w}^{*}}.\)
\((\text{ii})\implies (\text{i})\) Suppose now that \(\text{Op}(\zeta )=\overline{[\text{Op}(\theta )\,\text{Op}(\phi )]}^{\text{w}^{*}}.\) From the direction \((\text{i})\implies (\text{ii})\) we have that \(\overline{[\text{Op}(\theta )\,\text{Op}(\phi )]}^{\text{w}^*}=\text{Op}(\theta \circ \phi ),\) so
Since \(\zeta\) and \(\theta \circ \phi\) are continuous onto nest homomorphism from \({\mathcal{N}}\) to \({\mathcal{L}},\) by Lemma 4.2 we deduce that
\(\square\)
Lemma 4.4
Let \({\mathcal{N}},\,{\mathcal{M}},\,{\mathcal{L}}\) be nests with corresponding nest algebras
Let also \(\phi :{\mathcal{N}}\rightarrow {\mathcal{M}},\,\theta :{\mathcal{M}}\rightarrow {\mathcal{L}}\) be continuous onto nest homomorphisms. Then
as \({\mathcal{A}}\)-right \({\mathrm{{w}}}^*\)-rigged modules.
Proof
The map \(\text{Op}(\theta )\times \text{Op}(\phi )\rightarrow \text{Op}(\theta )\,\text{Op}(\phi ),\,(x,u)\mapsto x\,u\) is a separately w*-continuous and completely contractive right \({\mathcal{B}}\)-balanced map, so it induces a w*-continuous and completely contractive map
satisfying \(\rho (x\otimes _{{\mathcal{B}}} u)=x\,u,\,x\in \text{Op}(\theta ),\,u\in \text{Op}(\phi ).\) The map \(\rho\) is also a right \({\mathcal{A}}\)-module map. Set \(Y=\left\{ y\mid q^{\perp }\,y\,\theta (q)=0,\,\forall \,q\in {\mathcal{M}}\right\} .\) From [11, Theorem 2.1] we have that \({\mathcal{C}}=\overline{[\text{Op}(\theta )\,Y]}^{\text{w}^{*}}.\) Therefore, there exist contractive nets \((z_t)_{t\in T}\subseteq R^{fin}_{\infty }(Op(\theta ))\) and \((y_t)_{t\in T}\subseteq C^{fin}_{\infty }(Y)\) such that
where, in general, if \(W\subseteq {\mathbb{B}}(H,K)\) we denote by \(R^{fin}_{\infty }(W)\) (resp. \(C^{fin}_{\infty }(W)\)) the space of operators \((w_1,w_2,\ldots ):H^{\infty }\rightarrow K\) (resp. \((w_1,w_2,\ldots )^{t}:H\rightarrow K^{\infty }\)) such that \(w_i\in W,\,\forall \,i\in {\mathbb{N}}\) and also there exists \(i_0\in {\mathbb{N}}\) such that \(w_i=0,\,\forall \,i\ge i_0.\) Assume that \(x_i\in {\mathcal{F}},\,u_i\in \text{Op}(\phi ),\,i=1,\ldots ,n,\) where \({\mathcal{F}}\) is the space of all finite rank operators in \(\text{Op}(\theta ).\) Since \(x_i\in {\mathcal{F}}\) we have that \(z_t\,y_t\,x_i{\mathop {\rightarrow }\limits ^{\Vert \cdot \Vert }}x_i.\) By the fact that the Haagerup tensor product is contractive as a bilinear map, for every \(\epsilon >0\) there exists \(t\in T\) such that
Let \(x\in {\mathcal{F}}\subseteq \text{Op}(\theta )\) and \(y\in Y.\) It holds that \(\theta (q)^{\perp }\,x\,q=0,\) so it follows that \(x\,q=\theta (q)\,x\,q,\,\forall \,q\in {\mathcal{M}}\) and as a consequence
which means that \(Y\,{\mathcal{F}}\subseteq {\mathcal{B}}.\) Using (4.8) we get that
But since \(\epsilon\) is arbitrary, we have that
which implies that the restriction of \(\rho\) to
is an isometry. We will prove that \(\rho\) is an isometry in \(\text{Op}(\theta )\otimes _{{\mathcal{B}}}^{\sigma h}\text{Op}(\phi ).\) To this end, let \(z\in \text{Op}(\theta )\otimes _{{\mathcal{B}}}^{\sigma h}\text{Op}(\phi ).\) Thus, there exists a net \((z_{\ell })_{\ell \in I}\) in \({\mathcal{F}}\otimes _{{\mathcal{B}}}^h \text{Op}(\phi )\) such that \(z_{\ell }{\mathop {\rightarrow }\limits ^{\text{w}^{*}}}z.\) Let \(f\in \text{Ball}({\mathcal{C}}),\,g\in \text{Ball}({\mathcal{A}})\) be finite rank operators. Then, \(f\,z_{\ell }\,g{\mathop {\rightarrow }\limits ^{\text{w}^{*}}}f\,z\,g\) and since \(\rho\) is w*-continuous we have that \(\rho (f\,z_{\ell }\,g){\mathop {\rightarrow }\limits ^{\text{w}^{*}}}\rho (f\,z\,g)\) which implies that \(f\,\rho (z_{\ell })\,g{\mathop {\rightarrow }\limits ^{\text{w}^{*}}}\rho (f\,z\,g).\) Using the fact that \(f,\,g\) are finite rank operators we deduce that
For every \(\epsilon >0\) there exists \(\ell _{0}\in I\) such that \(\Vert f\,z_{\ell }\,g\Vert <\Vert \rho (f\,z\,g)\Vert +\epsilon ,\,\forall \,\ell \ge \ell _{0}\) so, \(\Vert f\,z_{\ell }\,g\Vert <\Vert \rho (z)\Vert +\epsilon ,\,\forall \,\ell \ge \ell _{0}.\) We have that \(f\,z_{\ell }\,g{\mathop {\rightarrow }\limits ^{\text{w}^{*}}}f\,z\,g\) which implies that \(\Vert f\,z\,g\Vert \le \sup \,\left\{ \Vert f\,z_{\ell }\,g\Vert : \ell \ge \ell _{0}\right\} .\) Thus, \(\Vert f\,z\,g\Vert <\Vert \rho (z)\Vert +\epsilon .\) Since \(\epsilon\) is arbitrary we get
By [7, Corollary 3.13] there exist contractive nets of finite rank operators \((f_{j})_{j\in J}\subseteq {\mathcal{C}}\) and \((g_{j})_{j\in J}\subseteq {\mathcal{A}}\) such that
Thus, \(f_{j}\,z\,g_{j}{\mathop {\rightarrow }\limits ^{\text{w}^{*}}} z\) and according to (4.9) it holds that
which implies that \(\rho\) is an isometry. Similarly we can prove that \(\rho\) is a complete isometry and as a consequence (Krein–Smulian) \(\rho\) is onto \(\overline{[\text{Op}(\theta )\,\text{Op}(\phi )]}^{\text{w}^{*}}.\) \(\square\)
The following theorem describes how to construct Morita equivalent right w*-rigged modules.
Theorem 4.5
Let \({\mathcal{N}}_1,\,{\mathcal{N}}_2,\,{\mathcal{M}}_1,\,{\mathcal{M}}_2\) be nests, \({\mathcal{A}}={\mathrm{Alg}}({\mathcal{N}}_1)\subseteq {\mathbb{B}}(H_1),\,{\mathcal{B}}={\mathrm{Alg}}({\mathcal{N}}_2)\subseteq {\mathbb{B}}(H_2),\) \(\phi :{\mathcal{N}}_1\rightarrow {\mathcal{M}}_1,\,\psi :{\mathcal{N}}_2\rightarrow {\mathcal{M}}_2\) be continuous onto nest homomorphisms and \(E=\text{Op}(\phi ),\,F=\text{Op}(\psi ).\) If \(\chi :{\mathcal{N}}_1\rightarrow {\mathcal{N}}_2\) is a nest isomorphism such that \(E\cong \text{Op}(\psi \circ \chi )\) as \({\mathcal{A}}\)-right \({\mathrm{w}}^*\)-rigged modules, then E and F are Morita equivalent.
Proof
Let \(\chi :{\mathcal{N}}_1\rightarrow {\mathcal{N}}_2\) be a nest isomorphism such that \(E\cong \text{Op}(\zeta )\) as \({\mathcal{A}}\)-right w*-rigged modules, where \(\zeta =\psi \circ \chi .\) By Lemma 4.3 we get
We define the \({\mathcal{B}}\)-right w*-rigged module \(Y=\text{Op}(\chi ^{-1}).\) Let
By [12, Theorem 2.9] we have that \({\mathcal{A}}\cong Y\otimes _{{\mathcal{B}}}^{\sigma h}X,\,{\mathcal{B}}\cong X\otimes _{{\mathcal{A}}}^{\sigma h}Y.\) According to Remark 2.15 we have that \({\tilde{Y}}\cong X=\text{Op}(\chi )\) and thus
Furthermore by Lemma 4.4 we have that
Therefore, E and F are Morita equivalent. \(\square\)
Example 4.6
Let \({\mathcal{N}}_1,\,{\mathcal{N}}_2\) be isomorphic nests acting on the Hilbert spaces \(H_1,\,H_2\) respectively. Let \({\mathcal{A}}={\mathrm{Alg}}({\mathcal{N}}_1)\subseteq {\mathbb{B}}(H_1)\) and \({\mathcal{B}}={\mathrm{Alg}}({\mathcal{N}}_2)\subseteq {\mathbb{B}}(H_2)\) be the corresponding nest algebras and let \(\chi :{\mathcal{N}}_1\rightarrow {\mathcal{N}}_2\) be a nest isomorphism. We consider the nest
and we define the continuous onto nest homomorphism
If \(F=\text{Op}(\psi )\) then by Theorem 4.5 the right w*-rigged modules \(E=\text{Op}(\psi \circ \chi )\) and F are Morita equivalent.
Theorem 4.7
Let \({\mathcal{N}}_1,\,{\mathcal{N}}_2,\,{\mathcal{M}}_1,\,{\mathcal{M}}_2\) be nests and \({\mathcal{A}}={\mathrm{Alg}}({\mathcal{N}}_1),\,{\mathcal{B}}={\mathrm{Alg}}({\mathcal{N}}_2).\) Let also \(\,\phi :{\mathcal{N}}_1\rightarrow {\mathcal{M}}_1,\,\psi :{\mathcal{N}}_2\rightarrow {\mathcal{M}}_2\) be continuous onto nest homomorphisms and \(E=\text{Op}(\phi ),\, F=\text{Op}(\psi ).\) If \(\chi :{\mathcal{N}}_1\rightarrow {\mathcal{N}}_2\) is a nest isomorphism which can be extended to a \(*\)-isomorphism \(\chi ':{\mathcal{N}}_1^{\prime \prime }\rightarrow {\mathcal{N}}_2^{\prime \prime }\) such that \(E\cong \text{Op}(\psi \circ \chi )\) as \({\mathcal{A}}\)-right \({\mathrm{w}}^*\)-rigged modules, then E and F are strongly projectively Morita equivalent.
Proof
Let \(\chi :{\mathcal{N}}_1\rightarrow {\mathcal{N}}_2\) be a nest isomorphism which can be extended to a \(*\)-isomorphism \(\chi ':{\mathcal{N}}_1^{\prime \prime }\rightarrow {\mathcal{N}}_2^{\prime \prime }\) such that \(E\cong Op(\psi \circ \chi )\) as \({\mathcal{A}}\)-right w*-rigged modules. By the fact that \((\chi ^{\prime })^{-1}:{\mathcal{N}}_2^{\prime \prime }\rightarrow {\mathcal{N}}_1^{\prime \prime }\) is a \(*\)-isomorphism such that \((\chi ^{\prime })^{-1}({\mathcal{N}}_2)=\chi ^{-1}({\mathcal{N}}_2)={\mathcal{N}}_1,\) we have that the space \(Y=\text{Op}(\chi ^{-1})\) is a concrete strongly projectively right w*-rigged module over \({\mathcal{B}},\) see Corollary 2.18. Then \({\tilde{Y}}\cong \text{Op}(\chi )\) (Remark 2.15) and Y is a bimodule of w*-Morita equivalence between the algebras \({\mathcal{A}}\) and \({\mathcal{B}}.\) By Lemma 4.3, we have that \(\text{Op}(\psi \circ \chi )=\overline{[\text{Op}(\psi )\,\text{Op}(\chi )]}^{\text{w}^{*}}\) and from Lemma 4.4 we deduce that
Therefore, E and F are strongly projectively Morita equivalent. \(\square\)
References
Blecher, D.P., Le Merdy, C.: Operator Algebras and Their Modules—An Operator Space Approach. London Mathematical Society Monographs. New Series, vol. 30. The Clarendon Press, Oxford (2004)
Blecher, D.P., Kashyap, U.: Morita equivalence of dual operator algebras. J. Pure Appl. Algebra 212(11), 2401–2412 (2008)
Blecher, D.P., Kashyap, U.: A Morita theorem for dual operator algebras. J. Funct. Anal. 256(11), 3545–3567 (2009)
Blecher, D.P., Kraus, J.E.: On a generalization of \(W^*\) modules. Banach Cent. Publ. 91, 77–86 (2010)
Blecher, D.P., Kashyap, U.: A characterization and a generalization of W*-modules. Trans. Am. Math. Soc. 363(1), 345–363 (2011)
Blecher, D.P., Kashyap, U.: Rigged modules I: modules over dual operator algebras and the Picard group. J. Pure Appl. Algebra 221(11), 2827–2837 (2017)
Davidson, K.R.: Nest Algebras: Triangular Forms for Operator Algebras on Hilbert Space. Longman Scientific & Technical, Harlow (1988)
Eleftherakis, G.K.: TRO equivalent algebras. Houston J. Math. 38(1), 153–176 (2012)
Eleftherakis, G.K.: A Morita type equivalence for dual operator algebras. J. Pure Appl. Algebra 212(5), 1060–1071 (2008)
Eleftherakis, G.K.: Morita type equivalences and reflexive algebras. J. Oper. Theory 64(1), 3–17 (2010)
Eleftherakis, G.K.: Applications of operator space theory to nest algebra bimodules. Integral Equ. Oper. Theory 72(4), 577–595 (2012)
Eleftherakis, G.K.: Morita equivalence of nest algebras. Math. Scand. 113(1), 83–107 (2013)
Eleftherakis, G.K., Paulsen, V.I.: Stably isomorphic dual operator algebras. Math. Ann. 341(1), 99–112 (2008)
Eleftherakis, G.K., Paulsen, V.I., Todorov, I.G.: Stable isomorphism of dual operator spaces. J. Funct. Anal. 258(1), 260–278 (2010)
Paschke, W.L.: Inner product modules over \(B^{\star }\)-algebras. Trans. Am. Math. Soc. 182, 443–468 (1973)
Rieffel, M.A.: Morita equivalence for operator algebras. Operator Algebras and Applications, Part I (Kingston, ON, Canada, 1980), Proc. Sympos. Pure Math. 38, Amer. Math. Soc.,pp. 285–298. Providence, Rhode island (1982)
Acknowledgements
I would like to express my appreciation to my supervising professor G.K. Eleftherakis for his helpful suggestions during the preparation of this paper. I am also grateful to the referee and the reviewers for carefully reading the paper and making significant improvements.
Funding
Open access funding provided by HEAL-Link Greece.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Elias Katsoulis.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Papapetros, E. Morita equivalence of w*-rigged modules. Adv. Oper. Theory 7, 58 (2022). https://doi.org/10.1007/s43036-022-00224-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s43036-022-00224-y