Isometries of real Hilbert \(C^{\ast}\)-modules (Q252901): Difference between revisions

Let \(A\) and \(B\) be real \(C^*\)-algebras, \(V\) and \(W\) be full real Hilbert \(C^*\)-modules over \(A\) and \(B\), respectively, and \(T : V \to W\) be a surjective real linear isometry. The authors prove that the following conditions are equivalent: {\parindent=6mm \begin{itemize}\item[(a)] \(T\) is a \(2\)-isometry, i.e., the map \(I\otimes T: M_2\otimes V\to M_2\otimes W\) is an isometry; \item[(b)] \(T\) is a complete isometry; \item[(c)] \(T\) preserves ternary products, i.e., \(T(x\langle y,z\rangle)=T(x)\langle T(y),T(z)\rangle\) for all \(x, y, z \in V\); \item[(d)] \(T\) preserves inner products with respect to a \(*\)-isomorphism \(\alpha: A \to B\), i.e., \(\langle T(x),T(y)\rangle=\alpha(\langle x,y\rangle)\) for all \(x, y \in V\); \item[(e)] \(T\) is a module map with respect to a \(*\)-isomorphism \(\alpha: A \to B\), i.e., \(T(xa)=T(x)\alpha(a)\) for all \(x \in V\) and all \(a\in A\). \end{itemize}} This result is known for complex Hilbert \(C^*\)-modules over complex \(C^*\)-algebras; cf. [\textit{M. Hamana}, Math. J. Toyama Univ. 22, 77--93 (1999; Zbl 0948.46045)], [\textit{B. Solel}, Trans. Am. Math. Soc. 353, No. 11, 4637--4660 (2001; Zbl 0985.46035)] and \textit{P. S. Muhly} and \textit{B. Solel} [Proc. Lond. Math. Soc., III. Ser. 81, No. 1, 113--168 (2000; Zbl 1036.46046)]. Among other things, the authors represent every real or complex Hilbert \(C^*\)-module over a commutative \(C^*\)-algebra as a space of continuous sections of a Hilbert bundle and then show that every surjective real linear isometry between real Hilbert \(C^*\)-modules over commutative real \(C^*\)-algebras carries a weighted composition operator form.