We take a look at difference fields with several commuting automorphisms. The theory of difference fields with one distinguished automorphism has a model companion known as ACFA, which Zoe Chatzidakis and Ehud Hrushovski have studied in depth. However, Hrushovski has proved that if you look at fields with two or more commuting automorphisms, then the existentially closed models of the theory do not form a first order model class. We introduce a non-elementary framework for studying them. We then discuss how to generalise a result of Kowalski and Pillay that every definable group (in ACFA) virtually embeds into an algebraic group. This is joint work in progress with Zoe Chatzidakis and Nick Ramsey.
- Logic Seminar