[論文レビュー] Categorical duality between joins and intersections

Qingyuan Jiang, Naichung Conan Leung|arXiv (Cornell University)|Nov 13, 2018

Algebraic Geometry and Number Theory参考文献 16被引用数 4

ひとこと要約

本稿は、ホモロジカルプロジェクト型双対性（HPD）の枠組みにおいて、結合と交差の間の圏的双対性を確立し、期待される次元を持つ交差を前提として、カテゴリカル結合 $X_1 \star X_2$ の HPD双対が、それらの HPD 双対のファイバー積 $X_1^\natural \times_{\mathbb{P}(V^\vee)} X_2^\natural$ に同型であることを証明する。この結果は、古典的プロジェクト型双対性の圏的修正を提供し、ホモロジカルプロジェクト型幾何学の主要予測を裏付ける。

ABSTRACT

Classically, the projective duality between joins of varieties and the intersections of varieties only holds in good cases. In this paper, we show that categorically, the duality between joins and intersections holds in the framework of homological projective duality (HPD) [K07], as long as the intersections have expected dimensions. This result together with its various applications provide further evidences for the proposal of homological projective geometry of Kuznetsov and Perry [KP18]. When the varieties are inside disjoint linear subspaces, our approach also provides a new proof of the main result "formation of categorical joins commutes with HPD" of [KP18]. We also introduce the concept of an $n$-HPD category, and study its properties and connections with joins and HPDs.

研究の動機と目的

• ホモロジカルプロジェクト型双対性（HPD）の枠組みにおいて、結合と交差の間の圏的双対性を確立し、古典的プロジェクト型双対性の限界を超えて拡張すること。
• 古典的プロジェクト型双対性が結合と交差の間で失敗する問題を、双対性が圏的に成り立つホモロジカルな枠組みを導入することで解決すること。
• 本稿で開発した双対性枠組みを用いて、[KP18] で得られた「カテゴリカル結合の形成は HPD と可換である」という結果の新たな証明を提供すること。
• $n$-HPD 圏の概念を導入し、それらがカテゴリカル結合および HPD とどのように関連するかを研究すること。
• HPD フレームワークのもとで、カテゴリカル結合の構成が $\mathbb{P}(V)$-線形同型に関して結合的であることを示すこと。

提案手法

• トートロジカルラインバンドルと Lefschetz 構造を用いて、$X_1 \times X_2$ 上の射影バンドルの導来圏の部分圏としてカテゴリカル結合 $X_1 \star X_2$ を定義する。
• 古典的プロジェクト型双対性に代わるホモロジカルプロジェクト型双対性（HPD）の枠組みを用い、$X \mapsto X^\natural$ が導来圏上の自己双対的対応であることを用いる。
• HPD 双対 $(X_1 \star X_2)^\natural$ とファイバー積 $X_1^\natural \times_{\mathbb{P}(V^\vee)} X_2^\natural$ の間の $\mathbb{P}(V)$-線形同型を確立する。
• Lefschetz 分解技術を用いてカテゴリカル結合およびその双対の構造を分析し、$\mathbb{P}(V)$-線形構造の整合性を示す。
• 導来圏のベースチェンジおよび随伴形式主義を用いて、関手 $\pi_{(12)3}^* \circ \pi_{1,23,*}$ 及びその随伴が、異なる結合的グルーピングの間で $\mathbb{P}(V)$-線形同型を誘導することを証明する。
• $\mathbb{P}(V)$-線形同型の議論を高次 $n$ へ一般化することで、$n$ 重のカテゴリカル結合についての結合的および双対性の結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 ホモロジカルプロジェクト型双対性の枠組みにおいて、結合と交差の間の双対性は圏的に成立するか？
• RQ2 HPD 双対 $(X_1 \star X_2)^\natural$ がファイバー積 $X_1^\natural \times_{\mathbb{P}(V^\vee)} X_2^\natural$ と一致する条件は何か？
• RQ3 「カテゴリカル結合の形成は HPD と可換である」という結果は、より一般的な双対性原理の帰結として再構成可能か？
• RQ4 $n$ 重のカテゴリカル結合の構造は何か？ そして $n$-HPD 圏とどのように関係するか？
• RQ5 導来圏上の $\mathbb{P}(V)$-線形構造は、カテゴリカル結合およびその双対においてどのように作用するか？

主な発見

• 主結果として、期待される次元を持つ交差 $X_1^\natural \cap X_2^\natural$ を前提に、$\mathbb{P}(V)$-線形同型 $(X_1 \star X_2)^\natural \simeq X_1^\natural \times_{\mathbb{P}(V^\vee)} X_2^\natural$ が確立される。
• この証明により、[KP18] で得られた「カテゴリカル結合の形成は HPD と可換である」という結果が、結合と交差の双対性の帰結として新たに導出される。
• カテゴリカル結合の結合的性質が、$\mathbb{P}(V)$-線形同型に関して示され、$n$ 重結合のすべてのグルーピングが $\mathbb{P}(V)$-線形関手によって同型であることが示される。
• $n$ 重のカテゴリカル結合 $\mathcal{J}$ は、個々の圏 $\mathcal{A}^{(k)}$ の $\mathbb{P}(V)$-線形構造から自然に誘導される $\mathbb{P}(V)$-線形構造を備える。
• カテゴリカル結合およびその双対の Lefschetz 成分は、引き戻しとテンソル積を用いて明示的に記述され、第零成分は $p_{(12)3}^*(p_{12}^*(\mathcal{A}_0^{(1)} \otimes \mathcal{A}_0^{(2)}) \otimes \mathcal{A}_0^{(3)})$ で与えられる。
• 異なる結合的グルーピング間の同型は、$\mathbb{P}(V)$-線形関手およびその随伴によって誘導され、$\mathbb{P}(V)$-線形構造が常に保存される。