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

Resumen Técnico: Resolución de Singularidades del Cono Nílpote Impar de las Superálgebras Lie Ortosimplécticas

Planteamiento del Problema
El artículo aborda la construcción de una resolución de singularidades de tipo Springer para el cono nílpote impar, denotado como $\mathcal{N}$, de las superálgebras Lie ortosimplécticas $\mathfrak{osp}(m|2n)$. Mientras que la resolución de Grothendieck-Springer para el cono nílpote de las álgebras de Lie semisimples está bien establecida, el caso de la superálgebra presenta desafíos únicos debido a la existencia de múltiples clases de conjugación de subálgebras de Borel y variedades de banderas no isomórficas. El trabajo previo de Gruson y Leidwanger [4] construyó con éxito tal resolución para los casos específicos donde $m = 2n$ y $m = 2n+1$. El objetivo principal de este artículo es extender estos resultados para cubrir todos los valores de $m$ y $n$, abordando específicamente los casos $m = 2n-1$ y $m = 2n+2$, y proporcionar una construcción generalizada para cualquier $m, n$ donde el enfoque estándar de banderas completas falla.

Metodología
El autor emplea un enfoque geométrico que involucra el estudio de banderas completas y parciales auto-ortogonales en los espacios vectoriales asociados $V_0$ (dimensión $m$, equipado con una forma ortogonal) y $V_1$ (dimensión $2n$, equipado con una forma simpléctica).

1. Resolución mediante Banderas Completas: Para los casos $m \in \{2n-1, 2n, 2n+1, 2n+2\}$, el artículo define una variedad $\tilde{\mathcal{N}}$ que consiste en triples $(A, F_0, F_1)$, donde $A$ es un operador nílpote que respeta banderas auto-ortogonales completas $F_0$ y $F_1$. Se analiza la aplicación de proyección $pr_1: \tilde{\mathcal{N}} \to \mathcal{N}$. El autor demuestra la suryectividad y la biracionalidad mediante la construcción explícita de bases para las banderas que respetan la acción de $A$, utilizando la clasificación de órbitas nílpotes vía diagramas $ab$ (Kraft-Procesi y Berezhnoy).
2. Contraejemplos y Generalización: El artículo demuestra que, para $m$ fuera del rango $[2n-1, 2n+2]$, la aplicación $pr_1$ utilizando banderas completas no es biracional (las fibras son isomorfas a $\mathbb{P}^1$ sobre la órbita abierta). Para resolver esto, el autor introduce una construcción modificada utilizando banderas auto-ortogonales parciales. Esto implica definir subconjuntos cerrados en $\text{Hom}(V_0, V_1) \times \mathcal{B}'_0 \times \mathcal{B}_{1,k}$ (o variaciones similares dependiendo de la relación entre $m$ y $n$) definidos por relaciones de incidencia específicas.
3. Secciones de Weierstrass y Regularidad: El artículo construye una sección de Weierstrass $\Sigma = u + L$ para el cono nílpote impar, donde $u$ es un elemento regular y $L$ es un fibrado normal. Esta sección se utiliza para estudiar la regularidad de los elementos impares y sus superconmutadores propios ($A A^*$ y $A^* A$).
4. Vanishing de Cohomología: La sección final aplica resultados de [8] respecto al vanishing (anulación) de la cohomología superior para fibrados de líneas en la resolución, derivando cotas inferiores explícitas para los pesos $\mu$ que garantizan el vanishing.

Contribuciones Clave y Resultados

• Extensión de Teoremas de Resolución: El artículo demuestra que la aplicación $pr_1$ es una resolución de singularidades para $\mathfrak{osp}(m|2n)$ en los casos $m = 2n-1$ y $m = 2n+2$, completando el panorama para los casos "cercanos a la diagonal" donde $|m - 2n| \leq 2$.
• Resolución Generalizada: Para cualquier $m, n$ (específicamente cuando $m < 2n-1$ o $m > 2n+2$), el artículo construye una nueva resolución de singularidades utilizando banderas auto-ortogonales parciales. Se demuestra que esta construcción es una resolución probando la biracionalidad de la nueva aplicación de proyección $pr'_1$ en elementos nílpotes regulares.
• Construcción Explícita de Bases: El autor proporciona algoritmos explícitos para construir las bases de las banderas $F_0$ y $F_1$ que son respetadas por un dado operador nílpote $A$, categorizadas por la descomposición de $A$ en bloques ($\alpha, \beta, \gamma, \delta, \epsilon$). Esto incluye el manejo de las ambigüedades específicas que surgen en los casos $m=2n+2$ y $m=2n-1$ respecto a los componentes conexos de la variedad de banderas.
• Relaciones de Regularidad: El artículo establece implicaciones entre la regularidad de un elemento impar $A \in V_0 \otimes V_1$ y la regularidad de sus superconmutadores propios $q_0(A) = A^*A$ y $q_1(A) = AA^*$. Se muestra que para $m \in \{2n-1, 2n, 2n+1, 2n+2\}$, la regularidad de $A$ está estrechamente ligada a la regularidad de su imagen en la parte par de la superálgebra.
• Cotas Cohomológicas: Se calculan cotas inferiores explícitas para los pesos $\mu$ para asegurar el vanishing de los grupos de cohomología superior $H^i(\tilde{\mathcal{N}}, \mathcal{L}(\mu)^*)$ para $i \geq 1$. Estas cotas dependen de la relación específica entre $m$ y $n$.

Significado y Reivindicaciones
El autor afirma que este trabajo extiende los resultados de Gruson y Leidwanger [4] a todos los casos de $m$ y $n$. La significancia radica en proporcionar un marco geomético unificado para el cono nílpote impar de las superálgebras ortosimplécticas, lo cual es esencial para el cálculo de caracteres irreducibles finitos y polinomios de Kostka ortosimplécticos.

El artículo señala modestamente que, aunque la construcción de la resolución es explícita, se omite una prueba directa de suryectividad para el caso generalizado (usando banderas parciales) debido a su complejidad, apoyándose en su lugar en la densidad de las órbitas regulares y la propiedad de la aplicación de ser propia. Además, el autor observa que las propiedades de positividad de los polinomios de Kostka ortosimplécticos sugieren una conjetura de que la cohomología superior se anula para cualquier peso dominante, aunque esto permanece sin probar en el texto actual. El trabajo sirve como un paso fundacional para futuras aplicaciones en la teoría de invariantes y la teoría de representaciones de superálgebras de Lie.