Effective surjectivity of Galois representations of products of elliptic curves over function fields

Stel je het universum van getallen voor als een uitgestrekte, bruisende stad waar elk geheel getal een geheime identiteit heeft. In deze stad zijn er speciale vormen genaamd "elliptische krommen". Denk aan deze niet als gladde, rollende heuvels, maar als ingewikkelde, lusvormige achtbanen die zeer strikte regels volgen. Deze vormen zijn de superhelden van de moderne getaltheorie omdat ze de sleutels vasthouden tot enkele van de diepste mysteries in de wiskunde, van de beroemde bewijsvoering van Fermats Laatste Stelling tot de beveiligingscodes die je online bankieren beschermen.

Stel je nu voor dat deze achtbanen een verborgen laag hebben van "torsiepunten"—kleine, onzichtbare passagiers die alleen in specifieke stoelen kunnen zitten. Wanneer je naar deze passagiers kijkt door een wiskundige lens die een "Galois-representatie" wordt genoemd, controleer je in feite of de beveiligingsbeambten (de symmetrieën van het getallensysteem) iedereen binnenlaten of dat ze bepaalde groepen blokkeren. De grote vraag die wiskundigen al decennia bezighoudt, is: "Hoe groot moet de groep passagiers zijn voordat de beveiligingsbeambten absoluut iedereen binnenlaten?" Als het antwoord "zeer groot" is, betekent dit dat het systeem maximaal chaotisch en onvoorspelbaar is, wat een goed ding is voor cryptografie en een fascinerend ding voor de zuivere wiskunde. Dit artikel duikt in een specifieke buurt van deze stad: de wereld van "functiekringen", die als achtbanen zijn gebouwd over een landschap van krommen in plaats van over een enkel punt. De auteurs willen weten of dezelfde regels voor "maximale beveiliging" van toepassing zijn wanneer je verschillende van deze achtbanen aan elkaar koppelt tot een enorme, meerkavel trein.

De auteurs van dit artikel, Alina Carmen Cojocaru en Frederick Saia (met hulp van Benjamin Bakker), hebben succesvol bewezen dat wanneer je verschillende niet-identieke elliptische krommen over deze specifieke functiekringen aan elkaar koppelt, de Galois-representaties "effectief surjectief" worden. In gewone taal betekent dit dat ze een specifieke, berekenbare drempelwaarde hebben gevonden. Als je naar de passagiers (de torsiepunten) kijkt voor een willekeurig priemgetal dat groter is dan deze drempelwaarde, zullen de beveiligingsbeambten iedereen binnenlaten; de afbeelding van de representatie zal zo groot zijn als wiskundig mogelijk is. Ze hebben dit niet zomaar geraden; ze hebben het bewezen met een rigoureus wiskundig argument.

Om tot deze conclusie te komen, moesten de onderzoekers een lastige puzzel oplossen die te maken heeft met "isogenieën". Je kunt een isogenie zien als een speciale brug die twee verschillende achtbanen met elkaar verbindt. Als twee achtbanen door zo'n brug verbonden zijn, delen ze een deel van hetzelfde geheime DNA. De auteurs moesten bewijzen dat deze bruggen niet willekeurig lang of complex kunnen zijn; er is een strikte limiet aan hoe "groot" een brug kan zijn tussen dit specifieke type krommen. Ze bouwden voort op eerder werk van andere wiskundigen (Griffon–Pazuki en Bakker–Tsimerman) om deze limieten voor de "bruglengte" vast te stellen. Door aan te tonen dat de bruggen kort en beheersbaar zijn, waren zij in staat om uit te sluiten dat de beveiligingsbeambten ooit in de war zouden raken of beperkt zouden worden in een manier die voorkomt dat ze iedereen binnenlaten.

