Smoothness of stabilisers in generic characteristic

Sintesi Tecnica: Regolarità degli Stabilizzatori in Caratteristica Generica

Enunciato del Problema
Il lavoro affronta la regolarità degli stabilizzatori (centralizzatori e normalizzatori) per azioni di gruppi algebrici in caratteristica positiva. Sebbene sia ben consolidato che per gruppi riduttivi split che agiscono su se stessi o sulle loro algebre di Lie, i centralizzatori degli elementi sono regolari per primi "molto buoni", questi risultati spesso si basano su classificazioni specifiche o ipotesi restrittive. Gli autori mirano a generalizzare queste scoperte a schemi di gruppo affini finitamente presentati arbitrari $G$ che agiscono su schemi separati $X$ di tipo finito su un anello unitario commutativo $R$. Nello specifico, essi intendono dimostrare che esiste un primo soglia $p_0$ tale che per ogni campo algebricamente chiuso $k$ di caratteristica $p \ge p_0$, il centralizzatore di ogni sottoschema chiuso $Y \subseteq X_k$ sia regolare. Essi investigano anche il normalizzatore di $Y$, notando che il limite per il normalizzatore può dipendere da $Y$, mentre il limite per il centralizzatore dipende solo dalla complessità dell'azione.

Metodologia
Gli autori impiegano una combinazione innovativa di teoria dei modelli del primo ordine e geometria algebrica computazionale, nello specifico:

1. Il Principio di Lefschetz: Essi utilizzano una versione del principio di Lefschetz dalla teoria dei modelli, che afferma che una frase del primo ordine vera nei campi algebricamente chiusi di caratteristica 0 è vera anche nei campi algebricamente chiusi di caratteristica positiva sufficientemente grande.
2. Tecniche delle Basi di Gröbner: Per applicare il principio di Lefschetz, gli autori devono esprimere proprietà geometriche (come la regolarità e l'appartenenza a ideali) come frasi del primo ordine nel linguaggio degli anelli ($L_{ring}$). Essi raggiungono ciò quantificando su basi di Gröbner di grado limitato.
3. Misure di Complessità: Gli autori introducono nozioni precise di "complessità" per schemi, morfismi e azioni di gruppi. Ciò comporta il limitare i gradi dei polinomi che definiscono gli ideali, i gradi delle mappe nei comorfismi e i gradi delle mappe strutturali nelle algebre di Hopf (comoltiplicazione, antipodo, counità).
   • Essi definiscono basi di Gröbner $d$-limitate e mostrano che proprietà come l'essere una base di Gröbner, la dimensione di uno schema e l'appartenenza a un ideale possono essere codificate da formule del primo ordine con un numero di variabili libere che dipende solo dal limite $d$.
   • Essi introducono la $G$-complessità e la $(G, \Delta)$-complessità per limitare l'interazione tra l'azione del gruppo e i sottoschemi.

Contributi e Risultati Chiave
Il lavoro stabilisce i seguenti teoremi principali:

• Teorema 1.1 (Centralizzatori Regolari): Sia $G$ un gruppo $R$-algebrico e $X$ un $G$-schema separato di tipo finito su $R$. Esiste un primo $p_0$ tale che per ogni campo $R$-algebrico $k$ di caratteristica $p \ge p_0$, il centralizzatore $C_{G_k}(Y)$ è regolare per ogni sottoschema chiuso $Y \subseteq X_k$. È cruciale che $p_0$ dipenda solo dalla complessità di $G$ e $X$, non dal sottoschema specifico $Y$.
• Teorema 1.2 (Normalizzatori Regolari): Siano $G$ e $X$ come sopra, e sia $Y$ un sottoschema chiuso specifico di $X$. Esiste un primo $p_1$ (dipendente da $Y$) tale che per $p \ge p_1$, il normalizzatore $N_{G_k}(Y_k)$ sia regolare. Gli autori notano che la dipendenza di $p_1$ da $Y$ è necessaria e non può essere rimossa nel caso generale.
• Corollario 1.3 (Moduli): Per un modulo $G$ proiettivo finitamente generato $V$, esiste un primo $p_V$ tale che per $p \ge p_V$, i centralizzatori e i normalizzatori di ogni sottospazio $k$-lineare $W \subseteq V_k$ siano regolari.
• Teorema 5.2 (Kostant-Kirillov-Souriau Modulare): Gli autori applicano i loro risultati principali alla geometria simplettica. Essi dimostrano che per un gruppo algebrico $G$ su un campo algebricamente chiuso di caratteristica sufficientemente grande $p$, vale il teorema di Kostant-Kirillov-Souriau (KKS): il duale dell'algebra di Lie $\mathfrak{g}^*$ si decompone in un'unione disgiunta di varietà simplettiche, dove ogni varietà è un'orbita coaggiunta. Ciò si basa sul fatto che per $p$ grande, gli stabilizzatori dei punti in $\mathfrak{g}^*$ sono regolari, garantendo la separabilità della mappa orbitale.

Significato e Ambito
Il lavoro si dichiara il primo a portare a termine con successo il programma suggerito da Schoutens (2000) di utilizzare il principio di Lefschetz combinato con le basi di Gröbner per risolvere problemi specifici in geometria algebrica riguardanti la regolarità generica.

• Generalità: I risultati si estendono oltre il caso affine a varietà quasi-proiettive e altri schemi di tipo finito. Si applicano a gruppi algebrici arbitrari su anelli, non solo a gruppi riduttivi split su campi.
• Uniformità: Una scoperta significativa è che il limite per la regolarità dei centralizzatori è uniforme su tutti i sottoschemi chiusi di una data complessità, mentre i normalizzatori richiedono un limite dipendente dal sottoschema specifico.
• Limitazioni: Gli autori notano esplicitamente che i risultati falliscono senza limiti di complessità. Forniscono controesempi in cui l'azione non è di complessità limitata (ad esempio, coinvolgendo torsioni di Frobenius o unioni disgiunte infinite di moduli) dove gli stabilizzatori rimangono non regolari indipendentemente dalla caratteristica.
• Applicazione: La principale applicazione dimostrata è l'estensione del teorema KKS a grandi caratteristiche positive, fornendo una decomposizione strutturale della varietà di Poisson $\mathfrak{g}^*$ in orbite coaggiunte simplettiche, un risultato che generalmente fallisce in piccole caratteristiche a causa di mappe orbitali non separabili.

Il lavoro non propone nuove applicazioni sperimentali o direzioni di ricerca futura oltre alle implicazioni matematiche immediate di questi teoremi strutturali. Il suo contributo risiede nell'instaurare un quadro robusto per trasferire proprietà di regolarità dalla caratteristica 0 a grandi caratteristiche positive tramite metodi algebrici modellistici e algoritmici.