Local properties of accessible injective operator ideals

From MaRDI portal



Abstract: In addition to Pisier's counterexample of a non-accessible maximal Banach ideal, we will give a large class of maximal Banach ideals which {it{are accessible}}. The first step is implied by the observation that a "good behaviour" of trace duality, which is canonically induced by conjugate operator ideals can be extended to adjoint Banach ideals, if and only if these adjoint ideals satisfy an accessibility condition (theorem 3.1). This observation leads in a natural way to a characterization of accessible injective Banach ideals, where we also recognize the appearance of the ideal of {it{absolutely summing operators}} (prop. 4.1). By the famous {it{Grothendieck inequality}}, every operator from L1 to a Hilbert space is absolutely summing, and therefore our search for such ideals will be directed towards Hilbert space factorization - via an operator version of Grothendieck's inequality (lemma 4.2). As a consequence,we obtain a class of injective ideals, which are "quasi-accessible", and with the help of {it{tensor stability}}, we improve the corresponding norm inequalities, to get accessibility (theorem 4.1 and 4.2). In the last chapter of this paper we give applications, which are implied by a non-trivial link of the above mentioned considerations to normed products of operator ideals.


In contrast to Pisier's example of a non-accessible maximal Banach ideal, the author exhibits a large class of maximal Banach ideals which are accessible. The construction is based on a characterization of total accessibility of injective hulls of maximal Banach ideals (if \((\mathcal A,\mathbf A)\) is a maximal Banach ideal, then \((\mathcal A^{inj},\mathbf A^{inj})\) is totally accessible if and only if \((\mathcal A\circ \mathcal A^*,\mathbf A\circ \mathbf A^\ast)\subseteq (\mathcal P_1,\mathbf P_1)\), the ideal of absolutely summing operators) and an operator version of Grothendieck's inequality. As a consequence, it is obtained, for instance, that if \((\mathcal A,\mathbf A)\) is a maximal Banach ideal such that \((\mathcal D_2,\mathbf D_2)\subseteq (\mathcal A,\mathbf A)\subseteq (\mathcal L_1,\mathbf L_1)\) and both \((\mathcal A,\mathbf A)\) and \((\mathcal A^*, \mathbf A^\ast)\) are metrically \(\varepsilon \)-tensorstable, then \((\mathcal A^{inj}, \mathbf A^{inj})\) is totally accessible. Several other criteria for right- and total accessibility are established, and applications to normed products of operator ideals are also given.











This page was built for publication: Local properties of accessible injective operator ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4700051)