Arxiv:1903.05504V3 [Math.FA] 22 Apr 2020 2010 Mathematics Subject Classiﬁcation

AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES

V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

Abstract. We study the dynamics of the group of isometries of Lp-spaces. In particular, we study the canonical actions of these groups on the space of δ-isometric embeddings of ﬁnite dimensional subspaces

of Lpp0, 1q into itself, and we show that for every real number 1 ď p ă 8 with p ‰ 4, 6, 8,... they are ε-transitive provided that δ is small enough. We achieve this by extending the classical equimeasurability principle of Plotkin and Rudin. We deﬁne the central notion of a Fraïssé Banach space which underlies

these results and of which the known separable examples are the spaces Lpp0, 1q, p ‰ 4, 6, 8,... and the n Gurarij space. We also give a proof of the Ramsey property of the classes t`p un, p ‰ 2, 8, viewing it as a multidimensional Borsuk-Ulam statement. We relate this to an arithmetic version of the Dual Ramsey Theorem of Graham and Rothschild as well as to the notion of a spreading vector of Matoušek and Rödl. Finally, we give a version of the Kechris-Pestov-Todorcevic correspondence that links the dynamics of the group of isometries of an approximately ultrahomogeneous space X with a Ramsey property of the collection of ﬁnite dimensional subspaces of X.

1. Introduction

It is a classical result of A. Pełczyński and S. Rolewicz [PelRol] that the spaces Lpp0, 1q are almost transitive, in the sense that the group of linear isometric surjections IsopLpp0, 1qq acts almost transitively on the corresponding unit sphere of Lpp0, 1q. This was later extended by W. Lusky [Lu2] who proved that in fact, the group IsopLpp0, 1qq for a real number 1 ď p ă 8 also acts almost transitively on each metric space EmbpX,Lpp0, 1qq of linear isometric embeddings from a ﬁnite dimensional subspace X of Lpp0, 1q into Lpp0, 1q, but only provided that p “ 2 or p R 2N. Other Banach spaces having this property are any Hilbert space or the Gurarij space, and recently quasi-Banach spaces with the corresponding property have been found in [CaGaKu]. This almost “ultra” transitive’ property is the metric analogue of the so-called ultrahomogeneity property of algebraic structures, the core of Fraïssé theory in model theory, and the proper context for the combinatorial characterization of the extreme amenability of the corresponding automorphism group, known as the Kechris-Pestov-Todorcevic (KPT) correspondence [KePeTo]. Recall that a topological group is extremely amenable when each of its continuous actions on a compact space has a ﬁxed point, and that the KPT correspondence states that for ultrahomogeneous structures M the extreme amenability of its automorphism group AutpMq is exactly the Ramsey property of its class

arXiv:1903.05504v3 [math.FA] 22 Apr 2020 2010 Mathematics Subject Classiﬁcation. Primary 46A22, 46B04, 05C55; Secondary, 37B05, 46B42, 54H20.

Key words and phrases. Ramsey property, amalgamation, Fraïssé theory, isometries on Lp spaces, ultrahomogeneity, extreme amenability. V. Ferenczi, J. Lopez-Abad and B. Mbombo were supported by Fapesp, projects 2012/20084-1, 2013/11390-4, 2013/24827- 1 and 2016/25574-8. V. Ferenczi was supported by CNPq, projects 303034/2015-7 and 303721/2019-2. V. Ferenczi and S. Todorcevic were supported by USP Cofecub project number 2013-7/31466UC. J. Lopez-Abad was partially supported by the Ministerio de Economía y Competitividad under grant MTM2016-76808-P. S.Todorcevic was also supported by grants from NSERC(455916) and CNRS(UMR7586). This work was initiated during a visit of J.L.-A. to the Universidade de Sao Pãulo in 2014, and continued during visits of J.L.-A. to the Fields Institute in the Fall 2014, a visit of all the authors at the Banff International Research Station in occasion of the Workshop on Homogeneous Structures in the Fall 2015, a visit of J. L-A to the University of Toronto, and a visit of V. F. to UNED in the winter of 2018. The hospitality of all these institutions is gratefully acknowledged. 1 2 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC of finitely generated substructures, called the age and denoted by AgepMq. By this means, many new examples of extremely amenable groups have been given (see [KePeTo]). The theory of abstract ultrahomogeneous metric structures has been studied in [BYBeHeUs], while the KPT correspondence has been recently extended to this context by J. Melleray and T. Tsankov [MeTsa]. The KPT correspondence for metric structures was for the first time used in [BaLALuMbo1], [BaLALuMbo2], in showing, for example, that the isometry group of the Gurarij space is extremely amenable by supplying an appropriate Ramsey type result which relies on the Graham-Rothschild Theorem. We note that the Gurarij space shares this this property with the infinite dimensional Hilbert spaces and the spaces Lpp0, 1q, proved by M. Gromov and V. D. Milman [GrMi], and by T. Giordano and V. Pestov [GiPe] respectively, relying on the method of concentration of measure.

It follows from the Banach-Lamperti description of isometries of Lp spaces that the isometry groups of the spaces Lpp0, 1q and Lqp0, 1q, when 1 ď p, q ‰ 2 ă 8, are topologically isomorphic. However, there are canonical actions of the same nature that have very different properties, depending on p: while for p R 2N all the canonical actions by composition IsopLpp0, 1qq y EmbpX,Lpp0, 1qq are almost transitive, it follows from a work of B. Randrianantoanina [Ran] based on an early result of H. P. Rosenthal [Ros], that there are finite dimensional subspaces X of L2np0, 1q, n P N, n ą 1, for which that action is far of being almost transitive, because X has well complemented and badly complemented copies on L2n (see Proposition 2.10). One of the main goals of this paper is to study the canonical actions of isometry groups of the Lebesgue spaces, not only on the spaces of isometric embeddings, but also on EmbδpX,Lpp0, 1qq the class of δ-isometric embeddings from X into Lpp0, 1q. While δ-isometric embeddings were already considered by M. Lupini [Lup], in a general theory of stability including, for example, operator spaces and systems, in this paper one of our objectives is to obtain finer results based on weaker (and/or more precise) properties of homogeneity for structures, in such a way that Lp spaces are included in the classes we consider. With these examples in mind, we concentrate on the case of the Banach spaces, and develop a theory which may be specific to the Banach space setting. In particular, although our results should be extendable to the quasi-Banach setting and the case of Lp spaces for 0 ă p ă 1, we shall not consider that situation. We say that a Banach space E is Fraïssé when for every dimension k and ε ą 0 there is δ ą 0 such that the canonical action by composition IsopEq y EmbδpX,Eq is ε-transitive for every X P AgekpEq, the collection of k-dimensional subspaces of E. We will see that Lpp0, 1q is Fraïssé, provided that p is not even. Other Fraïssé spaces are any Hilbert space and the Gurarij space. The interest of these ε ´ δ continuity properties can be appreciated by the following: First of all, they imply that for Fraïssé spaces E the Banach-Mazur and a restricted version of the Kadets pseudometrics are uniformly equivalent on AgepEq; secondly, there is a characterization of the Fraïssé property for Banach spaces by passing to the ultrapower and involving homogeneity on isometric (instead of δ-isometric) embeddings in the ultrapower; thirdly, Fraïssé spaces are isometrically determined by the collection of their finite dimensional subspaces and there is a Fraïssé correspondence; finally, the spaces who are finitely representable on a Fraïssé space

E can be isometrically embedded into E, and, consequently, the Hilbert space `2 is the minimal Fraïssé space and G is the unique Fraïssé space with trivial cotype. n The Gurarij space G is, by deﬁnition, an abstract inductive limit of `8’s. The proof of the Fraïssé property of G follows from a combination of the existence of general pushouts of ﬁnite dimensional spaces, and the fact that δ-isometric embeddings are in some precise sense 2δ-close to isometric embeddings. For the class AgepLpp0, 1qq there is not known full pushout; instead, for p R 2N there is a restricted version stating that for every k P N and ε ą 0 there is δ ą 0 such that if X,Y,Z P AgepLpp0, 1qq with dim X “ k, AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 3 and γ P EmbδpX,Y q and η P EmbδpX,Zq, then there are V P AgepLpp0, 1qq and isometric embeddings i : Y Ñ V and j : Z Ñ V such that }i˝γ´j˝η} ď ε. This is exactly, by means of the Fraïssé correspondence

(see Corollary 2.27), the Fraïssé property of Lpp0, 1q. We prove this by establishing the approximate equimeasurability principle, the continuous statement extending the classical equimeasurability principle n of Plotkin and Rudin: Suppose that µ, ν are Borel measures on R for which the coordinate functions ppq p p ppq xj are p-integrable. Then µ paq “ |1 ` jăn ajxj| dµpxq “ |1 ` jăn ajxj| dνpxq “ ν paq for all a “ pa q P n then the measures µ and ν are equal. We prove that µ and ν are close, for example with j jăn R ş ř ş ř respect to the Lévy-Prohorovp metric, when the corresponding characteristics are close, andp moreover we obtain a full characterization. n We study the approximate Ramsey property pARPq of the classes t`p un, that also can be seen as a version of a multidimensional Borsuk-Ulam Theorem (see §§§5.1.1). In general, a class of finite dimensional G has the pARPq when for every X,Y P G and every ε ą 0 there is Z P G such that for every 1-Lipschitz mapping c : EmbpX,Zq Ñ r0, 1s there is some isometric embedding γ : Y Ñ Z such that the oscillation of c in the set of compositions γ ˝EmbpX,Y q is at most ε. It is interesting to mention that, while the proof of n the pARPq of t`8un uses the dual Ramsey Theorem (DR) of Graham and Rothschild (see [BaLALuMbo1] n ), our proof of the pARPq of t`p un p ‰ 2, 8 utilize an arithmetical version of (DR), namely, that for partitions of equal sized pieces. We also analyze restricted versions of the previous notions: Given a class G of finite dimensional Banach spaces, we introduce what we call G-Fraïssé spaces, those for which the natural actions on δ-embeddings are ε-transitive, provided that the embeddings have as domain an element of G. In this way, every n Lpp0, 1q, being p even or not, is the Fraïssé limit of t`p un. We also restrict the type of embeddings we are interested in, for example by analyzing Fraïssé lattices, where now isometries and embeddings must respect the lattice structure. We find the first Fraïssé Banach lattice, an M-space, denoted by G˛, that is the lattice version of the Gurarij space, and that has an extremely amenable group of lattice isometries, proved using a KPT correspondence for Banach lattices. The paper is organized as follows. In §2 we introduce and study Fraïssé Banach spaces, as well as the local versions of them, meaning that the canonical actions of the rotations are restricted to embeddings defined on spaces a fixed family. For those spaces, we see the uniform equivalence of the Banach-Mazur and the Kadets pseudometrics. In §§2.1 we prove the Fraïssé correspondence for Banach spaces, including its local version, and in §§2.2 we characterize the Fraïssé property of a Banach space in terms of a uniform equivalence of metrics. In §3 we introduce the lattice versions, including the proof of the fact that every

Lpp0, 1q is lattice Fraïssé, a fact that follows from an approximation result by G. Schechtman [Sch] on δ- n isometric embeddings deﬁned on `p . Section 4 is devoted to the proof of the approximate equimeasurability principle for p R 2N, in §§4.1 we see how this is used to show that those Lpp0, 1q are Fraïssé. The proof the principle is given in §§4.2. Section 5 is devoted to the approximate Ramsey property, in particular of the n class t`p un, and its reformulation à la Borsuk-Ulam is given in §§§5.1.1, while its proof and the relation with an approximate Ramsey statement for equisurjections is the content of §§5.2. The last Section 6 is dedicated to the existence of a Fraïssé M-space whose group of lattice isometries is extremely amenable.

2. Fraïssé Banach spaces

n pnq We consider spaces over F “ R, C; given n P N, the unit basis of F , denoted by puj qjăn, or simply th pnq pujqjăn, is the sequence that for each j, the k coordinate of uj is delta of Dirac δj,k. When needed, will use the set theoretical convention of identifying an integer n with t0, 1, . . . , n ´ 1u. Given Banach spaces X and Y and δ ě 0, a δ-isometric embedding (or δ-isometry) T : X Ñ Y is a linear map such that 4 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC for all x P X one has that 1 }x} ď }T x} ď p1 ` δq}x}. 1 ` δ When δ “ 0 we will simply use isometric embeddings to refer to 0-isometric embeddings. Let EmbδpX,Y q be the collection of δ-isometric embeddings between X and Y , and let IsopXq be the group of isometries on X. Given two families H and G of ﬁnite dimensional spaces we write H ĺ G when for every X P H there is Y P G that is isometric to X, denoted by X ” Y ; then H ” G denotes that H ĺ G ĺ H, and H” is the class of all ﬁnite dimensional spaces with an isometric copy in H.

Definition 2.1. Given a Banach space E, let AgepEq be the class of all finite dimensional subspaces of E. Following standard convention (see for example [Ho, pp 324]) we will say that X and Y have the same age when AgepXq ” AgepY q. Given a family H of finite dimensional spaces, let Hn be the subfamily of H consisting of those spaces of dimension n. In particular, we write AgenpXq to denote pAgepXqqn. Given a class of finite dimensional Banach spaces H and a Banach space E, let HE be the collection of subspaces of E isometric to some element in H.

Recall the gap or opening metric on AgenpEq is deﬁned by

ΛEpX,Y q :“ max max min }x ´ y}E, max min }x ´ y}E ; xPB yPB yPB xPB " X Y Y X * in other words, ΛEpX,Y q is the } ¨ }E-Hausdorff distance between the unit balls of X and Y . This induces 2 the following Gromov-Hausdorff function, E-Kadets on AgenpEq , defined as

γEpX,Y q :“ inftΛEpX0,Y0q : X0,Y0 P AgenpEq,X0 ” X,Y0 ” Y u.

When E is universal γE is the original Kadets pseudometric (see [Kad], [KaOs]), although in general γE may not be a pseudometric. We will see that in other natural cases, γE satisﬁes the triangle inequality. It is easy to see that γEpX,Y q “ 0 if and only if X and Y are isometric. There is another well-known pseudometric with this property. This is the Banach-Mazur pseudometric on AgenpEq:

´1 dBMpX,Y q :“ logp inf }T } ¨ }T }q T :XÑY where the inﬁmum runs over all isomorphisms T : X Ñ Y . It is well-known that pAgenpEq, dBMq is a pre-compact pseudometric space; that is, every sequence in AgenpEq has a dBM-convergent subsequence, not necessarily to an element of AgenpEq.

Deﬁnition 2.2. Let E be an inﬁnite dimensional Banach space, and let G ĺ AgepEq. (a) E is G-homogeneous pG´Hq when for every X P G and every and every γ, η P EmbpX,Eq there is some g P IsopEq such that g ˝ γ “ η; in other words, when for each X P G, the natural action IsopEq y EmbpX,Eq by composition is transitive. (b) E is is called approximately G-homogeneous pAGHq when for every X P G and every ε ą 0 the natural action by composition IsopEq y EmbpX,Eq is ε-transitive, that is, whenever γ, η P EmbpX,Eq there is g P IsopEq such that }g ˝ γ ´ η} ă ε. (c) E is is called weak G-Fraïssé when for every X P G and every ε ą 0 there is a δ ą 0 such that the action IsopEq y EmbδpX,Eq is ε-transitive. (d) E is G-Fraïssé when for every dimension k P N and every ε ą 0 there is a δ ą 0 such that the action IsopEq y EmbδpX,Eq is ε-transitive for every X P Gk. When G “ AgepEq, then we will use ultrahomogeneous puHq, approximately ultrahomogeneous pAuHq, weak-Fraïssé and Fraïssé for the corresponding G-homogeneities. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 5

It is worth to point out that the notion of approximate ultrahomogeneity deﬁned here coincides with the general notion of approximate ultrahomogeneity when the Banach spaces are regarded as metric structures (see [BY], [BYBeHeUs], [MeTsa]). Also, the particular case of Fraïssé property with modulus independent of the dimension was studied in [Lup] and it was named stable Fraïssé property. We will say that a mapping $ : S ˆ r0, 8rÑ r0, 8r, where S is an arbitrary set, is a modulus when $ps, ¨q is increasing and continuous at zero with value zero for every s P S. The following is easy to prove.

Proposition 2.3. 1) E is weak-Fraïssé if and only if there exists a modulus $G,E : G ˆ r0, 8rÑ r0, 8r, called modulus of stability of G in E, such that for every X P G every δ ě 0 and every ε ą 0 one has that IsopEq y EmbδpX,Eq is $pX, δq ` ε-transitive. In this case $G,E : G ˆ r0, 8rÑ r0, 8r deﬁned for X P G and δ ě 0 as $X,Epδq “ inftε ą 0 : IsopEq y EmbδpX,Eq is ε-transitiveu is the optimal modulus of stability of G in E. 2) E is G-Fraïssé if and only if E is weak G-Fraïssé with a modulus that only depends on the dimension of X P G. In this case, $G,E : N ˆ r0, 8rÑ r0, 8r,

$G,Epk, δq “ inftε ą 0 : IsopEq y EmbδpX,Eq is ε-transitive for all X P Gku is the optimal modulus of stability of G in E. 3) If $ : S ˆ r0, 8rÑ r0, 8r is a modulus, then $˚ps, δq :“ inf $ps, δ1q δ1ąδ ˚ is a continuous modulus such that $ps, δq ď $ ps, δq. Example 2.4. A Hilbert space is puHq and also is a Fraïssé Banach space with modulus $pk, δq “ 2δ.

Proof. Suppose that H is a Hilbert space. Clearly, a subspace of H is again Hilbert, so, the Banach- Mazur limit of subspaces of H is again (mod isometry) a subspace of H. Suppose now that γ : F Ñ H is a δ-isometry, with F Ď H ﬁnite dimensional. Choose an orthonormal basis pxjqjăn of F , and such that pγxjqjăn is an orthogonal sequence (the singular value decomposition). Let ι : F Ñ H be the isometric linear embedding deﬁned by ιpxjq :“ γpxjq{}γpxjq} for all j ă n. Then given scalars pajqjăn we have that 1 1 } a γx ´ a ιx }2 “x a 1 ´ γx , a 1 ´ γx y “ j j j j j γx j j γx j j j j } j} j } j} ÿ ÿ ÿ ˆ ˙ ÿ ˆ ˙ 2 2 2 2 “ |aj| |}γxj} ´ 1| ď δ } ajxj} . j j ÿ ÿ So, if we extend ι to an isometry I P IsopHq, then }γ ´ I F } ď δ, as desired. 1 Example 2.5. The Gurarij space G [Gu] is Fraïssé with modulus $pk, δq “ 2δ but not puHq.

Proof. It was already known by Gurarij that G is not even transitive: It is well known that an isometry moves a point of differentiability of the unit sphere to a point of differentiability. Since G is universal, its unit sphere has points of differentiability and points of non-differentiability. On the other direction, G is Fraïssé with modulus $pk, δq “ δ (see [BaLALuMbo2, Corollary 2.16], [Lup, §§6.1] ).

Problem 2.6. Are G and the Hilbert space H the only separable stable Fraïssé Banach spaces?

n Example 2.7. For every 1 ď p ă 8 the space Lpr0, 1s is t`p un-Fraïssé (see Proposition 3.7). In fact, n Lpr0, 1s is the Fraïssé limit of t`p un (see Theorem 2.26). 1In [BaLALuMbo2], δ-embeddings are always considered to be contractions, and because of this the modulus $ of Gurarij space can be proved to be δ 6 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

Example 2.8. W. Lusky [Lu2], using the equimeasurability theorem of A. I. Plotkin [Plo1] and W. Rudin 2 [Ru], proved that for p R 2N the space Lpp0, 1q is (AuH) . On the other hand, the isometry group never acts transitively on the unit sphere of Lpp0, 1q if p ‰ 2. One of our main results will be to show that in fact for p R 2N the space Lpp0, 1q is Fraïssé (Theorem 4.1).

Problem 2.9. Are G, Lpp0, 1q, p ‰ 4, 6, 8,... the only separable Fraïssé Banach spaces?

It is well-known there are other almost transitive Banach spaces; for example E :“ LppXq for any almost transitive Banach space X. In particular, LppGq could be pAuHq or even Fraïssé. However this n is not so because there are well-complemented and not well complemented isometric copies of `p , hence the corresponding Bochner spaces cannot be pAuHq. A similar reasoning holds for LppLqq, at least when 1 ď p, q ă 2 and p ‰ q. Similarly, although much more complicated, we will see in the next Proposition

2.10 that the spaces Lpp0, 1q for p “ 4, 6, 8,... cannot be pAuHq. This fact was already proved by Lusky by using a counterexample of Rudin in [Ru] exposing the non-equimeasurability theorem for those p’s.

Proposition 2.10. Assume p P 2N, p ě 4. For any C ě 1 and δ ě 0, there are isometric X,Y P AgepLpp0, 1qq such that for any bounded linear mapping T : Lpp0, 1q Ñ Lpp0, 1q, if T X P EmbδpX,Y q, then }T } ě C.

Proof. It is proved by B. Randrianantoanina [Ran] that for p P 2N, p ą 2, the uncomplemented subspace Yp of Lp built by H. Rosenthal in [Ros] is isometric to a certain complemented subspace Zp of Lp spanned by 3-valued independent symmetric random variables. Since the space Zp is the span of a sequence of independent mean zero random variables, it has an unconditional basis, [Ros, Remark 2, page 278]. Let pynq (respectively pznq) be the associated basis of Yp (resp. Zp), and Yn “ xyjyjăn, Zn “ xzjyjăn. On the one hand the Zn’s are uniformly complemented in Zp and therefore in Lpp0, 1q; on the other hand the Yn’s are not, otherwise by reflexivity and a weak limit argument, Yp would be. In other words, there are projections Qn onto Zn with uniform bound c, but Cn :“ inftC : Yn is Cćomplemented in Lpp0, 1qu tends to `8. For any extension T on Lpp0, 1q of a δ-isometric map t between Yn and Zn, we have that ´1 ´1 ´1 t QnT is a projection onto Yn. Since }t QnT } ě Cn, it follows that }T } ě c Cn{p1 ` δq, which tends to `8. Remark 2.11. The terminology “homogeneous” is commonly used in classical and metric model theory. In Banach space theory, it has to be related to the concept of “disposition”, for example used by V. I. Gurarij in [Gu] to define his space (of universal “placement”). A Banach space E is of approximate disposition when for every X,Y P AgepEq, δ ą 0, ι P EmbpX,Y q and every γ P EmbpX,Eq there is

η P EmbδpY,Eq such that η ˝ ι “ γ. When AgepEq consists of all ﬁnite dimensional normed spaces, E is called of universal approximate disposition. It is easy to see that if E is pAuHq then it is of approximate disposition.

We have the following characterization of G-Fraïssé Banach spaces. Note that when G ĺ AgepEq the

E-Kadets function γE is well deﬁned on G.

Theorem 2.12. The following are equivalent for a Banach space E and G ĺ AgepEq.

1) E is G-Fraïssé and γE is a complete pseudometric on G. 2) E is weak G-Fraïssé and γE is a complete pseudometric that is uniformly equivalent to dBM on Gk for every k.

2 In that paper Lusky states that for every X P AgepEq, ε ą 0 and γ P EmbpX,Lpq there is a surjective 1 ` ε-isomorphism of Lpp0, 1q extending γ, but its proof directly gives the pAuHq of Lpp0, 1q for those p’s AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 7

3) E is weak G-Fraïssé and G is dBM-compact.

Consequently, E is Fraïssé if and only if it is weak-Fraïssé and AgepEq is dBM-compact.

It follows from this that the Hilbert and the Gurarij spaces are very special Fraïssé spaces: Recall that BM a Banach space Y is ﬁnitely representable in X if AgekpY q is included in the dBM-closure AgekpXq of AgekpXq for every k.

Proposition 2.13. Let E be a Fraïssé Banach space. The following are equivalent for a separable Banach space X. 1) X is ﬁnitely representable on E. 2) X can be isometrically embedded into E. Consequently,

3) `2 is the minimal separable Fraïssé Banach space, 3 4) G is the only separable Fraïssé Banach space with trivial cotype 5) G is the maximal separable Fraïssé Banach space.

Proof. 1) implies 2): Suppose that X is finitely representable in E. Let pxjqjPN be a dense set of X, and for each n, let Xn :“ xxjyjăn. Since X is finitely representable and AgepEq is Banach-Mazur compact, we can find for each n some γn P EmbpXn,Eq. By the pAuHq of E, for each n ě 1 we can find gn P IsopEq n such that }gn ˝ γn Xn´1 ´ γn´1} ď 1{2 . Let η0 :“ γ0, ηn :“ g1 ˝ ¨ ¨ ¨ ˝ gn ˝ γn for n ě 1. It follows that n }ηn Xn´1 ´ ηn´1} ď 1{2 , pηl Xnqlěn is a Cauchy sequence with respect to the norm metric. Since this is a complete metric, we can define η : xxjyjPN Ñ E, ηpxq :“ limlěn ηlpxq if x P Xn. Clearly this is an isometric embedding that extends to X.

3): By Dvoretzky’s Theorem `2 is ﬁnitely representable in E, so `2 isometrically embeds into E if E is Fraïssé. 4): A classical result by B. Maurey and G. Pisier [MaPi] states that E has trivial cotype if n n and only E contains all `8’s uniformly; that is, there is some C ě 1 such that dBMp`8, AgenpEqq ď C for n BM n all n. By the ﬁnite version of James theorem, `8 P AgenpEq , so it follows that `8 P AgepEq for every n. Then E is universal for separable spaces. Since G is the unique, up to isometry, universal separable (AuH) Banach space (see [KuSo] or Proposition 2.22), E and G are isometric. For the proof of Theorem 2.12 we will use the next.

Proposition 2.14. Let E be a Banach space, and suppose that G ĺ AgepEq.

1) If E is pAGHq, then γE is deﬁned on GE by the formula γEpX,Y q “ infgPIsopEq ΛEpgX, Y q. Conse- quently, γE is a pseudometric on each Gk.

2) In general, dBMpX,Y q ď 4kΛEpX,Y q for every X,Y P AgekpEq such that ΛEpX,Y q ď 1{p2kq, and consequently, if E is pAGHq, the identity map pGk, γEq Ñ pGk, dBMq is uniformly continuous for each k.

3) If E is weak G-Fraïssé, then γE is a pseudometric on each Gk topologically equivalent to dBM.

Proof. 1): We use the following.

Claim 2.14.1. For γ, η P EmbδpX,Eq one has that ΛEpγX, ηXq ď 2p1 ` δq}γ ´ η}.

3 n q 1{q Recall that a Banach space X has cotype q for some 2 ď q ď 8 when there is some constant C such that p j“1 }xj } q ď n n q 1{q Cpp1{2 q pθ qn Pt´1,1un } j“1 θj xj } q for every ﬁnite sequence x1, . . . , xn P X. X has no-trivial cotype when X has j j“1 ř cotype q forř some 2 ď q ă 8ř. 8 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

Proof of Claim: Given γx P X of norm one, ηx ηx }γx ´ } ď}γx ´ ηx} ` }ηx ´ }“}γx ´ ηx} ` |}ηx} ´ 1| “ }γx ´ ηx} ` |}ηx} ´ }γx}| ď }ηx} }ηx} ď2}γx ´ ηx} ď 2p1 ` δq}γ ´ η}.

Fix X,Y P GE with dim X “ dim Y . Fix also isometric embeddings γ : X Ñ E, η : Y Ñ E and ε ą 0, let g, h P IsopEq be such that }g X ´ γ}, }h Y ´ η} ď ε. Since ΛE is invariant for the natural action of IsopEq on AgepEq, ´1 ΛEph gX, Y q “ΛEpgX, hY q ď ΛEpgX, γXq ` ΛEphY, ηY q ` ΛEpγX, ηY q ď

ď2}g X ´ γ} ` 2}h Y ´ η} ` ΛEpγX, ηY q ď ΛEpγX, ηY q ` 4ε.

