[論文レビュー] Faisceaux pervers sur les variétés toriques lisses

Delphine Dupont|arXiv (Cornell University)|Mar 16, 2010

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

ひとこと要約

この論文は、滑らかなトーリック多様体 $X$ におけるトーラス作用による層の分離と、$X$ のファングから構成されたクーヴィーのフル部分カテゴリの間の同型を確立する。構成は、Galligo-Granger-Maisonobe の $\mathbb{C}^n$ および $\mathbb{C}^* \times \mathbb{C}^{n-1}$ における局所同型を用い、ファングに符号化された組合せ的再統合データを介してそれらを貼り合わせるもので、整合性条件により全域的な perverse sheaf 構造が保証される。

ABSTRACT

Let X be a smooth toric variety stratified by the torus action. This paper is a presentation of a description of the category Perv_X of perverse sheaves on X relatively to the fixed stratification. We define a category of representations of a quiver, defined thanks to the fan of X, equivalent to Perv_X.

研究の動機と目的

• 滑らかなトーリック多様体におけるトーラス分離に関して、 perverse sheaf の圏の明示的で組合せ的な記述を提供すること。
• $\mathbb{C}^n$ および $\mathbb{C}^* \times \mathbb{C}^{n-1}$ における局所的クーヴィー表現を、滑らかなトーリック多様体上での全域的記述に拡張すること。
• ファング構造を用いて局所 perverse sheaf 圏の貼り合わせを形式化し、ストラトム間での整合性を保証すること。
• トーリック多様体上の perverse sheaf の圏と同型であるクーヴィーとその関係の圏を定義すること。
• 全域的な perverse sheaf 圏が、構造的スタックの全域的切断として生じることを確立すること。

提案手法

• 滑らかなトーリック多様体 $X$ のファング $\Delta$ からクーヴィー $c_\Delta$ を構成する。頂点は錐に対応し、辺は codimension 1 の面関係を符号化する。
• 各頂点 $s_I$ に $n - \ell$ 個のループを割り当てる。ここで $\ell$ は $\sigma_I$ が最大次元の錐であるような集合 $I$ の最大サイズである。
• Galligo-Granger-Maisonobe が $\mathbb{C}^n$ および $\mathbb{C}^* \times \mathbb{C}^{n-1}$ に対して示した局所同型に基づき、関係が導かれるクーヴィー表現のフル部分圏 $\mathcal{C}_\Delta$ を定義する。
• 表現に課される4つの条件を導入する：(i) 面に沿った写像の整合性、(ii) 逆方向の写像の双対性、(iii) 特定の合成の可逆性、および (iv) ファングからの再統合データによるグローバル整合性。
• 滑らかなトーリック多様体が $\mathbb{C}^k \times (\mathbb{C}^*)^l$ に局所的に同型であることに着目し、クーヴィー表現の構造的スタックを定義し、その全域的切断が $\mathcal{Perv}_X$ を回復することを示す。
• 再統合条件 (iv) が、トーリック貼り合わせデータを符号化しており、グローバル圏が perverse sheaf 圏と一致することを保証することを検証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなトーリック多様体上の perverse sheaf の圏は、ファングから導かれるクーヴィー表現を用いて組合せ的に記述可能か？
• RQ2 $\mathbb{C}^n$ および $\mathbb{C}^* \times \mathbb{C}^{n-1}$ における perverse sheaf の局所同型を、滑らかなトーリック多様体上での全域的記述にどのように貼り合わせられるか？
• RQ3 クーヴィー表現が、トーラス分離の下で、正確に perverse sheaf に対応するためにはどのような関係を満たすべきか？
• RQ4 ファングの組合せ的構造は、クーヴィー表現を通じてどのように perverse sheaf の貼り合わせデータを符号化するか？
• RQ5 滑らかなトーリック多様体上の perverse sheaf のグローバル圏は、構造的スタックのクーヴィー表現の全域的切断の圏と同型か？

主な発見

• $\Delta$ から定義されたクーヴィー表現の圏 $\mathcal{C}_\Delta$ は、滑らかなトーリック多様体 $X$ 上の perverse sheaf の圏 $\mathcal{Perv}_X$ と同型である。
• クーヴィー $c_\Delta$ はファングから構成される：頂点は錐に対応し、辺は codimension 1 の面関係を符号化する。双方向の矢印を含む。
• 各頂点 $s_I$ には $n - \ell$ 個のループが割り当てられる。ここで $\ell$ は $\sigma_I$ が最大次元の錐であるような集合 $I$ の最大サイズである。
• 関係 $\mathcal{C}_\Delta$ には、面に沿った写像の整合性、逆写像の双対性、および $M_{IJ} = v_{IJ} \circ u_{IJ} + \text{id}$ のような合成の可逆性が含まれる。
• 条件 (iv) はグローバル整合性を保証する：例えば $M_{\emptyset 3} = M_{\emptyset 1}^{-1} M_{\emptyset 2}^{-1}$ であり、これはトーリック再統合データを反映している。
• グローバル圏 $\mathcal{Perv}_X$ は、ファングの組合せ的構造を用いて局所モデルを貼り合わせることで構成された構造的スタックのクーヴィー表現の全域的切断の圏と同型である。