Do ultrapowers of classical Banach spaces have unconditional bases? I am trying to imagine (to some extent, of course) the geometry of ultrapowers of certain 'easy-to-handle' Banach spaces. Let me start with $X = \ell_p$, $p\in (1,\infty)$ or $X=c_0$.
Since the differences between partiuclar choices of ultrafilters are not clear to me enough, let me take any free ultrafilter $\mathcal{U}$ over an arbitrary infinite index set $I$.
So, my beginners question is, does the ultrapower $(X)_\mathcal{U}$ have an unconditional basis?
 A: For $\ell_1$ and $c_0$, the answer to your (implicit) question is easy.  If you take a free ultrafilter on the natural numbers (or most any ultrafilter used in Banach space theory) the ultrapower contains $L_1$ (or $C[0,1]$) and hence does not have an unconditional basis.
For $\ell_p$, $1<p\not= 2 < \infty$,  the situation might be trickier.  Enflo and Rosenthal
Some results concerning Lp(μ)-spaces. 
J. Functional Analysis 14 (1973), 325–348
proved that if $\mu$ is a finite measure s.t. the density character of $L_p(\mu)$ is at least $\aleph_\omega$, then $L_p(\mu)$ does not embed into a space that has an unconditional basis. Now such an $L_p(\mu)$ embeds into some ultrapower of $\ell_p$ but I don't know off the top of my head that when the density character of $L_p(\mu)$ is equal to $\aleph_\omega$ [EDIT: I meant $\aleph_1$ here] whether (under some or any set theoretic axioms about the size of $\aleph_\omega$ [EDIT: I meant $\aleph_1$ here]) $L_p(\mu)$ embeds into an ultrapower of $\ell_p$ when the ultrafilter is a free ultrafilter on the natural numbers.
