Optimal embeddings for maximal orders of central simple algebras of degree 3 over number fields

Sintesi Tecnica: Immersioni Ottimali per Ordini Massimali di Algebre Semplificate Centrali di Grado 3

Enunciato del Problema
Questo articolo affronta il problema delle immersioni integrali di ordini in algebre semplificate centrali (CSA) su campi numerici. Mentre il principio locale-globale vale per le estensioni di campi che si immergono in CSA (tramite la teoria dei campi di classe), esso fallisce per le immersioni integrali. Nello specifico, un ordine $S$ di un'estensione di campi $K/F$ di grado $n$ potrebbe non ammettere un'immersione ottimale in tutti gli ordini massimali di una CSA $B$ di grado $n$.

Il lavoro precedente di Chevalley, Chinburg, Friedman, Chan, Xu, Linowitz, Shemanske e Voight ha stabilito criteri di "selettività" per $n=2$ (algebre di quaternioni) e per ordini di Eichler. Questo articolo estende lo studio della selettività ottimale al caso in cui $B$ è un'algebra semplificata centrale di grado 3 su un campo numerico $F$, e $K/F$ è un'estensione di grado 3. L'obiettivo principale è determinare esattamente quando un ordine $S \subset K$ non può essere immerso ottimamente in tutti gli ordini massimali di $B$, e quantificare la proporzione di ordini massimali che ammettono tali immersioni.

Metodologia
Gli autori impiegano una combinazione di teoria dei campi di classe globale e un'analisi locale dettagliata:

1. Quadro Globale (Sandwich di Selettività):
   L'articolo utilizza il quadro del "sandwich di selettività" adattato dal lavoro di Voight sui quaternioni. Esso mette in relazione l'esistenza di immersioni ottimali con la norma ridotta di un insieme specifico di elementi $E$ nell'algebra. L'oggetto chiave è il gruppo $F^\times \text{Nr}(\mathbb{E})$ all'interno del gruppo degli idele $\mathbb{A}_F^\times$.

   • L'articolo stabilisce che se $K$ non è contenuto in un campo di classe specifico $H_{GN(\mathcal{O})}$ associato all'ordine massimale $\mathcal{O}$, allora $S$ si immerge in tutti gli ordini massimali nel genere.
   • Se $K \subseteq H_{GN(\mathcal{O})}$, il problema si riduce all'analisi dell'indice di $F^\times \text{Nr}(\mathbb{E})$ rispetto a $F^\times \text{Nr}(\mathbb{K}^\times)$.

2. Analisi Locale (Grado 3):
   Una parte significativa del lavoro è dedicata al calcolo dei numeri di immersione locali $m(S_p, \mathcal{O}_p)$ per algebre di grado 3 su campi locali $F_p$.

   • Caso Normale: Gli autori analizzano le immersioni in $M_3(R_p)$ e nelle algebre a divisione. Derivano criteri espliciti per l'ottimalità utilizzando riduzioni di matrici modulo l'ideale massimale.
   • Immersioni Ottimali Speciali: A differenza del caso di grado 2, gli autori identificano un fenomeno specifico del grado 3: le "immersioni ottimali speciali". Queste si verificano quando la riduzione delle matrici di immersione ricade in una forma specifica di blocco di Jordan (Caso 3 nel Lemma 3.3) in cui l'argomento standard di coniugazione alla rappresentazione regolare fallisce.
   • Casi Split e Inerti: L'articolo calcola la struttura dell'insieme delle norme ridotte $\text{Nr}(E_p)$ sia per il caso split ($K_p \cong F_p \times F_p \times F_p$) che per il caso inerte (estensione non ramificata). Determinano che il numero di classi di coniugazione di immersioni ottimali è 1 o 2, a seconda del discriminante dell'ordine $S_p$.

3. Sintesi:
   Combinando i risultati locali tramite la mappa di Artin, gli autori mettono in relazione l'insieme globale di selettività con l'ideale discriminante dell'ordine $S$.

Contributi e Risultati Chiave

• L'Insieme di Selettività $D(S)$: L'articolo definisce un "insieme di selettività" $D(S)$ per un ordine $S$ in un'estensione non ramificata di grado 3 $K/F$. Questo insieme è un sottoinsieme del gruppo di Galois $\text{Gal}(K/F)$, costruito tramite la mappa di restrizione dal gruppo delle classi di ideali di $F$ al gruppo di Galois, applicata ai fattori primi della radice quadrata del discriminante di $S$.
  $$D(S) = \{ \rho([\mathfrak{p}^k]) : \mathfrak{p}^k \parallel \sqrt{\text{disc}(S)}, \mathfrak{p}^{k+1} \nmid \sqrt{\text{disc}(S)} \}$$

• Teorema Principale (Teorema 4.1): L'articolo stabilisce una condizione necessaria e sufficiente affinché un ordine $S$ sia "selettivo" (cioè non immergibile in tutti gli ordini massimali):
  $S$ non può essere immerso ottimamente in ogni ordine massimale di $B$ se e solo se:

  1. $K/F$ è ovunque non ramificata.
  2. $B \cong M_3(F)$ (cioè $B$ è split).
  3. $D(S) \neq \text{Gal}(K/F)$.

  Nel caso in cui queste condizioni siano soddisfatte, l'articolo dimostra che $S$ può essere immerso ottimamente esattamente in $|D(S)|/3$ delle classi di isomorfismo di ordini massimali nel genere. Poiché $|\text{Gal}(K/F)| = 3$, ciò implica che l'immersione è possibile in $1/3$ o $2/3$ delle classi, a seconda della dimensione di $D(S)$.

• Raffinamento dei Risultati Precedenti: L'articolo fornisce un controesempio all'applicazione diretta dei risultati di selettività dal grado 2 o da generalizzazioni precedenti di grado superiore. Nello specifico, dimostra un ordine $S_2$ che, secondo i precedenti criteri di immersione non ottimale (Linowitz e Shemanske), si immergerebbe in tutti gli ordini massimali, ma fallisce nell'ammettere un'immersione ottimale in tutti essi.

Significato
L'articolo afferma di stabilire la condizione precisa di selettività per le immersioni ottimali nelle algebre semplificate centrali di grado 3. La sua rilevanza risiede in:

1. Generalizzazione: Estendere la teoria della selettività ottimale dalle algebre di quaternioni (grado 2) al grado 3, un passo non banale a causa dell'aumentata complessità delle classi di similarità delle matrici e dell'emergere di immersioni "speciali".
2. Quantificazione Esatta: Andare oltre i risultati binari di esistenza per fornire un conteggio esatto ($1/3$ o $2/3$) degli ordini massimali che ammettono immersioni ottimali, governato esplicitamente dall'aritmetica del discriminante dell'ordine.
3. Correzione dell'Intuizione: Evidenziare che i risultati per immersioni non ottimali o per gradi inferiori non si generalizzano automaticamente alle immersioni ottimali in grado 3, rendendo necessaria l'analisi locale specifica dei casi "speciali" presentata nell'articolo.

Il lavoro si basa sulla notazione standard della teoria dei campi di classe e della teoria degli ordini nelle CSA, costruendo direttamente sul lavoro fondante di Eichler, Voight e Linowitz/Shemanske.