Hunter Spink (September 2, 2022): Examples of o-minimality in algebraic geometry
Channel: Algebraic Geometry at Stanford
Date: 10/09/2022

In this introductory talk, we will define o-minimality (a way of augmenting algebraic geometry with functions like $e^x$, $\sin$, $\cos$, etc.), and show:

(1) The number of solutions to a system of polynomials equations is bounded by a function of the sizes of the supports of the equations, independent of the sizes of the exponents.

(2) For an irreducible polynomial $f(x,y)$ not of the form $ax^iy^j+bx^ky^l$ there are only finitely many solutions to $f(x,y)=0$ with $x$, $y$ roots of unity.