La estructura de variedades algebraicas definidas sobre cuerpos no algebraicamente cerrados se ha convertido en un área central de interés que surgió con el desarrollo abstracto moderno de la geometría algebraica. Sobre campos finitos, la cohomología étale proporciona invariantes topológicos asociados a variedades algebraicas. [6] La teoría p-ádica de Hodge proporciona herramientas para examinar cuándo las propiedades cohomológicas de las variedades sobre números complejos se extienden a aquellas sobre campos p-ádicos . [7]
En la década de 1850, Leopold Kronecker formuló el teorema de Kronecker-Weber , introdujo la teoría de los divisores e hizo muchas otras conexiones entre la teoría de números y el álgebra . Luego conjeturó su " liebster Jugendtraum " ("el sueño más querido de la juventud"), una generalización que más tarde fue propuesta por Hilbert en una forma modificada como su duodécimo problema , que describe el objetivo de que la teoría de números funcione sólo con anillos que son cocientes. de anillos polinomiales sobre los números enteros. [9]
Principios y mediados del siglo XX: desarrollos algebraicos y conjeturas de Weil
En 1949, André Weil planteó las históricas conjeturas de Weil sobre las funciones zeta locales de variedades algebraicas en campos finitos. [12] Estas conjeturas ofrecieron un marco entre la geometría algebraica y la teoría de números que impulsó a Alexander Grothendieck a reformular los fundamentos utilizando la teoría de la gavilla (junto con Jean-Pierre Serre ), y más tarde la teoría de esquemas, en las décadas de 1950 y 1960. [13] Bernard Dwork demostró una de las cuatro conjeturas de Weil (racionalidad de la función zeta local) en 1960. [14] Grothendieck desarrolló la teoría de la cohomología de Étale para probar dos de las conjeturas de Weil (junto con Michael Artin y Jean-Louis Verdier ) mediante 1965. [6] [15] La última de las conjeturas de Weil (análoga a la hipótesis de Riemann ) sería finalmente demostrada en 1974 por Pierre Deligne . [dieciséis]
Mediados y finales del siglo XX: desarrollos en modularidad, métodos p-ádicos y más allá
En la década de 1960, Goro Shimura introdujo las variedades Shimura como generalizaciones de curvas modulares . [20] Desde 1979, las variedades Shimura han jugado un papel crucial en el programa Langlands como un ámbito natural de ejemplos para probar conjeturas. [21]
En artículos de 1977 y 1978, Barry Mazur demostró la conjetura de la torsión dando una lista completa de los posibles subgrupos de torsión de curvas elípticas sobre los números racionales. La primera demostración de Mazur de este teorema dependió de un análisis completo de los puntos racionales en ciertas curvas modulares . [22] [23] En 1996, Loïc Merel amplió la prueba de la conjetura de la torsión a todos los campos numéricos . [24]
En 1983, Gerd Faltings demostró la conjetura de Mordell , demostrando que una curva de género mayor que 1 tiene sólo un número finito de puntos racionales (donde el teorema de Mordell-Weil sólo demuestra la generación finita del conjunto de puntos racionales en contraposición a la finitud). [25] [26]
^ Gowers, Timoteo; Barrow-Green, junio; Líder, Imre (2008). El compañero de Princeton para las matemáticas. Prensa de la Universidad de Princeton. págs. 773–774. ISBN978-0-691-11880-2.
^ A. Weil, L'arithmétique sur les courbes algébriques , Acta Math 52, (1929) p. 281-315, reimpreso en el volumen 1 de sus artículos recopilados ISBN 0-387-90330-5 .
^ Serre, Jean-Pierre (1955). "Faisceaux Algebriques Coherentes". Los Anales de las Matemáticas . 61 (2): 197–278. doi :10.2307/1969915. JSTOR 1969915.
^ Dwork, Bernard (1960). "Sobre la racionalidad de la función zeta de una variedad algebraica". Revista Estadounidense de Matemáticas . 82 (3). Revista estadounidense de matemáticas, vol. 82, núm. 3: 631–648. doi :10.2307/2372974. ISSN 0002-9327. JSTOR 2372974. SEÑOR 0140494.
^ Shimura, Goro (1989). "Yutaka Taniyama y su época. Recuerdos muy personales". El Boletín de la Sociedad Matemática de Londres . 21 (2): 186–196. doi : 10.1112/blms/21.2.186 . ISSN 0024-6093. SEÑOR 0976064.
^ Wiles, Andrés (1995). "Curvas elípticas modulares y último teorema de Fermat" (PDF) . Anales de Matemáticas . 141 (3): 443–551. CiteSeerX 10.1.1.169.9076 . doi :10.2307/2118559. JSTOR 2118559. OCLC 37032255. Archivado desde el original (PDF) el 10 de mayo de 2011 . Consultado el 22 de marzo de 2019 .
^ Shimura, Goro (2003). Las obras completas de Goro Shimura . Naturaleza Springer. ISBN978-0387954158.
^ Langlands, Robert (1979). "Representaciones automórficas, variedades de Shimura y motivos. Ein Märchen" (PDF) . En Borel, Armand ; Casselman, William (eds.). Formas automórficas, representaciones y funciones L: simposio de matemática pura . vol. XXXIII Parte 1. Compañía editorial de Chelsea. págs. 205–246.
^ Merel, Loïc (1996). "Bornes pour la torsion des courbes elliptiques sur les corps de nombres" [Límites de torsión de curvas elípticas sobre campos numéricos]. Inventiones Mathematicae (en francés). 124 (1): 437–449. Código Bib : 1996 InMat.124..437M. doi :10.1007/s002220050059. SEÑOR 1369424.
^ Faltings, Gerd (1983). "Endlichkeitssätze für abelsche Varietäten über Zahlkörpern" [Teoremas de finitud para variedades abelianas en campos numéricos]. Inventiones Mathematicae (en alemán). 73 (3): 349–366. Código Bib : 1983 InMat..73..349F. doi :10.1007/BF01388432. SEÑOR 0718935.
^ Faltings, Gerd (1984). "Errata: Endlichkeitssätze für abelsche Varietäten über Zahlkörpern". Inventiones Mathematicae (en alemán). 75 (2): 381. doi : 10.1007/BF01388572 . SEÑOR 0732554.