Constructing $2$-dimensional Lubin-Tate formal groups over $\mathbb{Z}_{p}$ (I)

Sintesi Tecnica di "Costruzione di Gruppi Formali di Lubin-Tate a 2 Dimensioni su $\mathbb{Z}_p$ (I)"

Enunciato del Problema
Il saggio affronta una significativa lacuna nella generalizzazione della teoria di Lubin-Tate dalla dimensione uno a dimensioni superiori. Mentre Lubin e Tate (1964) hanno costruito con successo gruppi formali monodimensionali su $\mathbb{Z}_p$ i cui punti di torsione generano estensioni assolute massimali totalmente ramificate di $\mathbb{Q}_p$, gli analoghi di dimensione superiore sono rimasti scarsamente compresi. I tentativi precedenti di Honda, Hazeweli e altri sono stati o incapaci di produrre gruppi non banali di dimensione superiore o hanno prodotto somme dirette di gruppi monodimensionali, che non catturano la complessità intesa. Gli autori mirano a costruire una classe autentica di gruppi formali di Lubin-Tate a 2 dimensioni su $\mathbb{Z}_p$ (non isomorfi a somme dirette di gruppi a 1 dimensione) e ad avviare lo studio delle estensioni di campo generate dai loro punti di torsione $p^\infty$.

Metodologia
Gli autori impiegano un approccio basato sull'equazione funzionale radicato nel lavoro di Hazeweli e Lubin, adattato per il caso a 2 dimensioni.

1. Costruzione del Logaritmo: Invece di definire direttamente la legge del gruppo formale, gli autori costruiscono il gruppo tramite il suo logaritmo. Definiscono una specifica famiglia di serie di potenze a 2 dimensioni $L_g(X)$ che soddisfa un'equazione funzionale coinvolgente una sequenza di matrici $(s_i)$ e un endomorfismo di tipo Frobenius.
2. Esponenziazione: Utilizzando il Lemma dell'Equazione Funzionale (Lemma 3.2), invertono il logaritmo $L_g$ per definire la legge del gruppo formale $F(X, Y) = L_g^{-1}(L_g(X) + L_g(Y))$.
3. Approssimazione Dinamica: Per analizzare i punti di torsione, gli autori introducono un sistema dinamico $D_{\vec{h}}$ che funge da approssimazione $p$-adica dell'endomorfismo di moltiplicazione per $p$, $[p]_F$. Questo sistema è definito da $D_{\vec{h}}(x_1, x_2) = (px_1 + x_2^{h_1}, px_2 + x_1^{h_2})$.
4. Copoligono di Newton: Un nuovo strumento geometrico, il "copoligono di Newton", viene introdotto per le serie di potenze $p$-adiche in due variabili. Esso generalizza il classico poligono di Newton nello spazio 3D, permettendo agli autori di relazionare le valutazioni dei coefficienti di una serie con le valutazioni dei suoi zeri.
5. Analisi della Ramificazione: Il saggio analizza le proprietà di ramificazione delle estensioni generate dai punti di torsione calcolando le valutazioni $p$-adiche delle coordinate di tali punti utilizzando il sistema dinamico e il copoligono di Newton.

Contributi Chiave e Risultati

• Costruzione di Gruppi a 2 Dimensioni: Gli autori definiscono una famiglia di gruppi formali di Lubin-Tate a 2 dimensioni $F$ su $\mathbb{Z}_p$ associata a una coppia di interi positivi coprimi $\vec{h} = (h_1, h_2)$. Dimostrano che questi gruppi possiedono un anello di endomorfismi più grande di $\mathbb{Z}_p$ quando considerati su determinate estensioni non ramificate, distinguendoli dalle somme dirette di gruppi a 1 dimensione.
• Altezza ed Endomorfismi: I gruppi costruiti sono mostrati essere di altezza finita $h = h_1 + h_2$. L'endomorfismo di moltiplicazione per $p$, $[p]_F$, soddisfa specifiche condizioni di congruenza modulo $p$ e grado 2, collocandosi all'interno di un sottoinsieme specifico di serie di potenze $C_{LT}$.
• Struttura di Galois delle Estensioni di Torsione:
  • Teorema 5.1: L'estensione di campo $\mathbb{Q}_p(F[p^n])$ generata dalle coordinate dei punti di $p^n$-torsione è un'estensione di Galois di $\mathbb{Q}_p$.
  • Teorema 5.2: L'estensione generata dai punti di $p^\infty$-torsione completa su l'estensione non ramificata $U_h$ (di grado $h=h_1+h_2$) è un'estensione abeliana. Questo è un risultato centrale, stabilendo che mentre l'estensione su $\mathbb{Q}_p$ è probabilmente non abeliana (similmente al caso monodimensionale su estensioni non ramificate), l'estensione sulla base non ramificata appropriata è abeliana.
• Valutazione dei Punti di Torsione: Il Teorema 5.5 fornisce formule esplicite per le valutazioni $p$-adiche delle coordinate dei punti di $p^n$-torsione non triviali per $p$ dispari. Le valutazioni dipendono dalla parità di $n$ e dai parametri $h_1, h_2$.
• Proprietà di Ramificazione:
  • Teorema 5.6: Nel caso specifico in cui la somma delle altezze $h = h_1 + h_2$ è dispari, l'estensione generata dai punti di $p$-torsione su $U_h$ è totalmente ramificata di grado $(p^h - 1)/2$. Le coordinate dei punti di $p$-torsione generano la stessa estensione di campo.

Significato e Ambito
Il saggio sostiene di colmare parzialmente la lacuna nella teoria dei gruppi di Lubin-Tate a dimensioni superiori fornendo la prima costruzione esplicita di gruppi non banali a 2 dimensioni su $\mathbb{Z}_p$ ed établendo le loro proprietà aritmetiche fondamentali. L'introduzione del copoligono di Newton offre una nuova prospettiva geometrica per lo studio delle serie di potenze $p$-adiche in più variabili.

Gli autori sono modesti riguardo all'ambito dei loro risultati. Affermano esplicitamente che questo saggio solo "inizia" lo studio delle proprietà di ramificazione. Sebbene dimostrino la totale ramificazione per il caso di $p$-torsione (quando $h$ è dispari), notano che un'analisi completa della ramificazione per i punti di $p^n$-torsione con $n > 1$ è riservata a lavori futuri. Inoltre, riconoscono che non ogni elemento dell'insieme candidato $C_{LT}$ produce un valido gruppo formale di Lubin-Tate, evidenziando i vincoli specifici del contesto a dimensioni superiori rispetto al caso monodimensionale. Il saggio non pretende di caratterizzare completamente l'estensione abeliana massimale di $\mathbb{Q}_p$ tramite questi gruppi, ma identifica l'estensione non ramificata specifica $U_h$ su cui i punti di torsione generano una torre abeliana.