Suppose that (F_n)_{n=1}^{\infty} is a sequence of regular families of finite subsets of N and (θ_n)_{n=1}^{\infty} is a nonincreasing null sequence in (0,1). The mixed Tsirelson space T[(θ_{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 θ_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[(θ_{n}, F_n)_{n=1}^{\infty}.
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[(θ_n,S_n)_{n=1}^{\infty}] (1)Every block subspace of $X$ contains an \ell^1-S_ω-spreading model, (2)The Bourgain \ell^1-index I_b(Y) = I(Y) > ω^ω for any block subspace Y of X, (3)\lim_m\limsup_nθ_{m+n}/θ_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, th…
We consider classical Tsirelson-type norms of $T[A_r,θ]$ and their modified versions on $\ell_p$ spaces. We show that for any $1<p<\infty$ there is a constant $λ_p$ such that considered Tsirelson-type norms do not $λ_p$-distort any of subspaces of $\ell_p$.
For each $n \in \mathbb{N}$ a Banach space $\mathfrak{X}_{0,1}^n$ is constructed is having the property that every normalized weakly null sequence generates either a $c_0$ or $\ell_1$ spreading models and every infinite dimensional subspace has weakly null sequences generating both $c_0$ and $\ell_1$ spreading models. The space $\mathfrak{X}_{0,1}^n$ is also quasiminimal and for every infinite dimensional closed subspace $Y$ of $\mathfrak{X}_{0,1}^n$, for every $S_1,S_2,\ldots,S_{n+1}$ strictly singular operators on $Y$, the operator $S_1S_2\cdots S_{n+1}$ is compact. Moreover, for every subsp…
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 (θ_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,(θ_n, F_n)_{n=1}^{\infty}). As a consequence, it is shown that if ηis a countable ordinal not of the form ω^ξfor some limit ordinal ξ, then there is a Banach space whose \ell^1-index is ω^η. This answers a question of Judd and Odell.
If αand βare countable ordinals such that β\neq 0, denote by \tilde{T}_{α,β} 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_β. It is shown that the Bourgain $\ell^{1}$-index of \tilde{T}_{α,β} is ω^{α+β.ω}. In particular, if α=ω^{α_{1}}. m_{1}+...+ω^{α_{n}}. m_{n} in Cantor normal form and α_{n} is not a limit ordinal, then there exists a Banach space whose \ell^{…
It is proved that if a Banach space $X$ has a basis $(e_n)$ satisfying every spreading model of a normalized block basis of $(e_n)$ is 1-equivalent to the unit vector basis of $\ell_1$ (respectively, $c_0$) then $X$ contains $\ell_1$ (respectively, $c_0$). Furthermore Tsirelson's space $T$ is shown to have the property that every infinite dimensional subspace contains a sequence having spreading model 1-equivalent to the unit vector basis of $\ell_1$. An equivalent norm is constructed on $T$ so that $\|s_1+s_2\|<2$ whenever $(s_n)$ is a spreading model of a normalized basic sequence in $T$.
The main result of this article is a rigidity result pertaining to the spreading model structure for Banach spaces coarsely embeddable into Tsirelson's original space $T^*$. Every Banach space that is coarsely embeddable into $T^*$ must be reflexive and all its spreading models must be isomorphic to $c_0$. Several important consequences follow from our rigidity result. We obtain a coarse version of an influential theorem of Tsirelson: $T^*$ does not coarsely contain $c_0$ nor $\ell_p$ for $p\in[1,\infty)$. We show that there is no infinite dimensional Banach space that coarsely embeds into eve…
We give criteria of total incomparability for certain classes of mixed Tsirelson spaces. We show that spaces of the form $T[(M_k,θ_k)_{k=1}^{\ell}]$ with index $i(M_k)$ finite are either $c_0$ or $\ell_p$ saturated for some $p$ and we characterize when any two spaces of such a form are totally incomparable in terms of the index $i(M_k)$ and the parameter $θ_k$. Also, we give sufficient conditions of total incomparability for a particular class of spaces of the form $T[(A_k,θ_k)_{k=1}^\infty]$ in terms of the asymptotic behaviour of the sequence $\Vert\sum_{i=1}^n e_i\Vert$ where $(e_i)$ is the…
Any regular mixed Tsirelson space $T(θ_n,S_n)_{\N}$ for which $\frac{θ_n}{θ^n} \to 0$, where $θ=\lim_n θ_n^{1/n}$, is shown to be arbitrarily distortable. Certain asymptotic $\ell_1$ constants for those and other mixed Tsirelson spaces are calculated. Also a combinatorial result on the Schreier families $(S_α)_{α< ω_1}$ is proved and an application is given to show that for every Banach space $X$ with a basis $(e_i)$, the two $Δ$-spectrums $Δ(X)$ and $Δ(X,(e_i))$ coincide.
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 Bourgain's \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…
We study the modified and boundedly modified mixed Tsirelson spaces $T_M[({\cal F}_{k_n},θ_n)_{n=1}^{\infty }]$ and $T_{M(s)}[({\cal F}_{k_n},θ_n)_{n=1}^{\infty }]$ respectively, defined by a subsequence $({\cal F}_{k_n})$ of the sequence of Schreier families $({\cal F}_n)$. These are reflexive asymptotic $\ell_1$ spaces with an unconditio- nal basis $(e_i)_i$ having the property that every sequence $\{ x_i\}_{i=1}^n$ of normalized disjointly supported vectors contained in $\langle e_i\rangle_{i=n}^{\infty }$ is equivalent to the basis of $\ell_1^n$. We show that if $\limθ_n^{1/n}=1$ then the …
Two examples of asymptotic $\ell_{1}$ Banach spaces are given. The first, $X_{u}$, has an unconditional basis and is arbitrarily distortable. The second, $X$, does not contain any unconditional basic sequence. Both are spaces of the type of Tsirelson. We thus answer a question raised by W.T.Gowers.
We present condition on higher order asymptotic behaviour of basic sequences in a Banach space ensuring the existence of bounded non-compact strictly singular operator on a subspace. We apply it in asymptotic $\ell_p$ spaces, $1\leq p<\infty$, in particular in convexified mixed Tsirelson spaces and related asymptotic $\ell_p$ HI spaces.
It is shown that for each separable Banach space $X$ not admitting $\ell_1$ as a spreading model there is a space $Y$ having $X$ as a quotient and not admitting any $\ell_p$ for $1 \leq p < \infty$ or $c_0$ as a spreading model. We also include the solution to a question of W.B. Johnson and H.P. Rosenthal on the existence of a separable space not admitting as a quotient any space with separable dual.
The main result of this paper is a fixed point result relating the spreading model structure of Banach spaces and Schauder basis with not too large basis constant. As a striking consequence, we deduce that every super-reflexive space has the fixed point property thus solving a long-standing open question in metric fixed point theory.
For an asymptotic $\ell_1$ space $X$ with a basis $(x_i)$ certain asymptotic $\ell_1$ constants, $δ_α(X)$ are defined for $α<ω_1$. $δ_α(X)$ measures the equivalence between all normalized block bases $(y_i)_{i=1}^k$ of $(x_i)$ which are $S_α$-admissible with respect to $(x_i)$ ($S_α$ is the $α^{th}$-Schreier class of sets) and the unit vector basis of $\ell_1^k$. This leads to the concept of the delta spectrum of $X$, $Δ(X)$, which reflects the behavior of stabilized limits of $δ_α(X)$. The analogues of these constants under all renormings of $X$ are also defined and studied. We investigate $Δ…
We study some questions concerning the structure of the set of spreading models of a separable infinite-dimensional Banach space $X$. In particular we give an example of a reflexive $X$ so that all spreading models of $X$ contain $\ell_1$ but none of them is isomorphic to $\ell_1$. We also prove that for any countable set $C$ of spreading models generated by weakly null sequences there is a spreading model generated by a weakly null sequence which dominates each element of $C$. In certain cases this ensures that $X$ admits, for each $α< ω_1$, a spreading model $(\tilde x_i^α)_i$ such that if $…
In the first part of the paper we present and discuss concepts of local and asymptotic hereditary proximity to \ell_1. The second part is devoted to a complete separation of the hereditary local proximity to \ell_1 from the asymptotic one. More precisely for every countable ordinal ξwe construct a separable reflexive space \mathfrak{X}_ξsuch that every infinite dimensional subspace of it has Bourgain \ell_1-index greater than ω^ξand the space itself has no \ell_1-spreading model. We also present a reflexive HI space admitting no \ell_p as a spreading model.
Let $(e_i)_i$ denote the unit vector basis of $\ell_p$, $1\leq p< \infty$, or $c_0$. We construct a reflexive Banach space with an unconditional basis that admits $(e_i)_i$ as a uniformly unique spreading model while it has no subspace with a unique asymptotic model, and hence it has no asymptotic-$\ell_p$ or $c_0$ subspace. This solves a problem of E. Odell. We also construct a space with a unique $\ell_1$ spreading model and no subspace with a uniformly unique $\ell_1$ spreading model. These results are achieved with the utilization of a new version of the method of saturation under constrai…
We explore the diversity of subsymmetric basic sequences in spaces with a subsymmetric basis. We prove that the subsymmetrization $Su(T^*)$ of Tsirelson's original Banach space provides the first known example of a space with a unique subsymmetric basic sequence that is additionally non-symmetric. Contrastingly, we provide a criterion for a space with a subsymmetric basis to contain a continuum of nonequivalent subsymmetric basic sequences and apply it to $Su(T^*)^*$. Finally, we provide a criterion for a subsymmetric sequence to be equivalent to the unit vector basis of some $\ell_p$ or $c_0$…
A new hierarchy of Banach spaces $T_k(d,θ)$, $k$ any positive integer, is constructed using barriers in high dimensional Ellentuck spaces \cite{DobrinenJSL15} following the classical framework under which a Tsirelson type norm is defined from a barrier in the Ellentuck space \cite{Argyros/TodorcevicBK}. The following structural properties of these spaces are proved. Each of these spaces contains arbitrarily large copies of $\ell_\infty^n$, with the bound constant for all $n$. For each fixed pair $d$ and $θ$, the spaces $T_k(d,θ)$, $k\ge 1$, are $\ell_p$-saturated, forming natural extensions of…
We give examples of two Banach spaces. One Banach space has no spreading model which contains $\ell_p$ ($1\le p<\infty$) or $c_0$. The other space has an unconditional basis for which $\ell_p$ ($1\le p<\infty$) and $c_0$ are block finitely represented in all block bases.
We investigate the following property for Banach spaces. A Banach space $X$ satisfies the Uniform Approximation on Large Subspaces (UALS) if there exists $C>0$ with the following property: for any $A\in\mathcal{L}(X)$ and convex compact subset $W$ of $\mathcal{L}(X)$ for which there exists $\varepsilon>0$ such that for every $x\in X$ there exists $B\in W$ with $\|A(x)-B(x)\|\le\varepsilon\|x\|$, there exists a subspace $Y$ of $X$ of finite codimension and a $B\in W$ with $\|(A-B)|_Y\|_{\mathcal{L}(Y,X)}\leq C\varepsilon$. We prove that a class of separable Banach spaces including $\ell_p$, for…
In the first part of the paper we study the structure of Banach spaces with a conditional spreading basis. The geometry of such spaces exhibit a striking resemblance to the geometry of James' space. Further, we show that the averaging projections onto subspaces spanned by constant coefficient blocks with no gaps between supports are bounded. As a consequence, every Banach space with a spreading basis contains a complemented subspace with an unconditional basis. This gives an affirmative answer to a question of H. Rosenthal. The second part contains two results on Banach spaces $X$ whose asympt…
This paper has three parts. First, we establish some of the basic model theoretic facts about $M_{\mathcal{T}}$, the Tsirelson space of Figiel and Johnson \cite{FJ}. Second, using the results of the first part, we give some facts about general Banach spaces. Third, we study model-theoretic dividing lines in some Banach spaces and their theories. In~particular, we show: (1) $M_{\mathcal{T}}$ has the \emph{non independence property} (NIP); (2) every Banach space that is $\aleph_0$-categorical up to small perturbations embeds $c_0$ or $\ell_p$ ($1\leqslant p<\infty$) almost isometrically; consequ…
Krivine and Maurey proved in 1981 that every stable Banach space contains almost isometric copies of $\ell_p$, for some $p\in[1,\infty)$. In 1983, Raynaud showed that if a Banach space uniformly embeds into a superstable Banach space, then $X$ must contain an isomorphic copy of $\ell_p$, for some $p\in[1,\infty)$. In these notes, we show that if a Banach space coarsely embeds into a superstable Banach space, then $X$ has a spreading model isomorphic to $\ell_p$, for some $p\in[1,\infty)$. In particular, we obtain that there exist reflexive Banach spaces which do not coarsely embed into any sup…
It is shown that a separable Banach space $X$ can be given an equivalent norm $|\!|\!|\cdot |\!|\!|$ with the following properties:\quad If $(x_n)\subseteq X$ is relatively weakly compact and $\lim_{m\to\infty} \lim_{n\to\infty}\break |\!|\!| x_m + x_n |\!|\!| = 2\lim_{m\to\infty} |\!|\!| x_m|\!|\!|$ then $(x_n)$ converges in norm. This yields a characterization of reflexivity once proposed by V.D.~Milman. In addition it is shown that some spreading model of a sequence in $(X, |\!|\!|\cdot |\!|\!|)$ is 1-equivalent to the unit vector basis of $\ell_1$ (respectively, $c_0$) implies that $X$ con…
For any closed subset $F$ of $[1,\infty]$ which is either finite or consists of the elements of an increasing sequence and its limit, a reflexive Banach space $X$ with a 1-unconditional basis is constructed so that in each block subspace $Y$ of $X$, $\ell_p$ is finitely block represented in $Y$ if and only if $p \in F$. In particular, this solves the question as to whether the stabilized Krivine set for a Banach space had to be connected. We also prove that for every infinite dimensional subspace $Y$ of $X$ there is a dense subset $G$ of $F$ such that the spreading models admitted by $Y$ are e…
Let $E$ be a Banach space, and $\mathcal B(E)$ the algebra of all bounded linear operators on $E$. The question of amenability of $\mathcal B(E)$ goes back to Johnson's seminal memoir \cite{johnson} from 1972. We present the first general criteria applying to very wide classes of Banach spaces, given in terms of the Banach space geometry of $E$, which imply that $\mathcal B(E)$ is non-amenable. We cover all spaces for which this is known so far (with the exception of one particular example), with much shorter proofs, such as $\ell_p$ for $p \in [1, \infty]$ and $c_0$, but also many new spaces:…
We define and study asymptotically symmetric Banach spaces (a.s.) and its variations: weakly a.s. (w.a.s.) and weakly normalized a.s. (w.n.a.s.). If X is a.s. then all spreading models of X are uniformly symmetric. We show that the converse fails. We also show that w.a.s. and w.n.a.s. are not equivalent properties and that Schlumprecht's space S fails to be w.n.a.s. We show that if X is separable and has the property that every normalized weakly null sequence in X has a subsequence equivalent to the unit vector basis of c_0 then X is w.a.s.. We obtain an analogous result if c_0 is replaced by …
It is known that there exists a Banach space $X$ with a Schauder basis $(e_i)_{i=1}^{\infty}$ which does not admit $\ell_p$ as the model space obtained by a finite chain of sequences such that each element is a spreading model of a block subsequence of the previous element, starting from a block subsequence of $(e_i)_{i=1}^{\infty}$. We prove that $X$ has the stronger property of not admitting $\ell_p$ via a finite chain consisting of block asymptotic models. This is related to a question posed by L. Halbeisen and E. Odell for the special case of block generated asymptotic models. Also, we sho…
We study the dynamics of the group of isometries of $L_p$-spaces. In particular, we study the canonical actions of these groups on the space of $δ$-isometric embeddings of finite dimensional subspaces of $L_p(0,1)$ into itself, and we show that for $p \neq 4,6,8,\ldots$ they are $\varepsilon$-transitive provided that $δ$ is small enough. We achieve this by extending the classical equimeasurability principle of Plotkin and Rudin. We define the central notion of a Fraïssé Banach space which underlies these results and of which the known separable examples are the spaces $L_p(0,1)$, $p \neq 4,6,8…
The notion of $α$-large families of finite subsets of an infinite set is defined for every countable ordinal number $α$, extending the known notion of large families. The definition of the $α$-large families is based on the transfinite hierarchy of the Schreier families $\mathcal{S}_α, α<ω_1$. We prove the existence of such families on the cardinal number $2^{\aleph_0}$ and we study their properties. As an application, based on those families we construct a reflexive space $\mathfrak{X}_{2^{\aleph_0}}^α$, $α<ω_1$ with density the continuum, such that every bounded non norm convergent sequence …
