Linear maps preserving \(G\)-quasi-isometry operators (Q2174761)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Linear maps preserving \(G\)-quasi-isometry operators
scientific article

    Statements

    Linear maps preserving \(G\)-quasi-isometry operators (English)
    0 references
    0 references
    0 references
    0 references
    27 April 2020
    0 references
    Consider an indefinite inner product space \((H,[\cdot, \cdot])\), then \((H,[\cdot, \cdot])\) is a complete indefinite inner product if and only if \(H\) is a Hilbert space with some inner product \( \langle \cdot, \cdot \rangle\), and there exists an invertible self-adjoint operator \(G \in B(H)\) such that \([x,y]_{G}=[x,y]=\langle Gx,y \rangle\) for all \(x, y\in H\), and the set of all bounded linear operators on \(H\) with respect to the indefinite inner product \([\cdot, \cdot]\) is the same as \(B(H, \langle \cdot, \cdot \rangle)\). The adjoint formula \(A^{*}= G^{-1}A^*G\) on page 38 (line 17 from below) of the paper has a mistype: truly, the adjoint of an operator \(A \in B(H)\) with respect to \([x,y]_G\) is \(A^{ \sharp } = G^{-1}A^*G\), where \(A^*\) is the adjoint of \(A\) with respect to the inner product \( \langle \cdot, \cdot \rangle\). An operator \(T\) on Hilbert space \(H\) is called \(G\)-quasi-isometric operator if \[ T^{ \sharp \, 2} T^2 = T^{ \sharp } T.\] It is easy to see that \(G\)-projections, \(G\)-unitary operators, and \(G\)-partial isometric operators are \(G\)-quasi-isometric operators. \textit{S. M. Patel} [Glas. Mat., III. Ser. 38, No. 1, 111--120 (2003; Zbl 1053.47002)] has established some generic properties of quasi-isometries. The authors characterize surjective continuous unital linear maps from \(B(H)\) onto itself that preserve \(G\)-quasi-isometric operators. Indeed, if \( \phi : B(H) \to B(H)\) be a unital linear continuous surjective map which preserves \(G\)-quasi-isometries in both directions, then there exist \( \lambda =\pm 1\) and an invertible operator \(U \in B(H)\) satisfying \(UU^{ \sharp }= U^{ \sharp }U = \lambda I\), such that \[ \phi(A)= \lambda UAU^{ \sharp }\] or \[ \phi(A)= \lambda UA^{ t}U^{ \sharp }\] for all \(A \in B(H)\), where \(A^{ t}\) is the transpose of \(A\) with respect to an arbitrary but fixed orthonormal basis of \(H\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    linear preserver
    0 references
    Jordan homomorphisms
    0 references
    indefinite metric
    0 references
    partial-isometry operators
    0 references
    0 references