Resolution of singularities of the odd nilpotent cone of orthosymplectic Lie superalgebras

Sintesi Tecnica: Risoluzione delle Singolarità del Cono Nilpotente Dispari delle Lie Superalge Ortosimpletiche

Enunciato del Problema
Il saggio affronta la costruzione di una risoluzione delle singolarità di tipo Springer per il cono nilpotente dispari, denotato con $\mathcal{N}$, delle lie superalge ortosimpletiche $\mathfrak{osp}(m|2n)$. Mentre la risoluzione di Grothendieck-Springer per il cono nilpotente delle lie alge semisimples è ben stabilita, il caso delle superalge presenta sfide uniche dovute all'esistenza di molteplici classi di congiungazione di sottialge di Borel e di varietà di flag non isomorfe. Il lavoro precedente di Gruson e Leidwanger [4] ha costruito con successo una tale risoluzione per i casi specifici in cui $m = 2n$ e $m = 2n+1$. L'obiettivo primario di questo saggio è estendere tali risultati per coprire tutti i valori di $m$ e $n$, affrontando specificamente i casi $m = 2n-1$ e $m = 2n+2$, e fornendo una costruzione generalizzata per arbitrarie $m, n$ dove l'approccio standard delle flag complete fallisce.

Metodologia
L'autore impiega un approccio geometrico che coinvolge lo studio di flag auto-ortogonali complete e parziali negli spazi vettoriali associati $V_0$ (dimensione $m$, dotato di una forma ortogonale) e $V_1$ (dimensione $2n$, dotato di una forma simplettica).

1. Risoluzione tramite Flag Complete: Per i casi $m \in \{2n-1, 2n, 2n+1, 2n+2\}$, il saggio definisce una varietà $\tilde{\mathcal{N}}$ composta da triple $(A, F_0, F_1)$, dove $A$ è un operatore nilpotente che rispetta flag auto-ortogonali complete $F_0$ e $F_1$. La mappa di proiezione $pr_1: \tilde{\mathcal{N}} \to \mathcal{N}$ viene analizzata. L'autore dimostra la suriettività e la birazionalità costruendo esplicitamente basi per le flag che rispettano l'azione di $A$, utilizzando la classificazione delle orbite nilpotenti tramite diagrammi $ab$ (Kraft-Procesi e Berezhnoy).
2. Controesempi e Generalizzazione: Il saggio dimostra che per $m$ al di fuori dell'intervallo $[2n-1, 2n+2]$, la mappa $pr_1$ utilizzando flag complete non è birazionale (le fibre sono isomorfe a $\mathbb{P}^1$ su l'orbita aperta). Per risolvere ciò, l'autore introduce una costruzione modificata utilizzando flag auto-ortogonali parziali. Ciò comporta la definizione di sottoinsiemi chiusi in $\text{Hom}(V_0, V_1) \times \mathcal{B}'_0 \times \mathcal{B}_{1,k}$ (o variazioni simili a seconda della relazione tra $m$ e $n$) tagliati da specifiche relazioni di incidenza.
3. Sezioni di Weierstrass e Regolarità: L'autore costruisce una sezione di Weierstrass $\Sigma = u + L$ per il cono nilpotente dispari, dove $u$ è un elemento regolare e $L$ è un fibrato normale. Questa sezione è utilizzata per studiare la regolarità degli elementi dispari e dei loro supercommutatori auto-eseguiti ($A A^*$ e $A^* A$).
4. Vanishment della Coomologia: L'ultima sezione applica i risultati di [8] riguardanti il vanishing della coomologia superiore per i fibrati lineari sulle risoluzioni, derivando limiti inferiori espliciti per i pesi $\mu$ che garantiscono il vanishing.

Contributi Chiave e Risultati

• Estensione dei Teoremi di Risoluzione: Il saggio dimostra che la mappa $pr_1$ è una risoluzione delle singolarità per $\mathfrak{osp}(m|2n)$ nei casi $m = 2n-1$ e $m = 2n+2$, completando il quadro per i casi "quasi-diagonali" dove $|m - 2n| \leq 2$.
• Risoluzione Generalizzata: Per arbitrarie $m, n$ (specificamente quando $m < 2n-1$ o $m > 2n+2$), l'autore costruisce una nuova risoluzione delle singolarità utilizzando flag auto-ortogonali parziali. Si dimostra che questa costruzione è una risoluzione provando la birazionalità della nuova mappa di proiezione $pr'_1$ sugli elementi nilpotenti regolari.
• Costruzione Esplicita di Basi: L'autore fornisce algoritmi espliciti per costruire le basi delle flag $F_0$ e $F_1$ che sono rispettate da un dato operatore nilpotente $A$, categorizzate dalla decomposizione di $A$ in blocchi ($\alpha, \beta, \gamma, \delta, \epsilon$). Ciò include la gestione delle ambiguità specifiche derivanti dai casi $m=2n+2$ e $m=2n-1$ riguardo alle componenti connesse della varietà di flag.
• Relazioni di Regolarità: Il saggio stabilisce implicazioni tra la regolarità di un elemento dispari $A \in V_0 \otimes V_1$ e la regolarità dei suoi supercommutatori auto-eseguiti $q_0(A) = A^*A$ e $q_1(A) = AA^*$. Si mostra che per $m \in \{2n-1, 2n, 2n+1, 2n+2\}$, la regolarità di $A$ è strettamente legata alla regolarità della sua immagine nella parte pari della superalgebra.
• Limiti Coomologici: Sono stati calcolati limiti inferiori espliciti per i pesi $\mu$ per garantire il vanishing dei gruppi di coomologia superiore $H^i(\tilde{\mathcal{N}}, \mathcal{L}(\mu)^*)$ per $i \geq 1$. Questi limiti dipendono dalla specifica relazione tra $m$ e $n$.

Significatività e Rivendicazioni
L'autore afferma che questo lavoro estende i risultati di Gruson e Leidwanger [4] a tutti i casi di $m$ e $n$. La significatività risiede nel fornire un quadro geometrico unificato per il cono nilpotente dispari delle superalge ortosimpletiche, che è essenziale per il calcolo dei caratteri irreducibili a dimensione finita e dei polinomi di Kostka ortosimpletici.

Il saggio nota modestamente che, sebbene la costruzione della risoluzione sia esplicita, una prova diretta della suriettività per il caso generalizzato (utilizzando le flag parziali) è omessa a causa della complessità, affidandosi invece alla densità delle orbite regolari e alla proprietà di compatezza della mappa. Inoltre, l'autore osserva che le proprietà di positività dei polinomi di Kostka ortosimpletici suggeriscono una congettura secondo cui il vanishing della coomologia superiore avviene per qualsiasi peso dominante, sebbene ciò rimanga non dimostrato nel testo corrente. Il lavoro funge da passo fondamentale per ulteriori applicazioni nella teoria delle invarianti e nella teoria delle rappresentazioni delle lie superalge.