The Ax-Grothendieck theorem from the 1960s says that an injective polynomial $f : \mathbb C^n \to \mathbb C^n$ is also surjective. It is one of the first examples of the powerful technique in algebraic geometry of using finite fields to prove results over the complex numbers. We will give an outline of Ax's proof, which is virtually devoid of algebro-geometric input.
Finite fields and the Ax-Grothendieck theorem
Remy van Dobben de Bruyn
Veblen Research Instructor, School of Mathematics
Date & Time
October 09, 2019 | 6:00 – 7:30pm