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

Resumo Técnico: Resolução de Singularidades do Cone Nilpotente Ímpar de Superálgebras Ortossimpléticas

Enunciado do Problema
O artigo aborda a construção de uma resolução de singularidades do tipo Springer para o cone nilpotente ímpar, denotado por $\mathcal{N}$, de superálgebras ortossimpléticas $\mathfrak{osp}(m|2n)$. Embora a resolução de Grothendieck-Springer para o cone nilpotente de álgebras de Lie semissimples seja bem estabelecida, o caso da superálgebra apresenta desafios únicos devido à existência de múltiplas classes de conjugação de subálgebras de Borel e variedades de flags não isomórficas. Trabalhos anteriores de Gruson e Leidwanger [4] construíram com sucesso tal resolução para os casos específicos onde $m = 2n$ e $m = 2n+1$. O objetivo principal deste artigo é estender esses resultados para cobrir todos os valores de $m$ e $n$, abordando especificamente os casos $m = 2n-1$ e $m = 2n+2$, e fornecer uma construção generalizada para quaisquer $m, n$ onde a abordagem padrão de flag completa falha.

Metodologia
O autor emprega uma abordagem geométrica envolvendo o estudo de flags auto-ortogonais completas e parciais nos espaços vetoriais associados $V_0$ (dimensão $m$, equipado com uma forma ortogonal) e $V_1$ (dimensão $2n$, equipado com uma forma simplética).

1. Resolução via Flags Completas: Para os casos $m \in \{2n-1, 2n, 2n+1, 2n+2\}$, o artigo define uma variedade $\tilde{\mathcal{N}}$ consistindo em triplas $(A, F_0, F_1)$, onde $A$ é um operador nilpotente que respeita flags auto-ortogonais completas $F_0$ e $F_1$. A aplicação de projeção $pr_1: \tilde{\mathcal{N}} \to \mathcal{N}$ é analisada. O autor prova a surjetividade e a biracionalidade através da construção explícita de bases para as flags que respeitam a ação de $A$, utilizando a classificação de órbitas nilpotentes via diagramas $ab$ (Kraft-Procesi e Berezhnoy).
2. Contraexemplos e Generalização: O artigo demonstra que, para $m$ fora do intervalo $[2n-1, 2n+2]$, a aplicação $pr_1$ usando flags completas não é biracional (as fibras são isomórficas a $\mathbb{P}^1$ sobre a órbita aberta). Para resolver isso, o autor introduz uma construção modificada usando flags auto-ortogonais parciais. Isso envolve a definição de subconjuntos fechados em $\text{Hom}(V_0, V_1) \times \mathcal{B}'_0 \times \mathcal{B}_{1,k}$ (ou variações similares dependendo da relação entre $m$ e $n$) determinados por relações de incidência específicas.
3. Seções de Weierstrass e Regularidade: O autor constrói uma seção de Weierstrass $\Sigma = u + L$ para o cone nilpotente ímpar, onde $u$ é um elemento regular e $L$ é um fibrado normal. Esta seção é utilizada para estudar a regularidade de elementos ímpares e seus supercomutadores auto-conjugados ($A A^*$ e $A^* A$).
4. Vanishing de Cohomologia: A seção final aplica resultados de [8] referentes ao desaparecimento (vanishing) de cohomologias superiores para fibrados de linha sobre a resolução, derivando limites inferiores explícitos para os pesos $\mu$ que garantem o desaparecimento.

Principais Contribuições e Resultados

• Extensão dos Teoremas de Resolução: O artigo prova que a aplicação $pr_1$ é uma resolução de singularidades para $\mathfrak{osp}(m|2n)$ nos casos $m = 2n-1$ e $m = 2n+2$, completando o quadro para os casos "próximos à diagonal" onde $|m - 2n| \leq 2$.
• Resolução Generalizada: Para quaisquer $m, n$ (especificamente quando $m < 2n-1$ ou $m > 2n+2$), o artigo constrói uma nova resolução de singularidades usando flags auto-ortogonais parciais. Esta construção é mostrada como uma resolução ao provar a biracionalidade da nova aplicação de projeção $pr'_1$ em elementos nilpotentes regulares.
• Construção Explícita de Base: O autor fornece algoritmos explícitos para construir as bases das flags $F_0$ e $F_1$ que são respeitadas por um dado operador nilpotente $A$, categorizadas pela decomposição de $A$ em blocos ($\alpha, \beta, \gamma, \delta, \epsilon$). Isso inclui o tratamento das ambiguidades específicas decorrentes dos casos $m=2n+2$ e $m=2n-1$ em relação aos componentes conexos da variedade de flags.
• Relações de Regularidade: O artigo estabelece implicações entre a regularidade de um elemento ímpar $A \in V_0 \otimes V_1$ e a regularidade de seus supercomutadores auto-conjugados $q_0(A) = A^*A$ e $q_1(A) = AA^*$. Mostra-se que, para $m \in \{2n-1, 2n, 2n+1, 2n+2\}$, a regularidade de $A$ está estritamente ligada à regularidade de sua imagem na parte par da superálgebra.
• Limites Cohomológicos: Limites inferiores explícitos para os pesos $\mu$ são calculados para assegurar o desaparecimento dos grupos de cohomologia superior $H^i(\tilde{\mathcal{N}}, \mathcal{L}(\mu)^*)$ para $i \geq 1$. Estes limites dependem da relação específica entre $m$ e $n$.

Significância e Alegações
O autor afirma que este trabalho estende os resultados de Gruson e Leidwanger [4] para todos os casos de $m$ e $n$. A significância reside no fornecimento de um arcabouço geométrico unificado para o cone nilpotente ímpar de superálgebras ortossimpléticas, o que é essencial para o cálculo de caracteres irredutíveis de dimensão finita e polinômios de Kostka ortossimpléticos.

O artigo nota modestamente que, embora a construção da resolução seja explícita, uma prova direta de surjetividade para o caso generalizado (usando flags parciais) é omitida devido à complexidade, baseando-se, em vez disso, na densidade de órbitas regulares e na propriedade de compacidade (properness) da aplicação. Além disso, o autor observa que as propriedades de positividade dos polinômios de Kostka ortossimpléticos sugerem uma conjectura de que a cohomologia superior desaparece para qualquer peso dominante, embora isso permaneça não provado no texto atual. O trabalho serve como um passo fundamental para aplicações futuras em teoria de invariantes e teoria de representação de superálgebras de Lie.