[論文レビュー] Derived Categories of Quadric Fibrations and Intersections of Quadrics

Alexander Kuznetsov|ArXiv.org|Oct 31, 2005

Geometric and Algebraic Topology参考文献 10被引用数 4

ひとこと要約

本稿では、基底上のクリフォード代数の偶数部の層を用いて、二次曲面被覆の導来カテゴリを半直交分解することを確立し、Kapranovによる単一の二次曲面の記述を一般化する。非可換多様体 $(\mathbb{P}(S^2W^*), B_0)$ が二重ヴェロネーゼ埋め込みのもとで $\mathbb{P}(W)$ とホモロジカルにプロジェクティブに双対であることを証明し、HP双対性を用いて、二次曲面の完全交差の導来カテゴリを完全に記述する。

ABSTRACT

We construct a semiorthogonal decomposition of the derived category of coherent sheaves on a quadric fibration consisting of several copies of the derived category of the base of the fibration and the derived category of coherent sheaves of modules over the sheaf of even parts of the Clifford algebras on the base corresponding to this quadric fibration, generalizing the Kapranov's description of the derived category of a single quadric. As an application we verify that the noncommutative algebraic variety $(\PP(S^2W^*),\CB_0)$, where $\CB_0$ is the universal sheaf of even parts of Clifford algebras, is Homologically Projectively Dual to the projective space $\PP(W)$ in the double Veronese embedding $\PP(W) o \PP(S^2W)$. Using the properties of the Homological Projective Duality we obtain a description of the derived category of coherent sheaves on a complete intersection of any number of quadrics.

研究の動機と目的

• 基底スキーム上の一次曲面の導来カテゴリのKapranovの半直交分解を、基底上への二次曲面被覆の状況に一般化すること。
• 基底の導来カテゴリとクリフォード代数の偶数部の層を用いて、二次曲面被覆の導来カテゴリの半直交分解を構成すること。
• 二重ヴェロネーゼ埋め込みのもとで、$\mathbb{P}(W)$ と非可換多様体 $(\mathbb{P}(S^2W^*), B_0)$ の間のホモロジカルにプロジェクティブな双対性を確立すること。
• ホモロジカルにプロジェクティブな双対性（HP双対性）の道具立てを用いて、二次曲面の完全交差の導来カテゴリの完全記述を導出すること。

提案手法

• 二次曲面被覆の座標代数と斉次クリフォード代数の間のコシュール双対性を用いて、半直交分解を構成する。
• 基底 $\mathbb{P}(S^2W^*)$ 上にクリフォード代数の偶数部の層 $B_0$ を定義し、それが被覆の導来カテゴリにおける非自明な成分をもたらすことを示す。
• 二重ヴェロネーゼ埋め込み $f: \mathbb{P}(W) \to \mathbb{P}(S^2W)$ にホモロジカルにプロジェクティブな双対性（HP双対性）の理論を適用し、普遍的二次曲面をハイパーハイパーフラットとみなす。
• 普遍的ハイパーフラットの必要な半直交分解が満たされることを検証することで、非可換多様体 $(\mathbb{P}(S^2W^*), B_0)$ が $\mathbb{P}(W)$ とHP双対である条件を満たすことを確認する。
• 得られた双対性を用いて、線形断面 $X_L$ および $Y_L$（二次曲面の完全交差とその非可換類似物）の半直交分解を導出する。

実験結果

リサーチクエスチョン

• RQ1 基底スキーム上の二次曲面被覆の導来カテゴリは、より単純な三角カテゴリにどのように分解できるか？
• RQ2 クリフォード代数の偶数部の層が、二次曲面被覆の導来カテゴリにおいて果たす役割は何か？
• RQ3 二重ヴェロネーゼ埋め込みのもとで、非可換多様体 $(\mathbb{P}(S^2W^*), B_0)$ は $\mathbb{P}(W)$ とホモロジカルにプロジェクティブに双対であるか？
• RQ4 HP双対性とクリフォード代数の構造を用いて、二次曲面の完全交差の導来カテゴリを記述できるか？

主な発見

• 平坦な二次曲面被覆 $p: X \to S$（相対次元 $n-2$）の導来カテゴリは、次のように半直交分解可能である：$D^b(X) = \langle D^b(S, B_0), p^*D^b(S)(1), \dots, p^*D^b(S)(n-2) \rangle$、ここで $B_0$ は $S$ 上のクリフォード代数の偶数部の層である。
• 非可換多様体 $Y = (\mathbb{P}(S^2W^*), B_0)$ は、二重ヴェロネーゼ埋め込みのもとで $\mathbb{P}(W)$ とホモロジカルにプロジェクティブに双対である。
• 任意の部分空間 $L \subset S^2W^*$ に対して、$X_L$ が $\mathbb{P}(W)$ 内の $r = \dim L$ 個の二次曲面の完全交差であるとき、$r \leq n/2$ ならば $D^b(X_L) = \langle D^b(P(L), B_0), \mathcal{O}_{X_L}(1), \dots, \mathcal{O}_{X_L}(n-2r) \rangle$ なる半直交分解が存在し、$r \geq n/2$ の場合は双対的に同様の構造が成り立つ。
• $r = \dim L = 1$ のとき、$X_1$ は単一の二次曲面であり、$D^b(P(L), B_0)$ はKapranovの記述を回復する：$D^b(X_1) = \langle D^b(B_0), \mathcal{O}_{X_1}(1), \dots, \mathcal{O}_{X_1}(n-2) \rangle$、ここで $D^b(B_0)$ は $n$ の偶奇に応じて1つまたは2つの例外的対象によって生成される。
• $r = \dim L = 2$ のとき、$X_2$ は滑らかな2次曲面の完全交差であり、$D^b(X_2)$ は、$n$ が偶数の場合は臨界値で分岐する $\mathbb{P}^1$ 上の2重被覆、$n$ が奇数の場合は $\mathbb{P}^1$ 上の $\mathbb{Z}/2\mathbb{Z}$-スタックであるカテゴリ $C$ を含む半直交分解をもつ。
• $\dim L = n/2$ の場合、$D^b(X_L) \simeq D^b(P(L), B_0)$ なる完全忠実な同値が存在し、交差の導来カテゴリと非可換解消の間の双対同値を示している。