The classification of real quadratic fields which satisfy Hammarhjelm's condition

Sintesi Tecnica: La Classificazione dei Campi Quadratici Reali che Soddisfano la Condizione di Hammarhjelm

Enunciato del Problema
Questo articolo affronta la classificazione dei campi quadratici reali $K = \mathbb{Q}(\sqrt{D})$ (dove $D > 1$ è privo di quadrati) che soddisfano la "condizione di Hammarhjelm". Un campo soddisfa questa condizione se vengono rispettati due criteri:

1. L'anello degli interi $\mathcal{O}_K$ possiede la fattorizzazione unica (ovvero il numero di classe $h_K = 1$).
2. Il reticolo di Minkowski $f(\mathcal{O}_K) \subset \mathbb{R}^2$, definito dall'embedding $\alpha \mapsto (\alpha, \sigma(\alpha))$, non contiene punti all'interno del rettangolo aperto $(1, \lambda) \times (-1, 1)$, dove $\lambda > 1$ è l'unità fondamentale di $K$.

Questi campi sono comparsi recentemente nello studio dei punti visibili nei set di tipo "cut-and-project" algebrici. Prima di questo lavoro, gli esempi noti erano limitati a $D \in \{2, 5, 13, 29, 53\}$. L'obiettivo è determinare l'elenco completo di tali campi.

Metodologia
La dimostrazione procede stabilendo una relazione tra la condizione di Hammarhjelm e la dimensione dell'unità fondamentale rispetto al discriminante, seguita da un'analisi caso per caso tramite la teoria del genere e le classificazioni esistenti dei campi con numero di classe uno.

1. Limitazione dell'Unità Fondamentale:
   L'autore dimostra prima che la condizione di Hammarhjelm impone che l'unità fondamentale $\lambda$ sia piccola rispetto al discriminante $\Delta_K$.

• Se $D \equiv 2, 3 \pmod 4$, allora $\lambda < 2\sqrt{D} = \sqrt{\Delta_K}$.
• Se $D \equiv 1 \pmod 4$, allora $\lambda < \frac{\sqrt{D}+1}{2} = \frac{\sqrt{\Delta_K}+1}{2}$.
  Questo limite è derivato dalla costruzione di elementi specifici in $\mathcal{O}_K$ che cadrebbero nel rettangolo proibito se $\lambda$ fosse più grande.

2. Teoria del Genere e Gruppi di Classe Stretti:
   Il documento utilizza la teoria del genere per restringere i possibili discriminanti per i campi con numero di classe uno. Nello specifico, il numero di classe stretto $h_K^+$ è divisibile per $2^{r(K)-1}$, dove $r(K)$ è il numero di fattori primi distinti di $\Delta_K$. Per $h_K=1$, ciò implica che $r(K) \le 2$.

• Il caso $r(K)=2$ con $D \equiv 1 \pmod 4$ (dove $\Delta_K = pq$) viene analizzato tramite il 4-rango del gruppo di classe stretto (tramite matrici di Rédei). Si dimostra che se $p, q \equiv 1 \pmod 4$ e $q = p+4$, il 4-rango è 1, il che implica $h_K > 1$.

3. Classificazione per Tipo di Discriminante:
   La dimostrazione divide il problema in base alla congruenza di $D$ modulo 4:

• $D \equiv 2, 3 \pmod 4$: L'autore mostra che nessun campo di questo tipo soddisfa la condizione per $D > 2$. Per $D=2$, la condizione è soddisfatta. Per $D \equiv 3 \pmod 4$, l'assenza di unità con norma negativa e il limite su $\lambda$ portano a una contraddizione per ogni primo $D$.
• $D \equiv 1 \pmod 4$:
  • Discriminante Primo ($D=p$): Il limite su $\lambda$ forza l'unità fondamentale ad avere norma $-1$, collocando $D$ nella forma $D = (2m+1)^2 + 4$. Questo identifica i campi come un sottoinsieme della famiglia di Yokoi.
  • Discriminante Composto ($D=pq$): L'analisi esclude i casi in cui $p, q \equiv 1 \pmod 4$ (a causa dell'argomento sul 4-rango) e i casi in cui $p, q \equiv 3 \pmod 4$ (che rientrano nella famiglia "Richaud-Degert stretta", che si è dimostrato fallire la Condizione H per $D > 5$).

4. Applicazione della Classificazione di Biró:
   Per i campi identificati come appartenenti alla famiglia di Yokoi ($D = m^2 + 4$), il documento si avvale della classificazione di Biró (2003) dei campi con numero di classe uno all'interno di questa famiglia. Biró ha determinato che gli unici discriminanti privi di quadrati di questa forma con numero di classe uno sono $D \in \{5, 13, 29, 53, 173, 293\}$.

Contributi Principali e Risultati
Il risultato principale è il Teorema 1.1, il quale afferma che esistono esattamente sette campi quadratici reali che soddisfano la condizione di Hammarhjelm. Essi corrispondono ai discriminanti:
$$D \in \{2, 5, 13, 29, 53, 173, 293\}$$

Il documento fornisce una prova rigorosa che:

• I precedenti esempi noti ($D=2, 5, 13, 29, 53$) fanno parte di un elenco completo.
• Due campi aggiuntivi, $D=173$ e $D=293$, soddisfano la condizione.
• Nessun altro campo quadratico reale soddisfa la condizione.

La dimostrazione stabilisce che la condizione di Hammarhjelm implica che l'unità fondamentale sia piccola rispetto al discriminante, il che restringe lo spazio di ricerca a specifiche famiglie di campi (la famiglia di Yokoi e le estensioni Richaud-Degert strette) dove i campi con numero di classe uno sono già classificati.

Significato
Il documento risolve il problema di determinare tutti i campi quadratici reali che soddisfano la condizione di Hammarhjelm, un problema motivato dai recenti sviluppi nello studio dei punti visibili nei set di tipo "cut-and-project" algebrici. Combinando limiti elementari sull'unità fondamentale con risultati profondi dalla teoria del genere e dalla classificazione della famiglia di Yokoi, l'autore fornisce un elenco definitivo e finito di tali campi, estendendo l'insieme noto da cinque a sette esempi.