[論文レビュー] The Derived Category of the Intersection of Four Quadrics

Nicolas Addington|ArXiv.org|Apr 11, 2009

Algebraic Geometry and Number Theory参考文献 19被引用数 20

ひとこと要約

本論文は、$\mathbb{P}^{2n-1}$ 内の一般の4つの二次曲面の完全交差の導来カテゴリを、$\langle\mathcal{O}(-2n+9),\dotsc,\mathcal{O}(-1),\mathcal{O},\mathcal{D}\rangle$ の形に半直交分解することを確立する。ここで $\mathcal{D}$ は、モジュライ問題から生じる非代数的複素3次元多様体上のねじれ層の導来カテゴリである。$n=4$ の場合、これはグロスによる予想を確認する、カルラヤ・3次元多様体同士の導来同値性をもたらす。非可換幾何学を避ける幾何的構成が用いられている。

ABSTRACT

The derived category of a general complete intersection of four quadrics in P^{2n-1} has a semi-orthogonal decomposition < O(-2n+9), ..., O(-1), O, D >, where D is the derived category of twisted sheaves on a certain non-algebraic complex 3-fold coming from a moduli problem. In particular, when n=4 we obtain a (twisted) derived equivalence of Calabi-Yau 3-folds predicted by Gross. This differs from Kuznetsov's result in that our construction is geometric and avoids non-commutative varieties.

研究の動機と目的

• 一般の $\mathbb{P}^{2n-1}$ 内の4つの二次曲面の完全交差の導来カテゴリに対する半直交分解の幾何的構成を提供し、非可換多様体を避ける。
• 残渣カテゴリ $\mathcal{D}$ を、ベクトル束のモジュライ問題から生じる非代数的複素3次元多様体上のねじれ層の導来カテゴリとして同定する。
• $n=4$ の場合にカルラヤ3次元多様体同士の導来同値性を確立し、グロスの予想を確認する。
• ボンダル＝オルロフおよびカプラノフの枠組みを、スピン束とクリフォード代数の高次元交差への応用を拡張することで一般化する。

提案手法

• 4つの二次曲面が張る直線 $L$ の2重被覆 $\mathcal{M}$ を構成し、その分岐点を二次曲面の特異点集合とする。この $\mathcal{M}$ は交差 $X$ 上のベクトル束のモジュライ空間として機能する。
• 二次曲面空間内での特異点集合 $\Delta_2$ の幾何を用いて、$n > 3$ のとき $\mathcal{M}$ が特異的であることを示し、ねじれ層の使用が不可避であることを示す。
• $L$ 上の代数層 $\mathcal{A}$ を一般化されたクリフォード代数構造により定義し、その導来カテゴリを押し出しと双対性を用いて $D(X)$ と関連付ける。
• $\tilde{\mathcal{M}}$ から $\mathcal{M}$ への $\mathcal{H}$ の押し出し $\pi_*\mathcal{H}$ が高次コホモロジーを持たないことを示し、$\pi_*\mathcal{H}$ が局所自由ベクトル束であることを示す。
• $\mathbb{P}^1$-バンドル $P$ 上の序列を双対化することで、同型 $\mathcal{J}_{2n}^* \cong \pi_*\mathcal{I}_{2n}^*$ を確立し、理想層の構造を同定する。
• $\mathcal{H}om(\mathcal{I}_k, \mathcal{I}_{k+j}) \cong \mathcal{A}_{2n}(j/2 - n) \otimes \pi^*\mathcal{O}_L(j/2 - n)$ を用いて、グローバルセクションとコホモロジーを制御し、分解が半直交的であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 一般の $\mathbb{P}^{2n-1}$ 内の4つの二次曲面の完全交差の導来カテゴリは、どのようにより単純な成分に分解できるか？
• RQ2 このような分解における残渣カテゴリ $\mathcal{D}$ の性質は何か？ また、束のモジュライ空間とはどのように関係しているか？
• RQ3 非可換解消を用いず、幾何的構成によってカルラヤ3次元多様体同士の導来同値性を達成できるか？
• RQ4 4つの二次曲面が張る空間に、階数2の特異点を持つ二次曲面が存在する場合、それらが関連するモジュライ空間 $\mathcal{M}$ の幾何に与える影響は何か？

主な発見

• 一般の $\mathbb{P}^{2n-1}$ 内の4つの二次曲面の完全交差の導来カテゴリは、$\langle\mathcal{O}(-2n+9),\dotsc,\mathcal{O}(-1),\mathcal{O},\mathcal{D}\rangle$ の形に半直交分解可能であり、ここで $\mathcal{D}$ はモジュライ問題から生じる非代数的複素3次元多様体上のねじれ層の導来カテゴリである。
• $X$ 上のスピン束のモジュライ空間 $\mathcal{M}$ は、$n > 3$ のとき、直線 $L$ が階数2特異点集合 $\Delta_2$ と交差するため特異的であり、ねじれ層の使用が不可避である。
• $n=4$ の場合、構成によりカルラヤ3次元多様体同士の（ねじれ付きの）導来同値性が得られ、グロスの予想が確認される。
• $\pi_*\mathcal{H}$ は高次コホモロジーを持たないベクトル束であり、これは $H^1(\mathcal{H}|_\ell)$ の消滅と、$\dim H^0(\mathcal{H}|_\ell) = \operatorname{rank}\mathcal{H}$ の等式から従う。
• $\mathbb{P}^1$-バンドル $P$ 上の序列を双対化することで、同型 $\mathcal{J}_{2n}^* \cong \pi_*\mathcal{I}_{2n}^*$ が確立され、$\mathcal{I}_{2n}$ が $\mathcal{O}_P \otimes \pi^*\mathcal{J}_{2n}$ からの自然な写像の像として与えられることを示す。
• $\mathcal{H}om(\mathcal{I}_k, \mathcal{I}_{k+j}) \cong \mathcal{A}_{2n}(j/2 - n) \otimes \pi^*\mathcal{O}_L(j/2 - n)$ のコホモロジー的制御により、$j/2 - n \geq -3$ のとき中間コホモロジーが消え、最高次コホモロジーも消えることが保証され、分解の半直交性が裏付けられる。