Some strong forms of the local duality of ultraproducts (Q4939455)

The principle of local duality of an ultraproduct \((X_i)_{\mathfrak U}\) of Banach spaces says roughly speaking that \((X_i)^*_{\mathfrak U}\) is finitely representable in \((X^*_i)_{\mathfrak U}\). The authors prove refinements of that statement in two directions: a) If the finite-dimensional space \(M\subseteq (X_i)^*_{\mathfrak U}\) is norm-\(c\)-complemented in \((X_i)^*_{\mathfrak U}\), then there is a space \(M_0\subseteq (X^*_i)_{\mathfrak U}\) with \(\text{dist}(M, M_0)\leq 1+\varepsilon\) which is norm-\(c\cdot(1+ \varepsilon)\)-complemented in \((X^*_i)_{\mathfrak U}\). b) For any finite-dimensional subspace \(M\) of \((X_i)^*_{\mathfrak U}\) and any reflexive subspace \(F\) of \((X_i)_{\mathfrak U}\) there is some operator \(T:M\to (X^*_i)_{\mathfrak U}\) with \(\text{dist}(M, T(M))\leq 1+\varepsilon\), \(Tm= m\) for \(m\in M\cap (X^*_i)_{\mathfrak U}\) and \(\langle Tm,f\rangle= \langle m,f\rangle\) for all \(m\in M\) and all \(f\in F\).