Asymptotic \(l_p\) hereditarily indecomposable Banach spaces (Q938619): Difference between revisions

A Banach space \(X\) is hereditarily indecomposable (H.I.)\ if it cannot be written as \(X= W\oplus Z\), where \(W\) and \(Z\) are infinite-dimensional closed subspaces. The first such example was given by \textit{W.\,T.\thinspace Gowers} and \textit{B.\,Maurey} [J.~Am.\ Math.\ Soc.\ 6, No.\,~4, 851--874 (1993; Zbl 0827.46008)]. \textit{S.\,A.\thinspace Argyros} and \textit{I.\,Deliyanni} [Trans.\ Am.\ Math.\ Soc.\ 349, 973--995 (1997; Zbl 0869.46002)] gave examples of asymptotic \(\ell_1\) H.I.\ spaces. In the paper under review, the authors construct, for \(1<p<\infty\), a real asymptotic \(\ell_p\) H.I.\ space, \(X_{(p)}\). Being asymptotic \(\ell_p\) means that \(X_{(p)}\) has a basis \((e_n)\) so that, for some \(C\), all \(n\in \mathbb N\) and all normalized block bases \((x_i)_1^n\) of \((e_i)_{i=n}^\infty\), \((x_i)_1^n\) is \(C\)-equivalent to the unit vector basis of \(\ell_p^n\). Moreover, \(X_{(p)}^*\) is shown to be an H.I.\ space. It is also proved that \(c_0\) is finitely represented in every subspace of \(X_{(p)}\). Furthermore, for all \(Y\subseteq X_{(p)}\), every operator \(T:Y\to X_{(p)}\) has the form \(\lambda I_Y +S\), with \(S\) being strictly singular.