Decidability of singularities in the Ekedahl--Oort stratification

1. Il Problema

Il lavoro si concentra sulla stratificazione di Ekedahl-Oort (EO) sulle fibre speciali di varietà di Shimura di tipo abeliano in caratteristica $p$ (dove $p$ è un primo dispari di buona riduzione).
La stratificazione EO suddivide lo spazio modulare in strati lisci $S_w$, parametrizzati da un sottoinsieme $I_W$ del gruppo di Weyl $W$ del gruppo riduttivo $G$ associato. Un problema fondamentale è comprendere la geometria degli strati, in particolare la loro regolarità (liscietà) e normalità.
Nello specifico, gli autori affrontano la questione della decidibilità delle singolarità: data una chiusura di Zariski di uno strato EO (o una sua unione elementare), è possibile determinare algoritmicamente se essa è liscia o normale? Inoltre, la presenza di queste singolarità dipende dalla caratteristica $p$ o è un fenomeno intrinseco al gruppo algebrico?

2. Metodologia

Gli autori combinano la teoria delle stack di G-zip (introdotta da Viehmann e Wedhorn) con tecniche di teoria dei gruppi algebrici, geometria aritmetica e teoria dei dati di root (radice).

• Stack di G-zip: La stratificazione EO sulla fibra speciale $S$ è il pullback della stratificazione di zip su uno stack $X = [E \backslash G]$, dove $E$ è il "zip group". Gli strati EO corrispondono agli strati di zip $X_w$.
• Coperture Canoniche e Strati Elementari: Si studiano i sottostack elementari $U(w, w') = X_w \cup X_{w'}$, dove $w'$ è un "vicino inferiore" di $w$ rispetto a un ordine parziale specifico. La liscietà di tali unioni è caratterizzata da due condizioni:
  1. $w$-boundedness: L'inclusione dei paraboli canonici $P_{w'} \subseteq P_w$.
  2. Separating Canonical Cover: Una condizione geometrica sulla preimmagine nello spazio delle bandiere.
• Elementi "Small" (Piccoli): Viene introdotta una nozione combinatoria cruciale: un elemento $w \in W$ è "small" se la lunghezza di $\pi(w)$ (l'immagine di $w$ sotto una mappa specifica legata alla stratificazione) è uguale alla lunghezza di $w$. Per questi elementi, la mappa $\pi$ è calcolabile algoritmicamente.
• Riduzione alla Caratteristica Zero: Una parte innovativa della metodologia consiste nel confrontare la stratificazione in caratteristica $p$ (con isogenia di Frobenius) con quella in caratteristica zero (dove l'isogenia è l'identità). Gli autori costruiscono modelli su $\mathbb{Z}_p$ e utilizzano argomenti di riduzione mod $p$ per collegare le singolarità in caratteristica positiva a oggetti definiti su $\mathbb{C}$.

3. Contributi Chiave e Risultati Principali

A. Algoritmo di Decidibilità (Teorema A)

Gli autori forniscono un algoritmo effettivo per determinare se un sottostack elementare $U(w, w')$ è liscio (o normale).

• Il criterio si basa sulla caratterizzazione di [KLPR25]: $U$ è liscio se e solo se è $w$-bounded e ammette una copertura canonica separante.
• La condizione di copertura canonica separante è equivalente a: $w' \notin \pi(\Gamma^{sm}_{I_w}(w) \setminus \{w'\})$, dove $\Gamma^{sm}$ è l'insieme dei vicini inferiori "small".
• Poiché la mappa $\pi$ è calcolabile sugli elementi "small" tramite l'azione di Frobenius sui dati di root, l'intero problema diventa decidibile.

B. Indipendenza dalla Caratteristica (Teorema B e D)

Uno dei risultati più sorprendenti è che la liscietà degli strati elementari non dipende dal primo $p$, purché l'azione di Frobenius sul dato di root basato $\Phi$ sia la stessa.

• Se $\sigma_p = \sigma_\ell$ (azioni di Frobenius su $\Phi$ per due primi diversi), allora $U_p$ è liscio se e solo se $U_\ell$ è liscio.
• Teorema D: Se $G$ è un gruppo split su $\mathbb{F}_p$, la presenza di singolarità nella stratificazione EO in caratteristica $p$ è controllata da un oggetto in caratteristica zero (lo stack $X_{\mathbb{C}}$). In particolare, la liscietà in caratteristica $p$ è equivalente alla liscietà (o a condizioni di boundness/canonical cover) sullo stack di zip complesso $X_{\mathbb{C}}$.

C. Applicazione alle Varietà Unitarie (Teorema C)

Gli autori applicano il loro algoritmo alle varietà di Shimura unitarie di firma $(r, s)$ in un primo split.

• Analizzano gli strati di lunghezza 2.
• Forniscono condizioni precise sulla liscietà in funzione di $\gcd(r, s)$ e dell'inverso moltiplicativo di $s$ modulo $n$.
• Ad esempio, se $\gcd(r, s) > 3$, gli strati non sono lisci. Se $\gcd(r, s) \in \{2, 3\}$, sono lisci. Se $\gcd(r, s) = 1$, la liscietà dipende da una disuguaglianza che coinvolge l'inverso moltiplicativo.

D. Invarianti di Hasse Generalizzati in Caratteristica Zero (Teorema E)

Il paper esplora l'esistenza di invarianti di Hasse generalizzati sullo stack $X_{\mathbb{C}}$ (caratteristica zero).

• A differenza del caso in caratteristica $p$ (dove esistono sempre per $p$ sufficientemente grande), in caratteristica zero la loro esistenza è più sottile.
• Viene dato un criterio necessario e sufficiente per l'esistenza di tali invarianti in termini di pesi $\lambda$ e radici positive.
• Un risultato notevole è che, in certi casi (es. $G=GL_n$ con firma $(n-1, 1)$), esistono invarianti di Hasse anche per il fascio lineare banale ($\lambda=0$), il che non accade sempre in caratteristica $p$ o per altre firme.

4. Significato e Impatto

• Strumento Computazionale: Il lavoro trasforma un problema geometrico profondo (la liscietà degli strati EO) in un problema combinatorio decidibile, fornendo uno strumento pratico per lo studio di varietà di Shimura.
• Ponte tra Caratteristiche: La dimostrazione che le singolarità in caratteristica $p$ sono controllate da oggetti in caratteristica zero (specialmente per gruppi split) è un risultato teorico di grande rilievo. Suggerisce che la geometria degli strati EO è intrinsecamente legata alla struttura del gruppo algebrico e non è un fenomeno puramente "mod $p$".
• Nuove Direzioni: L'introduzione degli invarianti di Hasse in caratteristica zero apre la porta all'uso di tecniche di analisi complessa e geometria differenziale per studiare la stratificazione EO, un approccio che tradizionalmente era limitato alla geometria aritmetica in caratteristica positiva.
• Generalizzazione: I risultati si applicano a varietà di Shimura di tipo abeliano, generalizzando lavori precedenti su casi specifici (come le varietà modulari di Siegel).

In sintesi, il paper risolve il problema della decidibilità delle singolarità nella stratificazione di Ekedahl-Oort fornendo un algoritmo basato sui dati di root e stabilisce un legame profondo e inaspettato tra la geometria aritmetica in caratteristica $p$ e la geometria complessa in caratteristica zero.