Linear mappings characterized by action on zero products or unit products (Q2119259)

Let \(\mathcal A\) be a unital complex algebra and let \(\mathcal M\) be a unital \(\mathcal A\)-bimodule. A linear map \(\Delta: \mathcal A \to \mathcal M\) is said to be a derivation if for every \(A, B \in \mathcal A\), \(\Delta (AB)= A \Delta (B)+ \Delta (A) B\). On the other hand, \(\Delta\) is said to be a Jordan derivation if \(\Delta (A^2)= A \Delta (A)+ \Delta (A) A\) for every \(A \in \mathcal A\). In the present paper the authors suppose that there exists a nonzero separating ideal \( \mathcal J \subset \mathcal A\) of \(\mathcal M\) (that is \(x \mathcal J=0\) or \(\mathcal J x=0\) implies that \(x=0\) for every \(x \in \mathcal M\) ) such that \(\mathcal J\) is contained in the subalgebra of \(\mathcal A\) generated by idempotents. Let \(\delta, \tau: \mathcal A \to \mathcal M\) be linear maps. The main results of the paper are the following \par (1) We have the property \[ A, B \in \mathcal A, \; AB= 0 \Rightarrow \delta (A) B+A \tau (B)=0\] if and only if there exists a derivation \(\Delta: \mathcal A \to \mathcal M\) such that \( \delta (A)= \delta (I) A +\Delta (A), \; \tau (A)= A \tau (I) + \Delta (A)\) for every \(A \in \mathcal A\). \par (2) Suppose moreover that \(\mathcal A\) is a unital Banach algebra and \(\mathcal M\) is a Banach bimodule. If \[ A, B \in \mathcal A, \; AB= I \Rightarrow \delta (A) B+A \tau (B)=0,\] then there exists a Jordan derivation \(\Delta: \mathcal A \to \mathcal M\) such that \( \delta (A)= \delta (I) A +\Delta (A), \; \tau (A)= A \tau (I) + \Delta (A)\) for every \(A \in \mathcal A\). \par In the case where \(\delta= \tau\), this type of problems have been considered in many papers, see for instance [\textit{ J. Li} and \textit {J. Zhou}, Linear Multilinear Algebra 59, 193--204 (2011; Zbl 1214.47034)] and [\textit {J. Hou} J. Pure Appl. Algebra 215, 1852--1862 (2011; Zbl 1254.16036)].