Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf ·...

19
Weak compactness in Banach lattices Pedro Tradacete Universidad Carlos III de Madrid Based on joint works with A. Avil´ es, A. J. Guirao, S. Lajara, J. L´ opez-Abad, J. Rodr´ ıguez Positivity IX 20 July 2017, Edmonton P.Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 1 / 19

Transcript of Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf ·...

Page 1: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

Weak compactness in Banach lattices

Pedro Tradacete

Universidad Carlos III de Madrid

Based on joint works with A. Aviles, A. J. Guirao, S. Lajara, J. Lopez-Abad, J.Rodrıguez

Positivity IX20 July 2017, Edmonton

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 1 / 19

Page 2: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

1 Weakly compactly generated Banach lattices

2 Shellable weakly compact sets and Talagrand’s problem

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 2 / 19

Page 3: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

The promoter

Integration, Vector Measures andRelated Topics IV (La Manga del MarMenor, Spain 2011).

Joe’s question: “Is every Banach latticethat’s weakly compactly generated as aBanach lattice a weakly compactlygenerated Banach space?”

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 3 / 19

Page 4: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

Some terminologyDefinitionGiven X Banach lattice, A ⊂ X .

(i) L(A) denotes the smallest (closed) sublattice of X containing A.(ii) I(A) denotes the smallest (closed) ideal of X containing A.(iii) B(A) denotes the smallest (closed) band of X containing A.

Let us denote A∧ :={∧n

i=1 ai : n ∈ N, (ai)ni=1 ⊂ A

}and

A∨ :={∨n

i=1 ai : n ∈ N, (ai)ni=1 ⊂ A

}. We have

L(A) = span(A)∨∧

Consider the solid hull sol(A) =⋃

x∈A[−|x |, |x |]. If follows that

I(A) = span(sol(A)).

If A⊥ = {x ∈ X : |x | ∧ |y | = 0 for every y ∈ A}, then

B(A) = A⊥⊥.P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 4 / 19

Page 5: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

Different versions of WCG

DefinitionGiven X Banach lattice.

(i) X is weakly compactly generated (WCG) if:∃K ⊂ X w.c. such that X = span(K ).

(ii) X is weakly compactly generated as a lattice (LWCG) if:∃K ⊂ X w.c. such that X = L(K ).

(iii) X is weakly compactly generated as an ideal (IWCG) if:∃K ⊂ X w.c. such that X = I(K ).

(iv) X is weakly compactly generated as a band (BWCG) if:∃K ⊂ X w.c. such that X = B(K ).

WCG⇒ LWCG⇒ IWCG⇒ BWCG.

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 5 / 19

Page 6: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

Easy facts

PropositionBanach lattice X with weakly seq. continuous lattice operations.

X LWCG⇔ X WCG.

CorollaryLet K be a compact Hausdorff topological space. Then:

(i) C(K ) is IWCG.(ii) C(K ) LWCG⇔ C(K ) WCG.

PropositionLet X be a Banach lattice with the property that the solid hull of anyweakly relatively compact set is weakly relatively compact.

X BWCG⇔ X WCG.

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 6 / 19

Page 7: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

Related counterexamples

Example`∞ is IWCG but not WCG (same holds for C(K ) with K not Eberleincompact).

Example

For 1 < p <∞ the Lorentz space Lp,∞[0,1] is BWCG but not IWCG.

RemarkSuppose X is separable.

1 X ∗ is IWCG⇔ X ∗ has a quasi-interior point.2 X ∗ is BWCG⇔ X ∗ has a weak order unit.

,

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 7 / 19

Page 8: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

TheoremLet X be an LWCG Banach lattice. Then dens(X ) = dens(X ∗,w∗).

TheoremLet X be an order continuous Banach lattice.

X BWCG⇔ X WCG.

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 8 / 19

Page 9: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

Free Banach lattices

Given a set A, the free Banach lattice generated by A is the (unique)Banach lattice F (A) satisfying

1 there is φ : A→ F (A) with supa∈A ‖φ(a)‖ <∞.2 For every Banach lattice X and ψ : A→ X , there is a unique lattice

homomorphism ψ : F (A)→ X such that ‖ψ‖ = supa∈A ‖ψ(a)‖ and

F (A)ψ

''A

φ

OO

ψ// X

Theorem (De Pagter-Wickstead)F (A) exists for every A.

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 9 / 19

Page 10: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

The free Banach lattice generated by a Banach spaceLet X be a Banach space. Let FBL[X ] be the (unique) Banach latticesuch that

1 there is a linear isometry φ : X → FBL[X ],2 for every Banach lattice E and operator T : X → E there is a

unique lattice homomorphism T : FBL[X ]→ E such that‖T‖ = ‖T‖ and

FBL[X ]

T

''X

φ

OO

T// E

Theorem (Aviles-Rodrıguez-T)FBL[X ] exists for every Banach space X.Moreover, F (A) = FBL[`1(A)].

