Geometrie aritmetică

ramură a geometriei algebrice axată pe probleme de teoria numerelor
Acest articol participă la Concursul de scriere. Ajutați la îmbunătățirea lui!

În matematică, geometria aritmetică reprezintă aplicarea tehnicilor din geometria algebrică la probleme din teoria numerelor.[1] Geometria aritmetică este centrată în jurul geometriei diofantice, studiul punctelor raționale ale varietăților algebrice.[2][3]

Curba hipereliptică definită de are doar un număr finit de puncte raționale (cum ar fi punctele și ) conform teoremei lui Faltings.

În termeni mai abstracți, geometria aritmetică poate fi definită ca studiul schemelor de tip finit pe spectrul inelului de întregi algebrici.[4]

Prezentare generală

modificare

Obiectele clasice de interes în geometria aritmetică sunt punctele raționale: mulțimi de soluții ale unui sistem de ecuații polinomiale peste corpuri de numere algebrice, corpuri finite, corpuri p-adice, sau corpuri de funcții, adică corpuri care nu sunt algebric închise excluzând numerele reale. Punctele raționale pot fi caracterizate direct prin funcții de înălțime care măsoară complexitatea lor aritmetică.[5]

Structura varietăților algebrice definite pe corpuri care nu sunt algebric închise a devenit o zonă centrală de interes care a apărut odată cu dezvoltarea abstractă modernă a geometriei algebrice. Peste corpuri finite, coomologia étale oferă invarianți topologici asociați varietăților algebrice.[6] Teoria Hodge p-adică oferă instrumente pentru a examina când proprietățile coomologice ale varietăților peste numerele complexe se extind la cele peste corpurile p-adice.[7]

Secolul al XIX-lea: geometria aritmetică timpurie

modificare

La începutul secolului al XIX-lea, Carl Friedrich Gauss a observat că există soluții întregi nenule pentru ecuații polinomiale omogene cu coeficienți raționali dacă există soluții raționale nenule.[8]

În anii 1850, Leopold Kronecker a formulat teorema Kronecker-Weber, a introdus teoria divizorilor și a făcut numeroase alte conexiuni între teoria numerelor și algebră. Apoi a conjecturat „liebster Jugendtraum” („cel mai drag vis al tinereții”), o generalizare care a fost prezentată ulterior de Hilbert într-o formă modificată drept a douăsprezecea problemă a sa, care conturează un obiectiv ca teoria numerelor să funcționeze numai cu inele care sunt câturi de inele de polinoame peste numere întregi.[9]

Prima jumătate a secolului al XX-lea: dezvoltări algebrice și conjecturile lui Weil

modificare

La sfârșitul anilor 1920, André Weil a demonstrat legături profunde între geometria algebrică și teoria numerelor cu lucrarea sa de doctorat ce a condus la teorema Mordell-Weil, care demonstrează că mulțimea de puncte raționale ale unei varietăți abeliene este un grup abelian finit generat.[10]

Bazele moderne ale geometriei algebrice au fost dezvoltate cu ajutorul algebrei comutative contemporane, inclusiv teoria valuării și teoria idealelor de către Oscar Zariski și alții în anii 1930 și anii 1940.[11]

În 1949, André Weil a formulat conjecturile lui Weil despre funcțiile zeta locale ale varietăților algebrice peste corpuri finite.[12] Aceste conjecturi au oferit un cadru între geometria algebrică și teoria numerelor care l-au propulsat pe Alexander Grothendieck să reformeze fundațiile folosind teoria fasciculelor (împreună cu Jean-Pierre Serre) și teoria schemelor mai târziu, în anii 1950 și 1960.[13] Bernard Dwork a demonstrat una dintre cele patru conjecturi ale lui Weil (raționalitatea funcției zeta locale) în 1960.[14] Grothendieck a dezvoltat teoria coomologiei étale pentru a demonstra două dintre conjecturile lui Weil (împreună cu Michael Artin și Jean-Louis Verdier) până în 1965.[6][15] Ultima dintre conjecturile lui Weil (un analog al ipotezei lui Riemann) a fost în cele din urmă demonstrată în 1974 de Pierre Deligne.[16]