2): Let pxjqjăk be an Auerbach basis of X, that is, pxjqj is normalized and maxj |aj| ď } j ajxj} for every pa q . Suppose that Λ pX,Y q ď 1{p2kq. For each j ă k, let y P B be such that }x ´ j j E j Y ř j yj} ď ΛEpX,Y q. Given pajqj, we have that } j ajyj} ď } j ajxj} ` maxj |aj| j }xj ´ yj} ď p1 ` kΛ pX,Y qq} a x }, and similarly, } a y } ě p1 ´ kΛ pX,Y qq} a x }. Since Λ pX,Y q ă 1{k, E j j j j j j ř E ř j j j ř E it follows that θ : X Ñ Y deﬁned linearly by x ÞÑ y is an isomorphism between X and Y , and ř ř j j ř since ΛEpX,Y q ď 1{p2kq we obtain that p1 ´ kΛEpX,Y qq ě 1{p1 ` 2kΛEpX,Y qq. This implies that ´1 }θ}, }θ } ď 1 ` 2kΛEpX,Y q, and so ´1 2 dBMpX,Y q ď logp}θ} ¨ }θ }q ď logpp1 ` 2kΛEpX,Y qq q ď 4kΛEpX,Y q.

It follows from this inequality and the fact that dBM is IsopEq-invariant that Id : pGk, γEq Ñ pGk, dBMq is uniformly continuous for each k. 3): For suppose that E is weak G-Fraïssé. To simplify the notation, we may assume that G Ď AgepEq.

Suppose that pXnqn in Gk dBM-converges to X P Gk. Fix ε ą 0, and let 0 ă δ ď 1 be such that IsopEq y EmbδpX,Eq is ε{4-transitive. Let n0 be such that dBMpX,Xnq ď logp1 ` δq, and for each ´1 n ě n0 choose θn : X Ñ Xn so that }θn} ¨ }θn} ď 1 ` δ. Observe that θn P EmbδpX,Xnq. It follows that, for such n’s, there is gn P IsopEq such that }θn ´ gn X} ď ε{4, and by Claim 2.14.1, γEpX,Xnq ď ΛEpXn, gnpXqq ď 2p1 ` δqε{4 ď ε. Proof of Theorem 2.12. Obviously, the statement we have to prove is equivalent to the corresponding one for any other family H such that H ” G, so for convenience we assume that G “ GE and that it is ΛE-closed in AgepEq. 1) ùñ 2): We already know by Proposition 2.14 2) that Id : pGk, γEq Ñ pGk, dBMq is uniformly continuous for each k. The other part readily follows from the next.

Claim 2.14.2. Suppose that ε ą 0 and 0 ă δ ď 1. If IsopEq y EmbδpX,Eq is ε-transitive, then dBMpX,Y q ď δ{2 implies that γEpX,Y q ď 4ε for every Y P AgepEq.

Proof of Claim: We assume the hypotheses, and suppose that dBMpX,Y q ď δ{2. Let θ : X Ñ Y be an ´1 δ{2 isomorphism such that }θ}}θ } ď e ď 1`δ. Hence, there is some g P IsopEq such that }g X ´θ} ď ε. By Claim 2.14.1, ΛEpgX, θXq ď 4ε, so γEpX,Y q ď 4ε.

2) ùñ 3): Suppose that γE is a complete pseudometric that is uniformly equivalent to dBM on Gk for every k. We have to prove that Gk is compact, so let pXnqn be a sequence in Gk. Since dBM is a compact pseudometric on the class of all k-dimensional Banach spaces, we can extract a dBM-Cauchy subsequence pXnqnPN . Since Id : pGk, dBMq Ñ pGk, γEq is uniformly continuous, pXnqnPN is γE-Cauchy. Since γE is complete in G, it follows that pXnqnPN γE-converges to some X P Gk. Finally, the identity Id : pGk, γEq Ñ pGk, dBMq is continuous, hence, pXnqnPN dBM-converges to X. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 9

3) ùñ 1) : It follows from Proposition 2.14 3) and the fact that we are supposing that Gk is dBM- compact that γE is also a compact pseudometric, hence complete. Fix now k and ε ą 0, and for each

X P Gk, choose 0 ă δX ď 1 such that IsopEq y EmbδX pX,Eq is ε{2-transitive. By compactness of pGk, dBMq, we can ﬁnd pXjqjăn such that Gk Ď jăn BBMpXj, δXj {3q. We claim that δ :“ p1{3q minj δXj works: For suppose that γ, η P Emb pX,Eq with X P G . Let j ă n and let θ : X Ñ X be an isomorphism δ Ť k j ´1 δXj {3 such that }θ}}θ } ď e . Since δXj ď 1, it follows that

δX }θ}, }θ´1} ď }θ}}θ´1} ď 1 ` j . 2

Since p1 ` δqp1 ` δ {2q ď p1 ` δ {3qp1 ` δ {2q ď 1 ` δ , it follows that γ ˝ θ, η ˝ θ P Emb pXj,Eq, Xj Xj Xj Xj δXj so there is g P IsopEq such that }g ˝ γ ˝ θ ´ η ˝ θ} ď ε{2 . Hence, }g ˝ γ ´ η} ď pε{2q}θ´1} ď ε. It is interesting to note that being Fraïssé is preserved by taking ultrapowers. Recall that given a Banach space E, and given a non-principal ultraﬁlter U on N, we write EU to denote the ultrapower EN{U. For th each n P N, let πn : EN Ñ E be the n projection, πnppxmqmq “ xn. We denote by IsopEqU the subgroup of IsopEU q consisting of all isometries of the ultrapower EU of the form rpxnqnsU ÞÑ rpgnpxnqqnsU for some BM sequence pgnqn P IsopEqN. It is well known that AgepEU q ” AgepEq .

Proposition 2.15. Let E be a Banach space, and let U be a non-principal ultraﬁlter on N. The following are equivalent. 1) E is Fraïssé.

2) EU is Fraïssé and pIsopEqqU is dense in IsopEU q with respect to the strong operator topology SOT. 3) For every X P AgepEU q one has that pIsopEqqU y EmbpX,EU q is almost transitive. 4) For every X P AgepEU q one has that pIsopEqqU y EmbpX,EU q is transitive. 5) For every separable X Ă EU one has that pIsopEqqU y EmbpX,EU q is transitive. 6) EU is puHq and pIsopEqqU is dense in IsopEU q with respect to the SOT. Moreover, if any of the previous conditions hold we have that

˚ $EU pk, δq “ $Epk, δq. (1)

In particular, it follows that if E is Fraïssé, then its ultrapowers are Fraïssé and puHq.

Proof. 1) ùñ 2):

Claim 2.15.1. For every k P N, X P AgekpEU q and 0 ă ξ ă δ we have that pIsopEqqU acts p$Epk, δq ` ξq- transitively on Embδ´ξpX,EU q. In particular, the action pIsopEqqU y EmbpX,EU q is approximately 1 1 transitive for every X P AgepEU q, and $EU pk, δq ď infδ ąδ $Epk, δ q.

BM Proof of Claim: For suppose that X P AgekpEU q. Since we know that AgekpEU q ” AgekpEq ” AgekpEq, we may assume that X P AgekpEq. Let γ P Embδ´ξpX,EU q. For every x P X, write γpxq “ rpγnpxqqsU . It follows that the set A “ tn P N : γn P EmbδpX,Equ P U, so for each n P A, choose gn P IsopEq such that }gn X ´ γn} ď $kpδq ` ξ{2. For each n R A, let gn :“ IdE. Deﬁne I :“ rpgnqnsU ; then A Ď tn P N : }πn ˝ I X ´ γn} ď $kpδq ` ξu, so, this set is in U. This means that }I X ´ γ} ď $kpδq ` ξ.

It follows from this, and the characterization in Theorem 2.12 that EU is Fraïssé. Moreover, the Claim also easily implies that pIsopEqqU is dense in IsopEU q. 10 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

2) ùñ 3): Since EU is Fraïssé, it is (AuH), and this together with the fact we are assuming that pIsopEqqU is dense in IsopEU q, readily implies 3). 3) ùñ 4): Suppose that X P AgepEU q and γ P EmbpX,EU qq. For every x P X, write γpxq “ rpγnpxqqsU , pkq and for each k P N, choose Ik :“ rpgn qsU P pIsopEqqU such that }Ik X ´ γ} ă 1{k. For each k, let Ak :“ pkq tn P N : γn P EmbpX,Eq and }gn X ´ γn} ď 1{ku P U. By making a small perturbation if needed, we may assume that for every n P N one has that γn is not an isometry. So, in particular, k Ak “H. For k n each n P A , let kpnq be the maximal k such that n P A , and deﬁne g :“ gp p qq, while for n R A , k k k n n Ş k k let g :“ Id . Let I :“ rpg qs . Then for every k P , A Ď tn : }g X ´ γ } ď 1{ku, so, this set is in n Ť E n U N k n n Ť U, and as a consequence we have that I X “ γ. 4) ùñ 5): the proof is very similar to the previous one of that 3) ùñ 4). We leave the details to the reader.

5) ùñ 6): the fact that EU is puHq is trivial, and the second fact is a direct consequence of 4). In order to obtain (1) we will not prove 6) ùñ 1) directly, but 6) ùñ 2) and then 2) ùñ 1). 6) ùñ 1): Suppose otherwise that E is not Fraïssé; by Theorem 2.12, there is some k, ε ą 0 and for every n some Xn P AgekpEq and γn P Emb1{npXn,Eq such that

inf }g Xn ´ γn} ą ε. (2) gPIsopEq

pnq pnq For each n, let pxj qjăk be an Auerbach basis of Xn, and for each j ă k let xj :“ rpxj qsU , X :“ pnq xxjyjăk, and γ : X Ñ EU , γp j ajxjq :“ rpγnp j ajxj qqsU . Then, γ P EmbpX,EU q; By 6), there is I “ rpgnqsU P pIsopEqqU such that }I X ´ γ} ă ε{2. In particular, A :“ tn : }gn X ´ γn} ď ε{2u P U. pnq ř ř Let now B :“ tn : pxj qjăk and pxjqjăk are 2-equivalentu P U. It follows that given n P A X B, and pnq given x “ j ajxj P Xn, ε ř }g pxq ´ γ pxq} “ }π ˝ Ip a x q ´ π γp a x q} ď } a x } ď ε}x}. n n n j j n j j 2 j j j j j ÿ ÿ ÿ This contradicts (2)

Finally, suppose that EU is Fraïssé with modulus $EU , and that pIsopEqqU is dense in IsopEU q. Claim 2.15.2. $ k, δ $˚ k, δ $˚ p, δ . EU p q “ EU p q “ EU p q

Proof of Claim: Fix γ P EmbδpX,EU q, for X P AgekpEU q, and ε ą 0. Without loss of generality, we assume that π˝γ R EmbpX,EU q. For each k, let δk :“ δ`1{k, and let Ak :“ tn P N : πnγ P Embδk pX,EU qu, that belongs to U. Let γk : X Ñ EU be such that πn ˝ γk “ πn ˝ γ for every n P Ak. Then pkq γk P Embδk pX,EU q, so there is some Ik :“ rpgn qnsU P pIsopEqqU such that the set Bk “ tn P Ak :

}gn X ´ πn ˝ γk} ď $EU pk, δkq ` εu P U. For each n P k Bk, let kpnq be the maximum of those k’s k n such that n P B . For such n, let g :“ gp p qq, and for n R B , let g :“ Id . It follows that k n n Ť k k n E 1 I :“ rpg q s P pIsopEqq satisﬁes that }I X ´ γ} ď inf 1 $pk, δ q ` ε. n n U U δ Ť

Now let us see that $Epk, δq ď $EU pk, δq: given γ P EmbδpX,EU q, we deﬁne γ¯ P EmbδpX,EU q,

γ¯pxq :“ rpγpxqqsU . Let I “ rpgnqnsU P pIsopEqqU be such that }I X ´ γ¯} ď $EU pk, δq ` ε{2, so

A “ tn P N : }gn X ´ γ} ď $EU pk, δq ` εu P U; if we choose n P A, then }gn X ´ γ} ď $EU pk, δq ` ε. The readers familiar with the logic structures, will notice that some of the previous implications are particular instances of standard facts in continuous or classical model theory. For example, 3) implies 5) is the countable saturation of non-trivial ultrapowers, while the reverse implication is an instance of Łos Theorem (see, for example [Ho] or [BYBeHeUs]). 1 1 From this, and the Claim 2.15.1 and Claim 2.15.2 we have that $EU pk, δq “ infδ ąδ $Epk, δ q. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 11

Corollary 2.16. For p ‰ 4, 6, 8,... , any non-trivial ultrapower of Lpp0, 1q is an puHq Lp-space.

It had been already observed in [AvCSCaGoMo, Proposition 4.13] that any non-trivial ultrapower of G is ultrahomogeneous. We shall now see that Fraïssé Banach spaces are locally determined. The following is a slight modiﬁcation of a similar concept introduced in [Lup].

Deﬁnition 2.17. Given a family G of ﬁnite dimensional spaces, let rGs be the class of all Banach spaces

E such that the collection of subspaces of elements of GE is ΛE-dense in AgepEq.

n Remark 2.18. It is easily see that if E P rt`p uns, then E is a Lp,1`-space, that is for every δ ą 0 and dim Y every X P AgepEq there is some X Ď Y P AgepEq such that dBM pY, `p q ď δ. Conversely, if E is an n n Lp,1`-space that is in addition a stable t`p un-Fraïssé space, then E P rt`p uns. Stable G-Fraïssé spaces are those for which their moduli does not depend on the dimensions. Given X P AgepEq and ε ą 0, let n n 0 ă δ ď 1 be such that $G,Epδq ď ε{4, and let X Ď Y P AgepEq, γ P Embδp`p ,Y q and η P Embp`p ,Eq for some n. Find g P IsopEq such that }γ ´ g ˝ η} ď ε{4. Let Z :“ Impg ˝ ηq. It follows from Claim 2.14.1 that ΛEpY,Zq ď 2p1 ` δq}γ ´ g ˝ η} ď ε.

Theorem 2.19. Suppose that E and F are G-Fraïssé Banach spaces, with G ĺ AgepEq, AgepF q and E P rGs. The following are equivalent. 1) F P rGs. 2) E is isometric to F .

This result motivates the next notion.

Deﬁnition 2.20. Let G be a class of ﬁnite dimensional Banach spaces. The Fraïssé limit of G, denoted by Flim G is, if exists, the unique separable G-Fraïssé Banach space E such that E P rGs.

We have the following interesting fact.

Proposition 2.21. If Flim G and Flim GBM exists, then they are isometric.

BM BM Proof. Set E “ Flim G, F “ Flim G and H :“ G . Since F is G-Fraïssé, by Theorem 2.19, it suﬃces BM to prove that F P rGs: ﬁx X P AgepF q and ε ą 0, and let Y P pG qF be such that X Ďε{2 Y . Let 0 ă δ ď 1 be such that $H,F pdim Y, δq ď ε{8, and let Y0 P G, γ P EmbδpY0,Y q and η P EmbpY0,F q. Find g P IsopF q such that }γ ´ g ˝ η} ď ε{8. It follows that Y1 :“ Impg ˝ ηq P GF and by Claim 2.14.1, ΛF pY,Y1q ď ε{2. Hence, X Ďε{2 Y Ďε{2 Y1 and so X Ďε Y1. Proof of Theorem 2.19. 2 q ùñ 1 q is trivial. Let us prove that 1 q ùñ 2 q: Given two subspaces F,G of a given space E, and ε ą 0, we write X Ďε Y when there is some Z Ď AgepY q of dimension dim Z “ dim X such that ΛEpX,Zq ď ε. Fix two rapidly decreasing strictly positive sequences pδkqk and pεkqk with i) δ ď ε ď 1 for every k. k k ? ii) kp1 ` δkq ď 2, kąl εk ď εl{4. iii) $ pdim X , δ q, $ pdim Y , δ q ď ε {4 śX k k Yř k k k Fix now sequences pXkqk in GX and pYkqk in GY whose respective unions are dense, and such that

kăl Xk Ďεl Xl and kăl Yk Ďεl Yl. Using that both X and Y are G-Fraïssé Banach spaces and that X and Y are dense in X and Y , respectively, we are going to ﬁnd two sequences of integers pm q řk k k k ř k k and pnkqk with mk ď nk ă mk`1, and γk P Embδ pXm ,Yn q, ηk P Embδ pYn ,Xm q such that Ť Ť mk k k nk k k`1 }η ˝ γ ´ iX ,X } ď εm and }γ ˝ η ´ iY } ď εn . (3) k k mk k k`1 k nk,Y k 12 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

Suppose that γk : Xmk Ñ Ynk is defined. Since Ynk P GY , we can find f P EmbpYnk ,Xq such that }f ˝ γ ´ i } ď $ pdim X , δ q ` δ . Let m ą n be large enough so that there is some k Xmk ,X X mk mk mk k`1 k linear mapping ι : fpYn q Ñ Xm such that }ι ´ i } ď δn {2. Then it follows that ηk :“ ι ˝ f P k k`1 fpYnk q,X k Emb pY ,X q and }η ˝ γ ´ Id } ď ε . Similarly one finds n and γ . We re-enumerate δnk nk mk`1 k k Xmk mk k`1 k`1 as follows: Let Xk :“ Xmk , Yk :“ Ynk , εk :“ εmk , δk :“ δmk for every k.

Claim 2.21.1. Fix x P X and ε ą 0. Let m be such that txu Ď X and ε ď ε{2. Then for every p p p p ε{2 m m´1 k, l ě m and v P Xk, w P Xl such that }v ´ x}, }w ´ x} ď ε}x} we have that p p }γkpvq ´ γlpwq} ď 3ε}x}.

Once this is established, we deﬁne γ : X Ñ Y as follows: Give x P X, let xrns P Xn be such that }x ´ xrns} “ dpx, Xnq. By the choice of the sequences pXnqn, xrns Ñn x. By the previous claim, pγnpxrnsqqn is a Cauchy sequence. Let γpxq :“ limn γnpxrnsq. It is easily seen that γ is a bounded linear mapping γ : X Ñ Y such that }γ} ď 1. Similarly one deﬁnes η : Y Ñ X and proves that γ ˝ η “ IdY , η ˝ γ “ IdX .

Proof of Claim: Fix all data, and suppose that k ě l. If k “ l, then }γkpvq´γkpwq} ď }γk}}v´w} ď 4ε}x}.

Suppose that k “ l ` n with n ą 0. Set w0 :“ w, and for each 1 ď j ă n, set wj`1 :“ ηl`jpγl`jpwjqq P 2 Xl`j`1. Notice that }γl`jpwjq} ď kp1 ` δkq }w0} ď 4}x}. Now, it follows from (3), ś n´1 p }γkpwnq ´ γlpwq} “}γkpwnq ´ γlpw0q} ď }γl`j`1pwj`1q ´ γl`jpwjq} “ j“0 ÿ n´1 n´1 “ }γl`j`1pηl`jpγl`jpwjqqq ´ γl`jpwjq} ď εl`j}γl`j}}wj} ď j“0 j“0 ÿ ÿ n´1 ε p ď4}x} ε ď }x}. (4) l`j 2 j“0 ÿ On the other hand, since }wj`1 ´ wj}“}p ηl`jpγl`jpwjqq ´ wj} ď εl`j}wj}, again invoking (3), n´1 n´1 5 }wn ´ v} ď }wj 1 ´ wj} ` }w0 ´ v}“ εl j}wj} ` 2εp}x} ď εl 1}x} ` 2ε}x} ď ε}x} (5) ` ` ´ 2 j“0 j“0 ÿ ÿ Combining (4) and (5) we obtain that }γkpvq ´ γlpwq}p ď 3ε}x}. p

Note now that given x P Xmk of norm 1, and l ě k, we have that }γlpxq ´ γl`1 ˝ ηl ˝ γlpxq} ď εl}γlpxq} ď εlp1`δlq ď 2εl. Also, }γl`1pxq´γl`1 ˝ηl ˝γlpxq} ď }γl`1}εl ď 2εl. So, given l ě k and m P N, we have that l`m´1 }γl`mpxq ´ γlpxq} ď 4 j“l εj ď εl´1. This proves that pγlpxqqlěk is a Cauchy sequence, and similarly, pη pyqq is also Cauchy for y P Y . we deﬁne γ : X Ñ Y , and η : Y Ñ X , by l lěk ř nk k mk k nk k nk k mk γpxq :“ lim γ pxq and ηpyq :“ lim η pyq for x P X and y P Y . The extensions of γ and η to X lěk k lďk k Ť mk Ť nk Ť Ť and Y , respectively are isometric embedding and one if the inverse of the other, so X and Y are isometric. 2 q ùñ 1 q is trivial. In particular, if X and Y are separable Fraïssé spaces such that AgepXq ” AgepY q, then X is isometric to Y , denoted by X ” Y . However we have the following stronger characterization.

Proposition 2.22 (Uniqueness). For separable pAuHq spaces X and Y the following are equivalent. (a) X ” Y . AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 13

(b) AgepXq ” AgepY q.

Proof. We will ﬁnd Ď-increasing sequences pXnqn and pYnqn and isometric embeddings γn : Xn Ñ Yn and ηn : Yn Ñ Xn`1 such that

1) Xn P F and Yn P G for every n, and n Xn and n Yn are dense in X and Y , respectively. 2) }η ˝ γ ´ Id } ď 2ń :“ ε . n n Xn n Ť Ť ń 3) }γn`1 ˝ ηn ´ IdYn } ď 2 . ń`1 Once this is done, given x P Xn we have that }γn`1pxq ´ γnpxq} ď 2 . So, pγnpxqqměn is a Cauchy sequence. We define then gn : Xn Ñ Y by gnpxq :“ limměn γmpxq. Obviously, gn Xn “ γn, so we can define g : n Xn Ñ Y piece-wise, and we extend it to g : X Ñ Y . Similarly one defines h : Y Ñ X. It is easy to see that h ˝ g “ Id and g ˝ h “ Id . Let us argue that the sequences above exist: We Ť X Y fix txnun and tynun dense subsets of X and Y , respectively with x0 “ y0 “ 0. Let X0 “ Y0 :“ t0u,

γ0p0q “ 0. Suppose defined X0 Ď ¨ ¨ ¨ Ď Xn with txkukďj Ď Xj, Y0 Ď ¨ ¨ ¨ Ď Yn with tykukďj Ď Yj, γj : Xj Ñ Yj for j ď n and ηj : Yj Ñ Xj`1 for j ă n such that }γj`1 ˝ ηj ´ Id Yj}, }ηj ˝ γj ´ Id Xj} ď εj for every j ă n. We choose Xn`1 and ηn : Yn Ñ Xn`1 as follows. First fix θ P EmbpYn,Xq. This is possible since Yn P AgepY q ” AgepXq. Now let g P IsopXq be such that }g ˝ θ ˝ γn ´ IdXn } ď εn, and set ηn :“ g ˝ θ P EmbpYn,Xq. Let Xn`1 :“ Xn ` Imηn ` xxjyjďn`1. Then ηn : Yn Ñ Xn`1 satisfies what we want. Similarly one can find the desired Yn`1 and γn`1 : Xn`1 Ñ Yn`1. 2.1. Classes of finite dimensional spaces. The question addressed now is for which families G of finite dimensional spaces there is some separable Fraïssé Banach space E such that G ” AgepEq, or more generally, such that G ĺ AgepEq and E P rGs. In the discrete algebraic case, this is the content of the classical result by R. Fraïssé [Fra] characterizing ultrahomogeneous countable first order structures in terms of properties of their classes of finitely generated substructures. We present now a similar characterization for Banach spaces (see also [Lup] for similar results for stable Fraïssé operator spaces and systems, or [BY] in general for metric structures).

Deﬁnition 2.23 (Fraïssé classes). Let G be a class of ﬁnite dimensional Banach spaces. (a) G has the hereditary property pHPq when for every X P G and every Y , if EmbpY,Xq ‰ H, then

Y P G”, (b) G has the amalgamation property pAPq when t0u P G and for every X,Y,Z P G and every isometric embeddings γ : X Ñ Y and η : X Ñ Z there is H P G and isometric embeddings i : Y Ñ H and j : Z Ñ H such that i ˝ γ “ j ˝ η. (c) G has the near amalgamation property pNAPq when t0u P G and for every ε ą 0, X,Y,Z P G and every isometric embeddings γ : X Ñ Y and η : X Ñ Z there is H P G and isometric embeddings i : Y Ñ H and j : Z Ñ H such that }i ˝ γ ´ j ˝ η} ď ε. (d) G is a weak amalgamation class when t0u P G and for every ε ą 0 and X P G there is δ ą 0 such that for every Y,Z P G and δ-isometric embeddings γ : X Ñ Y and η : X Ñ Z there is H P G and isometric embeddings i : Y Ñ H and j : Z Ñ H such that }i ˝ γ ´ j ˝ η} ď ε; (e) G is an amalgamation class when t0u P G and for every dimension k P N and ε ą 0 there is δ ą 0 such that if X P Gk, Y,Z P G and γ P EmbδpX,Y q, η P EmbδpX,Zq, then there is H P G and isometric embeddings i : Y Ñ H and j : Z Ñ H such that }i ˝ γ ´ j ˝ η} ď ε.

(f) G is a Fraïssé class when it is hereditary dBM-compact amalgamation class.

The modulus of a (weak) amalgamation class is deﬁned similarly to the modulus of a (weak) G-Fraïssé space: the class G has modulus $ : N ˆ R` Ñ R` when t0u P G and for every δ ą 0 every k and every 14 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

ε ą 0, if X P Gk, Y,Z P G and γ P EmbδpX,Y q, η P EmbδpX,Zq, then there is H P G and isometric embeddings i : Y Ñ H and j : Z Ñ H such that }i ˝ γ ´ j ˝ η} ď $pk, δq ` ε. We have the following interesting implication.

Proposition 2.24. 1) The amalgamation and the near amalgamation properties are equivalent for compact and hereditary families. 2) The Banach-Mazur closure of an hereditary amalgamation class is a Fraïssé class.

Proof. 1): Fix a compact and hereditary family G with the pNAPq, and ﬁx also X,Y,Z P G and isometric embeddings γ : X Ñ Y and η : X Ñ Z. Choose a sequence pεnqn of strictly positive real numbers and decreasing to zero, and for each n, let Vn P G and in P EmbpY,Vnq and jn P EmbpZ,Vnq such that }in ˝ γ ´ jn ˝ η} ď εn. For each n, let Wn :“ Imin ` Imjn Ď Vn. Since G is hereditary, Wn P G. By passing to a subsequence if needed, we assume that the all Wn have the same dimension, and that Wn converge with respect to the Banach-Mazur pseudometric to W , that belongs to G. For each n, let θn : Wn Ñ W ´1 be such that limn maxt}θn}, }θn }u “ 1. Let i : Y Ñ W , j : Z Ñ W be accumulation points of pθn ˝ inqn and of pθn ˝ jnqn, respectively. It follows that i and j are isometric embeddings and i ˝ γ “ j ˝ η. 2): Fix an hereditary amalgamation class G, and H be the Banach-Mazur closure of G. Notice that H is also hereditary. Now ﬁx a dimension k and ε ą 0. Let δ ą 0 be witnessing that G is an amalgamation class for the parameters k and ε{2. We claim that δ{2 works for H: Fix X P Hk, Y,Z P H and

γ P Embδ{2pX,Y q, η P Embδ{2pX,Zq. For each n ě 1 let δn :“ δ{p12nq, choose X0,Yn,Zn P G and X Y Z X ´1 X θ : X0 Ñ X, θn : Y Ñ Yn, θn : Z Ñ Zn, surjective isomorphisms such that }pθ q }“ 1, }θ } ď 1 ` δ1 Y Z Y X and θn P Embδn pY,Ynq and θn P Embδn pZ,Znq. Notice that given n ě 1, γn :“ θn ˝γ˝θ P EmbδpXn,Ynq Z X and ηn :“ θn ˝ η ˝ θ P EmbδpXn,Znq so we can choose Vn P G and in P EmbpYn,Vnq, jn P EmbpZn,Vnq such that }in ˝ γn ´ jn ˝ ηn} ď ε{2. Since G is hereditary, as before in 1) we may assume that dim Vn is BM V constant, and the sequence pVnqn converges in the Banach-Mazur norm to V P G . Choose θn : Vn Ñ V V V Y V Z be such that θn P Embδn pV,Vnq. Choose a convergent subsequence of pθn ˝ in ˝ θn qn and of pθn ˝ jn ˝ θn qn with limits i P EmbpY,V q and j P EmbpZ,V q, respectively. Then }i ˝ γ ´ j ˝ η} ď ε. In the previous proposition, the condition of being hereditary seems necessary: For example, Let F n consists of all 2-dimensional polyhedral spaces together with the spaces `8 of any dimension n. Then F n is an amalgamation class and its closure is the class of all 2-dimensional normed spaces together with `8 of any dimension, which does not have the near amalgamation property. In classical Fraïssé theory for discrete algebraic structures, Fraïssé classes G have in addition the joint embedding property pJEPq: For every X,Y P G there is some Z P G such that X and Y can be isomor- phically embedded into Z. However it is easy to see that this property in the context of Banach spaces is a property of amalgamation classes (because t0u P G). Amalgamation families with modulus not depending on the dimension k where introduced by M. Lupini in [Lup]; they are said to have the stable near amalgamation property and in this case Fraïssé classes are called stable Fraïssé classes. Examples of them are the class of all ﬁnite dimensional Hilbert, and Banach spaces, corresponding to the two known stable Fraïssé spaces: the Hilbert and the Gurarij, respectively.

