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

Ramsey DocCourse Prague 2016 Index of lectures.

## Introduction

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.

## Overview

Discrete | Compact | Metric Structure | |
---|---|---|---|

Size | Countable | Separable | Separable, complete |

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 |
---|---|

True | 0 |

False | 1 |

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.

### Examples

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.

**Definition**. Let be a metric structure. We describe finitely generated substructures in by , where is an -tuple in .

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 .

**Lemma**. If is AUH and separable, then has

- HP,
- JEP,
- 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.

**Definition**. Let be a collection of finitely generated metric structures. We say that satisfies

**NAP**if when are embeddings, then

such that

The PP measures how closely you can embed two metric spaces.

**Definition**. Let be a collection of finitely generated metric structures with JEP. Define to be all pairs where and . Define , a pseudometric on by

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.

**Theorem (K. Schonetsonitis, I. BenYaacov)**. Let be a Polish structure. TFAE

- 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.

**Theorem (Uspenskij)**. is universal with respect to second countable topological groups.

See these notes for more information.

## Automorphism groups

Recall the following fact about (classical) Fraïssé structures.

**Theorem**. Every closed subgroup of can be represented as the automorphism group of a classical Fraïssé structure.

The following observation of Melleray is the corresponding fact for metric structures. It has a similar proof to the classical fact.

**Theorem(Melleray)**. Every Polish group can be represented as an automorphism group of an AUH relational Polish structure.

**Proof**. By a theorem of Uspenskij, is a closed subgroup of . acts on by isometries, so for all , acts on by the diagonal action.

For every orbit closure in of a point add a relational symbol called .

## Extreme amenability

The first relevant result is the following:

**Theorem (Pestov 2002)**. is extremely amenable.

This proof uses the finite Ramsey theorem and concentration of measure.

**Theorem (KPT 2005)**. is extremely amenable and .

The KPT theorem for metric structures is given by the following.

**Theorem (Melleray, Tsankov)**. Let be AUH. TFAE:

- is extremely amenable.
- satisfies ARP.

We define the approximate Ramsey Property.

**Definition**. Let be a collection of finitely generated metric structures. For , is the collection of all morphisms from to . There is a suitable distance between embeddings which we will not define here (in the special case of Banach spaces it is the operator norm).

(**ARP**):

there is a such that

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.

**Definition**. Let . The neighbourhood given by is denoted by

The pointwise stabilizer is

The embedding distance, for is

**Correspondence**. can be identified with .

**Proof**. If , then and .

So we can reword the ARP for finite metric spaces, by transfering the colouring to a colouring .

## Thick sets

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.

**Definition**. (). is

**thick**iff

is **thick partition regular** iff there is a that is thick.

**Theorem**. is thick partition regular iff satisfies ARP.

This is really just unwinding definitions. Then by general topological dynamics abstract nonsense we get:

**Theorem**. If is thick partition regular then is extremely amenable.

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.

## Next lectures

In the next lectures we will examine the Gurarij space and prove the ARP for (i.e. Banach spaces).

## References

(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.