Projecting Lipschitz functions onto spaces of polynomials (Q2167830)

\textit{J. Lindenstrauss} [Mich. Math. J. 11, 263--287 (1964; Zbl 0195.42803)] showed that the dual of any Banach space \(X\), \(X'\), is 1-complemented in \(\mathrm{Lip}_0(X)\), the space of all Lipschitz mappings \(f\colon X\to \mathbb{R}\) with \(f(0_X)=0\), and hence also 1-complemented in \(\mathrm{Lip}_0(B_X)\), the space of all Lipschitz mappings \(f\colon B_X\to \mathbb{R}\) with \(f(0_X)=0\). In this paper the authors examine whether the corresponding result is true when \(X'\) is replaced with \(\mathcal{P}(^2X)\), the space of \(2\)-homogeneous polynomials from \(X\) into \(\mathbb{R}\). Taking \(E_n\) to be \(n\)-dimensional Euclidean space they use \(C_0^1(B_{E_n})\) to denote the space of all functions \(f\colon B_{E_n}\to\mathbb{R}\) which are continuous on \(B_{E_n}\) and differentiable on \(B_{E_n}^o\), the interior of \(B_{E_n}\), such that \(f(0)=0\) and the gradient of \(f\) is uniformly continuous on \(B_{E_n}^o\). The authors prove that if \(Q\) is any projection from \(C_0^1(B_{E_n})\) onto \(\mathcal{P}(^2E_n)\) then \[ \|Q\|\ge \frac{2}{5}\left(\frac{\sqrt{2}-1}{3}.\frac{\pi}{72}\right)^{1/5} \left(n- 2\sqrt{2}\right)^{1/5}. \] Using this, they show that, if \(X\) is a Banach space which contains \((\ell_2^n)_n\) uniformly complemented, then \(\mathcal{P}(^2X)\) is not complemented in \(\mathrm{Lip}_0(B_X)\). In particular, this means that \(\mathcal{P} (^2X)\) is not complemented in \(\mathrm{Lip}_0(B_X)\) whenever \(X\) has non-trivial type. The authors shows that these results can be extended to spaces of \(k\)-homogeneous polynomials. However, when \(X\) is an \(\mathcal{L}_1\) space it is shown that \(\mathcal{P}(^2X)\) is complemented in \(\mathrm{Lip}_0(B_X)\).