Sea$K = \mathbb{C}(T)$ el campo de funciones racionales complejas en una variable, y$V$ sea una variedad definida sobre$K$.
¿Debe$V$ tener un punto solucionable?
La variedad$V$ se asume geométricamente irreductible.
Un punto solucionable es un punto en$V(L)$ donde$L/K$ es una extensión finita de Galois con$\mathrm{Gal}(L/K)$ solucionable.