Elementary operators which are \(m\)-isometries (Q2451202)

Let \(p(x, y)\) \[ p(x, y) = \sum\limits_{k=0}^{m} \sum\limits_{l=0}^{m} c_{kl} y^l x^k,\quad c_{kl}\in {\mathbb C}, \] be a polynomial of two variables, \(H\) be a Hilbert space and \(B(H)\) be the set of all bounded linear operators on \(H\). For \(T\in B(H)\), the author considers \[ p(T) = \sum\limits_{k=0}^{m} \sum\limits_{l=0}^{m} c_{kl} T^{\ast l} T^k. \] It is said that \(T\) is an \(n\)-isometry if, for certain positive \(n\), we have that \(\beta_n(T) = 0\), where \[ \beta_n(T) = (y x - 1)^n(T). \] It is known that, if \(T\) is an \(n\)-isometry, then \(\beta_{n-1}(T) \geq 0\). If \(\beta_{n-1}(T) \not= 0\), then \(T\) is said to be a strict \(n\)-isometry. The study of \(m\)-isometric elementary operators of length one has been initiated by \textit{F. Botelho} and \textit{J. Jamison} [Linear Algebra Appl. 432, No. 1, 357--365 (2010; Zbl 1182.47034)]. In the paper under review, the author characterizes \(m\)-isometric generalized derivations and gives a sufficient condition for an elementary operator of arbitrary finite length to be an \(m\)-isometry.