Approximation property counterexamples? (Also: relation to tensor products) I remember reading somewhere (but unfortunately, I've forgotten where it was) that the canonical map from the (completed) projective tensor product of two Banach spaces to the (completed) injective tensor product of the same pair of Banach spaces can fail to be injective; for obscure reasons, I'd like to see a specific example of this behaviour.  
I seem to remember---forgive me, this was years ago, and my memory is not what it once was---that this failure of injectivity was said to be somehow tied to the failure of the approximation property (in general).  I.e., that one or both of the Banach spaces involved had to not have the approximation property in order for the map to not be injective. 
The Wikipedia article on the approximation property claims that $c_0$ and $\ell^p$ for $p\neq2$ have closed subspaces that do not have the approximation property, but there is no citation given.  (The only cited counter-example is the original one of Enflo.)  Can anyone provide citations for these (presumably easier) counter-examples? 
Also, if a citation (or refutation) of the link between the approximation property and the (non-)injectivity of the map $x \overline\otimes_\pi y \to x \overline\otimes_\varepsilon y$ can also be provided, that'd be great!
 A: Taking your last question first: there is an accessible discussion of the link between the AP and the injectivity of the comparison map "projective tensor product to injective tensor product" in Section 4.1 of

R. Ryan, Introduction to Tensor Products of Banach Spaces, Springer Monographs in Mathematics, 2002.

In particular, it seems that one can extract the following from Proposition 4.6 in that book:
Theorem. Let $X$ be a Banach space. TFAE:
1) $X$ has the AP;
2) for every Banach space $Y$, the canonical map $X\overline{\otimes}_\pi Y \to X\overline{\otimes}_\varepsilon Y $ is injective.
As for the first question: I think that the first construction of subspaces of $\ell_p$ for $2 < p <\infty$ which do not have AP is due to A. M. Davie:
A. M. Davie, The Approximation Problem for Banach Spaces, Bull. London Math. Soc. 51 (1973), no. 3, 261–266. DOI link
These subspaces are not completely explicit, in the sense that Davie relies on some probabilistic inequalities, and hence, his result has the form

for any sequence $(\epsilon_n)_{n\geq 1}$ with values $\pm 1$, we define certain spaces; then there exists some choice of $(\epsilon_n)_{n\geq 1}$ such that these spaces fail AP.

Looking at his paper, I don't see how one gets the cases $1\leq p < 2$, but perhaps this was done in follow-up work.