Het artikel sluit expliciet de mogelijkheid uit dat de krommen "isotriviaal" zijn (dat wil zeggen dat ze slechts kopieën zijn van een enkele kromme die rondbewogen worden) of "isogeen" (dat wil zeggen dat ze te veel op elkaar lijken en te veel geheimen delen). Als de krommen te veel op elkaar lijken, zouden de beveiligingsbeambten misschien slechts een kleine, beperkte groep binnenlaten, en zou de "maximale chaos"-resultaat falen. De auteurs zijn zeer zeker van hun resultaat voor de specifieke voorwaarden die zij hebben gesteld: de krommen moeten verschillend, niet-identiek en gedefinieerd zijn over een functiering van een bepaald type. Ze beweren niet dat dit werkt voor elk mogelijk wiskundig landschap, maar wel voor de specifieke, goed gedefinieerde setting die zij hebben geconstrueerd.

Het meest opwindende deel van hun ontdekking is dat de drempelwaarde die zij vonden—het getal dat je moet overschrijden om maximale chaos te garanderen—alleen afhangt van de "genus" van de onderliggende krom. Denk aan de genus als het aantal gaten in een donut; een bol heeft nul gaten, een donut heeft één gat, een pretzel heeft drie gaten. De auteurs hebben gevonden dat de drempelwaarde uitsluitend wordt bepaald door deze "gatenaantal" en een paar andere constanten, maar dat het niet afhangt van de specifieke details van de individuele achtbanen of hoeveel van hen je aan elkaar koppelt. Dit is een krachtige vereenvoudiging. Het betekent dat ongeacht hoe complex je trein van elliptische krommen wordt, zolang het landschap waarop het rust een bepaalde vorm heeft, je precies weet hoe groot het priemgetal moet zijn om te garanderen dat het systeem volledig open is.

In hun bewijs moesten de auteurs voorzichtig zijn met een concept genaamd "biseparabiliteit", wat een chique manier is om te zeggen dat de bruggen tussen de krommen "schoon" moeten zijn en niet verstrengeld met de onderliggende rekenkunde van het veld. Ze hebben aangetoond dat voor de krommen die zij bestuderen, deze bruggen inderdaad schoon zijn. Ze moesten ook navigeren door een lastig gebied met betrekking tot "congruenties", wat als overeenkomende patronen tussen de passagiers van verschillende krommen kan worden gezien. Ze gebruikten een recent resultaat van Bakker en Tsimerman om te bewijzen dat deze overeenkomende patronen niet eeuwig kunnen doorgaan; uiteindelijk breken de patronen, wat ervoor zorgt dat de krommen voldoende verschillend blijven zodat de beveiligingsbeambten hun werk kunnen doen.

Het eindresultaat is een concreet getal, een "magische drempelwaarde" $c(g)$, die wordt berekend met een specifieke formule die de genus $g$ en een constante $N(g)$ bevat, afgeleid van het werk van Bakker en Tsimerman. Het artikel stelt dat voor elk priemgetal $\ell$ groter dan deze $c(g)$, de Galois-representatie surjectief is. De auteurs zijn zelfverzekerd over dit bewijs, aangezien zij gevestigde technieken uit de wereld van getalvelden hebben gebruikt en deze hebben aangepast aan de context van de functiekringen. Ze erkennen dat, hoewel de constante $N(g)$ momenteel niet in een eenvoudige, expliciete vorm beschikbaar is, het door hen gebouwde kader het mogelijk maakt om deze te berekenen indien nodig.

Dus, wat betekent dit voor een nieuwsgierige tiener? Het betekent dat er in het wiskundige universum regels zijn die bepalen hoe complexe systemen met elkaar interageren. Zelfs wanneer je vele complexe systemen op elkaar stapelt, is er een punt waarop de complexiteit zo rijk wordt dat het zich op de meest "willekeurige" en "vrije" manier gedraagt mogelijk is. De auteurs hebben een lijn in het zand getrokken en gezegd: "Voorbij dit punt is het systeem volledig open." Het is een beetje alsof je ontdekt dat ongeacht hoeveel mensen je uitnodigt voor een feestje, als de kamer groot genoeg is (de genus) en de gasten verschillend genoeg zijn (niet-isogeen), het feestje uiteindelijk een staat van perfecte, chaotische gezelligheid zal bereiken waarbij iedereen met iedereen kan dansen. Het artikel bewijst dat deze staat gegarandeerd is, mits je wacht op het juiste aantal gasten (het priemgetal) om aan te komen.