Vermoeden van Birch en Swinnerton-Dyer
In de getaltheorie, een deelgebied van de wiskunde, relateert het vermoeden van Birch and Swinnerton-Dyer de rang van de abelse groep van de punten over een getallenlichaam van een elliptische kromme  met de orde van het nulpunt van de geassocieerde L-functie  in . Specifiek wordt vermoed dat de Taylorreeks van  in  gelijk is aan
,

waarin  is en  de rang van  over het lichaam/veld van de rationale getallen is.

De stand van zaken in 2014 is dat het vermoeden alleen is bewezen voor een aantal speciale gevallen, alle met rang kleiner dan of gelijk aan 1. Het vermoeden is dus sinds ongeveer veertig jaar een open probleem en heeft in die tijd veel onderzoek gestimuleerd; haar status als een van de meest uitdagende wiskundige vraagstukken is op grote schaal erkend. Het is een van de millenniumprijsproblemen van het Clay Mathematics Institute, welk instituut voor het eerste bewijs van het gehele vermoeden een prijs van 1.000.000 US$ heeft uitgeloofd.

Achtergrond 
In 1922 bewees Louis Mordell de stelling van Mordell: de groep van rationale punten op een elliptische kromme heeft een eindige basis. Dit betekent dat er voor elke elliptische kromme een eindige deelverzameling van de rationale punten op de kromme bestaat, van waaruit alle verdere rationale punten kunnen worden gegenereerd.

Als het aantal rationale punten op een kromme oneindig is dan moet enig punt in een eindige basis een oneindige orde hebben. Het aantal onafhankelijke basispunten met oneindige orde wordt de rang van de kromme genoemd. Deze rang van een kromme is een belangrijke invariante eigenschap van een elliptische kromme.

Als de rang van een elliptische kromme gelijk is aan 0 dan heeft de kromme slechts een eindig aantal rationale punten. Aan de andere kant, als de rang van de kromme groter is dan 0, dan heeft de kromme een oneindig aantal rationale punten.

Hoewel de stelling van Mordell laat zien dat de rang van een elliptische kromme altijd eindig is, geeft het geen effectieve methode om de rang van elke kromme te berekenen. De rang van bepaalde elliptische krommen kan worden berekend door gebruik te maken van numerieke methoden, maar (met de huidige stand van kennis) kunnen deze methoden niet worden veralgemeend om alle krommen te berekenen.

Een -functie  kan worden gedefinieerd voor een elliptische kromme  door de constructie van een euler-product uit het aantal punten op de kromme modulo elk priemgetal . Deze -functie is analoog aan de riemann-zèta-functie en de dirichlet-L-reeks, die is gedefinieerd voor een binaire kwadratische vorm. Het is een speciaal geval van een Hasse-Weil-L-functie.

De natuurlijke definitie van  convergeert alleen voor de waarden van  in het complexe vlak, waarvoor . Helmut Hasse vermoedde dat  door analytische voortzetting kan worden uitgebreid tot het gehele complexe vlak. Dit vermoeden werd door Max Deuring voor het eerst bewezen voor elliptische krommen met complexe vermenigvuldiging. Later werd aangetoond dat het vermoeden waar is voor alle elliptische krommen over , dit als een gevolg van de modulariteitsstelling.

Het vinden van rationale punten op een algemene elliptische kromme is een moeilijk probleem. Het vinden van de punten op een elliptische kromme modulo een gegeven priemgetal  is conceptueel eenvoudig, aangezien er slechts een eindig aantal mogelijkheden zijn om gecontroleerd te worden. Voor grote priemgetallen is dit echter een rekentechnisch intensief proces.

Geschiedenis 
In de vroege jaren 1960 maakte Peter Swinnerton-Dyer gebruik van de EDSAC computer aan het Computer labatorium van de Universiteit van Cambridge. Hij wilde het aantal punten modulo  (aangeduid door ) voor een groot aantal priemgetallen  berekenen op elliptische krommen, waarvan de rang bekend was. Uit deze numerieke resultaten leiden Bryan Birch en Peter Swinnerton-Dyer het vermoeden af dat  voor een kromme  met rang  gehoorzaamt aan een asymptotische wet

Aanvankelijk was dit op basis van enigszins vage trends in de grafieken; deze magere onderbouwing leidde aanvankelijk tot de nodige scepsis bij J. W. S. Cassels (de promotor van Birch). Na verloop van tijd hoopten de numerieke bewijzen zich echter op.