We do not know if the class AgepLpp0, 1qq is a Fraïssé class for p ‰ 4, 6, 8,... . It is easy to see that AgepEq has always (HP), (JEP) and when E is pAuHq, weak Fraïssé, Fraïssé then AgepEq has pNAPq, is a weak amalgamation class or is an amalgamation class, respectively, and in the (weak) Fraïssé case the respective moduli are the same (when E is Fraïssé, the compactness of AgepEq follows from Theorem 2.12). We call Fraïssé correspondence the reverse implication, presented in Corollary 2.27. Other limits and correspondences of this type have been studied in [BY] and in [Ku]. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 15

As for the Fraïssé and the weak Fraïssé properties, there is also a metric explanation of the relation between the weak amalgamation and the amalgamation properties. Given a family G of ﬁnite dimensional spaces with the pJEPq and the pNAPq, we can deﬁne a “Kadets-like” pseudometric on each Gk,

γGpX,Y q :“ inftΛZ pX0,Y0q : X0,Y0 P AgekpZq,Z P G,X0 ” X,Y0 ” Y u. The following characterization is proved similarly as the equivalences in Theorem 2.12. We leave the details to the reader.

Proposition 2.25. The following are equivalent.

(a) G is an amalgamation class and γG is a complete pseudometric. (b) G is a weak amalgamation class and γG is a complete pseudometric that is uniformly equivalent to dBM on Gk for every k. (c) G is a dBM-compact weak amalgamation class. Theorem 2.26. If G is an amalgamation class with modulus $, then Flim G exists and it has G-Fraïssé modulus $˚.

The existence of these spaces have been proved for stable Fraïssé Banach spaces, and for other structures in functional analysis in [Lup].

Corollary 2.27 (Fraïssé correspondence). The following are equivalent for a class G of ﬁnite dimensional Banach spaces. (1) G is a Fraïssé class. (2) G ” AgepEq of a unique separable Fraïssé Banach space E “ Flim G.

Proof. Suppose that G is a Fraïssé class, i.e. G is a compact, hereditary amalgamation class. It follows BM from Theorem 2.26 that Flim G exists. Let us see that AgepFlim Gq ” G : We already know that G ĺ AgepFlim Gq. Let us see that AgepFlim Gq ĺ G: Since Flim G P rGs and G is hereditary, we obtain BM that AgepFlim Gq ĺ G “ G. Corollary 2.28. Let G be a class of ﬁnite dimensional Banach spaces. (1) If G is an hereditary amalgamation class, then Flim G is the unique separable Fraïssé Banach space BM E such that AgepEq ” G . (2) If E is a separable Banach space such that AgepEq is an amalgamation class, then Flim AgepEq is the BM unique separable Fraïssé Banach space X with an isometric copy of E such that AgepXq “ AgepEq . BM Proof. (1): If G is an hereditary amalgamation class, then by Proposition 2.24 2), G is a Fraïssé class, so Flim GBM exists and it is a Fraïssé Banach space. Since Flim G also exists, it follows by Proposition BM 2.21 that Flim G “ Flim G . (2): Set X :“ Flim AgepEq. We know from (1) that X is the unique Fraïssé BM Banach space with AgepXq “ AgepEq , and it follows from Proposition 2.13 that E can be isometrically embedded into X. Before we present a proof of Theorem 2.26, we give some examples of classes of spaces and limits.

k Example 2.29. For 1 ď p ď 8, the family F “ t`pukPN is clearly compact, and it is an amalgamation class. For 1 ď p ‰ 2 ă 8, this is done in Proposition 3.7 using a work of G. Schechtman in [Sch]. In n this case, the Fraïssé limit Flimt`p un is Lpr0, 1s (see Proposition 3.7). n For p “ 8, it is rather easy to see that t`8un is an amalgamation class, whose Fraïssé limit is the Gurarij space G. 16 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

k k When p “ 2, t`2uk is also hereditary, because a subspace of a Hilbert space is a Hilbert space; so t`2uk n is a Fraïssé class, whose Fraïssé limit is Flimt`2 un “ `2 and it is automatically a Fraïssé Banach space.

Example 2.30. AgepCr0, 1sq is a Fraïssé class, and Flim AgepCr0, 1sq “ G

Proof. Being both Cr0, 1s and the Gurarij space G universal spaces, we obtain that AgepCr0, 1sq “ AgepGq is a Fraïssé class because G is Fraïssé.

Example 2.31. For p ‰ 4, 6, 8,... , the class AgepLpp0, 1qq is Fraïssé, whose Fraïssé limit is Lpp0, 1q. We will see in Theorem 4.1 that for these p’s, Lpp0, 1q is weak-Fraïssé; moreover, for all p’s AgepLpp0, 1qq BM is compact: Observe that in general, given a Banach space, the completion AgepEq of AgepEq under the Banach-Mazur pseudometric is exactly, modulo ”, equal to AgepEU q for every non-trivial ultraﬁlter U over N. It follows from the S. Kakutani characterization of abstract Lp spaces (see [Kak] or [LiTza, Theorem 1.b.2. of Vol. 2]) that each EU is isometric to some Lppµq (in fact, W. Henson proved in [He, c Theorem 2.4] that this particular ultrapower is isometric to the `p-sum of c copies of Lppr0, 1s q, c being BM the cardinality of the continuum). Hence AgepLpp0, 1qq ” AgepLppµqq. Finally, it is easy to see that AgepLppµqq ĺ AgepLpp0, 1qq.

We continue with the proof of the Fraïssé correspondence. Recall that given a sequence pXn, γnqn where each Xn is a normed space and γn P EmbpXn,Xn`1q, the inductive limit limnpXn, γnq of pXn, γnqn is defined as the following normed space: We define isometric embeddings γm,n P EmbpXm,Xnq for m ď n as follows; γm,m :“ IdXm and γm,n`1 :“ γn ˝ γm,n; let V be the subspace of the product space n Xn defined as ś V :“ tpxnqn : there is some m such that xn “ γm,npxmq for all n ě mu. In V one defines the seminorm

}pxnqn} :“}xm}Xm where m is such that γm,npxmq “ xn for all n ě m. It is easy to see that } ¨ } is well deﬁned, and that

N :“ tpxnqn P V : there is some m such that xn “ 0 for all n ě mu “ tpxnqn P V : }pxnqn}“ 0u.

Let V0 be the quotient space V {N endowed with the norm }¨}. Finally, let limnpXn, γnq be the completion p8q of V {N. For each m, let γm : Xm Ñ limnpXn, γnq be deﬁned for x P Xm by pm´1q p8q γm pxq :“ p0,..., 0, x, γm,m`1x, γm,m`2x, . . . q ` N. p8q hkkikkj 8 8 p8q Obviously, γm is an isometric embedding, and the sequence pXn qn, Xn :“ γn pXnq, is increasing with dense union in limnpXn, γnq.

Lemma 2.32. Suppose that G has the pJEPq. Then G is an amalgamation class with modulus of stability $ if and only if for every ∆ Ď R` ﬁnite, ε ą 0 and HYtY u Ď G ﬁnite there is Z P G and some I P EmbpY,Zq such that for every X P G and every δ P ∆ if γ, η P EmbδpX,Y q then there is J P EmbpY,Zq such that }I ˝ γ ´ J ˝ η} ď $pdim X, δq ` ε.

m n Proof. Fix all data. Order H :“ tXjuj“1, ∆ :“ tδjuj“1. For each 1 ď j ď m and 1 ď l ď n, let pj,lq s s2mn`1 tγk uk“1 be a ε{3-dense subsets of Embδl pXj,Y q. Inductively we ﬁnd a sequence pVkqk“1 in G, 2 V1 :“ Y and isometric embeddings Ik P EmbpVk,Vk`1q, 1 ď k ď s mn, such that for every 1 ď k0, k1 ď n, 2 1 ď j ď m and 1 ď l ď n, setting k :“ s pj ´1qpl ´1q`k0k1 `1 there is some J P EmbpY,Vk`1q such that pj,lq pj,lq J γ I I I γ $ dim X , δ ε. Then V : V 2 and I : I 2 I 2 I } ˝ k0 ´ k ˝ k´1 ˝¨ ¨ ¨˝ 1 ˝ k1 } ď p j lq` “ s mn`1 “ s mn ˝ s mn´1 ˝¨ ¨ ¨˝ 1 work. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 17

Proof of Theorem 2.26. The proof is an standard back-and-forth argument. Suppose that G is an amalgamation class, with modulus of stability $. Let tδnun :“ Q X r0, 1s, δ0 “ 0, pεnqn be a positive sequence such that nąm εn ď εm, and let A “ tZnun Ď G be a countable dBM-dense subset of G. We use Lemma 2.32 to ﬁnd a sequence pX ,I q , where ř n n n (a) Xn P G and In P EmbpXn,Xn`1q;

(b) for every n P N and every X P tZjujďn Y tXjujďn and every k ď n, if γ, η P Embδk pX,Xnq then there is J P EmbpXn,Xn`1q such that }In ˝ γ ´ J ˝ η} ď $pdim X, δkq ` εn; (c) EmbpZm,Xn`1q ‰ H for every m ď n. For (c) we use the (JEP) of G, that we know is true for amalgamation classes. We claim that the inductive limit E :“ limnpXn,Inq is G-Fraïssé with modulus $, E P rGs and that G ĺ AgepEq.

Claim 2.32.1. E is G-Fraïssé.

1 Proof of Claim: Fix δ ą δ ě 0, ε ą 0, and X P G and ﬁx γ, η P EmbδpX,Eq. Choose n large enough such that

i) εn´1 ă ε; ii) there are j, k ď n, δ2 ă ε{2 such that 1 2 ii.1) δ ă δk ă δ and p$pdim X, δkq ` εqδ ă ε{3, 8 2 ii.2) there is an onto map θ P Embδ pX,Zjq and γ0, η0 P Embδk pZj,Xnq such that }In ˝ γ0 ˝ θ ´ 8 γ}, }In ˝ η0 ˝ θ ´ η} ď ε{2.

For each r and s set Ir, r :“ IdXn ; Ir,r`s`1 :“ Ir`s ˝ Ir,r`s. We ﬁnd now Js P EmbpXn`2s,Xn`2s`1q and Ls P EmbpXn`2s`1,Xn`2s`2q such that

(d) }J0 ˝ η0 ´ Inγ0} ď $pd, δkq ` εn, being d :“ dim X (e) }Ls`1 ˝ Js ´ In`2s,n`2s`2} ď εn`2s`1 for every s ě 0. (f) }Js ˝ Ls ´ In`s´1,n`2s`1} ď εn`2s for every s ě 1.

Setting ε¯n :“ $pd, δkq ` εn, we have the following approximately commuting inﬁnite diagram.

γ2 In In`1 In`2 In`3 Zk Xn Xn`1 Xn`2 Xn`3 Xn`4

η J ε L ε J ε L 2 ε¯n 0 n`1 1 n`2 1 n`3 2 ¨ ¨ ¨ In In`1 In`2 In`3 Xn Xn`1 Xn`2 Xn`3 Xn`4

Figure 1

8 8 8 Given a sequence x “ pxkqk P l Xl , we define for each k, ykpxq :“ In`2k`1Jkpxn`2kq P Xn`2k`1. It follows from the (e) and (f) that py pxqq is a Cauchy sequence, so we define J : X8 Ñ E, Ť k k l l Jpxq “ lim y pxq, and then we extend it to J : E Ñ E. Similarly, we define, given y “ py q P X8, one k k k kŤ l l defines the Cauchy sequence x pyq :“ I8 L px q P X8 , and the corresponding L : E Ñ E. k n`2k`2 k n`2k`1 n`2k`2 Ť It is easy to see that L ˝ J “ J ˝ L “ IdE. 8 8 8 Set now γ1 :“ In ˝ γ0 and η1 :“ In ˝ η0. It follows that Jpη1pzqq “ lims In`2s`1JkpIn,n`2spη0pzqqq for every z P Zk. Now for each s one has that }JspIn,n`2spη0pzqqq ´ In,n`2s`1pγ0pzqq} ď $pdim X, δkq ` 18 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

lď2k εn`l ď $pdim X, δkq ` εn´1. This means that }J ˝ η1 ´ γ1} ď $pdim X, δkq ` εn´1. Consequently, ε ř }J ˝ η ´ γ} ď}J ˝ η θ ´ γ θ} ` }J ˝ η θ ´ J ˝ η} ` }γ θ ´ γ} ď p$pdim X, δ q ` ε q}θ} ` 2 ď 1 1 1 1 k n´1 3 1 ď$pdim X, δkq ` ε ď $pdim X, δ q ` ε. ˚ 8 This proves that E is G-Fraïssé with modulus $ . By deﬁnition of E, the sequence pXn qn witnesses that E P rGs.

Claim 2.32.2. G ĺ AgepEq.

Proof of Claim: For suppose that Z P Gk. Recall that pεnqn was chosen so that něm`1 εn ď εm. BM Find a decreasing positive sequence pδnqn such that $G,Epk, δnq ď εn for every n. Sinceř Z P A and

A Ď AgepEq”, we can find for each n some γn P Embδn pZ,Eq. Now for each n, let gn P IsopEq be such that n`l´1 }gn ˝ γn`1 ´ γn} ď εn, and set η0 :“ γ0; ηn`1 :“ g0 ˝ ¨ ¨ ¨ ˝ gn ˝ γn`1. Then }ηn`l ´ ηn} ď j“n εj ď εn´1, so pη q is a Cauchy sequence of δ -embeddings from Z into E, so its limit η : Z Ñ E is an isometric n n n ř embedding, and consequently Z P AgepEq”. 2.2. Characterization of homogeneities. We rephrase the homogeneity properties introduced in terms of algebraic, topological and metric properties of some list of canonical functions. Let Nk be the collection k k k of all norms on the vector field F , let embpF ,Eq be the family of all 1-1 linear mappings from F into E. Given a collection G of normed spaces over F, let NkpGq be the collection of those norms M P Nk such that p k,Mq P G ; we define embpG q :“ Embpp k,Mq,Eq; we consider the natural F ” k MPNkpGq F action IsopEq EmbpX,Eq, g ¨ γ :“ g ˝ γ, and the consequent IsopEq EmbpG ,Eq. We have now y Ť y k νk : embpGk,Eq Ñ NkpGq, defined as the norm νkpγqpxq :“}γx}E; obviously, νk is IsopEq-invariant, so we have naturally defined the quotient mapping p k p p νk : embpF ,Eq //IsopEq Ñ NkpEq,

νkprγsq :“ νkpγq. In general, νkpembpGk,Eqq Ď NkpGq, and when G ĺ AgepEq one has νkpembpGk,Eqq “ NkpGq The followingp proposition rephrases the approximate G-homogeneity of E in terms of an algebraic property of each νk.

Proposition 2.33. Suppose that G ĺ AgepEq. Then E is approximately G-homogeneous if and only if each νk is 1-1 on embpGk,Eq //IsopEq. The next proposition is a characterization of E being weak G-Fraïssé in terms of topological properties k of each νk. So, we naturally endow Nk and embpF ,Eq with the topology of point-wise convergence, that coincides with the compact-open topology. The following is easy to prove.

Proposition 2.34. Both νk and νk are continuous. We introduce two metrics; let p

ωpM,Nq :“ log maxt} Id }pFk,Mq,pFk,Nq, } Id }pFk,Nq,pFk,Mqu , ´ ¯ n that defines the point-wise topology on Nk; the second one dpη, γq :“}η ´ γ}`1,E :“ maxj“1 }ηpujq ´ k γpujq}E defines the pointwise topology on embpF ,Eq; notice that d is IsopEq-invariant for the natural action g ¨ γ :“ g ˝ γ introduced above, and that the quotient metric dprγs, rηsq :“ infg Iso E }g ˝ γ ´ η} k P p q `1 ,E k defines the quotient topology on embpF ,Eq //IsopEq. p AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 19

Proposition 2.35. Suppose that G ĺ AgepEq.

1) E is weak G-Fraïssé if and only if for every k one has that νk is 1-1 on embpG,Eq //IsopEq, and for 4 every γ P embpGk,Eq //IsopEq the mapping νk is continuous and open at rγs. 2) Consequently, if E is weak G-Fraïssé, then each restriction νk : embpG,Eq //IsopEq Ñ NkpGq is a homeomorphism. 3) E is weak Fraïssé if and only νk is a homeomorphism for every k P N.

Proof. 1): Suppose that E is weak G-Fraïssé, and fix k P N. We know that νk is 1-1, so let γ P embpG,Eq, and we see that νk is open at rγs. Fix ε ą 0; we have to prove that there is some δ ą 0 such that if η P k embpF ,Eq satisfies that ωpνkprγsq, νkprηsqq ă δ, then there is some g P IsopEq such that dpgη, γq ă ε. We k set M :“ νkpγq and X :“ p ,Mq. Let ξ ą 0 be such that IsopEq EmbξpX,Eq is ε{} Id } k -transitive. F y X,`1 k We claim that δ :“ logp1 ` ξq works. For suppose that η P embpF ,Eq is such that ωpM,Nq ă δ, where ωpM,Nq ´1 N :“ νkpηq. Then }η}X,E ď }η}pFk,Nq,E ë ď p1`ξq and similarly one has that }x}E ě p1`ξq Npxq, so η P EmbξpX,Eq. Hence there is some g P IsopEq such that }gγ ´η}X,E ď ε{} Id } k , and consequently X,`1 }gγ ´ η} k ď ε. `1 ,E Suppose now that for every k one has that νk is 1 ´ 1 on embpG,Eq //IsopEq and open at each rγs with k k γ P embpG,Eq. Fix X P G and ε ą 0; let M P NkpGq be such that X ” pF ,Mq and let θ : pF ,Mq Ñ X k be an isometry, and γ P embpG,Eq be such that νkpγq “ M; let δ be such that if η P embpF ,Eq is such ´1 that ωpM, νkpηqq ď δ, then dprγs, rηsq ă ε :“ ε{p2}θ } k q. We claim that IsopEq EmbδpX,Eq is X,`1 y ε-transitive; for suppose that η0, η1 P EmbδpX,Eq; we set Mj :“ τkpηj ˝ θq P NkpEq for j “ 0, 1. Since p ωpM,M0q, ωpM,M1q ď δ, we get that dprpη0 ˝ θs, rγsq, dprη1 ˝ θs, rγs ă ε, hence dprη0 ˝ θs, rη1 ˝ θsq ă 2ε; this means that there is some g P IsopEq such that }g ˝ η0 ˝ θ ´ η1 ˝ θ}`k,E ă 2ε, and hence p p 1 p ´1 p p }g ˝ η0 ´ η1}X,E ď }g ˝ η0 ˝ θ, η1 ˝ θ}`k,E ¨ }θ }X,`k ď ε. 1 1 p 2) and 3) is a direct consequence of 1) using that continuous bijection is a homeomorphism exactly when it is open at each point.

We pass now to reformulate E being G-Fraïssé as a metric property of each νk. So, we introduce a k metric on embpF ,Eq in a way that bounded sets are sent to ω-bounded sets by the mappings νk. Given k γ, η P embpF ,Eq, let

dpγ, ηq :“ max }γ ´ η} k , ωpνkpγq, } ¨ } k q ´ ωpνkpηq, } ¨ } k q ; `1 ,E `1 `1 ! ˇ ˇ) this is an IsopEq-invariant metric that deﬁnes theˇ pointwise convergence topology onˇ embp k,Eq, and the ˇ ˇ F quotient topology is deﬁned by the quotient metric

dprγs, rηsq :“ max inf }γ ´ gη}`k,E, ωpνkpγq, } ¨ }`k q ´ ωpνkpηq, } ¨ }`k q ; gPIsopEq 1 1 1 " ˇ ˇ* We have the following ˇ ˇ p ˇ ˇ k Proposition 2.36. νk : pembpF ,Eq //IsopEq, dq Ñ pNkpEq, ωq is uniformly continuous on bounded sets. k Proof. Fix γ0 P embpF ,Eq and K ą 0, and let us see that νk is uniformly continuous on the d-ball with k p center rγ0s and radius K. Given x P F we have that p }ηpxq} ď}γpxq} ` }γ ´ η}ν γ ,E ¨ }γpxq} ď }γpxq} ` }γ ´ η} k ¨ } Id } k }γpxq} kp q `1 ,E νkpγq,`1

ď 1 ` dprγs, rηsq ¨ } Id } k }γpxq} νkpγq,`1 ´ ¯ 4Recall that f : X Ñ Y isp open at x when for every open neighborhood U of x there is some open neighborhood V of fpxq such that V Ď fpUq. 20 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC and similarly }γpxq} ď p1 ` dprγs, rηsq ¨ } Id } k q}ηpxq}. This means that νkpγq,`1 K ωpνkprγsq, νkprηsqq ď log 1 ` dprγs, rηsq ¨ } Id } k ď } Id } k dprγs, rηsq ď e dprγs, rηsq. p νkpγq,`1 νkpγq,`1 This is the metric characterization´ of being G-Fraïssé. ¯ p p p Proposition 2.37. Suppose that G ĺ AgepEq. k 1) E is G-Fraïssé if and only if for every k P N the mapping νk : pembpF ,Eq //IsopEq, dq Ñ pNkpEq, ωq is uniformly open on bounded subsets of NkpGq, i.e., given A Ď NkpGq that is ω-bounded and given ε ą 0, k p there is some δ ą 0 such that if νkprγsq P A and η P embpF ,Eq is such that ωpνkprγsq, νkprηsqq ă δ, then dprγs, rηsq ă ε.

Consequently, if E is G-Fraïssé then every restriction νk : pembpG,Eq //IsopEq, dq Ñ pNkpGq, ωq is a homeomorphismp that is uniform when restricted to bounded sets. k p 2) E is Fraïssé if and only for every k P N one has that νk : pembpF ,Eq //IsopEq, dq Ñ pNkpEq, ωq is a homeomorphism that is uniform when restricted to bounded sets. p Proof. 1) is proved following the same ideas as in the proof of Proposition 2.35 1). 2) readily follows from 1).

n 3. Lattice and `p -homogeneity

In the next Section we will prove that Lpp0, 1q for p not even are Fraïssé Banach spaces. As we mentioned before this not the case for p “ 4, 6, 8,... . However “partial” homogeneity properties are valid n for all Lpp0, 1q. This is the case when dealing with partial isometries defined on `p ’s. The aim of this section is to study those. In trying to understand these embeddings and isometries of Lpp0, 1q the setting of lattices is very natural. In this context we consider lattice isometries and lattice embeddings on a Banach lattice X, i.e., linear isometries or isometric embeddings which preserve the lattice structure. In the important case of a finite dimensional sublattice F , i.e. F “ xfjyjăn where the pfjqj’s is a pairwise disjoint sequence of positive elements of X, a lattice isometric embedding is an isometric embedding T such that pT pfiqqj is a pairwise disjoint sequence of positive elements. For a complete information about them we refer the reader to [LiTza, Vol. 2]. With this in mind, we may consider lattice versions of homogeneity, by replacing isometries (respectively isometric embeddings) by lattice isometries (resp. lattice isometric embeddings) and (finite dimensional) subspaces by (finite dimensional) sublattices. So, given a sublattice Y of X, let Emb˛pY,Xq be the space of lattice isometric embeddings from Y into X, let Iso˛pXq be the topological group of surjective lattice ´1 isometries on X with the SOT, and let Iso˛pXq y Emb˛pY,Xq be the canonical action g ¨ γ :“ γ ˝ g . In particular we shall be interested in the following definitions:

Deﬁnition 3.1. Let X be a Banach lattice.

(a) X is lattice ultrahomogeneous p ˛ ´uHq if Iso˛pXq y Emb˛pF,Xq is transitive for every ﬁnite dimensional sublattice F of X;

(b) X is approximately lattice ultrahomogeneous p ˛ ´AuHq if Iso˛pXq y Emb˛pF,Xq is ε-transitive for every ﬁnite dimensional sublattice F of X.

There is a third natural notion in the case of lattices which is as follows. We say that an isometry (respectively isometric embedding) is disjoint preserving (or d.p.) if it sends disjoint vectors to disjoint vectors, and that a subspace is disjointly generated if it is generated by a sequence of disjoint vectors. So, the diﬀerence between these versions and the lattice ones is that now we do not impose positivity. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 21

Then a Banach lattice X is disjointly homogeneous if any d.p. isometric embedding defined on a disjointly generated finite dimensional subspace of X extends to a global d.p. isometry. It is approximately disjointly homogeneous if for any d.p. isometry t defined on a disjointly generated finite dimensional subspace F of X and for any ą 0, there is a global d.p. isometry T such that }T F ´ t} ď . These properties will not be as relevant as the previous ones because of the following observation.

Proposition 3.2. Assume X is a Köthe function space (see [LiTza, Vol. 2]). If X is (approximately) lattice homogeneous then it is (respectively approximately) disjointly homogeneous.

Proof. Assume X is lattice homogeneous. Let F “ xfjyjăn with pfjqj pairwise disjoint, and t an isometric d.p. map from F onto G “ xtfjyjăn. There exist isometric maps u and v on X acting by ´1 changes of signs, and sending each fj to |fj|, and tfj to |tfj|, respectively. The map vtu is a lattice ´1 ´1 isometric map from x|fj|yjăn onto x|tfj|yjăn. If T is a lattice isometry on X extending vtu then v T u is a d.p. isometry on X extending t. The same proof holds for approximate lattice homogeneity.

n 3.1. Stable approximate t`p un-homogeneity of Lpp0, 1q. We start with a few classical definitions. Let 1 ď p ă `8.A simple space is a finite dimensional subspace of Lpp0, 1q generated by simple functions. n n By copy of `p we mean some linearly isometric copy of a finite dimensional `p inside Lpp0, 1q. It is a classical result by S. Banach that if 1 ď p ă `8, p ‰ 2, any isometric embedding between Lp-spaces is m automatically d.p. ([FleJa, Theorem 3.2.5]). In particular, any isometric embedding of a copy of `p into n n a copy of `p is disjoint preserving, and any copy of `p is a disjointly generated subspace. It is also an easy observation that, for 1 ď p ă `8, any finite dimensional subspace generated by simple functions n in Lpp0, 1q is a subspace of some simple copy of some `p (with same support). S. Banach, [Ba, pp. 178], stated the general formula of surjective isometries on Lpp0, 1q, 1 ď p ă `8, p ‰ 2; any such isometry T is defined by T pfqptq “ hptqfpφptqq for every t P r0, 1s, where φ is a measurable non-singular transformation of r0, 1s onto itself, and h is a function satisfying |h|p “ dpλ˝φq{dλ, where λ is the Lebesgue measure (see [FleJa, Chapter 3]). The description of isometric embeddings between Lp-spaces, called the Banach-Lamperti Theorem, and a complete proof of it was done by J. Lamperti in [Lam]. When p “ 2 the above formula defines a linear isometry but there are, obviously, other isometries on L2p0, 1q. Let 1 ď p ă `8. Recall that a simple function of Lpp0, 1q is a measurable mapping having finitely many values. We shall say that an isometry on Lpp0, 1q is simple preserving if it maps simple functions to simple functions. If A is a Lebesgue measurable subset of r0, 1s of positive measure, we denote by LppAq the p-Lebesgue space associated to the measure space pA, LpAq, λ Aq consisting of restricting the Lebesgue measure λ to the Lebesgue measurable subsets of A. In addition, if F is a subspace of LppAq, then the support of F is the union of the supports of all f, f P F ; in particular, for a vector in, or a subspace of X, full support in LppAq means that the corresponding support is equal to the support of X.

Lemma 3.3. Let 1 ď p ă `8. Let A, B be subsets of r0, 1s of positive measure, and let u P LppAq, v P LppBq be functions with full support and with equal norms. Then there exists a (disjoint preserving) isometry T from LppAq onto LppBq such that T puq “ v. Furthermore if u and v were simple functions then T is simple preserving, and if u and v were non-negative then T is a lattice isometry.

1 Proof. It is enough to show this for A “ r0, 1s and u “ r0,1s. Furthermore using a natural isometry between LppBq and Lpp0, 1q we may assume B “ r0, 1s. Since |v| ą 0, It is then clear that if V pxq “ 22 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

x p 0 |vptq| dt, then ş Tvpfqpxq “ fpV pxqqvpxq for every x P r0, 1s deﬁnes a linear isometry of Lpp0, 1q sending u to v. The fact that this map is disjoint preserving (and respectively simple preserving, a lattice isometry) is obvious from the deﬁnition of Tv.

It is well-known that when 1 ď p ă `8, p ‰ 2, any isometry of Lpp0, 1q sends full support vectors to full support vectors see [FleJa, Theorem 3.2.2]. This proves that Lpp0, 1q cannot be ultrahomogeneous in this case, nor even lattice ultrahomogeneous (so, as we commented before, the isometry group does not even act transitively on the unit sphere of Lpp0, 1q when p ‰ 2). The next lemma will be useful to deal with perturbations in this context.

Lemma 3.4. Let 1 ď p ă `8. Let F be a ﬁnite dimensional subspace of Lpp0, 1q and let ε ą 0. Then there exists a linear, disjoint preserving, isometric embedding γ of Lpp0, 1q into itself, whose image does not have full support, and such that }pγ ´ Idq F } ď ε. If F is a sublattice then L can be chosen to be a lattice isometric embedding.

