On the Identification of Elliptic Curves That Admit Infinitely Many Twists Satisfying the Birch-Swinnerton-Dyer Conjecture

Technische Samenvatting: Identificatie van Elliptische Curven die Oneindig Veel BSD-voldoende Twists Toelaten

Probleemstelling
De Birch en Swinnerton-Dyer (BSD) vermoeden blijft een van de centrale openstaande problemen in de getaltheorie. Hoewel er aanzienlijke probabilistische vooruitgang is geboekt met betrekking tot de gemiddelde rang van elliptische curven (waarbij is vastgesteld dat ten minste 66% voldoet aan het rang-gedeelte van het vermoeden), identificeren deze resultaten geen specifieke curven waar de volledige BSD-conjectuur geldt. Historisch gezien waren expliciete oneindige families van curven die aan de volledige BSD-conjectuur voldoen, voornamelijk bekend voor curven met Complex Multiplicatie (CM). Voor niet-CM curven werd het landschap uitgebreid door het werk van Burungale–Skinner–Tian–Wan, die het bestaan bewezen van oneindige families van kwadratische twists van niet-CM elliptische curven die voldoen aan de volledige BSD-conjectuur. Hun werk bood echter slechts een beperkte expliciete lijst (conductor tot 150) en detailserde niet de vereiste expliciete algoritmische procedure of implementatie die nodig is om de noodzakelijke lokale condities te verifiëren voor het identificeren van dergelijke curven.

Methodologie
De auteurs overbruggen de kloof tussen theoretisch bestaan en expliciete berekening door de theoretische condities vastgesteld door Burungale–Skinner–Tian–Wan te vertalen naar uitvoerbare algoritmen. De methodologie verloopt in twee hoofdfasen:

1. Algoritmische Filtering (Algoritme 1): De auteurs coderen de hypothesen die vereist zijn voor het $p$-deel van de BSD-conjectuur voor rank 0 kwadratische twists.

   • Oneven Priemen ($p > 2$): Zij maken gebruik van resultaten van Skinner–Urban, Zhang, en Burungale–Skinner–Tian–Wan om het $p$-deel te verifiëren. Dit omvat het controleren van condities op de Galois-representatie $\rho_{E,p}$, het bestaan van specifieke ramifieerde priemgetallen, en het gedrag van de curve bij supersinguliere priemgetallen.
   • Het Priemgetal 2: Zij synthetiseren resultaten uit [5] en [22] om de condities voor het 2-deel van de BSD-conjectuur vast te stellen. Dit vereist het verifiëren dat de rang 0 is, het controleren van de Manin-constante, en het analyseren van de 2-torsie structuur $E(\mathbb{Q})[2]$ en de discriminant-teken. Specifieke condities worden gecontroleerd voor gevallen waarbij $E(\mathbb{Q})[2] \cong \mathbb{Z}/2\mathbb{Z}$ versus $E(\mathbb{Q})[2] = 0$.
   • Implementatie: Deze controles zijn geïmplementeerd in SageMath en toegepast op de gehele LMFDB-database van elliptische curven met conductor $N < 500.000$.

2. Twist Verificatie (Algoritme 2): Voor curven die de initiële filter passeren, implementeren de auteurs een tweede algoritme om specifieke kwadratische twists $E_d$ (binnen een bereik $[-1000, 1000]$) te identificeren die aan de volledige BSD-conjectuur voldoen. Dit omvat het verifiëren van lokale condities op de twist-parameter $d$, zoals vrijheid van kwadratische factoren (square-freeness), congruentiecondities modulo 4 of 8, en het splitsingsgedrag van priemgetallen in specifieke getalvelden.

Belangrijkste Bijdragen

