[論文レビュー] Derived category of toric varieties with Picard number three

Arijit Dey, Michał Lasoń+1 more|arXiv (Cornell University)|Feb 18, 2010

Algebraic Geometry and Number Theory参考文献 11被引用数 8

ひとこと要約

本稿は、ピカール数3の特定の族である、$\mathbb{P}^{n-1}$ 上の $\mathcal{O}_{\mathbb{P}^{n-1}} \oplus \mathcal{O}_{\mathbb{P}^{n-1}}(b_1)$ の射影化の次元 $n-2$ の線形部分空間に沿った blown-up を含む、滑らかで完全なトーリック多様体に対して、ラインバンドルの完全で強く例外的な集合を構成する。主な貢献は、Koszul複体と除法的関係を用いた明示的構成により、この非ファノ的トーリック多様体のクラスにおける予想の妥当性を裏付けることにある。

ABSTRACT

We construct a full, strongly exceptional collection of line bundles on the variety X that is the blow up of the projectivization of the vector bundle O_{P^{n-1}}\oplus O_{P^{n-1}}(b) along a linear space of dimension n-2, where b is a non-negative integer.

研究の動機と目的

• 滑らかで完全なトーリック多様体のピカール数3に対して、完全で強く例外的なラインバンドル集合の存在に関する未解決予想を解消すること。
• ファノや低ピカール数のケースを超えて、特定の射影化バンドルのブローアップ族を分析することで、既知の結果を拡張すること。
• 除法的クラスとコhomological技法を用いて、そのような集合の明示的構成を提供すること。
• Koszul複体と除法的関係を用いて、構成された集合が完全で強く例外的であることを確認すること。

提案手法

• 著者たちは、ピカール数3のトーリック多様体を分類するBatyravの分類を用い、5つの原始的集合を持つものに焦点を当てる。
• 多様体 $X$ を $\mathbb{P}(\mathcal{O}_{\mathbb{P}^{n-1}} \oplus \mathcal{O}_{\mathbb{P}^{n-1}}(b_1))$ の次元 $n-2$ の線形部分空間に沿ったブローアップとして定義し、そのファンと原始的関係を明示的に記述する。
• ラインバンドルをその除法的クラスに従って順序付けたものとして、強いて例外的な集合を構成する：$\mathcal{O}(-kD_v - D_y - D_t)$ および $\mathcal{O}(-kD_v - D_t)$、ただし係数は原始的関係によって制約される。
• 集合を2つの部分に分割する：$Col_1$ は $D_y$ と $D_t$ を含むもの、$Col_2$ は純粋に $D_v$ 項のみを含むもので、除法的クラスの差が負にならないように保証する。
• Koszul複体を $\mathcal{O}(D_y), \mathcal{O}(D_{v_1}), \dots, \mathcal{O}(D_{v_{n-1}})$ 及びその双対版に適用し、導来カテゴリ－で中間のラインバンドルを生成する。
• 完全性は2つの補題を用いた帰納的証明により示される：1つ目は $Col_1$ と $Col_2$ から $\mathcal{O}(-kD_v - D_t)$ を生成し、2つ目は双対複体から $\mathcal{O}(-kD_v - D_y - D_t)$ を生成する。

実験結果

リサーチクエスチョン

• RQ1 次元 $n-2$ の線形部分空間に沿った $\mathbb{P}(\mathcal{O}_{\mathbb{P}^{n-1}} \oplus \mathcal{O}_{\mathbb{P}^{n-1}}(b_1))$ のブローアップに対して、完全で強く例外的なラインバンドル集合が存在するか？
• RQ2 ファノでないピカール数3のトーリック多様体に対し、そのような集合を明示的に構成できるか？
• RQ3 特定の除法的関係を持つ射影化バンドルのブローアップにおいて、完全で強く例外的なラインバンドル集合の存在が保たれるか？
• RQ4 Koszul複体を用いて、与えられた例外的集合から導来カテゴリ－内の欠落しているラインバンドルを効果的に生成できるか？
• RQ5 構成された集合が、この非ファノ的トーリック多様体の族に対して完全で強く例外的であることを満たすか？

主な発見

• 本稿は、次元 $n$ でピカール数3の滑らかで完全なトーリック多様体 $X$ に対して、完全で強く例外的なラインバンドル集合を構成する。
• 集合は明示的に $\mathcal{O}(-(n-1+b)D_v - D_y - D_t), \dots, \mathcal{O}(-bD_v - D_y - D_t), \mathcal{O}(-(n-1)D_v), \dots, \mathcal{O}$ のように順序付けられており、$b = b_1$ である。
• すべての正の高次 Ext 群が集合内の任意の2つのバンドルの間で消えることを示すことにより、強いて例外的であることが証明される。
• 集合から $B_1$, $B_2$, $B_3$ のすべてのラインバンドルが Koszul複体を用いて生成されることを示すことにより、完全性が確立される。
• 多様体 $X$ がファノでない場合でも構成が成立する。$X$ は $b < n-1$ のときのみファノであるが、結果は $b \geq 0$ のすべての値で成り立つため、非ファノの場合も含む。
• 除法的関係とファンの構造に依存するこの方法により、集合内の除法的クラスの差が有効クラスを生じないことが保証され、強いて例外的性が維持される。