Proof. Write F “ xfjyjăn, where the fi’s have norm 1. It is enough to ﬁnd some isometric embedding γ whose image does not have full support and such that }pγ ´ Idqpfjq} ď ε for all j and for some ε small enough. By a perturbation argument we may also assume that each fj is continuous. Let

M “ max1ďjďn}fj}8, and let δpsq be a common modulus of uniform continuity of all fj’s, i.e. such that |x ´ y| ď δpsq implies |fjpxq ´ fjpyq| ď s for every j “ 1, . . . , n. Let λ ă 1 be close enough to 1 so p that λ 1{λ ´ 1qM ` δp1{λ ´ 1q ` p1 ´ λqM p ă ε. We deﬁne an isometric embedding γ whose image is

Lpp0, λq Ă Lpp0, 1q by ` ˘ x γpfqpxq :“ 1 pxqfp q. r0,λs λ Then for j “ 1, . . . , n one has that λ 1 1 x 1 1 p }γpf q ´ f }p “ | f p q ´ f pxq|pdx ` |f pxq|pdx ď λ p ´ 1qM ` δp ´ 1q ` p1 ´ λqM p ă ε. j j λ j λ j j λ λ ż0 żλ ` ˘ Proposition 3.5. For every 1 ď p ă 8 the Banach lattice Lpp0, 1q is approximately lattice homogeneous, n or in other words, the action Iso˛pLpp0, 1qq y Emb˛p`p ,Lpp0, 1qq is almost transitive.

Proof. We start with the following.

n Claim 3.5.1. Fix n P N, and let EF and EN be the families of lattice embeddings of `p into Lpp0, 1q whose image has full support and does not have full support, respectively. Then the canonical actions

Iso˛pLpp0, 1qq y EF and Iso˛pLpp0, 1qq y EN are transitive.

Proof of Claim: We prove only that Iso˛pLpp0, 1qq y EF is transitive; the other proof is similar, and we n leave the details to the reader. Let F and G be two copies of some `p , with full support, and let t be an isometry from F onto G. Write F “ xfjyjăn, where the fi’s are normalized disjointly supported, and let Ai :“ supp fi. Likewise we define G “ xtfjyjăn and Bi “ supp tfi. By Lemma 3.3, we may for each i define an isometry Ti from LppAiq onto LppBiq sending fi to tfi. This defines a global linear isometry T on Lpp0, 1q “ ‘iLppAiq “ ‘iLppBiq which extends t.

We use the above notation, where t is an isometric embedding of F onto G in Lppr0, 1sq, and assume for example that F does not have full support and G has. By Lemma 3.4, there exists an isometric embedding t1 of F onto some G1 without full support with }t ´ t1} ď . By the Claim, t1 extends to a global isometry on Lpp0, 1q and we are done. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 23

Remark 3.6. Note that by Lemma 3.3 the isometry T considered in the proof of Claim 3.5.1 is simple preserving when the fj’s and tfj are simple functions. We conclude with the following very strong amalgamation property.

Proposition 3.7. Let 1 ď p ă 8. Then n 1) the class t`p unPN is an amalgamation class with modulus independent of the dimension. n 2) Lpp0, 1q is the Fraïssé limit of t`p un. For the proof we use the following remarkable result by G. Schechtman (as observed by D. Alspach [Als]).

Theorem 3.8 (Schechtman [Sch]). For any 1 ď p ă 8 there is a modulus of stability $p :s0, 8rÑs0, 8r such that n n Embδp`p ,Lppµqq Ď pEmbp`p ,Lppµqqq$ppδq. for every n P N, δ ą 0 and ﬁnite measure µ. Consequently, for every d, m P N there is n P N such that d m d n ιm,n ˝ Embδp`p, `p q Ď pEmbp`p, `p q$ppδq, m n m n where ιm,n : `p Ñ `p is the canonical isometric embedding pajqjăm P F ÞÑ pa0, . . . , am´1, 0,..., 0q P F . Proof of Proposition 3.7. 1): We may assume p ‰ 2 and let F be the collection of ﬁnite dimensional simple subspaces of Lpp0, 1q without full support.

n Claim 3.8.1. F has the amalgamation property. Consequently, t`p un has the amalgamation property. This, combined with Schechtman’s result readily gives the proposition.

Proof of Claim: Let E,F,G P F, and let γ P EmbpE,F q, η P EmbpE,Gq. By the Claim 3.5.1 (see the

Remark 3.6) there is a simple preserving T P Iso˛pLpp0, 1qq such that T ˝ γ “ η. Let J P EmbpG, Lpp0, 1q be simple preserving and such that TF ` JG does not have full support, and let V P F be containing TF ` JG, let I : F Ñ V be the restriction I :“ T F . Then clearly I ˝ γ “ J ˝ η. n n 2): From 1) and the Proposition 3.5, we obtain that Lpp0, 1q is t`p un-Fraïssé. Since Lpp0, 1q P rt`p uns, n we obtain from Theorem 2.26 that Lpp0, 1q “ limt`p un.

4. The Fraïssé property of Lpp0, 1q: Approximate equimeasurability in Lp spaces The main result of this section is the following.

Theorem 4.1. If 1 ď p ă 8, p not even, then Lpp0, 1q is Fraïssé.

Lusky’s proof of the approximate ultrahomogeneity of the spaces Lpp0, 1q for 1 ď p ă 8, p R 2N is a consequence of the following result, known as the equimeasurability principle, proved independently by A. I. Plotkhin [Plo1] and W. Rudin [Ru]. For the ﬁeld F “ R, C, recall that given a ﬁnite measure space pΩ, Σ, µq, we denote by LppΩ, Σ, µ; Fq, or simply Lppµq, the Lebesgue space of all p-integrable functions f :Ω Ñ F.

Theorem 4.2 (Equimeasurability principle). Suppose that 1 ď p ă 8, p R 2N, pΩ0, Σ0, µ0q, pΩ1, Σ1, µ1q are ﬁnite measure spaces, and f0, . . . , fn´1 P Lppµ0q and g0, . . . , gn´1 P Lppµ1q are such that p p

1 ` ajfjpωq dµ0pωq “ 1 ` ajgjpωq dµ1pωq ˇ ˇ ˇ ˇ ż ˇ jăn ˇ ż ˇ jăn ˇ ˇ ÿ ˇ ˇ ÿ ˇ ˇ ˇ ˇ ˇ ˇ ˇ ˇ ˇ 24 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC for every scalars a0, . . . , an´1 P F. Then, F “ pfjqj and G “ pgjqj are jointly equidistributed; that is, for n every Borel subset A Ď F ,

F˚µ0pAq “ µ0ptω P Ω0 : pfjpωqqjăn P Auq “ G˚µ1pAq “ µ1ptω P Ω1 : pgjpωqqjăn P Auq. 1 1 In other words, if } Ω0 ` j ajfj}Lppµ0q “} Ω1 ` j ajgj}Lppµ1q for every scalars a0, . . . , an´1 P F, then the pushforward Borel measures F µ and G µ are equal. Our demonstration relies on an extension of ř ˚ 0 ˚ 1 ř the equimeasurability principle. In order to state it we will use the well-known Lévy-Prokhorov metric. Let pX, dq be a separable metric space. Let BpXq be the σ-algebra of Borel subsets of X, and let MpXq be the collection of Borel measures on X.

2 Definition 4.3 (Lévy-Prokhorov metric). The Lévy–Prokhorov metric dLP : MpXq Ñ r0, `8q is defined by setting the distance between two finite measures µ and ν to be

dLP pµ, νq :“ inf tε ą 0 | µpAq ď νpAεq ` ε and νpAq ď µpAεq ` ε for all A P BpXqu .

This metric deﬁnes the complete convergence on MpXq (see [Bi, Section 6]). We are in disposition to n present the continuity statement associated to the equimeasurability principle. In the next, zj : F Ñ F th is the j -projection mapping pa0, . . . , an´1q ÞÑ aj, and given a measure space pΩ, Σ, µq and ϕ P Lppµq positive, let ϕdµ be the measure on Σ having density f with respect to µ, that is, pϕdµqpAq :“ A ϕdµ.

Theorem 4.4 (Approximate equimeasurability principle). Suppose that 1 ď p ă 8, p R ş2N, and pΩ0, Σ0, µ0q is a finite measure space. Then for every ε ą 0, I Ď r0, ps finite and f0, . . . , fn´1 P Lppµ0q there is δ ą 0 such that if pΩ1, Σ1, µ1q is a finite measure space and g0, . . . , gn´1 P Lppµ1q are such that 1 1 ` a g ď 1 ` a f ď p1 ` δq 1 ` a g 1 δ Ω1 j j Ω0 j j Ω1 j j ` › j › › j › › j › › ›Lppµ1q › ›Lppµ0q › ›Lppµ1q › ÿ › › ÿ › › ÿ › for every scalars ›a , . . . , a , then,› › › › › › 0 n´1 › › › › › α α max dLP p|zj| dpF˚µ0q, |zj| dpG˚µ1qq ă ε, αPI,jăn n that is, for every α P I, every j ă n, and every Borel subset A Ď F , α α |fjpωq| dµ0pωq ď |fjpωq| dµ1pωq ` ε and ´1 ´1 żF pAq żG pAεq α α |fjpωq| dµ1pωq ď |fjpωq| dµ0pωq ` ε, ´1 ´1 żG pAq żF pAεq where, as before, F “ pfjqjăn and G “ pgjqjăn.

n n Here we are using the standard euclidean metric on F , and the fact that F˚µ0,G˚µ1 P MpF q. Also, we are using that that ϕpzqdpF˚µqpzq “ ϕpF pωqqdω for every positive Borel function ϕ, that can be easily proved by ﬁrst assuming that ϕ is a characteristic function of a Borel subset of n, use linearity of ş ş F the integral, and then use the monotone convergence theorem.

A well-known consequence of the equimeasurability principle is that if γ : X Ď Lppµ0q Ñ Lppµ1q is an isometric embedding, and u P X has full support in X, then γu has full support in γX. Similarly, Theorem 4.4 will provide the corresponding approximate result. Given ε ą 0, we say that f P X has

ε-full support if }Ptu“0u X} ď ε. We have then the following.

Theorem 4.5 (Approximate full support). Suppose that X is a ﬁnite dimensional subspace of Lppµq with 1 ď p ă 8, p R 2N, u P X has full support in X and suppose that ε ą 0. Then there is some δ ą 0 such that if γ P EmbδpX,Lppµqq then γpuq has ε-full support in γpXq. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 25

The study of the approximate equimeasurability will be done in the next Subsection 4.2, first by finding the topological correspondence determining the convergence of p-characteristics (Theorem 4.14), and finishing with its metric version in terms of the Lévy-Prohorov metric (Theorem 4.25). Before, we present how to use Theorem 4.4 and Theorem 4.5 to prove the Fraïssé property of Lpp0, 1q for 1 ď p ă 8, p R 2N.

4.1. The proof of Theorem 4.1. We have already seen that AgepLpp0, 1qq is always compact, so we just need the weak-Fraïssé property of Lpp0, 1q for 1 ď p ă 8, p R 2N. Let us explain the strategy of the proof. Suppose that X P AgepLpp0, 1qq and γ : X Ñ Lpp0, 1q is a δ-isometric embedding, Y :“ Imγ. 1 Suppose that r0,1s P X and choose a basis pfjqjăn of X. In Definition 4.6 we introduce appropriate n partitions R of F whose pieces are products j Ij where each Ij Ď F either has small diameter or p ´1 is an unbounded set such that |fj| is small enough. By considering pullback partition F pRq, Ij ś F : 0, 1 n, x F x : f x , we can naturally almost embed X into the finite dimensional r s Ñ F ÞÑ p q “ p jşp qqjăn Lp-space x1F ´1RyRPR (Proposition 4.7). By the approximate equimeasurability principle, Y is almost 1 1 1 embedded into x G´1pRqyRPR and the mapping F ´1pRq ÞÑ G´1pRq linearly defines an almost isometry that almost extends γ, and that can be easily perturbed to become a surjective isometry I (Lemma 4.9). m Now we use the extension result for isometric embeddings defined on `p (Proposition 3.5) to find the 1 isometry almost extending γ. If r0,1s R X, then we choose some normalized u P X of full support in X, and by the approximate full support principle we know that γpuq will have approximate full support of Y . We can now rotate both u and γpuq to 1, and use the case when X was unital. We start by introducing appropriate partitions.

Definition 4.6 (Appropriate partitions). Let F “ pfjqjăn be a sequence of functions in LppΩ, Σ, µq, p εp n 0 ă ε ď 1, and let K ą 0 such that maxj |fj| ă . We say that a finite partition R of is |fj |ěK 3 F ε, K - appropriate for F when each P R is of the form P I where each I is either a Borel p q P ş “ jăn j j subset I Ď of diameter strictly less than ε{p3}µ}q1{p, or else equal to zBp0,Kq. j F ś F Associated to such partition R, we consider the finite partition P :“ F ´1pRq “ tF ´1R : R P Ru of Ω, and the corresponding conditional expectation Ep¨; Pq : LppΩ, Σ, µq Ñ LppΩ, P, µq,

1 f; P fdµ 1 ´1 . Ep q “ ´1 0 F pRq µ0pF pRqq ´1 µ F ´1 R 0 ˜ F pRq ¸ p ÿp qqą ż It is a consequence of Jensen’s inequality that the conditional expectations is a norm one projection.

Given an pε, Kq-appropriate partition R for F :“ pfjqjăn, let

F R` :“tR P R : F˚µpRq ą 0u, F F F F F R0 :“R zR`,R0 :“ R0 and for each k ă n, F F F F R`,k :“tR P R` : πkpRďq is boundedu,R`,k :“ R`,k and F F F F F R8,k :“R0 zR`,k, and R8,k :“ R8,k. ď ď Proposition 4.7. Suppose that R is pε, Kq-appropriate for F “ pfjqjăn. Then, for every k ă n, (a) } pf ; Pq F ´1pRF q}p ď }f F ´1pRF q}p ă εp{3, E k 8,k Lppµq k 8,k Lppµq (b) } pf ; Pq RF ´ f RF }p ď εp{3, E k `,k k `,k Lppµq

Proof. The proof is standard. To simplify the notation we will avoid the superindex F . Fix k ă n. The fact that } pf ; Pq F ´1pR q}p ď }f F ´1pR q}p follows from Jensen’s inequality; Now E k 8,k Lppµq k 8,k Lppµq observe that R8,` Ď t|fk| ě Ku, hence, p ´1 p p ε }fk F pR8,kq} }fk t|fk| ě Ku} ă . Lppµq Lppµq 3 ´1 Given R P R`,k, and given ω P F C, 1 1 ε f dµ ´ f pωq ď |f pαq ´ f pωq| dµpαq ď diampI q ď . ´1 k k ´1 k k k p ˇµpF pRqq F ´1pRq ˇ µpF pRqq F ´1pRq 3}µ} ˇ ż ˇ ż Hence,ˇ ˇ a ˇ ˇ p ˇ 1 ˇ εp f dµ f α dµ α µ F ´1 R . ´1 k ´ kp q p q ď p p qq F ´1R ˇµpF pRqq F ´1pRq ˇ 3}µ} ż ˇ ż ˇ Putting all together, ˇ ˇ ˇ ˇ ˇ ˇ p 1 } pf ; Pq R ´ f R }p “ f dµ ´ f pαq dµpαq ď E k `,k k `,k Lppµq ´1 k k ´1 µpF pRqq ´1 RPR F R ˇ F pRq ˇ ÿ`,k ż ˇ ż ˇ p ˇ p ˇ ε ˇ 1 ε ˇ ď ˇ µpF ´ pRqq ď .ˇ 3}µ} 3 µ F ´1 R 0, π R B 0,K c p p qqą ÿkp q‰ p q (c) follows easily from (a) and (b). n th Recall that zj : F Ñ F is the j -projection mapping pa0, . . . , an´1q ÞÑ aj, and that given ϕ P Lppµq positive, ϕdµ is the measure on Σ deﬁned by pϕdµqpAq :“ A ϕdµ. The following is easy to prove.

Proposition 4.8. Suppose that R is pε, Kq-appropriate forş F . There is δ ą 0 such that if G “ pgjqj in p p Lppνq is such that maxj dLP p|zj| dpF˚µq, |zj| dpG˚νqq ď δ, then R is also pε, Kq-appropriate for G. For the next lemma, recall that a µ-measurable set is of µ-continuity when µpBAq “ 0, where BA is the topological boundary. 1 Lemma 4.9. For every X Ď Lppµ0q ﬁnite dimensional containing Ω0 and every ε ą 0 there are δ ą 0, EpX; εq Ď Lppµ0q and ξX,ε : X Ñ EpX; εq such that m (a) EpX; εq is isometric to some `p ;

(b) }ξX,ε ´ iX }µ0 ď ε; (c) for every unital δ-isometric embedding γ : X Ñ Lppµ1q there is an isometric embedding I : EpX; εq Ñ Lppµ1q such that }I ˝ ξX,ε ´ γ} ď ε.

We will say that the pair pEpX; εq, ξX,εq is an ε-envelope of X.

Proof. Fix ε0, and let F :“ pfjqjăn be an Auerbach basis of X, that is maxj |aj| ď } j ajfj}Lppµ0q. Let R be an pε{p6nq,Kq appropriate partition for F , consisting of F µ -continuity sets and let P :“ F ´1pRq. ˚ 0 ř It follows from Proposition 4.7 that maxj }fj ´ Epfj; Pq} ď ε{6n, and since F is an Auerbach basis, we 1 ε obtain that }f ´ Epf; Pq} ď ε{6. Let then EpX; εq :“ x P yP PP and let ξX,ε : X Ñ X be the restriction to X of the conditional expectation Ep¨; Pq. We use Theorem 4.4 of approximate equimeasurability to ﬁnd 1 1 p δ ą 0 such that if T : X Ñ Lppµ1q is a δ-embedding such that T p Ω0 q “ Ω1 , and setting G :“ pgjqjăn, gj :“ T pfjq, then ´1 ´1 ´1 F 1{p (i) p1 ` ε0q ď µ1pG Rq{µ0pF Rq ď 1 ` ε0 for R P R`, where ε0 :“ ε{p4nKp3}µ0}q q; p p p (ii) maxj ´1 F |gj| dµ1 ď ε1 “ ε {pn 6q; G R0 (iii) R is ε 2n, K -adequate; pş { q AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 27

(iv) G is a 2-biorthogonal sequence of TX, that is maxj |aj| ď 2} j ajgj}Lppµ1q.

(i) is possible because each C is a F˚µ0-continuity set, and (ii)ř and (iii) are possible because we can p p force each |zj| dpF˚µ0q and |zj| dpG˚µ1q to be close enough with respect to the Lévy-Prokhorov metric. ´1 Suppose that γ : X Ñ LppΩ1, µ1q is a unital δ-embedding. Let G :“ pgjqjăn, gj “ γpfjq, Q :“ G R.

Observe that by (iv) and (v) we have that }iγX ´Ep¨; Qq γX}LppΩ1,µ1q ď ε. Let I : EpX; εq Ñ LppΩ1, µ1q G be linearly deﬁned for each R P R` by ´1 µ0pF Rq I 1 ´1 : 1 ´1 . p F Rq “ ´1 G R µ1pG Rq

F G Note that by (i) above, R Ď R ; hence, for scalars paRq F , ` ` RPR`

´1 µ0pF Rq ´1 I a 1 ´1 a a µ F R a 1 ´1 . } p R F Rq}Lppµ1q “} R ´1 }Lppµ1q “ R 0p q “ } R F R}Lppµ0q µ1pG Rq RPRF RPRF RPRF RPRF ÿ` ÿ` ÿ` ÿ` So, I is an isometric embedding. The proof will be ﬁnished once we establish that

}I ˝ ξX,ε ´ Ep¨; Qq ˝ γ} ď ε.

Fix k ă n. We have that 1 I ξ f I f ; P f dµ 1 ´1 ; p X,εp kqq “ pEp k qq “ ´1 k 0 G pRq µ1pG pRqq F ´1pRq RPRF ˜ ¸ ÿ` ż 1 g ; Q g dµ 1 ´1 . Ep k q “ ´1 k 1 G pRq µ1pG pRqq G´1pRq RPRF ˜ ¸ ÿ` ż F Fix R P R`,k, and let α P πkpCq. Then we have that

µ pF ´1pRq f dµ g dµ f α dµ g 0 α dµ k 0 ´ k 1 ď | k ´ | 0 ` k ´ ´1 1 ď ˇ F ´1pRq G´1pRq ˇ F ´1pRq G´1pRq µ1pG pRq ˇż ż ˇ ż ż ˇ ˇ ˇ ˇ ˇ ˇ ˇ ˇ ε ˇ ε ˇ ˇ ˇ ď µ pF ´1pRqq ` ˇ ` ε K µˇpG´1pRqq ď p 0 p 0 1 6n 3}µ0} ˜6n 3}µ0} ¸ a 3ε a ď µ pG´1pRqq. p 1 ˜4n 3}µ0}¸ Hence, a

}Ipξ pf qq G´1pRF q ´ pg ; Qq G´1pRF q}p “ X,ε k `,k E k `,k Lppµ1q p 1 f dµ g dµ “ ´1 k 0 ´ k 1 ď G´1pRq µ1pG pRqq F ´1pRq G´1pRq RPRF ˇ ˜ ¸ˇ ÿ`,k ż ˇ ż ż ˇ ˇ p ˇ ˇ p ´1 ˇ 3εˇ 3ε µ1pG pRˇ qq ď µ pG´1pRqq ď . p 1 4n 3}µ0} 4n 3}µ0} RPRF ˜ ¸ RPRF ˆ ˙ ÿ`,k ÿ`,k a On the other hand, by (iii) above, p ´1 F p ´1 F p ´1 G p ε }Epgk; Qq G pR0 q} ď}gk G pR0 q} ď }gk G pR0 q} ď . Lppµ1q Lppµ1q Lppµ1q 6np 28 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

Finally, since R is pε{6n, Kq-adequate for both F and G, we obtain from (a) in Proposition 4.7 that p ´1 F p ε }Epgk; Qq G pR8,kq} ď . Lppµ1q 3p6nqp Since

´1 F ´1 F IpξX,εpfkq G pR8,kqq “ IpEpfk; Pq F pR8,kqq and I is an isometry, we obtain, using again (a) in Proposition 4.7 that p ´1 F p ´1 F p ε }IpξX,εpfkq G pR8,kqq} “}Epfk; Pq F pR8,kq} ď . Lppµ1q Lppµ0q 3p6nqp Putting all together,

}I ˝ ξ pf q ´ pg ; Qq}p “}pI ˝ ξ pf q ´ pg ; Qqq G´1pRF q}p ` } pg ; Qq G´1pRF q}p ` X,ε k E k X,ε k E k `,k E k 0 Lppµ1q ´1 F p `}pI ˝ ξX,εpfkq ´ Epgk; Qqq G pR8,kq} ď p ´1 p p p p p 3ε µ1pG pRqq ε ε 2 3ε ε ε ď ` ` 2 ď ` ď . 4n 3}µ } 3p6nqp 3p6nqp 3 4n p6nqp np RPR 0 ÿ`,k ˆ ˙ ˆ ˙

Since pfkqkăn is an Auerbach basis of X, we obtain that }I ˝ ξX,ε ´ Ep¨; Qq ˝ γ}Lppµ0q,Lppµ1q ď ε.

We are ready for the proof of the weak Fraïssé property of Lpp0, 1q for 1 ď p ă 8, p R 2N:

Proof of Theorem 4.1. Suppose that X P AgepLpp0, 1qq, 0 ă ε ď 1 and denote by SX the unit sphere of X, that is, the points in X of norm one. Let A be the support of X. By making a small perturbation if needed, we assume that λpAq ă 1. Let u P SX be such that supp u “ A, and let θX P IsopLppAqq be ´1{p such that θX puq “ λpAq 1A (see for example Lemma 3.3). Let now X0 :“ θpXq. We apply Lemma 4.9 to X0 and ε to ﬁnd the corresponding 0 ă δ0 ď ε, and then Theorem 4.5 to u X and δ0{2 ą 0 to 2 ﬁnd the corresponding 0 ă δ1 ď δ0. Let 0 ă δ ď δ1 be such that p1 ` δq ď p1 ` δ0qp1 ´ δ0{2q. We claim that such δ works: For suppose that γ : X Ñ Lpp0, 1q is a δ-embedding. It follows that γpuq has δ0{2-full support in γpXq. Let B :“ supp γpuq, that without loss of generality we assume that λpBq ă 1, and let

γ0 : X Ñ Lpp0, 1q be ´1 γ0 :“}γpuq} PB ˝ γ.

By the choice of δ, we have that γ0 P Embδ0 pX,LppBqq and }γ0 ´ γ} ď 3ε. Let now Φ: LppBq Ñ LppAq be an isometry onto. Let Y :“ ΦpPBpγpXqqq :“ tΦpg Bq : g P γpXqu. We consider now γ1 : X Ñ Y Ď LppAq,

γ1 :“ Φ ˝ γ0, and note that γ1 P Embδ0 pX,LppAqq. Set v :“ γ1puq, that is normalized and has support A, and let ´1{p θY P IsopLppAqq be such that θY pvq “ λpAq 1A. We set now γ2 : X0 Ñ θY pY q “ Y0,

´1 γ2 :“ θY ˝ γ1 ˝ θX X0. 1 1 1 m Observe that A P X0 X Y0, and that γ2p Aq “ A, so by the choice of δ0, there is some X ” `p ,

ξ : X0 Ñ X and an isometric embedding I : X Ñ LppAq such that }ξ ´ iX0 } ď ε, and }I ˝ ξ ´ γ2} ď ε. By p Proposition 3.5, there is an isometry θ P IsopLppAqq such that }θ X ´ I} ď ε. Then, }θ ´ γ2} ď 4ε, or, equivalently,p p p }θ2 ´ γ0} ď 4ε, ´1 ´1 where θ2 :“ Φ ˝θY ˝θ ˝θX : LppAq Ñ LppBq is an isometry onto. Let J P IsopLpp0, 1qq be extending θ2. c c Let us see that this is possible: since we have that 0 ă λpAq, λpBq ă 1, we have that LppA q and LppB q AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 29

c c c are isometric, so we ﬁx a surjective isometry Θ: LppA q Ñ LppB q, and then Jpfq :“ θ2pf Aq`Θpf A q makes the job. Since we know that }γ ´ γ0} ď 3ε, putting all together we obtain that

}J X ´ γ} ď 7ε.

Corollary 4.10. For 1 ď p ă 8, p ‰ 4, 6,... the class AgepLpp0, 1qq of ﬁnite dimensional subspaces of Lpp0, 1q is a Fraïssé class whose limit is Lpp0, 1q. In a personal communication I. Ben Yaacov [BY1] mentioned to us that there might be connections of this result with the Ryll-Nardzewski Theorem and quantiﬁer elimination in the context of continuous logic (see [BYBeHeUs, Sections 12 and 13]) .

