Infinitesimal commutative unipotent group schemes with one-dimensional Lie algebra

Riepilogo Tecnico: Schemi di Gruppo Unipoti Commutativi Infinitesimali con Algebra di Lie Unidimensionale

Enunciato del Problema
Il lavoro affronta la difficoltà di descrivere esplicitamente gli schemi di gruppo unipoti commutativi infinitesimali su un campo algebricamente chiuso $k$ di caratteristica $p > 0$. Sebbene sia noto che tali schemi esistano (ad esempio, come $p$-torsione di varietà abeliane con $p$-rango zero), la loro struttura esplicita in termini di algebre di Hopf è spesso opaca, in particolare all'aumentare della dimensione. Il problema specifico affrontato è la classificazione degli schemi di gruppo $k$-unipoti commutativi infinitesimali di ordine $p^n$ con algebra di Lie unidimensionale. Questa classificazione è motivata da una domanda parziale sollevata da Fakhruddin riguardo all'esistenza di tali schemi e da una domanda di Brion concernente le azioni razionali di questi schemi sulle curve.

Metodologia
L'autore impiega la teoria dei moduli di Dieudonné sull'anello dei vettori di Witt $W(k)$ per tradurre il problema geometrico in uno algebrico che coinvolge moduli sull'anello non commutativo $E$ (generato dal Frobenius $F$ e dalla Verschiebung $V$).

1. Riduzione ai Moduli di Dieudonné: Utilizzando l'antiequivalenza di categorie tra gli schemi di gruppo unipoti commutativi infinitesimali e i moduli sinistri di lunghezza finita su $E$ (dove $F$ e $V$ sono nilpotenti), il problema è ridotto alla classificazione di specifici moduli $E$ di lunghezza $n$.
2. Classificazione Induttiva: La dimostrazione procede per induzione su $n$. Per uno schema di gruppo $G$ di ordine $p^n$, l'autore analizza la successione esatta breve indotta dall'$(n-1)$-esimo morfismo di Frobenius:
   $$0 \to \ker(F_G^{n-1}) \to G \to \alpha_p \to 0$$
   Per l'ipotesi induttiva, il nucleo è classificato. Il modulo di Dieudonné $M(G)$ è quindi analizzato come un'estensione del modulo corrispondente a $\alpha_p$.
3. Semplificazione Algebrica: Un passaggio cruciale consiste nel dimostrare che certi parametri nelle relazioni definitorie del modulo di Dieudonné possono essere normalizzati. Nello specifico, la Proposizione 4.3 dimostra che, per un campo algebricamente chiuso, i termini che coinvolgono coefficienti in $W(k)$ possono essere eliminati tramite isomorfismo, riducendo la classificazione a un insieme discreto di parametri.
4. Costruzione Esplicita: Il lavoro costruisce esplicitamente le algebre di Hopf per gli schemi classificati, mostrando che esse sorgono come nuclei di morfismi della forma $V - F^i$ sugli schemi di gruppo dei vettori di Witt $W_n$.

Contributi e Risultati Chiave

• Teorema di Classificazione (Teorema 1.1): Il lavoro dimostra che su un campo algebricamente chiuso $k$ di caratteristica $p > 0$, esistono esattamente $n$ classi di isomorfismo di schemi di gruppo $k$-unipoti commutativi infinitesimali di ordine $p^n$ con algebra di Lie unidimensionale.
  Questi schemi sono descritti esplicitamente come:
  $$W_n^n[V - F^i] := \ker(V - F^i : W_n^n \to W_n^n)$$
  per $i = 1, \dots, n$. Qui, $W_n^n$ denota lo schema di gruppo dei vettori di Witt di lunghezza $\le n$, e $F, V$ sono i morfismi di Frobenius e Verschiebung.

• Dualità di Cartier (Corollario 4.5): Il lavoro fornisce una classificazione parallela per gli schemi i cui duali di Cartier hanno un'algebra di Lie unidimensionale. Questi sono dati da $W_n^n[F - V^i]$ per $i = 1, \dots, n$.

• Sottogruppi di Curve Ellittiche Supersingolari (Proposizione 5.1): La classificazione è applicata alle curve ellittiche supersingolari $E$. Il lavoro stabilisce che:

  • Il sottogruppo di $p^n$-torsione $E[p^n]$ è isomorfo a $W_{2n}^{2n}[V - F]$.
  • Il nucleo del $m$-esimo Frobenius $E[F^m]$ è isomorfo a $W_m^m[F - V]$.
  • Di conseguenza, i sottogruppi infinitesimali di una curva ellittica supersingolare sono esattamente gli schemi autoduali nell'elenco classificato (nello specifico il caso $i=1$ nella classificazione duale).

• Azioni Razionali sulle Curve (Proposizione 5.3): Rispondendo alla domanda di Brion, il lavoro determina quali di questi $n$ schemi possono essere immersi in un gruppo algelico liscio connesso unidimensionale.

  • Solo due casi sono immergibili: $G \cong \alpha_{p^n}$ (sottogruppo del gruppo additivo $\mathbb{G}_a$) e $G \cong W_n^n[F - V]$ (sottogruppo di una curva ellittica supersingolare).
  • Tutti gli altri $n-2$ schemi (dove $1 < i < n$) non sono schemi di sottogruppo di alcun gruppo algebrico liscio connesso unidimensionale. Tuttavia, secondo lavori precedenti citati nel testo, essi ammettono comunque azioni razionali, genericamente libere, su qualsiasi curva.

• Controesempi Non Commutativi (Esempio 5.4): Il lavoro conclude affrontando una domanda riguardante la commutatività. Fornisce un esempio esplicito di uno schema di gruppo unipotente infinitesimale non commutativo con algebra di Lie unidimensionale, dimostrando che la commutatività non è garantita nemmeno con questo vincolo dimensionale.

Significato
Il lavoro fornisce un'enumerazione completa ed esplicita di una specifica classe di schemi di gruppo che erano precedentemente compresi solo tramite la teoria astratta dei moduli di Dieudonné. Fornendo descrizioni esplicite in termini di vettori di Witt e algebre di Hopf, il lavoro facilita la costruzione di azioni di questi schemi sulle varietà. Inoltre, risolve domande specifiche riguardanti l'immersione di questi schemi in curve lisce e chiarisce la struttura della torsione e dei nuclei di Frobenius sulle curve ellittiche supersingolari. I risultati servono a distinguere tra schemi di gruppo che sono "geometrici" nel senso di essere sottogruppi di curve lisce e quelli che sono puramente infinitesimali per natura, eppure ancora capaci di agire sulle curve.