[論文レビュー] Derived categories of cubic and V14 threefolds

Alexander Kuznetsov|ArXiv.org|Mar 4, 2003

Algebraic Geometry and Number Theory参考文献 12被引用数 36

ひとこと要約

この論文は、立方三様多様体と $V_{14}$ ファノ三様多様体の、非自明な導来カテゴリの間で導来同値性を確立し、$X$ に関連するカテゴリ $\mathcal{A}_X$ が双有理不変量であることを示している。この同値性は、例外的バンドルとインスタントンバンドルのプロジェクトイゼーションを結ぶ幾何学的フロップから生じており、$V_{22}$ 三様多様体で観察された構成を一般化し、ファノ幾何における導来不変量のより広範な枠組みを示唆している。

ABSTRACT

We show that the projectivization of the exceptional rank 2 vector bundle on an arbitrary smooth V14 Fano threefold after a certain natural flop turns into the projectivization of an instanton vector bundle on a smooth cubic threefold. And vice versa, starting from a smooth cubic threefold with an instanton vector bundle of charge 2 on it we reconstruct V14 threefold. Relying on the geometric properties of the above correspondence we prove that the orthogonals to the exceptional pairs in the bounded derived categories of coherent sheaves on a smooth V14 threefold and on the corresponding cubic threefold are equivalent as triangulated categories.

研究の動機と目的

• $V_{14}$ と立方三様多様体の間の導来カテゴリカル同値性を確立し、既知の双有理対応を拡張すること。
• カテゴリ $\mathcal{A}_X$ が $X$ の双有理類を独立に保つ双有理不変量であることを示すこと。
• カテゴリ $X$ と $Y$ の導来カテゴリの構造が、例外的ペアおよびその直交成分の導来同値性によって支配されることを示すこと。
• プロジェクトドバンドル間のフロップを通じた幾何的メカニズムを提供し、この導来同値性を実現すること。

提案手法

• 図式 $\mathbb{P}_Y(\mathcal{E})$ と $\mathbb{P}_X(\mathcal{U})$ を $Y$ と $X$ 上に構成し、フロップ $\theta$ で接続する。
• カテゴリ $\mathcal{U}$ が $X$ 上で例外的バンドルであり、$\mathcal{E}$ が $Y$ 上で電荷 2 のインスタントンバンドルであることに着目する。
• 図式内の写像 $\psi$ と $\phi$ が、$\mathbb{P}^5$ 内の特異な四次超曲面 $Q$ への小さな双有理収縮であることを示す。
• フロップ $\theta$ と関連するフォーリエ＝ムーカイ変換を用いて、三角カテゴリ $\mathcal{A}_X \simeq \mathcal{A}_Y$ の同値性を構成する。
• $V_{14}$ 三様多様体のモジュライスタックが、電荷 2 のインスタントンバンドルを備えた立方三様多様体のモジュライスタックと同型であることを証明する。
• コhomオロジー計算とセール双対性を用いて、インスタントンバンドルを定義する消滅条件を検証し、ねじれのコホモロジーのベッチ数を計算する。

実験結果

リサーチクエスチョン

• RQ1 $V_{14}$ と立方三様多様体の導来カテゴリの非自明成分の間には導来カテゴリカル同値性が存在するか？
• RQ2 $V_{14}$ 三様多様体の導来カテゴリは、その双有理類を検出可能であり、双有理変換に対して不変か？
• RQ3 プロジェクトドバンドル $\mathbb{P}_Y(\mathcal{E})$ と $\mathbb{P}_X(\mathcal{U})$ 間の幾何的フロップは、三角カテゴリ $\mathcal{A}_X$ と $\mathcal{A}_Y$ 間の同値性を誘導するか？
• RQ4 立方三様多様体の直線のファノ多様体は、カテゴリ $\mathcal{A}_Y$ から再構成可能か？
• RQ5 カテゴリ $\mathcal{A}_Y$ は、立方三様多様体 $Y$ の同型類を回復するのに十分か？

主な発見

• 導来カテゴリ $\mathcal{D}^b(X)$ と $\mathcal{D}^b(Y)$ は、それぞれ例外的ペア $({\mathcal{O}}_X, {\mathcal{U}}^*)$ と $({\mathcal{O}}_Y, {\mathcal{O}}_Y(1))$ を持つ半直交分解を許容する。
• 直交成分 $\mathcal{A}_X$ と $\mathcal{A}_Y$ は三角カテゴリとして同値である。すなわち $\mathcal{A}_X \simeq \mathcal{A}_Y$ である。
• 同値性は、図式 (*) のフロップ $\theta = \phi^{-1} \circ \psi$ に関連するフォーリエ＝ムーカイ変換を用いて明示的に構成される。
• カテゴリ $\mathcal{A}_X$ は $X$ の双有理不変量である。つまり、双有理な $X_1, X_2$ に対して $\mathcal{A}_{X_1} \simeq \mathcal{A}_{X_2}$ である。
• $Y$ の直線のファノ多様体によってパラメトライズされる $\mathcal{A}_Y$ のオブジェクトの族は、$\mathcal{A}_Y$ が $Y$ の中間ジャコビアンを決定する可能性を示唆しており、したがってトーリー定理によりその同型類を回復可能である。
• $X$ 上のシータバンドル $E$ は、$Y$ 上のトポロジカル電荷 2 のインスタントンバンドル $E(-1)$ に対応し、この対応はモジュライスタックの同型である。