Andrew Wiles, modularitetsformodningen og Fermats siste sats

Transkript

1 Andrew Wiles, modularitetsformodningen og Fermats siste sats John Rognes Universitetet i Oslo Hamar, 15. september 2016

2 Andrew Wiles

3 Det Norske Videnskaps-Akademi har besluttet å tildele Abelprisen for 2016 til Sir Andrew J. Wiles, Universitetet i Oxford, for hans oppsiktsvekkende bevis av Fermats siste sats, ved hjelp av modularitetsformodningen for semistabile elliptiske kurver, noe som innledet en helt ny æra innen tallteorien.

4 Fermats siste sats Pytagoreiske tripler Fermats påstand Modularitetsformodningen Elliptiske kurver Punkt-telling Modulære former Fourier-koeffisienter Wiles bevis Freys kurve Galois-representasjoner Selmer-grupper

5 Plimpton 322 (fra Babylon, ca f.kr.)

6 = Den første linjen

7 Hele tall a, b, c med a 2 + b 2 = c 2 kalles pytagoreiske tripler. (Vi kan anta at a, b, c er relativt primiske, og at a er odde.) Teorem (Euklid) Ethvert slikt trippel kan skrives på formen a = p 2 q 2 b = 2pq c = p 2 + q 2 for hele tall p, q.

9 Pierre de Fermat ( )

10 Diofants Arithmetica, i latinsk oversettelse (1621)

11 ... cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.

12 Fermats påstand: Det finnes ingen naturlige tall a, b, c og n > 2, slik at a n + b n = c n. Bevis? Dette var den siste av Fermats påstander som forble ubevist derfor Fermats siste sats.

13 Hvis n = pm kan vi skrive om likningen som (a m ) p + (b m ) p = (c m ) p så det er tilstrekkelig å betrakte tilfellene n = 4, og n = p et vilkårlig odde primtall. Fermat kunne bevise tilfellet n = 4.

14 Sophie Germain ( ) Ernst Kummer ( ) Innen 1993 var Fermats påstand bevist for alle odde primtall p < Uendelig mange tilfeller stod igjen.

16 Niels Henrik Abels tegning av en lemniskate

17 Den første elliptiske kurven i naturen er gitt ved likningen E : y 2 + y = x 3 x 2. Reell løsningsmengde E(R) med (x, y) i R 2 P 2 (R)

18 Kompleks løsningsmengde E(C) med (x, y) i C 2 P 2 (C) Tre ulike tverrsnitt

20 Helmut Hasse ( )

21 For hvert primtall l gjør sum og produkt modulo l mengden F l = Z/(l) = {0, 1,..., l 1} til en kropp, dvs. et tallsystem med liknende egenskaper som R og C. Eksempel: F 3 = {0, 1, 2} har følgende addisjons- og multiplikasjonstabell (modulo 3)

22 Betrakt løsningene (x, y) i (F l ) 2 til likningen y 2 + y x 3 x 2 mod l. Eksempel: = 6 48 = mod 7 så (4, 2) E(F 7 ). y 2 y 4 y y x x x x Modulær løsningsmengde E(F l ) i F 2 l P2 (F l ) for l = 2, 3, 5, 7

23 La #E(F l ) = antallet punkter i E(F l ) og definer heltallet a l ved a l = (l + 1) #E(F l ). l #E(F l ) a l Tallene a l for y 2 + y = x 3 x 2

24 Følgen av tall a l = (l + 1) #E(F l ) husker hvor mange punkter den elliptiske kurven E har, med koordinater i F l, for hvert primtall l.

26 Symmetrier i det øvre halvplanet H (av T. Womack)

27 [ ] a b Gruppen av heltallsmatriser med ad bc = 1 virker c d som hyperbolske symmetrier på det øvre halvplanet ved formelen H = {z C im(z) > 0} z az + b cz + d. Hver ensfarget trekant sendes til hver annen slik trekant ved en av disse symmetriene.

