The following notes are from the Ramsey DocCourse in Prague 2016. The notes are taken by me and I have edited them. In the process I may have introduced some errors; email me or comment below and I will happily fix them.
Title: Dual Ramsey, the Gurarij space and the Poulsen simplex 1 (of 3).
Lecturer: Dana Bartošová.
Date: December 12, 2016.
Main Topics: Comparison of various Fraïssé settings, metric Fraïssé definitions and properties, KPT of metric structures, Thick sets
Definitions: continuous logic, metric Fraïssé properties, NAP (near amalgamation property), PP (Polish Property), ARP (Approximate Ramsey Property), Thick, Thick partition regular.
Lecture 1 – Lecture 2 – Lecture 3
Throughout the DocCourse we have primarily focused on Fraïssé limits of finite structures. As we saw in Solecki’s first lecture (not posted yet), it makes sense, and is useful, to consider Fraïssé limits in a broader context. Today we will discuss those other contexts.
Solecki’s first lecture discussed how to take projective Fraïssé limits. Panagiotopolous’ lecture (not posted yet) looked at a specific application of these projective limits. We will see how to take metric (direct) Fraïssé limits.
|Limit||Fraïssé limit||Quotient of the projective limit||(direct or projective) Metric Fraïssé limit|
|Homogeneity||(ultra)homogeneity||Projective approximate homogeneity||Approximate homogeneity (*)|
|Automorphism group||non-archimedian groups (closed subgroups of||homeomorphism groups||Polish Groups|
|KPT, extremely amenable iff||RP||Dual Ramsey||Approximate RP (**)|
|Metrizability of UMF iff||finite Ramsey degree||(***)||(Open) Compact RP?|
|Where we’ve seen these||Classical||Solecki’s lectures||These lectures|
(*) – Exact homogeneity is often not possible.
(**) – In the projective setting this is fairly unexplored. These proofs are usually via direct (discrete) Ramsey, or through concentration of measure.
(***) – You have KPT before you take the quotient, but lose it after taking the quotient. e.g. UMF(pre-pseudo arc) is not metrizable (through RP). A question of Uspenskij asks about the UMF(pseudo arc).
Continuous Logic definitions
In the context of Banach spaces, it makes sense to use continuous logic. This is where we instead of the usual -valued logic we allow sentences to take on values in the interval . We also suitably adjust the logical constructives.
|Classical logic||Continuous logic|
Now we define functions and relations. Let be a complete metric space. So will be given the sup metric.
- comes with a Lipschitz constant.
- comes with a Lipschitz constant.
Then functions and relations must satisfy the usual things that functions and relations satisfy in classical logic.
|Finitely generated substructures||Limit||maps||Language|
|Separable metric spaces||finite metric spaces||Separable Urysohn space||isometric embedding||just the distance|
|Separable Banach spaces||finite dimensional Banach spaces (**)||Gurarij space||isometric linear embedding|
|Separable Choquet spaces||finite dimensional simplices||Poulsen simplex||affine homeomorphisms (*)||Something that captures the convex structure|
(*) – An affine homeomorphism sends and sends extreme points to extreme points, then is extended affinely to the rest of the simplex. The metric here is not canonical.
(**) – Similar to the discrete case, to take a limit you only need a cofinal sequence. In this case we take .
Morphisms between models
In continuous logic the maps between models are isometric embeddings that preserves functions and relations.
Properties of the finitely generated substructures
In the classical Fraïssé setting we looked at homogeneity, HP, JEP and AP. These notions have suitable generalizations in the metric Fraïssé setting.
We say that is approximately ultrahomogeneous (AUH) if and for every morphism, and for all , there is a such that .
is the collection of finitely generated substructures of .
- NAP (the Near Amalgamation Property),
- PP (the Polish Property, an analogue of countability).
We now explain NAP and PP. The NAP is a striaghtforward generalization of AP.
The PP measures how closely you can embed two metric spaces.
where this is taken over al such that embed in , and all embeddings , .
We say satisfies the Polish Property (PP) if is separable for all .
This gives us the following Fraïssé theorem for metric structures.
- is AUH.
- satisfies HP, JEP, NAP and PP.
The Urysohn space
Recall that is the separable Urysohn space. It is the (unique) complete, separable metric space, universal for separable metric spaces and (exactly) ultrahomogeneous with respect to finite metric spaces.
Its age is the collection of finite metric spaces. It is a metric Fraïssé class.
Its automorphism group has a similar universal property.
See these notes for more information.
Recall the following fact about (classical) Fraïssé structures.
The following observation of Melleray is the corresponding fact for metric structures. It has a similar proof to the classical fact.
For every orbit closure in of a point add a relational symbol called .
The first relevant result is the following:
This proof uses the finite Ramsey theorem and concentration of measure.
The KPT theorem for metric structures is given by the following.
- is extremely amenable.
- satisfies ARP.
We define the approximate Ramsey Property.
there is a such that
Here , and the -fattening is using the embedding distance (which we haven't defined).
Recall that in the infinite case, rigidity was needed to have the embedding RP. That is why in finite metric spaces we added linear orders to get the RP. However, metric spaces do satisfy the ARP (by Pestov from extreme amenabilty of , without needing to add linear orders.
Also, by using the usual compactness arguments, we can assume that the witness to ARP is the full Fraïssé limit.
The stabilizer equivalence
In the KPT correspondence, we saw a useful connection between the stabilizer of a set and collections of finite structures. See Lionel Ngyuen van The’s first DocCourse lecture.
Here we mention an analogous connection.
The pointwise stabilizer is
The embedding distance, for is
So we can reword the ARP for finite metric spaces, by transfering the colouring to a colouring .
Thickness is a group property that captures some Ramsey properties. This is desirable because we would like to be able to detect Ramsey type phenomena from the group itself, without having to know the underlying Fraïssé limit.
is thick partition regular iff there is a that is thick.
This is really just unwinding definitions. Then by general topological dynamics abstract nonsense we get:
Note that this is a theorem just about groups. This doesn’t use much of the structure of . Our goal is to prove extreme amenability without having to first prove Ramsey theorems.
In the next lectures we will examine the Gurarij space and prove the ARP for (i.e. Banach spaces).
(This is incomplete – Mike)
- Kechris, Pestov, Todorcevic. “Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups”. 2005.
- Pestov. “Dynamics of infinite-dimensional groups. The Ramsey-Dvoretzky-Milman phenomenon.”. 2006.