No Arabic abstract
We investigate the existence of higher order ell^1-spreading models in subspaces of mixed Tsirelson spaces. For instance, we show that the following conditions are equivalent for the mixed Tsirelson space X=T[(theta _n,S_n)_{n=1}^{infty}] (1)Every block subspace of $X$ contains an ell^1-S_{omega}-spreading model, (2)The Bourgain ell^1-index I_b(Y) = I(Y) > omega^{omega} for any block subspace Y of X, (3)lim_mlimsup_ntheta_{m+n}/theta_n > 0 and every block subspace Y of X contains a block sequence equivalent to a subsequence of the unit vector basis of X. Moreover, if one (and hence all) of these conditions holds, then X is arbitrarily distortable.
Suppose that (F_n)_{n=1}^{infty} is a sequence of regular families of finite subsets of N and (theta_n)_{n=1}^{infty} is a nonincreasing null sequence in (0,1). The mixed Tsirelson space T[(theta_{n}, F_n)_{n=1}^{infty}] is the completion of $c_{00}$ with respect to the implicitly defined norm ||x|| = max{||x||_{c_0}, sup_n sup theta_n sum_{i=1}^{j}||E_{i}x||}, where the last supremum is taken over all finite subsets E_{1},...,E_{j} of N such that E_1 < >... <E_j and {min E_1,...,min E_j} in F_n. Necessary and sufficient conditions are obtained for the existence of higher order ell ^1-spreading models in every subspace generated by a subsequence of the unit vector basis of T[(theta_{n}, F_n)_{n=1}^{infty}.
If alpha and beta are countable ordinals such that beta eq 0, denote by tilde{T}_{alpha,beta} the completion of $c_{00}$ with respect to the implicitly defined norm ||x|| = max{||x||_{c_{0}}, 1/2 sup sum_{i=1}^{j}||E_{i}x||}, where the supremum is taken over all finite subsets E_{1},...,E_{j} of $mathbb{N}$ such that $E_{1}<...<E_{j}$ and {min E_{1},...,min E_{j}} in S_beta. It is shown that the Bourgain $ell^{1}$-index of tilde{T}_{alpha,beta} is omega^{alpha+beta.omega}. In particular, if alpha =omega^{alpha_{1}}. m_{1}+...+omega^{alpha_{n}}. m_{n} in Cantor normal form and alpha_{n} is not a limit ordinal, then there exists a Banach space whose ell^{1}-index is omega^{alpha}.
Suppose that (F_n)_{n=0}^{infty} is a sequence of regular families of finite subsets of N such that F_0 contains all singletons, and (theta _n)_{n=1}^{infty} is a nonincreasing null sequence in (0,1). In this paper, we compute the Bourgain ell^1 - index of the mixed Tsirelson space T(F_0,(theta_n, F_n)_{n=1}^{infty}). As a consequence, it is shown that if eta is a countable ordinal not of the form omega^xi for some limit ordinal xi, then there is a Banach space whose ell^1-index is omega^eta . This answers a question of Judd and Odell.
The class of mixed Tsirelson spaces is an important source of examples in the recent development of the structure theory of Banach spaces. The related class of modified mixed Tsirelson spaces has also been well studied. In the present paper, we investigate the problem of comparing isomorphically the mixed Tsirelson space T[(S_n,theta_{n})_{n=1}^{infty}] and its modified version T_{M}[(S_{n},theta_{n})_{n=1}^{infty}]. It is shown that these spaces are not isomorphic for a large class of parameters (theta_{n}).
In this paper, we study minimality properties of partly modified mixed Tsirelson spaces. A Banach space with a normalized basis (e_k) is said to be subsequentially minimal if for every normalized block basis (x_k) of (e_k), there is a further block (y_k) of (x_k) such that (y_k) is equivalent to a subsequence of (e_k). Sufficient conditions are given for a partly modified mixed Tsirelson space to be subsequentially minimal and connections with Bourgains ell^{1}-index are established. It is also shown that a large class of mixed Tsirelson spaces fails to be subsequentially minimal in a strong sense.