Kent State University
On the Borel Complexity of some classes of Banach spaces
Bruno de Mendon¸caBraga
Kent, Ohio
July 2013 To anyone that, somehow, enjoy it.
i Acknowledgements:
First of all, I would like to thank my adviser Joe Diestel. I thank him not only for all the beers we had together and the amazing stories he shared but also (and mainly) for all the mathematical help he gave me. Without Joe I would still not even know about the existence of this amazing branch of mathematics, i.e., descriptive set theory and its applications to the geometry of Banach spaces. His advices and guru-like guidance were essential for this dissertation.
I am really happy to say that Kent State University provided me with a great study environment and I thank all the professors I had while a student here. Specially, I would like to thank Prof. Richard Aron for being one of the friendliest people I have ever met, for being always available to help me not only with math but also with random advices, and also for being one of the only people I could practice my (beautiful) Portuguese with.
I would also like to express my sincere gratitude to Kent State University and its depart- ment of mathematics for the financial support they provided me. I also thank all members of my committee for spending their time reading this dissertation.
I cannot forget to thank all my monkey friends and family. Although faraway their sup- port and mere existence were of great importance to me. My vacations back home worked to recharge my body with both love and caipirinhas. I specially thank Pedro Igor and Caio Guimares for all the personal assistance they gave me.
Also, the friends I made here in Kent were essential for my sanity and I sincerely thank them for that. I was able to find some really amazing people in this tiny university town. I thank my officemate, Willian Franca, for all the mathematical brainstorms we had to-
ii gether and for not carrying about an (annoying) officemate listening to loud music all day long.
At last, I thank Masha, the best girlfriend in the world, for all the support and help.
iii “A guy goes to a psychiatrist
and says: ‘Doc, my brother’s
crazy; he thinks he’s a chicken.’
And the doctor says, ‘Well, why
don’t you turn him in?’ The
guy says, ‘I would, but I need
the eggs.’ ”
Alvy Singer quoting
Groucho Marx.
iv Contents
1 Background. 7
1.1 Banach spaces...... 8
1.1.1 Basis and Sequences...... 8
1.1.2 Operators...... 9
1.1.3 Some Classes of Banach Spaces...... 10
1.1.4 Local Theory...... 12
1.2 Descriptive set theory...... 13
1.2.1 Standard Borel spaces...... 13
1.2.2 Trees...... 16
2 Complementability of some ideals in L(X). 19
2.1 Unconditionally Converging Operators...... 19
2.2 Weakly Compact Operators...... 23
3 Geometry of Banach spaces. 28
3.1 Banach-Saks Property...... 28
3.2 Alternating Banach-Saks Property...... 31
3.3 Weak Banach-Saks property...... 35
4 Complementability of some ideals in L(X), Part II. 40
1 CONTENTS
4.1 Banach-Saks Operators...... 40
5 Geometry of Banach spaces, Part II. 43 5.1 Schur Property...... 43 5.2 Dunford-Pettis Property...... 45 5.3 B-convex Banach Spaces...... 46 5.4 Daugavet Property...... 47 5.5 Complete Continuous Property...... 49 5.6 Radon-Nikodym property...... 53 5.7 Analytic Radon-Nikodym property...... 58 5.8 The Equivalence Relation of Isomorphisms...... 59
6 Local Structure of Banach Spaces. 61 6.1 Finite Representability...... 61 6.2 Super Reflexibility...... 63 6.3 Local Unconditional Structure...... 65
7 On the Borel complexity of CP . 68
7.1 Pure classes not cointaining some `p...... 69 7.2 Spaces containing a minimal subspace...... 73
8 Non-Universality Results. 79 8.1 Non-Universality Results...... 79
9 Hausdorff Distance and Openings Between Banach Spaces. 83 9.1 The Hausdorff Distance on F(X)...... 85 9.2 Openings Between Banach Spaces...... 87
2 Preface.
“Happiness is a Banach space.” (Dewitt-Morette and Choquet Bruhat)
Our goal for this dissertation is to study the Borel complexity of certain classes of Ba- nach spaces, hence, these notes lie in the intersection of descriptive set theory and the theory of Banach spaces. With this dissertation we intend to introduce and familiarize the reader with general techniques to compute the Borel complexity of classes of Banach spaces. Therefore, we do not intend to be concise and we take our time making the text as complete as possible for the understanding of the general ideas behind the proofs. With this in mind, we start this dissertation with chapter 1, which is a brief introduction to all the background the reader may need regarding descriptive set theory and the theory of Banach spaces.
In chapter 2, we study two problems related to special classes of operators on separable Banach spaces being complemented in the space of its bounded operators or not. Specifi- cally, we will show that both the set of Banach spaces with its unconditionally converging operators complemented in its bounded operators, and the set of Banach spaces with its weakly compact operators complemented in its bounded operators, are non Borel. The first one is actually complete coanalytic. In both of these problems, we will be using re-
3 CONTENTS sults of [BBG] concerning the complementability of those ideals in its space of all bounded operators and the fact that the space itself contains c0.
Next, in chapter 3, we study the Borel complexity of other classes of Banach spaces, namely, Banach spaces with the so called Banach-Saks property, alternating Banach-Saks property, and weak Banach-Saks property. We show that the first two of them are com- plete coanalytic sets in the class of separable Banach spaces, and that the third one is at
1 least non Borel (it is also shown that the weak Banach-Saks property is at most Σ2). In order to show some of those results we use the geometric sequential characterizations of Banach spaces with the Banach-Saks property and the alternating Banach-Saks property given by B. Beauzamy (see [Be]). The stability under `2-sums of the Banach-Saks prop- erty shown by J. R. Partington ([P]) will also be of great importance in our proofs.
In chapter 4 we revisit the main concern of chapter 2 by studying another problem re- lated to the complementability of an ideal of L(X). Precisely, it is shown that the set of Banach spaces whose set of Banach-Saks operators is complemented in its bounded operators is non Borel. For this, a result by J. Diestel and C. J. Seifert ([DiSe]) that says that weakly compact operators T : C(K) → X, where K is a compact Hausdorff space, are Banach-Saks operators, will be essential.
In chapter 5 we study the Borel complexity of more geometric classes of separable Ba- nach spaces. In order to show that the class of Banach spaces with the Schur property is non Borel we will rely on the stability of this property shown by B. Tanbay ([T]), and, when dealing with the Dunford-Pettis property, the same will be shown using one of its characterizations (see [FLR], and [Fa]) and Tanbay’s result. It is also shown that the
1 Schur property is at least Σ2. After that, we show that both the set of B-convex Banach
4 CONTENTS spaces and the set of Banach spaces with the Daugavet property are Borel sets. For the latter, our proof uses the geometric characterization of the Daugavet property given in [KaSSiW], and [KaW].
Following, we show that the set of separable Banach spaces with the complete continu- ous property (CCP), and the set of Banach spaces with the Radon-Nikodym property (RNP), are complete coanalytic. For this we use characterizations of these properties in terms of the existence of a special kind of bush on the space ([G], [J3]). Also, we show that the analytic Radon-Nikodym property is non Borel.
Chapter 6 is dedicated to the local structure of separable Banach spaces. We show that the set of Banach spaces Y that are finitely representable in a given space X, the set of super reflexive spaces and spaces with local unconditional structure are all Borel. It is also shown that if a property P is Borel then property super-P is at least coanalytic.
Chapter 7 deals with the Borel complexity of CP = {Y ∈ SB|∃Z ∈ P,Z,→ Y }, for some specific classes of Banach spaces P ⊂ SB. Specifically, we show that CP is non Borel if P is the class of minimal spaces, tight spaces, HI spaces, Banach-Saks spaces, alternating Banach-Saks spaces, Schur spaces, B-convex spaces, and infinite dimentional super reflexive Banach spaces.
In chapter 8 we give several applications of the theorems obtained along these notes to non-universality like results. In all the results proven in these notes we will be applying techniques related to descriptive set theory and its applications to the geometry of Banach spaces that can be found in [D], and [S].
5 CONTENTS
At last, in chapter 9, we turn ourselves to a completely different kind of problem, there- fore, this chapter can be read independently from the rest of this dissertation. In this chapter we study the Hausdorff metric in SB2 and several openings (or gaps) between Banach spaces. Our goal in this chapter is to notice that those functions are Borel in re- lation to the Effros-Borel structure and to study the Borel complexity of other distances that are commonly defined on SB.
We would like to point out that this work was highly motivated by two papers. One of them is D. Puglisi’s paper on the position of K(X,Y ) in L(X,Y ), in this paper Puglisi shows that the set of pairs of separable Banach spaces (X,Y ) such that the ideal of compact operators from X to Y is complemented in the bounded operators from X to Y is non Borel (see [Pu]). The second one is M. Ostrovskii’s paper on topologies generated by several openings between Banach spaces and their applications to the geometry of Banach spaces (see [O]).
6 Chapter 1
Background.
“My brain? That’s my second favorite organ.” (Woody Allen)
In this chapter we give all the background the reader may need regarding the theory of Banach spaces and descriptive set theory. For more details on Banach space theory we refer to Sequences and Series in Banach Spaces, by J. Diestel ([Di2]), and Topics in Banach Space Theory, by F. Albiac and N. J. Kalton ([AK]). For more on descriptive set theory we refer to Classical Descriptive Set Theory, by A. Kechris ([Ke]), and we refer to Notes on Descriptive set theory and Applications to Banach Spaces, by Th. Schlumprecht ([S]), for a really good introduction to descriptive set theory focusing on its applications to the geometry of Banach spaces.
7 1.1. BANACH SPACES.
1.1 Banach spaces.
1.1.1 Basis and Sequences.
Given a Banach space X we say that a sequence (xn)n∈N of elements of X is a Schauder basis of X if every element of X can be uniquely written as an infinite linear combi-
N nation of (xn)n∈N, i.e., for all x ∈ X there exist an unique (an)n∈N ∈ R such that x = P a x . If X has a Schauder basis (x ) we can define, for all n ∈ , natural n∈N n n n n∈N N projections P (P a x ) = Pn a x . It can be shown that the norm of those projec- n i∈N i i i=1 i i tions are uniformly bounded ([AK]). If the supremum of these norms is K we say the
Schauder basis (xn)n∈N has basis constant K. The Schauder basis is called monotone if its basis constant is 1, and bimonotone if it is monotone and kId − Pnk = 1, for all n ∈ N, where Id is the identity on X.
A sequence (xn)n∈N is called a basic sequence if it is a Schauder basis for its closed span.
Equivalently (see [AK]), (xn)n∈N is a basic sequence if its elements are not zero and there exists K > 0 such that
k n X X aixi ≤ K aixi , i=1 i=1 for all k, n ∈ N (k ≤ n), and for all a1, ..., an ∈ R. The infimum of the constants K for which the inequality above holds is called the basic constant, if this minimum is 1 the sequence is called monotone.
If a basis (resp. basic sequence) has the property that it remains a basis (resp. basic sequence) no matter how one reorders it, then the basis (resp. basic sequence) is called an unconditional basis (resp. unconditional basic sequence). Equivalently (see [AK]), a sequence (xn)n∈N is unconditional if its elements are not zero and there exists K > 0 such
8 CHAPTER 1. BACKGROUND. that
n n X X aixi ≤ K bixi , i=1 i=1 for all n ∈ N, and all a1, ..., an, b1, ..., bn ∈ R such that |ai| ≤ |bi|, for all i ∈ {1, ..., n}. The infimum of this constants is called the unconditional constant of the sequence. A sequence (x ) is called unconditionally converging if the limit P x exists for all n n∈N n∈N π(n) permutation (reordering) π : N → N. The sequence (xn)n∈N is called weakly uncondition- ally Cauchy (or sometimes weakly unconditionally convergent) if P |f(x )| exists n∈N π(n) for all permutation π and all linear functional f : X → R.
Given two sequences (xn)n∈N and (yn)n∈N we say that they are equivalent if there exists C ≥ 1 such that
k k k 1 X X X aixi ≤ aiyi ≤ C aixi , C i=1 i=1 i=1 for all k ∈ N, and all a1, ..., ak ∈ R.
1.1.2 Operators.
We denote by L(X) the space of bounded linear operators from X to itself endowed with the supremum norm. It is standard that L(X) is a Banach space with this norm. In this dissertation we will be interested in operator ideals of L(X) and when those ideals are complemented in L(X). Precisely, a subset I ⊂ L(X) is called an operator ideal (or just an ideal) if it contains the compact operators (i.e., operators that carries bounded sets into relatively compact sets) and if, for all T ∈ I and all A ∈ L(X), we have A ◦ T ∈ I and T ◦ A ∈ I. It is easy to see that the set of compact operators (we denote it by K(X)) is the smallest of the ideals and L(X) the biggest.
9 1.1. BANACH SPACES.
We say that an operator T : X → Y is unconditionally converging (see [Pe]) if it maps weakly unconditionally Cauchy series into unconditionally converging series, T is said to be weakly compact if it maps bounded sets into relatively weakly compact sets. We denote by U(X) and W(X) the set of unconditionally converging and weakly compact operators from X to itself, respectively. Both of these sets lie in L(X), and it is easy to see that both U(X) and W(X) are ideals of L(X).
Another important operator ideal is the ideal of strictly singular operators. Those op- erators will be essential in some of the main proofs in this dissertation. An operator
T : X → Y is said to be strictly singular if T|E is not an isomorphism onto its image, for all infinite dimensional subspace E ⊂ X.
1.1.3 Some Classes of Banach Spaces.
A Banach space X is said to have the Banach-Saks property if every bounded sequence
−1 Pn (xn)n∈N in X has a subsequence (xnk )k∈N such that its Cesaro mean n k=1 xnk is norm convergent. A Banach space X is said to have the alternating Banach-Saks property if every bounded sequence (xn)n∈N in X has a subsequence (xnk )k∈N such that its alternating- −1 Pn k signs Cesaro mean n k=1(−1) xnk is norm convergent. A Banach space is said to have the weak Banach-Saks property if every weakly null sequence has a subsequence such that its Cesaro mean is norm convergent to zero. The weak Banach-Saks property if often called Banach-Saks-Rosenthal property.
Given two isomorphic Banach spaces X and Y , we define the Banach-Mazur distance D(X,Y ) between X and Y as the infimum of all the quantities kT kkT −1k, where T varies among all the isomorphisms between X and Y . A Banach space X is called B-convex if
10 CHAPTER 1. BACKGROUND.
n lim inf{D(Xn, `1 )|Xn is a n-dimensional subspace of X} = ∞, n→∞
n n n Pn where `1 is the n-dimensional space R endowed with the `1-norm k(xk)k=1k1 = k=1 |xk|. We denote the set of Banach spaces with the Banach-Saks property, the set of Banach spaces with the alternating Banach-Saks property, and the set of Banach spaces with the weak Banach-Saks property, by BS, ABS, and WBS, respectively. One can see that the inclusions BS ⊂ ABS ⊂ WBS hold (see [Be]). We denote the set of B-convex spaces by BC.
An operator T ∈ L(X) that carries bounded sequences into sequences with convergent Cesaro mean subsequences is called a Banach-Saks operator. We denote by BS(X) the set of all Banach-Saks operators from X to itself. It is easy to see that BS(X) is an operator ideal.
An operator T : X → Y between two Banach spaces is said to be completely continuous (or Dunford-Pettis) if it carries weak-compact sets into norm-compact sets. A Banach space X is said to have the complete continuous property if every operator from L1[0, 1] to X is completely continuous. A Banach space X is said to have the Dunford-Pettis property if for all Banach spaces Y every weakly compact operator T : X → Y is com- pletely continuous. A Banach space X has the Daugavet property if every rank-1 operator T : X → X satisfies kId + T k = 1 + kT k.
We say that a Banach space X has the Schur property if every weakly convergent sequence of X is norm convergent. A classical example of a Schur space is `1 (see [AK]).
A Banach space X is said to have the Radon-Nikodym property if for any totally finite
11 1.1. BANACH SPACES. positive measure space (Y, Σ, µ) and any X-valued µ-continuous measure m on Σ, with
1 R |m|(X) < ∞, there exists f ∈ LX (Y, Σ, µ) such that m(E) = E fdµ, for all E ∈ Σ. A complex Banach space X has the analytic Radon-Nikodym property if every X-valued measure of bounded variation, defined on the Borel subsets of T = {z ∈ C||z| = 1}, whose negative Fourier coefficients vanish, has a Randon-Nikodym Bochner integral derivative with respect to the Lebesgue measure on T.
1.1.4 Local Theory.
A Banach space Y is said to be finitely representable in a Banach space X if for all ε > 0, and each finite dimensional subspace E ⊂ Y , there exists a finite dimensional subspace F ⊂ X and an isomorphism u : E → F such that kukku−1k < 1 + ε. In other words, Y is finitely representable in X if for all ε > 0, and each finite dimensional subspace E ⊂ Y , one can find a subspace F ⊂ X such that the Banach-Mazur distance between E and F is smaller than 1 + ε.
A Banach space X is called super reflexive if every Banach space Y that is finitely rep- resentable in X is reflexive. P. Enflo had shown in [E] that a Banach space X is super reflexive if, and only if, there exists an equivalent uniformly convex norm on X, i.e., if for all ε > 0 there exists δ > 0 such that kx−yk ≥ ε implies kx+yk/2 ≤ 1−δ, for all x, y ∈ SX .
A Banach space X is said to have local unconditional structure (or l.u.st.) if there exists λ > 0 such that for each finite dimensional Banach space E ⊂ X there exists a finite di- mensional space F with an unconditional basis and operators u : E → F , and w : F → X such that w ◦ u = Id|E, and ub(F )kukkwk ≤ λ, where ub(F ) is an unconditional constant for F . Notice that a complemented subspace of a space with l.u.st. clearly has l.u.st..
12 CHAPTER 1. BACKGROUND.
1.2 Descriptive set theory.
1.2.1 Standard Borel spaces.
A separable metric space is said to be a Polish space if there exists an equivalent metric in which it is complete. A continuous image of a Polish space into another Polish space is called an analytic set and a set whose complement is analytic is called coanalytic.A measure space (X, A), where X is a set and A is a σ-algebra of subsets of X, is called a standard Borel space if there exists a Polish topology on this set whose Borel σ-algebra coincides with A. We define Borel, analytic and coanalytic sets in standard Borel spaces by saying that these are the sets that, by considering a compatible Polish topology, are Borel, analytic, and coanalytic, respectively. Observe that this is well defined, i.e., this definition does not depend on the Polish topology itself but on its Borel structure.
A function between two standard Borel spaces is called Borel measurable if the inverse image of each Borel subset of its codomain is Borel in its domain. We usually refer to Borel measurable functions just as Borel functions. Notice that, if you consider a Borel function between two standard Borel spaces, its inverse image of analytic sets (resp. co- analytic) is analytic (resp. coanalytic) (see [S]).
Given a Polish space X the set of analytic (resp. coanalytic) subsets of X is denoted by
1 1 1 1 Σ1(X) (resp. Π1(X)). Hence, the terminology Σ1-set (resp. Π1-set) is used to refer to analytic sets (resp. coanalytic sets).
Let X be a standard Borel space. An analytic (resp. coanalytic) subset A ⊂ X is said
13 1.2. DESCRIPTIVE SET THEORY. to be complete analytic (resp. complete coanalytic) if for all standard Borel space Y and all B ⊂ Y analytic (resp. coanalytic), there exists a Borel function f : Y → X such that f −1(A) = B. This function is called a Borel reduction from B to A, and B is said to be Borel reducible to A.
1 1 Let X be a standard Borel space. We call a subset A ⊂ X Σ1-hard (resp. Π1-hard) if for all standard Borel space Y and all B ⊂ Y analytic (resp. coanalytic) there exists a Borel
1 1 reduction from B to A. Therefore, to say that a set A ⊂ X is Σ1-hard (resp. Π1-hard)
1 1 means that A is at least as complex as Σ1-sets (resp. Π1-sets) in the projective hierarchy. With this terminology we have that A ⊂ X is complete analytic (resp. complete coana-
1 1 lytic) if, and only if, A is Σ1-hard (resp. Π1-hard) and analytic (resp. coanalytic).
1 As there exist analytic non Borel (resp. coanalytic non Borel) sets we have that Σ1-hard
1 (resp. Π1-hard) sets are non Borel. Also, if X is a standard Borel space, A ⊂ X, and there
1 1 exists a Borel reduction from a Σ1-hard (resp. Π1-hard) subset B of a standard Borel
1 1 space Y to A, then A is Σ1-hard (resp. Π1-hard). If A is also analytic (resp. coanalytic), then A is complete analytic (resp. complete coanalytic). We refer to [S] and [Ke] for more on complete analytic and coanalytic sets. Complete analytic sets (resp. complete
1 1 coanalytic sets) are also called Σ1-complete sets (resp. Π1-complete).
Consider a Polish space X and let F(X) be the set of all its non empty closed sets. We endow F(X) with the Effros-Borel structure, i.e., the σ-algebra generated by
{F ⊂ X|F ∩ U 6= ∅}, where U varies among the open sets of X. It can be shown that F(X) with the Effros- Borel structure is a standard Borel space ([Ke]). The following well-known lemma (see
14 CHAPTER 1. BACKGROUND.
[Ke]) will be crucial in some of our proofs.
Lemma 1. Let X be a Polish space. There exists a sequence of Borel functions (Sn)n∈N :
F(X) → X such that {Sn(F )}n∈N is dense in F , for all closed F ⊂ X.
In this dissertation we will only work with separable Banach spaces. We denote the closed unit ball of a Banach space X and its unit sphere by BX and SX , respectively. It is well known that every separable Banach space is isometrically isomorphic to a closed linear subspace of C(∆) (see [Ke]), where ∆ denotes the Cantor set. Therefore, C(∆) is called universal for the class of separable Banach spaces and we can code the class of separable Banach spaces, denoting it by SB, by SB = {X ⊂ C(∆)|X is a closed linear subspace of C(∆)}. As C(∆) is clearly a Polish space we can endow F(C(∆)) with the Effros-Borel structure. It can be shown that SB is a Borel set in F(C(∆)) and hence it is also a standard Borel space (see [S]). It now makes sense to wonder if specific sets of separable Banach spaces are Borel or not.
Throughout these notes we will denote by {Sn}n∈N the sequence of Borel functions Sn : SB → C(∆) given by lemma 1 (more precisely, the restriction of those functions to SB).
Hence, for all X ∈ SB, {Sn(X)}n∈N is dense in X. Also, letting
S (X), if S (X) 6= 0 0 n n Sn(X) = , Smin{m∈N|Sm(X)6=0}(X), if Sn(X) = 0
˜ 0 0 we obtain that Sn(X) = S (X)/kS (X)k is dense in SX for each X ∈ SB. Clearly, n n n∈N ˜ each Sn : SB → SC(∆) is also Borel (see [S]).
15 1.2. DESCRIPTIVE SET THEORY.
1.2.2 Trees.
Denote by N a < N N topology. If we think about Tr as a subset of 2 it is easy to see that Tr is a Gδ set in < < < 2N N ([Ke]). Thus, it is also Borel in 2N N . As Tr is Borel in the Polish space 2N N we know N that Tr is a standard Borel space ([Ke]). A β ∈ N is called a branch of a tree T if β|i ∈ T , for all i ∈ N, where β|i is defined analogously as above. We call a tree T well-founded if T has no branches and ill-founded otherwise, we denote the set of well-founded and ill-founded trees by WF and IF, respectively. It is well known that WF is a complete coanalytic set of Tr, hence IF is complete analytic (see [S]). We denote the set of trees with finite length by FTr, i.e., FTr = {T ∈ Tr|∃n ∈ N, s ∈ T implies |s| ≤ n}. This set is easily seen to be Borel. Indeed, we have [ \ FTr = {T ∈ Tr|s∈ / T }. < n s∈N N |s|>n There is a really important index that can be defined on the set of trees called the order index of a tree. For a given tree T ∈ Tr we define the derived tree of T as 16 CHAPTER 1. BACKGROUND. T 0 = {s ∈ T |∃t ∈ T, s < t}. By transfinite induction we define (Tξ)ξ∈ON, where ON denotes the ordinal numbers, as follows T α = (T β)0, if α = β + 1, for some β ∈ ON, \ T α = T β, if α is a limit ordinal. β<α We now define the order index on Tr. If there exists an ordinal number α < ω1, where ω1 denotes the smallest uncountable ordinal, such that T α = ∅ we say the order index of T α is o(T ) = min{α < ω1| T = ∅}. If there is no such countable ordinal we set o(T ) = ω1. The reason why we introduce this index is because of the way it interacts with the notion of well-founded and ill-founded trees. We have the following easy proposition. Proposition 2. A tree T ∈ Tr on the natural numbers is well-founded if, and only if, its order index is countable, i.e., if, and only if, o(T ) < ω1. Proposition 3. Let T ∈ WF with o(T ) > 1, then o(T (k)) < o(T ), for all k ∈ N. θ Let θ ∈ Tr. We define c00(θ) = {(as)s∈θ ∈ R |as 6= 0 for finitely many s ∈ θ}. We denote by (es)s∈θ the standard unit basis of c00(θ). Now we introduce a very useful way to construct a Borel ϕ : Tr → SB. Let (xn)n∈N be a basic sequence in a separable Banach space X. Pick θ ∈ Tr and p ∈ [1, ∞). We define a norm on c00(θ) as follows: For each x ∈ c00(θ), let 17 1.2. DESCRIPTIVE SET THEORY. n 1 n X X p p o kxkθ = sup x(s)x|s| X | n ∈ N,I1, ..., In incomparable segments of θ , i=1 s∈Ii where k.kX is the X norm. Define ϕ(θ) to be the completion of c00(θ) under the norm Proposition 4. ϕ : Tr → SB is a Borel function. The same is true if we define k.kθ as n X o kxkθ = sup x(s)x|s| X | I segment of θ . s∈I For now on, every time we define a function on Tr as the completion of c00(θ) under one of those norms we will be considering an isometry of ϕ(N Now that we’ve seen all the background we need in order to understand our results and their proofs let’s start with the real math. 18 Chapter 2 Complementability of some ideals in L(X). “” (M. Gromov’s answer to my email) In this chapter we deal with operator ideals and whether they are complemented or not in L(X). 2.1 Unconditionally Converging Operators. ⊥ Let X and Y be Banach spaces. We write Y ,−→ X if Y is isomorphic to a complemented subspace of X. ⊥ Theorem 5. Let U = {X ∈ SB|U(X) ,−→ L(X)}, where U(X) is the set of uncondition- ally convergent operators on X. Then U is complete coanalytic. Proof. In order to show this we only need to use that U(X) is complemented in L(X) if, and only if, c0 does not embed in X (see [BBG], pag. 452). Therefore, U = NCc0 (where 19 2.1. UNCONDITIONALLY CONVERGING OPERATORS. NCX = {Y ∈ SB|X 6,→ Y }, for X ∈ SB), which is well known to be non Borel (complete coanalytic actually, see [Bo]), so there is nothing to be done. However, as the proof of this fact will give us a lemma that will be crucial in the proof of many other theorems in these notes, we believe it is worth revisiting this result. −1 Let’s define a Borel function ϕ : Tr → SB such that ϕ (U) = WF. Let (en)n∈N be the standart basis of c0. For each θ ∈ Tr and x ∈ c00(θ) we define n 1 n X X 2 2 o kxk = sup x(s)e|s| | n ∈ ,I1, ..., In incomparable segments of θ , θ c0 N i=1 s∈Ii where k.kc0 is the norm of c0. Now we define ϕ(θ) as the completion of c00(θ) under the norm k.kθ. Let’s now show that ϕ works as we want. ∼ If θ ∈ IF it’s clear that c0 ,→ ϕ(θ). Indeed, let β be a branch of θ, then c0 = ϕ(β) ,→ ϕ(θ), where by ϕ(β) we mean ϕ applied to the tree {s ∈ N The only thing left to show is that if θ ∈ WF, then c0 does not embed in ϕ(θ). For this we will proceed by induction on the order of θ. If o(θ) = 1 the result is clear. Indeed, in this case θ = {∅}, so ϕ(θ) is one dimensional. Assume c0 6,→ ϕ(θ) for all θ ∈ WF with o(θ) < α, for some α < ω1. Fix θ ∈ WF with o(θ) = α. Let Λ = {λ ∈ N|(λ) ∈ θ} and enumerate Λ, say Λ = {λi|i ∈ N}. For each λ ∈ Λ, let θλ = {s ∈ θ|(λ) ≤ s}. As θ ∈ WF Proposition 3 gives us n [ o θ(λj) < o(θ) = α, ∀n ∈ N. j=1 20 CHAPTER 2. COMPLEMENTABILITY OF SOME IDEALS IN L(X). Sn Our induction hypothesis implies that c0 6,→ ϕ( j=1 θ(λj)), for all n ∈ N. Therefore, Sn Sn as ϕ( j=1 θλj ) is a direct sum of ϕ( j=1 θ(λj)) with a finite dimensional space, c0 6,→ Sn ϕ( j=1 θλj ), for all n ∈ N. Consider now the projections n [ Pλn : ϕ(θ) → ϕ θλj j=1 (as)s∈θ → (as) Sn . s∈ j=1 θλj ∼ Say E is a subspace of ϕ(θ). Assume E = c0 and let’s find a contradiction. Sj Case 1: ∃j ∈ N such that Pλj : E → ϕ( i=1 θλi ) is not strictly singular. ˜ Then there exists an infinite dimensional subspace E ⊂ E such that Pλj |E˜ is an isomor- Sj phism. As E is minimal, this implies c0 ,→ ϕ( i=1 θλi ), absurd. Sj Case 2: Pλj : E → ϕ( i=1 θλi ) is strictly singular, for all j ∈ N. Claim: ∃(xn)n∈N a normalized sequence in E such that Pλj (xn) → 0, as n → ∞, ∀j ∈ N. Indeed, by a well-known consequence of the definition of strictly singular operators, for j j all j ∈ N, there exists a normalized sequence (xn)n∈N such that kPλj (xn)k < 1/n, for all j n n ∈ N. Let (xn)n∈N be the diagonal sequence of the sequences (xn)n∈N, i.e., xn = xn, for all n ∈ N. As, i ≤ j implies kPλi (x)k ≤ kPλj (x)k, for all x ∈ E,(xn)n∈N has the required property. Say (εi)i∈N is a sequence of positive numbers converging to zero. Using the claim above 21 2.1. UNCONDITIONALLY CONVERGING OPERATORS. and the fact that Pλj (x) → x, as n → N, for all x ∈ ϕ(θ), we can pick increasing sequences of natural numbers (nk)k∈N and (lk)k∈N such that i) kPλ (xn ) − xn kθ < εk, for all k ∈ , and lk k k N ii) kPλ (xn )kθ < εk, for all k ∈ . lk k+1 N For all k ∈ , let yk = Pλ (xn ) − Pλ (xn ). Choosing εk small enough we can assume N lk k lk−1 k 2 1 kykkθ ∈ ( 2 , 2). It’s easy to see that (yk)k∈N is equivalent to (˜ek)k∈N, where (˜ek)k∈N is the standard `2-basis. Indeed, pick a1, ..., aN ∈ R, then N N N N N 1 X X X X 2 X |a |2 ≤ ka y k2 = k a y k2 = ka y k ≤ 2 |a |2, 2 i i i θ i i θ i i θ i i=1 i=1 i=1 i=1 i=1 where the equalities above only hold because the supports of (yk)k∈N are completely incomparable. Therefore, by choosing (εk)k∈N converging to zero fast enough, the principle of small perturbations (see [AK]) gives us that (xnk )k∈N is equivalent to (yk)k∈N ∼ (˜ek)k∈N, ∼ absurd. Indeed, this would imply `2 ,→ E = c0. The proof above actually gives us a stronger result, which will be essential in many of the proofs in these notes. We have the following: Lemma 6. Let X ∈ SB be a minimal Banach space and assume X does not contain `p, p ∈ [1, ∞). Say Y ⊂ X is a subspace with basis (en)n∈N. For each θ ∈ Tr, and each x ∈ c00(θ), define n 1 n X X p p o kxkθ = sup x(s)e|s| Y | n ∈ N,I1, ..., In incomparable segments of θ , i=1 s∈Ii 22 CHAPTER 2. COMPLEMENTABILITY OF SOME IDEALS IN L(X). where k.kY stands for the norm of Y . If we define a function ϕ : Tr → SB by letting ϕ(θ) be the completion of c00(θ) under the norm k.kθ we have that X,→ ϕ(θ) if, and only if, θ ∈ IF. An analogous result holds if k.kθ is defined as n X o kxkθ = sup x(s)e|s| Y | I segment of θ , s∈I and we assume c0 6,→ X. If we forget the condition Y ⊂ X we still have that X 6,→ ϕ(θ), for all θ ∈ WF. 2.2 Weakly Compact Operators. We say that an operator T : X → Y is weakly compact if it maps bounded sets into relatively weakly compact sets. ⊥ Theorem 7. Let W = {X ∈ SB|W(X) ,−→ L(X)}, where W(X) is the set of weakly 1 compact operators on X. Then W is Π1-hard. In particular, W is non Borel. Proof. In order to show this we will use another result of [BBG] (pag. 450). In this paper it is shown that if c0 ,→ X, then W(X) is not complemented in L(X). Let ϕ : Tr → SB be as in the proof of theorem 5 for X = c0 and (en)n∈N the standard c0-basis. Let’s ob- −1 serve that ϕ (W) = WF, and we will be done. If θ ∈ IF we saw that c0 ,→ ϕ(θ), hence ϕ(θ) ∈/ W. Let’s show that if θ ∈ WF, then ϕ(θ) is reflexive, which implies ϕ(θ) ∈ W. Indeed, a Banach space is reflexive if and only if its unit ball is weakly compact, therefore W(X) = L(X). The statement that ϕ carries WF into reflexive spaces can be found (as well as part of its proof) in [S]. But for the seek of completeness of these notes and as this result will give us a lemma that will be crucial when computing the Borel complexity of both the 23 2.2. WEAKLY COMPACT OPERATORS. Radon-Nikodym property and the complete continuous property, we believe it is worth showing its complete proof here. Let (si)i∈N be a compatible enumeration of θ, i.e., si ≤ sj implies i ≤ j. Notice that (esi )i∈N is a basis for ϕ(θ), where each esi denotes the vector in ϕ(θ) with coordinate si being 1 and 0 elsewhere. This base is clearly bimonotone, which implies the biorthogonal functionals (e∗ ) are also a bimonotone basis for their closed span (see [AK]). si i∈N By a now-classical result of R. C. James ([J]), a Banach space with a Schauder basis is reflexive if, and only if, it has a basis that is both boundedly complete and shrinking. Hence, it is enough to show that the basis (esi )si∈θ of ϕ(θ) is both boundedly complete and shrinking. We start by showing that (esi )si∈θ is boundedly complete. For this let’s proceed by transfinite induction on the order of θ. If o(θ) = 1 the result is trivial. Assume (esi )si∈θ is boundedly complete for all θ ∈ WF of order smaller than α < ω1. Fix θ ∈ WF with o(θ) = α. Consider (as)s∈θ ∈ c00(θ) with a∅ = 0, then X 2 k aseskθ = N n X X 2 o = sup ase|s| | n ∈ ,I1, ..., In incomparable segments of θ c0 N i=1 s∈Ii N X n X X 2 o = sup ase|s| | n ∈ ,I1, ..., In incomparable segments of θ c0 N k i=1 s∈Ii∩θk X X 2 = ases θ k s∈θk Now say (asi )i∈N is a sequence of real numbers with the property that as1 = a∅ = 0 and PN supN k i=1 asi esi kθ < ∞. As θ is well-founded Proposition 3 implies that o(θ(k)) < o(θ) = α, for all k ∈ N. Hence, our inductive hypothesis together with the equation above 24 CHAPTER 2. COMPLEMENTABILITY OF SOME IDEALS IN L(X). implies that X asi esi exists for all k ∈ N. i∈N si∈θk The equation above also implies that, for all ε > 0, there exists n0 ∈ N such that, for n > n0, ∞ ∞ 2 X X 2 ε asi esi < , θ 2 k=n i=1 si∈θk There exists n1 ∈ N such that m ≥ n ≥ n1 implies m 2 X 2 ε asi esi < , for all k ≤ n0. θ 2n i=n 0 si∈θk Putting all of this together we have that, for all m ≥ n ≥ n1, m m X 2 X X 2 asi esi θ = asi esi θ i=n k∈N i=n si∈θk n0 m ∞ ∞ X X 2 X X 2 ≤ asi esi θ + asi esi θ k=1 i=n k=n0+1 i=1 si∈θk si∈θk ε2 ε2 ≤ + = ε2. 2 2 Notice that here we used the fact that our basis is bimonotone. We just showed that, Pm for all ε > 0, there exists n1 ∈ N such that m ≥ n ≥ n1 implies k i=n asi esi kθ < ε, thus (esi )si∈θ is boundedly complete. We now show that (esi )si∈θ is shrinking. Again, let’s proceed by transfinite induction on the order of θ. If o(θ) = 1 the result is trivial. Assume (esi )si∈θ is shrinking for all θ ∈ WF of order smaller than α < ω1. Fix θ ∈ WF 25 2.2. WEAKLY COMPACT OPERATORS. with o(θ) = α. Consider (as)s∈θ ∈ c00(θ) with a∅ = 0. X ∗ X ∗ X ases = sup ases bses θ P θ k bsesk≤1 X = sup | asbs| P k asesk≤1 X X = sup | asbs| P k asesk≤1 k∈N s∈θk X X = sup sup | asbs| P (cn)∈B` k bsesk≤ck 2 k∈N s∈θk X X ∗ = sup ck ases θ (cn)∈B` 2 k∈N s∈θk 1 X X ∗ 2 2 = k aseskθ k s∈θk It’s well known that (e ) is shrinking if, and only if, (e∗ ) is boundedly complete si si∈θ si si∈θ (see [AK]). We show (e∗ ) is boundedly complete. Consider (a ) a sequence of real si si∈θ si i∈N numbers such that a = a = 0 and supk PN a e∗ k < ∞. The equation above implies s1 ∅ i=1 si si θ N X X ∗ 2 ases θ < ∞. k∈N i∈N si∈θk So, for all ε > 0, there exists n0 ∈ N such that ∞ 2 X X ∗ 2 ε asi e < , for all n ≥ n0. si θ 2 k=n i∈Nsi∈θk By our inductive hypothesis, there exists n1 ∈ N such that m ≥ n ≥ n1 implies m 2 X ∗ 2 ε asi e < , for all k ≤ n0. si θ 2n i=n 0 si∈θk Therefore, if m ≥ n ≥ n1, we have 26 CHAPTER 2. COMPLEMENTABILITY OF SOME IDEALS IN L(X). m m X 2 X X 2 a e∗ = a e∗ si si θ s s θ i=n k i=n s∈θk n0 m ∞ ∞ X X ∗ 2 X X ∗ 2 ≤ ases θ + ases θ k=1 i=n k=n0+1 i=1 s∈θk s∈θk ε2 ε2 ≤ + = ε2, 2 2 ∗ here we use the fact that (es)s∈θ is bimonotone. We are now done. The proof above actually gives us the following lemma, that will be really useful for us later on. Lemma 8. Let X be a Banach space with basis (en)n∈N, and norm k.kX . Let p ∈ (1, ∞). For each θ ∈ Tr and x ∈ c00(θ) we define n 1 n X X p p o kxkθ = sup x(s)e|s| X | n ∈ N,I1, ..., In incomparable segments of θ , i=1 s∈Ii and let ϕ(θ) be the completion of c00(θ) under the norm k.kθ. Then, if θ ∈ WF, we have that ϕ(θ) is reflexive. Problem 9. Is W coanalytic? If yes, we had shown that W is complete coanalytic. 27 Chapter 3 Geometry of Banach spaces. “With great power comes great responsibility.” (Ben Parker) In this chapter we study the Borel complexity of the Banach-Saks property, the alternating Banach-Saks property and the weak Banach-Saks property. 3.1 Banach-Saks Property. A Banach space X is said to have the Banach-Saks property if every bounded sequence −1 Pn (xn)n∈N in X has a subsequence (xnk )k∈N such that its Cesaro mean n k=1 xnk is norm convergent. In this section we show that the class of separable Banach spaces having the Banach-Saks property is complete coanalytic. For this we use a characterization of this property given by B. Beauzamy in [Be] (pag. 373). Beauzamy characterized not having the Banach-Saks property in terms of the existence of a sequence satisfying some geometrical inequality. 28 CHAPTER 3. GEOMETRY OF BANACH SPACES. Precisely: Theorem 10. A X ∈ SB does not have the Banach-Saks property if, and only if, there exist ε > 0 and a sequence (xn)n∈N in BX such that, for all subsequences (xnk )k∈N, ∀m ∈ N, and ∀` ∈ {1, ..., m}, the following holds ` m 1 X X ( xn − xn ) ≥ ε. m k k k=1 k=`+1 Theorem 11. BS is coanalytic in SB. Proof. In order to show that BS is coanalytic we construct a Borel function ϕ : SB → Tr such that ϕ−1(WF) = BS, as WF is coanalytic we will be done. Pick ε > 0 and X ∈ SB. 0 Let’s associate a tree TBS(X, ε) on X to the pair (X, ε) in the following manner, for all n finite sequences (xk)k=1 in BX , n 0 (xk)k=1 ∈ TBS(X, ε) ⇔∀n1 < ... < nm ≤ n, ∀` ∈ {1, ..., m}, ` m 1 X X ( xn − xn ) ≥ ε m k k k=1 k=`+1 0 It is clear, by theorem 10, that X does not have the BS property if, and only if, TBS(X, ε) 0 (Sn)n∈N be the sequence of Borel maps given by lemma 1 for X = C(∆). Given X ∈ SB n n 0 (nk)k=1 ∈ TBS(X, ε) ⇔ (Snk (BX ))k=1 ∈ TBS(X, ε). As {Sn(BX )}n∈N is dense in BX , for all X ∈ SB, standard approximation arguments imply that X does not have the BS property if, and only if, TBS(X, ε) is ill-founded for some ε. 29 3.1. BANACH-SAKS PROPERTY. a n 1 (m)a(n )n ∈ T (X) ⇔ (n )n ∈ T X, . k k=1 BS k k=1 BS m It is clear that X/∈ BS if, and only if, TBS(X) is ill-founded. Therefore, we had just defined the ϕ : SB → Tr we wanted. We only need to observe ϕ is Borel and we will be ` m \ n 1 X X o {X ∈ SB|s ∈ T (X)} = X ∈ SB| ( Sn (BX ) − Sn (BX )) ≥ ε , m k k n1<... 1 P` and we are done. Indeed, as Sn is Borel, ∀n ∈ N, the set {X ∈ SB|k m ( k=1 Snk (BX ) − Pm k=`+1 Snk (BX ))k ≥ ε} is Borel. The previous theorem shows that BS is at least coanalytic in SB, but it doesn’t say anything about BS being Borel or not. The next theorem takes care of this by showing that coanalyticity is the most we can get of BS in relation to its Borel complexity. 1 Theorem 12. BS is Π1-hard. In particular, BS is non Borel. Proof. For this we construct a Borel function ϕ : Tr → SB such that ϕ−1(BS) = WF, as 1 WF is Π1-hard this will suffice. For each θ ∈ Tr and x ∈ c00(θ) define n 1 n X X 2 2 o kxkθ = sup x(s)e|s| | n ∈ ,I1, ..., In incomparable segments of θ , `1 N i=1 s∈Ii where (en)n∈N is the standard `1-basis and k.k`1 is its norm. We define ϕ(θ) as the com- 30 CHAPTER 3. GEOMETRY OF BANACH SPACES. pletion of c00(θ) under the norm k.kθ. If θ ∈ IF we clearly have `1 ,→ ϕ(θ). Indeed, if β ∼ is a branch of θ we have ϕ(β) = `1. As `1 ,→ ϕ(θ) and `1 is clearly not in BS (take its standard basis for example, it clearly doesn’t have a subsequence with norm converging Cesaro mean) we conclude that ϕ(θ) ∈/ BS. Let’s show that if θ ∈ WF, then ϕ(θ) ∈ BS. We proceed by transfinite induction on the order of θ ∈ WF. Say o(θ) = 1, then ϕ(θ) is 1-dimensional and we are clearly done. Assume ϕ(θ) ∈ BS, for all θ ∈ WF with o(θ) < α, for some α < ω1. Pick θ ∈ WF with o(θ) = α, let’s show that ϕ(θ) ∈ BS. Let Λ = {λ ∈ N|(λ) ∈ θ}. As θ ∈ WF, Proposition 3 gives us o θ(λ) < o(θ) = α, ∀λ ∈ Λ. Our induction hypothesis implies that ϕ(θ(λ)) ∈ BS, for all λ ∈ Λ. Now, notice that ∼ M ϕ(θ) = R ⊕ ϕ(θ(λ)) , `2 λ∈Λ where we get the R above because of the coordinate related to s = ∅ ∈ θ. By J. R. Partington’s result in [P] (pag. 370), we have that the `2-sum of spaces in BS is also L in BS. Hence, ( λ∈Λ ϕ(θ(λ)))`2 is in BS and conclude that ϕ(θ) ∈ BS. The transfinite induction is now over, and so is our proof. Theorem 13. BS is complete coanalytic. 3.2 Alternating Banach-Saks Property. A Banach space X is said to have the alternating Banach-Saks property if every bounded sequence (xn)n∈N in X has a subsequence (xnk )k∈N such that its alternating-signs Cesaro 31 3.2. ALTERNATING BANACH-SAKS PROPERTY. −1 Pn k mean n k=1(−1) xnk is norm convergent. In this section, instead of looking at the Banach-Saks property, we study Banach spaces that have the alternating Banach-Saks property. More precisely, we show that the class of separable Banach spaces having the alternating Banach-Saks property is complete coanalytic. For this we use a characterization of this property given by B. Beauzamy in [Be] (pag. 369). Beauzamy characterized not having the alternating Banach-Saks property in terms of the existence of a sequence satisfying some geometrical relation. Precisely: Theorem 14. A X ∈ SB does not have the alternating Banach-Saks property if, and only if, there exist ε > 0 and a sequence (xn)n∈N in BX such that for all l ∈ N, if ` ≤ n(1) < ... < n(2`), where n(i) ∈ N, ∀i ∈ {1, ..., 2`}, then 2` 2` X X cixn(i) ≥ ε |ci|, i=1 i=1 for all c1, ..., c2` ∈ R. Theorem 15. ABS is coanalytic in SB. Proof. We proceed exactly as in the proof of theorem 11. Let’s construct a Borel function ϕ : SB → Tr such that ϕ−1(WF) = ABS. Pick ε > 0 and X ∈ SB. We associate a tree 0 n TABS(X, ε) on X to the pair (X, ε) in the following manner, for all finite sequences (xk)k=1 in BX , 32 CHAPTER 3. GEOMETRY OF BANACH SPACES. n 0 ` (xk)k=1 ∈ TABS(X, ε) ⇔∀` ∈ N, ∀n(1) < ... < n(2 ) ` ` (n(k) ∈ N, ∀k ∈ {1, ..., 2 }, & n(1) ≥ l & n(2 ) ≤ n), ∀c1, ..., c2` ∈ R, 2` 2` X X ckxn(k) ≥ ε |ck| k=1 k=1 0 It is clear, by theorem 14, that X does not have the ABS property if, and only if, TABS(X, ε) 0 is ill-founded for some ε > 0. Now we use lemma 1 to make TABS(X, ε) into a tree on n n n 0 (nk)k=1 ∈ TABS(X, ε) ⇔ (Snk (BX ))k=1 ∈ TABS(X, ε). By standard approximation arguments we see that X does not have the ABS property if, and only if, TABS(X, ε) is ill-founded for some ε. We now glue the trees (TABS(X, ε))ε a n 1 (m)a(n )n ∈ T (X) ⇔ (n )n ∈ T (X, ). k k=1 ABS k k=1 ABS m It is clear that X/∈ ABS if, and only if, TABS(X) is ill-founded. Therefore, we have just defined the ϕ : SB → Tr we wanted. We only need to observe ϕ is Borel and 33 3.2. ALTERNATING BANACH-SAKS PROPERTY. \ \ {X ∈ SB|s ∈ T (X)} = + `∈N c1,...,c l ∈Q ` 2 n(1)<... P2` and we are done. Indeed, as Sn is Borel, ∀n ∈ N, the set {X ∈ SB|k k=1 ckSn(k)(BX )k ≥ 1 P2` m k=1 |ck|} is Borel. Now we show that coanalyticity is the most we can get of ABS in relation to its Borel complexity. 1 Theorem 16. ABS is Π1-hard. Moreover, ABS is complete coanalytic. Proof. Let ϕ : Tr → SB be define exactly as in the proof of theorem 12. We will show −1 that ϕ (ABS) = WF. If θ ∈ IF, we have `1 ,→ ϕ(θ). As `1 is not in ABS (we can take its standard basis again, it clearly doesn’t have a subsequence with norm converging alternating-signs Cesaro mean) we conclude that ϕ(θ) ∈/ ABS. Let’s show that if θ ∈ WF, then ϕ(θ) ∈ ABS. We proceed by transfinite induction on the order of θ ∈ WF. Say o(θ) = 1, then ϕ(θ) is 1-dimensional and we are clearly done. Assume ϕ(θ) ∈ ABS for all θ ∈ WF with o(θ) < α, for some α < ω1. Pick θ ∈ WF with o(θ) = α. Using the same notation as in the proof of theorem 12, we have ∼ M ϕ(θ) = R ⊕ ϕ(θ(λ)) . `2 λ∈Λ By lemma 6, `1 6,→ ϕ(θ). B. Beauzamy showed in [Be] (pag. 386) that a Banach space not 34 CHAPTER 3. GEOMETRY OF BANACH SPACES. containing `1 has the alternating Banach-Saks property if, and only if, it has the weak Banach-Saks property. So, we only need to show that ϕ(θ) is in WBS. As ϕ(θ(λ)) ∈ ABS, for all λ ∈ Λ, we have ϕ(θ(λ)) ∈ WBS, for all λ ∈ Λ. By a corollary of J. R. Partington (see [P], pag. 373), L ϕ(θ(λ)) is also in WBS. Thus, we conclude that ϕ(θ) ∈ WBS, λ∈Λ `2 and we are done. 3.3 Weak Banach-Saks property. A Banach space is said to have the weak Banach-Saks property if every weakly null se- quence has a subsequence such that its Cesaro mean is norm convergent to zero. Let’s study its complexity. 1 Theorem 17. WBS is Π1-hard. In particular, WBS is non Borel. Proof. First we notice that we cannot use the same function we constructed in theorem 12, this because, as `1 has the Schur property, `1 is clearly in WBS. We construct a similar function, for each θ ∈ Tr and x ∈ c00(θ) define n 1 n X X 2 2 o kxkθ = sup x(s)e|s| C(∆) | I1, ..., In incomparable segments of θ , i=1 s∈Ii where (en)n∈N is a basis of C(∆) and k.kC(∆) is its norm. In the same fashion, we de- fine ϕ(θ) as the completion of c00(θ) under the norm k.kθ. If θ ∈ IF we clearly have C(∆) ,→ ϕ(θ). As C(∆) is not in WBS (see [F]) we have ϕ(θ) ∈/ WBS. We now show that if θ ∈ WF, then ϕ(θ) ∈ WBS. We proceed by transfinite induction on the order of θ ∈ WF. Say o(θ) = 1, then ϕ(θ) is 1-dimensional and we are clearly done. Assume ϕ(θ) ∈ WBS, for all θ ∈ WF with o(θ) < α, for some α < ω1. Pick θ ∈ WF with o(θ) = α, let’s show that ϕ(θ) ∈ WBS. 35 3.3. WEAK BANACH-SAKS PROPERTY. Using the same notation as in the proof of theorem 12, we have ∼ M ϕ(θ) = R ⊕ ϕ(θ(λ)) . `2 λ∈Λ By our inductive hypothesis, ϕ(θ(λ)) ∈ WBS, for all λ ∈ Λ. Therefore, by a corollary of J. R. Partington (see [P], pag. 373), L ϕ(θ(λ)) is also in WBS, and we are λ∈Λ `2 done. Remark: It is worth noticing that the same ϕ constructed above could be used to proof theorem 12, and theorem 16. With that being said, let’s try to obtain more information about the Borel complexity of WBS. For this we use the following lemma. Lemma 18. Let (xn)n∈N be a bounded sequence in a Banach space X. (xn)n∈N is weakly null if, and only if, every subsequence of (xn)n∈N has a convex block subsequence converging to zero in norm. In particular, if (xn)n∈N is a weakly null sequence in a Banach space X, and if X embeds into another Banach space Y , then (xn)n∈N is weaklly null in Y . Proof. Say every subsequence of (xn)n∈N has a convex block subsequence converging to zero in norm. First we show that (xn)n∈N has a weakly null subsequence. As (xn)n∈N is bounded, Rosenthal’s `1-theorem (see [R2]) says that we can find a subsequence that is either weak-Cauchy or equivalent to the usual `1-basis. As `1’s usual basis has no subsequence with a convex block sequence converging to zero in norm, we conclude that (xn)n∈N must have a weak-Cauchy subsequence. By hypothesis, this sequence must have a convex block subsequence converging to zero in norm, say (y = Plk+1 a x ) , for k i=lk+1 i ni k∈N some subsequence (nk) of natural numbers. 36 CHAPTER 3. GEOMETRY OF BANACH SPACES. ∗ Say (xnk )k∈N is not weakly null. Then pick f ∈ X such that f(xnk ) 6→ 0. As (xnk )k∈N is weak-Cauchy, there exists δ 6= 0 such that f(xnk ) → δ. Hence, f(yk) → δ, absurd, because (yk)k∈N is norm convergent to zero. ∗ Now assume (xn)n∈N is not weakly null. Then we can pick f ∈ X , a subsequence (nk)k∈N, and δ 6= 0, such that f(xnk ) → δ. As the subsequence (xnk )k∈N has the same property as (xn)n∈ , we can pick a weakly null subsequence, say (xn )l∈ . Hence f(xn ) → 0, absurd. N kl N kl For the converse we only need to apply Mazur’s theorem. Let’s denote the closed ball of radius r of a Banach space X by BX (r). For every X ∈ SB, we let n N + Er(X) = (xk)k∈N, (nk)k∈N ∈BX (r) × [N]| ∀ε ∈ Q , ∀n ∈ N, n+l n+l + X X o ∃an, ..., an+l ∈ Q ai = 1 , aixni < ε , i=n i=n where [N] stands for the subset of NN consisting of the increasing sequences of natural N numbers. As [N] is easily seen to be Borel, we have that Er(X) is Borel in ∪r∈NBX (r) × [N], for all r ∈ N. Define F (X) by c c F (X) = π ∪r∈N Er(X) , where π denotes the projection into the first coordinate. Notice that F (X) is coanalytic and that F (X) consists of all the bounded sequences in XN with the property that all of its subsequences have a convex block subsequence converging to zero in norm. By lemma 18, F (X) is the set of all weakly null sequences of X. 37 3.3. WEAK BANACH-SAKS PROPERTY. Theorem 19. The set of weakly null subsequences F (X) ⊂ XN of X is coanalytic, for all X ∈ SB. Say X = C(∆), and F = F (C(∆)). Let A = {(X, (xn)n∈N) ∈ SB × F |∀n ∈ N, xn ∈ X}, and n ∗ G = π X, (xn)n∈N ∈ A| ∃ε ∈ Q , ∀n ∈ N, ∀n1 <... < nm ≤ n, ∀` ∈ {1, ..., m}, ` m 1 X X o ( xn − xn ) ≥ ε , m k k k=1 k=`+1 where π denotes the projection into SB. B. Beauzamy’s paper implies that WBS = Gc. We had just shown that WBS is the complement of a Borel image of a coanalytic set. If 1 a subset of a standard Borel space X has this property we say that it belongs to Σ2(X), see [Ke] or [S] for more details. 1 Theorem 20. WBS ∈ Σ2(SB). Problem 21. Is WBS coanalytic? If yes, we had shown that WBS is complete coanalytic. Remark: We had just seen that the set of weakly null subsequences F (X) ⊂ XN of a separable Banach space X is coanalytic in XN. It is easy to see that F (X) is actually ∗ ∗ Borel if X is separable. Indeed, if {fn}n∈N is dense in X , we have \ \ [ \ N F (X) = (xn)n∈N ∈ X | |fl(xm)| < ε . n∈N ε∈Q+ n∈N m>n On the other hand, as `1 is a Schur space, F (`1) consists of the set of norm null sequences ∗ in `1, and it is easily seen to be Borel. Which means, X does not need to be separable in order to F (X) to be Borel. 38 CHAPTER 3. GEOMETRY OF BANACH SPACES. Problem 22. Is F (X) Borel, for all X ∈ SB? If not, under what conditions is F (X) (coanalytic) non Borel? Notice that, if F (C(∆)) is Borel, then we had shown that WBS is coanalytic. 39 Chapter 4 Complementability of some ideals in L(X), Part II. “If they grow, why to stop them?” (Grigori Perelman about not cutting his fingernails) 4.1 Banach-Saks Operators. In the same spirit as Chapter 2, we now take a look at operator ideals of L(X). Let X be a Banach space, we say T ∈ L(X) is a Banach-Saks operator if for each bounded sequence −1 Pn (xn)n∈N there is a subsequence (xnk )k∈N such that its Cesaro mean n k=1 T (xnk ) is norm convergent. We denote the space of Banach-Saks operators from X to itself by BS(X). We can now try to compute the Borel complexity of the set of Banach spaces such that BS(X) is a complemented subspace of L(X). ⊥ 1 Theorem 23. The set BS = {X ∈ SB|BS(X) ,−→ L(X)} is Π1-hard. In particular, BS is non Borel. 40 CHAPTER 4. COMPLEMENTABILITY OF SOME IDEALS IN L(X), PART II. Proof. Let ϕ : Tr → SB be defined as in the proof of theorem 17. The remark after this theorem says that if θ ∈ WF, then ϕ(θ) ∈ BS. Hence, BS(ϕ(θ)) = L(ϕ(θ)), and we have ϕ(θ) ∈ BS, for all θ ∈ WF. Let’s show that the same cannot be true if θ ∈ IF. ∼ Say θ ∈ IF. Then ϕ(θ) = C(∆) ⊕ Y , for some Y ∈ SB. Let P1 : C(∆) ⊕ Y → C(∆) be the standard projection. Suppose there exists a bounded projection P : L(C(∆) ⊕ Y ) → BS(C(∆) ⊕ Y ). Define P0 : L(C(∆)) → BS(C(∆)) as, for all T ∈ L(C(∆)), ˜ P0(T ) = P1(P (T ))|C(∆), where T˜ : C(∆) ⊕ Y → C(∆) ⊕ Y is the natural extension, i.e., T˜(x, y) = (T (x), 0), for all (x, y) ∈ C(∆) ⊕ Y . Notice that P0(T ) ∈ BS(C(∆)), so P0 is well defined. Also, if T ∈ BS(C(∆)), then T˜ ∈ BS(C(∆) ⊕ Y ), which implies P (T˜) = T˜ (because P is a projection). Therefore, P0 is a projection from L(C(∆)) onto BS(C(∆)). Let’s observe this gives us a contradiction. It’s known that T : C(∆) → C(∆) has the Banach-Saks property if, and only if, T is weakly compact (see [DiSe], pag. 112). Hence, BS(C(∆)) = W(C(∆)) and, as c0 ,→ C(∆), we have that BS(C(∆)) is not complemented in L(C(∆)) ([BBG]). Absurd. Problem 24. Is BS coanalytic? If yes, our previous proof would show that BS is complete coanalytic. We had studied three classes of ideals of L(X)(U(X), W(X), and BS(X)) and whether those ideals are complemented in L(X) or not. Another natural question would be to study the Borel complexity of pairs (X,Y ) ∈ SB2 such that their respective ideals (U(X,Y ), W(X,Y ), and BS(X,Y )) are complemented in L(X,Y ). As mentioned in the introduction, this problem had been solved for the ideal of compact operators K(X,Y ) 41 4.1. BANACH-SAKS OPERATORS. by D. Puglisi in [Pu]. 2 Let ϕ : Tr → SB be as defined above and define ϕ0(θ) = (ϕ(θ), ϕ(θ)) ∈ SB , for all θ ∈ Tr. −1 2 ⊥ Clearly, we have that ϕ0 ({(X,Y ) ∈ SB |BS(X,Y ) ,−→ L(X,Y )}) = WF. Conclusion: 1 2 Theorem 25. The following sets are Π1-hard (hence, non Borel) in the product SB : ⊥ ⊥ {(X,Y ) ∈ SB2|BS(X,Y ) ,−→ L(X,Y )}, {(X,Y ) ∈ SB2|U(X,Y ) ,−→ L(X,Y )}, and ⊥ {(X,Y ) ∈ SB2|W(X,Y ) ,−→ L(X,Y )}. 42 Chapter 5 Geometry of Banach spaces, Part II. “Luke, I am your father.” (Darth Vader) 5.1 Schur Property. We say that a Banach space X has the Schur property if every weakly convergent sequence of X is norm convergent. 1 Theorem 26. Let S = {X ∈ SB|X has the Schur property}. S is Π1-hard. In particular, S is non Borel. Proof. In the same fashion as our previous proofs, we start by defining a norm on c00(θ) as, for all x ∈ c00(θ), let n n X X o kxkθ = sup x(s)e|s| | n ∈ ,I1, ..., In incomparable segments of θ , c0 N i=1 s∈Ii 43 5.1. SCHUR PROPERTY. where here (en)n∈N stands for the standard c0 basis. We define a function ϕ : Tr → SB by letting ϕ(θ) be the completion of c00(θ) under the norm k.kθ. As c0 ,→ ϕ(θ) if θ ∈ IF, we have ϕ(θ) 6∈ S, for all θ ∈ IF. Mimicking the proof of theorem 12 we have that ∼ M ϕ(θ) = R ⊕ ϕ(θ(λ)) , `1 λ∈Λ where Λ = {λ ∈ N|(λ) ∈ θ}. Proceeding by transfinite induction and using B. Tanbay’s result about the stability of the Schur property under `1-sums (see [T], pag. 350), we conclude that ϕ(θ) ∈ S, for all θ ∈ WF. Let’s try to obtain more information about the Borel complexity of S. For this, notice that a Banach space X does not have the Schur property if, and only if, it has a weakly null sequence (xn)n∈N in SX . Let F = F (C(∆)) be defined as in Section 3.3, i.e., F is the set of all weakly null N N subsequences of C(∆). Let E = F ∩ SC(∆), so E is coanalytic in SC(∆), and define