Weak*-closed and complemented subspaces of dual Banach spaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T08:38:12Z http://mathoverflow.net/feeds/question/100491 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/100491/weak-closed-and-complemented-subspaces-of-dual-banach-spaces Weak*-closed and complemented subspaces of dual Banach spaces Jan Vardøen 2012-06-23T22:54:34Z 2013-02-21T03:12:34Z <p>We consider a Banach space $X$ and its dual $X^*$. </p> <p>Let $Q\colon X^\ast \to X^\ast$ be an idempotent operator. Question: Can we find an idempotent operator $P\colon X^\ast \to X^\ast$ which is weak${}^\ast$-to-weak${}^\ast$ continuous and with range isomorphic to range of $Q$ and $\mbox{im}P\subseteq \mbox{im}Q$? In fact, I am mostly interested in the case $\mbox{im }Q\cong \ell_p$ for $p\in [1,\infty)$.</p> <p>Certainly, $P$ would have to be an adjoint to some idempotent on $X$. My feeling is that in general this is not the case but perhaps it might be true for some well-behaved class of Banach spaces $X$ like Banach lattices? Or Banach lattices without a complemented copy of $\ell_1$?</p> http://mathoverflow.net/questions/100491/weak-closed-and-complemented-subspaces-of-dual-banach-spaces/100501#100501 Answer by Philip Brooker for Weak*-closed and complemented subspaces of dual Banach spaces Philip Brooker 2012-06-24T05:30:27Z 2013-02-21T03:12:34Z <p>We can find some counterexamples for the case $p=1$ be looking inside the class of $\mathcal{L}_\infty$ spaces. </p> <p>For the first example, let $K$ be a compact Hausdorff space such that $C(K)$ is a Grothendieck space. Then $C(K)^\ast$ contains a complemented copy of $\ell_1$, but such a complemented subspace can never be the range of a projection that is an adjoint operator.</p> <p>For the second example, let us consider the scenario that $X$ is indecomposable and $X^\ast$ is decomposable. Then a projection $Q$ on $X^\ast$ such that $Q$ and $I_{X^\ast}-Q$ both have infinite dimensional range provides a counterexample to the OP's question. The main example that comes to mind for me is the Argyros-Haydon space, which is indecomposable yet has dual isomorphic to the (separable) space $\ell_1$.</p> http://mathoverflow.net/questions/100491/weak-closed-and-complemented-subspaces-of-dual-banach-spaces/100535#100535 Answer by Bill Johnson for Weak*-closed and complemented subspaces of dual Banach spaces Bill Johnson 2012-06-24T17:25:55Z 2012-06-25T22:03:11Z <p>In </p> <p>Stegall, C. Banach spaces whose duals contain $\ell_1(\Gamma)$ with applications to the study of dual $L_1(\mu)$ spaces. Trans. Amer. Math. Soc. 176 (1973), 463–477 </p> <p>Stegall proved that $\ell_2$ is isometrically isomorphic to a norm one complemented subspace of <code>$X^*$</code> when <code>$X= (\sum_{n=1}^\infty \ell_2^n)_1$</code>, yet $\ell_2$ does not embed into $X$.</p> <p>It would be interesting to have an example of this phenomenon with $X^*$ separable. </p> <p>ADDED 6/25/12: </p> <p>Here is a more interesting example because the dual is separable, but the range of the projection is not $\ell_p$. Take any separable reflexive space $X$ that fails the approximation property and let $(E_n)$ be an increasing sequence of finite dimensional subspaces of $X$ whose union is dense in $X$. Let $c(E_n)$ be the space of sequences $(x_n)$ with $x_n$ in $E_n$ and $\lim_n x_n$ existing in $X$, normed by $\|(x_n)\|= \sup \|x_n\|$.<br> Define $c_0(E_n)$ to be $(\sum_{n=1}^\infty E_n)_0$. </p> <p>Consider the short exact sequence (ses)</p> <p>$0\to c_0(E_n) \to c(E_n) \to X\to 0$</p> <p>where the second arrow is the inclusion mapping and the third is the quotient mapping $Q$ defined by $(x_n)\mapsto \lim x_n$. This sequence locally splits (with constant one), hence <code>$Q^*$</code> maps $X^*$ onto a norm one complemented subspace of $c(E_n)^*$. The ses itself does not split because $c(E_n)$ has the approximation property (even a finite dimensional decomposition). </p> <p>This example is Proposition 2.4 in</p> <p>Johnson, William B.; Oikhberg, Timur: Separable lifting property and extensions of local reflexivity, Illinois J. Math. 45 (2001), no. 1, 123–137.</p> <p>The construction itself is due to W. Lusky</p> <p>A note on Banach spaces containing $c_0$ or $C_\infty$, J. Funct. Anal. 62 (1985), no. 1, 1–7.</p> <p>Lusky was interested in the case that $X$ has the bounded approximation property. Then the resulting ses splits. </p>