stringtranslate.com

Teorema de Faltings

El teorema de Faltings es un resultado de la geometría aritmética , según el cual una curva de género mayor que 1 sobre el cuerpo de números racionales tiene solo un número finito de puntos racionales . Esto fue conjeturado en 1922 por Louis Mordell , [1] y conocido como la conjetura de Mordell hasta su demostración en 1983 por Gerd Faltings . [2] La conjetura fue generalizada más tarde reemplazando por cualquier cuerpo de números .

Fondo

Sea una curva algebraica no singular de género sobre . Entonces el conjunto de puntos racionales sobre puede determinarse de la siguiente manera:

Pruebas

Igor Shafarevich conjeturó que sólo hay un número finito de clases de isomorfismo de variedades abelianas de dimensión fija y grado de polarización fijo sobre un cuerpo numérico fijo con buena reducción fuera de un conjunto finito fijo de lugares . [3] Aleksei Parshin demostró que la conjetura de finitud de Shafarevich implicaría la conjetura de Mordell, utilizando lo que ahora se llama el truco de Parshin. [4]

Gerd Faltings demostró la conjetura de finitud de Shafarevich utilizando una reducción conocida a un caso de la conjetura de Tate , junto con herramientas de la geometría algebraica , incluida la teoría de los modelos de Néron . [5] La idea principal de la prueba de Faltings es la comparación de las alturas de Faltings y las alturas ingenuas a través de las variedades modulares de Siegel . [a]

Pruebas posteriores

Consecuencias

El artículo de Faltings de 1983 tuvo como consecuencias una serie de afirmaciones que ya se habían conjeturado previamente:

Un ejemplo de aplicación del teorema de Falting es una forma débil del último teorema de Fermat : para cualquier número fijo hay como máximo un número finito de soluciones enteras primitivas ( soluciones coprimas por pares ) para , ya que para ellas la curva de Fermat tiene un género mayor que 1.

Generalizaciones

Debido al teorema de Mordell-Weil , el teorema de Faltings puede reformularse como una afirmación sobre la intersección de una curva con un subgrupo finitamente generado de una variedad abeliana . La generalización mediante la sustitución por una variedad semiabeliana , por una subvariedad arbitraria de y por un subgrupo arbitrario de rango finito de conduce a la conjetura de Mordell-Lang , que fue demostrada en 1995 por McQuillan [9] siguiendo el trabajo de Laurent, Raynaud , Hindry, Vojta y Faltings .

Otra generalización de dimensiones superiores del teorema de Faltings es la conjetura de Bombieri-Lang que sostiene que si es una variedad pseudocanónica (es decir, una variedad de tipo general) sobre un cuerpo de números , entonces no es denso de Zariski en . Paul Vojta ha propuesto conjeturas aún más generales .

La conjetura de Mordell para campos de funciones fue demostrada por Yuri Ivanovich Manin [10] y por Hans Grauert [11] . En 1990, Robert F. Coleman encontró y solucionó un problema en la demostración de Manin. [12]

Notas

  1. ^ "Faltings relaciona las dos nociones de altura por medio del espacio de módulos de Siegel... Es la idea principal de la prueba". Bloch, Spencer (1984). "La prueba de la conjetura de Mordell". The Mathematical Intelligencer . 6 (2): 44. doi :10.1007/BF03024155. S2CID  306251.

Citas

  1. ^ Mordell 1922.
  2. ^ Faltando 1983; Faltando 1984.
  3. ^ Shafarevich 1963.
  4. ^ Parshin 1968.
  5. ^ Faltando 1983.
  6. ^ Vojta 1991.
  7. ^ Bomberi 1990.
  8. ^ Lawrence y Venkatesh 2020.
  9. ^ McQuillan 1995.
  10. ^ Manín 1963.
  11. ^ Grauert 1965.
  12. ^ Coleman 1990.

Referencias