A doua jumătate a secolului al XX-lea: dezvoltări în modularitate, metode p-adice și altele

modificare

Între 1956 și 1957, Yutaka Taniyama și Goro Shimura au formulat conjectura Taniyama-Shimura (cunoscută acum ca teorema de modularitate) care leagă curbele eliptice de formele modulare.[17][18] Această conexiune a dus în cele din urmă la prima demonstrație a ultimei teoreme a lui Fermat din teoria numerelor prin tehnici de geometrie algebrică de ridicare a modularității dezvoltate de Andrew Wiles în 1995.[19]

În anii 1960, Goro Shimura a introdus varietățile Shimura ca generalizări ale curbelor modulare.[20] Începând cu 1979, varietățile Shimura au jucat un rol crucial în programul Langlands ca un tărâm natural de exemple pentru testarea conjecturilor.[21]

În articole din 1977 și 1978, Barry Mazur a demonstrat conjectura de torsiune, oferind o listă completă a subgrupuri de torsiune posibile ale curbelor eliptice peste numerele raționale. Prima demonstrație a acestei teoreme a lui Mazur a depins de o analiză completă a punctelor raționale de pe anumite curbe modulare.[22][23] În 1996 demonstrația conjecturii de torsiune a fost extinsă la toate corpurile de numere algebrice de către Loïc Merel.[24]

În 1983, Gerd Faltings a demonstrat conjectura lui Mordell, demonstrând că o curbă de gen mai mare decât 1 are doar un număr finit de puncte raționale (unde teorema Mordell-Weil demonstrează doar finit generarea mulțimii de puncte raționale, în contrast cu finititudinea).[25][26]

În 2001, demonstrarea conjecturilor Langlands locale pentru GLn s-a bazat pe geometria anumitor varietăți Shimura.[27]

