Two-Lipschitz operator ideals (Q2207646)

The notion of two-Lipschitz operator arises as a natural extension of the idea of Lipschitz operator from \(X\) (a metric space) to \(E\) (a Banach space) to operators defined on \(X \times Y\) (being \(X\) and \(Y\) metric spaces) and taking values on \(E\). As usual, it is assumed that \(X\) and \(Y\) have each a distinguished point (both denoted by \(0\)), and \(\mathrm{BLip}_{0} (X,Y;E)\) denotes the space of all two-Lipschitz operators \(T : X \times Y \to E\) satisfying \(T(0,y)=T(x,0) =0\) for all \(x\), \(y\). A norm is defined on \(\mathrm{BLip}_{0} (X,Y;E)\). Here a systematic study of these operators is started. Each operator \(T : X \times Y \to E\) in \(\mathrm{BLip}_{0} (X,Y;E)\) defines in a natural way a bilinear mapping \(T_{B} : \text{Æ} (X) \times \text{Æ}(Y) \to E\) (where Æ denotes the corresponding Lipschitz-free space). It is shown that \(\mathrm{BLip}(T) = \Vert T_{B} \Vert\). Lipschitz operator ideals (in the spirit of the classical ideals of linear operators) were defined in [\textit{D. Achour} et al., J. Math. Anal. Appl. 436, No. 1, 217--236 (2016; Zbl 1409.47003)]. Here ideals of two-Lipschitz operators are considered, and a method to define ideals from classical operator ideals is formulated. If \(\mathcal{I}\) is a classical ideal of linear operators, then the composition ideal is defined in the following way: \(T \in \mathcal{I} \circ \mathrm{BLip}_{0} (X,Y;E)\) if \(T=u \circ S\) with \(u \in \mathcal{I}(F,E)\) and \(S \in \mathrm{BLip}_{0}(X,Y;F)\) spaces. It is proved that \(T\) belongs to \(\mathcal{I} \circ \mathrm{BLip}_{0} (X,Y;E)\) if and only if \(T_{L}\) (the linearlization of \(T_{B}\), defined on the projective tensor product) belongs to \(\mathcal{I} (\text{Æ} (X) \hat{\otimes}_{\pi} \text{Æ}(Y), E)\), and the corresponding norms are the same. With this idea, several ideals of two-Lipschitz operators are defined: compact, strongly \(p\)-summing, \((p;p_{1},p_{2})\)-summing and factorable \(p\)-dominated. In each case, some basic properties are proved.