28 En modulær form f (z) er en kompleks funksjon f : H C z f (z) som respekterer (mange av) de hyperbolske symmetriene.

29 Eksempel: La F(q) = q (1 q n ) 2 (1 q 11n ) 2 n=1 for q < 1, og la f (z) = F(q) for im(z) > 0, der q = e 2πiz. Da er f ( az + b cz + d ) = (cz + d)2 f (z) [ ] a b for enhver heltallsmatrise med ad bc = 1 og c 0 c d mod 11. f (z) er en modulær form av vekt 2 og nivå 11.

31 Potensrekken F(q) = b n q n n=1 kan skrives som en Fourier-rekke f (z) = b n e 2πinz. n=1 Tallene (b n ) n er Fourier-koeffisientene til den modulære formen.

32 Martin Eichler ( )

33 F(q) = q (1 q n ) 2 (1 q 11n ) 2 = n=1 b n q n n=1 = q 2q 2 q 3 + 2q 4 + q 5 + 2q 6 2q 7... er den første modulære formen av vekt 2 i naturen. Husk tabellen med antallet punkter med koordinater i F l for den elliptiske kurven E : y 2 + y = x 3 x: l #E(F l ) a l

34 F(q) = q (1 q n ) 2 (1 q 11n ) 2 = n=1 b n q n n=1 = q 2q 2 q 3 + 2q 4 + q 5 + 2q 6 2q 7... er den første modulære formen av vekt 2 i naturen. Husk tabellen med antallet punkter med koordinater i F l for den elliptiske kurven E : y 2 + y = x 3 x: l #E(F l ) a l

35 Teorem (Eichler (1954)) For den første elliptiske kurven E : y 2 + y = x 3 x 2 og den første modulære formen f (z) av vekt 2, holder likheten for hvert primtall l. a l = b l Vi sier at den elliptiske kurven E er modulær.

36 Yutaka Taniyama ( ) Goro Shimura

37 Formodning (Taniyama (1955), Shimura) For enhver elliptisk kurve E : y 2 + α 1 xy + α 3 y = x 3 + α 2 x 2 + α 4 x + α 6, med α 1,..., α 6 Q rasjonale tall, finnes det en modulær form f (z) av vekt 2, slik at a l = b l for (nesten) alle primtall l. Telling av punkter på kurven gir samme tallfølge som Fourier-koeffisientene til en modulær form.

38 André Weil ( ) [med Atle Selberg ( )]

39 Formodning (Hasse Weil (1967)) For enhver elliptisk kurve E definert over Q, med konduktør N, finnes det en modulær form f (z) av vekt 2 og nivå N, slik at a l = b l for alle primtall l som ikke deler N.

40 Ob die Dinge immer, d. h. für jede über Q definierte Kurve C, sich so verhalten, scheint im Moment noch problematisch zu sein und mag dem interessierten Leser als Übungsaufgabe empfohlen werden. André Weil (1966)

42 Gerhard Frey

43 Konstruksjon (Frey, 1984) La p 5. En løsning a p + b p = c p til Fermats likning gir opphav til en semistabil elliptisk kurve med usedvanlige egenskaper. E : y 2 = x(x a p )(x + b p ) Kurven E er ramifisert over 2, og flat over p, men ellers uramifisert.

44 Ken Ribet

45 Teorem (Ribet, 1986) De usedvanlige egenskapene gjør at Frey-kurven ikke er modulær. Kurven E ville svare til en kuspidal modulær form f (z) av vekt 2 og nivå 2, og det finnes ingen slike.

46 Andrew Wiles, 23. juni 1993

47 Teorem (Wiles, 1994) Enhver semistabil elliptisk kurve definert over Q er modulær. Modularitetsformodningen til Taniyama, Shimura og Weil holder i det semistabile tilfellet. Dette kalles nå Wiles modularitetsteorem.

48 Andrew Wiles, 23. juni 1993