4.2. The approximate equimeasurability principle. As mentioned before, Plotkhin and Rudin in- ppq dependently proved that for 1 ď p ă 8, p R 2N, the transform µ paq :“}1 ` xa, zy}Lppµq determines the p i

µpBAq “ 0, where BA is the topological boundary of A. Recall that a sequence pµnqn of ﬁnite measures converges weakly to µ P MpXq when µnpAq Ñn µpAq for every bounded continuity set A P BpXq. The sequence pµnqn converges completely to µ if it converges weakly and }µn}Ñn }µ}. It is well-known that pµnqn converges completely to µ exactly when pµnqn converges weakly to µ and pµnqn is tight, or, equivalently, when µnpAq Ñn µpAq for every continuity set A P BpXq. Recall that pµnqn is tight if for every ε ą 0 there is a compact set K Ď X such that supn µnpXzKq ď ε. Given a function f : X Ñ R that is integrable with respect to µ P MpXq one deﬁnes the (signed) measure fdµ by fdµpAq :“ A fdµ. The Fourier-Stieltjes transform of µ M n is the function µ : n , P pF q F Ñ C ş ¯ µpaq “ ei

0 n n In the previous definition |z| is the euclidean norm of the vector z. It follows that Mp qpF q “ MpF q n ppq n p is the collection of finite Borel measures on F , and that µ P M pF q if and only if |zj| dµpzq ă 8 for every 1 j n, where each z n z is the canonical jth-projection. Recall that given a ď ď P F ÞÑ j P F ş measurable function T : pΩ0, Σ0q Ñ pΩ1, Σ1q and a measure µ on Σ0 one defines the pushforward measure ´1 T˚µ on Σ1 by pT˚µqpAq :“ µpT pAqq for A P Σ1. In particular, each sequence F “ pf1, . . . , fnq of n elements of a Lebesgue space LppΩ, Σ, µq defines the measure F˚µ on F , where F is interpreted as the n measurable function F :Ω Ñ F , F pωq “ pf1pωq, . . . , fnpωqq. Notice that for Hpz1, . . . , znq P LppF˚µq one has that Hpz1, . . . , znqdpF˚µqpz1, . . . , znq “ Hpf1pωq, . . . , fnpωqqdµpωq.

p n p n Deﬁnitionş 4.12 (p-characteristics). Given şµ P Mp qpF q, we deﬁne the p-characteristics µp q : F Ñ r0, 8r of µ by 1 p p ppq p n µ paq :“}1 ` xa, zy}Lppµq “ |1 ` xa, zy| dµpzq for every a P F . ˆż ˙ With this terminology,p Plotkin and Rudin results can be restated as follows. p n Theorem 4.13 (Uniqueness of the p-characteristics). Suppose that 1 ď p ă 8, p R 2N. If µ, ν P Mp qpF q are such that µppq “ νppq, then µ “ ν.

This is the corresponding continuity statement for p-characteristics. p p Theorem 4.14 (Continuity of the p-characteristics). Suppose that 1 ď p ă 8, p R 2N. The following are ppq n equivalent for a sequence pµkqk and a measure µ all in M pF q: α α 1) p|z| dµkqk converges completely to |z| dµ for all 0 ď α ď p; p p 2) p|z| dµkqk converges completely to |z| dµ and }µk}Ñk }µ}; p 3) pµkqk converges completely to µ and p|z| dµkqk is tight; ppq ppq n 4) pµk qk converges to µ uniformly in all compacta of F . The proof of each implication is done in several steps, being 4 q ùñ 3 q the more interesting one. x p ` Proposition 4.15. Let f : pX, dq Ñ R be a continuous function and suppose that pµkqk and µ satisfy that fdµn, fdµ ă 8. If pµkqk converges weakly to µ and pfdµkqk is tight, then pµkqk is tight and fdµ converges completely to fdµ. Consequently 3 1 of Theorem 4.14 holds for every p. p kşqk ş q ùñ q Proof. By one of the several characterizations of weak convergence (Portmanteau Theorem, [Bi, Theorem

2.1]) we have to check that lim supk C fdµk ď C fdµ for every closed subset C Ď X. Fix ε ą 0. and let K X be a compact subset such that sup fdµ Kc ε 2. Now the function g : 1 f Ď ş şkp kqp q ă { “ KXC ¨ is upper semicontinuous and bounded, since K X C is closed. Since µk Ñk µ weakly, it follows that lim supk gdµk ď gdµ. Consequently, ş ş lim sup fdµk ď lim sup gdµk ` lim sup fdµk ď gdµ ` ε ď fdµ ` ε. c k żC k ż k żK ż żC Since ε is arbitrary, we are done.

p p Proposition 4.16. Suppose that p|z| dµkqk converges completely to |z| dµ and suppose that }µk}Ñk }µ}. Then pµkqk converges completely to µ. Consequently 2 q ùñ 3 q of Theorem 4.14 holds for every p.

p Proof. The fact that p|z| dµkqk converges completely gives that it is tight, and since p ě 0, we obtain that pµkqk is tight. Since this implies that every subsequence of pµkqk has a further completely converging subsequence, the next claim implies that pµkqk converges completely to µ. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 31

Claim 4.16.1. Every complete converging subsequence of pµkqk converges to µ.

Proof of Claim: Suppose that pµkqkPM converges completely to ν. It follows from Proposition 4.15 that p p p p |z| dµk ÑkPM |z| dνpzq completely, so |z| dν “ |z| µ. We are going to see that this implies that ν “ µ: Fix δ ą 0. Let 0 ă γ ď δ be such that p1 ` δqp1 ´ pγ{δq ě 1, and let P be a countable partition of n Kδ :“ F zBp0, δq of (Borel) subsets of diameter at most γ. A simple computation gives that if A Ď Kδ p p as diameter at most γ, then supaPA |a| ď p1 ` δq infaPA |a| . This implies that given P P P one has that

inf |a|pµpP q ď |z|pdµpzq “ |z|pdνpzq ď sup |a|pνpP q ď p1 ` δq inf |a|pνpP q, aPP aPA żP żP aPP and hence µpP q ď p1 ` δqνpP q. It follows that given E Ď Kδ and setting PE :“ tP P P : P X E ‰ Hu we have that E Ď P Ď pEq , and consequently, P PPE γ

µpEq ď µpŤ P q “ µpP q ď p1 ` δq νpP q ď p1 ` δqνppEqγq ď p1 ` δqνppEqδq. P PP P PP P PP ďE ÿE ÿE n Since δ was arbitrary, we obtain that µpEq ď νpE¯q and νpEq ď µpE¯q for every Borel E Ď F zt0u. In n n particular µpKδq “ νpKδq for every δ ą 0, so µpF zt0uq “ νpF zt0uq. Using that }µ}“}ν} we obtain n that µpt0uq “ νpt0uq. Now ﬁx a Borel continuity subset E Ď F for µ and ν, and let pδnqn be a decreasing sequence of strictly positive real numbers with limit 0 such that µpBBp0, δnqq “ νpBBp0, δnqq “ 0. Since

BpE X Kδn q Ď BE YBBp0, δnq, it follows that E X Kδn is a continuity set, so µpE X Kδn q “ νpE X Kδn q for all n. Hence, µpEzt0uq “ limnÑ8 µpE X Kδn q “ limnÑ8 νpE X Kδn q “ νpEzt0uq and consequently µpEq “ νpEq. We need the following simple estimates.

p n Proposition 4.17. Suppose that µ, ν P Mp qpF q. Then p 1 p p 1 p n (a) 0 ď µp qpaq ď }µ} { ` |a| ¨ } |z| dµ} { for every a P F ; (b) µppq is uniformly continuous; in fact, |µppqpaq ´ µppqpbq| ď |a ´ b| ¨ }|z|pdµ}1{p. p 1 ppq p Proof. (a): Using Cauchy–Schwarz, µ paq “ }1 ` xa, zy}Lppµq ď }1}Lppµq ` |a|}|z|}Lppµq “}µ} ` p 1 p p p p ppq ppq p 1{p |a|}|z| dµ} . (b): |µ paq ´ µ pbq| ď }xa ´ b, zy}L1pµq ď |a ´ b|}|z|}L1pµq “ |a ´ b| ¨ }|z| dµ} . p p p Proposition 4.18. Suppose that we have the complete convergence µk Ñk µ and |z| dµk Ñ |z| dµ. Then ppq p ppq p n pµk qk converges to µ uniformly in all compacta of F . Consequently 1 q ùñ 4 q of Theorem 4.14 holds for every p.

x p p Proof. Fix M ą 0 and ε ą 0. We know that p|z| µkqk is tight, so there is some K ě 1 such that p |z|ąK |z| dµkpzq ď ε. Let D be a ﬁnite ε-dense subset of Bp0,Mq, and let k0 be such that ş p p |1 ` xa, zy| dµkpzq ´ |1 ` xa, zy| dµpzq ď ε ˇ |z|ďK |z|ďK ˇ ˇż ż ˇ ˇ 1 ˇ p for every a P D and everyˇ k ě k0. This is possible since |z|ďK |1 ` xa, zˇy| is bounded and µk Ñ µ ˇ ˇ completely. Then for such k and a,

ppq ppq p p c |µk paq ´ µ paq| ď |1 ` xa, zy| dµkpzq ´ |1 ` xa, zy| dµpzq ` µpBp0,Kq q` ˇ |z|ďK |z|ďK ˇ ˇż ż ˇ ˇ c p p c p ˇ c p x p `µˇ kpBp0,Kq q ` |a| pp|z| dµqpBp0,Kq q ` p|z| dµkqpBˇ p0,Kq qq ď εp3 ` 2|a| q ď ˇ ˇ ďεp3 ` 2M pq. 32 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

Using this and Proposition 4.17 (b), for every |a| ď M and k ě k0, ppq ppq p p p |µk paq ´ µ paq| ďεp}|z| dµ} ` }|z| dµk} ` 3 ` 2M q.

This shows that µ ppq Ñ µppq uniformly on Bp0,Mq. k x p We have already seen that 1), 2) and 3) of Theorem 4.14 are equivalent (1) implies 2) trivially and x p also that 3 q ùñ 4 q. We conclude by showing that 4 q ùñ 3 q. We start with the following interesting criteria for complete convergence extending the proof given by Hardin in [Har, Theorem 1.1a] of the equimeasurability principle for n “ 1.

Lemma 4.19. Suppose that pµkqk and µ are measures in MpFq such that }µk}Ñk }µ} and such that there is a continuous and bounded 0 ‰ f P L1pF, λq such that fpa ` bzqdµkpzq Ñk fpa ` bzqdµpzq for every a, b . Then µ converges completely to µ. p q P F ˆ F p kqk ş ş

Proof. We ﬁx all data. Notice that f P Lppνq for every ν P MpFq, because f is bounded and continuous, and νpFq is ﬁnite.

Claim 4.19.1. pµkqk is tight.

Proof of Claim: Fix ε ą 0. Let z0 be such that |fpz0q| “ }f}8, and let δ ą 0 be such that p1 ´ εq|fpzq| ď c ´1 |fpz0q| for |z ´ z0| ď δ. Fix K ą 0 such that µpBp0,Kq q ď ε and let gpzq :“ |fpz0q| fppδ{Kqz ` z0q. Notice that gpa ` bzqdµk Ñk gpa ` bzqdµ for every pa, bq P F ˆ F, that 1 “ gp0q “ maxz gpzq “ }g}8, and that 1 ε g z 1 for every z K. Let L K be such that max g z ε. Let k be such ´ş ď p q ď ş | | ď ě |z|ěL | p q| ď 0 that | gdµk ´ gdµ|, |}µk} ´ }µ}| ď ε for every k ě k0. Then for such k, ş ş µkpBp0,Lqq ě gpzqdµkpzq ě gpzqdµkpzq ´ ε}µk} ě gpzqdµpzq ´ εp1 ` }µk}q ě ż|z|ďL ż ż

ě gpzqdµpzq ´ p2 ` }µk}qε ě p1 ´ εqµpBp0,Kqq ´ p2 ` }µk}qε ě ż|z|ďK ěp1 ´ εqp}µ} ´ εq ´ p2 ` }µk}qε ě p1 ´ εqp}µk} ´ 2εq ´ p2 ` }µk}qε “

“}µk} ´ p4 ` 2}µk}qε. c So, µkpBp0,Lq q ď p4 ` 2}µk}qε, and since pµkqk is bounded, the previous inequality shows that pµkqk is tight. Claim 4.19.2. Suppose that ν is such that }µ}“}ν} and that fpa ` bzqdµpzq “ fpa ` bzqdνpzq for every a, b . Then µ ν. P F “ ş ş Proof of Claim: This is essentially proved in [Har]. For the sake of completeness we give a proof. Given c P F, let fcpzq :“ fpczq. For a, c P F we have pfc ˚ µqpaq “ fcpa ´ uqdµpuq “ fpca ´ cuqdµpuq “ f ca cu dν u f a u dν u f ν a , so, p ´ q p q “ cp ´ q p q “ p ˚ qp q ş ş

ş ş fcµ “ fc ˚ µ “ fc ˚ ν “ fcν (6) We prove that µ “ ν, that, by the uniqueness of Fourier-Stieltjes transform, implies that µ “ ν. So, ﬁx p p { { p p a P F. First of all, if a “ 0, then µp0q “ }µ}“}ν}“ νp0q. So, suppose that a ‰ 0; let 0 ‰ a0 P F be such that fpa0q ‰ 0.p Thisp is possible because f ‰ 0, and by the continuity of f. Set c :“ a{a0. It follows from (6) that p p p 1 1 p fpa qµpaq “ f paqµpaq “ f paqνpaq “ fpa qνpaq, c 0 c c c 0 hence µpaq “ νpaq. p p p p p p p p p p AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 33

We are going to see now that every subsequence of pµkqk has a further subsequence converging completely to µ, which proves that pµkqk converges completely to µ: Fix a subsequence pµkqkPM of pµkqk; by Helly’s ﬁrst Theorem, there is a further subsequence pµkqkPN of pµkqkPM converging completely to ν. Since for each a, b P F the function fpa ` bzq is continuous and bounded, we have that fpa ` bzqdµkpzq ÑkPN fpa ` bzqdµpzq for every a, b P F. Hence, fpa ` bzqdµpzq “ fpb ` bzqdνpzq for every a, b , and this implies, by Claim 4.19.2, that ν µ. ş P F ş “ ş ş

We are going to use Lemma 4.19 to show the implication 4 q ùñ 3 q, so we have to ﬁnd the appropriate function.

Proposition 4.20. For every p P r1, 8rz2N and every m ě 2tpu ` 6 there exists a sequence pajqjďm of m p real numbers such that the function fpzq :“ j“0 aj|z ` j| satisﬁes (a) f ‰ 0; ř (b) f P L1pλ; Fq and is bounded; fpzq (c) limzÑ0 |z|p “ a0.

Proof. We give the proof assuming that F “ C, but notice that the same function f when restricted to α the real numbers has the desired properties for F “ R. In the next, the complex power z :“ exppα log zq is deﬁned on U :“ Cztz ď 0u, and log z is the principal brach of the logarithm. Recall that for |z| ą m in U and 0 ď j ď m one has that

8 p p p p p p ´k p ´l k`l |z ` j| “ pz ` jq 2 pz ` jq 2 “ 2 2 z 2 z 2 j ; k l k,l“0 ÿ ˆ ˙ˆ ˙ while if |z| ă 1 is in U,

8 p p p p p p´pk`lq k l |z ` j| “ pz ` jq 2 pz ` jq 2 “ 2 2 j z z ; k l k,l“0 ÿ ˆ ˙ˆ ˙

Let pajqjďm be a non-trivial solution of the system

m k j“0 ajj “ 0 0 ď k ď tpu ` 2 $ m a jp´l “ 0 0 ď l ď tpu ` 1. &řj“1 j ř m p % Let fpzq :“ j“0 aj|z ` j| . It follows that for |z| ą m and in U,

řm m 8 p p p p ´k p ´l r |fpzq| “ a |z ` j| “ a 2 2 z 2 z 2 j “ j j k l ˇj“0 ˇ ˇj“0 k,l“0 ˇ ˇÿ ˇ ˇÿ ÿ ˆ ˙ˆ ˙ ˇ ˇ m ˇ ˇ p p ˇ ˇ ˇ ˇ p p ˇ r 2 2 ´k ´l “ ˇ ajj ˇ ˇ z 2 z 2 “ ˇ ˇ ˜ ¸ k l ˇ ˇrě0 j“0 k`l“r ˆ ˙ˆ ˙ ˇ ˇÿ ÿ ÿ ˇ ˇ 8 m p p ˇ 8 m p p ˇ r p ´k ˇp ´l r p´r “ a j 2 2 z 2 z 2 ď a j 2 2 |z| “ ˇ j k l ˇ j k l ˇr“tpu`3 ˜j“0 ¸ k`l“r ˆ ˙ˆ ˙ ˇ r“tpu`3 ˇj“0 ˇ k`l“r ˇˆ ˙ˆ ˙ˇ ˇ ÿ ÿ ÿ ˇ ÿ ˇÿ ˇ ÿ ˇ ˇ ˇ p p 2 ˇ ˇ ˇ ˇ ˇ “Oˇ p|z|t u´ ` q, ˇ ˇ ˇ ˇ ˇ ˇ ˇ ˇ ˇ 34 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC and by continuity, of f, the previous is true for all |z| ą m. Since tpu ´ p ` 2 ą 1, the previous inequality shows that f P L1pλq, and that f is bounded. On the other hand, for |z| ă 1 in U, and similarly as before, m m 8 p p p p 2 2 p´k´l k l |fpzq ´ a0|z| | “ aj|z ` j| “ aj j z z “ ˇ ˇ ˇ k l ˇ ˇj“1 ˇ ˇj“1 k,l“0 ˆ ˙ˆ ˙ ˇ ˇÿ ˇ ˇÿ ÿ ˇ ˇ m ˇ ˇ p p ˇ p´r 2 2 k l “ ˇ ajj ˇ ˇ z z “ ˇ ˇ ˜ ¸ k l ˇ ˇrě0 j“1 k`l“r ˆ ˙ˆ ˙ ˇ ˇÿ ÿ ÿ ˇ ˇ 8 m p p ˇ 8 m p p “ ˇ a jp´r 2 2 zˇkzl ď a jp´r 2 2 |z|r “ ˇ j k l ˇ j k l ˇr“tpu`2 ˜j“1 ¸ k`l“r ˆ ˙ˆ ˙ ˇ r“tpu`2 ˇj“1 ˇ k`l“r ˇˆ ˙ˆ ˙ˇ ˇ ÿ ÿ ÿ ˇ ÿ ˇÿ ˇ ÿ ˇ ˇ ˇ p 1 ˇ ˇ ˇ ˇ ˇ “Oˇ p|z|t u` q as z Ñ 0, ˇ ˇ ˇ ˇ ˇ ˇ ˇ ˇ ˇ and again by continuity of f, the previous inequality is true for all |z| ă 1, hence limzÑ0 |fpzq ´ p p tpu`1 p a0|z| |{|z| ď limzÑ0 Op|z| q{|z| “ 0.

n p Lemma 4.21. Suppose that pµkqk converges to µ uniformly on compacta of F . Then p|z| dµkpzqqk is tight and pµkqk converges completely to µ. Consequently, 4 q ùñ 3 q in Theorem 4.14 holds. x p Proof. We start with the following:

p Claim 4.21.1. p|z| dµkpzqqk is tight.

pjq n Proof of Claim: For each 1 ď j ď n, let µk :“ pπjq˚µk P MppFq, where πj : F Ñ F is the canonical projection πjpz1, . . . , znq “ zj. Observe that for each K ą 0, n n p p p pjq }z}8dµkpzq ď |zi| dµkpzq ď |t| dµk ptq, (7) }z}8ąK j“1 Kă}z}8“|zi| j“1 Kă|t| ż ÿ ż ÿ ż p pjq so, it suﬃces to show that each p|t| dµk ptqqk is a tight sequence for each 1 ď j ď n. We ﬁx one pjq of such j, and to simplify the notation we set ν :“ pπjq˚µ and νk :“ µk for every k. Note that ppq νk Ñk ν, so in particular }νk}Ñk }ν}. Let f be a function as in Proposition 4.20 for m :“ 2tpu ` 6. Then for each a, b P F one has that fpa ` bzqdνk Ñk fpa ` bzqdν, so it follows from Lemma 4.19 thatp ν p ν completely. Since ν ppq ν, in particular one has that t pdν t t pdν t . Set k Ñk k şÑ ş }| | kp q} Ñk }| | p q} p p F pzq :“ fpzq{|z| . For each a, b P F we have that F pa`bzq|z| is bounded and continuous, so it follows that p p p p F pa`btq|t| dνkptq Ñk F pa`btq|tp| dνptq.p Again using Lemma 4.19 we obtain that |t| dνkptq Ñk |t| dνptq completely, so in particular t pdν t is tight, as desired. ş ş p| | kp qqk

Let us prove now that µk Ñ µ completely. Since pµkqk is tight, by Helly’s first Theorem, it suffices to show that each completely convergent subsequence of pµkqk converges completely to µ; so, fix one such p completely convergent subsequences µkl Ñl ν; Since p|z| dµkl pzqql is in addition tight, it follows from ppq ppq ppq ppq the implication 3 q ùñ 4 q of Theorem 4.14 that µkl Ñl ν ; in particular ν “ µ , and by the uniqueness theorem of the p-characteristics, we have that ν “ µ, as desired. x p p p 4.2.1. Inversion formulas for F “ R and p P 2N`1. When working on real numbers and p an odd integer, there is a more direct and elementary proof of 3q ùñ 2q of Theorem 4.14.

Lemma 4.22. For a ‰ 0 we have p 1 1 1 p ´1 p µps ´ 8, asq “ ` lim p´1qj`1 |a ` jε|p µppq 2 2 ¨ pp!q εÑ0` εp j a ` jε j“0 ÿ ˆ ˙ ˆ ˆ ˙˙ p AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 35

ppq Observe that the previous formula shows that a sequence pµkqk in M pRq converges completely to ppq ppq ppq µ P M pRq when pµk qk converges to µ uniformly on compacta. Given a P R and ε ą 0, let p 1 1 j`1 p p x Gppx, a, εq :“ `p p´1q |x ´ pa ` jεq| . 2 2pp!qεp j j“0 ÿ ˆ ˙

Figure 2. G3px, 2, 1q

Proposition 4.23. Gppx, a, εq “ 1 if x ď a, Gppx, a, εqpxq “ 0 if x ě a ` εp and 0 ď Gpp¨, a, εq ď 1; consequently,

µps ´ 8, asq ď Gppx, a, εqdµpxq ď µps ´ 8, a ` εpsq; (8) ż Proof. (a): Suppose that x ď a; then |x ´ pa ` jεq|p “ pa ´ x ` jεqp, so

1 1 1 p p p p G px, a, εq “ ` pa ´ xqp´kp´εqk p´1qj`1 jk “ 1, p 2 2 p!εp k j k“0 ˜j“0 ¸ ÿ ˆ ˙ ÿ ˆ ˙ p j`1 p k p j`1 p p because j“0p´1q j j “ 0 for 0 ď k ă p and j“0p´1q j j “ p!, because p is odd. The estimate for x ě a ` εp is similar. Then note that G px, a, εq ` G p2a ` pε ´ x, a, εq “ 1 so it is enough to check ř ` ˘ p ř p ` ˘ the inequality 0 ď Gppx, a, εq ď 1 for a ď x ď a ` εp{2. For 1 ď r ă p{2 we consider the 2r-derivative of Gppx, a, εq with respect to x,

1 1 p p Gp2rqpx, a, εq “ p´1qj`1 |x ´ pa ` jεq|p´2r. p 2 pp ´ 2rq!εp j j“0 ÿ ˆ ˙ and note that it assumes the value 0 in x “ a and in x “ a`εp{2, and that when p “ 2r`1 then it is aﬃne p`1 on each interval ra ` jε, a ` pj ` 1qεs, 0 ď j ď p ´ 1 and therefore admits at most 2 zeros on ra, a ` εp{2s p`1 (an easy computation shows that actually exactly 2 zeros are obtained). By standard analysis we also p2rq note that if for r ě 1, Gp px, a, εq admits at most m zeros (including a and a ` εp{2) in ra, a ` εp{2s, p2r´1q p2r´2q then Gp px, a, εq admits at most m ´ 1 zeros (including a), and then again Gp px, a, εq admits at 1 most m ´ 1 zeros in the same interval. From these two facts we deduce that Gppx, a, εq admits at most one zero in ra, a ` εp{2s, which must be a, and therefore Gppx, a, εq is monotonous (actually decreasing) 1 there and in particular takes values between 2 and 1. This concludes the proof.

Now Lemma 4.22 follows from this Proposition, simply using that for c ‰ 0 one has that 1 p |x ` c|pdµpxq “ |c|p µppq . c ż ˆ ˆ ˙˙ p 36 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

n 4.2.2. Metrics on MpF q. We give now a quantitative version of the Continuity Theorem 4.14.

p n Definition 4.24. Given µ, ν P Mp qpF q, we define 1 B pµ, νq :“ inftK ě 1 : νppqpaq ď µppqpaq ď Kνppqpaq for all a P nu. p K F 1 Such K always exists because the basicp sequence p Fn , z0, . . . ,p zn´1yq in Lppµq and in Ď Lppνq must be equivalent. The function Bp is a multiplicative pseudometric, that because of the uniqueness of the p-characteristics, it is a multiplicative metric. It is easy to see that Bp defines the compact convergence p n on Mp qpF q. We give now a quantitative version of the continuity theorem of the p-characteristics. Given θ : N Ñ N, let 1 T :“ tµ P Mp nq : }µ} ď θp0q and µp nzBp0, θpm ` 1qqq ď for every m P u. θ F F 2m N Notice that T M n , where N is the collection of mappings θ : . As a consequence of θPNN θ “ pF q N N Ñ N the continuity theorem, we obtain the following. Ť Corollary 4.25 (Quantitative Continuity Theorem). Let θ : N Ñ N and let ε ą 0. p ppq n ppq n (a) Given 0 ď α ď p there is some δ ą 0 such that if |z| dµ P M pF qXTθ, }µ} ď θp0q and ν P M pF q α α is such that Bppµ, νq ă 1 ` δ, then dLP p|z| dµ, |z| dνq ă ε. ppq n p p (b) There is some δ ą 0 such that if µ, ν P M pF q are such that }µ}, }ν} ď θp0q, |z| dµ, |z| dν P Tθ and dLP pµ, νq ă δ, then Bppµ, νq ă 1 ` ε.

p ppq n Proof. (a): Suppose otherwise; we can ﬁnd sequences p|z| dµkqk in M pF q X Tθ and with supk }µk} ď ppq n α α θp0q, and pνkqk in M pF q such that limk Bppµk, νkq “ 1 and infk dLP p|z| dµk, |z| dνkq ě ε. Since pµkqk is bounded in norm and tight, there is a completely convergent subsequence to µ. Without loss of generality, p we assume that pµkqk converges completely to µ, Since p|z| dµkqk is tight, it follows from the implications α α 2. ùñ 3. and 2. ùñ 1. in Theorem 4.14 that limk Bppµk, µq “ 1 and that limk dLP p|z| dµk, |z| dµq “ 0. α α Resuming, limk Bppµ, νkq “ 1 and infk dLP p|z| dµ, |z| dνkq ě ε, contradicting the implication 3. ùñ 1. in Theorem 4.14. The proof of (b) is similar. We leave the details to the reader.

4.2.3. Approximate full support. We ﬁnish the section by proving the approximate full support principle in Theorem 4.5. We assume that Lppµq is separable. Recall that for a µ-measurable subset A, PA denotes the Boolean projection on Lppµq deﬁned by PApfq :“ f ¨1A, and that given a subspace X of Lppµq, and let ε ą 0, we say that f has ε-full support in X if }Ptf“0u X} ď ε. We recall that Theorem 4.5 states that if u P X has full support in X then for every ε ą 0 there is some δ ą 0 such that if γ P EmbδpX,Lppµqq then γu has ε-full support in γX. We will follow the same strategy as in [Har, Section 3]. We need the following preliminary result.

Lemma 4.26. Let D Ď Lppµq be countable. For every 0 ă ε ă 1 there are a1, a2 P r0, 1s such that for every f1, f2 P D one has that a1f1 ` a2f2 has full support in xf1, f2y and 1 ´ a1, a2 ď ε.

