The Northcott Property for Composites of Number Fields of Bounded Degree

Sintesi Tecnica: La Proprietà di Northcott per i Compositi di Campi di Numeri di Grado Limitato

Enunciato del Problema
Il lavoro affronta la proprietà di Northcott (N) per estensioni algebriche infinite di campi di numeri. Un insieme di numeri algebrici $A$ possiede la proprietà (N) se, per ogni numero reale $T > 0$, il sottoinsieme $A(T) = \{ \alpha \in A : h(\alpha) < T \}$ è finito, dove $h(\alpha)$ denota l'altezza di Weil logaritmica assoluta. Sebbene il teorema classico di Northcott garantisca tale proprietà per insiemi di grado limitato, essa non si estende automaticamente alle estensioni infinite.

Il problema specifico trattato qui riguarda il campo $K(d)$, definito come il composito di tutte le estensioni di un campo di numeri $K$ di grado al più $d$. Nel loro lavoro seminale [BZ01], Bombieri e Zannier hanno dimostrato che il sottocampo $K(d)_{ab}$ (il composito di tutte le estensioni abeliane all'interno di $K(d)$) soddisfa la proprietà (N). Hanno lasciato aperta la questione se il campo completo $K(d)$ soddisfi la proprietà (N) per $d > 2$. Questo lavoro fornisce una risposta affermativa a tale questione.

Metodologia e Quadro Teorico
La strategia di dimostrazione estende l'approccio di Bombieri e Zannier ma richiede di superare la mancanza di commutatività nel gruppo di Galois di $K(d)$. La metodologia si basa su tre pilastri principali:

1. Esponente Finito dei Gruppi di Galois: Il lavoro stabilisce che il gruppo di Galois $\text{Gal}(K(d)/K)$ ha esponente finito. Questa è una proprietà strutturale cruciale, poiché implica che il comportamento di ramificazione dei primi in queste estensioni è vincolato.
2. Teorema di Segal sui Gruppi Pro-finiti: La novità centrale dell'approccio è l'applicazione di un teorema di Segal [Seg18] riguardante i gruppi pro-finiti "piccoli". Un gruppo pro-finito $P$ è piccolo se possiede solo un numero finito di sottogruppi aperti di indice $n$ per ogni $n$. Il teorema di Segal afferma che $P$ è piccolo se e solo se $P^m$ (il sottogruppo generato dalle potenze $m$-esime) è aperto per ogni $m$. Ciò permette agli autori di dimostrare che il composito di tutte le estensioni di Galois di $K$ non ramificate fuori da un insieme finito di primi $S$ con esponente limitato è un'estensione finita, anche senza assumere che le estensioni siano abeliane.
3. Analisi della Ramificazione e Limiti sull'Altezza: La dimostrazione adatta l'analisi locale utilizzata da Bombieri e Zannier. Assumendo che il campo base contenga le radici dell'unità necessarie, gli autori analizzano gli indici di ramificazione dei primi nel campo di spezzamento di un elemento $\alpha$. Utilizzando il lemma di Abhyankar, relazionano la ramificazione all'esponente del gruppo di Galois. Derivano limiti sui primi che possono ramificare nell'estensione generata da $\alpha$ basandosi sull'altezza $h(\alpha)$ e sull'esponente $D$.

Risultati Chiave
Il lavoro presenta due teoremi principali:

• Teorema 1: Sia $K$ un campo di numeri e $M/K$ un'estensione di Galois algebrica infinita tale che $\text{Gal}(M/K)$ abbia esponente finito. Allora $M$ possiede la proprietà di Northcott.

  • Schema di dimostrazione: Gli autori mostrano che per ogni $\alpha \in M$ con altezza limitata, il campo di spezzamento $L$ di $\alpha$ deve essere non ramificato fuori da un insieme finito di primi determinato dall'altezza e dall'esponente. Per il Teorema 2 (di seguito), esistono solo un numero finito di tali estensioni $L$ di grado limitato. Poiché il grado e l'altezza di $\alpha$ sono limitati, esistono solo un numero finito di tali $\alpha$.

• Teorema 2: Sia $K$ un campo di numeri, $S$ un insieme finito di primi contenente quelli che ramificano in $K$, e $D \in \mathbb{N}$. Esistono solo un numero finito di campi di numeri $F$ tali che $F/K$ è un'estensione di Galois non ramificata fuori da $S$ con un gruppo di Galois di esponente $D$.

  • Significato: Questo risultato generalizza la finitezza delle estensioni abeliane alle estensioni non abeliane sotto il vincolo di esponente finito, utilizzando il teorema di Segal per dimostrare che il gruppo di Galois associato è finito.

• Corollario 1: Per ogni campo di numeri $K$ e intero positivo $d$, il campo $K(d)$ (il composito di tutte le estensioni di grado $\le d$) possiede la proprietà di Northcott.

  • Ragionamento: Il gruppo di Galois $\text{Gal}(K(d)/K)$ ha esponente finito (in particolare, l'esponente divide il minimo comune multiplo degli interi fino a $d$). Pertanto, il Teorema 1 si applica direttamente.

Significato e Affermazioni
Il lavoro afferma che il suo contributo principale è la risoluzione affermativa della questione posta da Bombieri e Zannier riguardante $K(d)$ per $d > 2$. Gli autori sottolineano che la novità risiede nell'applicazione del teorema di Segal sui gruppi pro-finiti per gestire il caso non abeliano, mentre i risultati precedenti si basavano sulla natura abeliana delle estensioni.

Inoltre, il lavoro nota una conseguenza per la logica matematica. Citando Vidaux e Videla [VV16], gli autori affermano che ogni sottogruppo di un anello di interi totalmente reali con la proprietà (N) ha una teoria del primo ordine indecidibile. Di conseguenza, il Corollario 1 implica che il composito di tutte le estensioni totalmente reali di $\mathbb{Q}$ di grado al più $d$ ha una teoria del primo ordine indecidibile, risolvendo la Domanda 5 in [VV16].

Gli autori mantengono un tono modesto riguardo alla dimostrazione del Teorema 2, notando che essa si basa pesantemente sulla classificazione dei gruppi semplici finiti (tramite il lavoro di Segal) e suggerendo che una dimostrazione più semplice, indipendente da tale classificazione, sarebbe di interesse.