Generalized biderivations of nest algebras (Q852647): Difference between revisions

Let \(\mathcal A\) be a complex algebra with identity \(I\). A linear map \(\delta : {\mathcal A} \to {\mathcal A}\) is called a derivation if \[ \delta(XY) = \delta(X)Y + X \delta(Y) \] and a generalized derivation if it satisfies \[ \delta(XY) = \delta(X)Y + X \delta(Y) +X \delta(I)Y \] for all \(X,Y \in \mathcal A\). A bilinear map \(\phi : {\mathcal A} \times {\mathcal A} \to \mathcal A\) is called a (generalized) biderivation if it is a (generalized) derivation in each argument. If \(\phi\) is a biderivation, it is called called inner if \(\phi(X,Y) = XY -YX\) for all \(X,Y \in \mathcal A\), and if \(\phi\) is a generalized biderivation, it is called generalized inner if there are \(A,B \in \mathcal A\) such that \(\phi(X,Y) = XAY + YBX\) for all \(X,Y \in \mathcal A\). Let \(H\) be a complex, separable Hilbert space. A nest is a totally ordered family \(\mathcal N\) of closed subspaces of \(H\) which contains \(\{ 0 \}\) and \(H\) and is closed in the strong operator topology. For every \(N \in \mathcal N\), one defines \(N_+\) as the intersection of all \(M \in \mathcal N\) containing \(N\) and \(N_-\) as the closed linear span of all \(M \in \mathcal N\) contained in \(N\). The nest algebra associated with \(\mathcal N\) is defined as \[ \tau({\mathcal N}) = \{ T \in B(H) : \text{\(TN \subset N\) for all \(N \in \mathcal N\)} \}. \] In the paper under review, the authors show that every biderivation on \(\tau({\mathcal N})\) is inner if and only if \(\dim \{ 0 \}_+ \neq 1\) or \(\dim H^\perp_- \neq 1\), and that every generalized biderivation on \(\tau({\mathcal N})\) is inner if \(\dim \{ 0 \}_+ \neq 1\) and \(\dim H^\perp_- \neq 1\).