On the range of TRO-conditional expectations (Q6040649)

A ternary ring of operators (TRO) between Hilbert spaces \(\mathcal{K}\) and \(\mathcal{H}\) is a norm closed subspace \(\mathcal{X}\) of \(\mathcal{B}(\mathcal{K}, \mathcal{H})\) which is algebraically closed under the ternary product \([x,y,z] = xy^*z\) for all \(x,y,z \in \mathcal{X}\). A TRO-conditional expectation on \(\mathcal{X}\) is a linear map \(E\colon \mathcal{X}\rightarrow \mathcal{X}\) which is a completely contractive projection on \(\mathcal{X}\). Then the range of \(E\) is a closed sub-TRO of \(\mathcal{X}\) consisting of the fixed points of \(E\). The authors investigate the relationship between a TRO \(\mathcal{X}\) and a sub-TRO \(\mathcal{S}\) that is the range of a TRO-conditional expectation on \(\mathcal{X}\), equivalently, a ternary corner, by investigating a class \(\mathcal{D}\) of bounded linear maps on \(\mathcal{X}\), with a special concern for the case when the TROs contain partial isometries. The technicalities are performed by introducing a condition called type-zero for a sub-TRO \(\mathcal{S}\) by using an approximate unit of the left linking algebra of \(\mathcal{S}\), which is similar to the one defined for \(C^*\)-subalgebras, as well as an improvement of this condition which is called restricted type-zero.