[論文レビュー] Homological projective duality for Grassmannians of lines

Alexander Kuznetsov|ArXiv.org|Oct 31, 2006

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

ひとこと要約

本稿では、Grassmannian Gr(2,6) および Gr(2,7) に対してホモロジカル的プロジェクト型双対性（HP双対性）を確立し、それらの双対Pfaffian多様体の非可換解消を構成することで達成している。線形断面の導来カテゴリ—特にPfaffianな3次4次元多様体—が例外的コレクションとK3多様体の導来カテゴリに半直交分解をもつことを証明し、導来同値性を通じて3次4次元多様体とK3多様体の深い関係を明らかにした。

ABSTRACT

We show that homologically projectively dual varieties for Grassmannians Gr(2,6) and Gr(2,7) are given by certain noncommutative resolutions of singularities of the corresponding Pfaffian varieties. As an application we describe the derived categories of linear sections of these Grassmannians and Pfaffians. In particular, we show that (1) the derived category of a Pfaffian cubic 4-fold admits a semiorthogonal decompositions consisting of 3 exceptional line bundles, and of the derived category of a K3-surface; (2) mutually orthogonal Calabi-Yau linear sections of Gr(2,7) and of the corresponding Pfaffian variety are derived equivalent. We also conjecture a rationality criterion for cubic 4-folds in terms of their derived categories.

研究の動機と目的

• Grassmannian Gr(2,6) および Gr(2,7) におけるホモロジカル的プロジェクト型双対性（HP双対性）を確立すること。これは古典的プロジェクト型双対性を導来カテゴリへ拡張するものである。
• Grassmannianと双対的な古典的Pfaffian多様体の特異点を、可換解消が大きすぎるため、非可換解消を用いて解消すること。
• Gr(2,6)、Gr(2,7) およびその双対Pfaffian多様体の線形断面の導来カテゴリを、半直交分解を用いて記述すること。
• Gr(2,7) とそのHP双対Pfaffian多様体の互いに直交するCalabi-Yau線形断面が導来同値であることを示すこと。
• 導来カテゴリの構造に基づく、3次4次元多様体の有理型の判定基準を提示すること。

提案手法

• Pf(4,6) および Pf(4,7) のPfaffian多様体の特異点を、一般には行列代数であり、有限なホモロジカル次元を持つ代数の層を用いて非可換解消を構成する。
• ホモロジカル的プロジェクト型双対性（HP双対性）の枠組みを用い、Lefschetz分解が与えられた導来カテゴリの枠組みにおいて、Gr(2,n) の導来カテゴリとその非可換双対の導来カテゴリを関連付ける。
• ファイバー積と射影を用いてカーネルの畳み込みを定義し、線形断面の半直交分解の積分カーネルを構成する。
• 半直交分解の道具立てをGr(2,n) および Pf(4,n) の線形断面に適用し、導来カテゴリが例外的コレクションとK3多様体の導来カテゴリに分解されることを示す。
• 正確な三角形と導来カテゴリの技法を用いて、畳み込みカーネルのホモロジカル性質を分析し、HP双対性の枠組みと整合性を保つ。
• 既知の幾何的性質を活用する：Pfaffianな3次4次元多様体は Pf(4,6) と P^5 の交わりであり、それらの双対K3多様体は、直交する P^8 と Gr(2,6) の交わりとして得られる。

実験結果

リサーチクエスチョン

• RQ1 Grassmannian Gr(2,6) のホモロジカル的プロジェクト型双対性は何か？ そして、古典的プロジェクト型双対性であるPfaffian多様体 Pf(4,6) とどのように関係しているか？
• RQ2 特異点を持つPfaffian多様体の非可換解消は、Grassmannianのホモロジカル的にプロジェクト型双対多様体として機能するか？
• RQ3 Gr(2,6) とその双対Pfaffian多様体の線形断面の導来カテゴリはどのように分解され、どのような構造を明らかにするか？
• RQ4 Gr(2,7) とそのHP双対Pfaffian多様体の互いに直交するCalabi-Yau線形断面は導来同値か？
• RQ5 3次4次元多様体の導来カテゴリは、その有理型を決定づけることができ、もしそうならどのような条件下で可能か？

主な発見

• Pfaffianな3次4次元多様体の導来カテゴリは、3つの例外的ラインバンドルと、14次元のK3多様体の導来カテゴリに半直交分解をもつ。
• Gr(2,7) とそのホモロジカルにプロジェクト型双対なPfaffian多様体の、互いに直交するCalabi-Yau線形断面は導来同値である。
• Pfaffianな3次4次元多様体の直線のファノ多様体は、関連するK3多様体上の長さ2の部分スキームのヒルベルトスキームに同型である。
• K3多様体の原始的ホッジ構造は、Pfaffianな3次4次元多様体の原始的ホッジ構造の部分構造である。
• Pf(4,6) の非可換解消 (Y,R) は Gr(2,6) とホモロジカルにプロジェクト型双対であり、同様に Pf(4,7) と Gr(2,7) に対しても同様の関係が成り立つ。
• 特に半直交分解におけるK3成分の存在を根拠に、3次4次元多様体の導来カテゴリの構造に基づく有理型の判定基準が予想される。