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

技术摘要：正交超对称李超代数奇性奇性解的解析

问题陈述
本文研究了正交超对称李超代数 $\mathfrak{osp}(m|2n)$ 的奇幂零锥 $\mathcal{N}$ 的 Springer 型奇性解析（resolution of singularities）的构造。虽然对于半单李代数的幂零锥，Grothendieck-Springer 解析已得到充分建立，但超代数的情况由于存在多种 Borel 子代数共轭类和非同构的旗簇（flag varieties），呈现出独特的挑战。Gruson 和 Leidwanger [4] 的前人工作成功地为 $m = 2n$ 和 $m = 2n+1$ 的特定情况构造了此类解析。本文的主要目标是将这些结果扩展到涵盖所有 $m$ 和 $n$ 的值，特别是针对 $m = 2n-1$ 和 $m = 2n+2$ 的情况，并为标准完全旗（complete flag）方法失效时的任意 $m, n$ 提供一个广义构造。

方法论
作者采用了一种几何方法，涉及研究相关向量空间 $V_0$（维数为 $m$，配备正交形式）和 $V_1$（维数为 $2n$，配备辛形式）中的完全自正交旗（complete self-orthogonal flags）和部分自正交旗（partial self-orthogonal flags）的研究。

1. 通过完全旗进行的解析：对于 $m \in \{2n-1, 2n, 2n+1, 2n+2\}$ 的情况，本文定义了一个由三元组 $(A, F_0, F_1)$ 组成的簇 $\tilde{\mathcal{N}}$，其中 $A$ 是一个尊重完全自正交旗 $F_0$ 和 $F_1$ 的幂零算子。通过分析投影映射 $pr_1: \tilde{\mathcal{N}} \to \mathcal{N}$，作者利用通过 $ab$-图（Kraft-Procesi 和 Berezhnoy）分类幂零轨道来构造尊重算子 $A$ 作用的旗基，从而证明了满射性和双有理性。
2. 反例与推广：本文证明了当 $m$ 在范围 $[2n-1, 2n+2]$ 之外时，使用完全旗的映射 $pr_1$ 不是双有理的（在开轨道上纤维同构于 $\mathbb{P}^1$）。为了解决这个问题，作者引入了一种使用部分自正交旗的改进构造。这涉及定义由特定的相干关系切出的 $\text{Hom}(V_0, V_1) \times \mathcal{B}'_0 \times \mathcal{B}_{1,k}$（或根据 $m$ 与 $n$ 的关系进行类似变化）中的闭子集。
3. Weierstrass 截面与正则性：作者构造了奇幂零锥的一个 Weierstrass 截面 $\Sigma = u + L$，其中 $u$ 是一个正则元素，$L$ 是一个法丛。该截面被用于研究奇元素及其自超对易子（self-supercommutators, $A A^*$ 和 $A^* A$）的正则性。
4. 上同调消失：最后一部分应用了关于解析上线丛高阶上同调消失性的结果 [8]，推导出了保证消失性的权重 $\mu$ 的显式下界。

主要贡献与结果

• 解析定理的扩展：本文证明了对于 $\mathfrak{osp}(m|2n)$，当 $m = 2n-1$ 和 $m = 2n+2$ 时，映射 $pr_1$ 是奇性解析，完成了对于“近对角线”情况（即 $|m - 2n| \leq 2$）的图景构建。
• 广义解析：对于任意 $m, n$（特别是当 $m < 2n-1$ 或 $m > 2n+2$ 时），本文使用部分自正交旗构造了一个新的奇性解析。通过证明新的投影映射 $pr'_1$ 在正则幂零元素上的双有理性，证明了该构造是一个解析。
• 显式基构造：作者提供了构造由给定幂零算子 $A$ 所尊重的旗 $F_0$ 和 $F_1$ 的基的显式算法，这些基按 $A$ 的块分解（$\alpha, \beta, \gamma, \delta, \epsilon$）进行分类。这包括处理在 $m=2n+2$ 和 $m=2n-1$ 的情况下，关于旗簇连通分量的特定歧义问题。
• 正则性关系：本文建立了奇元素 $A \in V_0 \otimes V_1$ 的正则性与其自超对易子 $q_0(A) = A^*A$ 和 $q_1(A) = AA^*$ 的正则性之间的蕴含关系。研究表明，对于 $m \in \{2n-1, 2n, 2n+1, 2n+2\}$，$A$ 的正则性与其在偶部中的像的正则性紧密相关。
• 上同调界限：计算了确保高阶上同调群 $H^i(\tilde{\mathcal{N}}, \mathcal{L}(\mu)^*) = 0$（对于 $i \geq 1$）的权重 $\mu$ 的显式下界。这些界限取决于 $m$ 与 $n$ 的具体关系。

意义与主张
作者声称这项工作将 Gruson 和 Leidwanger [4] 的结果扩展到了所有 $m$ 和 $n$ 的情况。其意义在于为正交超对称李超代数的奇幂零锥提供了一个统一的几何框架，这对于计算有限维不可约特征标和正交超对称 Kostka 多项式至关重要。

本文谦虚地指出，虽然解析的构造是显式的，但由于复杂性，文中省略了使用部分旗进行广义情况满射性的直接证明，而是依赖于正则轨道的密度和映射的恰当性（properness）。此外，作者观察到正交超对称 Kostka 多项式的正性性质暗示了一个猜想，即对于任何优势权重（dominant weight），高阶上同调都消失，尽管这在当前文本中尚未得到证明。这项工作为进一步在不变理论和李超代数表示论中的应用奠定了基础。