This paper is devoted to providing a unifying approach to the study of the uniqueness of unconditional bases, up to equivalence and permutation, of infinite direct sums of quasi-Banach spaces. Our new approach to this type of problem permits us to show that a wide class of vector-valued sequence spaces have a unique unconditional basis up to a permutation. In particular, solving a problem from [F. Albiac and C. Leránoz, Uniqueness of unconditional bases in nonlocally convex $\ell_1$-products, J. Math. Anal. Appl. 374 (2011), no. 2, 394--401] we show that if $X$ is quasi-Banach space with a strongly absolute unconditional basis then the infinite direct sum $\ell_{1}(X)$ has a unique unconditional basis up to a permutation, even without knowing whether $X$ has a unique unconditional basis or not. Applications to the uniqueness of unconditional structure of infinite direct sums of non-locally convex Orlicz and Lorentz sequence spaces, among other classical spaces, are also obtained as a by-product of our work.
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.
We study random unconditional convergence for a basis in a Banach space. The connections between this notion and classical unconditionality are explored. In particular, we analyze duality relations, reflexivity, uniqueness of these bases and existence of unconditional subsequences.
It is proved that if a Banach space $Y$ is a quotient of a Banach space having a shrinking unconditional basis, then every normalized weakly null sequence in $Y$ has an unconditional subsequence. The proof yields the corollary that every quotient of Schreier's space is $c_o$-saturated.
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 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.
It is shown that any Banach space X of sufficiently large density contains an (infinite) unconditional sequence and a separable quotient. If a density of X is a weakly compact cardinal, then X contains an unconditional sequence of cardinality that is equal to the density of X
We study the existence of Daugavet- and delta-points in the unit sphere of Banach spaces with a $1$-unconditional basis. A norm one element $x$ in a Banach space is a Daugavet-point (resp. delta-point) if every element in the unit ball (resp. $x$ itself) is in the closed convex hull of unit ball elements that are almost at distance $2$ from $x$. A Banach space has the Daugavet property (resp. diametral local diameter two property) if and only if every norm one element is a Daugavet-point (resp. delta-point). It is well-known that a Banach space with the Daugavet property does not have an uncon…
Using the technique of Fraïssé theory, for every constant $K\ge 1$ we consruct a universal object in the class of Banach spaces with normalized $K$-suppression unconditional Schauder bases.
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…
This note contains a corrected proof of the main result (which remains unchanged) from [K-T]. It was recently observed that an argument in a basic technical criterium has a gap.
We construct an indecomposable reflexive Banach space $X_{ius}$ such that every infinite dimensional closed subspace contains an unconditional basic sequence. We also show that every operator $T\in \mathcal{B}(X_{ius})$ is of the form $λI+S$ with $S$ a strictly singular operator.
We construct a Bourgain-Delbaen $\mathscr{L}_\infty$-space $\mathfrak{X}_{Kus}$ with strongly heterogenous structure: any bounded operator on $\mathfrak{X}_{Kus}$ is a compact perturbation of a multiple of the identity, whereas the space $\mathfrak{X}_{Kus}$ is saturated with unconditional basic sequences.
We prove that weakly unconditionally Cauchy (w.u.C.) series and unconditionally converging (u.c.) series are preserved under the action of polynomials or holomorphic functions on Banach spaces, with natural restrictions in the latter case. Thus it is natural to introduce the unconditionally converging polynomials, defined as polynomials taking w.u.C. series into u.c.\ series, and analogously, the unconditionally converging holomorphic functions. We show that most of the classes of polynomials which have been considered in the literature consist of unconditionally converging polynomials. Then w…
We provide a new extension of Pitt's theorem for compact operators between quasi-Banach lattices, which permits to describe unconditional bases of finite direct sums of Banach spaces $\mathbb{X}_{1}\oplus\dots\oplus\mathbb{X}_{n}$ as direct sums of unconditional bases of its summands. The general splitting principle we obtain yields, in particular, that if each $\mathbb{X}_{i}$ has a unique unconditional basis (up to equivalence and permutation), then $\mathbb{X}_{1}\oplus \cdots\oplus\mathbb{X}_{n}$ has a unique unconditional basis too. Among the novel applications of our techniques to the st…
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.
For a Banach space X we define RUMD_n(X) to be the infimum of all c>0 such that (AVE_{ε_k =\pm 1} || \sum_1^n epsilon_k (M_k - M_{k-1} )||_{L_2^X}^2 )^{1/2} <= c || M_n ||_{L_2^X} holds for all Walsh-Paley martingales {M_k}_0^n subset L_2^X with M_0 =0. We relate the asymptotic behaviour of the sequence {RUMD(X)}_{n=1}^{infinity} to geometrical properties of the Banach space X such as K-convexity and superreflexivity.
For every Banach space $Z$ with a shrinking unconditional basis satisfying upper $p$-estimates for some $p > 1$, an isomorphically polyhedral Banach space is constructed having an unconditional basis and admitting a quotient isomorphic to $Z$.
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 $…
Let $A,X,Y$ be Banach spaces and $A\times X\to Y$, $(a,x)\mapsto ax$, be a continuous bilinear function, called a *Banach action*. We say that this action *preserves unconditional convergence* if for every bounded sequence $(a_n)_{n\inω}$ in $A$ and unconditionally convergent series $\sum_{n\inω}x_n$ in $X$ the series $\sum_{n\inω}a_nx_n$ is unconditionally convergent. We prove that a Banach action $A\times X\to Y$ preserves unconditional convergence if and only if for any linear functional $y^*\in Y^*$ the operator $D_{y^*}:X\to A^*$, $D_{y^*}(x)(a)=y^*(ax)$, is absolutely summing. Combining …
We show that every unconditional basis in a finite direct sum $\bigoplus_{p\in A} \ell_p$, with $A\subset (0,\infty]$, splits into unconditional bases of each summand. This settles a 40 year old question raised in [A. Ortyński, Unconditional bases in $\ell_{p}\oplus\ell_{q},$ $0<p<q<1$, Math. Nachr. 103 (1981), 109-116]. As an application we obtain that for any $A\subset (0,1]$ finite, the spaces $Z=\bigoplus_{p\in A} \ell_p$, $Z\oplus \ell_{2}$, and $Z\oplus c_{0}$ have a unique unconditional basis up to permutation.
We prove a structural property of the class of unconditionally saturated separable Banach spaces. We show, in particular, that for every analytic set $\aaa$, in the Effros-Borel space of subspaces of $C[0,1]$, of unconditionally saturated separable Banach spaces, there exists an unconditionally saturated Banach space $Y$, with a Schauder basis, that contains isomorphic copies of every space $X$ in the class $\aaa$.
We prove that if the squares of two unconditional bases are equivalent up to a permutation, then the bases themselves are permutatively equivalent. This settles a twenty year-old question raised by Casazza and Kalton in [Uniqueness of unconditional bases in Banach spaces, Israel J. Math. 103 (1998), 141--175]. Solving this problem provides a new paradigm to study the uniqueness of unconditional basis in the general framework of quasi-Banach spaces. Multiple examples are given to illustrate how to put in practice this theoretical scheme. Among the main applications of this principle we obtain t…
It is proved that there exist complemented subspaces of countable topological products (locally convex direct sums) of Banach spaces which cannot be represented as topological products (locally convex direct sums) of Banach spaces. (This is a revised version of the paper by the same name formerly contained in the file ostrovskiicompsbsp.atx.)
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 prove that if X is any complex separable infinite-dimensional Banach space with an unconditional Schauder decomposition, X supports an operator T which is chaotic and frequently hypercyclic. In contrast with the complex case, we observe that there are real Banach spaces with an unconditional basis which support no chaotic operator.
In this paper, we discuss the role played by additional set-theoretic assumptions in the investigation of the existence of nontrivial twisted sums of $c_0$ and spaces of continuous functions on nonmetrizable compact Hausdorff spaces.
We study the notions of acs, luacs and uacs Banach spaces which were introduced by V. Kadets et al. in 2000 and form common generalisations of the usual rotundity and smoothness properties of Banach spaces. In particular, we are interested in (mainly infinite) absolute sums of such spaces. We also introduce some new classes of spaces that lie inbetween those of acs and uacs spaces and study their behaviour under the formation of absolute sums as well.
Suppose that $X$ is a Banach space. We will show that $X$ does not contain a copy of $c_0$ if and only if for each series which is not unconditionally convergent in $X$ respective sets coding all bounded subseries and rearrangements are meager. We use Bessaga-Pełczy{ń}ski $c_0-$Theorem and concept of uniformly unconditionally bounded series. Moreover we prove similar result for the ideal boundedness for a class of Baire ideals using Talagrand's characterisation.
Let $X$ be a Banach space with separable dual. It is proved that for every $\varepsilon\in (0,1)$, $X$ embeds isometrically into a Banach space $W$ with a shrinking basis $(w_n)$ which is $(1+ \varepsilon)$-monotone. Moreover, if $X$ has further an FDD $(E_n)$ whose strong bimonotonicity projection constant is not larger than $\mathcal{D}$, then $(w_n)$ has strong bimonotonicity projection constant not exceeding $\mathcal{D}(1 +\varepsilon)$. Further, if $(E_n)$ is $\mathcal{C}$-unconditional then $(w_n)$ is $\mathcal{C}(1 + \varepsilon)$-unconditional. The proof uses renorming and skipped blo…
We show that the classification problem for genus n Banach spaces can be reduced to the unconditionally primary case and that the critical case there is n=2. It is further shown that a genus n Banach space is unconditionally primary if and only if it contains a complemented subspace of genus (n-1). We begin the process of classifying the genus 2 spaces by showing they have a strong decomposition property.
We prove that the diametral strong diameter 2 property of a Banach space (meaning that, in convex combinations of relatively weakly open subsets of its unit ball, every point has an "almost diametral" point) is stable under 1-sums, i.e., the direct sum of two spaces with the diametral strong diameter 2 property equipped with the 1-norm has again this property.
The following dichotomy is established for a normalized weakly null sequence in a Banach space: Either every subsequence admits a convex block subsequence equivalent to the unit vector basis of c, the Banach space of null sequences under the supremum norm, or there exists a subsequence which is boundedly convexly complete. This result generalizes J. Elton's dichotomy on weakly null sequences.
A Daugavet-point (resp.~$Δ$-point) of a Banach space is a norm one element $x$ for which every point in the unit ball (resp.~element $x$ itself) is in the closed convex hull of unit ball elements that are almost at distance 2 from $x$. A Banach space has the well-known Daugavet property (resp.~diametral local diameter 2 property) if and only if every norm one element is a Daugavet-point (resp.~$Δ$-point). This paper complements the article "Delta- and Daugavet-points in Banach spaces" by T. A. Abrahamsen, R. Haller, V. Lima, and K. Pirk, where the study of the existence of Daugavet- and $Δ$-po…
We show that a complemented subspace of a locally convex direct sum of an uncountable collection of Banach spaces is a locally convex direct sum of complemented subspaces of countable subsums. As a corollary we prove that a complemented subspace of a locally convex direct sum of arbitrary collection of $\ell_{1}(Γ)$-spaces is isomorphic to a locally convex direct sum of $\ell_{1}(Γ)$-spaces.
We introduce a new diametral notion for points of the unit sphere of Banach spaces, that naturally complements the notion of Delta-points, but is weaker than the notion of Daugavet points. We prove that this notion can be used to provide a new geometric characterization of the Daugavet property, as well as to recover -- and even to provide new -- results about Daugavet points in various contexts such as absolute sums of Banach spaces or projective tensor products. Finally, we show that this notion leads to powerful new ideas for renorming questions, and that those ideas can be combined with pr…
A Banach space $X$ is said to have the ball generated property (BGP) if every closed, bounded, convex subset of $X$ can be written as an intersection of finite unions of closed balls. In 2002 S. Basu proved that the BGP is stable under (infinite) $c_0$- and $\ell^p$-sums for $1<p<\infty$. We will show here that for any absolute, normalised norm $\|\cdot\|_E$ on $\mathbb{R}^2$ satisfying a certain smoothness condition the direct sum $X\oplus_E Y$ of two Banach spaces $X$ and $Y$ with respect to $\|\cdot\|_E$ enjoys the BGP whenever $X$ and $Y$ have the BGP.
In this paper, we introduce the concept of biamenability of Banach algebras and we show that despite the apparent similarities between amenability and biamenability of Banach algebras, they lead to very different, and somewhat opposed, theories. In this regard, we show that commutative Banach algebras such as R and C tend to lack biamenability, while they may be amenable and highly noncommutative Banach algebras such as B(H) for an infinite dimensional Hilbert space H tend to be biamenable, while they are not amenable. Also, we show that although the unconditional unitization of an amenable Ba…
It is shown that every normalized weakly null sequence of length $κ_λ$ in a Banach space has a subsequence of length $λ$ which is an unconditional basic sequence; here $κ_λ$ is a large cardinal depending on a given infinite cardinal $λ$. Transfinite topological games on Banach spaces are analyzed which determine the existence of a long unconditional basic sequence. Then 'asymptotic disentanglement' condition in a transfinite setting is studied which ensures a winning strategy for the unconditional basic sequence builder in the above game. The following problem is investigated: When does a Mark…
It is shown that if a Banach space X has the weak Banach-Saks property and the weak fixed point property for nonexpansive mappings and Y satisfies property asymptotic (P) (which is weaker than the condition WCS(Y)>1), then the direct sum of X and Y endowed with a strictly monotone norm enjoys the weak fixed point property. The same conclusion is valid if X admits a 1-unconditional basis.
We show that if a Banach space X has the weak fixed point property for nonexpansive mappings and Y has the generalized Gossez-Lami Dozo property or is uniformly convex in every direction, then the direct sum of X and Y with a strictly monotone norm has the weak fixed point property. The result is new even if Y is finite-dimensional.
This paper studies Schauder frames in Banach spaces, a concept which is a natural generalization of frames in Hilbert spaces and Schauder bases in Banach spaces. The associated minimal and maximal spaces are introduced, as are shrinking and boundedly complete Schauder frames. Our main results extend the classical duality theorems on bases to the situation of Schauder frames. In particular, we will generalize James' results on shrinking and boundedly complete bases to frames. Secondly we will extend his characterization of the reflexivity of spaces with unconditional bases to spaces with uncond…
We prove that, if Banach spaces $X$ and $Y$ are $δ$-average rough, then their direct sum with respect to an absolute norm $N$ is $δ/N(1,1)$-average rough. In particular, for octahedral $X$ and $Y$ and for $p$ in $(1,\infty)$ the space $X\oplus_p Y$ is $2^{1-1/p}$-average rough, which is in general optimal. Another consequence is that for any $δ$ in $(1,2]$ there is a Banach space which is exactly $δ$-average rough. We give a complete characterization when an absolute sum of two Banach spaces is octahedral or has the strong diameter 2 property. However, among all of the absolute sums, the diame…
We present a reflexive Banach space with an unconditional basis which is quasi-minimal and tight by range, i.e. of type (4) in Ferenczi-Rosendal list within the framework of Gowers' classification program of Banach spaces. The space is an unconditional variant of the Gowers Hereditarily Indecomposable space with asymptotically unconditional basis.
We present a reflexive Banach space with an unconditional basis which is quasi-minimal and tight by range, i.e. of type (4) in Ferenczi-Rosendal list within the framework of Gowers' classification program of Banach spaces, but contrary to the recently constructed space of type (4) also tight with constants, thus essentially extending the list of known examples in Gowers classification program. The space is defined on the base on a boundedly modified mixed Tsirelson space with use of a special coding function.
We study the numerical index of absolute sums of Banach spaces, giving general conditions which imply that the numerical index of the sum is less or equal than the infimum of the numerical indices of the summands and we provide some examples where the equality holds covering the already known case of $c_0$-, $\ell_1$- and $\ell_\infty$-sums and giving as a new result the case of $E$-sums where $E$ has the RNP and $n(E)=1$ (in particular for finite-dimensional $E$ with $n(E)=1$). We also show that the numerical index of a Banach space $Z$ which contains a dense increasing union of one-complemen…
We show that a pseudoconvex open subset of a Banach space with an unconditional basis is biholomorphic to a closed direct submanifold of a Banach space with an unconditional basis.
Generalization of Lyapunov convexity theorem is proved for vector measure with values in Banach spaces with unconditional bases, which are q-concave for some $q<\infty.$
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…