TheoremFBL[`2(Γ)] is LWCG, but not WCG when Γ is uncountable.

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 10 / 19

Page 11: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

2. Shellable weakly compact sets and Talagrand’s problem

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 11 / 19

Page 12: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

Motivation

Theorem (Davis-Figiel-Johnson-Pelczynski 1974)Given Banach spaces X, Y and a weakly compact operatorT : X → Y, there is a reflexive Banach space Z and operators T1,T2such that

X

T1 ��

T // Y

ZT2

??

Question: If X ,Y are Banach lattices, can we make Z a (reflexive)Banach lattice?Answers:

Yes, under some conditions (Aliprantis-Burkinshaw 1984).In general, NO (Talagrand 1986).

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 12 / 19

Page 13: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

Shellable setsTheorem (Davis-Figiel-Johnson-Pelczynski)Let X be a Banach space, K ⊂ X weakly compact. There is a reflexiveBanach space Z and an operator T : Z → X such that K ⊆ T (BZ ).

DefinitionLet X be a Banach space. A weakly compact set K ⊂ X is shellable bya reflexive Banach lattice if there is a reflexive Banach lattice E andan operator T : E → X such that K ⊂ T (BE ).

Theorem (Aliprantis-Burkinhaw)Under any of the following assumptions

X is a space with an unconditional basis, orX is a Banach lattice which does not contain c0,

every weakly compact set K ⊆ X is shellable by a reflexive Banachlattice.

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 13 / 19

Page 14: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

Talagrand’s question

Theorem (Talagrand)There is a (countable) weakly compact set KT ⊆ C[0,1] which is notshellable by any reflexive Banach lattice.

KT is homeomorphic to ωω2

+ 1.

Question: What is the smallest ordinal α such that there exists aweakly compact set K ⊆ C[0,1] homeomorphic to α which is notshellable by any reflexive Banach lattice?

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 14 / 19

Page 15: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

The lower bound

Theorem (Lopez-Abad - T)Let K ⊆ C[0,1] be a weakly compact set homeomorphic to α < ωω.Then K is shellable by a reflexive Banach lattice.

Sketch of proof:1 Let φ : C[0,1]∗ → C(K ) be given by φ(µ)(k) =

∫kdµ.

2 C(K ) is isomorphic to c0.3 There is a reflexive lattice E such that

C[0,1]∗

T##

φ// C(K ) ' c0

ES

::

4 φ∗(δk ) = k for every k ∈ K .

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 15 / 19

Page 16: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

The upper bound

Consider the Schreier family and its “square”

S = {s ⊂ N : ]s ≤ min s},

S2 = S ⊗ S = {n⋃

i=1

si : n ≤ s1 < . . . < sn, si ∈ S for 1 ≤ i ≤ n}.

S,S2 ⊂ P<∞(N) are compact and homeomorphic to ωω + 1 andωω

2+ 1 respectively.

Each element s ∈ S2 has a unique decomposition

s = s[0] ∪ s[1] · · · ∪ s[n],

where s[0] < s[1] < · · · < s[n], {min s[i]}i≤n ∈ S, s[n] ∈ S andmin s[i] = ]s[i] for 0 ≤ i < n.

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 16 / 19

Page 17: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

The upper boundGiven s = {m0 < · · · < mk} ∈ S and t = t [0] ∪ · · · ∪ t [l] ∈ S2 let

〈s, t〉 = #({0 ≤ i ≤ min{k , l} : mi ∈ t [i]}).

Θ(s, t) = 〈s, t〉+ 1 (mod 2).

Let Θ0 : S → C(S2) be the mapping that for s = {m0 < · · · < mk} ∈ Sfor every t = t [0] ∪ · · · ∪ t [l] ∈ S2,

Θ0(s)(t) = Θ(s, t).

Θ0 : S → C(S2) is well-defined and (weakly-)continuous.Let Kω := Θ0(S) ⊆ C(S2) is weakly compact and homeomorphic toωω + 1 (and extending its elements by zero we get Kω ⊂ C[0,1]).

Theorem (Lopez-Abad - T)Kω ⊂ C(S2) is not shellable by any reflexive Banach lattice.

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 17 / 19

Page 18: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

A. Aviles, A. J. Guirao, S. Lajara, J. Rodrıguez, P. Tradacete,Weakly compactly generated Banach lattices. Studia Math. 234(2016), no. 2, 165–183.

A. Aviles, J. Rodrıguez, P. Tradacete, The free Banach latticegenerated by a Banach space.https://arxiv.org/pdf/1706.08147

J. Lopez-Abad, P. Tradacete, Shellable weakly compact subsets ofC[0,1]. Math. Ann. 367 (2017), no. 3-4, 1777–1790.

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 18 / 19

Page 19: Universidad Carlos III de Madrid - math.ualberta.cavtroitsky/positivity2017/talks/Tradacete.pdf · Universidad Carlos III de Madrid Based on joint works with A. Aviles, A. J. Guirao,

Thank you for your attention!

P. Tradacete (UC3M) Weak compactness in Banach lattices Positivity IX 19 / 19