Proof. Fix g1, g2 P Lppµq. Let S :“ supp g1 Y supp g2 and let g : S ˆ r0, 1s Ñ F, gpω, tq :“ p1 ´ εqtg1pωq ` εp1 ´ tqg2pωq. We consider the product measure µ ˆ λ on S ˆ r0, 1s, where λ is the Lebesgue measure on r0, 1s. Let A Ď S ˆ r0, 1s be the set A :“ tpω, tq P S ˆ r0, 1s : gpω, tq “ 0u. Notice that given

ω P S we have that λpAωq “ 0, where Aω :“ tt P r0, 1s : pω, tq P Au: We have that t P Aω if and only if tpp1 ´ εqg1pωq ´ εg2pωqq “ ´εg2pωq, and since ω P S, we obtain that p1 ´ εqg1pωq ´ εg2pωq ‰ 0, so AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 37

´1 t Aω “ t´εg2pωqpp1 ´ εqg1pωq ´ εg2pωqq u is a singleton. We deﬁne also, given t P r0, 1s, A “ tω P S : pω, tq P Au. Now using Fubini Theorem,

t 0 “ λpAωqdµpωq “ pµ ˆ λqpAq “ µpA qdλptq. żωPS żtPr0,1s t So Hg1,g2 :“ tt P r0, 1s : µpA q “ 0u has Lebesgue Measure 1 in r0, 1s. Notice that for t P Hg1,g2 we have that µ S supp g , t 0, so g , t has full support in g , g . Therefore H has measure p z p¨ qq “ p¨ q x 1 2y tg1,g2uĎD g1,g2 1, and a “ p1 ´ tqε, a “ tp1 ´ εq for t in that intersection will work. 1 2 Ş

Lemma 4.27. Let X be a ﬁnite dimensional subspace of Lppµq and suppose that u P X has full support in X and it is normalized. Suppose that T : X Ñ Lppµq is an isomorphic embedding such that T u has full p p support in TX. Given f P X of norm one, let ν :“ pf{uq˚p|u| dµq and η :“ pT f{T uq˚p|T u| dµq. Then ppq ´1 ν, η P M pFq and Bppν, ηq ď maxt}T }, }T }u.

ppq Proof. This follows from the simple observation that ν paq “ }u ` f}Lppµq. Proof of Theorem 4.5. Fix 0 ă ε ď 1, and a ﬁnite dimensional subspace X Ď L pµq. Let f P X p p 0 with full support. Without loss of generality we assume that f0 is normalized. Let pf1, . . . , fnq be a normalized basis of X, and let D be a countable dense subset of the centered ball Bp0, 2q of Lppµq that contains f0, f1, . . . , fn, and let a1, a2 P r0, 1s be the result of applying Lemma 4.26 to D and ε0 such that p p p4ε0q ` ε0}µ} ` 3ε0 ď ε. For each 1 ď j ď n, let ϕj :“ a0f0 ` a1fj; notice that µpsupp f0zsupp ϕjq “ 0, p p so f0{ϕj P Lpp|ϕj| dµq. For each j “ 1, . . . , n, let µj :“ pf0{ϕjq˚p|ϕj| dµq. Observe that

p p µjpt0uq “ |ϕj| dµ “ |ϕj| dµ “ 0, f0 “0 f0“0 ż ϕj ż because f0 has full support in X. Let 0 ă ε1 ď ε0 be such that µjpBp0, 2ε1qq ă ε0 for every j “ 1, . . . , n, ppq and let ε2 ď ε1 be such that for j “ 1, . . . , n, if ν P M pFq is such that Bppµj, νq ď 1 ` ε2, then dLP pµj, νq ď ε1. We claim that δ :“ ε2{2 works. For suppose that T : X Ñ Lppµq is such that }T }, }T ´1} ď 1 ` δ. We will show that |T f |p ď ε: Fix 1 ď j ď n. We assume that f and f are T f0“0 j j 0 linearly independent, since otherwise supp T f supp T f . Let γ , γ D and 0 ε ε be such that ş 0 “ j 0 j P ă 3 ď 2 ? p2p`1q{p (a) ε3 ă ε2ε1 ; p (b) 1 |T fj| dµ ă ε0; |T fj |ą 1{2 pε3q (c) }şT f0 ´ γ0}, }T fj ´ γj}, }T pϕjq ´ ψj} ď ε3 where ψj “ a0γ0 ` a1γj; ´1 (d) the linear mapping U deﬁned by Upf0q :“ γ0 and Upfjq “ γj satisﬁes that }U}, }U } ď 1 ` ε2 p ppq Since ψj :“ a0γ0 ` a1γj, has full support in xγ0, γjy, it follows that νj :“ pγ0{ψjq˚p|ψj| dµq P M pFq and Bppµj, νjq ď 1 ` ε2, by (d) above. Hence, by Lemma 4.27, dLP pµj, νjq ď ε1. It follows that

p |ψj| dµ “ νjpBp0, ε1qq ď νjpBp0, 2ε1qq ` ε1 ď 2ε0. (9) γ0 | |ďε1 ż ψj Now observe that

p p p p |ψj| dµ ď |ψj| dµ ` |ψj| dµ ď ε1}µ} ` 2ε0. (10) γ ε2 γ ε2& ψ ε γ ε2& ψ ε ż| 0|ď 1 ż| 0|ď 1 | j |ď 1 ż| 0|ď 1 | j |ě 1 Since 0 ď a0 ď ε0 and 1 ´ ε0 ď a1 ď 1, it follows that }T fj ´ ψj} ď }T fj ´ γj} ` }ψj ´ γj} ď ε3 ` ε0p}γ0} ` }γj}q ď ε3 ` 3ε0. Hence,

p p p |T fj| dµ ď pε3 ` 3ε0q ` ε1}µ} ` 2ε0. (11) γ ε2 ż| 0|ď 1 38 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

Now, p p p p |T fj| dµ ď pε3 ` 3ε0q ` ε1}µ} ` 2ε0 ` |T fj| dµ. (12) T f 0 T f 0& γ ε2 ż 0“ ż 0“ | 0|ą 1 Since 2p 2 p p p ε0 µpT f0 “ 0&|γ0| ą ε1q ď |γ0| dµ ď }T f0 ´ γ0} ď ε3 (13) T f 0& γ ε2 ż 0“ | 0|ą 1 it follows that

T f pdµ T f pdµ T f pdµ | j| ď ? | j| ` ? | j| T f 0& γ ε2 T f 0& γ ε2& T f 1 ε T f 0& γ ε2& T f 1 ε ż 0“ | 0|ą 1 ż 0“ | 0|ą 1 | j |ď { 2 ż 0“ | 0|ą 1 | j |ą { 2 p ε3 ď ? ` ε1 ď 2ε1 (14) ε ε2 ˆ 2 1 ˙ Combining (12) and (14) we obtain that

p p p |T fj| dµ ď pε3 ` 3ε0q ` ε1}µ} ` 2ε0 ` 2ε1 ď ε. żT f0“0

5. Approximate Ramsey properties of Lp spaces The approximate Ramsey property (ARP) is an extension of the near amalgamation property that is known to characterize the extreme amenability of the isometry group of pAuHq Banach spaces. This is a particular instance of the Kechris-Pestov-Todorcevic (KPT) correspondence (see Proposition 5.10) for n Banach spaces. We will give a proof of the pARPq of the class t`p un, and we will relate it with some approximate Ramsey principles of certain regular partitions. Our proof uses a discrete form of the method of concentration of measure applied to these partitions.

5.1. Approximate Ramsey properties of classes of finite dimensional spaces. We start by re- calling some combinatorial useful concepts and terminology. Let pA, dAq be a metric space. Given r P N, an r-coloring of a set A is simply a mapping c : A Ñ r “ t0, 1, . . . , r ´ 1u.A monochromatic set of an r-coloring c of A is a subset B of A on which c is constant. We say that B Ď A is ε-monochromatic, ´1 ε ě 0, if there is some r P r such that B Ď pc truqε.A continuous coloring of A is a 1-Lipschitz mapping c : A Ñ r0, 1s. p p Definition 5.1. Let F be a family of finite dimensional normed spaces. (a) F has the Approximate Ramsey Property pARPq when for every X and Y in F and every ε ą 0 there exists Z P F such that every continuous coloring c of EmbpX,Zq ε-stabilizes on γ ˝ EmbpX,Y q for some γ P EmbpY,Zq, that is, such that

oscpc γ ˝ EmbpX,Y qq “ sup |cpγ ˝ ψq ´ cpγ ˝ ηq| ă ε; ψ,ηPEmbpX,Y q (b) F has the Approximate Ramsey Property` pARP`q when for every X and ε ą 0 there is δ ą 0

such that for any Y in F there exists Z P F such that every continuous coloring c of EmbδpX,Zq ε-stabilizes on γ ˝ EmbδpX,Y q for some γ P EmbpY,Zq; ` ` (c) F has the Steady Approximate Ramsey Property pSARP q with modulus of stability $ : Nˆr0, 8rÑ r0, 8r when for every X P Fk, every Y P F, ε ą 0 and δ ě 0 there exists Z P F such that

every continuous coloring c of Emb$pk,δqpX,Zq ($pk, δq ` ε)-stabilizes on γ ˝ EmbδpX,Y q for some γ P EmbpY,Zq. It is deﬁned in [BaLALuMbo2] that when $ does not depend on the dimension, F is said to have the stable approximate Ramsey Property`. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 39

Up to now, the following classes are known to have approximate Ramsey properties.

n ` Example 5.2. The class t`2 un of ﬁnite dimensional euclidean spaces has the pSARP q. First of all, M. Gromov and V. Milman [GrMi] proved that the unitary group Isop`2q with its strong operator topology is a Lévy group, so it is extremely amenable. Since `2 is puHq, this last fact is equivalent to saying that Agep`2q has the pARPq (see Theorem 5.10 below). Moreover, `2 is Fraïssé, hence Agep`2q is an n ` amalgamation class. This implies that Agep`2q ” t`2 un has the pSARP q (see Proposition 5.9).

` Example 5.3. For 1 ď p ă 8, p R 2N, the class AgepLpp0, 1qq has the pSARP q: The pARPq of AgepLpp0, 1qq is a consequence of the fact that IsopLpp0, 1qq is extremely amenable, proved by T. Giordano and V. Pestov [GiPe], and that those Lp spaces are pAuHq. Moreover, we proved that these spaces Lpp0, 1q are Fraïssé, so, AgepLpp0, 1qq is an amalgamation class.

n ` Example 5.4. For all 1 ď p ‰ 2 ă 8 the class t`p un has the pSARP q: We give a direct proof in n n Section 5 of the pARPq of t`p un. This, and the fact that t`p un has the amalgamation property, proved ` n in Proposition 3.7 gives the desired pSARP q of t`p un, and that also gives another proof of the extreme amenability of the isometry group IsopLpp0, 1qq.

n Example 5.5. The classes t`8un, the ﬁnite dimensional polyhedral spaces, and all ﬁnite dimensional normed spaces have the pSARP`q (proved by D. Bartošová, M. Lupini, B. Mbombo and the second author of this paper, in [BaLALuMbo2]; see also [BaLALuMbo1]).

The pARPq has the following reinterpretation in terms of ﬁnite colorings.

Proposition 5.6. [BaLALuMbo2] For a class F of ﬁnite dimensional spaces the following are equivalent: 1) F has the approximate Ramsey property; 2) F has the discrete approximate Ramsey property, that is, for every X and Y in F, every r P N and every ε ą 0 there exists Z P F such that every r-coloring of EmbpX,Zq has a ε-monochromatic set of the form γ ˝ EmbpX,Y q for some γ P EmbpY,Zq.

Similar equivalences are true for the pARP`q and the pSARP`q.

Proof. For the sake of completeness we sketch the proof. 2 q ùñ 1 q: Given any continuous coloring c : EmbpX,Zq Ñ r0, 1s and given ε ą 0, one can induce the discretization of c, c : EmbpX,Zq Ñ r, where r is chosen such that there is a partition of r0, 1s into r-many disjoint intervals of diameter less than ε. Since this assignment does not depend on X or Z, we can use 2) to deduce 1). Thep proof of 1 q ùñ 2 q is done by induction on the number of colors r: Given an r ` 1-coloring c : EmbpX,Zq Ñ r ` 1 “ t0, 1, . . . , ru, we can deﬁne the induced continuous coloring cpγq :“ p1{2qdpγ, c´1prqq, and then use the inductive hypothesis for r and 1). p Similarly to the case of discrete structures, approximate Ramsey properties extend the corresponding amalgamation properties.

Proposition 5.7. Suppose that F has the pJEPq. If F has the pARPq, pARP`q, pSARP`q, then F has the pNAPq, is a weak amalgamation class, is an amalgamation class, respectively.

Proof. We only prove that pARP`q implies weak amalgamation; the other implications are proved in a similar way. Suppose that X P F and ε ą 0. We claim that 0 ă δ ď 1 witnessing the pARP`q for the initial parameters X and F works. For suppose that γ P EmbδpX,Y q, η P EmbδpX,Zq. Let V P F, and f P EmbpY,V q, and g P EmbpZ,V q. By the pARP`q, we can find W P F such that for the particular 40 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC coloring c : EmbδpX,W q Ñ r0, 1s, cphq :“ p1{4qdph, EmbpV,W q ˝ f ˝ γq we can find % P EmbpV,W q for which Oscpc % ˝ EmbδpX,V qq ď ε. Observe that cp% ˝ f ˝ γq “ 0, so there is ν P EmbpV,W q such that }ν ˝ g ˝ η ´ % ˝ f ˝ γ} ď ε, as desired. Problem 5.8. Does there exist a Fraïssé class of finite dimensional spaces not having the pARPq?

Proposition 5.9. Let F be a class of ﬁnite dimensional normed spaces. Then, 1) F has the pARP`q if and only if F has the pARPq and weak amalgamation. 2) F has the pSARP`q if and only if F has the pARPq and it is an amalgamation class.

Proof. We use the following, that has to be compared with Lemma 2.32 and that is proved similarly.

Claim 5.9.1. F has weak amalgamation if and only if for every ε ą 0 and X P F there is δ ą 0 such that for every Y,Z P F there is some V P F and some I P EmbpY,V q such that for every γ P EmbδpX,Y q and η P EmbδpX,Zq there is J P EmbpZ,V q such that }I ˝ γ ´ J ˝ η} ď ε. Now suppose that F has both the pARPq and weak amalgamation. Fix ε ą 0 and X P F. We use first the claim to find the corresponding δ for ε{3. Now given Y P F we use the property of δ to find

V P F and I P EmbpY,Zq such that, in particular, I ˝ EmbδpX,Y q Ď pEmbpX,V qqε{3. Now we use the pARPq of F applied to X,V and ε to ﬁnd Z, that we claim that it works for our purposes: For suppose that c : EmbδpX,Zq Ñ r0, 1s is a continuous coloring. By the pARPq of F, there is J P EmbpV,Zq such that Oscpc J ˝ EmbpX,V qq ď ε{3. Let us see that Oscpc J ˝ I ˝ EmbδpX,Y qq ď ε: For suppose that γ, η P EmbδpX,Y q. There are ι, ξ P EmbpX,V q such that }ι ´ I ˝ γ}, }ξ ´ I ˝ η} ď ε{2. Hence |cpJ ˝ I ˝ γq ´ cpJ ˝ I ˝ ηq| ď |cpJ ˝ I ˝ γq ´ cpJ ˝ ιq| ` |cpJ ˝ ιq ´ cpJ ˝ ξq| ` |cpJ ˝ ξq ´ cpJ ˝ I ˝ ηq| ď ε. 2) is proved similarly. The following connects the approximate Ramsey property of AgepEq and the extreme amenability of IsopEq. It is a slight extension of the correspondence given in [BaLALuMbo2], and a particular case of the metric KPT correspondence for metric structures (see [MeTsa, Theorem 3.10]).

Theorem 5.10 (KPT correspondence). Suppose that E is pAuHq. The following are equivalent: 1) The group IsopEq with the strong operator topology is extremely amenable; that is, every continuous action of IsopEq on a compact space has a ﬁxed point. 2) AgepEq has the pARPq. Suppose that G ĺ AgepEq is an amalgamation class such that E P rGs (See Deﬁnition 2.17). Then the previous statements are equivalent to 3) G has the pARPq (equivalently pSARP`q).

Before giving the proof, we state two interesting consequences.

Corollary 5.11. Suppose that G is an hereditary family with the pSARP`q. BM 1) There is a unique separable Fraïssé Banach space E such that AgepEq ” G and such that its isometry BM group is extremely amenable. Moreover E “ Flim G . BM 2) G is pSARP`q. BM Proof. 1) and 2): Set H :“ G . We know by Proposition 5.9 2) that G is an amalgamation class, hence, by Proposition 2.24 2), also H is an amalgamation class. Hence, H is a Fraïssé class. Let E be its Fraïssé limit Flim H. The family G fulﬁlls the conditions in the last part of Theorem 5.10, so IsopEq is extremely amenable and H has the pARPq. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 41

Proof of Theorem 5.10. We prove that 1) implies 2): We need to introduce some concepts. Given two metric spaces pA, dAq and pB, dBq, let LippA, Bq be the collection of 1-Lipschitz mappings from

A to B. When A is compact, we endow it with the uniform metric dpc, dq :“ supaPA dBpcpaq, dpaqq. Observe that when B is also compact, pLippA, Bq, dq is also compact. For each W P AgepEq, let xW y :“ tX P AgepEq : W Ď Xu. Note that txW yuW PAgepEq has the finite intersection property. Let U be a non-principal ultrafilter on AgepEq containing all xW y. Define the ultraproduct

Lip pEmbpX,Eq, r0, 1sq :“ LippEmbpX,Y q, r0, 1sq {„U , U ¨ ˛ XĎY PAgepEq ź ˝ ‚ where pcY qY „U pdY qY if and only if for every pγjqjăn in EmbpX,Eq, and every ε ą 0 one has that tY P x jăn Imγjy : | maxjăn |cY pγjq ´ dY pγjq| ď εu P U. We consider the canonical action of IsopEq in LippEmbpX,Eq, r0, 1sq, pg ¨ cqpγq :“ cpg ˝ γq, and the corresponding (algebraic) action IsopEq ř y LipU pEmbpX,Eq, r0, 1sq, g ¨ rpcY qY sU “ rpdY qY sU , where each dY pγq :“ cgpY qpg ˝ γq. Finally, let Φ: LippEmbpX,Eq, r0, 1sq Ñ LipU pEmbpX,Eq, r0, 1sq, Φpcq “ pcY qY , where cY pγq :“ cpγq.

Claim 5.11.1. Φ is a IsopEq-bijection.

Proof of Claim: Suppose that Φpcq “ rpcY qY sU and Φpg ¨ cq “ rpdY qY sU . Then for each Y and γ P EmbpX,Y q, cY pγq “ cpγq and dY pγq “ pg ¨ cqpγq “ cpg ˝ γq, so g ¨ rpcY qY sU “ rpdY qY sU . It is easy to see that Φ is 1-1. We prove that Φ is onto: Fix rpcY qY sU . We are going to ﬁnd c such that Φpcq “ rpcY qY sU .

Fix γ P EmbpX,Eq. Since xImγy P U and since pcZ pγqqW ĎZ is a bounded sequence, the U-limit cpγq :“ limY ÑU cY pγq exists. It is ease to see that c P LippEmbpX,Eq, r0, 1sq and that Φpcq “ rpcY qY sU . Now suppose that IsopEq is extremely amenable, and let us prove the pARPq of AgepEq: Fix X,Y P AgepEq and ε ą 0, and let c : EmbpX,Eq Ñ r0, 1s be 1-Lipschitz. Let d P IsopEqc be such that g ¨ d “ d for every g P IsopEq, i.e., dpγq “ dpg ˝ γq for every γ P EmbpX,Eq. Since we are assuming that E is pAuHq, it follows from this that d is a constant function. Now, since EmbpX,Y q is compact, we can ﬁnd g P IsopEq such that supγPEmbpX,Y q |g ¨ cpγq, dpγq| ď ε{2. Let us see that Oscpc g ˝ EmbpX,Y qq ď ε: For suppose that γ, η P EmbpX,Y q; Then, |cpg ˝ γq ´ cpg ˝ ηq| ď |cpg ˝ γq ´ dpγq| ` |cpg ˝ ηq ´ dpηq| ď ε. Since

Φ is a IsopEq-bijection, given pcZ qZ P ZPAgepEq LippEmbpX,Zq, r0, 1sq one has that

tZ P AgepEq : there is γ P Embś pY,Zq such that OscpcZ γ ˝ EmbpX,Y qq ď εu P U, and consequently,

tZ P AgepEq : @c P LippEmbpX,Zq, r0, 1sq Dγ P EmbpY,Zq with Oscpc EmbpX,Y qq ď εu P U We prove that 2) implies 1). We use the following known characterization of existence of a ﬁxed point.

Claim 5.11.2. Let G be a topological group, G y K, and suppose that p P K has dense orbit. The following are equivalent. a) There is a ﬁxed point for the action G y K. b) For every entourage U in K and every ﬁnite set F Ď G there is some g P G such that F ¨ pg ¨ pq is

U-small, that is, for every f0, f1 P F one has that pf0 ¨ pg ¨ pq, f1 ¨ pg ¨ pqq P U.

Proof of Claim: We assume that all entourages considered are symmetric. For suppose that q P K is a fixed point; Fix F Ď G finite and an entourage U; let V be an entourage such that V ˝ V Ď U. Using that g¨ : K Ñ K is uniformly continuous, we find an entourage W such that gW Ď V for every g P F . Let h P G be such that ph ¨ p, qq P W . It follows that pgh ¨ p, qq “ pgh ¨ p, gqq P V for all g P F ; hence 42 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

1 pgh¨p, g h¨pq P U. Suppose now that b) holds, and for every finite set F and entourage U choose gF,U P G such that pF Y teuq ¨ pgF,U ¨ pq is U-small, hence tf ¨ pgF,U ¨ pqufPF Ď UrgF,U ¨ ps for every F and U. Then any accumulation point q of tgF,U ¨ puF,U is a fixed point. Now suppose that AgepEq has the pARPq. Again, we assume that all entourages considered are sym- 1 metric. Fix IsopEq y K, p P K, an entourage U and a finite set F Ď IsopEq. Set H :“ F ´ , and let V be an entourage such that V ˝ V ˝ V ˝ V Ď U. For each X P AgepEq, we define the pseudometric dX on IsopEq by dX pg, hq :“}g X ´ h X}. The family D “ tdX uXPAgepEq defines the left-uniformity of IsopEq, hence its SOT. Now the mapping IsopEq Ñ K, g ÞÑ g´1p is uniformly continuous with respect to the family D, so there is some X P AgepEq and some δ ą 0 such that dX pg, hq ď δ implies that ´1 ´1 pg ¨ p, h ¨ pq P V . Let Y :“ gPH gX. Finally, let txjujăr Ď K be such that K “ jăr V rxjs, where V rxs :“ ty P K : px, yq P V u. We apply the pARPq of AgepEq to X, Y , δ{3 and r to find the ř Ť corresponding Z. We define the coloring c : EmbpX,Zq Ñ r for γ P EmbpX,Zq by choosing g P IsopEq ´1 such that }g X ´ γ} ď δ{3, and then by declaring cpγq “ j if j is (the first) such that g p P V rxjs. By the Ramsey property of Z, we can find % P EmbpY,Zq and j ă r such that, in particular, for every ´1 η P EmbpX,Y q there is some gη P IsopEq such that pgηq ¨ p P V rxjs and }% ˝ η ´ gη} ď 2δ{3. Choose h P IsopEq such that }h Y ´%} ď δ{3. Then, for every f P H, setting η :“ f Xn, then dX ph˝f, gηq ď δ, ´1 ´1 ´1 and gη ¨ p P V rxjs. Consequently, pf0 ˝ h ¨ p, f1 ˝ h ¨ pq P U for every f0, f1 P F , as desired. Suppose that G ĺ AgepEq is an amalgamation class such that E P rGs, that is, such that the collection of subspaces of elements of GE is ΛE-dense in AgepEq. Then the family of pseudometrics tdX uXPGE defines the SOT of IsopEq. The strategy of the proof used to see that 2) implies 1), with the natural modifications, works here. We leave the details to the reader. Suppose now that AgepEq has the pARPq. Fix X,Y P G, r P N, and ε ą 0. Let 0 ă ε0 ă ε{3 and let Z P AgepEq be such that every r-coloring of EmbpX,Zq has an ε0-monochromatic set of the form γ˝EmbpX,Y q for some γ P EmbpY,Zq. Since E P rGs and G is an amalgamation class, we can find 0 ă δ ă

ε{p3ε0q ´ 1, some V P G and some θ P EmbδpZ,V q such that for every γ P EmbpX,Zq and η P EmbpY,Zq there are isometric embeddings i P EmbpX,V q and j P EmbpY,V q such that }θ ˝ γ ´ i}, }θ ˝ η ´ j} ď ε0. We claim that V works for our purposes: For suppose that c : EmbpX,V q Ñ r. We induce the coloring c : EmbpX,Zq Ñ r by choosing for each γ P EmbpX,Zq some i P EmbpX,V q such that }i ´ θ ˝ γ} ď ε0 ´1 and declare cpγq :“ cpiq. Let η P EmbpY,Zq and r¯ ă r be such that η ˝ EmbpX,Y q Ď pc pr¯qqε0 . Then ´1 pone can show that j ˝ EmbpX,Y q Ď pc pr¯qqε, where j P EmbpY,V q is such that }j ´ θ ˝ η} ď ε0. p p Observe that the previous requirement on G is satisﬁed when E “ Flim G. Observe also that in the proof we are not assuming that E is necessarily separable, and since for Fraïssé spaces we have that

AgepEq ” AgepEU q for any ultraﬁlter U, we obtain the following.

Corollary 5.12. Suppose that E is a Fraïssé space such that AgepEq has the pARPq then IsopEU q is extremely amenable for every ultraﬁlter U on N. In particular, IsopGU q and IsopLpp0, 1qU q are extremely amenable non separable groups. n 5.1.1. Multidimensional Borsuk-Ulam. The approximate Ramsey property of the family t`p un has a natural reinterpretation as a version of a multidimensional Borsuk-Ulam Theorem. Recall that the equivalent reformulation by L. Lyusternik and S. Shnirel’man [LuSch] (see also [Ma, Theorem 2.1.1]) of the

Borsuk-Ulam theorem states that if the sphere S n`1 is covered by n ` 1 open sets, then one of these `2 sets contains a pair px, ´xq of antipodal points. Given 0 ă p ă 8, let nppd, m, r, εq be the minimal d n m n number n such that for every coloring c : Embp`p, `p q Ñ r there is γ P Embp`p , `p q and i ă r such that d m ´1 n γ ˝Embp`p, `p q Ď pc tiuqε. The pARPq of t`p un is exactly the statement saying that nppd, m, r, εq exists. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 43

Recall that given δ ě 0 and a subset A of a metric space pX, dq, one deﬁnes the (closed) δ-fattening c Aďδ :“ tx P X : dpx, Aq ď δu and the (open) δ-deﬂating A´δ :“ XzppXzAq qďδ. It is easy to see that pA´δqďδ Ď A. We will say that an open covering U of a metric space X is called ε-fat when tV´εuUPU is also a covering on X. The following is a sort of Lebesgue’s Number Lemma.

Proposition 5.13. Suppose that X is a compact metric space. Then every open covering of X is an ε-open covering for some ε ą 0.

Proof. Suppose that for some open covering U of X such ε ą 0 does not exists. For each n P N we can

find a point xn of X not in UPU U´2ń . Since X is compact, there is a subsequence pxnk qk converging to some x P X. Choose U P U such that x P U, and also δ ą 0 such that the ball Bpx, 2δq Ď U. Observe Ť that Bpx, δq Ď pBpx, 2δqq´δ Ď U´δ. Now let k P N be such that δnk ě 1 and such that dpxnk , xq ă δ. It follows then that xnk P U´δ Ď U´2ńk , a contradiction.

Deﬁnition 5.14. Given 0 ă p ď 8, integers d, m, and r and ε ą 0, let nBU,ppd, m, r, εq be the minimal d n integer n such that for every ε-fat open covering U of Embp`p, `p q with at most r many pieces there exists d m γ P Embp`p, `p q and some U P U such that d m γ ˝ Embp`p, `p q Ď U.

n n Notice that by assigning to each x P S`p the embedding 1 ÞÑ x we can identify topologically S`p and 1 n 1 1 Embp`p, `p q. Since Embp`p, `pq “ t˘Idu, it follows that nBU,pp1, 1, r, εq is the minimal integer such that

n for every open covering of S`p of cardinality r there exists U P U containing some pair of antipodal vectors. Hence, by Borsuk-Ulam, nBU,pp1, 1, r, εq ď r for every ε ą 0. In this way, we have Borsuk-Ulam Theorem is the following statement.

Theorem 5.15 (Lusternik and Shnirel’man). nBU,pp1, 1, r, εq ď r for every ε ą 0.

We have the following relation, easy to prove.

Proposition 5.16. For every 0 ă p ď 8 every d, m, r and every 0 ă ε ă δ one has that

nppm, d, r, δq ď nBU,ppd, m, r, εq ď nppm, d, r, εq.

Problem 5.17. Is always nBU,ppd, m, r, εq independent of ε?

n 5.2. The pARPq of the family t`p un. We give a direct proof of the Approximate Ramsey property of n ` the family t`p un for 1 ď p ‰ 2 ă 8 and then of the pARP q of AgepLpp0, 1qq for p R 2N.

n Theorem 5.18. For 1 ď p ‰ 2 ă 8 the family t`p un has the pARPq.

Its proof is done by relating this pARPq with the pARPq of approximate equipartitions, that is shown to be true by an instance of the phenomenon of concentration of measure. First of all, we try to reduce Theorem 5.18 to the case of p “ 1. Notice that it follows from the Banach-Lamperti Theorem on isometries of Lpp0, 1q, p ‰ 2, 8, that all isometry groups for those p’s are topologically isomorphic, as was observed and used in [GiPe]. There is a similar fact concerning embeddings using the Mazur mapping.

n n Deﬁnition 5.19. Given 0 ă p, q ă 8, and given n, let Mp,q,n : `p Ñ `q , be the Mazur map deﬁned for n x P `p by p Mp,q,npxq :“ signpxpξqq|xpξq| q uξ. (15) ξăn ÿ 44 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

The following facts are known and easy to prove:

(a) Mp,q,n preserves the support and the signs of the coordinates; in fact, if x and y are disjointly supported p{q p{q then Mp,q,npλx ` µyq “ signpλq|λ| Mp,q,npxq ` signpλq|λ| Mp,q,npyq.

n (b) Mq,p,n ˝ Mp,q,n “ Id`p . q (c) Mp,q,n is a uniform homeomorphism between the corresponding unit spheres (note that }Mp,q,npxq}q “ p }x}p). If τp,q is the modulus of uniform continuity of Mp,q, then

p q t if p ě q τp,qptq ď p $c t q if p ă q. & p,q d d n d n For 1 ď p, q ă 8, p, q ‰ 2, the Mazur mapping% naturally extends to Mp,q,n : Embp`p, `p q Ñ Embp`q , `q q d n deﬁned for γ P Embp`p, `p q by d Mp,q,npγq :“ Mp,q,n ˝ γ ˝ Mq,p,d. d Mp,q,npγq is a linear isometric embedding because γ sends disjointed supported to disjointed supported, and in fact, d Mp,q,npγqp aiuiq “ aiMp,q,npγpuiqq. iăd iăd ÿ ÿ d Proposition 5.20. Mp,q,n is an uniform homeomorphism with modulus of continuity τp,q with inverse d Mq,p,n.

Proof. d d }Mp,q,npγq ´ Mp,q,npηq}q,q “ max }Mp,q,npγpMq,p,dpxqqq ´ Mp,q,npηpMq,p,dpxqqq}q “ xPS d `q

“ max }Mp,q,npγpyqq ´ Mp,q,npηpyqq}q ď max τp,qp}γpyq ´ ηpyq}pq “ yPS d yPS d `p `p

