[論文レビュー] 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に対して、スプリングァー層の非可約成分が正規で、コhen–マカウレイであり、有理的特異点を持つことを証明する。フロベニウス分割技術を用い、ボット–サマエルソン型の解像を通じて有理的解像を構成することで、任意の特徴量において正規性と有理的特異点を確立し、2列の場合に既知の結果を拡張する。

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の2列の場合のスプリングァー層の非可約成分の特異点を理解すること。
• これらの成分が正規で、コhen–マカウレイであるか、あるいは有理的特異点を持つかどうかを特定すること。
• 2列の場合の各非可約成分に対して有理的解像を構成すること。
• これらの成分が正の特徴量においてフロベニウス分割可能であることを証明し、すべての特徴量において正規性を示すこと。
• フロベニウス分割と解像技術を用いて、有理的特異点に関する結果を任意の特徴量に拡張すること。

提案手法

• 各スプリングァー層の非可約成分Xのための双有理的解像π: X̃ → Xを、ボット–サマエルソン型の解像を用いて構成する。
• フロベニウス分割技術を用いて、解像πが周囲の多様体の分割と整合することを示し、正規性を示す。
• Rⁱπ*𝒪 = 0 (i > 0) および π*ωX̃ = ωX を確認することで、解像πが有理的解像であることを証明する。
• 解像にG-不変な開稠密部分集合が存在することを活用し、例外的局所を制御し、消失定理を適用する。
• ザリスキの主要定理と投影公式を用いて、構造層および双対層の高次直接像の消失を導出する。
• 文献[BK05]および[GR70]の結果を応用し、特徴量0における有理的特異点を確立する。

実験結果

リサーチクエスチョン

• RQ1 タイプAおよびDの2列の場合のスプリングァー層の非可約成分は、任意の特徴量において正規か？
• RQ2 特に特徴量0において、これらの成分は有理的特異点を持つか？
• RQ3 2列の場合の各非可約成分に対して、有理的解像を明示的に構成できるか？
• RQ4 解像π: X̃ → Xは、コherentコhomologyの消失の意味で有理的解像か？
• RQ5 フロベニウス分割技術を用いて、正の特徴量における正規性と有理的特異点を証明できるか？

主な発見

• タイプAおよびDの2列の場合のスプリングァー層の非可約成分Xは、任意の特徴量において正規である。
• 成分はコhen–マカウレイであり、双対層はπ*ωX̃と同型である。
• 解像π: X̃ → Xは有理的解像であり、π*𝒪X̃ = 𝒪Xおよびi > 0に対してRⁱπ*𝒪X̃ = 0を満たす。
• 特徴量0では、グラウエルト–ライメンシュトラウスの定義に従い、成分は有理的特異点を持つ。
• 解像πはフロベニウス分割と整合し、例外的局所は境界除集合に含まれるため、コhomological消失が可能である。
• 証明は、解像をフラッグ多様体に埋め込み、シューベルト型多様体とG-不変性の幾何を用いることに依存する。