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

Sintesi Tecnica: Identificazione di Curve Ellittiche che Ammettono Infiniti Twist che Soddisfano la Congettura BSD

Enunciato del Problema
La congettura di Birch e Swinnerton-Dyer (BSD) rimane uno dei centrali problemi aperti della teoria dei numeri. Sebbene siano stati compiuti progressi probabilistici significativi riguardo al rango medio delle curve ellittiche (stabilendo che almeno il 66% soddisfa la parte relativa al rango), questi risultati non identificano curve specifiche in cui valga la congettura completa. Storicamente, esplicite famiglie infinite di curve che soddisfano la completa congettura BSD erano note principalmente per curve con Moltiplicazione Complessa (CM). Per le curve non-CM, il panorama è stato ampliato dal lavoro di Burungale–Skinner–Tian–Wan, i quali hanno dimostrato l'esistenza di infinite famiglie di twist quadratici di curve ellittiche non-CM che soddisfano la completa congettura BSD. Tuttavia, il loro lavoro forniva solo un elenco esplicito limitato (conduttore fino a 150) e non dettagliava la procedura algoritmica esplicita o l'implementazione necessaria per verificare le condizioni locali richieste per l'identificazione di tali curve.

Metodologia
Gli autori colmano il divario tra l'esistenza teorica e il calcolo esplicito traducendo le condizioni teoriche stabilite da Burungale–Skinner–Tian–Wan in algoritmi eseguibili. La metodologia procede in due fasi principali:

1. Filtraggio Algoritmico (Algoritmo 1): Gli autori codificano le ipotesi richieste affinché la parte-$p$ della congettura BSD valga per i twist quadratici di rango 0.

   • Primi Dispari ($p > 2$): Utilizzano i risultati di Skinner–Urban, Zhang e Burungale–Skinner–Tian–Wan per verificare la parte-$p$. Ciò comporta la verifica delle condizioni sulla rappresentazione di Galois $\rho_{E,p}$, l'esistenza di specifici primi ramificati e il comportamento della curva nei primi supersingolari.
   • Il Primo 2: Sintetizzano i risultati di [5] e [22] per stabilire le condizioni per la parte-2 della congettura BSD. Ciò richiede la verifica che il rango sia 0, la verifica della costante di Manin, l'analisi della struttura del 2-torsione $E(\mathbb{Q})[2]$ e il segno del discriminante. Vengono controllate condizioni specifiche per i casi in cui $E(\mathbb{Q})[2] \cong \mathbb{Z}/2\mathbb{Z}$ rispetto a $E(\mathbb{Q})[2] = 0$.
   • Implementazione: Questi controlli sono implementati in SageMath e applicati all'intero database LMFDB di curve ellittiche con conduttore $N < 500.000$.

2. Verifica dei Twist (Algoritmo 2): Per le curve che superano il filtro iniziale, gli autori implementano un secondo algoritmo per identificare specifici twist quadratici $E_d$ (nell'intervallo $[-1000, 1000]$) che soddisfano la completa congettura BSD. Ciò comporta la verifica delle condizioni locali sul parametro del twist $d$, come la prività rispetto ai quadrati (square-freeness), le condizioni di congruenza modulo 4 o 8, e il comportamento di scissione dei primi in specifici campi numerici.

Contributi Chiave

• Realizzazione Algoritmica Esplicita: Il contributo primario è la traduzione delle prove di esistenza non costruttive di Burungale–Skinner–Tian–Wan in algoritmi espliciti ed eseguibili (Algoritmo 1 e Algoritmo 2).
• Identificazione di un Ampio Database: Applicando questi algoritmi all'LMFDB, gli autori identificano 36.687 curve ellittiche con conduttore $N < 500.000$ che ammettono incondizionatamente infiniti twist quadratici che soddisfano la forte congettura BSD. Ciò rappresenta circa lo 0,1% di tutte le curve in tale intervallo.
• Raffinamento di Liste Esistenti: Gli autori chiariscono e raffinano la lista di curve fino al conduttore 150 presentata in [4, Esempio 1]. Dimostrano che quattro curve precedentemente elencate (62a1, 66b1, 105a1, 141c1) non soddisfano attualmente i criteri incondizionati a causa dell'assenza di teoremi applicabili per le loro specifiche strutture di 2-torsione e dell'inapplicabilità dei risultati di [5] (a causa dell'ordine di annullamento del valore-L).
• Analisi Statistica del Gruppo di Shafarevich–Tate: Utilizzando il nuovo dataset dove $|\text{Ш}(E_d)|$ è noto incondizionatamente, gli autori testano la congettura di Radziwiłł e Soundararajan riguardante la distribuzione gaussiana di $\log(|\text{Ш}(E_d)|/\sqrt{|d|})$.

Risultati

• Generazione del Dataset: Gli autori hanno prodotto un dataset di curve ellittiche e dei loro specifici twist dove la completa congettura BSD vale incondizionatamente. Questo dataset è unico perché l'ordine del gruppo di Shafarevich–Tate è derivato senza assumere la congettura BSD (poiché la congettura è dimostrata per queste specifiche famiglie).
• Verifica di Radziwiłł–Soundararajan (Caso Generico): Per i twist generici di una curva rappresentativa (46a1) con numero di radice +1, la distribuzione dei valori normalizzati converge a una distribuzione gaussiana standard $N(0,1)$, coerentemente con la congettura, sebbene si osservi una asimmetria (skewness) dovuta al campione finito.
• Osservazione di un Bias Sistematico (Sottofamiglia che soddisfa BSD): Restringendo l'analisi alla specifica sottofamiglia di twist che soddisfano la completa congettura BSD (denotata come $D_{BSD}$), la distribuzione devia significativamente dalla previsione generica. Gli autori osservano un bias positivo sistematico e uno spostamento verso una forma bimodale.
  • Causa del Bias: Questa deviazione è attribuita ai rigidi vincoli aritmetici che definiscono $D_{BSD}$ (ad esempio, $d$ deve essere positivo, $d \equiv 1 \pmod 8$, e i fattori primi devono scindersi in specifici campi numerici). Questi vincoli costringono i twist a risiedere in campi quadratici reali con specifici comportamenti di scissione, alterando la densità dei primi e il modello probabilistico sottostante rispetto al caso generico.

Significato e Rivendicazioni
Il documento sostiene di fornire la prima identificazione su larga scala e incondizionata di curve ellittiche non-CM che ammettono infinite famiglie di twist che soddisfano la congettura BSD. Passando dall'esistenza probabilistica all'enumerazione esplicita, gli autori creano un dataset unico per lo studio del gruppo di Shafarevich–Tate.

La significatività dei risultati statistici risiede nell'osservazione che, mentre la congettura di Radziwiłł–Soundararajan vale per le famiglie generiche, essa richiede una modifica (specificamente riguardo alla media e alla varianza) quando applicata a famiglie definite da rigidi vincoli aritmetici locali. Gli autori notano che questo non invalida la congettura, ma evidenzia la sua sensibilità alle restrizioni delle sottofamiglie. Suggeriscono che, con ulteriori dati, la distribuzione per la famiglia ristretta potrebbe comunque avvicinarsi a una forma gaussiana, sebbene con parametri differenti, richiedendo ulteriori indagini.

Il lavoro è supportato da un repository di codice pubblico costruito sull'infrastruttura LMFDB, che permette la riproduzione dell'identificazione di queste curve e la verifica delle affermazioni statistiche.