Teorema de Faltings

Sea C una curva algebraica no singular de genus g sobre Q. Entonces, el conjunto de puntos racionales en C se puede determinar de la siguiente manera:

• Caso g = 0: sin puntos o con algunos en el infinito; C se maneja como una sección cónica.
• Caso g = 1: sin puntos, o C es una curva elíptica y sus puntos racionales forman un grupo abeliano finitamente generado (teorema de Mordell, luego generalizado al teorema de Mordell-Weil). Además, el teorema de torsión de Mazur restringe la estructura del subgrupo de torsión.
• Caso g> 1: según la conjetura de Mordell, (convertida en el teorema de Faltings), C tiene solo un número finito de puntos racionales.

Shafarevich (1963) planteó una conjetura de finitud que afirmaba que solo hay un número finito de clases de isomorfismos 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 dado de lugares.Parshin (1968) demostró que la conjetura de Mordell se mantendría si la conjetura de finitud de Shafarevich fuera cierta usando el truco de Parshin.Faltings (1983) probó la conjetura de finitud de Shafarevich utilizando una reducción conocida a un caso de la conjetura de Tate, y una serie de herramientas de geometría algebraica, incluida la teoría de modelos de Néron. La idea principal de la prueba de Faltings es la comparación de la altura de Faltings y de la altura de Naive a través de las variedades modulares de Siegel.[4]

El artículo de 1983 de Faltings tuvo como consecuencia una serie de afirmaciones que habían sido previamente conjeturadas:

• La conjetura de Mordell de que una curva de género mayor que 1 sobre un campo numérico tiene solo un número finito de puntos racionales;
• El teorema de la isogenia de que las variedades abelianas con módulo de Tate isomorfas (como módulos Q_ℓ con acción de Galois) son isógenos.

Un ejemplo de la aplicación del teorema de Faltings es a una forma débil del último teorema de Fermat: para cualquier n ≥ 4 fijo hay como mucho un número finito de soluciones enteras primitivas (soluciones de números coprimos por pares) para aⁿ + bⁿ = cⁿ, ya que para tal n, la curva de Fermat xⁿ + yⁿ = 1 tiene genus mayor que 1.

Debido al teorema de Mordell-Weil, el teorema de Faltings puede reformularse como un enunciado sobre la intersección de una curva C con un subgrupo Γ generado finitamente de una variedad abeliana A. Generalizar reemplazando C por una subvariedad arbitraria de A y Γ por un subgrupo arbitrario de rango finito de A conduce a la conjetura de Mordell–Lang, que fue probada por Faltings.Plantilla:SnfsPlantilla:Snfs

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

La conjetura de Mordell para los grupos de funciones fue probada por Manin (1963) y Grauert (1965).Coleman (1990) encontró y solucionó un vacío en la prueba de Manin.

• Bombieri, Enrico (1990). «The Mordell conjecture revisited». Ann. Scuola Norm. Sup. Pisa Cl. Sci. 17 (4): 615-640. MR 1093712.
• Coleman, Robert F. (1990). «Manin's proof of the Mordell conjecture over function fields». L'Enseignement Mathématique. 2e Série 36 (3): 393-427. ISSN 0013-8584. MR 1096426. Archivado desde el original el 2 de octubre de 2011.
• Cornell, Gary; Silverman, Joseph H., eds. (1986). Arithmetic geometry. Papers from the conference held at the University of Connecticut, Storrs, Connecticut, July 30 – August 10, 1984. New York: Springer-Verlag. ISBN 0-387-96311-1. MR 861969. doi:10.1007/978-1-4613-8655-1. → Contiene una traducción al inglés de Faltings (1983)
• Faltings, Gerd (1983). «Endlichkeitssätze für abelsche Varietäten über Zahlkörpern» [Finiteness theorems for abelian varieties over number fields]. Inventiones Mathematicae (en alemán) 73 (3): 349-366. Bibcode:1983InMat..73..349F. MR 0718935. doi:10.1007/BF01388432.
• Faltings, Gerd (1984). «Erratum: Endlichkeitssätze für abelsche Varietäten über Zahlkörpern». Inventiones Mathematicae (en alemán) 75 (2): 381. MR 0732554. doi:10.1007/BF01388572. Parámetro desconocido |doi-access= ignorado (ayuda)
• Faltings, Gerd (1991). «Diophantine approximation on abelian varieties». Ann. of Math. 133 (3): 549-576. JSTOR 2944319. MR 1109353. doi:10.2307/2944319.
• Faltings, Gerd (1994). «The general case of S. Lang's conjecture». En Cristante, Valentino; Messing, William, eds. Barsotti Symposium in Algebraic Geometry. Papers from the symposium held in Abano Terme, June 24–27, 1991. Perspectives in Mathematics. San Diego, CA: Academic Press, Inc. ISBN 0-12-197270-4. MR 1307396.
• Grauert, Hans (1965). «Mordells Vermutung über rationale Punkte auf algebraischen Kurven und Funktionenkörper». Publications Mathématiques de l'IHÉS 25 (25): 131-149. ISSN 1618-1913. MR 0222087. doi:10.1007/BF02684399.
• Hindry, Marc; Silverman, Joseph H. (2000). Diophantine geometry. Graduate Texts in Mathematics 201. New York: Springer-Verlag. ISBN 0-387-98981-1. MR 1745599. doi:10.1007/978-1-4612-1210-2. → Da la prueba de Vojta del teorema de Faltings.
• Lang, Serge (1997). Survey of Diophantine geometry. Springer Science+Business Media. pp. 101–122. ISBN 3-540-61223-8.
• Manin, Ju. I. (1963). «Rational points on algebraic curves over function fields». Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya (en ruso) 27: 1395-1440. ISSN 0373-2436. MR 0157971. (Traducción: Manin, Yu. (1966). «Rational points on algebraic curves over function fields». American Mathematical Society Translations. Series 2 59: 189-234. ISBN 9780821817506. ISSN 0065-9290. doi:10.1090/trans2/050/11.)
• Mordell, Louis J. (1922). «On the rational solutions of the indeterminate equation of the third and fourth degrees». Proc. Cambridge Philos. Soc. 21: 179-192.
• Paršin, A. N. (1970). «Quelques conjectures de finitude en géométrie diophantienne». Tome 1. Nice: Gauthier-Villars (publicado el 1971). pp. 467-471. MR 0427323. Archivado desde el original el 24 de septiembre de 2016. Consultado el 11 de junio de 2016.
• Plantilla:Eom
• Parshin, A. N. (1968). «Algebraic curves over function fields I». Izv. Akad. Nauk. SSSR Ser. Math. 32 (5): 1191-1219. Bibcode:1968IzMat...2.1145P. doi:10.1070/IM1968v002n05ABEH000723.
• Shafarevich, I. R. (1963). «Algebraic number fields». Proceedings of the International Congress of Mathematicians: 163-176.
• Vojta, Paul (1991). «Siegel's theorem in the compact case». Ann. of Math. 133 (3): 509-548. JSTOR 2944318. MR 1109352. doi:10.2307/2944318.