In this note we give a simple proof that every subspace of L_p, 2<p<infinity, with an unconditional basis has an equivalent norm determined by partitions and weights. Consequently L_p has a norm determined by partitions and weights.
We prove that the dual or any quotient of a separable reflexive Banach space with the unconditional tree property has the unconditional tree property. Then we prove that a separable reflexive Banach space with the unconditional tree property embeds into a reflexive Banach space with an unconditional basis. This solves several long standing open problems. In particular, it yields that a quotient of a reflexive Banach space with an unconditional finite dimensional decomposition embeds into a reflexive Banach space with an unconditional basis.
A generalization of Lozanovskii's result is proved. Let E be $k$-dimensional subspace of an $n$-dimensional Banach space with unconditional basis. Then there exist $x_1,..,x_k \subset E$ such that $B_E \p \subset \p absconv\{x_1,..,x_k\}$ and \[ \kla \frac{{\rm vol}(absconv\{x_1,..,x_k\})}{{\rm vol}(B_E)} \mer^{\frac{1}{k}} \kl \kla e\p \frac{n}{k} \mer^2 \pl .\] This answers a question of V. Milman which appeared during a GAFA seminar talk about the hyperplane problem. We add logarithmical estimates concerning the hyperplane conjecture for proportional subspaces and quotients of Banach spaces…
We prove that every lattice homomorphism acting on a Banach space $\mathcal{X}$ with the lattice structure given by an unconditional basis has a non-trivial closed invariant subspace. In fact, it has a non-trivial closed invariant ideal, which is no longer true for every positive operator on such a space. Motivated by these later examples, we characterize tridiagonal positive operators without non-trivial closed invariant ideals on $\mathcal{X}$ extending to this context a result of Grivaux on the existence of non-trivial closed invariant subspaces for tridiagonal operators.
The main result of the paper is that a system of invariant subspaces of a (completely non-unitary) Hilbert space contraction $T$ with finite defects (rank$(I-T^*T)<\infty$, rank$(I-TT^*)<\infty$) is an unconditional basis (Riesz basis) if and only if it is uniformly minimal. Results of such type are quite well known: for a system of eigenspaces of a contraction with defects $1-1$ it is simply the famous Carleson interpolation theorem. For general invariant subspaces of operators with defects $1-1$ such theorem was proved by V. I. Vasyunin. Then partial results for the case of finite defects we…
For a large class of Banach spaces, a general construction of subspaces without local unconditional structure is presented. As an application it is shown that every Banach space of finite cotype contains either $l_2$ or a subspace without unconditional basis, which admits a Schauder basis. Some other interesting applications and corollaries follow.
We prove that if $X$ is a complex strictly monotone sequence space with $1$-unconditional basis, $Y \subseteq X$ has no bands isometric to $\ell_2^2$ and $Y$ is the range of norm-one projection from $X$, then $Y$ is a closed linear span a family of mutually disjoint vectors in $X$. We completely characterize $1$-complemented subspaces and norm-one projections in complex spaces $\ell_p(\ell_q)$ for $1 \leq p, q < \infty$. Finally we give a full description of the subspaces that are spanned by a family of disjointly supported vectors and which are $1$-complemented in (real or complex) Orlicz or …
We give precise conditions under which the real interpolation space [Y_0,X_1]_{s,p} coincides with a closed subspace of the corresponding interpolation space [X_0,X_1]_{s,p} when Y_0 is a closed subspace of X_0 of codimension one. This result is applied to study the basis properties of nonharmonic Fourier series in Sobolev spaces H^s on an interval when 0<s<1. The main result: let E be a family of exponentials exp(i λ_n t) and E forms an unconditional basis in L^2 on an interval. Then there exist two number s_0, s_1 such that E forms an unconditional basis in H^s for s<s_0, E forms an uncondit…
We prove a general result on complemented unconditional basic sequences in Banach lattices and apply it to give some new examples of spaces with unique unconditional basis. We show that Tsirelson space and certain Nakano spaces have the unique unconditional bases. We also construct an example of a space with a unique unconditional basis with a complemented subspace failing to have a unique unconditional basis.
If a Banach space is saturated with basic sequences whose linear span embeds into the linear span of any subsequence, then it contains a minimal subspace. It follows that any Banach space is either ergodic or contains a minimal subspace. For a Banach space $X$ with an (unconditional) basis, topological 0-1 law type dichotomies are stated for block-subspaces of $X$ as well as for subspaces of $X$ with a successive FDD on its basis. A uniformity principle for properties of block-sequences, results about block-homogeneity, and a possible method to construct a Banach space with an unconditional ba…
We show that any Banach space contains a continuum of non isomorphic subspaces or a minimal subspace. We define an ergodic Banach space $X$ as a space such that $E_0$ Borel reduces to isomorphism on the set of subspaces of $X$, and show that every Banach space is either ergodic or contains a subspace with an unconditional basis $ which is complementably universal for the family of its block-subspaces. We also use our methods to get uniformity results; for example, in combination with a result of B. Maurey, V. Milman and N. Tomczak-Jaegermann, we show that an unconditional basis of a Banach spa…
Let $X$ be a Banach space with an unconditional finite-dimensional Schauder decomposition $(E_n)$. We consider the general problem of characterizing conditions under which one can construct an unconditional basis for $X$ by forming an unconditional basis for each $E_n.$ For example, we show that if $\sup \dim E_n<\infty$ and $X$ has Gordon-Lewis local unconditional structure then $X$ has an unconditional basis of this type. We also give an example of a non-Hilbertian space $X$ with the property that whenever $Y$ is a closed subspace of $X$ with a UFDD $(E_n)$ such that $\sup\dim E_n<\infty$ th…
We give an intrinsic characterisation of the separable reflexive Banach spaces that embed into separable reflexive spaces with an unconditional basis all of whose normalised block sequences with the same growth rate are equivalent. This uses methods of E. Odell and T. Schlumprecht.
Many of the known complemented subspaces of L_p have realizations as sequence spaces. In this paper a systematic approach to defining these spaces which uses partitions and weights is introduced. This approach gives a unified description of many well-known complemented subspaces of L_p. It is proved that the class of spaces with such norms is stable under (p,2) sums. By introducing the notion of an envelope norm, we obtain a necessary condition for a Banach sequence space with norm given by partitions and weights to be isomorphic to a subspace of L_p. Using this we define a space Y_n with norm…
For a constant $K\geq 1$ let $\mathfrak{B}_K$ be the class of pairs $(X,(\mathbf e_n)_{n\inω})$ consisting of a Banach space $X$ and an unconditional Schauder basis $(\mathbf e_n)_{n\inω}$ for $X$, having the unconditional basic constant $K_u\leq K$. Such pairs are called $K$-based Banach spaces. A based Banach space $X$ is rational if the unit ball of any finite-dimensional subspace spanned by finitely many basic vectors is a polyhedron whose vertices have rational coordinates in the Schauder basis of $X$. Using the technique of Fraïssé theory, we construct a rational $K$-based Banach space $…
We present a Banach space $\mathfrak X$ with a Schauder basis of length $ω\_1$ which is saturated by copies of $c\_0$ and such that for every closed decomposition of a closed subspace $X=X\_0\oplus X\_1$, either $X\_0$ or $X\_1$ has to be separable. This can be considered as the non-separable counterpart of the notion of hereditarily indecomposable space. Indeed, the subspaces of $\mathfrak X$ have ``few operators'' in the sense that every bounded operator $T:X \to \mathfrak{X}$ from a subspace $X$ of $\mathfrak{X}$ into $\mathfrak{X}$ is the sum of a multiple of the inclusion and a $ω\_1$-sin…
If $E=\{e_i\}$ and $F=\{f_i\}$ are two 1-unconditional basic sequences in $L_1$ with $E$ $r$-concave and $F$ $p$-convex, for some $1\le r<p\le 2$, then the space of matrices $\{a_{i,j}\}$ with norm $\|\{a_{i,j}\}\|_{E(F)}=\big\|\sum_k \|\sum_l a_{k,l}f_l\|e_k\big\|$ embeds into $L_1$. This generalizes a recent result of Prochno and Schütt.
Assume that $T$ is a self-adjoint operator on a Hilbert space $\mathcal{H}$ and that the spectrum of $T$ is confined in the union $\bigcup_{j\in J}Δ_j$, $J\subseteq\mathbb{Z}$, of segments $Δ_j=[α_j, β_j]\subset\mathbb{R}$ such that $α_{j+1}>β_j$ and $$ \inf_{j} \left(α_{j+1}-β_j\right) = d > 0. $$ If $B$ is a bounded (in general non-self-adjoint) perturbation of $T$ with $\|B\|=:b<d/2$ then the spectrum of the perturbed operator $A=T+B$ lies in the union $\bigcup_{j\in J} U_{b}(Δ_j)$ of the mutually disjoint closed $b$-neighborhoods $U_{b}(Δ_j)$ of the segments $Δ_j$ in $\mathbb{C}$. Let $Q_j…
A Banach space $X$ with a Schauder basis is defined to have the restricted quotient hereditarily indecomposable (QHI) property if $X/Y$ is hereditarily indecomposable (HI) for any infinite codimensional subspace $Y$ with a successive finite-dimensional decomposition on the basis of $X$. A reflexive space with the restricted QHI property is in particular HI, has HI dual, and is saturated with subspaces which are HI and have HI dual. The following dichotomy theorem is proved: any infinite dimensional Banach space contains a quotient of subspace which either has an unconditional basis, or has the…
If a Banach space has an unconditional basis it either contains a continuum of non isomorphic subspaces or is isomorphic to its square and hyperplanes and satisfies other regularity properties. An HI Banach space contains a continuum of non isomorphic subspaces.
In the first part of our paper, we show that $\ell_\infty$ has a dense linear subspace which admits an equivalent real analytic norm. As a corollary, every separable Banach space, as well as $\ell_1(\mathfrak{c})$, also has a dense linear subspace which admits an analytic renorming. By contrast, no dense subspace of $c_0(ω_1)$ admits an analytic norm. In the second part, we prove (solving in particular an open problem of Guirao, Montesinos, and Zizler) that every Banach space with a long unconditional Schauder basis contains a dense subspace that admits a $C^{\infty}$-smooth norm. Finally, we …
We construct for each $0<p\le 1$ an infinite collection of subspaces of $\ell_p$ that extend the example from [J. Lindenstrauss, On a certain subspace of $\ell_{1}$, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 12 (1964), 539-542] of a subspace of $\ell_{1}$ with no unconditional basis. The structure of this new class of $p$-Banach spaces is analyzed and some applications to the general theory of $\mathcal{L}_{p}$-spaces for $0<p<1$ are provided. The introduction of these spaces serves the purpose to develop the theory of conditional quasi-greedy bases in $p$-Banach spaces for $p<1$…
We show for $2\le p<\infty$ and subspaces $X$ of quotients of $L_{p}$ with a $1$-unconditional finite-dimensional Schauder decomposition that $K(X,\ell_{p})$ is an $M$-ideal in $L(X,\ell_{p})$.
Understanding the complemented subspaces of $L_p$ has been an interesting topic of research in Banach space theory since 1960. 1999, Alspach proposed a systematic approach to classifying the subspaces of $L_p$ by introducing a norm given by partitions and weights. This paper shows that with Alspach Norm we are able to classify some complemented subspaces of $L_p, 2<p<\infty$.
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 consider 1-complemented subspaces (ranges of contractive projections) of vector-valued spaces $\ell_p(X)$, where $X$ is a Banach space with a 1-unconditional basis and $p \in (1,2)\cup (2,\infty)$. If the norm of $X$ is twice continuously differentiable and satisfies certain conditions connecting the norm and the notion of disjointness with respect to the basis, then we prove that every 1-complemented subspace of $\ell_p(X)$ admits a basis of mutually disjoint elements. Moreover, we show that every contractive projection is then an averaging operator. We apply our results to the space $\ell…
Given Banach spaces E and F, we denote by ${\mathcal P}(^k!E,F)$ the space of all k-homogeneous (continuous) polynomials from E into F, and by ${\mathcal P}_{wb}(^k!E,F)$ the subspace of polynomials which are weak-to-norm continuous on bounded sets. It is shown that if E has an unconditional finite dimensional expansion of the identity, the following assertions are equivalent: (a) ${\mathcal P}(^k!E,F)={\mathcal P}_{wb}(^k!E,F)$; (b) ${\mathcal P}_{wb}(^k!E,F)$ contains no copy of $c_0$; (c) ${\mathcal P}(^k!E,F)$ contains no copy of $\ell_\infty$; (d) ${\mathcal P}_{wb}(^k!E,F)$ is complement…
For a Banach space $X$, a sequence of Banach spaces $(Y_n)$, and a Banach space $Z$ with an unconditional basis, D. Alspach and B. Sari introduced a generalization of a Bourgain tree called a $(\oplus_n Y_n)_Z$-tree in $X$. These authors also prove that any separable Banach space admitting a $(\oplus_n Y_n)_Z$-tree with order $ω_1$ admits a subspace isomorphic to $(\oplus_n Y_n)_Z$. In this paper we give two new proofs of this result.