On the classification of indecomposable Ekedahl-Oort strata in unitary Shimura varieties, and related Newton polygons

Sintesi Tecnica: Sulla Classificazione degli Strati Ekedahl-Oort Indecomponibili nelle Varietà di Shimura Unitarie, e Poligoni di Newton Correlati

Enunciato del Problema
Questo articolo affronta la classificazione degli strati Ekedahl-Oort (EO) indecomponibili nelle varietà di Shimura unitarie $M(a, b)$ definite su un campo algebricamente chiuso $k$ di caratteristica $p > 2$. Queste varietà parametrizzano varietà abeliane di dimensione $a+b$ dotate di un'azione di un ordine in un campo quadratico immaginario dove $p$ è inerte, soddisfacendo una condizione di firma $(a, b)$. Sebbene la struttura degli strati EO per le varietà modulari di Siegel e per specifiche firme unitarie (come $(q-1, 1)$) sia stata studiata precedentemente, una classificazione completa per firme $(a, b)$ arbitrarie nel contesto unitario rimaneva aperta. Inoltre, l'articolo cerca di chiarire l'interazione tra la stratificazione EO e la stratificazione di Newton, determinando specificamente quando uno strato EO interseca il locus supersingolare.

Metodologia
Gli autori impiegano una combinazione di teoria di Dieudonné, teoria dei gruppi combinatori e tecniche di sollevamento geometrico. La metodologia centrale procede come segue:

1. Classificazione Combinatoria tramite Parole: Basandosi sul teorema di struttura di Kraft per i moduli di Dieudonné mod-$p$, gli autori rappresentano i moduli indecomponibili utilizzando parole nell'alfabeto $\{f, v\}$ (che rappresentano gli operatori di Frobenius e Verschiebung). Estendono la classificazione dei moduli BT1 polarizzati (associati alle varietà di Siegel) ai moduli BT1 unitari (associati alle varietà di Shimura unitarie).
2. Teoremi di Decomposizione: L'articolo stabilisce che ogni modulo BT1 unitario si decompone unicamente in una somma diretta di tipi indecomponibili specifici. Ciò avviene analizzando i "diagrammi di Kraft" associati a queste parole e identificando i vincoli imposti dalla struttura unitaria (specificamente la condizione di involuzione di Rosati e la proprietà lagrangiana dei sottospazi $M_0$ e $M_1$).
3. Traduzione in Gruppi di Weyl: Utilizzando la corrispondenza di Moonen tra gli strati EO e i cosetti nel gruppo di Weyl $S_q$ (dove $q=a+b$), gli autori sviluppano un algoritmo per tradurre la descrizione combinatoria della "parola" di uno strato nel corrispondente rappresentante del coset del gruppo di Weyl. Questo colma il divario tra la descrizione algebrica della $p$-torsione e la topologia geometrica degli strati.
4. Sollevamenti Tautologici e Poligoni di Newton: Per studiare l'intersezione con gli strati di Newton, gli autori costruiscono un "sollevamento tautologico" di un modulo BT1 unitario a un modulo di Dieudonné $p$-adico unitario. Calcolando il poligono di Newton di questo sollevamento, determinano lo strato di Newton specifico che lo strato EO interseca.

Contributi Chiave e Risultati

• Classificazione dei Tipi Indecomponibili: Il risultato primario (Teorema 4.21) è una classificazione completa dei moduli BT1 unitari indecomponibili. Gli autori dimostrano che ogni modulo di questo tipo è isomorfo esattamente a uno di quattro tipi:

  1. Uniciclo Unitario (Unitary Unicycle): Derivante da una parola primitiva auto-duale $w = yy^\star$ dove $y$ ha lunghezza dispari.
  2. Biciclo Unitario (Unitary Bicycle): Derivante da una parola primitiva non auto-duale $w$ di lunghezza pari (specificamente il modulo $M(w) \oplus M(w^\star)$).
  3. Uniciclo di Serre (Serre Unicycle): Derivante da una parola primitiva auto-duale $w$ di lunghezza divisibile per 4. Questi corrispondono alla costruzione tensoriale di Serre di un uniciclo polarizzato.
  4. Biciclo di Serre (Serre Bicycle): Derivante da una parola $w = zz$ dove $z$ è una parola primitiva non auto-duale di lunghezza dispari. Questi corrispondono alla costruzione tensoriale di Serre di un biciclo polarizzato.
     L'articolo fornisce formule esplicite per le firme $(a, b)$ associate a ciascun tipo basate sulla distribuzione di $f$ e $v$ nelle parole definitorie.

• Traduzione Algoritmica (Parola a Weyl): La Sezione 5 presenta un algoritmo (Teorema 5.3) che converte il multiset di parole che descrivono un modulo BT1 unitario nel rappresentante del coset del gruppo di Weyl a lunghezza minima $\gamma \in W(a, b)$. Ciò permette l'identificazione esplicita dello strato EO in termini dell'ordine di Bruhat, facilitando lo studio delle relazioni di chiusura.

• Intersezione con gli Strati di Newton: Utilizzando la costruzione del sollevamento tautologico, gli autori calcolano il poligono di Newton per qualsiasi strato EO (Teorema 6.10). Dimostrano che lo strato EO corrispondente a un insieme di parole $W$ interseca lo strato di Newton definito dalle pendenze di tali parole.

  • Intersezione Supersingolare: Un'applicazione significativa (Corollari 6.12 e 6.13) dimostra che gli strati EO corrispondenti agli Unicicli Unitari e agli Unicicli di Serre intersecano sempre il locus supersingolare (l'unico strato di Newton chiuso). Ciò accade perché le parole definitorie per questi tipi sono necessariamente "bilanciate" (contenenti un numero uguale di $f$ e $v$), risultando in un poligono di Newton con pendenza costante $1/2$.

Significatività
Questo articolo fornisce un teorema strutturale fondamentale per la $p$-torsione delle varietà abeliane nel contesto unitario, analogamente ai risultati di Oort per il caso di Siegel. Categorizzando gli strati indecomponibili in quattro tipi distinti e fornendo un ponte computazionale ai rappresentanti del gruppo di Weyl, il lavoro consente un'analisi più precisa della geometria delle varietà di Shimura unitarie in firme arbitrarie. La costruzione dei sollevamenti tautologici e la successiva determinazione delle intersezioni con i poligoni di Newton offrono un metodo concreto per verificare la non-vacuità delle intersezioni tra EO e strati di Newton, estendendo i risultati precedenti noti solo per specifiche firme (come i tipi di Coxeter o basse dimensioni) al caso generale. L'identificazione dell'intersezione con il locus supersingolare per gli strati di tipo uniciclo risolve una specifica questione riguardante la topologia di queste varietà.