[论文解读] Singularities of closures of spherical $B$-conjugacy classes of nilpotent orbits

Martin Bender, Nicolas Perrin|arXiv (Cornell University)|Dec 17, 2014

Advanced Algebra and Geometry参考文献 29被引用 4

一句话总结

该论文证明了对于单连通的半单代数群，任意Borel轨道在高度为2的幂零轨道中的闭包是正规的，并且存在有理奇点解析。通过从Jordan代数出发的抛物诱导和Frobenius分裂技巧，作者将此结果推广至A型或秩为2的元素情形下的整个李代数，证明了在适当特征条件下该闭包的正规性与有理奇点解析。

ABSTRACT

We prove that for a simply laced group, the closure of the Borel conjugacy class of any nilpotent element of height $2$ in its conjugacy class is normal and admits a rational resolution. We extend this, using Frobenius splitting techniques, to the closure in the whole Lie algebra if either the group has type $A$ or the element has rank $2$.

研究动机与目标

• 确定球对称幂零轨道中Borel轨道闭包的几何性质，特别是高度为2的幂零元素的情形。
• 在单连通群中建立这些轨道闭包的正规性与有理奇点解析的存在性。
• 利用Frobenius分裂技巧将这些结果推广至整个李代数，尤其在A型或秩为2的元素情形。
• 通过显式例子研究非单连通类型（如C型和B型）中正规性的失效。

提出的方法

• 使用抛物诱导将高度为2的幂零轨道实现为Jordan代数中稠密轨道的诱导。
• 分析Jordan代数中稠密的$ B $-轨道结构，证明其同构于仿射空间。
• 为$ \overline{B\cdot x} $构造具有连通纤维的奇点解析，从而在$ G $-轨道之外证明有理奇点解析与正规性。
• 在Jordan代数和秩为2的情形下应用Frobenius分裂技巧，将正规性结果推广至整个李代数。
• 利用$ B $-轨道上的弱Bruhat序分析球对称空间中的闭包图与轨道结构。
• 在$ F_4 $与$ G_2 $型中进行显式计算，包括闭包图与轨道维数序列。

实验结果

研究问题

• RQ1 对于单连通群，高度为2的幂零轨道中Borel轨道的闭包是否正规？
• RQ2 此类闭包是否允许有理奇点解析？
• RQ3 在适当条件下，$ \overline{B\cdot x} $ 的正规性与有理奇点解析能否推广至整个李代数$ \mathfrak{g} $？
• RQ4 在非单连通群（如C型或B型）中，Borel轨道闭包的正规性如何？
• RQ5 在经典群中，是否存在Borel轨道闭包及其闭包图的显式描述？

主要发现

• 对于单连通群及高度为2的幂零元素，闭包$ \overline{B\cdot x} $是正规的，并且具有连通纤维的有理奇点解析。
• 闭包$ \overline{B\cdot x} $与它的正规化同胚，确认了强几何正则性。
• 在A型中，闭包$ \overline{B\cdot x} \subset \mathfrak{g} $是正规的，并且在无特征限制下具有有理奇点解析。
• 在非A型的单连通群中，对于秩为2的元素，若$ \operatorname{char}(\mathsf{k}) \neq 2 $，则闭包$ \overline{B\cdot x} \subset \mathfrak{g} $是正规的，并且具有有理奇点解析。
• 在$ F_4 $型中，轨道闭包$ \overline{B\cdot X_{(1221)}} $沿$ \overline{B\cdot(X_{(2421)}+X_{(2221)})} $非正规，表明在非极小秩情形下正规性可能失效。
• 在$ G_2 $型中，高度为3的轨道$ \mathcal{O}_8 $的闭包非正规，其一个$ B $-轨道闭包也非正规，说明高度与秩在正规性中的关键作用。