49 Bevis av Fermats siste sats: Anta det finnes en løsning a p + b p = c p til Fermats likning, for p 5.

50 Bevis av Fermats siste sats: Anta det finnes en løsning a p + b p = c p til Fermats likning, for p 5. Frey (1984): Den hypotetiske løsningen gir opphav til en elliptisk kurve y 2 = x(x a p )(x + b p ) med usedvanlige egenskaper.

51 Bevis av Fermats siste sats: Anta det finnes en løsning a p + b p = c p til Fermats likning, for p 5. Frey (1984): Den hypotetiske løsningen gir opphav til en elliptisk kurve y 2 = x(x a p )(x + b p ) med usedvanlige egenskaper. Ribet (1986): De usedvanlige egenskapene gjør at Frey-kurven ikke er modulær.

52 Bevis av Fermats siste sats: Anta det finnes en løsning a p + b p = c p til Fermats likning, for p 5. Frey (1984): Den hypotetiske løsningen gir opphav til en elliptisk kurve y 2 = x(x a p )(x + b p ) med usedvanlige egenskaper. Ribet (1986): De usedvanlige egenskapene gjør at Frey-kurven ikke er modulær. Wiles (1994): Enhver elliptisk kurve er modulær.

53 Bevis av Fermats siste sats: Anta det finnes en løsning a p + b p = c p til Fermats likning, for p 5. Frey (1984): Den hypotetiske løsningen gir opphav til en elliptisk kurve y 2 = x(x a p )(x + b p ) med usedvanlige egenskaper. Ribet (1986): De usedvanlige egenskapene gjør at Frey-kurven ikke er modulær. Wiles (1994): Enhver elliptisk kurve er modulær. Dette er en selvmotsigelse.

54 Bevis av Fermats siste sats: Anta det finnes en løsning a p + b p = c p til Fermats likning, for p 5. Frey (1984): Den hypotetiske løsningen gir opphav til en elliptisk kurve y 2 = x(x a p )(x + b p ) med usedvanlige egenskaper. Ribet (1986): De usedvanlige egenskapene gjør at Frey-kurven ikke er modulær. Wiles (1994): Enhver elliptisk kurve er modulær. Dette er en selvmotsigelse. Altså finnes det ingen løsning til Fermats likning!

56 Andrew Wiles

57 Bevis av Wiles modularitetsteorem: Wiles oversetter spørsmålet om modularitet for en elliptisk kurve E til et spørsmål om modularitet for en p-adisk Galois-representasjon Reduksjonen ρ p : G Q GL 2(Z p ). ρ p : G Q GL 2(Z/p) uttrykker virkningen av Galois-substitusjonene σ G Q på gruppen E[p] = Z/(p) Z/(p) av p-torsjonspunkter på kurven E.

58 Q O P 3-torsjonspunkter på lemniskaten (reellt bilde)

59 Wiles utvikler en løftningsteknikk for modularitet: Teorem (Wiles, 1994) Dersom ρ er modulær og irredusibel, så er ρ modulær. ρ kalles en løftning av ρ. Beviset bruker Mazurs deformasjonsteori for Galois-representasjoner.

60 Barry Mazur

61 Teorem (Mazur, 1978) ρ p er irredusibel for p = 3 eller p = 5. Teorem (Langlands Tunnell, 1980/81) Dersom ρ 3 er irredusibel, så er ρ 3 modulær. Teorem (Wiles, 1993) Dersom ρ 3 er redusibel, så er ρ 5 modulær. Altså er ρ p modulær for p = 3 eller p = 5, så E er modulær. Q.E.D.

62 Robert Langlands Jerrold Tunnell

64 Ernst Selmer ( )

65 Bevis av Wiles løftningsteorem bygger på en beregning av ordenen til en såkalt Selmer-gruppe. Wiles opprinnelige bevis for dette (fra 1993) inneholdt en feil. Et korrekt bevis ble funnet i 1994 av Taylor og Wiles.

66 Richard Taylor

67 Goro Shimura