[論文レビュー] Semiorthogonal decompositions in algebraic geometry

Alexander Kuznetsov|arXiv (Cornell University)|Apr 11, 2014

Algebraic structures and combinatorial models参考文献 41被引用数 104

ひとこと要約

この論文は代数幾何における半直交分解をレビューし、ホモロジカル的双対性による構成と特異点のカテゴリカルな解消に焦点を当てる。特定のファノ4次元多様体、例えばピアフィアン3次4次元多様体やGr(2,5)における10次4次元多様体の導来カテゴリは、非可換K3カテゴリを含み、それらに関連するハイパーカイラー多様体はファノ汎関手と二重EPWセクスティックから生じる。

ABSTRACT

In this review we discuss what is known about semiorthogonal decompositions of derived categories of algebraic varieties. We review existing constructions, especially the homological projective duality approach, and discuss some related issues such as categorical resolutions of singularities.

研究の動機と目的

• 代数多様体の coherent sheaves の導来カテゴリにおける半直交分解の既知の構成を体系的かつレビューすること。
• ホモロジカル的双対性が、このような分解を構成する強力な手法として果たす役割を調査すること。
• 特異点のカテゴリカル解消とホモロジカル的双対性の間の相互作用を調査すること。
• 半直交成分が非可換K3カテゴリとなる場合、特にファノ4次元多様体において同定・分析すること。
• ファノ汎関手と二重EPWセクスティックを介して、ファノ4次元多様体の導来カテゴリからハイパーカイラー多様体の幾何的実現を探索すること。

提案手法

• 体k上の滑らかで射影的な多様体の三角的カテゴリおよびcoherent sheavesの導来カテゴリを用いる。
• 適切な部分カテゴリとその左/右直交補空間を用いて半直交分解を構成する。
• 例外的コレクションとリーマン分解を用い、特にグラスマン多様体、2次曲面、射影バンドルの文脈で用いる。
• ホモロジカル的双対性（HPD）を用い、双対な多様体の導来カテゴリを関連付ける。特にピアフィアン3次4次元多様体と10次4次元多様体において。
• ベース変換および導来引き戻しにおける半直交分解のベース変換公式を適用する。
• 特異点のカテゴリカル解消の理論を用い、特異なカテゴリと滑らかな導来カテゴリを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 代数多様体の導来カテゴリに対して、半直交分解を体系的にどのように構成できるか。
• RQ2 ホモロジカル的双対性は、特にファノ多様体において、半直交分解を生成する上で果たす役割は何か。
• RQ3 ファノ4次元多様体の導来カテゴリの半直交成分が非可換K3カテゴリをもたらすのはどのような場合か。
• RQ4 ファノ汎関手または二重被覆を介して、ファノ4次元多様体の導来カテゴリからハイパーカイラー多様体を幾何的に実現できるか。
• RQ5 Gr(3,7)における5次元多様体で、長方形型リーマン分解を持つものについて、その導来カテゴリの構造は何か。また、その超平面切断がK3型カテゴリをもたらすか。

主な発見

• ピアフィアン3次4次元多様体の導来カテゴリは、K3曲面の導来カテゴリに同値な成分をもつ半直交分解を許容する。これは非可換K3構造を示唆する。
• Gr(2,5)における10次4次元多様体Yについて、導来カテゴリはDb(coh(Y)) = ⟨AY, OY, U∨Y, OY(1), U∨Y(1)⟩ と分解され、AYは次元2のカルラ・ヤウカテゴリである。
• 10次4次元多様体YのカテゴリAYは、K3曲面の導来カテゴリに同値であると予想されており、Y上の2次曲線のファノ汎関手は二重EPWセクスティックに沿ってファイバーし、これはハイパーカイラー4次元多様体である。
• Gr(3,7)に含まれる5次元多様体Xは、予想される長方形型リーマン分解 Db(coh(X)) = ⟨B, B(1)⟩ を持ち、Bは6つの例外的対象によって生成される。これは、その超平面切断YがK3型成分AYをもつ半直交分解を持つことを示唆する。
• 3次4次元多様体上の直線のファノ汎関手はハイパーカイラー多様体として実現され、二重EPWセクスティックの構成は、同様のホッジダイアモンドを持つ他の4次元多様体へ一般化される。
• インデックスmの滑らかな射影的多様体Xが長方形型リーマン分解を持つ場合、超平面切断Ydの導来カテゴリは、dがmを割り切るとき、カルラ・ヤウ成分AYdを含む半直交分解を持つ。