Dit leidde Birch en Swinnerton-Dyer tot het opstellen van een algemeen vermoeden over het gedrag van de -functie  van een kromme in , namelijk dat het een nulpunt van orde  op dit punt zou hebben. Dit was voor die tijd een vooruitziend vermoeden, gegeven dat de analytische voortzetting van  daar alleen was vastgesteld voor krommen met complexe vermenigvuldiging, welke krommen ook de belangrijkste bron van de numerieke voorbeelden waren. Merk op dat de reciproke van de -functie vanuit sommige gezichtspunten een meer natuurlijk object van onderzoek is; in dat geval dient men naar de polen in plaats van de nulpunten te kijken.

Het vermoeden werd vervolgens uitgebreid met de exacte voorspelling van de eerste Taylorreeks-coëfficiënt van de -functie in . Volgens het vermoeden is dit:

waarin de grootheden aan de rechterkant invarianten van de kromme zijn. Deze invarianten zijn bestudeerd door Cassels, Tate, Sjafarevitsj en anderen: zij omvatten onder andere de orde van de torsiegroep, de orde van de Tate-Shafarevich-groep en de kanonieke hoogten van een basis van rationele punten.

Huidige status 
Het vermoeden van Birch en Swinnerton-Dyer is tot op heden alleen voor speciale gevallen bewezen:

 In 1976 bewezen John Coates en Andrew Wiles dat als  een kromme is over een getallenlichaam  met complexe vermenigvuldiging door een imaginair kwadratisch lichaam/veld  van klassegetal 1,  of , en  is niet 0, dan heeft  slechts een eindig aantal rationale punten. Dit werd uitgebreid tot het geval waarin  een eindige abelse uitbreiding is van  door Nicole Arthaud-Kuhman, die een kantoor met Wiles deelde, toen beiden studenten van Coates waren op Stanford.
 In 1983 toonden Benedict Gross en Don Zagier aan dat als een modulaire elliptische kromme een eerste-orde nul heeft in , dan heeft de kromme een rationaal punt van oneindige orde (zie de stelling van Gross-Zagier).
 In 1990 liet Victor Kolyvagin zien dat een modulaire elliptische curve  waarvoor  niet nul is, rang 0 heeft, en een modulair elliptische curve  waarvoor , een eerste-orde nulpunt in  heeft van rang 1.
 In 1991 toonde Karl Rubin aan dat, als voor elliptische krommen over een imaginair kwadratisch lichaam/veld  met complexe vermenigvuldiging door , de -reeksen van de elliptische krommen niet nul zijn in , de -deel van de Tate-Shafarevich-groep de orde heft voorspeld door het vermoeden van Birch en Swinnerton-Dyer, voor alle priemgetallen .
 In 1999 bewezen Andrew Wiles, Christophe Breuil, Brian Conrad, Fred Diamond en Richard Taylor, dat alle elliptische krommen gedefinieerd over de rationale getallen modulair zijn (de stelling van Shimura-Taniyama), hetgeen de resultaten 2 en 3 uitbreidt tot alle elliptische krommen over de rationale getallen.
 Manjul Bhargava en Shankar bewezen in 2014, dat de gemiddelde rang van de Mordell–Weil groep van een elliptische kromme over  naar boven begrensd wordt door 7/6. Gecombineerd met de p-pariteitsstelling van Nekovář uit 2009 en Dokchitser uit 2010 en met het bewijs van het hoofdvermoeden van de Iwasawa theory voor  door Skinner en Urban uit 2014 besluiten ze dat een positieve fractie van elliptische krommen over  de analytische rang nul heeft, en dus volgens Kolyvagin 1989 voldoen aan het vermoeden van Birch and Swinnerton-Dyer.

Er is echter nog niets bewezen voor krommen met rang groter dan 1, hoewel er wel uitgebreide numerieke aanwijzingen bestaan dat het vermoeden van Birch en Swinnerton-Dyer waar is.

Prijs van het Clay Mathematics Institute 
Het vermoeden van Birch en Swinnerton-Dyer is een van de zeven millenniumproblemen, die zijn geselecteerd door het Clay Mathematics Institute. Dit instituut heeft een prijs van 1 miljoen dollar (US$) uitgeloofd voor het eerste bewijs van de hele vermoeden.

Voetnoten

Externe links 
  Vermoeden van Birch en Swinnerton-Dyer op MathWorld
  Vermoeden van Birch en Swinnerton-Dyer op PlanetMath
  Vermoeden van Birch en Swinnerton-Dyer: Een interview met Professor Henri Darmon door Agnes F. Beaudry
  QED - Millennium Prijs Problemen Wiki

Getaltheorie
Birch en Swinnerton