[論文レビュー] Categorical joins

Alexander Kuznetsov, Alexander Perry|arXiv (Cornell University)|Mar 31, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 6

ひとこと要約

この論文は、射影的代数多様体の古典的結合をカテゴリフィケーション化したカテゴリカル結合を導入し、ホモロジカルプロジェクト型双対性をカテゴリカルな枠組みへと拡張する。主な結果として、カテゴリカル結合のホモロジカルプロジェクト型双対が、双対カテゴリのカテゴリカル結合と自然に同値であることが示され、古典的双対性がカテゴリフィケーション化され、ホモロジカルプロジェクト型双対性の主定理の非線形一般化が可能になる。

ABSTRACT

We introduce the notion of a categorical join, which can be thought of as a categorification of the classical join of two projective varieties. This notion is in the spirit of homological projective duality, which categorifies classical projective duality. Our main theorem says that the homological projective dual category of the categorical join is naturally equivalent to the categorical join of the homological projective dual categories. This categorifies the classical version of this assertion and has many applications, including a nonlinear version of the main theorem of homological projective duality.

研究の動機と目的

• 代数幾何における古典的結合構成のカテゴリカルな枠組みを構築すること。
• カテゴリカル結合を含む設定においてホモロジカルプロジェクト型双対性を拡張すること。
• カテゴリカル結合のホモロジカルプロジェクト型双対と双対カテゴリのカテゴリカル結合の間の双対性同値を確立すること。
• ホモロジカルプロジェクト型双対性の主定理の非線形一般化を提供すること。

提案手法

• dgカテゴリと導来カテゴリを用いた、導来代数幾何におけるファイバー積構成としてのカテゴリカル結合の定義。
• 飽和的dgカテゴリと半直積分解の言語を用いて、構成を形式化する。
• ホモロジカルプロジェクト型双対性の理論を用いて、カテゴリカル結合の双対と双対カテゴリの結合との関係を関係づける。
• ベースチェンジと随伴の技術を用いて、導来設定における双対性同値を証明する。
• 普遍性と半直積分解との整合性を用いて同値を確立する。
• Lunts-Orlovの枠組みを活用して、ベースチェンジおよび双対性に関して構成が適切に振る舞うことを保証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして導来カテゴリとdgカテゴリを用いて、射影的代数多様体の古典的結合をカテゴリカルに一般化できるか？
• RQ2 カテゴリカル結合のホモロジカルプロジェクト型双対と双対カテゴリのカテゴリカル結合との間の関係は何か？
• RQ3 カテゴリカル結合の間の双対性は、古典的ホモロジカルプロジェクト型双対性に類似した普遍性を満たすか？
• RQ4 この構成を用いて、ホモロジカルプロジェクト型双対性の主定理を非線形的または非アーベル的設定に拡張できるか？
• RQ5 この双対性同値が代数幾何における導来カテゴリの構造に与える影響は何か？

主な発見

• カテゴリカル結合のホモロジカルプロジェクト型双対は、自然にホモロジカルプロジェクト型双対カテゴリのカテゴリカル結合と同値である。
• この双対性同値は、2つの多様体の結合とそれらの双対の結合の間の古典的双対性をカテゴリフィケーション化する。
• この構成は、ホモロジカルプロジェクト型双対性の主定理の非線形一般化を提供する。
• この結果は飽和的dgカテゴリの設定で成り立ち、半直積分解と整合する。
• この枠組みにより、ホモロジカルプロジェクト型双対性を非線形的および非アーベル的幾何的文脈へと拡張できる。
• 同値は普遍性と導来ベースチェンジを用いて確立され、幾何的変換に対して堅牢であることが保証される。