În anii 2010, Peter Scholze a dezvoltat spațiile perfectoide și noi teorii de coomologie în geometria aritmetică peste corpuri p-adice cu aplicații în reprezentările Galois și anumite cazuri ale conjecturii greutate-monodromie.[28][29]

  1. ^ Sutherland, Andrew V. (). „Introduction to Arithmetic Geometry” (PDF). Accesat în . 
  2. ^ Klarreich, Erica (). „Peter Scholze and the Future of Arithmetic Geometry”. Accesat în . 
  3. ^ Poonen, Bjorn (). „Introduction to Arithmetic Geometry” (PDF). Accesat în . 
  4. ^ Arithmetic geometry la nLab
  5. ^ Lang, Serge (). Survey of Diophantine Geometry. Springer-Verlag. pp. 43–67. ISBN 3-540-61223-8. 
  6. ^ a b Grothendieck, Alexander (). „The cohomology theory of abstract algebraic varieties”. Proc. Internat. Congress Math. (Edinburgh, 1958). Cambridge University Press. pp. 103–118. 
  7. ^ Serre, Jean-Pierre (). „Résumé des cours, 1965–66”. Annuaire du Collège de France. Paris: 49–58. 
  8. ^ Mordell, Louis J. (). Diophantine Equations. Academic Press. p. 1. ISBN 978-0125062503. 
  9. ^ Gowers, Timothy; Barrow-Green, June; Leader, Imre (). The Princeton companion to mathematics. Princeton University Press. pp. 773–774. ISBN 978-0-691-11880-2. 
  10. ^ A. Weil, L'arithmétique sur les courbes algébriques, Acta Math 52, (1929) p. 281-315, retipărit în vol. 1 din articolele sale colectate ISBN: 0-387-90330-5.
  11. ^ Zariski, Oscar () [1935]. Abhyankar, Shreeram S.; Lipman, Joseph; Mumford, David, ed. Algebraic surfaces. Classics in mathematics (ed. a doua suplimentată). Berlin, New York: Springer-Verlag. ISBN 978-3-540-58658-6. 
  12. ^ Weil, André (). „Numbers of solutions of equations in finite fields”. Bulletin of the American Mathematical Society. 55 (5): 497–508. doi:10.1090/S0002-9904-1949-09219-4. ISSN 0002-9904.  Retipărită în Oeuvres Scientifiques/Articole colectate de André Weil ISBN: 0-387-90330-5
  13. ^ Serre, Jean-Pierre (). „Faisceaux Algebriques Coherents”. The Annals of Mathematics. 61 (2): 197–278. doi:10.2307/1969915. JSTOR 1969915. 
  14. ^ Dwork, Bernard (). „On the rationality of the zeta function of an algebraic variety”. American Journal of Mathematics. American Journal of Mathematics, Vol. 82, No. 3. 82 (3): 631–648. doi:10.2307/2372974. ISSN 0002-9327. JSTOR 2372974. 
  15. ^ Grothendieck, Alexander () [1965]. „Formule de Lefschetz et rationalité des fonctions L”. Séminaire Bourbaki. 9. Paris: Société Mathématique de France. pp. 41–55. 
  16. ^ Deligne, Pierre (). „La conjecture de Weil. I”. Publications Mathématiques de l'IHÉS. 43 (1): 273–307. doi:10.1007/BF02684373. ISSN 1618-1913. 
  17. ^ Taniyama, Yutaka (). „Problem 12”. Sugaku (în japoneză). 7: 269. 
  18. ^ Shimura, Goro (). „Yutaka Taniyama and his time. Very personal recollections”. The Bulletin of the London Mathematical Society. 21 (2): 186–196. doi:10.1112/blms/21.2.186. ISSN 0024-6093. 
  19. ^ Wiles, Andrew (). „Modular elliptic curves and Fermat's Last Theorem” (PDF). Annals of Mathematics. 141 (3): 443–551. doi:10.2307/2118559. JSTOR 2118559. OCLC 37032255. Arhivat din original (PDF) la . Accesat în . 
  20. ^ Shimura, Goro (). The Collected Works of Goro Shimura. Springer Nature. ISBN 978-0387954158. 
  21. ^ Langlands, Robert (). „Automorphic Representations, Shimura Varieties, and Motives. Ein Märchen” (PDF). În Borel; Casselman. Automorphic Forms, Representations, and L-Functions: Symposium in Pure Mathematics. XXXIII Part 1. Chelsea Publishing Company. pp. 205–246. 
  22. ^ Mazur, Barry (). „Modular curves and the Eisenstein ideal”. Publications Mathématiques de l'IHÉS. 47 (1): 33–186. doi:10.1007/BF02684339. 
  23. ^ Mazur, Barry (). cu anexă de Dorian Goldfeld. „Rational isogenies of prime degree”. Inventiones Mathematicae. 44 (2): 129–162. Bibcode:1978InMat..44..129M. doi:10.1007/BF01390348. 
  24. ^ Merel, Loïc (). „Bornes pour la torsion des courbes elliptiques sur les corps de nombres” [Margini pentru torsiunea curbelor eliptice peste corpuri de numere]. Inventiones Mathematicae (în franceză). 124 (1): 437–449. Bibcode:1996InMat.124..437M. doi:10.1007/s002220050059. 
  25. ^ Faltings, Gerd (). „Endlichkeitssätze für abelsche Varietäten über Zahlkörpern” [Teoreme de finititudine pentru varietăți abeliene peste corpuri de numere]. Inventiones Mathematicae (în germană). 73 (3): 349–366. Bibcode:1983InMat..73..349F. doi:10.1007/BF01388432. 
  26. ^ Faltings, Gerd (). „Erratum: Endlichkeitssätze für abelsche Varietäten über Zahlkörpern”. Inventiones Mathematicae (în germană). 75 (2): 381. doi:10.1007/BF01388572. 
  27. ^ Harris, Michael; Taylor, Richard (). The geometry and cohomology of some simple Shimura varieties. Annals of Mathematics Studies. 151. Princeton University Press. ISBN 978-0-691-09090-0. 
  28. ^ „Fields Medals 2018”. International Mathematical Union. Accesat în . 
  29. ^ Scholze, Peter. „Perfectoid spaces: A survey” (PDF). Universitatea din Bonn. Accesat în .