[论文解读] Springer fiber components in the two columns case for types A and D are normal

Nicolas Perrin, Evgeny Smirnov|arXiv (Cornell University)|Jul 3, 2009

Algebraic structures and combinatorial models参考文献 12被引用 7

一句话总结

本文证明了在类型 A 和 D 中，对于满足 N² = 0 的幂零元素，Springer纤维的不可约分支在任意特征下均为正规、Cohen–Macaulay 且具有有理奇点。通过 Frobenius 拆分技术并构造 Bott–Samelson 类型的有理化方法，作者在任意特征下建立了正规性和有理奇点，扩展了二维列情形下的已知结果。

ABSTRACT

We study the singularities of the irreducible components of the Springer fiber over a nilpotent element N with N^2=0 in a Lie algebra of type A or D (the so-called two columns case). We use Frobenius splitting techniques to prove that these irreducible components are normal, Cohen-Macaulay, and have rational singularities.

研究动机与目标

• 理解类型 A 和 D 中二维列情形下 Springer 纤维不可约分支的奇点性质。
• 确定这些分支是否为正规、Cohen–Macaulay，或具有有理奇点。
• 为二维列情形下的每个不可约分支构造一个有理化方法。
• 证明这些分支在正特征下为 Frobenius 拆分，从而在所有特征下蕴含正规性。
• 通过 Frobenius 拆分与化方法，将有理奇点结果推广至任意特征。

提出的方法

• 使用 Bott–Samelson 类型的化方法，为 Springer 纤维每个不可约分支 X 构造一个双有理化方法 π: X̃ → X。
• 利用 Frobenius 拆分技术，证明化方法 π 与全空间的拆分相容，从而推出正规性。
• 通过验证 Rⁱπ*𝒪 = 0（当 i > 0 时）以及 π*ωX̃ = ωX，证明化方法 π 为有理化方法。
• 利用化方法中存在 G-等变的开稠密子集来控制例外子簇，并应用消去定理。
• 利用 Zariski 主定理与投影公式，推导出结构层与对偶层的高阶直接像的消去性。
• 应用 [BK05] 和 [GR70] 的结果，建立特征零情形下的有理奇点。

实验结果

研究问题

• RQ1 在任意特征下，类型 A 和 D 中二维列情形下 Springer 纤维的不可约分支是否为正规？
• RQ2 这些分支是否具有有理奇点，特别是在特征零情形下？
• RQ3 能否为二维列情形下每个不可约分支显式构造一个有理化方法？
• RQ4 化方法 π: X̃ → X 是否在层上同调消去意义下为有理化方法？
• RQ5 Frobenius 拆分技术能否用于证明正特征下正规性与有理奇点？

主要发现

• 在任意特征下，类型 A 和 D 中二维列情形下 Springer 纤维的不可约分支 X 均为正规。
• 这些分支为 Cohen–Macaulay，且对偶层与 π*ωX̃ 同构。
• 化方法 π: X̃ → X 为有理化方法，满足 π*𝒪X̃ = 𝒪X 且当 i > 0 时 Rⁱπ*𝒪X̃ = 0。
• 在特征零下，这些分支具有有理奇点，即 Grauert–Riemenschneider 定义下的有理奇点。
• 化方法 π 与 Frobenius 拆分相容，且例外子簇包含于边界除子中，从而实现上同调消去。
• 证明依赖于将化方法嵌入旗流形，并利用 Schubert 类似子簇的几何性质与 G-等变性。