No Arabic abstract
We examine a variant of a Banach space $mathfrak{X}_{0,1}$ defined by Argyros, Beanland, and the second named author that has the property that it admits precisely two spreading models in every infinite dimensional subspace. We prove that this space is asymptotically symmetric and thus it provides a negative answer to a problem of Junge, the first. named author, and Odell.
A recent result of Freeman, Odell, Sari, and Zheng states that whenever a separable Banach space not containing $ell_1$ has the property that all asymptotic models generated by weakly null sequences are equivalent to the unit vector basis of $c_0$ then the space is Asymptotic $c_0$. We show that if we replace $c_0$ with $ell_1$ then this result is no longer true. Moreover, a stronger result of B. Maurey - H. P. Rosenthal type is presented, namely, there exists a reflexive Banach space with an unconditional basis admitting $ell_1$ as a unique asymptotic model whereas any subsequence of the basis generates a non-Asymptotic $ell_1$ subspace.
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.
Given a Banach space X, denote by SP_{w}(X) the set of equivalence classes of spreading models of X generated by normalized weakly null sequences in X. It is known that SP_{w}(X) is a semilattice, i.e., it is a partially ordered set in which every pair of elements has a least upper bound. We show that every countable semilattice that does not contain an infinite increasing sequence is order isomorphic to SP_{w}(X) for some separable Banach space X.
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}.
A Banach space operator $Ain B({cal{X}})$ is polaroid, $Ain {cal{P}}$, if the isolated points of the spectrum $sigma(A)$ are poles of the operator; $A$ is hereditarily polaroid, $Ain{cal{HP}}$, if every restriction of $A$ to a closed invariant subspace is polaroid. Operators $Ain{cal{HP}}$ have SVEP on $Phi_{sf}(A)={lambda: A-lambda$ is semi Fredholm $}$: This, in answer to a question posed by Li and Zhou (Studia Math. 221(2014), 175-192), proves the necessity of the condition $Phi_{sf}^+(A)=emptyset$. A sufficient condition for $Ain B({cal{X}})$ to have SVEP on $Phi_{sf}(A)$ is that its component $Omega_a(A)={lambdainPhi_{sf}(A): rm{ind}(A-lambda)leq 0}$ is connected. We prove: If $Ain B({cal{H}})$ is a Hilbert space operator, then a necessary and sufficient condition for there to exist a compact operator $K$ such that $A+Kin{cal{HP}}$ is that $Omega_a(A)$ is connected.