• Expliciete Algoritmische Realisatie: De primaire bijdrage is de vertaling van de niet-constructieve existentiebewijzen van Burungale–Skinner–Tian–Wan naar expliciete, uitvoerbare algoritmen (Algoritme 1 en Algoritme 2).
• Uitgebreide Database Identificatie: Door hun algoritmen toe te passen op de LMFDB, identificeren de auteurs 36.687 elliptische curven met conductor $N < 500.000$ die onvoorwaardelijk oneindig veel kwadratische twists toelaten die voldoen aan de sterke BSD-conjectuur. Dit vertegenwoordigt ongeveer 0,1% van alle curven in dat bereik.
• Verfijning van Bestaande Lijsten: De auteurs verhelderen en verfijnen de lijst van curven tot conductor 150 gepresenteerd in [4, Voorbeeld 1]. Zij tonen aan dat vier eerder vermelde curven (62a1, 66b1, 105a1, 141c1) momenteel niet voldoen aan de onvoorwaardelijke criteria vanwege de afwezigheid van toepasbare stellingen voor hun specifieke 2-torsie structuren en de onbruikbaarheid van resultaten uit [5] (vanwege de orde van verandering van de L-waarde).
• Statistische Analyse van de Shafarevich–Tate Groep: Gebruikmakend van de nieuw geïdentificeerde dataset waar $|\text{Ш}(E_d)|$ onvoorwaardelijk bekend is, testen de auteurs de conjectuur van Radziwiłł en Soundararajan met betrekking tot de Gaussische distributie van $\log(|\text{Ш}(E_d)|/\sqrt{|d|})$.

Resultaten

• Dataset Generatie: De auteurs hebben een dataset gegenereerd van elliptische curven en hun specifieke twists waar de volledige BSD-conjectuur onvoorwaardelijk geldt. Deze dataset is uniek omdat de orde van de Shafarevich–Tate groep wordt afgeleid zonder de BSD-conjectuur aan te nemen (aangezien de conjectuur voor deze specifieke families bewezen is).
• Verificatie van Radziwiłł–Soundararajan (Generiek Geval): Voor generieke twists van een representatieve curve (46a1) met wortelteken +1, convergeert de distributie van genormaliseerde waarden naar een standaard Gaussische distributie $N(0,1)$, consistent met de conjectuur, hoewel er eind-steekproef scheefheid (skewness) wordt waargenomen.
• Observatie van Systematische Bias (BSD-voldoende Subfamilie): Wanneer de analyse wordt beperkt tot de specifieke subfamilie van twists die aan de volledige BSD-conjectuur voldoen (aangeduid als $D_{BSD}$), wijkt de distributie significant af van de generieke voorspelling. De auteurs observeren een systematische positieve bias en een verschuiving naar een bimodale vorm.
  • Oorzaak van de Bias: Deze afwijking wordt toegeschreven aan de rigide arithmetische restricties die $D_{BSD}$ definiëren (bijv. $d$ moet positief zijn, $d \equiv 1 \pmod 8$, en priemfactoren moeten splitsen in specifieke getalvelden). Deze restricties dwingen de twists om in reële kwadratische velden te liggen met specifieke splitsingsgedragingen, wat de dichtheid van priemgetallen en het onderliggende probabilistische model vergeleken met het generieke geval verandert.

Betekenis en Claims
Het artikel beweert de eerste grootschalige, onvoorwaardelijke identificatie te bieden van niet-CM elliptische curven die oneindige families van BSD-voldoende twists toelaten. Door van probabilistisch bestaan naar expliciete enumeratie te gaan, creëren de auteurs een unieke dataset voor het bestuderen van de Shafarevich–Tate groep.

De betekenis van de statistische bevindingen ligt in de observatie dat hoewel de Radziwiłł–Soundararajan conjectuur geldt voor generieke families, deze modificatie vereist (specifiek met betrekking tot gemiddelde en variantie) wanneer deze wordt toegepast op families die worden gedefinieerd door strikte lokale arithmetische condities. De auteurs merken op dat dit de conjectuur niet ongeldig maakt, maar de gevoeligheid ervan voor subfamilie-restricties benadrukt. Zij suggereren dat met meer data de distributie voor de beperkte familie nog steeds een Gaussische vorm zou kunnen benaderen, zij het met andere parameters, wat verdere investigatie rechtvaardigt.

Het werk wordt ondersteund door een publieke code-repository gebouwd op de LMFDB-infrastructuur, waardoor de identificatie van deze curven en de verificatie van de statistische claims reproduceerbaar zijn.