Simplest cubic fields with small class number

Titolo

Campi Cubici Più Semplici con Piccolo Numero di Classe

1. Il Problema

Lo studio si concentra sui campi cubici più semplici (simplest cubic fields), una famiglia specifica di campi numerici ciclici di grado 3 definiti da un polinomio parametrico.
Sia $m \in \mathbb{Z}$ un intero e sia $f_m(X) = X^3 - mX^2 - (m+3)X - 1$. Il campo $L_m = \mathbb{Q}(\alpha)$, dove $\alpha$ è una radice di $f_m(X)$, è chiamato campo cubico più semplice.
L'obiettivo principale degli autori è determinare e classificare tutti gli interi $m \ge -1$ per i quali il numero di classe $h_m$ del campo $L_m$ è "piccolo". Nello specifico, lo studio analizza due casi:

1. Il numero di classe $h_m \le 1000$.
2. Il numero di classe $h_m < 16$ (con un limite superiore per $m$ fino a $4 \cdot 10^6$).

Un aspetto cruciale è la relazione tra l'indice dell'anello degli interi $\mathcal{O}_{L_m}$ rispetto all'anello generato dalla radice $\mathbb{Z}[\alpha]$, denotato come $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$. Questo indice è legato alla fattorizzazione del discriminante $m^2 + 3m + 9$. Gli autori esaminano i casi in cui questo indice è 1, 3 o 27.

2. Metodologia

L'approccio combina teoria dei numeri analitica e computazionale:

• Fondamenti Teorici:

  • Utilizzo della formula del discriminante: $\text{disc}(f_m) = (m^2 + 3m + 9)^2 = d_m [\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]^2$.
  • Applicazione della formula del conduttore-discriminante per determinare il conduttore $f_m$ del campo.
  • Utilizzo di teoremi precedenti (di Gras, Washington, Lettl, Byeon, Hoshi) che forniscono condizioni necessarie per la struttura del gruppo di classe e limiti inferiori per il numero di classe basati sul conduttore.
  • Teorema di Lettl (1986): Fornisce un limite inferiore per $h_m$ in funzione del conduttore $f_m$ e del regolatore $R_m$. Questo permette di stabilire un limite superiore finito per $m$ quando $h_m$ è fissato (es. se $h_m \le 1000$, allora $m$ non può superare una certa soglia).

• Calcoli Computazionali (PARI/GP):

  • Gli autori hanno implementato script in PARI/GP per calcolare i numeri di classe e i gruppi di classe ideali per un vasto intervallo di $m$.
  • Per $m$ fino a circa $36.763$ (nel caso $h_m \le 1000$) e fino a $4 \cdot 10^6$ (nel caso $h_m < 16$), sono stati calcolati i campi $L_m$.
  • Verifica Unconditional: Sebbene i calcoli iniziali siano stati eseguiti sotto l'ipotesi della Generalized Riemann Hypothesis (GRH) (usando il comando bnfinit), gli autori hanno utilizzato il comando bnfcertify per verificare rigorosamente i risultati senza assumere la GRH, garantendo la correttezza assoluta dei dati presentati.

3. Contributi Chiave e Risultati

A. Classificazione per $h_m \le 1000$ (Teorema 1.12)

Gli autori hanno confermato che, fissato l'indice $[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]]$, esistono un numero finito di interi $m$ tali che $h_m \le 1000$. I risultati sono suddivisi in base all'indice:

1. Caso Monogenico ($[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]] = 1$):

   • Corrisponde a $m^2 + 3m + 9 = f_m$.
   • Esistono esattamente 581 interi $m \ge -1$ con $h_m \le 1000$.
   • Scomposizione: 1 caso per $m=0$ ($h=1$), 149 casi con conduttore primo ($h \equiv 1 \pmod 3$), 308 casi con conduttore composto da almeno due primi ($h \equiv 0 \pmod 3$), 56 casi con conduttore $9p$, e 67 casi con conduttore $9s$.

2. Caso Indice 3 ($[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]] = 3$):

   • Corrisponde a $m^2 + 3m + 9 = 3f_m$.
   • Esistono esattamente 80 interi $m \ge -1$ con $h_m \le 1000$.

3. Caso Indice 27 ($[\mathcal{O}_{L_m} : \mathbb{Z}[\alpha]] = 27$):

   • Corrisponde a $m^2 + 3m + 9 = 27f_m$.
   • Esistono esattamente 142 interi $m \ge -1$ con $h_m \le 1000$.

Il documento fornisce tabelle dettagliate che elencano esplicitamente tutti questi valori di $m$, il loro conduttore, la fattorizzazione di $m^2+3m+9$ e la struttura del gruppo di classe.

B. Classificazione per $h_m < 16$ (Teorema 1.13)

Per un intervallo più ampio ($-1 \le m \le 4 \cdot 10^6$), gli autori hanno identificato tutti i casi in cui il numero di classe è strettamente inferiore a 16.

• Totale: Esistono 137 interi $m$ in questo intervallo con $h_m < 16$.
• Distribuzione:
  • $h_m = 1$: 26 casi (inclusi $m = -1, 0, 1, 2, 3, 4, 7, 8, 10, 12, \dots$).
  • $h_m = 3$: 31 casi.
  • $h_m = 4$: 10 casi.
  • $h_m = 7$: 10 casi.
  • $h_m = 9$: 36 casi.
  • $h_m = 12$: 21 casi.
  • $h_m = 13$: 3 casi.
• Ipotesi GRH: Gli autori affermano che, sotto l'ipotesi della GRH, questi sono gli unichi valori di $m$ con $h_m < 16$ nell'intervallo considerato.

C. Correzioni e Dettagli

• Viene notata un'omissione nel lavoro precedente di Lettl (1986): il caso $m=12$ con $h_m=1$ nel caso di indice 27 era stato trascurato. Questo lavoro lo corregge e lo include esplicitamente.
• Vengono fornite le strutture esatte del gruppo di classe (es. $C_2 \times C_2$, $C_3 \times C_3$, ecc.) per molti dei casi trovati.

4. Significato e Impatto

• Completezza dei Dati: Questo studio fornisce la lista più completa e verificata di campi cubici ciclici con piccoli numeri di classe, aggiornando e correggendo risultati parziali precedenti (come quelli di Lettl, Byeon e Washington).
• Verifica Rigorosa: L'uso di bnfcertify in PARI/GP garantisce che i risultati non dipendano da congetture non dimostrate (come la GRH), rendendo i dati matematicamente solidi.
• Connessione con Equazioni di Thue: Il lavoro si inserisce nel contesto più ampio della risoluzione di equazioni di Thue e della classificazione delle coincidenze di campi ($L_m = L_n$). La comprensione dei numeri di classe piccoli è fondamentale per studiare l'isomorfismo tra campi e la struttura dei gruppi di unità.
• Risorse per la Ricerca: Le tabelle fornite (Tabella 1-7 e gli output PARI/GP) costituiscono una risorsa preziosa per i teorici dei numeri che studiano la distribuzione dei numeri di classe, la monogenicità degli anelli di interi e le proprietà dei campi ciclici.

In sintesi, Hoshi e Iida hanno completato un'indagine sistematica sui campi cubici più semplici con numeri di classe piccoli, fornendo una classificazione completa, verificata e priva di ambiguità per un vasto insieme di parametri, consolidando la nostra comprensione di questa famiglia specifica di campi numerici.