[論文レビュー] Equivariant Sheaves on Flag Varieties

Olaf M. Schnürer|arXiv (Cornell University)|Sep 27, 2008

Algebraic structures and combinatorial models参考文献 17被引用数 4

ひとこと要約

この論文は、旗多様体 $G/P$ 上の可解層のBorel-equivariant導来カテゴリと、単純なequivariant perverse層の拡張代数上の微分付き可換モジュールのperfect導来カテゴリの間でt-正確な同型を確立する。主な結果は、ABCD近似と逆極限を用いてequivariant導来カテゴリの形式的性を示すことにより、SörgelとLuntsの予想を証明する。これにより、旗多様体上のequivariant層理論が代数的に記述可能となる。

ABSTRACT

We show that the Borel-equivariant derived category of sheaves on the flag variety of a complex reductive group is equivalent to the perfect derived category of dg modules over the extension algebra of the direct sum of the simple equivariant perverse sheaves. This proves a conjecture of Soergel and Lunts in the case of flag varieties.

研究の動機と目的

• 旗多様体上のBorel-equivariant導来カテゴリの代数的記述を確立すること。
• SörgelとLuntsの予想、すなわちequivariant導来カテゴリが単純なequivariant perverse層の拡張代数上のdgモジュールのperfect導来カテゴリに同型であることを証明すること。
• トーリック多様体および対称多様体に対する既知の形式的性結果を、旗多様体の場合にまで拡張すること。
• equivariant perverse層のカテゴリとdgモジュールの完全な部分カテゴリとの間でt-正確な同型を確立すること。
• forgetful関手とスカラー拡張関手を介して、equivariantおよび非equivariant導来カテゴリの関係を明確にすること。

提案手法

• B-層状の旗多様体 $(G/P, \mathcal{S})$ に対して、一連のequivariantベクトルバンドルと商を用いたABCD近似を構成する。
• 逆極限を用いて、equivariant導来カテゴリを近似空間上の層のカテゴリの極限として実現する。
• 自明な微分を持つ拡張代数 $\operatorname{Ext}(\mathcal{I}\mathcal{C}_B(\mathcal{S}))$ の形式的性を用いて、dgモジュールのperfect導来カテゴリへの同型を確立する。
• dgモジュールカテゴリに、コホミロジーが0次の部分に集中する部分カテゴリ $\operatorname{dgFlag}(\mathcal{E})$ を用いてt構造を定義する。
• forgetful関手とスカラー拡張関手を含む可換図式を構成し、equivariantおよび非equivariantの設定を結びつける。
• 誘導同型を用いて $\mathcal{D}^b_{B,c}(G/P)$ を $\mathcal{D}^b_{G,c}(G\times_B G/P)$ に結びつけ、G多様体の場合に還元する。

実験結果

リサーチクエスチョン

• RQ1 旗多様体上のBorel-equivariant導来カテゴリは、単純なequivariant perverse層の拡張代数上のdgモジュールのperfect導来カテゴリに同型であるか？
• RQ2 自明な微分を持つ拡張代数 $\operatorname{Ext}(\mathcal{I}\mathcal{C}_B(\mathcal{S}))$ の形式的性は、$\operatorname{dgPer}(\mathcal{E})$ へのt-正確な同型を示唆するか？
• RQ3 有限個の軌道を持つ射影的多様体に対するSörgelとLuntsのequivariant導来カテゴリに関する予想は、旗多様体の場合に検証可能か？
• RQ4 forgetful関手とスカラー拡張関手を介して、equivariantおよび非equivariant導来カテゴリはどのように関係するか？
• RQ5 dgPer$(\mathcal{E})$ 上のt構造の心は、equivariant perverse層のカテゴリと同型か？

主な発見

• t-正確な同型 $\mathcal{D}^b_{B,c}(G/P) \cong \operatorname{dgPer}(\operatorname{Ext}(\mathcal{I}\mathcal{C}_B(\mathcal{S})))$ が存在し、SörgelとLuntsの旗多様体における主な予想を証明する。
• この同型は、心のカテゴリへ制限され、$\operatorname{Perv}_B(G/P) \cong \operatorname{dgFlag}(\operatorname{Ext}(\mathcal{I}\mathcal{C}_B(\mathcal{S})))$ を与える。
• 単純なequivariant perverse層 $\mathcal{I}\mathcal{C}_B(S)$ は、インデcomposableな射影的dg $\mathcal{E}$-モジュール $e_S \mathcal{E}$ に対応する。
• forgetful関手 $\operatorname{For}: \mathcal{D}^b_{B,c}(G/P) \to \mathcal{D}^b(G/P,\mathcal{S})$ は、スカラー拡張関手 $?-\overset{L}{\otimes}_{\mathcal{E}} \mathcal{F}$ と可換図式を形成し、equivariantおよび非equivariantの設定を結びつける。
• 非equivariant版も成り立つ：$\mathcal{D}^b(G/P,\mathcal{S}) \cong \operatorname{dgPer}(\operatorname{Ext}(\mathcal{I}\mathcal{C}(\mathcal{S})))$。
• 主な同型の複素化版も有効であり、Remark 72における図式の可換性によって示される。