Una tematica básica en Teoría de Números está cristalizada en el décimo problema de Hilbert entero (H10 sobre Z): decidir si existe un algoritmo que, dado un polinomio en n variables F(x1; x2; : : : ; xn) con coecientes enteros, determina si la ecuacion (0.1) F(x1; x2; : : : ; xn) = 0, admite una solucion con coordenadas enteras. Matiyasevich, en los 70s, demostró que este problema es indecidible, dando una respuesta negativa a H10 sobre Z.
La situación cambia radicalmente al considerar otros anillos en que se buscan las soluciones de (0.1). Sea Z el anillo de todos los enteros algebraicos (un entero algebraico es un número complejo que es raíz de un polinomio monico con coecientes enteros). Rumely demostró en los 80s que H10 sobre Z admite una respuesta positiva. Su argumento se basa en el siguiente resultado.
Teorema (Rumely) Supongamos que F es absolutamente irreductible y que para todo numero primo p, la ecuacion (0.1) admite una solucion con coordenadas en el cuerpo finito de p elementos. Entonces, la ecuación (0.1) admite una solución de (0.1) con coordenadas en Z.
El Teorema de Rumely es un enunciado de existencia y no da un método para, usando la hipótesis, encontrar una solucion en Z. En los 90s, en el caso de un polinomio en dos variables, Ullmo dio una nueva demostración del Teorema de Rumely, usando un metodo que entrega tanto la existencia de una solución como una estimacion de su tamaño.
La demostracion de Ullmo se basa en una interpretacion geometrica de la situacion, usando ideas de Moret-Bailly y Szpiro, adaptadas al contexto de la geometría de Arakelov. La ecuación F = 0 dene una superficie aritmética y el punto entero buscado se interpreta como una sección. Para establecer la existencia y estimar el tamaño de tal seccion, se utiliza el concepto de amplitud aritmetica. Se trata de una adaptacion, para brados metrizados sobre una supercie aritmetica, de la nocion geometrica de amplitud de un brado sobre una supercie algebraica. Una herramienta importante en este metodo es un teorema de S.-W. Zhang, que da un analogo para brados metrizados del criterio de amplitud de Nakai-Moishezon.
El metodo arakeloviano ha sido renado por Autissier, siempre en el contexto de dos variables, demostrando en particular que, cuando se cumple ha hipotesis del teorema de Rumely, hay innitas soluciones de (0.1) con coordenadas en Z y que tienen tama~no controlado. Para el caso de mas de dos variables, la teora de la amplitud aritmetica no esta bien desarrollada aun y ofrece perspectivas de investigacion. En particular, no se conoce una version del teorema de Rumely con control sobre el tamaño de las soluciones.
El primer objetivo de este seminario es, durante el semestre, introducir los conceptos basicos de teora de Arakelov (curvas aritmeticas, supercies aritmeticas, brados metrizados, etc). En segundo lugar, revisaremos en detalle el metodo de Moret-Bailly, Szpiro y Ullmo. Siguiendo los intereses de la audiencia, podremos revisar otros topicos relacionados.