Algebraïsche meetkunde: de wiskunde achter codes, cryptografie en snaartheorie
Stel je een cirkel voor. Op school leerde je die tekenen met een passer, maar wiskundig gezien is een cirkel ook gewoon de verzameling punten die voldoet aan de vergelijking x² + y² = 1. Algebraïsche meetkunde is het vakgebied dat precies dit soort verbanden onderzoekt: welke vormen ontstaan er als je de oplossingen van polynoomvergelijkingen (vergelijkingen met machten van x, y, z, enzovoort) tekent, en wat vertelt de algebra van die vergelijking je over de meetkunde van de vorm? Cirkels zijn simpel, maar dezelfde aanpak werkt ook voor veel ingewikkeldere objecten: kronkelende krommen, gebogen oppervlakken en abstracte ruimtes met tien of meer dimensies.
Waarom zou een nieuwssite over toekomsttechnologie hierover schrijven? Omdat algebraïsche meetkunde, hoewel ontstaan als pure wiskunde zonder praktisch doel, inmiddels de basis vormt onder technologie die we dagelijks gebruiken. De beveiliging van je bankapp en WhatsApp-berichten leunt op een speciaal soort kromme uit dit vakgebied. Ruimtevaartorganisaties gebruiken er foutcorrectiecodes mee om signalen van verre satellieten leesbaar te houden. En natuurkundigen gebruiken de meest exotische vormen uit dit veld om snaartheorie mee te bouwen. Het is wiskunde die zelden in de schijnwerpers staat, maar overal onder de motorkap zit.
Wat is het precies?
De basisstap is simpel: je schrijft één of meerdere polynoomvergelijkingen op en kijkt naar de verzameling punten die eraan voldoet. Zo'n verzameling heet een variëteit. Een rechte lijn, een cirkel, een parabool: dat zijn allemaal eenvoudige variëteiten in het platte vlak. Voeg een derde variabele toe en je krijgt oppervlakken in de ruimte, zoals een bol of een donutvorm.
Het interessante gebeurt wanneer je de algebra (de vergelijking zelf, en de verzameling van alle veelvouden en combinaties ervan, een zogeheten ideaal) gebruikt om iets te zeggen over de meetkunde (hoe de vorm eruitziet: heeft hij gaten, kruist hij zichzelf, hoeveel oplossingen zijn er). Andersom werkt het ook: meetkundige eigenschappen, zoals symmetrie of kromming, vertalen zich terug naar algebraïsche structuur. Deze twee-richtingsvertaling is de kern van het vak.
Een cruciaal voorbeeld is de elliptische kromme, een vergelijking van de vorm y² = x³ + ax + b. Op het eerste gezicht is dit maar een kromme, maar de punten erop kun je optellen volgens een vaste meetkundige regel (trek een lijn door twee punten, kijk waar die de kromme opnieuw snijdt, spiegel dat punt). Die optelling maakt van de kromme een wiskundige groep, en dat blijkt de deur te openen naar toepassingen in cryptografie, zoals verderop blijkt.
In de jaren zestig gaf de Franse wiskundige Alexander Grothendieck het vak een nieuwe, veel abstractere basis met de theorie van schema's. Simpel gezegd: schema's laten toe om ook "bijna-punten" en oneindig kleine afwijkingen mee te nemen in de wiskunde, wat het mogelijk maakte om algebraïsche meetkunde en getaltheorie (de leer van gehele getallen) met elkaar te verbinden. Deze herziening, vastgelegd in duizenden pagina's aan het Franse instituut IHÉS, geldt als een van de grootste omwentelingen in de twintigste-eeuwse wiskunde.
Wat wil men ermee bereiken?
Op het meest fundamentele niveau willen wiskundigen simpelweg begrijpen welke vormen kunnen ontstaan uit polynoomvergelijkingen, en die vormen classificeren en doorgronden. Dat klinkt abstract, maar dit soort puur nieuwsgierigheidsgedreven onderzoek heeft in de geschiedenis herhaaldelijk tot bruikbare inzichten geleid, vaak decennia later en op plekken die niemand had voorzien.
Een concreet doel is het oplossen van hardnekkige problemen in de getaltheorie: vragen over gehele getallen die zich laten vertalen naar vragen over meetkundige vormen. Een ander doel, met veel directere technologische relevantie, is het ontwerpen van cryptografische systemen die met kortere sleutels toch even veilig zijn als klassieke methodes, en het ontwerpen van foutcorrectiecodes die efficiënter zijn dan hun voorgangers. Ten slotte gebruiken theoretisch natuurkundigen de meest exotische variëteiten als bouwstenen voor modellen van de werkelijkheid op de kleinste schaal, in de hoop dieper te begrijpen hoe ruimte en materie in elkaar zitten.
Voorbeelden uit de praktijk
De vertaalslag van pure wiskunde naar toepassing is bij dit vakgebied ongewoon concreet aan te wijzen. Een paar voorbeelden:
- Elliptic curve cryptography (vanaf midden jaren tachtig, breed uitgerold vanaf de jaren 2000): de optelregel op elliptische krommen levert een wiskundig probleem op dat makkelijk is om te controleren maar extreem lastig om te kraken. Bitcoin gebruikt sinds 2009 de kromme secp256k1 om transacties te ondertekenen, en Curve25519, ontworpen door wiskundige Daniel Bernstein in 2005, wordt gebruikt in Signal, WhatsApp en de meeste moderne HTTPS-verbindingen.
- Het bewijs van de Laatste Stelling van Fermat door Andrew Wiles (1994): deze eeuwenoude vraag over gehele getallen bleek op te lossen via een diepe connectie tussen elliptische krommen en zogeheten modulaire vormen, een van de bekendste triomfen van moderne algebraïsche meetkunde en getaltheorie samen.
- Algebraïsch-meetkundige codes (Goppa-codes, 1981; verbeterd door Tsfasman, Vladut en Zink in 1982): door punten op speciale krommen te gebruiken, construeerden wiskundigen foutcorrectiecodes die beter presteerden dan wat daarvoor mogelijk werd geacht. Dit soort codes ligt aan de basis van technieken die worden gebruikt om data betrouwbaar te versturen over ruisgevoelige verbindingen, zoals communicatie met ruimtesondes.
- De val van SIKE (2022): onderzoekers Wouter Castryck en Thomas Decru van de KU Leuven kraakten SIKE, een veelbelovende kandidaat voor post-quantumcryptografie gebaseerd op zogeheten isogenieën tussen elliptische krommen, met een klassieke algebraïsch-meetkundige truc. Het Amerikaanse standaardisatie-instituut NIST had SIKE tot dan toe als serieuze kandidaat meegenomen. Dit voorbeeld laat zien dat hetzelfde vakgebied zowel cryptografie kan bouwen als breken.
- Calabi-Yau-variëteiten in snaartheorie (sinds eind jaren tachtig, met een sleutelresultaat van Philip Candelas en collega's in 1991 over "spiegelsymmetrie"): in sommige versies van snaartheorie worden de extra dimensies die de theorie voorspelt, wiskundig beschreven met deze complexe zesdimensionale vormen. Spiegelsymmetrie, een verrassend verband tussen paren van zulke vormen, bleek berekeningen mogelijk te maken die zowel wiskundigen als natuurkundigen daarvoor voor onmogelijk hielden.
Hoe ver is de techniek?
Algebraïsche meetkunde zelf is geen technologie die "klaar" moet worden ontwikkeld, het is een levend onderzoeksveld in de wiskunde dat al meer dan een eeuw in ontwikkeling is en dat nog altijd in hoog tempo groeit, met duizenden nieuwe artikelen per jaar. Sommige deelvragen zijn extreem hardnekkig: de Hodge-vermoeden, een van de zeven Millennium-problemen van het Clay Mathematics Institute waarop een miljoen dollar staat, gaat over de structuur van bepaalde algebraïsche variëteiten en staat sinds 2000 nog altijd open.
De toepassingen verschillen sterk in volwassenheid. Elliptic curve cryptography is inmiddels decennia in gebruik, grondig doorgelicht en de facto standaard in beveiligingsprotocollen wereldwijd. Isogenie-gebaseerde post-quantumcryptografie daarentegen bleek, zoals het SIKE-voorbeeld laat zien, minder volwassen dan gedacht: een aanval in 2022 zette jaren onderzoek in één klap op losse schroeven. Dat is geen falen van het vakgebied, maar een normaal onderdeel van hoe cryptografisch onderzoek werkt: aannames worden getest, en soms sneuvelen ze.
Op computationeel vlak is er ook duidelijke vooruitgang: software zoals Macaulay2, Singular en Bertini maakt het mogelijk om steeds grotere algebraïsche systemen daadwerkelijk door te rekenen, iets wat vroeger alleen met de hand of helemaal niet kon. Toch blijven veel berekeningen in de praktijk onhaalbaar omdat de rekentijd exponentieel kan oplopen naarmate het aantal variabelen groeit. Kortom: het fundamentele onderzoek is springlevend, sommige toepassingen zijn kraakhelder bewezen technologie, en andere, zoals post-quantumcryptografie op basis van isogenieën, bevinden zich nog volop in de testfase.
Wie werken eraan?
Op het puur wiskundige vlak lopen instituten in Frankrijk voorop, met name het IHÉS (Institut des Hautes Études Scientifiques) bij Parijs, de bakermat van Grothendiecks werk, naast sterke groepen aan universiteiten als Paris-Saclay en de Sorbonne. Daarnaast spelen het Max Planck Institute for Mathematics in Bonn, het Institute for Advanced Study in Princeton en universiteiten als Harvard, Oxford, Warwick, Kyoto en Tokio een grote rol. Het Clay Mathematics Institute houdt met zijn Millennium-problemen de belangrijkste openstaande vragen op de agenda.
Op de toegepaste, cryptografische kant zijn het vooral universitaire onderzoeksgroepen die de toon zetten, zoals de groep aan de KU Leuven in België die SIKE kraakte, samen met onderzoekers verbonden aan bedrijven als IBM Research en Microsoft Research, die actief onderzoek doen naar zowel elliptische-krommen- als isogenie-cryptografie. Standaardisatie en toetsing van deze technieken gebeurt via het Amerikaanse NIST (National Institute of Standards and Technology), dat sinds 2016 een langlopend traject leidt om cryptografie te selecteren die ook tegen toekomstige kwantumcomputers bestand is. Landen als de Verenigde Staten, Frankrijk, Duitsland, Japan en in toenemende mate China investeren structureel in zowel de fundamentele als de toegepaste kant van dit onderzoek.