“ωp,qp}γ ´ η}p,pq, because τp,q is increasing.

Given p, d, m P N and ε ą 0, the integer nppd, m, r, εq is the minimal integer n witnessing the pARPq k of t`puk for the initial parameters d, m and ε. We obtain the following

Proposition 5.21. nppd, m, r, εq “ nqpd, m, r, τp,qpεqq for every 0 ă p, q ă 8, p, q ‰ 2.

d n Proof. Fix p, q as above, and fix all the parameters. Let n :“ nppd, m, r, εq, and let c : Embp`q , `q q Ñ r. d n d m n Let c : Embp`p, `p q Ñ r be the induced coloring c “ c ˝ Mp,q,n. Then, let γ P Embp`p , `p q, and i ă r d m ´1 m be such that γ ˝ Embp`p, `p q Ď pc tiuqε. Let γ “ Mp,q,npγq. We claim that γ and i ă r do the d m d d m d n job.p Fix σ P Embp`q , `q q. Then σ¯ :“ Mq,p,mpσpq P Embp`p, `p q, so there is some ψ P Embp`p, `p q d d d with cpMp,q,npψqq “ i and }γ ˝ σ¯ ´pψ}p,p ď ε. Hencep }Mp,q,npγ ˝ σ¯q ´ Mp,q,npψq}q,qpď τp,qpεq, and since d d d m Mp,q,npγ ˝ σ¯q “ Mp,q,npγ ˝ Mq,p,mpσqq “ Mp,q,npγq ˝ σ, we are done. n n So, in order to have the pARPq of t`p un, p ‰ 2, 8, it suffices to prove the pARPq of t`1 un, and this is what we do next. The proof we give is a byproduct of an extension of the fact that n1p1, m, r, εq exists, proved by J. Matoušek and V. Rödl [MaRo], and the existence of the Ramsey number corresponding to unital embeddings, i.e. those embeddings preserving the unit. The proof of the existence of n1p1, m, r, εq was done, as we mentioned before, by Matoušek and Rödl using combinatorial methods (spread vectors), and, independently, by E. Odell, H. P. Rosenthal and Th. Schlumprecht in [OdRoSchl], by using tools of Banach space theory, such as different type of bases. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 45

n 1 n We introduce some notation. In `1 , we denote by to the sequence p1{nq jăn uj “ p1{n, . . . , 1{nq P n. We will denote by Embpp`d, 1q, p`n, 1qq the collection of unital isometric embeddings. We have the F 1 1 ř following consequence of the equimeasurability principle of Plotkin and Rudin mentioned above in §4 ( Theorem 4.2).

d n Proposition 5.22. An isometric embedding γ : `1 Ñ `1 is unital if and only if d|n and γpujq “ d n u for j d such that s is a d-equipartition of n, that is, #s #s n d for p { q kPsj k ă t jujăd j “ l “ { every j, l ă d. ř Definition 5.23. Given d|n let EQpn, dq be the set of equipartitions of n with d many pieces. Given in eq addition d|m|n, and R P EQpn, mq let xRyd be the collection of d-equipartitions of n coarser than R. Partitions of n with d-many pieces are canonically identified with surjections F : n Ñ d such that min F ´1piq ă min F ´1pjq for every i ă j ă d, called rigid surjections. In this way, d-equipartitions are identified with rigid surjections F : n Ñ d such that #F ´1pjq “ n{d for every j ă d.

n d It follows that d-dimensional unital subspaces of `1 that are isometric to `1 are the of the form d n u for d-equipartitions s of n. This means that the following are equivalent: xp { q kPsj kyjăd t jujăd n 1 (i) The class tp`1 , qun has the Structural Ramsey Property, that is, for every d, m and every r there is ř n 1 p`1 , q n d n such that every r-coloring of the collection d 1 of unital subspaces of `1 isometric to `1 has a p`1, q n 1 X p`1 , q monochromatic set of the form d 1 for some` unital˘ X P m 1 . p`1, q p`1 , q (ii) The collection of equipartitions` have˘ the Structural Ramsey` Property,˘ that is, for every d, m and eq r there is n such that every r-coloring of EQpn, dq has a monochromatic set of the form xRyd for some R P EQpn, mq. It is interesting to compare the previous equivalence between Ramsey properties with what happens in n 1 p`1 , q n the case of p “ 8: Observe that d 1 is exactly the collection of unital sublattices of `1 of dimension d. p`1, q n 1 p`8, q Now we deﬁne d 1 in the same` way˘ as the collection of d-dimensional unital (i.e. containing the unit p`8, q u of `n ) sublattices of `n . Then we have the following similar equivalence. jăn j 8 ` ˘ 8 n 1 (iii) The class tp`8, qun has the Structural Ramsey Property, that is, for every d, m and every r there is ř n 1 p`8, q n d n such that every r-coloring of the collection d 1 of unital subspaces of `8 isometric to `8 has p`8, q n 1 X p`8, q a monochromatic set of the form d 1 for some unital X P m 1 . p`8, q ` ˘ p`8, q (iv) The collection of partitions have the Structural Ramsey Property, that is, for every d, m and r ` ˘ ` ˘ there is n such that every r-coloring of the collection Epn, dq of partitions of n with d many pieces has a monochromatic set of the form xPy, the collection of d-partitions coarser than P, for some P P Epn, mq. This latter statement is the well-known Dual Ramsey Theorem of Graham and Rothschild [GrRo], that n was recently used in [BaLALuMbo2] to prove the pARPq of t`8un. We have the following open problem posed by A. S. Kechris, M. Sokić and S. Todorcevic in [KeSoTo].

Problem 5.24. Does the collection of equipartitions have the structural Ramsey property?

We now present a positive answer for the approximate version of this problem, and that will be used n to show the pARPq of t`1 un. First, endow EQpn, dq with the normalized Hamming metric as follows: We identify each equipartition P with the corresponding rigid surjection FP , and then we deﬁne 1 1 d pP, Gq :“ d pF ,F q :“ #rF ‰ F s “ #tj ă n : F pjq ‰ F pjqu H H P G n P Q n P Q We will prove that 46 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

Theorem 5.25 (Approximate Structural Ramsey Property of Equipartitions). For every d|m, every r P N and every ε ą 0 there is a multiple n of m such that for every r-coloring of EQpn, dq has an eq ε-monochromatic set of the form xRyd for some R P EQpn, mq.

To prove this, we introduce the notion of approximate equipartitions and equisurjections and using a discrete case of the method of concentration of measure we prove the approximate Ramsey result in Theorem 5.27 below, that easily implies Theorem 5.25.

Deﬁnition 5.26. Given two ﬁnite sets S and T , let T S be the set of mappings from T to S, and let

EpipT,Sq be the subset of the surjective ones. Given δ ě 0, let EquiδpT,Sq be the collection of all δ-equisurjections F : T Ñ S; that is, those T such that #T #T p1 ´ δq ď #F ´1psq ď p1 ` δq for all s P S. (16) #S #S

So δ-equisurjections are “up-to δ” equisurjections, that is, surjections F : T Ñ S such that #F ´1psq is always the same. Notice that when δ ă 1, we have 1 ´ δ #F ´1psq 1 ` δ ď ď (17) 1 ` δ #F ´1ptq 1 ´ δ for every F P EquiεpT,Sq and s, t P S. The set Equi0pT,Sq will be denoted by EquipT,Sq and its elements equisurjections instead of 0-equisurjections.

Finally, observe also that Equiδ0 pS, Rq ˝ Equiδ1 pT,Sq Ď EquiδpT,Rq if δ is such that p1 ´ δq ď p1 ´ T δ0qp1´δ1q ď p1`δ0qp1`δ1q ď p1`δq. We consider also S as a metric space endowed with the normalized Hamming distance 1 d pF,Gq :“ #ptt P T : F ptq ‰ Gptquq. (18) H #T We will prove the following slight generalization of the pARPq of equisurjections.

Theorem 5.27 (Approximate Ramsey property for δ-equisurjections). Let d|m, r P N, δ ě 0 and ε ą 0. There is a multiple n of m such that every r-coloring of Equiδpn, dq has an pδ ` εq-monochromatic set of the form Equiδpm, dq ˝ R for some R P Equipn, mq.

d n It follows for example from the approximate equimeasurability principle that if γ : `1 Ñ `1 is a unital approximate isometric embedding, then γpujq and γpukq are almost disjointly supported for j ‰ k ă d, so these unital quasi isometric embeddings can be approximated by those linear mappings of the form 1 uj ÞÑ p1{#sjq sj where psjqjăd is an approximate equisurjection of n. As a consequence, the pARPq of approximate equipartitions is exactly a reformulation of the pARPq of unital approximate isometric n embeddings between `1 ’s. The proof of Theorem 5.27 will be given later on Subsection 5.2.1, but before we come back to it, we introduce a combinatorial tool that will be used. We recall the notion of spread vector introduced by Matoušek and Rödl to prove the existence of npp1, m, r, εq.

n Deﬁnition 5.28. Given a vector a “ pajqjăn P R , we say that v P c00 is a spread of a if v “ jăn ajumj for some increasing sequence pm q of integers. In this case, we write that v “ Spreadpa, tm u q. j jăn řj jăn Theorem 5.29 (The Spreading Vector Theorem). [MaRo] For every ε ą 0 and m there exists k and a normalized vector a P S k with the following property: for each j ă m, let `1 pε,mq xj “ xj :“ aluk2j`kpl`1q. lăk ÿ AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 47

2 Then for every x “ j bjxj of norm 1 there is s Ď k m of cardinality k such that }x ´ spreadpa, sq}1 ă ε and such that s Ď rk2j ` k{2, k2pj ` 1q ` k{2r. Consequently, for every isometric embedding γ : řbj ‰0 m d k2m `1 Ñ xxjyjăm thereŤ is an isometric embedding η : `1 Ñ `1 such that }γ ´ η}1,1 ď ε and such that each ηpujq “ spreadpa, sjq for some sj.

This statement and the classical Ramsey theorem easily proves the existence of n1p1, m, r, εq.

Proof of Theorem 5.18. By Proposition 5.21, it suﬃces to prove the case p “ 1. We use the Spreading

Theorem 5.29 applied to m and ε{2 to find the corresponding a “ palqlăk P S k . Fix d, m, r P `1 N and ε ą 0. We use the Approximate Ramsey property for equipartitions in Theorem 5.27 (see the comment after the statement) applied to d “ k2m, k2m, number of colors r, δ “ 0, and admitted error ε{2 to find the corresponding n divided by k2m, i.e., n has the property that for every r-coloring of k2m 1 n 1 k2m Embpp`1 , q, p`1 , qq has an ε{2-monochromatic set of the form γ ˝ Isop`1 q for some unital isometric k2m 1 n 1 d n embedding γ P Embpp`1 , q, p`1 , qq. Let us see that this n works. We fix c : Embp`1, `1 q Ñ r. Let m k2m pε{2,mq d m τ : `1 Ñ `1 be the linear mapping defined by τpujq :“ xj for every j ă m, and let ι : `1 Ñ `1 be k2m 1 n 1 the canonical isometric embedding ιpuiq :“ ui for every i ă d. Now let c : Embpp`1 , q, p`1 , qq Ñ r be k2m n defined by cpγq :“ cpγ ˝ τ ˝ ιq. By the pARPq, there is some unital % : `1 Ñ `1 and some s ă r such k2m ´1 d m ´1 that τ ˝ Isop`1 q Ď pc psqqε{2. Finally, we claim that p% ˝ τq ˝ Embpp`1, `1 q Ď pc psqqε: For suppose p d m pε,mq that γ P Embp`1, `1 q. By the property of pxj qjăm in the spreading vector Theorem, there are pairwise 2 disjoint subsets psjqjădpof k m, each of cardinality k, such that }τpγpujqq´spreadpa, sjq}1 ă ε{2 for every k2m pε,mq j ă d. Let now θ P Isop`1 q be such that θpxj q “ spreadpa, sjq for every j ă d. Note that is possible pε,mq 2 because xj “ spreadpa, tk j ` kpl ` 1qulăkq and psjqjăd is a pairwise disjoint sequence. It follows that

pε,mq ε }θ ˝ τ ˝ ι ´ τ ˝ γ}1,1 “ max }θpxj q ´ τpγpujqq}1 ď max }spreadpa, sjq ´ τpγpujqq}1 ď , jăd jăd 2

k2m n hence }% ˝ θ ˝ τ ˝ ι ´ % ˝ τ ˝ γ}1,1 ď ε{2. Let ψ : `1 Ñ `1 be unital such that cpψq “ s and such that }ψ ´ % ˝ θ}1,1 ď ε{2. It follows that cpψ ˝ τ ˝ ιq “ s and p }ψ ˝ τ ˝ ι ´ % ˝ τ ˝ γ} ď }ψ ˝ τ ˝ ι ´ % ˝ θ ˝ τ ˝ ι} ` }% ˝ θ ˝ τ ˝ ι ´ % ˝ τ ˝ γ} ď ε.

5.2.1. The proof of the pARPq for approximate equisurjections. The goal now is to give a proof of the pARPq of approximate equisurjections in Theorem 5.27. This statement is a consequence of the concentration of measure property that approximate equisurjections have. Let us recall some basic fact and deﬁnitions on this.

Deﬁnition 5.30. Recall that an mm-space is a triple pX, d, µq where pX, dq is a metric space and µ is a (probability) measure on X. Recall that the extended concentration function αX pδ, εq for ε, δ ą 0 is deﬁned by

αX pδ, εq “ 1 ´ inftµppAqε : µpAq ě δu.

The concentration function αX pεq is αX p1{2, εq. A sequence pXnqn of mm spaces is called Lévy when

αXn pεq Ñn 0 for every ε ą 0.

The sequence pXnqn is called normal Lévy when there are c1, c2 ą 0 such that

2 αXn pεq ď c1 expp´c2ε nq. (19)

We say that pXnqn is asymptotically normal Lévy when there are c1, c2 ą 0 such that for every ε ą 0 there exists nε such that for every n ě nε the inequality in (19) holds. 48 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

Proposition 5.31. Suppose that ppXn, dn, µnqqn is a normal Lévy sequence, and suppose that An Ď Xn for every n is such that infn µnpAnq ą 0. Then pAn, dn, µnp¨|Anqqn is an asymptotic normal Lévy sequence.

The proof is based on the following simple fact.

Proposition 5.32. αX pδ, % ` εq ď αX pεq for every δ such that αX p%q ă δ.

Proof. Fix A such that µpAq ě δ. We see first that µpA%q ě 1{2: Otherwise, µpXzA%q ě 1{2, hence µpAq ď 1 ´ µppXzA%q%q ď αX p%q ă δ, and this is impossible. So it follows that µpA%`εq ě 1 ´ αX pεq. A standard way to estimate the concentration functions is by studying lengths of filtrations. Recall that given a measure space pΩ, Σq, a filtration is an Ď-increasing sequence pΣnqn of σ-subalgebras of Σ. For what we are interested in, we assume that the filtration is finite, starting and finishing with the trivial subalgebras tH, Ωu and Σ. A finite metric space pΩ, dq is of length l (see for example [MiSch]) if there are n 2 1{2 numbers a0, . . . , an and a filtration pFkqk“0 such that l “ p i ai q and such that for every k and every A, B P F such that A, B Ď C P F there is a bijection θ : A Ñ B such that max dpa, θpaqq ď a . It k k´1 ř aPA k follows then (see [Le, Theorem 4.2]) that if pΩ, dq is of length l, and if µC denotes the normalized counting measure on Ω, then, 2 2 αpΩ,d,µC qpεq ď expp´ε {p8l qq (20) n n It is well known that the mm space Xn :“ p S, dH, µCq, where, S is the collection of functions from n to ? S, dH is the normalized Hamming distance and µC is the normalized counting measure, is of length 1{ n, so it follows from the inequality (20) that ε2n α pεq ď expp´ q. (21) Xn 8 The following is a well-known result that follows from the weak law of large numbers (see below). We give an alternative proof using concentration of measure.

Proposition 5.33. Suppose that δ ą 0 and #S ě 2. Then there exists some nδ such that for every n ě nδ one has that δ2 µpEqui pn, Sqq ě 1 ´ expp´ nq. (22) δ 9p#Sp#S ´ 1qq2

n ´1 Proof. For each s P S, let As :“ tF P S :#F psq ě n{#Su. Notice that µCpAsq ě 1{#S: Observe that µCpAsq “ µCpAtq because the transposition π sending s to t transforms As into At in a measure n preserving way. Since S “ sPS As, we obtain the desired bound. Now we see that

Ť pAsqδ Ď Equiδ#Sp#S´1qpn, Sq : sPS č Given F P pAsqδ, let G P As be such that dCpF,Gq ď δ. It follows that n #F ´1psq ě #G´1psq ´ d pF,Gq ě p1 ´ δ#Sq. (23) C #S

So, if F P sPSpAsqδ, then, using (23), one has that n n Ş#F ´1psq “ n ´ #F ´1ptq ďn ´ p1 ´ δ#Sqp#S ´ 1q “ p1 ` #Sp#S ´ 1qq. (24) #S #S t‰s ÿ Since by hypothesis #S ě 2, it follows from (23) and (24) that F P Equiδ#Sp#S´1qpn, Sq. Let γ ą 0 be 2 such that 8{9 ă p1 ´ γq , and let nδ be such that for all n ě nδ one has that 2 δ2p1 ´ γq2 expp´ δ nq pδγq2 1 expp´ nq ď 9 and expp´ nq ă . 8 #S 8 #S AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 49

1 1 Fix n ě nδ. Then, αXn pδγq ă #S . It follows from this, (21) and Proposition 5.32 that αXn p #S , δq ď δ2 δ2 expp´ 9 nq expp´ 9 nq αXn pδp1 ´ γqq ď #S . Hence, for every s P S, µCppAsqδq ě 1 ´ #S , so, we have that δ2 µ pEqui pn, Sqq ě µ p pA q q ě 1 ´ expp´ nq. C δ#Sp#S´1q C s δ 9 sPS č Since δ ą 0 is arbitrary, we obtain (22). As a consequence we have the following.

Corollary 5.34. Given δ ą 0, the sequence pEquiδpn, Sq, dH, µCqn is an asymptotically normal Lévy sequence.

1 Proposition 5.35. Let T,S be two ﬁnite sets, δ, δ ě 0. For every φ P EquiδpT,Sq and ψ P Equiδ1 pT,Sq 1 there is some permutation π of T such that dHpψ ˝ π, φq ď pδ ` δ q{2. In particular, if in addition #S|#T , then EquiδpT,Sq Ď pEquipT,Sqqδ{2.

´1 ´1 Proof. For each s P S, let As :“ φ psq and Bs :“ ψ psq. Let also S0 :“ ts P S :#As ě #Bsu and S1 :“ SzS0. By symmetry, without loss of generality we assume that 2#S0 ď #S. We deﬁne π : T Ñ T as follows: For every s P S0, let gs : Bs Ñ As be an injection, and similarly for s P S1, let fs : As Ñ Bs be also an injection. Let π : T Ñ T be any bijection such that π As “ fs for ´1 s P S1, and such that π gspBsq “ gs for every s P S0. It follows that for every s P S1 and every t P As one has that φptq “ s “ ψpπptqq, while for s P S0 and t P gspBsq, t “ gspt¯q one has that φptq “ φpgspt¯qq “ s “ ψpt¯q “ ψpπptqq. This means that 1 1 d pφ, ψ ˝ πq ď #pA zg pB qq “ p#pA q ´ #pB qq ď H #T s s s #T s s sPS sPS ÿ0 ÿ0 1 1 1 ď#S pp1 ` δq ´ p1 ´ δ1q q ď pδ ` δ1q. 0 #S #S 2

Proposition 5.36. Let φ0, φ1 P Equiδ0 pT,Sq and ψ0, ψ1 P Equiδ1 pS, Rq. Then dHpψ0 ˝ φ0, ψ1 ˝ φ0q ď p1 ` δ0qdHpψ0, ψ1q and dHpψ0 ˝ φ0, ψ0 ˝ φ1q ď dHpφ0, φ1q.

. We have that d ψ φ , ψ φ #T ´1 # φ´1 s #T ´1 d ψ , ψ Proof Hp 0 ˝ 0 1 ˝ 0q “ p q ψ0psq‰ψ1psq p 0 p qq ď p q ¨ Hp 0 1q ¨ p#Sqp1 ` δ q#T p#Sq´1. The other inequality is easy to check. 0 ř The following particular case of Theorem 5.27 will be used later to show the general case. In the next lemma, SX denotes the group of permutations of a set X.

Lemma 5.37. For every ﬁnite set X, δ, ε ą 0 and r P N there is n P N such that every r-coloring of Equiδpn, Xq has an ε-monochromatic set of the form SX ˝ F for some F P Equiδpn, Xq.

Proof. The group of permutations SX of the set X acts by bijections on Equiδpn, Xq, hence by µC- preserving transformations. This implies that if A Ď Equiδpn, Xq is such that µCpAq ą 1 ´ p#X!q, then π Ä ‰H. Let n P be such that α p1{r, εq ă 1{#X!, where X :“ pEqui pn, Xq, d , µ q. Then πPSX N Xn n δ H C n works: Given a coloring c : Equi pn, Xq Ñ r, let j ă r be such that A “ c´1pjq has µ -measure ě 1{r. Ş δ C Hence, µ ppAq q ą 1 ´ 1{m!. Let F P πppAq q. Then, π ¨ F P pc´1pjqq for every π P S . C ε πPSX ε ε X Proof of Theorem 5.27. Fix all parameters.Ş We choose n P N given by Lemma 5.37 when applied to m, δ, ε and r, and such that m|n. We claim that such n works. For suppose that c : Equiδpn, dq Ñ r. Fix σ P Equipm, dq, and define c : Equiδpn, mq Ñ r, by cp%q :“ cpσ ˝ %q. By the choice of n, there is ´1 some F P Equiδpn, mq and j ă r such that Sm ˝ F Ď pc pjqqε. We apply Proposition 5.35 to F to find p p p 50 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

´1 F0 P Equipn, mq such that dHpF,F0q ď δ{2. We claim that Equiδpm, dq ˝ F0 Ď pc pjqqε. For suppose that π P Embδpm, dq. We apply Proposition 5.35 to π P Embδpm, dq and σ P Equipm, dq to ﬁnd a permutation ´1 θ P Sm such that dHpσ ˝ θ, πq ď δ{2. Since Sm ˝ F Ď pc pjqqε, we can ﬁnd Gp P Equiδpn, mq such that cpσ ˝ Gq “ cpGq “ j and such that dHpG, θ ˝ F q ď ε. We use Proposition 5.36 to conclude that p dHpπ ˝ F0, σ ˝ Gq ďdHpπ ˝ F0, σ ˝ θ ˝ F0q ` dHpσ ˝ θ ˝ F0, σ ˝ Gq ď dHpπ, σ ˝ θq ` dHpθ ˝ F0,Gq ď p ďdHpπ, σ ˝ θq ` dHpF0,F q ` dHpθ ˝ F,Gq ď δ ` ε.

6. Gurarij M-space We conclude the paper by presenting a Fraïssé space in the category of M-spaces. Recall that a

Banach lattice X is called an M-space when } jăn xj}“ maxjăn }xj} for every sequence pxjqiăn of pairwise disjoint elements of X. In particular, for finite dimensional Banach lattices X this is equivalent ř dim X to saying that X is lattice isometric to `8 . We are going to prove that the class of finite dimensional M-spaces is a Fraïssé class, and we will find the corresponding Fraïssé M-space G˛. For this we revisit some results of F. Cabello-Sanchez [CaSa] on the existence of an almost transitive renorming of Cr0, 1s. To extend his results to the setting of extensions of partial isometries between finite dimensional subspaces, we shall extend the notions of ultrahomogeneity which are specific to normed lattices that were introduced in Section 3. In this context, suppose that A and B are Banach lattices and suppose that δ ą 0. Let γ : A Ñ B be a 1-1 linear mapping.

(a) γ is δ-disjoint preserving if }|γpajq| ^ |γpakq|} ď δ for every j ‰ k. (b) γ is δ-positive if dpγpaq,B`q ď δ for every positive a P A`, where A`,B` denote the corresponding set of positive elements. (c) γ is a δ-isometric disjoint-preserving embedding when γ is δ-disjoint preserving and δ-isometric embedding. (d) γ is a δ-isometric lattice embedding when it is δ-disjoint preserving, δ-positive and δ-isometric embedding. ˛ K Some of these definition already appear in [OiTr] Let EmbδpA, Bq and Embδ pA, Bq be the collection of δ-isometric lattice embeddings and δ-isometric disjoint preserving embeddings, respectively. Let E be a Banach lattice. We introduced in Definition 3.1 the notion of approximately lattice ultrahomogeneous ˛ p ˛ ÁuHq. Let Age pEq be the collection of finite dimensional sublattices of E. Similarly, let Iso˛pEq and IsoKpEq be the group of lattice and of disjoint-preserving isometries on E, respectively. Definition 6.1. We say that E is a Fraïssé Banach lattice when there is a modulus of stability $ : ˛ Nˆs0, 8rÑs0, 8s such that for every X P AgekpEq, every δ ě 0 and ε ą 0 the canonical action Iso˛pEq y ˛ ˛ EmbδpX, Eq is ($pk, δq ` ε)-transitive for every k P N and every X P AgekpEq.

It follows from Proposition 3.5 and Schechtman’s Theorem 3.8 that Lpp0, 1q is a Fraïssé Banach lattice for every 1 ď p ă 8. Now we present a new one. In [CaSa], F. Cabello-Sanchez deﬁned `8 X “ pΠn“1Lpn p0, 1qqU , where pn Ñ `8, and proved that the non-separable Banach lattice X is an M-space that is transitive, meaning that the isometry group acts transitively on the unit sphere of X. We prove with similar methods that his results may be improved as follows.

Theorem 6.2. The lattice X is a Fraïssé Banach lattice with modulus $pk, δq ď 3 ¨ k ¨ δ. In addition, for ˛ ˛ every X P AgekpXq, every δ ě 0 and ε ą 0 the canonical action IsoKpXq y EmbδpX, Xq is (3 ¨ k ¨ δ ` ε)- ˛ transitive for every k P N and every X P AgekpXq. The proof readily follows from the following two lemmas. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 51

Lemma 6.3. The lattice X is lattice ultrahomogeneous and disjointly ultrahomogeneous, that is, for every ˛ K X P Age pXq the action IsoKpXq y Emb pX, Xq is transitive.

Proof. Let F,G be ﬁnite dimensional sublattices of X and t be an isometry from F onto G. Write

F “ xfjyjăd and G “ xtfjyjăd, where pfjqjăd is a normalized, positive and pairwise disjoint sequence. j n The vectors f0, . . . , fd´1 may be represented as fj “ pfnqn, where for each n the pfj qjăd’s is a normalized, positive and pairwise disjoint sequence in Lpn p0, 1q (see in [CaSa, the proof of Lemma 3.2]), and the same j j j holds for each tfj “ pgnqn. If we call tn the isometric map sending fn to gn we know by Lemma 3.5 on the approximate lattice ultrahomogeneity of Lp’s that there exists a lattice isometry Tn on Lpn such that ´n n }Tn Fn ´ tn} ď 2 . We note that T “ pTnqn is a lattice isometry on X and that T pfjq “ pTnpfj qqn “ n j ptnpfj qqn “ pgnqn “ tpfjq, for each j ă d. Disjoint ultrahomogeneity follows from a similar proof and the fact that each Lpn p0, 1q is approximately disjointly ultrahomogeneous (see Proposition 3.2). It seems to remain open whether X is actually ultrahomogeneous as a Banach space.

Remark 6.4. Using the terminology from Banach space theory (see Remark 2.11), it follows that X is also of lattice disposition, in the sense that for any F Ă G, where F and G are ﬁnite sublattices of X, and for any lattice isometric embedding t of F into M, there exists a lattice isometric embedding T of G into X such that T F “ t. The other lemma which is needed is a form of amalgamation property, in the lattice setting, of the class of ﬁnite dimensional M-spaces:

Lemma 6.5. Suppose that A and B are two ﬁnite dimensional M-spaces and suppose that δ ě 0. Then ˛ ˛ K K EmbδpA, Bq Ď pEmb pA, Bqq3δ dim A and Embδ pA, Bq Ď pEmb pA, Bqq3δ dim A.

Proof. We write A “ xajyjăm, B “ xbjyjăn both normalized pairwise disjointly supported, and suppose ˛ ˚ ˚ that γ P EmbδpA, Bq. Let g : A Ñ B linearly deﬁned by gpajq :“ ˚ b pγpajqqbk, where b |bk pγpaj qq|ąδ k k is the sequence of functionals dual to b . The fact that γ is an δ-isometric lattice embedding implies k ř that pgpajqqjăm is pairwise disjointly supported, positive and }gpajq ´ γpajq} ď δ for all j ă m. Hence, |}gpajq} ´ 1| ď 2δ for all j ă m. Let ξ : A Ñ B linearly deﬁned by ξpajq :“ gpajq{}gpajq}. It is clear that ξ is a lattice isometric embedding. also, }ξpajq ´ γpajq} ď 3δ; hence, }γ ´ ξ} ď 3δ dim A.

