[論文レビュー] Derived category of V_{12} Fano threefolds

Alexander Kuznetsov|ArXiv.org|Oct 1, 2003

Algebraic Geometry and Number Theory参考文献 4被引用数 3

ひとこと要約

この論文は、$V_{12}$ ファノ3次元多様体の導来カテゴリの半直交分解を確立し、$\mathcal{D}^b(X) = \langle \mathcal{U}_+, \mathcal{O}_X, \mathcal{D}^b(C^\vee) \rangle$ と表す。非自明な成分が、種数7の曲線 $C^\vee$ の導来カテゴリに同値であることを証明する。主な結果は、$X$ 上の円錐のファノ表面が $C^\vee$ の対称平方に同型であることを示し、核関手とラグランジュングラスマンニアン内の直交切断を用いる。

ABSTRACT

A V_{12} Fano threefold is a smooth Fano threefold X of index 1 with Pic X = Z and (-K_X)^3=12. We show that the bounded derived category of coherent sheaves on any V_{12} threefold X admits a semiorthogonal decomposition consisting of two exceptional bundles and of the derived category of a curve of genus 7. As an application we show that the Fano surface of X (the surface parameterizing conics on X) is canonically isomorphic to the symmetric square of the associated genus 7 curve.

研究の動機と目的

• $V_{12}$ ファノ3次元多様体の導来カテゴリの半直交分解を確立すること。
• 分解における直交成分 $\mathcal{A}_X$ が曲線の導来カテゴリに同値であることを特定すること。
• $X$ 上の円錐のファノ表面が曲線 $C^\vee$ の対称平方に同型であることを示すこと。
• 核関手とラグランジュングラスマンニアン内の直交切断を用いて、導来同値性を構成および検証すること。

提案手法

• $X$ を $\mathbb{P}^9$ 内のラグランジュングラスマンニアン $\mathsf{LGr}_+(V)$ の連結成分に埋め込む。$X = \mathsf{LGr}_+(V) \cap \mathbb{P}^8$ と定義する。
• $\mathcal{D}^b(X)$ 内で例外的ペア $(\mathcal{U}_+, \mathcal{O}_X)$ を構成し、半直交分解 $\mathcal{D}^b(X) = \langle \mathcal{U}_+, \mathcal{O}_X, \mathcal{A}_X \rangle$ を得る。
• $\mathcal{A}_X$ を直交部分カテゴリ $^\perp\langle \mathcal{U}_+, \mathcal{O}_X \rangle$ として特定する。
• $c_1=1$, $c_2=5$ を満たす $X$ 上の安定なランク2ベクトルバンドルの普遍族を用いて、核関手 $\Phi_{\mathcal{E}_1}: \mathcal{D}^b(C^\vee) \to \mathcal{D}^b(X)$ を定義する。
• $\Phi_{\mathcal{E}_1}$ が完全かつ faithful であり、その像が $\mathcal{A}_X$ 内にあることを示し、超平面切断への制限とグルーピングの議論により、本質的全射性を証明する。
• $K3$ 表面におけるモジュライ空間の同型と $S$ 上での核関手の同値性を用いて、$\Phi_{\mathcal{E}_1}$ が $\mathcal{A}_X$ に同値であることを導く。

実験結果

リサーチクエスチョン

• RQ1 $V_{12}$ ファノ3次元多様体の導来カテゴリの構造は何か？
• RQ2 直交成分 $\mathcal{A}_X$ は $X$ の代数幾何的不変量とどのように関係するか？
• RQ3 $X$ 上の円錐のファノ表面は、曲線の対称冪に同型か？
• RQ4 $X$ の導来カテゴリは、曲線による半直交分解で記述可能か？
• RQ5 直交切断 $C^\vee$ は $X$ の導来カテゴリにおいて果たす役割は何か？

主な発見

• $V_{12}$ ファノ3次元多様体の導来カテゴリは、$\mathcal{D}^b(X) = \langle \mathcal{U}_+, \mathcal{O}_X, \mathcal{D}^b(C^\vee) \rangle$ という半直交分解をもつ。ここで $C^\vee$ は種数7の滑らかな曲線である。
• 直交成分 $\mathcal{A}_X$ は $\mathcal{D}^b(C^\vee)$ に同値であり、導来同値性が確立される。
• $X$ 上の円錐のファノ表面は、種数7の曲線 $C^\vee$ の対称平方 $S^2C^\vee$ に同型である。
• 核関手 $\Phi_{\mathcal{E}_1}: \mathcal{D}^b(C^\vee) \to \mathcal{D}^b(X)$ は完全かつ faithful であり、$\mathcal{A}_X$ に同値を誘導する。左随伴 $\Phi_{\mathcal{E}_1}^!$ は円錐の構造層を $C^\vee$ 上の長さ2の部分スキームに写す。
• 左随伴 $\Phi_{\mathcal{E}_1}^!$ は $C^\vee$ 上の長さ2の部分スキームの構造層に同型であり、誘導される写像 $F_X \to S^2C^\vee$ は同型である。
• 曲線 $C^\vee$ は双対射影空間内での直交切断 $\mathsf{LGr}_-(V) \cap \mathbb{P}^6$ として現れ、$c_1=1$, $c_2=5$ を満たす $X$ 上の安定なランク2ベクトルバンドルのモジュライ空間に同型である。