Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT...
Transcript of Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT...
![Page 1: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/1.jpg)
Transitivity and Ramsey properties ofLp-spaces
Valentin FerencziUniversidade de Sao Paulo
Workshop on Banach spaces and Banach latticesICMAT, September 9-13, 2019
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 2: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/2.jpg)
Outline
1. Transitivities of isometry groups
2. Fraısse theory and the KPT correspondence
3. Fraısse Banach spaces
4. The Approximate Ramsey Property for `np’s
Joint work with J. Lopez-Abad, B. Mbombo, S. TodorcevicSupported by Fapesp 2016/25574-8 and CNPq 30304/2015-7.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 3: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/3.jpg)
Notation
X ,Y denote an infinite dimensional Banach spaces, E ,F ,G,Hfinite dimensional ones.
SX = unit sphere of X .
GL(X )=the group of linear automorphisms of X
Isom(X )= group of linear surjective isometries of X .
Emb(F ,X ) = set of linear isometric embeddings of F into X .
p a real number in the separable Banach range: 1 ≤ p < +∞
Lp denotes the Lebesgue space Lp([0,1]).
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 4: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/4.jpg)
Outline
1. Transitivities of isometry groups
2. Fraısse theory and the KPT correspondence
3. Fraısse Banach spaces
4. The Approximate Ramsey Property for `np’s
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 5: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/5.jpg)
Topologies on GL(X )
Three topologies are relevant on GL(X ):
I the norm topology ‖T‖ = supx∈SX‖Tx‖.
I the SOT (strong operator topology) i.e. pointwiseconvergence on X ,
I the WOT (weak operator topology) i.e. weak pointwiseconvergence on X ,
FactGL(X ), ‖.‖ is a topological groupIt is not so for GL(X ) with SOT in general, but things get betterif one looks at bounded subgroups (in particular Isom(X )).
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 6: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/6.jpg)
The group Isom(X )
FactIsom(X ) is a topological group for SOT.
But Isom(X ), ‖.‖ is not separable in general, for X separable.
FactIf X is separable then (Isom(X ),SOT ) is separable. Actually itis a Polish group, i.e. SOT is separable completely metrizable
I Regarding WOT it coincides with SOT on Isom(X ) as soonas X has PCP (e.g. reflexive) - see Megrelishvilii 2000 - sofor Lp,1 < p <∞.
I On Isom(L1) WOT and SOT are different (Antunes 2019)I Things are more involved in C(K )-spaces, but those will
not be studied here.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 7: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/7.jpg)
The group Isom(X )
FactIsom(X ) is a topological group for SOT.
But Isom(X ), ‖.‖ is not separable in general, for X separable.
FactIf X is separable then (Isom(X ),SOT ) is separable. Actually itis a Polish group, i.e. SOT is separable completely metrizable
I Regarding WOT it coincides with SOT on Isom(X ) as soonas X has PCP (e.g. reflexive) - see Megrelishvilii 2000 - sofor Lp,1 < p <∞.
I On Isom(L1) WOT and SOT are different (Antunes 2019)I Things are more involved in C(K )-spaces, but those will
not be studied here.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 8: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/8.jpg)
The group Isom(X )
FactIsom(X ) is a topological group for SOT.
But Isom(X ), ‖.‖ is not separable in general, for X separable.
FactIf X is separable then (Isom(X ),SOT ) is separable. Actually itis a Polish group, i.e. SOT is separable completely metrizable
I Regarding WOT it coincides with SOT on Isom(X ) as soonas X has PCP (e.g. reflexive) - see Megrelishvilii 2000 - sofor Lp,1 < p <∞.
I On Isom(L1) WOT and SOT are different (Antunes 2019)I Things are more involved in C(K )-spaces, but those will
not be studied here.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 9: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/9.jpg)
The group Isom(X )
Summing up:
Isom(X ) will always be equipped with the Strong OperatorTopology SOT.
Regarding Emb(F ,X ), for F finite dimensional, we shall usuallyequip Emb(F ,X ) with the distance induced by the norm onL(F ,X ). But note that here SOT and the norm topology areequivalent.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 10: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/10.jpg)
Classical isometry groups
1 If H=Hilbert, then Isom(H) is the unitary group U(H).It acts transitively on SH , meaning there is a single and fullorbit for the action Isom(H) y SH .
2 For 1 ≤ p < +∞, p 6= 2, every isometry on Lp = Lp(0,1) isof the form
T (f )(.) = h(.)f (φ(.)),
where φ is a measurable transformation of [0,1] onto itself,and h such that |h|p = d(λ φ)/dλ, λ the Lebesguemeasure (Banach-Lamperti 1932-1958). So
3 Isom(Lp) acts almost transitively on SLp , meaning that theaction Isom(Lp) y SLp admits dense orbits.
4 However Isom(Lp) does not act almost transitively on thesphere unless p = 2.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 11: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/11.jpg)
Classical isometry groups
1 If H=Hilbert, then Isom(H) is the unitary group U(H).It acts transitively on SH , meaning there is a single and fullorbit for the action Isom(H) y SH .
2 For 1 ≤ p < +∞, p 6= 2, every isometry on Lp = Lp(0,1) isof the form
T (f )(.) = h(.)f (φ(.)),
where φ is a measurable transformation of [0,1] onto itself,and h such that |h|p = d(λ φ)/dλ, λ the Lebesguemeasure (Banach-Lamperti 1932-1958). So
3 Isom(Lp) acts almost transitively on SLp , meaning that theaction Isom(Lp) y SLp admits dense orbits.
4 However Isom(Lp) does not act almost transitively on thesphere unless p = 2.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 12: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/12.jpg)
Classical isometry groups
1 If H=Hilbert, then Isom(H) is the unitary group U(H).It acts transitively on SH , meaning there is a single and fullorbit for the action Isom(H) y SH .
2 For 1 ≤ p < +∞, p 6= 2, every isometry on Lp = Lp(0,1) isof the form
T (f )(.) = h(.)f (φ(.)),
where φ is a measurable transformation of [0,1] onto itself,and h such that |h|p = d(λ φ)/dλ, λ the Lebesguemeasure (Banach-Lamperti 1932-1958). So
3 Isom(Lp) acts almost transitively on SLp , meaning that theaction Isom(Lp) y SLp admits dense orbits.
4 However Isom(Lp) does not act almost transitively on thesphere unless p = 2.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 13: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/13.jpg)
Classical isometry groups
1 If H=Hilbert, then Isom(H) is the unitary group U(H).It acts transitively on SH , meaning there is a single and fullorbit for the action Isom(H) y SH .
2 For 1 ≤ p < +∞, p 6= 2, every isometry on Lp = Lp(0,1) isof the form
T (f )(.) = h(.)f (φ(.)),
where φ is a measurable transformation of [0,1] onto itself,and h such that |h|p = d(λ φ)/dλ, λ the Lebesguemeasure (Banach-Lamperti 1932-1958). So
3 Isom(Lp) acts almost transitively on SLp , meaning that theaction Isom(Lp) y SLp admits dense orbits.
4 However Isom(Lp) does not act almost transitively on thesphere unless p = 2.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 14: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/14.jpg)
Classical isometry groups
5 Every isometry on c0 and `p, p 6= 2 acts as a ”signedpermutation”, i.e. a combination of signs and permutationof the coordinates on the canonical basis.
6 By the Banach-Stone theorem (1932), every isometry ofC(K ) is of the form
T (f )(.) = h(.)f (φ(.)),
where h is continuous unimodular on K and φ ahomeomorphism of K .
7 It follows that Isom(`p) (resp. Isom(c0), resp. Isom(C(K )))do not act almost transitively on the sphere. This somehowtells us that their isometry group is too rigid. Actually in thecategory of Lp-spaces the relevant space is Lp for p <∞and the Gurarij space for p =∞.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 15: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/15.jpg)
Classical isometry groups
5 Every isometry on c0 and `p, p 6= 2 acts as a ”signedpermutation”, i.e. a combination of signs and permutationof the coordinates on the canonical basis.
6 By the Banach-Stone theorem (1932), every isometry ofC(K ) is of the form
T (f )(.) = h(.)f (φ(.)),
where h is continuous unimodular on K and φ ahomeomorphism of K .
7 It follows that Isom(`p) (resp. Isom(c0), resp. Isom(C(K )))do not act almost transitively on the sphere. This somehowtells us that their isometry group is too rigid. Actually in thecategory of Lp-spaces the relevant space is Lp for p <∞and the Gurarij space for p =∞.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 16: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/16.jpg)
Classical isometry groups
5 Every isometry on c0 and `p, p 6= 2 acts as a ”signedpermutation”, i.e. a combination of signs and permutationof the coordinates on the canonical basis.
6 By the Banach-Stone theorem (1932), every isometry ofC(K ) is of the form
T (f )(.) = h(.)f (φ(.)),
where h is continuous unimodular on K and φ ahomeomorphism of K .
7 It follows that Isom(`p) (resp. Isom(c0), resp. Isom(C(K )))do not act almost transitively on the sphere. This somehowtells us that their isometry group is too rigid. Actually in thecategory of Lp-spaces the relevant space is Lp for p <∞and the Gurarij space for p =∞.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 17: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/17.jpg)
Mazur rotation problem
If G = Isom(X) acts transitively on SX , must X be isomorphic?isometric? to a Hilbert space.
(a) if dim X < +∞: YES to both(b) if dim X = +∞ and is separable: ???(c) if dim X = +∞ and is non-separable: NO to both
Proof(a) Average a given inner product by using the Haar measureon G and observe that this new inner product turns all T ∈ Ginto unitaries and therefore, by transitivity, must induce amultiple of the original norm.
[x , y ] =
∫T∈G
< Tx ,Ty > dµ(T ),
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 18: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/18.jpg)
Mazur rotation problem
If G = Isom(X) acts transitively on SX , must X be isomorphic?isometric? to a Hilbert space.
(a) if dim X < +∞: YES to both(b) if dim X = +∞ and is separable: ???(c) if dim X = +∞ and is non-separable: NO to both
Proof(a) Average a given inner product by using the Haar measureon G and observe that this new inner product turns all T ∈ Ginto unitaries and therefore, by transitivity, must induce amultiple of the original norm.
[x , y ] =
∫T∈G
< Tx ,Ty > dµ(T ),
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 19: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/19.jpg)
Mazur rotation problem
If G = Isom(X) acts transitively on SX , must X be isomorphic?isometric? to a Hilbert space.
(a) if dim X < +∞: YES to both(b) if dim X = +∞ and is separable: ???(c) if dim X = +∞ and is non-separable: NO to both
Proof(a) Average a given inner product by using the Haar measureon G and observe that this new inner product turns all T ∈ Ginto unitaries and therefore, by transitivity, must induce amultiple of the original norm.
[x , y ] =
∫T∈G
< Tx ,Ty > dµ(T ),
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 20: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/20.jpg)
Mazur rotation problem
If G = Isom(X) acts transitively on SX , must X be isometric?isomorphic? to a Hilbert space.
(a) if dim X < +∞: YES to both(b) if dim X = +∞ and is separable: ???(c) if dim X = +∞ and is non-separable: NO to both
Proof(c) Use ultrapowers.....
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 21: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/21.jpg)
Ultrapowers
A normed space is transitive (resp. almost transitive) if theassociated isometry group acts transitively (resp. almosttransitively) on the associated unit sphere.
It is an easy observation that if X is almost transitive then forany non-principal ultrafilter U , XU is transitive. Actually thesubgroup Isom(X )U of isometries T of the form
T ((xn)n∈N) = (Tn(xn))n∈N
where Tn ∈ Isom(X ), acts transitively on XU .
PropositionThe space (Lp(0,1))U is transitive.
Note that in these lines Cabello-Sanchez (1998) studiesΠn∈NLpn (0,1) for pn → +∞ and obtains a transitive M-space.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 22: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/22.jpg)
Ultrapowers
A normed space is transitive (resp. almost transitive) if theassociated isometry group acts transitively (resp. almosttransitively) on the associated unit sphere.
It is an easy observation that if X is almost transitive then forany non-principal ultrafilter U , XU is transitive. Actually thesubgroup Isom(X )U of isometries T of the form
T ((xn)n∈N) = (Tn(xn))n∈N
where Tn ∈ Isom(X ), acts transitively on XU .
PropositionThe space (Lp(0,1))U is transitive.
Note that in these lines Cabello-Sanchez (1998) studiesΠn∈NLpn (0,1) for pn → +∞ and obtains a transitive M-space.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 23: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/23.jpg)
Ultrapowers
A normed space is transitive (resp. almost transitive) if theassociated isometry group acts transitively (resp. almosttransitively) on the associated unit sphere.
It is an easy observation that if X is almost transitive then forany non-principal ultrafilter U , XU is transitive. Actually thesubgroup Isom(X )U of isometries T of the form
T ((xn)n∈N) = (Tn(xn))n∈N
where Tn ∈ Isom(X ), acts transitively on XU .
PropositionThe space (Lp(0,1))U is transitive.
Note that in these lines Cabello-Sanchez (1998) studiesΠn∈NLpn (0,1) for pn → +∞ and obtains a transitive M-space.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 24: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/24.jpg)
On renormings of classical spaces
For p 6= 2, Lp is not transitive, and `p not almost transitive.Furthermore
Theorem (Dilworth - Randrianantoanina, 2014)Let 1 < p < +∞,p 6= 2. Then`p does not admit an equivalent almost transitive norm.
QuestionLet 1 ≤ p < +∞,p 6= 2. Show that the space Lp([0,1]) doesnot admit an equivalent transitive norm.
See also Cabello-Sanchez, Dantas, Kadets, Kim, Lee, Martın(2019) for related notions of ”microtransitivity”.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 25: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/25.jpg)
On renormings of classical spaces
For p 6= 2, Lp is not transitive, and `p not almost transitive.Furthermore
Theorem (Dilworth - Randrianantoanina, 2014)Let 1 < p < +∞,p 6= 2. Then`p does not admit an equivalent almost transitive norm.
QuestionLet 1 ≤ p < +∞,p 6= 2. Show that the space Lp([0,1]) doesnot admit an equivalent transitive norm.
See also Cabello-Sanchez, Dantas, Kadets, Kim, Lee, Martın(2019) for related notions of ”microtransitivity”.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 26: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/26.jpg)
On renormings of classical spaces
For p 6= 2, Lp is not transitive, and `p not almost transitive.Furthermore
Theorem (Dilworth - Randrianantoanina, 2014)Let 1 < p < +∞,p 6= 2. Then`p does not admit an equivalent almost transitive norm.
QuestionLet 1 ≤ p < +∞,p 6= 2. Show that the space Lp([0,1]) doesnot admit an equivalent transitive norm.
See also Cabello-Sanchez, Dantas, Kadets, Kim, Lee, Martın(2019) for related notions of ”microtransitivity”.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 27: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/27.jpg)
Ultrahomogeneity
DefinitionLet X be a Banach space.I X is called ultrahomogeneous when for every finite
dimensional subspace E of X and every isometricembedding φ : E → X there is a linear isometryg ∈ Isom(X ) such that g E = φ; this means the canonicalaction Isom(X ) y Emb(E ,X ) is transitive.
I X is called approximately ultrahomogeneous (AuH) whenfor every finite dimensional subspace E of X , everyisometric embedding φ : E → X and every ε > 0 there is alinear isometry g ∈ Isom(X ) such that ‖g E − φ‖ < ε;this means the canonical action Isom(X ) y Emb(E ,X ) isalmost transitive (dense orbits).
The canonical action by g ∈ Isom(X ) on Emb(E ,X ) is φ 7→ g φ.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 28: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/28.jpg)
Ultrahomogeneity
DefinitionLet X be a Banach space.I X is called ultrahomogeneous when for every finite
dimensional subspace E of X and every isometricembedding φ : E → X there is a linear isometryg ∈ Isom(X ) such that g E = φ; this means the canonicalaction Isom(X ) y Emb(E ,X ) is transitive.
I X is called approximately ultrahomogeneous (AuH) whenfor every finite dimensional subspace E of X , everyisometric embedding φ : E → X and every ε > 0 there is alinear isometry g ∈ Isom(X ) such that ‖g E − φ‖ < ε;this means the canonical action Isom(X ) y Emb(E ,X ) isalmost transitive (dense orbits).
The canonical action by g ∈ Isom(X ) on Emb(E ,X ) is φ 7→ g φ.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 29: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/29.jpg)
Examples
Note that ultrahomogeneous⇒ transitive, and (AuH)⇒ almosttransitive
FactAny Hilbert space is ultrahomogeneous.
TheoremAre (AuH), but not ultrahomogeneous:
I The Gurarij space, defined by Gurarij in 1966(Kubis-Solecki 2013).
I Lp[0,1] for p 6= 2,4,6,8, . . . (Lusky 1978).
One original definition of the Gurarij: a separable Banachspace G universal for f.d. spaces such that any linear isometrybetween f.d. subspaces extends to a 1 + ε-linear isometry onG. By Lusky 1976, it is isometrically unique.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 30: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/30.jpg)
Examples
Note that ultrahomogeneous⇒ transitive, and (AuH)⇒ almosttransitive
FactAny Hilbert space is ultrahomogeneous.
TheoremAre (AuH), but not ultrahomogeneous:
I The Gurarij space, defined by Gurarij in 1966(Kubis-Solecki 2013).
I Lp[0,1] for p 6= 2,4,6,8, . . . (Lusky 1978).
One original definition of the Gurarij: a separable Banachspace G universal for f.d. spaces such that any linear isometrybetween f.d. subspaces extends to a 1 + ε-linear isometry onG. By Lusky 1976, it is isometrically unique.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 31: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/31.jpg)
Examples
TheoremAre (AuH):
I The Gurarij space, defined by Gurarij in 1966(Kubis-Solecki 2013)
I Lp[0,1] for p 6= 4,6,8, . . . (Lusky 1978)
Note thatI the Gurarij is the unique separable, universal, (AuH) space
(Lusky 1976 + Kubis-Solecki 2013).I Lusky’s result abour Lp’s is based on the equimeasurability
theorem by Plotkin / Rudin, 1976. His proof gives (AuH).I Lp is not (AuH) for p = 4,6,8, . . . :
B. Randrianantoanina (1999) proved that for those p′sthere are two isometric subspaces of Lp (due toRosenthal), with an unconditional basis, complemented/uncomplemented.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 32: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/32.jpg)
Examples
TheoremAre (AuH):
I The Gurarij space, defined by Gurarij in 1966(Kubis-Solecki 2013)
I Lp[0,1] for p 6= 4,6,8, . . . (Lusky 1978)
Note thatI the Gurarij is the unique separable, universal, (AuH) space
(Lusky 1976 + Kubis-Solecki 2013).I Lusky’s result abour Lp’s is based on the equimeasurability
theorem by Plotkin / Rudin, 1976. His proof gives (AuH).I Lp is not (AuH) for p = 4,6,8, . . . :
B. Randrianantoanina (1999) proved that for those p′sthere are two isometric subspaces of Lp (due toRosenthal), with an unconditional basis, complemented/uncomplemented.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 33: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/33.jpg)
Examples
TheoremAre (AuH):
I The Gurarij space, defined by Gurarij in 1966(Kubis-Solecki 2013)
I Lp[0,1] for p 6= 4,6,8, . . . (Lusky 1978)
Note thatI the Gurarij is the unique separable, universal, (AuH) space
(Lusky 1976 + Kubis-Solecki 2013).I Lusky’s result abour Lp’s is based on the equimeasurability
theorem by Plotkin / Rudin, 1976. His proof gives (AuH).I Lp is not (AuH) for p = 4,6,8, . . . :
B. Randrianantoanina (1999) proved that for those p′sthere are two isometric subspaces of Lp (due toRosenthal), with an unconditional basis, complemented/uncomplemented.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 34: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/34.jpg)
Examples
TheoremAre (AuH):
I The Gurarij space, defined by Gurarij in 1966(Kubis-Solecki 2013)
I Lp[0,1] for p 6= 4,6,8, . . . (Lusky 1978)
Note thatI the Gurarij is the unique separable, universal, (AuH) space
(Lusky 1976 + Kubis-Solecki 2013).I Lusky’s result abour Lp’s is based on the equimeasurability
theorem by Plotkin / Rudin, 1976. His proof gives (AuH).I Lp is not (AuH) for p = 4,6,8, . . . :
B. Randrianantoanina (1999) proved that for those p′sthere are two isometric subspaces of Lp (due toRosenthal), with an unconditional basis, complemented/uncomplemented.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 35: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/35.jpg)
A sketch of Lusky’s proof
It uses
Proposition (Plotkin and Rudin (1976))For p /∈ 2N, suppose that (f1, . . . , fn) ∈ Lp(Ω0,Σ0, µ0) and(g1, . . . ,gn) ∈ Lp(Ω1,Σ1, µ1) and
‖1 +n∑
j=1
aj fj‖µ0 = ‖1 +n∑
j=1
ajgj‖µ1 for every a1, . . . ,an.
Then (f1, . . . , fn) and (g1, . . . ,gn) are equidistributedEquidistributed here means that for any Borel B ∈ Rn,
µ0((f1, . . . , fn)−1(B)) = µ1((g1, . . . ,gn)−1(B)).
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 36: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/36.jpg)
Lp’s for p non even are ”like” the Gurarij
Let us cite Lusky:
”We show that a certain homogeneity property holds forLp(0,1); p 6= 4,6,8, . . ., which is similar to a correspondingproperty of the Gurarij space...”
We aim to give a more complete meaning to this similarity.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 37: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/37.jpg)
Outline
1. Transitivities of isometry groups
2. Fraısse theory and the KPT correspondence
3. Fraısse Banach spaces
4. The Approximate Ramsey Property for `np’s
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 38: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/38.jpg)
Fraısse theory (abusively) summarized
I Given a (hereditary) class F of finite (or sometimes finitelygenerated) structures, Fraısse theory (Fraısse 1954)investigates the existence of a countable structure A,universal for F and ultrahomogeneous (any t isomorphismbetween finite substructures extends to a globalautomorphism of A)
I Fraısse theory shows that this is equivalent to certainamalgamation properties of F .
I Then A is unique up to isomorphism and called the Fraısselimit of F .
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 39: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/39.jpg)
Fraısse theory (abusively) summarized
I Given a (hereditary) class F of finite (or sometimes finitelygenerated) structures, Fraısse theory (Fraısse 1954)investigates the existence of a countable structure A,universal for F and ultrahomogeneous (any t isomorphismbetween finite substructures extends to a globalautomorphism of A)
I Fraısse theory shows that this is equivalent to certainamalgamation properties of F .
I Then A is unique up to isomorphism and called the Fraısselimit of F .
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 40: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/40.jpg)
Fraısse theory (abusively) summarized
I Given a (hereditary) class F of finite (or sometimes finitelygenerated) structures, Fraısse theory (Fraısse 1954)investigates the existence of a countable structure A,universal for F and ultrahomogeneous (any t isomorphismbetween finite substructures extends to a globalautomorphism of A)
I Fraısse theory shows that this is equivalent to certainamalgamation properties of F .
I Then A is unique up to isomorphism and called the Fraısselimit of F .
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 41: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/41.jpg)
Fraısse theory (abusively) summarized
Exampleif F=the class of finite sets, then A = NIn this case isomorphisms of the structure are just bijections.
Exampleif F=the class of finite ordered sets, then A = (Q, <).Isomorphisms are order preserving bijections.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 42: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/42.jpg)
Fraısse theory (abusively) summarized
Exampleif F=the class of finite sets, then A = NIn this case isomorphisms of the structure are just bijections.
Exampleif F=the class of finite ordered sets, then A = (Q, <).Isomorphisms are order preserving bijections.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 43: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/43.jpg)
Fraısse and Extreme Amenability
Fraısse theory is related to Extreme Amenability through theKPT correspondence (Kechris-Pestov-Todorcevic 2005).
DefinitionA topological group G is called extremely amenable (EA) whenevery continuous action G y K on a compact K has a fixedpoint; that is, there is p ∈ K such that g · p = p for all g ∈ G.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 44: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/44.jpg)
Examples of extremely amenable groups
1. The group Aut(Q, <) of strictly increasing bijections of Q(with the pointwise convergence topology) (Pestov,1998);
2. but S∞ = Aut(N) is not extremely amenable;3. The group of isometries of the Urysohn space with
pointwise convergence topology. (Pestov, 2002);4. The unitary group U(H) endowed with SOT
(Gromov-Milman,1983);5. The group Isom(Lp) of linear isometries of the Lebesgue
spaces Lp[0,1], 1 ≤ p 6= 2 <∞, with the SOT(Giordano-Pestov, 2006);
6. The group Isom(G) of linear isometries of the Gurarij space(Bartosova-LopezAbad-Lupini-Mbombo, 2017)
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 45: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/45.jpg)
Examples of extremely amenable groups
1. The group Aut(Q, <) of strictly increasing bijections of Q(with the pointwise convergence topology) (Pestov,1998);
2. but S∞ = Aut(N) is not extremely amenable;3. The group of isometries of the Urysohn space with
pointwise convergence topology. (Pestov, 2002);4. The unitary group U(H) endowed with SOT
(Gromov-Milman,1983);5. The group Isom(Lp) of linear isometries of the Lebesgue
spaces Lp[0,1], 1 ≤ p 6= 2 <∞, with the SOT(Giordano-Pestov, 2006);
6. The group Isom(G) of linear isometries of the Gurarij space(Bartosova-LopezAbad-Lupini-Mbombo, 2017)
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 46: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/46.jpg)
Examples of extremely amenable groups
1. The group Aut(Q, <) of strictly increasing bijections of Q(with the pointwise convergence topology) (Pestov,1998);
2. but S∞ = Aut(N) is not extremely amenable;3. The group of isometries of the Urysohn space with
pointwise convergence topology. (Pestov, 2002);4. The unitary group U(H) endowed with SOT
(Gromov-Milman,1983);5. The group Isom(Lp) of linear isometries of the Lebesgue
spaces Lp[0,1], 1 ≤ p 6= 2 <∞, with the SOT(Giordano-Pestov, 2006);
6. The group Isom(G) of linear isometries of the Gurarij space(Bartosova-LopezAbad-Lupini-Mbombo, 2017)
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 47: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/47.jpg)
Examples of extremely amenable groups
1. The group Aut(Q, <) of strictly increasing bijections of Q(with the pointwise convergence topology) (Pestov,1998);
2. but S∞ = Aut(N) is not extremely amenable;3. The group of isometries of the Urysohn space with
pointwise convergence topology. (Pestov, 2002);4. The unitary group U(H) endowed with SOT
(Gromov-Milman,1983);5. The group Isom(Lp) of linear isometries of the Lebesgue
spaces Lp[0,1], 1 ≤ p 6= 2 <∞, with the SOT(Giordano-Pestov, 2006);
6. The group Isom(G) of linear isometries of the Gurarij space(Bartosova-LopezAbad-Lupini-Mbombo, 2017)
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 48: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/48.jpg)
Examples of extremely amenable groups
1. The group Aut(Q, <) of strictly increasing bijections of Q(with the pointwise convergence topology) (Pestov,1998);
2. but S∞ = Aut(N) is not extremely amenable;3. The group of isometries of the Urysohn space with
pointwise convergence topology. (Pestov, 2002);4. The unitary group U(H) endowed with SOT
(Gromov-Milman,1983);5. The group Isom(Lp) of linear isometries of the Lebesgue
spaces Lp[0,1], 1 ≤ p 6= 2 <∞, with the SOT(Giordano-Pestov, 2006);
6. The group Isom(G) of linear isometries of the Gurarij space(Bartosova-LopezAbad-Lupini-Mbombo, 2017)
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 49: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/49.jpg)
Examples of extremely amenable groups
1. The group Aut(Q, <) of strictly increasing bijections of Q(with the pointwise convergence topology) (Pestov,1998);
2. but S∞ = Aut(N) is not extremely amenable;3. The group of isometries of the Urysohn space with
pointwise convergence topology. (Pestov, 2002);4. The unitary group U(H) endowed with SOT
(Gromov-Milman,1983);5. The group Isom(Lp) of linear isometries of the Lebesgue
spaces Lp[0,1], 1 ≤ p 6= 2 <∞, with the SOT(Giordano-Pestov, 2006);
6. The group Isom(G) of linear isometries of the Gurarij space(Bartosova-LopezAbad-Lupini-Mbombo, 2017)
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 50: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/50.jpg)
The KPT correspondence
For finite structures, when A is the Fraısse limit of F , thenholds the Kechris-Pestov-Todorcevic correspondence.
Theorem (Kechris-Pestov-Todorcevic, 2005)The group (Aut(A),ptwise cv topology) is extremely amenableif and only if F is ”rigid” and satisfies the Ramsey property.
For example Pestov’s result that Aut(Q, <) is EA is acombination of ”(Q, <) = Fraısse limit of finite ordered sets”and of the classical finite Ramsey theorem on N.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 51: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/51.jpg)
The KPT correspondence
For finite structures, when A is the Fraısse limit of F , thenholds the Kechris-Pestov-Todorcevic correspondence.
Theorem (Kechris-Pestov-Todorcevic, 2005)The group (Aut(A),ptwise cv topology) is extremely amenableif and only if F is ”rigid” and satisfies the Ramsey property.
For example Pestov’s result that Aut(Q, <) is EA is acombination of ”(Q, <) = Fraısse limit of finite ordered sets”and of the classical finite Ramsey theorem on N.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 52: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/52.jpg)
Outline
1. Transitivities of isometry groups
2. Fraısse theory and the KPT correspondence
3. Fraısse Banach spaces
4. The Approximate Ramsey Property for `np’s
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 53: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/53.jpg)
Fraısse Banach spaces
Several works exist about extension of the Fraısse theory to themetric setting (i.e. with epsilons), and settle the case of theGurarij space,
(i.e. allow to see the Gurarij as the Fraisse limit of the class offinite dimensional spaces)
but they are often at the same time too general and toorestrictive for us - and in particular do not apply in a satisfactoryway to the Lp’s. We focus on the Banach space setting.
Anticipating here, note that there is no hope that classes offinite dimensional spaces are rigid, so only an ApproximateRamsey Property can be hoped for (think of concentration ofmeasure).
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 54: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/54.jpg)
Fraısse Banach spaces
Several works exist about extension of the Fraısse theory to themetric setting (i.e. with epsilons), and settle the case of theGurarij space,
(i.e. allow to see the Gurarij as the Fraisse limit of the class offinite dimensional spaces)
but they are often at the same time too general and toorestrictive for us - and in particular do not apply in a satisfactoryway to the Lp’s. We focus on the Banach space setting.
Anticipating here, note that there is no hope that classes offinite dimensional spaces are rigid, so only an ApproximateRamsey Property can be hoped for (think of concentration ofmeasure).
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 55: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/55.jpg)
Fraısse Banach spaces
Given two Banach spaces E and X , and δ ≥ 0, let Embδ(E ,X )be the collection of all linear δ-isometric embeddingsT : E → X , i.e. such that ‖T‖, ‖T−1‖ ≤ 1 + δ (T−1 defined onT (E)), equipped with the distance induced by the norm.
We consider the canonical action Isom(X ) y Embδ(E ,X )
Definition (F., Lopez-Abad, Mbombo, Todorcevic)X is Fraısse if and only if for every k ∈ N and every ε > 0 thereis δ > 0 such that for every E ⊂ X of dimension k , the actionIsom(X ) y Embδ(E ,X ) is ”ε-transitive”(i.e. every δ-isometric embedding of E into X is in theε-expansion of any given orbit).
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 56: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/56.jpg)
Fraısse Banach spaces
Given two Banach spaces E and X , and δ ≥ 0, let Embδ(E ,X )be the collection of all linear δ-isometric embeddingsT : E → X , i.e. such that ‖T‖, ‖T−1‖ ≤ 1 + δ (T−1 defined onT (E)), equipped with the distance induced by the norm.
We consider the canonical action Isom(X ) y Embδ(E ,X )
Definition (F., Lopez-Abad, Mbombo, Todorcevic)X is Fraısse if and only if for every k ∈ N and every ε > 0 thereis δ > 0 such that for every E ⊂ X of dimension k , the actionIsom(X ) y Embδ(E ,X ) is ”ε-transitive”(i.e. every δ-isometric embedding of E into X is in theε-expansion of any given orbit).
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 57: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/57.jpg)
Fraısse Banach spaces
DefinitionX is Fraısse if and only if for every k ∈ N and every ε > 0 thereis δ > 0 such that for every E ⊂ X of dimension k , the actionIsom(X ) y Embδ(E ,X ) is ”ε-transitive”Note that Fraısse⇒ (AuH)
PropositionTFAE for X:I X is FraısseI X is ”weak Fraısse”, i.e. as in the Fraısse definition, but
assuming that δ depends on ε and E (instead of dim E),andeach Agek (X ) is compact in the Banach-Mazurpseudo-distance.
Agek (X ) = set of k -dim. subspaces of X .
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 58: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/58.jpg)
Fraısse Banach spaces
DefinitionX is Fraısse if and only if for every k ∈ N and every ε > 0 thereis δ > 0 such that for every E ⊂ X of dimension k , the actionIsom(X ) y Embδ(E ,X ) is ”ε-transitive”Note that Fraısse⇒ (AuH)
PropositionTFAE for X:I X is FraısseI X is ”weak Fraısse”, i.e. as in the Fraısse definition, but
assuming that δ depends on ε and E (instead of dim E),andeach Agek (X ) is compact in the Banach-Mazurpseudo-distance.
Agek (X ) = set of k -dim. subspaces of X .
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 59: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/59.jpg)
Examples of Fraısse spaces
I Hilbert spaces are Fraısse (ε = δ, exercise);I the Gurarij space is Fraısse (actually ε = 2δ) ;I Lp is not Fraısse for p = 4,6,8, . . . since not AUH.
Since ε depends only on δ and not on n, we say that the Hilbertand the Gurarij are ”stable” Fraısse”.
On the other hand,
Theorem(F.,Lopez-Abad, Mbombo, Todorcevic) The spaces Lp[0,1] forp 6= 4,6,8, . . . are Fraısse.
How can we get convinced that this is the relevant definition?
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 60: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/60.jpg)
Examples of Fraısse spaces
I Hilbert spaces are Fraısse (ε = δ, exercise);I the Gurarij space is Fraısse (actually ε = 2δ) ;I Lp is not Fraısse for p = 4,6,8, . . . since not AUH.
Since ε depends only on δ and not on n, we say that the Hilbertand the Gurarij are ”stable” Fraısse”.
On the other hand,
Theorem(F.,Lopez-Abad, Mbombo, Todorcevic) The spaces Lp[0,1] forp 6= 4,6,8, . . . are Fraısse.
How can we get convinced that this is the relevant definition?
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 61: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/61.jpg)
Examples of Fraısse spaces
I Hilbert spaces are Fraısse (ε = δ, exercise);I the Gurarij space is Fraısse (actually ε = 2δ) ;I Lp is not Fraısse for p = 4,6,8, . . . since not AUH.
Since ε depends only on δ and not on n, we say that the Hilbertand the Gurarij are ”stable” Fraısse”.
On the other hand,
Theorem(F.,Lopez-Abad, Mbombo, Todorcevic) The spaces Lp[0,1] forp 6= 4,6,8, . . . are Fraısse.
How can we get convinced that this is the relevant definition?
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 62: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/62.jpg)
Examples of Fraısse spaces
I Hilbert spaces are Fraısse (ε = δ, exercise);I the Gurarij space is Fraısse (actually ε = 2δ) ;I Lp is not Fraısse for p = 4,6,8, . . . since not AUH.
Since ε depends only on δ and not on n, we say that the Hilbertand the Gurarij are ”stable” Fraısse”.
On the other hand,
Theorem(F.,Lopez-Abad, Mbombo, Todorcevic) The spaces Lp[0,1] forp 6= 4,6,8, . . . are Fraısse.
How can we get convinced that this is the relevant definition?
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 63: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/63.jpg)
Examples of Fraısse spaces
I Hilbert spaces are Fraısse (ε = δ, exercise);I the Gurarij space is Fraısse (actually ε = 2δ) ;I Lp is not Fraısse for p = 4,6,8, . . . since not AUH.
Since ε depends only on δ and not on n, we say that the Hilbertand the Gurarij are ”stable” Fraısse”.
On the other hand,
Theorem(F.,Lopez-Abad, Mbombo, Todorcevic) The spaces Lp[0,1] forp 6= 4,6,8, . . . are Fraısse.
How can we get convinced that this is the relevant definition?
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 64: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/64.jpg)
Properties of Fraısse spaces
PropositionAssume X and Y are Fraisse, and that X is separable. Thenare equivalent:
(1) X is finitely representable in Y(2) every finite dimensional subspace of X embeds
isometrically into Y(3) X embeds isometrically in Y
In particular (by Dvoretsky) `2 is the minimal separable Fraıssespace; and the Gurarij is the maximal one.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 65: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/65.jpg)
Properties of Fraısse spaces
PropositionAssume X and Y are Fraisse, and that X is separable. Thenare equivalent:
(1) X is finitely representable in Y(2) every finite dimensional subspace of X embeds
isometrically into Y(3) X embeds isometrically in Y
In particular (by Dvoretsky) `2 is the minimal separable Fraıssespace; and the Gurarij is the maximal one.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 66: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/66.jpg)
Properties of Fraısse spaces
LetI Age(X )=the set of finite dimensional subspaces of X , andI for F ,G classes of finite dimensional spaces, F ≡ G mean
that any element of F has an isometric copy in G andconversely.
PropositionAssume X and Y are separable Fraısse. Then are equivalent(1) X is finitely representable in Y and vice-versa,(2) Age(X ) ≡ Age(Y ),(3) X and Y are isometric.
So separable Fraisse spaces are uniquely determined by theirage modulo ≡.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 67: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/67.jpg)
Properties of Fraısse spaces
LetI Age(X )=the set of finite dimensional subspaces of X , andI for F ,G classes of finite dimensional spaces, F ≡ G mean
that any element of F has an isometric copy in G andconversely.
PropositionAssume X and Y are separable Fraısse. Then are equivalent(1) X is finitely representable in Y and vice-versa,(2) Age(X ) ≡ Age(Y ),(3) X and Y are isometric.
So separable Fraisse spaces are uniquely determined by theirage modulo ≡.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 68: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/68.jpg)
Properties of Fraısse spaces
LetI Age(X )=the set of finite dimensional subspaces of X , andI for F ,G classes of finite dimensional spaces, F ≡ G mean
that any element of F has an isometric copy in G andconversely.
PropositionAssume X and Y are separable Fraısse. Then are equivalent(1) X is finitely representable in Y and vice-versa,(2) Age(X ) ≡ Age(Y ),(3) X and Y are isometric.
We also obtained internal characterizations of classes of finitedimensional spaces which are ≡ to the age of some Fraısse(”amalgamation properties”). For such a class F we writeX=Fraısse lim F to mean ”X separable and Age(X ) ≡ F”
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 69: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/69.jpg)
Fraısse is an ultraproperty
PropositionThe following are equivalent.
1) X is weak Fraısse.2) For every E ∈ Age(XU ) the action (Isom(X ))U y Emb(E ,XU )
is (almost) transitive.
Furthermore, the following are equivalent:
1) X is Fraısse.2) For every E ∈ Age(XU ) the action (Isom(X ))U y Emb(E ,XU )
is (almost) transitive.3) For every separable Z ⊂ XU the action
(Isom(X ))U y Emb(Z ,XU ) is transitive.4) XU is Fraısse and (Isom(X ))U is SOT-dense in Isom(XU )
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 70: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/70.jpg)
Fraısse is an ultraproperty
PropositionThe following are equivalent.
1) X is weak Fraısse.2) For every E ∈ Age(XU ) the action (Isom(X ))U y Emb(E ,XU )
is (almost) transitive.
Furthermore, the following are equivalent:
1) X is Fraısse.2) For every E ∈ Age(XU ) the action (Isom(X ))U y Emb(E ,XU )
is (almost) transitive.3) For every separable Z ⊂ XU the action
(Isom(X ))U y Emb(Z ,XU ) is transitive.4) XU is Fraısse and (Isom(X ))U is SOT-dense in Isom(XU )
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 71: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/71.jpg)
Fraısse is an ultraproperty
In particular, it follows that if X is Fraısse, then its ultrapowersare Fraısse and ultrahomogeneous.
CorollaryThe non-separable Lp-space (Lp(0,1))U is ultrahomogeneous.A similar fact was observed for the Gurarij, by Aviles, Cabello,Castillo, Gonzalez, Moreno, 2013.This is related to the theory of ”strong Gurarij” spaces (Kubis).Note: they must be non-separable.
QuestionIs there a non-Hilbertian separable ultrahomogeneous space?an ultrahomogeneous renorming of Lp(0,1)?
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 72: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/72.jpg)
Fraısse is an ultraproperty
In particular, it follows that if X is Fraısse, then its ultrapowersare Fraısse and ultrahomogeneous.
CorollaryThe non-separable Lp-space (Lp(0,1))U is ultrahomogeneous.A similar fact was observed for the Gurarij, by Aviles, Cabello,Castillo, Gonzalez, Moreno, 2013.This is related to the theory of ”strong Gurarij” spaces (Kubis).Note: they must be non-separable.
QuestionIs there a non-Hilbertian separable ultrahomogeneous space?an ultrahomogeneous renorming of Lp(0,1)?
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 73: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/73.jpg)
Fraısse is an ultraproperty
In particular, it follows that if X is Fraısse, then its ultrapowersare Fraısse and ultrahomogeneous.
CorollaryThe non-separable Lp-space (Lp(0,1))U is ultrahomogeneous.A similar fact was observed for the Gurarij, by Aviles, Cabello,Castillo, Gonzalez, Moreno, 2013.This is related to the theory of ”strong Gurarij” spaces (Kubis).Note: they must be non-separable.
QuestionIs there a non-Hilbertian separable ultrahomogeneous space?an ultrahomogeneous renorming of Lp(0,1)?
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 74: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/74.jpg)
Lp spaces are Fraısse, p 6= 4,6,8, . . .
Note the result by G. Schechtman 1979 (+ Dor 1975 for p = 1) -as observed by D. Alspach 1983.
Theorem (Dor - Schechtman)For any 1 ≤ p <∞ any ε > 0, there exists δ = δp(ε) > 0 suchthat
Embδ(`np,Lp(µ)) ⊂ (Emb(`np,Lp(µ)))ε.
for every n ∈ N, and finite measure µ.
So the Fraısse property in Lp is satisfied in a strong sense forsubspaces isometric to an `np.
Note however that Schechtman’s result holds for p = 4,6,8, . . .,so things have to be more complicated for other subspaces andp 6= 4,6,8, . . ..
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 75: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/75.jpg)
Lp spaces are Fraısse, p 6= 4,6,8, . . .
Note the result by G. Schechtman 1979 (+ Dor 1975 for p = 1) -as observed by D. Alspach 1983.
Theorem (Dor - Schechtman)For any 1 ≤ p <∞ any ε > 0, there exists δ = δp(ε) > 0 suchthat
Embδ(`np,Lp(µ)) ⊂ (Emb(`np,Lp(µ)))ε.
for every n ∈ N, and finite measure µ.
So the Fraısse property in Lp is satisfied in a strong sense forsubspaces isometric to an `np.
Note however that Schechtman’s result holds for p = 4,6,8, . . .,so things have to be more complicated for other subspaces andp 6= 4,6,8, . . ..
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 76: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/76.jpg)
Lp spaces are Fraısse, p 6= 4,6,8, . . .
Note the result by G. Schechtman 1979 (+ Dor 1975 for p = 1) -as observed by D. Alspach 1983.
Theorem (Dor - Schechtman)For any 1 ≤ p <∞ any ε > 0, there exists δ = δp(ε) > 0 suchthat
Embδ(`np,Lp(µ)) ⊂ (Emb(`np,Lp(µ)))ε.
for every n ∈ N, and finite measure µ.
So the Fraısse property in Lp is satisfied in a strong sense forsubspaces isometric to an `np.
Note however that Schechtman’s result holds for p = 4,6,8, . . .,so things have to be more complicated for other subspaces andp 6= 4,6,8, . . ..
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 77: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/77.jpg)
Lp spaces are Fraısse, p 6= 4,6,8, . . .
Recall:
PropositionTFAE for X:I X is FraısseI Isom(X ) y Embδ(E ,X ) is ε-transitive for some δ depending
on ε and Eeach Agek (X ) is compact in the Banach-Mazurpseudodistance, where Agek (X ) = class of k-dim.subspaces of X .
I It is known that Agek (Lp) is closed in Banach-Mazur.(actually Agek (X ) is closed⇔ Agek (X ) = Agek (XU )).
I So we only need to show that Isom(X ) y Embδ(E ,X ) isε-transitive for some δ depending on ε and E .
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 78: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/78.jpg)
Lp spaces are Fraısse, p 6= 4,6,8, . . .
Recall:
PropositionTFAE for X:I X is FraısseI Isom(X ) y Embδ(E ,X ) is ε-transitive for some δ depending
on ε and Eeach Agek (X ) is compact in the Banach-Mazurpseudodistance, where Agek (X ) = class of k-dim.subspaces of X .
I It is known that Agek (Lp) is closed in Banach-Mazur.(actually Agek (X ) is closed⇔ Agek (X ) = Agek (XU )).
I So we only need to show that Isom(X ) y Embδ(E ,X ) isε-transitive for some δ depending on ε and E .
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 79: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/79.jpg)
Lp spaces are Fraısse, p 6= 4,6,8, . . .
Recall
Proposition (Plotkin and Rudin (1976))For p /∈ 2N, suppose that (f1, . . . , fn) ∈ Lp(Ω0,Σ0, µ0) and(g1, . . . ,gn) ∈ Lp(Ω1,Σ1, µ1) and
‖1 +n∑
j=1
aj fj‖µ0 = ‖1 +n∑
j=1
ajgj‖µ1 for every a1, . . . ,an.
Then (f1, . . . , fn) and (g1, . . . ,gn) are equidistributed(i.e. µ0((f1(ω), . . . , fn(ω)) ∈ B) = µ1((g1(ω), . . . ,gn(ω)) ∈ B) forevery B ⊂ Rn Borel)Also recall that we sketched the proof by Lusky that
CorollaryThose Lp’s are (AuH).
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 80: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/80.jpg)
Lp spaces are Fraısse, p 6= 4,6,8, . . .
Recall
Proposition (Plotkin and Rudin (1976))For p /∈ 2N, suppose that (f1, . . . , fn) ∈ Lp(Ω0,Σ0, µ0) and(g1, . . . ,gn) ∈ Lp(Ω1,Σ1, µ1) and
‖1 +n∑
j=1
aj fj‖µ0 = ‖1 +n∑
j=1
ajgj‖µ1 for every a1, . . . ,an.
Then (f1, . . . , fn) and (g1, . . . ,gn) are equidistributed(i.e. µ0((f1(ω), . . . , fn(ω)) ∈ B) = µ1((g1(ω), . . . ,gn(ω)) ∈ B) forevery B ⊂ Rn Borel)Also recall that we sketched the proof by Lusky that
CorollaryThose Lp’s are (AuH).
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 81: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/81.jpg)
Lp spaces are Fraısse, p 6= 4,6,8, . . .
To prove that those Lp’s are Fraısse, the main step is to prove a”continuous” version of Plotkin-Rudin, in the sense that if
(1+δ)−1‖1+n∑
j=1
ajgj‖µ1 ≤ ‖1+n∑
j=1
aj fj‖µ0 ≤ (1+δ)‖1+n∑
j=1
ajgj‖µ1
then (f1, . . . , fn) and (g1, . . . ,gn) are ”ε-equimeasurable” insome sense.
more precisely, we measure proximity of associated measureson Rn in the Levy-Prokhorov metric.
dLP(µ, ν) := inf ε > 0 | µ(A) ≤ ν(Aε) + ε and ν(A) ≤ µ(Aε) + ε ∀A .
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 82: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/82.jpg)
Fraisse limits of non hereditary classes
It is also possible and useful to develop a Fraısse theory withrespect to certain classes of finite dimensional subspaces,which are not ≡ to the Age of any X , because they are nothereditary.
For Lp(0,1) we can use the family of `np’s and the perturbationresult of Dor -Schechtmann to give meaning to
TheoremFor any 1 ≤ p < +∞,
Lp = lim `np.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 83: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/83.jpg)
Fraisse limits of non hereditary classes
It is also possible and useful to develop a Fraısse theory withrespect to certain classes of finite dimensional subspaces,which are not ≡ to the Age of any X , because they are nothereditary.
For Lp(0,1) we can use the family of `np’s and the perturbationresult of Dor -Schechtmann to give meaning to
TheoremFor any 1 ≤ p < +∞,
Lp = lim `np.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 84: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/84.jpg)
Fraısse Banach lattices
By considering lattice embeddings and appropriate notions ofδ-lattice embeddings, we may develop a Fraısse theory in thelattice setting, defining Fraısse Banach lattices, i.e. someunique universal object for classes of finite dimensional latticeswith an approximate lattice ultrahomogeneity property.
For example for 1 ≤ p < +∞, Lp(0,1) is a Fraısse Banachlattice.
This means exactly that it is the Fraısse lattice limit of its finitesublattices the `np’s.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 85: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/85.jpg)
Fraısse Banach lattices
By considering lattice embeddings and appropriate notions ofδ-lattice embeddings, we may develop a Fraısse theory in thelattice setting, defining Fraısse Banach lattices, i.e. someunique universal object for classes of finite dimensional latticeswith an approximate lattice ultrahomogeneity property.
For example for 1 ≤ p < +∞, Lp(0,1) is a Fraısse Banachlattice.
This means exactly that it is the Fraısse lattice limit of its finitesublattices the `np’s.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 86: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/86.jpg)
A related construction: the lattice Gurarij
Recall that the Gurarij space is obtained as the Fraisse limit ofthe class of finite dimensional normed spaces, or equivalently,as the limit of the class of spaces isometric to `n∞’s. SeeBartosova - Lopez-Abad - Mbombo - Todorcevic (2017).
The point here is that isometric embeddings between `np’srespect the lattice structure if p < +∞, but not if p = +∞.
As Fraısse limit of the `n∞’s with isometric lattice embeddingswe obtain a new object that we call the lattice Gurarij.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 87: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/87.jpg)
A related construction: the lattice Gurarij
Recall that the Gurarij space is obtained as the Fraisse limit ofthe class of finite dimensional normed spaces, or equivalently,as the limit of the class of spaces isometric to `n∞’s. SeeBartosova - Lopez-Abad - Mbombo - Todorcevic (2017).
The point here is that isometric embeddings between `np’srespect the lattice structure if p < +∞, but not if p = +∞.
As Fraısse limit of the `n∞’s with isometric lattice embeddingswe obtain a new object that we call the lattice Gurarij.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 88: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/88.jpg)
A related construction: the lattice Gurarij
Recall that the Gurarij space is obtained as the Fraisse limit ofthe class of finite dimensional normed spaces, or equivalently,as the limit of the class of spaces isometric to `n∞’s. SeeBartosova - Lopez-Abad - Mbombo - Todorcevic (2017).
The point here is that isometric embeddings between `np’srespect the lattice structure if p < +∞, but not if p = +∞.
As Fraısse limit of the `n∞’s with isometric lattice embeddingswe obtain a new object that we call the lattice Gurarij.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 89: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/89.jpg)
The ”lattice Gurarij’
Our construction is strongy inspired by some work ofCabello-Sanchez (using Πp∈NLp(0,1) as ambient space).
Theorem (F. Cabello-Sanchez, 1998)There exists a renorming of C(0,1) as an M-space with almosttransitive norm.
Theorem (the ”lattice Gurarij”)There exists a renorming of C(0,1) as an M-space Glatticewhich is the Fraısse limit of the `n∞’s with isometric latticeembeddings.In particular, for any ε > 0, for any lattice isometry t betweentwo finite dimensional sublattices of Glattice , there is a latticeisometry T on Glattice such that
‖T|F − t‖ ≤ ε.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 90: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/90.jpg)
The ”lattice Gurarij’
Our construction is strongy inspired by some work ofCabello-Sanchez (using Πp∈NLp(0,1) as ambient space).
Theorem (F. Cabello-Sanchez, 1998)There exists a renorming of C(0,1) as an M-space with almosttransitive norm.
Theorem (the ”lattice Gurarij”)There exists a renorming of C(0,1) as an M-space Glatticewhich is the Fraısse limit of the `n∞’s with isometric latticeembeddings.In particular, for any ε > 0, for any lattice isometry t betweentwo finite dimensional sublattices of Glattice , there is a latticeisometry T on Glattice such that
‖T|F − t‖ ≤ ε.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 91: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/91.jpg)
Outline
1. Transitivities of isometry groups
2. Fraısse theory and the KPT correspondence
3. Fraısse Banach spaces
4. The Approximate Ramsey Property for `np’s
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 92: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/92.jpg)
The Approximate Ramsey Property
There is relatively well known form of the KPT correspondence,i.e. combinatorial characterization of the extreme amenability ofan isometry group in terms of a Ramsey property of the Age,for metric structures.This applies without difficulty to (Isom(X ),SOT ) for a FraısseBanach space X .
DefinitionA collection F of finite dimensional normed spaces has theApproximate Ramsey Property (ARP) when for every F ,G ∈ Fand ε > 0 there exists H ∈ F such that every bicoloring c ofEmb(F ,H) admits an embedding % ∈ Emb(G,H) which isε-monochromatic for c.
Here ε-monochromatic means that for some color i ,% Emb(F ,G) ⊂ c−1(i)ε := τ ∈ Emb(F ,H) : d(c−1(i), τ) < ε.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 93: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/93.jpg)
The Approximate Ramsey Property
There is relatively well known form of the KPT correspondence,i.e. combinatorial characterization of the extreme amenability ofan isometry group in terms of a Ramsey property of the Age,for metric structures.This applies without difficulty to (Isom(X ),SOT ) for a FraısseBanach space X .
DefinitionA collection F of finite dimensional normed spaces has theApproximate Ramsey Property (ARP) when for every F ,G ∈ Fand ε > 0 there exists H ∈ F such that every bicoloring c ofEmb(F ,H) admits an embedding % ∈ Emb(G,H) which isε-monochromatic for c.
Here ε-monochromatic means that for some color i ,% Emb(F ,G) ⊂ c−1(i)ε := τ ∈ Emb(F ,H) : d(c−1(i), τ) < ε.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 94: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/94.jpg)
The Approximate Ramsey Property
Theorem (KPT correspondence for Banach spaces)For X (AuH) the following are equivalent:I Isom(X ) is extremely amenable.I Age(X ) has the approximate Ramsey property.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 95: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/95.jpg)
An example of coloring
Consider X = Lp and E a finite dimensional subspace of X .Color φ ∈ Emb(E ,X ) blue if φ(E) is K -complemented in X andred otherwise.
FactIf p = 4,6,8, . . . then the collection of finite dimensionalsubspaces of Lp does not satisfy the ARP.
PROOF.Pick F a space with a well and a badly complemented copyinside Lp. Pick G some `np (and therefore 1-complemented inLp) large enough to contain these two kinds of copies of F . Thisproves that φ defines a bad coloring.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 96: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/96.jpg)
An example of coloring
Consider X = Lp and E a finite dimensional subspace of X .Color φ ∈ Emb(E ,X ) blue if φ(E) is K -complemented in X andred otherwise.
FactIf p = 4,6,8, . . . then the collection of finite dimensionalsubspaces of Lp does not satisfy the ARP.
PROOF.Pick F a space with a well and a badly complemented copyinside Lp. Pick G some `np (and therefore 1-complemented inLp) large enough to contain these two kinds of copies of F . Thisproves that φ defines a bad coloring.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 97: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/97.jpg)
The Approximate Ramsey Property for `np’s
The KPT correspondence extends to the setting of`np-subspaces of Lp. This means we can recover the extremeamenability of Isom(Lp) through internal properties: i.e. throughan approximate Ramsey property of isometric embeddingsbetween `np’s.
Theorem (Ramsey theorem for embeddings between `np’s)
Given 1 ≤ p <∞, integers d, m, r , and ε > 0 there existsn = np(d ,m, r , ε) such that whenever c is a coloring ofEmb(`dp , `
np) with r colors, there is some isometric embedding
γ : `mp → `np which is ε-monochromatic.
The case p =∞ is due to Bartosova - Lopez-Abad - Mbombo -Todorcevic (2017). We have a direct proof for p <∞, p 6= 2.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 98: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/98.jpg)
The Approximate Ramsey Property for `np’s
The KPT correspondence extends to the setting of`np-subspaces of Lp. This means we can recover the extremeamenability of Isom(Lp) through internal properties: i.e. throughan approximate Ramsey property of isometric embeddingsbetween `np’s.
Theorem (Ramsey theorem for embeddings between `np’s)
Given 1 ≤ p <∞, integers d, m, r , and ε > 0 there existsn = np(d ,m, r , ε) such that whenever c is a coloring ofEmb(`dp , `
np) with r colors, there is some isometric embedding
γ : `mp → `np which is ε-monochromatic.
The case p =∞ is due to Bartosova - Lopez-Abad - Mbombo -Todorcevic (2017). We have a direct proof for p <∞, p 6= 2.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 99: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/99.jpg)
Comment and previous Ramsey results
I Odell-Rosenthal-Schlumprecht (1993) proved that that forevery 1 ≤ p ≤ ∞, every m ∈ N and every ε > 0 there isn ∈ N such that for every finite coloring c on S`np there isY ⊂ `np isometric to `mp so that SY is ε-monochromatic.Their proof uses tools from Banach space theory (likeunconditionality) to find many symmetries;
I Note that Odell-Rosenthal-Schlumprecht is the case d = 1!
I Matousek-Rodl (1995) proved the first result for 1 ≤ p <∞combinatorially (using spreads).
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 100: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/100.jpg)
Comment and previous Ramsey results
I Odell-Rosenthal-Schlumprecht (1993) proved that that forevery 1 ≤ p ≤ ∞, every m ∈ N and every ε > 0 there isn ∈ N such that for every finite coloring c on S`np there isY ⊂ `np isometric to `mp so that SY is ε-monochromatic.Their proof uses tools from Banach space theory (likeunconditionality) to find many symmetries;
I Note that Odell-Rosenthal-Schlumprecht is the case d = 1!
I Matousek-Rodl (1995) proved the first result for 1 ≤ p <∞combinatorially (using spreads).
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 101: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/101.jpg)
Comment and previous Ramsey results
I Odell-Rosenthal-Schlumprecht (1993) proved that that forevery 1 ≤ p ≤ ∞, every m ∈ N and every ε > 0 there isn ∈ N such that for every finite coloring c on S`np there isY ⊂ `np isometric to `mp so that SY is ε-monochromatic.Their proof uses tools from Banach space theory (likeunconditionality) to find many symmetries;
I Note that Odell-Rosenthal-Schlumprecht is the case d = 1!
I Matousek-Rodl (1995) proved the first result for 1 ≤ p <∞combinatorially (using spreads).
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 102: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/102.jpg)
A multidimensional Borsuk-Ulam antipodal theorem
We can relate our Ramsey result to an equivalent form ofBorsuk-Ulam called Lyusternik-Schnirelman theorem (1930):
Theorem (a form of Borsuk-Ulam)If the unit sphere Sn−1 of `n2 is covered by n open sets, then oneof them contains a pair −x , x of antipodal points.
By the fact that every finite open cover of a finite dimensionalsphere is the ε-fattening of some smaller open cover, for someε > 0, our result for d = 1,m = 1 may be seen as a version ofLyusternik-Schnirelman theorem ( for n ≥ n2(1,1, r , ε)), and theresult for d ,m arbitrary may be seen as a multidimensionalBorsuk-Ulam theorem.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 103: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/103.jpg)
A multidimensional Borsuk-Ulam antipodal theorem
We can relate our Ramsey result to an equivalent form ofBorsuk-Ulam called Lyusternik-Schnirelman theorem (1930):
Theorem (a form of Borsuk-Ulam)If the unit sphere Sn−1 of `n2 is covered by n open sets, then oneof them contains a pair −x , x of antipodal points.
By the fact that every finite open cover of a finite dimensionalsphere is the ε-fattening of some smaller open cover, for someε > 0, our result for d = 1,m = 1 may be seen as a version ofLyusternik-Schnirelman theorem ( for n ≥ n2(1,1, r , ε)), and theresult for d ,m arbitrary may be seen as a multidimensionalBorsuk-Ulam theorem.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 104: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/104.jpg)
Consequences
We recover the result of Giordano-Pestov through KPTcorrespondence, but also (through the Fraısse Banach spacenotion) some non-separable versions of it.
TheoremThe topological group (Isom(Lp),SOT ) is extremely amenable(Giordano-Pestov).The topological group (Isom((Lp)U ),SOT ) is also extremelyamenable.
Since it is easy to prove the approximate Ramsey property forlattice isometric embeddings between `n∞’s, we also deduce:
TheoremThe group of lattice isometries on Glattice, with SOT, isextremely amenable.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 105: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/105.jpg)
What are the separable Fraısse spaces?
QuestionFind a separable Fraısse (or even AUH) space different fromthe Gurarij or some Lp(0,1).
QuestionAre the Hilbert and the Gurarij the only stable separable Fraıssespaces (Fraısse property independent of the dimension)?
QuestionAre the Lp(0,1) spaces stable Fraısse for p non even?
Also:
QuestionShow that Lp(0,1) does not admit an ultrahomogeneousrenorming if p 6= 2.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 106: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/106.jpg)
What are the separable Fraısse spaces?
QuestionFind a separable Fraısse (or even AUH) space different fromthe Gurarij or some Lp(0,1).
QuestionAre the Hilbert and the Gurarij the only stable separable Fraıssespaces (Fraısse property independent of the dimension)?
QuestionAre the Lp(0,1) spaces stable Fraısse for p non even?
Also:
QuestionShow that Lp(0,1) does not admit an ultrahomogeneousrenorming if p 6= 2.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 107: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/107.jpg)
THANK YOU - GRACIAS!
Valentin Ferenczi Universidade de Sao Paulo Lp spaces
![Page 108: Transitivity and Ramsey properties of Lp-spaces · 2.Fra¨ıss e theory and the KPT correspondence´ 3.Fra¨ıss e Banach spaces´ 4.The Approximate Ramsey Property for ‘n p’s](https://reader034.fdocuments.in/reader034/viewer/2022042923/5f7013235d235841c509637f/html5/thumbnails/108.jpg)
F. Cabello-Sanchez, Regards sur le probleme des rotationsde Mazur, Extracta Math. 12 (1997), 97–116.
V. Ferenczi, J. Lopez-Abad, B. Mbombo, S. Todorcevic,Amalgamation and Ramsey properties of Lp-spaces, arXiv1903.05504.
A. S. Kechris, V. G. Pestov, and S. Todorcevic, Frass limits,Ramsey theory, and topological dynamics of automorphismgroups. Geom. Funct. Anal. 15 (2005), no. 1, 106–189.
V. Pestov, Dynamics of infinite-dimensional groups. TheRamsey-Dvoretzky-Milman phenomenon. Revised editionof Dynamics of infinite-dimensional groups andRamsey-type phenomena [Inst. Mat. Pura. Apl. (IMPA), Riode Janeiro, 2005; MR2164572]. University Lecture Series,40. American Mathematical Society, Providence, RI, 2006.
Valentin Ferenczi Universidade de Sao Paulo Lp spaces