d n This lemma should be compared with the fact that without lattice constraints one has Embδp`8, `8q Ď d n Embp`8, `8qδ.

Proposition 6.6. The M-space X admits a separable sublattice G˛ that is a Fraïssé Banach lattice with modulus of stability $pk, δq ď 3 ¨ δ ¨ k, and such that for every ﬁnite dimensional sublattice X of G˛, δ ě 0 K and ε ą 0 the canonical action IsoKpG˛q y Embδ pX, G˛q is 3 ¨ δ ¨ dim X ` ε-transitive.

K n Proof. We will ﬁnd a separable sublattice G˛ of X and some countable dense set D Ď n Emb p`8, G˛q such that Ť K n a) for every γ, η P D X Emb p`8, G˛q there is some T P IsoKpG˛q such that η “ T ˝ γ. ˛ n ˛ n b) D X p n Emb p`8, G˛qq is dense in n Emb p`8, G˛q. c) for every γ, η P D X Emb˛p`n , q there is some T P Iso p q such that η “ T ˝ γ. Ť 8 G˛ Ť ˛ G˛ This, together with Lemma 6.5 gives the Fraïssé property of G˛ with the corresponding modulus. Let Y0 ˛ n K n be a separable sublattice of X and let D0 Ď n Emb p`8,Y0q be countable and dense in n Emb p`8,Y0q such that C X p Emb˛p`n ,Y qq is dense in Emb˛p`n ,Y q. 0 n 8 0 Ť n 8 0 Ť Ť Ť 52 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

K n By the lattice and disjoint ultrahomogeneity of X, given γ, η P D0, γ, η P Emb p`8,Y0q it is possible to select a global disjoint isometry Tγ,η on X such that η “ Tγ,ηγ, in a way that if γ, η are positive, then Tγ,η is also positive. Let G0 be the countable subgroup of IsopXq generated by the disjoint isometries T : γ, η D EmbK `n ,Y , and let Y be the separable sublattice generated by the spaces t γ,η P 0 X p nPN p 8 0qu 1 TY with T P G . In this way, we can ﬁnd Ď-increasing sequences pY q , pD q and pG q where each 0 0 Ť k k k k k k K n Yk is a separable Banach sublattices of X, Dk is a countable dense subset of n Emb p`8,Ykq such that D is also dense in Emb˛p`n ,Y q, and G is a countable subgroup of Iso pXq such that for every k n 8 k k ŤK γ, η P D X EmbKp`n ,Y q there is T P G such that η “ T ˝ γ, that is positive if γ, η are so, and such k 8Ť k k that Y is the sublattice generated by TY . Let Y :“ Y , and let γ, η P D X EmbKp`n ,Y q. k`1 T PGk k k k k 8 k Choose T P G such that η “ T ˝ γ, and such that it is positive if γ, η are so. Since TY Ď Y for all k Ť Ť l l`1 l ě k, we have that T Y : Y Ñ Y is an isometric embedding; since Gk is a subgroup, similarly we 1 have that T ´ : Y Ñ Y , so T is a surjective isometry on Y . Then the closure G˛ of Y is the desired sublattice.

Remark 6.7. G˛ is of steady approximate lattice and disjoint preserving disposition with modulus ď K K 3 ¨ k ¨ δ; that is, for every X Ď Y both in Age pG˛q, δ ě 0, ε ą 0, and γ P Embδ pX, G˛q there is some ˛ η P Emb pY, G˛q such that }η X ´ γ} ď 3 ¨ dim X ¨ δ ` ε, and η is can be chosen to be positive when X, Y are lattices and γ is positive as well.

Of course since the above construction depends on choices of subspaces and embeddings, the lattice G˛ is not unique, but lattice isometrically G˛ is unique. Concerning its proof, is worth noticing that the proof for the uniqueness principle for pAuHq Banach spaces (Theorem 2.22) does not seem to work directly; the reason is that, in general, given two finite dimensional sublattices A and B of a Banach lattice X, the lattice generated by A and B may not be finite dimensional. On the other hand, the approach in Theorem 2.19, with the obvious modifications, shows the next uniqueness statement. We leave the details to the reader.

Theorem 6.8. Suppose that X and Y are two separable Fraïssé Banach lattices. The following are equivalent. 1) Age˛pXq ” Age˛pY q. 2) X and Y are lattice isometric. Corollary 6.9. There is a renorming of Cr0, 1s that is a Fraïssé Banach lattice.

Proof. According to [CaSa, Theorem 3.4], every separable almost transitive inﬁnite dimensional M-space is isomorphic to Cr0, 1s (a consequence of Miljutin’s Theorem).

It is worth noting that G˛, although isomorphic to Cr0, 1s, cannot be isometric to a CpKq space itself. Indeed separable CpKq spaces are not almost transitive apart from the trivial case:

Remark 6.10. If K is a metrizable compact space with |K| ě 2, then the group of isometries on CpKq is never almost transitive.

Proof. Fix a compact metric space pK, 1K q. First note that isometries on CpKq act by multiplication of a unimodular continuous function with f ÞÑ fpσq for some homeomorphism of σ, so the orbit of 1K is the set of unimodular functions. So if a P K, the function x ÞÑ fpxq “ dK px, aq{}dpx, aq}8 is a norm 1 1 function which is at distance 1 for the orbit of K . We conclude this part by presenting new extremely amenable groups. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 53

Theorem 6.11. The groups IsoKpG˛q and Iso˛pG˛q are extremely amenable. We have the following correspondence.

Theorem 6.12 (KPT correspondence for Banach lattices). Let E be a separable pAuHq Banach lattice. Then the following are equivalent

1) Iso˛pEq is extremely amenable; 2) Age˛pEq has the pARPq.

Its proof is exactly the obvious modiﬁcation of that for Banach spaces in Theorem 5.10.

Theorem 6.13. The class Age˛pXq of ﬁnite dimensional sublattices with lattice or disjoint preserving isometric embeddings has the pARPq.

In its proof we will use the Dual Ramsey theorem by Graham and Rothschild. Recall that given two

ﬁnite linear orderings R “ pR, ăRq and S “ pS, ăSq, a mapping σ : S Ñ R is a rigid surjection when σ is ´1 ´1 a surjection such that for every r0 ăR r1 one has that minăS σ pr0q ăS minăS σ pr1q. Let EpipS, Rq be the collection of rigid surjections from S onto R.

Theorem 6.14 (Dual Ramsey Theorem [GrRo]). For every ﬁnite linearly ordered sets R and S, and every r there is some linearly ordered set T such that every r-coloring of EpipT, Rq has a monochromatic set of the form EpipS, Rq ˝ σ for some σ P EpipT, Sq.

d n Note that a linear mapping γ : `8 Ñ `8 is a disjoint preserving embedding if and only if its dual ˚ n d operator γ : `1 Ñ `1 satisfies that ˚ tukukăd Ď t˘γ pujqujăn Ď r´1, 1s ¨ tukukăd. d n In other words, if A denotes the matrix representing γ in the unit bases of R and R , then the row vectors of A must be of the form akuk for some |ak| ď 1, and for each k ă d there must be a row vector K n d with ak “ ˘1. Let Quo p`1 , `1q be the collection of such surjections σ. Similarly, γ is a lattice embedding when ˚ tukukăd Ď tγ pujqujăn Ď r0, 1s ¨ tukukăd. ˛ n d Let Quo p`1 , `1q be the collection of such surjections σ. Given a 1-1 mapping f : d Ñ m and θ :“ d K d m pθkqkăd P t´1, 1u , let γf,θ P Emb p`8, `8q be linearly defined by ηf,θpukq :“ θkufpkq. Observe that for K d m every σ P Quo p` , ` q there are f and θ such that σ ˝ηf,θ “ Id d , and if in addition σ is positive, θ “ p1q 8 8 `8 ˛ d m and consequently γf,p1q P Emb p`8, `8q. We choose one of those embedding and we denote its parameters by pfσ, θσq. Proof of Theorem 6.13. We prove the pARPq of finite dimensional M-spaces with respect to disjoint preserving in its dual form; that is, for every d, m, r P N and every ε ą 0 there is some n such that K n d K m d every r-coloring of Quo p`1 , `1q has an ε-monochromatic set of the form Quo p`1 , `1q ˝ σ for some σ P K n m Quo p`1 , `1 q; the corresponding pARPq for lattice embeddings is proved similarly, and we leave the details to the reader. Fix d, m, r P N and ε ą 0. Let e :“ r1{εs, and let ∆ :“ tspl{equk : s P t´1, 1u, 0 ď l ď t, k ă du 1 1 1 ordered by ă such that if l ă l , then spl{equk ă s pl {equk1 Let also Λ:“ ∆ ˆ E, where E “ tpf, θq : f : d Ñ m is 1-1 and θ P t´1, 1udu. We linearly order E arbitrarily and then Λ by the corresponding lexicographic ordering. Let n, ordered canonically, be the result of applying the dual Ramsey Theorem for K n d the parameters ∆, Λ and number of colors r. We claim that n works. For suppose that c : Quo p`1 , `1q Ñ K n d r. Let Φ : Epipn, ∆q Ñ Quo p`1 , `1q be linearly defined for f P Epipn, ∆q and j ă n by Φpfqpujq :“ säük 54 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC if fpjq “ pa, s, kq P Aˆt´1, 1uˆd. Let c :“ c˝Φ. By the “Ramsey property” of the number n, there is some K n m g P Epipn, Λq such that EpipΛ, ∆q˝g is c-monochromatic with constant value r¯ ă r. Let σ P Quo p`1 , `1 q be linearly defined for j ă n by σpujpq :“ s ¨ a ¨ γf,θpukq, if gpjq “ ppa, s, kq, pf, θqq P Λ. We see that m d ´1 Quop`1 , `1q ˝ σ Ď pc pr¯qqε by establishingp the following.

m d Claim 6.14.1. For every τ P Quop`1 , `1q there is some rigid surjection h P EpipΛ, ∆q such that }τ ˝ σ ´ Φph ˝ gq} ď ε.

Proof of Claim: Fix such τ, and λ :“ pspl{equk, pf, θqq P Λ. If τpl ¨ ufpkqq “ 0, then we declare hpλq “ 0. Suppose that τpl ¨ ufpkqq ‰ 0. There are two cases to consider: a) pf, θq “ pfτ , θτ q. We let hpλq “ spl{equk. b) pf, θq ‰ pfτ , θτ q. Write τpγf,θpspl{equkqq “ bui ‰ 0, for some b P r´1, 1s and i ă d. Let 0 ď l ď e and c P t´1, 1u be such that |b ´ cl{e| ď ε and be such that j{e ă |b|, and we set hpλq :“ cpl{equi ´1 ´1 We show that h is a rigid surjection by proving that minΛ h p0q “ p0, min Eq, and minΛ h pspl{equkq “ ´1 pspl{equk, pfτ , θτ qq. The fact that minΛ h p0q “ p0, min Eq is trivial; as for the other equality, set λ :“ pspl{equk, pfτ , θτ qq. First of all, l ‰ 0, and τpspl{equfτ pkqq “ aτpγfτ ,θτ pukqq “ auk, where a “ tθkpl{eq th with θk being the k -coordinate of θτ . So, in particular, τplufτ pkqq ‰ 0, and consequently, by definition, 1 1 1 1 hpspl{equk, pfτ , θτ qq “ spl{equk. On the other hand, if hpλ q “ spl{equk with λ ‰ λ “ ps pl {equk1 , pf, θqq, 1 1 then necessarily s pl {equk1 ‰ spl{equk, and consequently we are in case b) of the definition of h, so 1 1 1 1 1 l{e ă }τpγf 1,θ1 ps pl {equk1qq} ď }s pl {equk1 }“ l {e, because τ is a contraction and γf 1,θ1 is an embedding. 1 1 1 Hence, by the ordering on ∆, spl{equk ă s pl {equk1 and consequently, λ ă λ . Finally, let us see that }τ ˝ σ ´ Φph ˝ gq} ď ε, that is, }τpσpujqq ´ Φph ˝ gqpujq} ď ε for every j ă n, n d because we consider operators from `1 onto `1. So, fix j ă n, and set λ “ pspl{equk, pf, θqq “ gpjq. By definition, σpujq “ γf,θpspl{equkq, while Φph ˝ gqpujq “ hpλq. Suppose first that τpσpujqq “ 0; then by definition of h, hpλq “ 0, hence τpσpujqq “ Φph ˝ gqpujq “ 0. Suppose now that τpσpujqq ‰ 0. Now suppose that pf, θq “ pfτ , θτ q. It follows that τpσpujqq “ τ ˝ γf,θpspl{equkq “ spl{equk, while Φph ˝ gqpujq “ hpλq “ spl{equk “ τpσpujqq. Finally, suppose that pf, θq ‰ pfτ , θτ q. By the choice of hpλq, }τpσpujqq ´ hpλq} ď ε.

References

[Als] D. Alspach, Small into isomorphisms on Lp spaces, Illinois Journal of Mathematics, 27 (1983), 300-314. [AvCSCaGoMo] A. Aviles, F. Cabello-Sanchez, J. Castillo, M. Gonzalez, Y. Moreno, On ultrapowers of Banach spaces of

type L8, Fund. Math. 222 (2013), 195-212. [Ba] S. Banach, Théorie des opérations linéaires, Warsaw, 1932. [BaLALuMbo1] D. Bartošová, J. Lopez-Abad, M. Lupini and B. Mbombo, The Ramsey property for Banach spaces and Choquet simplices, and applications. C. R. Math. Acad. Sci. Paris 355 (2017), no. 12, 1242–1246. [BaLALuMbo2] D. Bartošová, J. Lopez-Abad, M. Lupini, B. Mbombo, The Ramsey property for Banach spaces and Choquet simplices, to appear in Journal of European Mathematical Society. arXiv:1708.01317. [BYBeHeUs] I. Ben Yaacov, A. Berenstein, C. W. Henson, and A. Usvyatsov, Model theory for metric structures, Model theory with applications to algebra and analysis. Vol. 2, London Mathematical Society Lecture Note Series, vol. 350, Cambridge University Press, 2008, pp. 315–427. [BY] I. Ben Yaacov, Fraïssé limits of metric structures. J. Symb. Log. 80 (2015), no. 1, 100–115. [BY1] I. Ben Yaacov, Private communication. (2018). [Bi] P. Billingsley, Convergence of probability measures. Second edition. Wiley Series in Probability and Statistics: Proba- bility and Statistics. A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1999. AMALGAMATION AND RAMSEY PROPERTIES OF Lp SPACES 55

[CaSa] F. Cabello-Sanchez, Transitivity of M-spaces and Wood’s conjecture, Math. Proceedings of the Cambridge Philosoph- ical Society, 124 (1998), 513-520. [CaGaKu] F. Cabello Sanchez, J. Garbulińska-Węgrzyn and W. Kubiś, Quasi-Banach spaces of almost universal disposition, Journal of Functional Analysis 267 (2014) 744–771. [Cu] R. Cuppens, Decomposition of multivariate probabilities. Probability and Mathematical Statistics, Vol. 29. Academic Press, 1975. [FleJa] R. J. Fleming and J. E. Jamison, isometries on Banach spaces: function spaces. Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics, 129. Chapman & Hall/CRC, Boca Raton, FL, 2003. [Fra] R. Fraïssé, Sur l’extension aux relations de quelques propriétés des ordres, Ann. Sci. Ecole Norm. Sup. 71 (1954), 363–388. [GiPe] T. Giordano and V. Pestov, Some extremely amenable groups related to operator algebras and ergodic theory. J. Inst. Math. Jussieu 6 (2007), no. 2, 279–315. [GrRo] R. L. Graham and B. L. Rothschild, Ramsey’s theorem for n-parameter sets, Transactions of the American Mathe- matical Society 159 (1971) 257–292. [GrJaKa] P. Greim, J. E. Jamison and A. Kamińska, Almost transitivity of some function spaces. Math. Proc. Cambridge Philos. Soc. 116 (1994), no. 3, 475–488. [GrMi] M. Gromov, and V. D. Milman. A topological application of the isoperimetric inequality. Amer. J. Math. 105 (1983), no. 4, 843–854. [Gu] V. I. Gurariˇı, Spaces of universal placement, isotropic spaces and a problem of Mazur on rotations of Banach spaces. (Russian) Sibirsk. Mat. Ž. 7 (1966) 1002–1013. [Ha] P. R. Halmos, Measure Theory. D. Van Nostrand Company, Inc., New York, N. Y., 1950.

[Har] C. Hardin, Isometries on subspaces of Lp. Indiana Univ. Math. J. 30 (1981), no. 3, 449–465. [He] C. W. Henson, Nonstandard hulls of Banach spaces. Israel J. Math. 25 (1976), no. 1–2, 108–144. [Ho] W. Hodges, Model theory. Encyclopedia of Mathematics and its Applications, 42. Cambridge University Press, Cam- bridge, 1993. [Ja] G. J. O. Jameson, Counting zeros of generalized polynomials: Descartes’ rule of signs and Laguerre’s extensions. Math. Gazette 90, no. 518 (2006), 223–234. [Kak] S. Kakutani. Concrete representation of abstract (L)-spaces and the mean ergodic theorem. Ann. of Math. (2) 42, (1941). 523–537. [Kad] M. I. Kadets, Remark on the gap between subspaces. Funkcional. Anal. i Priložen. 9 (1975), no. 2, 73–74. [KaOs] N. J. Kalton and M. I. Ostrovskii, Distances between Banach spaces. Forum Math. 11 (1999), no. 1, 17–48. [KePeTo] A. S. Kechris, V. G. Pestov, and S. Todorcevic, Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups. Geom. Funct. Anal. 15 (2005), no. 1, 106–189. [KeSo] A. S. Kechris and M. Sokić, Dynamical properties of the automorphism groups of the random poset and random distributive lattice. Fund. Math. 218 (2012), no. 1, 69–94. [KeSoTo] A. S. Kechris, M. Sokić and S. Todorcevic, Ramsey properties of ﬁnite measure algebras and topological dynamics of the group of measure preserving automorphisms: some results and an open problem. Foundations of mathematics, 69–85, Contemp. Math., 690, Amer. Math. Soc., Providence, RI, 2017. [KoKö] A. Koldobsky and H. König, Aspects of the isometric theory of Banach spaces. Handbook of the geometry of Banach spaces, Vol. I, 899–939, North-Holland, Amsterdam, 2001. [KuSo] W. Kubiś and S. Solecki, A proof of uniqueness of the Gurarii space. Israel J. Math. 195 (2013), no. 1, 449–456. [Ku] W. Kubiś, Metric-enriched categories and approximate Fraïssé limits [arXiv:1210.6506] [La] E. Laguerre, Sur la théorie des equations numériques. Journal de Mathématiques pures et appliquées, 3e série, t. IX; (1883). [Lam] J. Lamperti, On the isometries of some function spaces, Paciﬁc J. Math. 8 (1958), 459–466. [Le] M. Ledoux. The concentration of measure phenomenon. Mathematical Surveys and Monographs, 89. American Mathe- matical Society, Providence, RI, 2001. [LiTza] J. Lindenstrauss and L. Tzafriri, Classical Banach spaces. 1: Sequence spaces. 2. Function spaces. Repr. of the 1977 and 1979 ed. Classics in Mathematics. Berlin: Springer-Verlag. xx, 432 p. (1996). [Lup] M. Lupini, Fraïssé limits in functional analysis. Adv. Math. 338 (2018), 93–174. [Lu1] W. Lusky, The Gurarij spaces are unique, Arch. Math. (Basel) 27 (1976) 627–635 56 V. FERENCZI, J. LOPEZ-ABAD, B. MBOMBO, AND S. TODORCEVIC

[Lu2] W. Lusky, Some Consequences of Rudin’s Paper "Lp-Isometries and Equimeasurability", Indiana University Mathe- matics Journal 27 (1978), 859–866. [LuSch] L. Lyusternik and S. Shnirel’man. Topological Methods in Variational Problems (in Russian). IssledowatelskiˇıInstitut Matematiki i Mechaniki pri O. M. G. U., Moscow, 1930. [MaPi] B. Maurey and G. Pisier, Caractérisation d’une classe d’espaces de Banach par des propriétés de séries aléatoires vectorielles. C. R. Acad. Sci. Paris Sér. A-B 277 (1973), A687–A690. [MaRo] J. Matoušek and V. Rödl. On Ramsey sets in spheres. J. Combin. Theory Ser. A 70 (1995), no. 1, 30–44. [Ma] J. Matoušek, Using the Borsuk-Ulam theorem. Lectures on topological methods in combinatorics and geometry. Written in cooperation with Anders Björner and Günter M. Ziegler. Universitext. Springer-Verlag, Berlin, 2003. [MeTsa] J. Melleray and T. Tsankov, Extremely amenable groups via continuous logic arXiv:1404.4590v1. (2014). [MiSch] V. D. Milman and G. Schechtman, Asymptotic theory of finite-dimensional normed spaces. Lecture Notes in Math- ematics, 1200. Springer-Verlag, Berlin, 1986 [OdRoSchl] E. Odell, H. P. Rosenthal and Th. Schlumprecht. On weakly null FDDs in Banach spaces. Israel J. Math. 84 (1993), no. 3, 333–351. [OiTr] T. Oikhberg and P. Tradacete, Almost band preservers. Positivity 21 (2017), 4, 1393–1423. [PelRol] A. Pełczyński and S. Rolewicz, Best Norms with Respect to Isometry Groups in Normed Linear Spaces, Short communication on International Math. Congress in Stockholm, 104 (1962). [Pe1] V. Pestov, Ramsey-Milman phenomenon, Urysohn metric spaces, and extremely amenable groups. Israel J. Math. 127 (2002), 317–357. [Pe2] V. Pestov, Dynamics of infinite-dimensional groups. The Ramsey-Dvoretzky-Milman phenomenon. Revised edition of Dynamics of infinite-dimensional groups and Ramsey-type phenomena [Inst. Mat. Pura. Apl. (IMPA), Rio de Janeiro, 2005; MR2164572]. University Lecture Series, 40. American Mathematical Society, Providence, RI, 2006. [Plo] A. I. Plotkin, Continuation of Lp-isometries, Journal of Soviet Mathematics 2 (1974), 143–165. [Plo1] A. I. Plotkin, An algebra that is generated by translation operators, and Lp-norms. (Russian) Functional analysis, No. 6: Theory of operators in linear spaces (Russian), pp. 112–121. Ul’janovsk. Gos. Ped. Inst., Ul’yanovsk, 1976.

[Ran] B. Randrianantoanina, On isometric stability of complemented subspaces of Lp. Israel J. Math. 113 (1999), 45–60. [Rol] S. Rolewicz, Metric linear spaces, Reidel, Dordrecht, 1985.

[Ros] H. P. Rosenthal, On the subspaces of Lp pp ą 2q spanned by sequences of independent random variables. Israel J. Math., 8 273-303, 1970. [Ru] W. Rudin, Lp-isometries and equimeasurability, Indiana University Mathematics Journal 25 (1976), 215–228.

[Sch] G. Schechtman, Almost isometric Lp subspaces of Lpp0, 1q, Journal of the London Mathematical Society (2) 20 (1979), 516–528.

[We] A. Weston, On the uniform classiﬁcation of Lppµq spaces. Miniconference on Probability and Analysis, 231–237, Centre for Mathematics and its Applications, Mathematical Sciences Institute, The Australian National University, Canberra AUS, 1992.

Departamento de Matemática, Instituto de Matemática e Estatística, Universidade de São Paulo, rua do Matão, 1010, 05508-090 São Paulo, SP, Brazil E-mail address: [email protected]

Departamento de Matemáticas Fundamentales, Facultad de Ciencias, UNED, 28040 Madrid, Spain E-mail address: [email protected]

Departamento de Matemática, Instituto de Matemática e Estatística, Universidade de São Paulo, rua do Matão, 1010, 05508-090 São Paulo, SP, Brazil E-mail address: [email protected]

Institut de Mathématiques de Jussieu, UMR 7586, 2 place Jussieu - Case 247, 75222 Paris Cedex 05, France, and Department of Mathematics, University of Toronto, Toronto, Canada, M5S 2E4 E-mail address: [email protected]