Teorema de Faltings
Teorema de Faltings | ||
---|---|---|
![]() Gerd Faltings | ||
Campo | Geometría aritmética | |
Conjeturado por | Louis Mordell | |
Conjeturado en | 1922 | |
Demostrado por | Gerd Faltings | |
Demostrado en | 1983 | |
Generalizaciones | Conjetura de Bombieri-Lang Conjetura de Mordell-Lang | |
Consecuencias | Teorema de Siegel sobre puntos integrales | |
[editar datos en Wikidata] |
En geometría aritmética, la conjetura de Mordell, realizada por Louis Mordell,[1] afirma que una curva de genus mayor que 1 sobre el campo Q de los números racionales tiene solo un número finito de puntos racionales. En 1983 fue demostrada por Gerd Faltings.[2][3] Actualmente se conoce como teorema de Faltings. La conjetura se generalizó más tarde reemplazando Q por cualquier cuerpo de números algebraicos.
Antecedentes
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.
Demostraciones
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]
Demostraciones posteriores
La aproximación diofántica proporcionó una prueba basada en Vojta (1991).Bombieri (1990) dio una variante más elemental de la demostración de Vojta.
Consecuencias
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 an + bn = cn, ya que para tal n, la curva de Fermat xn + yn = 1 tiene genus mayor que 1.
Generalizaciones
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.[5][6]
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.
Referencias
- ↑ Mordell, 1922.
- ↑ Faltings, 1983.
- ↑ Faltings, 1984.
- ↑ "Faltings relaciona las dos nociones de altura por medio del espacio de módulos de Siegel ... Es la idea principal de la demostración." Bloch, Spencer (1984). «The Proof of the Mordell Conjecture». The Mathematical Intelligencer 6 (2): 44. S2CID 306251. doi:10.1007/BF03024155.
- ↑ Faltings, 1991.
- ↑ Faltings, 1994.
Bibliografía
- 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.
- 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.
- Parshin, A. N. «Mordell conjecture - Encyclopedia of Mathematics». encyclopediaofmath.org.
- 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.
Datos: Q240950