[論文レビュー] Categorical cones and quadratic homological projective duality

Perry Alexander, Kuznetsov Aleksandr Gennad'evich|arXiv (Cornell University)|Feb 26, 2019

Algebraic Geometry and Number Theory参考文献 21被引用数 5

ひとこと要約

本稿では、射影代数的多様体上の古典的コーンのカテゴリカル化として、カテゴリカルコーンを導入し、特異的二次曲面の導来圏のホモロジカルプロジェクト型双対性（HPD）を精緻に研究可能にする。特異的二次曲面のカテゴリカル解消を用いて、二次的HPD定理を確立し、Gushel–Mukai多様体の双対性予想を証明するとともに、非可換および可換Calabi–Yau3次元多様体間のコンパクト化遷移を構成する。

ABSTRACT

We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In particular, our construction provides well-behaved categorical resolutions of singular quadrics, which we use to obtain an explicit quadratic version of the main theorem of homological projective duality. As applications, we prove the duality conjecture for Gushel-Mukai varieties, and produce interesting examples of conifold transitions between noncommutative and honest Calabi-Yau threefolds.

研究の動機と目的

• 射影多様体上のコーンのカテゴリカル枠組みを構築し、特異的および非可換設定に一般化する。
• 特異的二次曲面に対する良好なカテゴリカル解消を提供し、ホモロジカルプロジェクト型双対性を二次的断面にまで拡張する上で不可欠である。
• カテゴリカルコーンを用いて、HPDの主要定理の二次的バージョンを確立する。
• 特異的二次曲面のカテゴリカル解消を用いて、Gushel–Mukai多様体の双対性予想を証明する。
• 非可換および可換Calabi–Yau3次元多様体間のコンパクト化遷移の明示的例を構成する。

提案手法

• 古典的コーンの頂点に沿ったブローモーの結果である $\tilde{\mathbf{C}}_{V_0}(X)$ を用い、$\mathrm{Perf}(\tilde{\mathbf{C}}_{V_0}(X))$ の三角的部分圏としてカテゴリカルコーン $\mathcal{C}_{V_0}(X)$ を定義する。
• 文献[12]の構成を用い、解消されたコーンの例外除集合に沿った非可換双有理変形としてカテゴリカルコーンを扱う。
• 文献[23]のカテゴリカルジョインの理論を用い、カテゴリカルコーンのHPDと双対のカテゴリカルジョインを関連づけ、$\mathcal{J}(X_1,X_2)^\natural \simeq \mathcal{J}(X_1^\natural,X_2^\natural)$ を証明する。
• Lefschetzカテゴリにおける $\mathbf{P}(V)$-線形構造を活用し、線形断面の導来圏とその双対を定義・分析する。
• 特異的二次曲面に対して、そのカテゴリカル解消を構成し、HPDと整合することを示す。
• 得られた形式的枠組みを用いて、Gushel–Mukai多様体の双対性予想を証明し、非可換および可換Calabi–Yau3次元多様体間のコンパクト化遷移を生成する。

実験結果

リサーチクエスチョン

• RQ1 射影多様体上の古典的コーンの概念を、特異性や非可換設定を扱えるようにカテゴリカルに一般化することは可能か？
• RQ2 カテゴリカルコーンは、導来カテゴリカル枠組み内での特異的二次曲面の解消に体系的な方法を提供できるか？
• RQ3 特異的二次曲面を断面として許容する場合、ホモロジカルプロジェクト型双対性の主要定理は二次的バージョンを有するか？
• RQ4 特異的二次曲面のカテゴリカル解消を用いて、Gushel–Mukai多様体の双対性予想を証明できるか？
• RQ5 カテゴリカルコーンは、非可換および可換Calabi–Yau3次元多様体間のコンパクト化遷移の構成にどのような意味を持つのか？

主な発見

• カテゴリカルコーン $\mathcal{C}_{V_0}(X)$ は、$X$ が特異的または非可換であっても、古典的コーン $\mathbf{C}_{V_0}(X)$ の良好な非可換解消を提供する。
• この構成により、特異的二次曲面断面に対して有効な、ホモロジカルプロジェクト型双対性の主要定理の二次的バージョンが得られる。
• Gushel–Mukai多様体の双対性予想は、特異的二次曲面のカテゴリカル解消とそのHPD性質を用いて証明される。
• カテゴリカルコーン枠組みを用いて、非可換および可換Calabi–Yau3次元多様体間の明示的コンパクト化遷移が構成される。
• カテゴリカルジョインのHPDは $\mathcal{J}(X_1,X_2)^\natural \simeq \mathcal{J}(X_1^\natural,X_2^\natural)$ を満たし、古典的双対性がカテゴリカル設定へ拡張される。
• カテゴリカルコーンの双対のLefschetz構造が、期待される双対性と整合しており、双対カテゴリの中心が期待される成分と一致することが示される。