Title: Some model theory of rational dynamics.
Abstract: A rational dynamical system consists of a variety X and a 
rational (algebraic) map from X to itself. We study a special class of 
such dynamical systems, the isotrivial ones, showing for example that if 
the system has no "first integrals", then it has only finitely many 
maximal proper invariant subvarieties (the Dixmier--Moeglin problem).  
This result, as well as others, is a corollary of the main theorem, 
which states that the birational automorphism group of such a system is 
an algebraic group. This, in turn, is a special case of the "binding 
group" theorem in model theory. I will explain the definitions and 
statements involved, as well as the model theoretic point of view on the 
situation. This is joint work with Rahim Moosa from the University of 
Waterloo.
Livestream/recording link: https://huji.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=842d030c-131a...