Strict isometries of arbitrary orders (Q417458)

Let \(\mathcal H\) be a separable Hilbert space. A bounded operator \(T\) on \(\mathcal H\) is said to be an \(n\)-isometry if \[ \sum_{k=0}^n (-1)^{n-k} {n\choose k}T^{*k }T^k=0. \] If \(T\) is an \(n\)-isometry, but not an \((n-1)\)-isometry, then \(T\) is called a strict \(n\)-isometry. Recall that \(n\)-isometries were studied by \textit{J. Agler} and \textit{M. Stankus}, see, for instance, [Integral Equations Oper. Theory 24, No. 4, 379--421 (1996; Zbl 0871.47012)]. This paper complements investigations by \textit{F. Bothelho} and \textit{J. Jamison } [Linear Algebra Appl. 432, No. 1, 77--83 (2010; Zbl 1182.47034)]. The authors show that, if \(T\) is a strict \(n\)-isometry on \(\mathcal H\), then the set \(\{ I, T^* T, \dots, (T^*)^{n-1} T^{n-1} \}\) is linearly independent. Next, let \(A\) and \(B\) be given bounded linear operators on \(\mathcal H\). The authors consider the multiplication operator \(L: T \mapsto ATB\) acting on the Hilbert Schmidt class \(\mathcal C_2 (\mathcal H)\). Among other results, they show the following for a \(p\)-isometry \(L\): (1) If \(p \geq 2\) and \(A\) is a strict \(2\)-isometry, then \(B^*\) is a \((p-1)\) isometry. (2) If \(p \geq 3\) and \(A\) is a strict \(3\)-isometry, then \(B^*\) is a \((p-2)\)-isometry. Finally, it should be pointed out that the authors give a method for constructing strict \(n\)-isometries on any complex Hilbert space \(\mathcal H\).