[論文レビュー] Perverse Sheaves on the Nilpotent Cone and Lusztig's Generalized Springer Correspondence

Laura Rider, Amber Russell|arXiv (Cornell University)|Sep 25, 2014

Algebraic structures and combinatorial models参考文献 13被引用数 10

ひとこと要約

この論文は、Lusztigの一般化されたスプリンガー対応のカテゴリカルな枠組みを提供するため、退化コーンの等変性導来圏の直交分解を確立する。主な結果として、クリスタル的局所系のクリーニング性を証明し、特徴関数を用いない perverse sheaf を用いた Lusztig–Shoji アルゴリズムの再解釈がなされ、中心的特徴標の直交性および等変層の導来圏における Verdier 対応が鍵となる。

ABSTRACT

In this note, we consider perverse sheaves on the nilpotent cone. We prove orthogonality relations for the equivariant category of sheaves on the nilpotent cone in a method similar to Lusztig's for character sheaves. We also consider cleanness for cuspidal perverse sheaves and the generalized Lusztig--Shoji algorithm.

研究の動機と目的

• Lusztigの一般化されたスプリンガー対応を、退化コーン上の perverse sheaf を用いてカテゴリカルに再定式化すること。
• 中心的特徴標理論を用いて、等変性 perverse sheaf 間の直交関係を確立すること。
• 良い特性において、退化コーン上のクリスタル的局所系のクリーニング性を証明すること。
• 有限群の特徴関数に依存しない、sheaf 理論的技法を用いた Lusztig–Shoji アルゴリズムの再導出。
• 相対 Weyl 群の不変量を用いて、等変性 perverse sheaf 間の Ext-群の構造を記述し、形式的予想の前進を図ること。

提案手法

• 退化コーン $\mathcal{N}$ 上の $\bar{\mathbb{Q}}_\ell$-係数の構成可能層の等変性導来圏 $\mathrm{D}^\mathrm{b}_G(\mathcal{N})$ を用いる。
• クリスタル的データの異なる中心的特徴標を用いた直交分解 $\mathrm{D}^\mathrm{b}_G(\mathcal{N}) \cong \bigoplus_{\mathbf{c}/\sim} \mathrm{D}^\mathrm{b}_G(\mathcal{N}, \mathbb{A}_\mathbf{c})$ を適用する。
• Verdier 対応と中心的特徴標理論を用いて、異なる中心的特徴標を持つ層同士には非自明な拡張が存在しないことを示す。
• 一般化されたグリーン関数を perverse sheaf の茎として解釈し、群の特徴関数に依存しない形で再定式化する。
• 基底変換と随伴商写像の平坦性を用いて、等変性層を $G/Z \times X$ 上の局所系と関連付ける。
• 導来圏の技法を用いて Lusztig–Shoji アルゴリズムを再構成し、Ext 計算における形式的性を証明する。

実験結果

リサーチクエスチョン

• RQ1 Lusztigの一般化されたスプリンガー対応は、退化コーン上の perverse sheaf を用いてどのように再表現できるか？
• RQ2 クリスタル的データによる分解を通じて、等変性導来圏 $\mathrm{D}^\mathrm{b}_G(\mathcal{N})$ のカテゴリカル構造はいかなるものか？
• RQ3 なぜ退化コーン上のクリスタル的局所系は良い特性においてクリーニングか？
• RQ4 群論的特徴関数に依存しない、sheaf 理論的技法を用いて Lusztig–Shoji アルゴリズムを再証明できるか？
• RQ5 相対 Weyl 群の不変量を用いて、等変性 perverse sheaf 間の Ext-群の構造はどのように記述されるか？

主な発見

• 等変性導来圏 $\mathrm{D}^\mathrm{b}_G(\mathcal{N})$ は、クリスタル的データ $\mathbf{c}$ によって添字づけられた直交分解を有し、各ブロックは誘導された perverse sheaf $\mathbb{A}_\mathbf{c}$ の単純な直和成分によって生成される。
• 良い特性において、退化コーン上のクリスタル的局所系はクリーニングである。これは直交分解と Verdier 対応を用いた証明による。
• 退化コーン上の perverse sheaf 間の Ext-群は、相対 Weyl 群の作用による不変量として計算され、命題 4.7 で示された。
• Lusztig–Shoji アルゴリズムは、perverse sheaf 理論的技法を用いて再証明され、一般化されたグリーン関数は perverse sheaf の茎として解釈された。
• 異なる中心的特徴標を持つ perverse sheaf 間には非自明な拡張が存在しない。これは、中心的特徴標が押し出しにおいて不変であることを用いた命題 A.8 で確立された。
• 直交分解は、一般化されたグリーン関数間の直交関係のカテゴリカルな解釈を提供する。