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

Technische Samenvatting: Resolutie van Singulariteiten van de Oneven Nilpotente Kegel van Orthosymplectische Lie-superalgebra's

Probleemstelling
Het artikel behandelt de constructie van een Springer-type resolutie van singulariteiten voor de oneven nilpotente kegel, aangeduid als $\mathcal{N}$, van orthosymplectische Lie-superalgebra's $\mathfrak{osp}(m|2n)$. Hoewel de Grothendieck-Springer-resolutie voor de nilpotente kegel van semisimpele Lie-algebra's goed gevestigd is, brengt het geval van de superalgebra unieke uitdagingen met zich mee vanwege het bestaan van meerdere conjunctieklassen van Borel-subalgebra's en niet-isomorfe vlagvariëteiten. Voorgaand werk door Gruson en Leidwanger [4] heeft succesvol een dergelijke resolutie geconstrueerd voor de specifieke gevallen waar $m = 2n$ en $m = 2n+1$. Het primaire doel van dit artikel is om deze resultaten uit te breiden naar alle waarden van $m$ en $n$, specifiek de gevallen $m = 2n-1$ en $m = 2n+2$ aan te pakken, en een gegeneraliseerde constructie te bieden voor willekeurige $m, n$ waar de standaard volledige vlag-benadering faalt.

Methodologie
De auteur hanteert een geometrische benadering waarbij de studie van volledige en gedeeltelijke zelf-orthogonale vlaggen in de geassocieerde vectorruimten $V_0$ (dimensie $m$, uitgerust met een orthogonale vorm) en $V_1$ (dimensie $2n$, uitgerust met een symplectische vorm) centraal staat.

1. Resolutie via Volledige Vlaggen: Voor de gevallen $m \in \{2n-1, 2n, 2n+1, 2n+2\}$, definieert het artikel een variëteit $\tilde{\mathcal{N}}$ bestaande uit triples $(A, F_0, F_1)$, waarbij $A$ een nilpotente operator is die volledige zelf-orthogonale vlaggen $F_0$ en $F_1$ respecteert. De projectiemap $pr_1: \tilde{\mathcal{N}} \to \mathcal{N}$ wordt geanalyseerd. De auteur bewijst surjectiviteit en birationaliteit door expliciet bases voor de vlaggen te construeren die de actie van $A$ respecteren, gebruikmakend van de classificatie van nilpotente banen via $ab$-diagrammen (Kraft-Procesi en Berezhnoy).
2. Tegenvoorbeelden en Generalisatie: Het artikel toont aan dat voor $m$ buiten het bereik $[2n-1, 2n+2]$, de map $pr_1$ met volledige vlaggen niet birationaal is (de vezels zijn isomorf aan $\mathbb{P}^1$ over de open baan). Om dit op te lossen, introduceert de auteur een aangepaste constructie met behulp van gedeeltelijke zelf-orthogonale vlaggen. Dit houdt in dat er gesloten deelverzamelingen worden gedefinieerd in $\text{Hom}(V_0, V_1) \times \mathcal{B}'_0 \times \mathcal{B}_{1,k}$ (of vergelijkbare variaties afhankelijk van de relatie tussen $m$ en $n$) die worden bepaald door specifieke incidentierelaties.
3. Weierstrass-secties en Regulariteit: De auteur construeert een Weierstrass-sectie $\Sigma = u + L$ voor de oneven nilpotente kegel, waarbij $u$ een regulier element is en $L$ een normaalbundel. Deze sectie wordt gebruikt om de regulariteit van oneven elementen en hun zelf-supercommutatoren ($A A^*$ en $A^* A$) te bestuderen.
4. Cohomologie-verdwijning: De laatste sectie past resultaten uit [8] toe met betrekking tot de verdwijning van hogere cohomologie voor lijnbundels op de resolutie, waarbij expliciete ondergrenzen voor de gewichten $\mu$ worden afgeleid die verdwijning garanderen.

Kernbijdragen en Resultaten

• Uitbreiding van Resolutie-stellingen: Het artikel bewijst dat de map $pr_1$ een resolutie van singulariteiten is voor $\mathfrak{osp}(m|2n)$ in de gevallen $m = 2n-1$ en $m = 2n+2$, waarmee het beeld compleet wordt gemaakt voor de "nabij-diagonale" gevallen waar $|m - 2n| \leq 2$.
• Gegeneraliseerde Resolutie: Voor willekeurige $m, n$ (specifiek wanneer $m < 2n-1$ of $m > 2n+2$), construeert het artikel een nieuwe resolutie van singulariteiten met behulp van gedeeltelijke zelf-orthogonale vlaggen. Deze constructie wordt getoetst als een resolutie door de birationaliteit van de nieuwe projectiemap $pr'_1$ op reguliere nilpotente elementen te bewijzen.
• Expliciete Basisconstructie: De auteur biedt expliciete algoritmen voor het construeren van de bases van de vlaggen $F_0$ en $F_1$ die door een gegeven nilpotente operator $A$ worden gerespecteerd, gecategoriseerd door de decompositie van $A$ in blokken ($\alpha, \beta, \gamma, \delta, \epsilon$). Dit omvat ook het afhandelen van de specifieke ambiguïteiten die voortvloeien uit de verbonden componenten van de vlagvariëteit in de gevallen $m=2n+2$ en $m=2n-1$.
• Regulariteitsrelaties: Het artikel stelt implicaties vast tussen de regulariteit van een oneven element $A \in V_0 \otimes V_1$ en de regulariteit van zijn zelf-supercommutatoren $q_0(A) = A^*A$ en $q_1(A) = AA^*$. Er wordt aangetoond dat voor $m \in \{2n-1, 2n, 2n+1, 2n+2\}$, de regulariteit van $A$ nauw verbonden is met de regulariteit van zijn afbeelding in het even deel van de superalgebra.
• Cohomologische Grenzen: Expliciete ondergrenzen voor de gewichten $\mu$ worden berekend om de verdwijning van hogere cohomologiegroepen $H^i(\tilde{\mathcal{N}}, \mathcal{L}(\mu)^*)$ voor $i \geq 1$ te waarborgen. Deze grenzen zijn afhankelijk van de specifieke relatie tussen $m$ en $n$.

Betekenis en Claims
De auteur beweert dat dit werk de resultaten van Gruson en Leidwanger [4] uitbreidt naar alle gevallen van $m$ en $n$. De betekenis ligt in het bieden van een verenigd geometrisch kader voor de oneven nilpotente kegel van orthosymplectische superalgebra's, wat essentieel is voor de berekening van einddimensionale irreducibele karakters en orthosymplectische Kostka-polynomen.

Het artikel merkt bescheiden op dat hoewel de constructie van de resolutie expliciet is, een direct bewijs van surjectiviteit voor het gegeneraliseerde geval (met gedeeltelijke vlaggen) wordt weggelaten vanwege de complexiteit, waarbij wordt vertrouwd op de dichtheid van reguliere banen en de properheid van de map. Verder observeert de auteur dat de positiviteitseigenschappen van orthosymplectische Kostka-polynomen wijzen op een conjectuur dat de hogere cohomologie verdwijnt voor elke dominante gewicht, hoewel dit in de huidige tekst onbewezen blijft. Het werk dient als een fundamentele stap voor verdere toepassingen in de invariantentheorie en de representatietheorie van Lie-superalgebra's.