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.

**Special thanks**. Thank you to Michael Kompatscher for all his feedback and helpful comments.

**Title**: Functions on Homogeneous Ramsey Structures 2 (of 3).

**Lecturer**: Michael Pinsker.

**Date**: Friday October 7, 2016.

**Main Topics**: Equivalent notions of -categorical, Proof of Cameron’s Theorem, Proof of canonical-Ramsey.

**Definitions:**No new ones.

Lecture 1 – Lecture 2 – Lecture 3

## Playing around with -categorical

Our definition of -categorical said that for an -categorical structure all other countable structures with the same theory were isomorphic. Here we present two more algebraic definitions.

**Theorem (Ryll-Nardzewski, Engeler, Sveronus, 1959)**. For a countable structure TFAE

- is -categorical.
- , has only finitely many types of -tuples.
- , has only finitely many orbits.

Moreover, (2) and (3) are in correspondence. In any of these three equivalent cases, every orbit is first order definable in .

The assumption that is countable is to prevent counterexamples of other cardinalities from the LĆ¶wenheimāSkolem theorem.

In the case that is homogeneous this gives us a nice corollary. The proof is an **exercise**.

**Corollary**. If is homogeneous in a finite relational language, then is -categorical.

In the previous lecture we started to examine closed supergroups of . This is motivated by the following open conjecture.

**Conjecture (S. Thomas, 1991)**. If is a homogeneous structure with a finite relational language then has only finitely many closed supergroups.

One of the original motivations for this is the following theorem.

**Proposition**. Let be -categorical (relational) structures on the same domain.

is first order definable in if and only if .

Note that in the Proposition you can drop the condition that is -categorical, since contains and therefore has fewer orbits in every arity that . (*Comment by Michael Kompatscher*.)

**Proof**. The direction is straightforward. An automorphism of will preserve statements in so it preserves the structure of (since it’s definable in ). -categorical is not needed here.

For the direction, start with a relation of . By assumption it is preserved by . By -categoricity, is a union of finitely many orbits of . By assumption each orbit is definable, so is definable (using Ryll-Nardzewski).

We can now prove a nice corollary.

**Corollary**. Let be -categorical (relational) structure.

Closed supergroups of are in one-to-one correspondence with structures that are first order definable in (up to interdefinability).

You might need the following exercise to prove the corollary.

**Exercise**. Every closed subgroup of is the automorphism group of some structure.

In the case of we looked at the the closed subgroups , where is a reflection map, and , where is a cycling map (see lecture 1). In an abuse of notation we will assume that is the topological closure of the algebraic closure of and .

These correspond to the following structures:

is given by the structure where if and only if or .

is given by the structure where if and only if or or .

## Cameron’s Theorem

As mentioned in the previous lecture, we want to characterize the closed supergroups of .

**Theorem (Cameron)**. There are only three groups strictly between and .

In particular, for a reflection map and a cycle map, and we have .

In order to prove a theorem like this, it is very useful to have someone provide the target groups. Our proof strategy will be to start with a closed proper supergroup of . We want to show that contains one of the maps or .

Since is proper, it contains an that is not an automorphism. So there are such that . We will use Ramsey’s Theorem to ensure that the function (or really a related function) is well behaved on large sections of . We will use the following Ramsey result (with .

**Proposition**. Let be an ordered, Ramsey, homogeneous, -categorical structure, and assume that is -categorical.

Let . Fix finitely many constants .

There is a function such that and is canonical (from to ).

Why do we have to enrich the language? The starting function is usually not canonical. You might even be able to see this on the finite set of constants. For example, in you might have and .

We will prove the Ramsey proposition at the end of today’s lecture.

**Proof of Cameron’s Theorem**. Start with the as discussed before the proposition. Find a as in the proposition.

Let’s think about what this function does to the sets and . Notice that swaps the order of if and only if it swaps the order of . This is because is part of the (expanded) language so the structure can “see” that they are to the left of . In particular, must behave uniformly on each of (although it may behave differently on different parts). This observation allows us to analyze cases based on what does on each of these parts.

We will only investigate one case, but the rest are similar.

**Case 1**: swaps the order of one of .

Without loss of generality, assume that swaps the order of . That is, for all , .

Let us show that the map is in our closed proper supergroup . We do this by showing that .

Recall that was our starting map.

Start by fixing a finite set in . For technical reasons, find an such that . Since is homogeneous, find an automorphism such that sends to and into . Apply to , which will swap its order. Use homogeneity again and find an automorphism of that sends to .

So then , but the order is reversed. That is, for we have . So .

**Case 2**: puts in front of , but preserves the order on , and the order on . That is .

This case has more subcases, but the argument is comparable to case 1.

### Intuition: Where do the supergroups come from?

One of the major difficulties for these types of proofs is coming up with the supergroups. If you don’t know the groups, then the proof is much harder. So how do we come up with these groups?

One approach is to play around with canonical functions. These can give us hints as to what the groups are. Adding constants to the structure can also help, as in expanding to .

**Michael Kompatscher’s intuition**. Adding constants is useful, since on those finitely many constants you can witness that a relation is violated: In the example with reducts of , for every that is not an automorphism , there are elements such that but : this was the basis of our analysis of the reducts of . To continue the classification of reducts of , you would proceed similarly:

"What if is not generated by and the 'reflections'?"

Then the Betweenness relation is violated, which can again be witnessed by a canonical function , etc.

## Proof of the Ramsey proposition

**“The Ramsey Proposition”**. Let be an ordered, Ramsey, homogeneous, -categorical structure, and assume that is -categorical.

Let . Fix finitely many constants .

There is a function such that and is canonical (from to ).

**Note** the condition that is may be changed to is countable.

The strategy here will be to use Ramsey to get a function that is regular on each of the parts, then use homogeneity to glue the parts together.

**Proof**. We start out by making a claim that will be very useful, but we will prove in the next lecture.

**Claim**. finite, there is an such that such that is canonical.

Assume the claim. Write as the increasing union of finite structures . For each of the finite structures, find an that is isomorphic to such that is canonical.

By thinning out, we may assume that the behaviour of on all of the is the same (we clarify this below).

Find an such that . Note that is canonical on (because the automorphisms preserve structure).

Unfortunately, these usually don’t form an increasing union in , they might even be disjoint. So we fix that with automorphisms in .

**Claim**. We may refine so that .

This is a “standard compactness argument”, which we will write out.

For , there are only finitely many choices for , so let be a collection where are these types are the same. Let .

For , there are only finitely many choices for , so let be a collection where are these types are the same. Let .

Repeat this argument to get the desired infinite . Without loss of generality we will assume that .

**Making an increasing union in **. We find .

Start by taking , which will map to .

Then find a such that . This can be done since . Therefore such a exists by -categoricity.

Inductively find such that .

Thus the functions agree on larger and larger finite sets whose union is . While the limit of these functions is canonical, it need not agree with on . So we fix this again.

**Making the limit agree with **.

Start with an automorphism that corrects where the limit sends . Now the appropriate limit will be . Note that and this will be the function we want in the theorem.

**Exercise**. Check the following.

- lives in the correct place.
- is canonical
- There aren’t any type errors. That is, the compositions of functions we use always makes sense.

## 2 thoughts on “Functions on Homogeneous Ramsey Structures 2 – Ramsey DocCourse Prague 2016”