Vermoeden van Birch en Swinnerton-Dyer
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/62/BSD_data_plot_for_elliptic_curve_800h1.svg/260px-BSD_data_plot_for_elliptic_curve_800h1.svg.png)
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.[1]
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.[1]
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[2], 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.[3]
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.[4]
Voetnoten
- ↑ a b The Clay Math Institute Official Problem Description (pdf) door Andrew Wiles
- ↑ http://annals.math.princeton.edu/articles/8533
- ↑ http://homepages.warwick.ac.uk/~masgaj/papers/bsd50.pdf
- ↑ Het vermoeden van Birch en Swinnerton-Dyer op het Clay Mathematics Institute
Externe links
- (en) Vermoeden van Birch en Swinnerton-Dyer op MathWorld
- (en) Vermoeden van Birch en Swinnerton-Dyer op PlanetMath
- (en) Vermoeden van Birch en Swinnerton-Dyer[dode link]: Een interview met Professor Henri Darmon door Agnes F. Beaudry
- (en) QED - Millennium Prijs Problemen Wiki