[論文レビュー] Sheaves on local Calabi-Yau varieties

Matthew R. Ballard|ArXiv.org|Jan 23, 2008

Algebraic Geometry and Number Theory参考文献 19被引用数 9

ひとこと要約

本稿は、滑らかで射影的な多様体 $X$ 上のベクトル束 $E$ の全空間として構成された局所カルビ・ヤウ3次元多様体 $V(E)$ のゼロ切断に沿った層の導来圏を研究する。$igwedge^{ ext{rank}E}E \cong \omega_X$ を満たすとき、$A_\infty$-代数の技法とdg-enhancementを用いて、ゼロ切断に沿った層の導来圏の準同型的記述を提供する。特に $E = \omega_X$ の場合、この圏は $X$ 自身の導来圏によって完全に決定され、この設定におけるホモロジ的ミラー対称性の明確な代数的実現が得られる。

ABSTRACT

We investigate sheaves supported on the zero section of the total space of a locally-free sheaf E on a smooth, projective variety X when the top exterior power of E is isomorphic to the canonical bundle of X. We rephrase this construction using the language of A-infinity algebra and provide a simple characterisation of the case E is simply the canonical bundle itself.

研究の動機と目的

• 滑らかで射影的な多様体 $X$ 上のベクトル束 $E$ に対して $\bigwedge^{\text{rank}E}E \cong \omega_X$ を満たす局所カルビ・ヤウ3次元多様体 $V(E)$ のゼロ切断に沿った一貫層の導来圏を理解すること。
• dg圏と$A_\infty$-構造、チェーンレベルの準同型写像を用いて、この導来圏のdg-enhancementを提供し、明確な代数的記述を可能にすること。
• $E = \omega_X$ の場合を、$D^b(\text{Coh}(X))$ から $D^b(\text{Coh}(V(\omega_X)))$ への完全忠実埋め込みとして特徴づけ、射の空間に非退化な対称双線形形式を持つこと。
• $A_\infty$-代数的データを通じて、$V(\omega_X)$ 上の層の導来圏が $X$ の導来圏と同値であることを示し、ホモロジ的ミラー対称性の接続を確立すること。
• 包含写像 $i: X \to V(E)$ を通じた $X$ 上の層の押し出しを用いて、$V(E)$ 上の準層の導来圏を生成する枠組みを確立すること。

提案手法

• 導来圏 $D^b(\text{Coh}(X))$ の強化モデルとして、Cech複体とDolbeault複体をそれぞれ用いたdg圏 $\check{C}(X)$ と $\overline{\partial}(X)$ を用いる。
• Ext同型 $\operatorname{Ext}^j_{V(E)}(i_*F, i_*G) \cong \bigoplus_{r=0}^{\text{rank}E} \operatorname{Ext}^{j+r}_X(F, G \otimes \bigwedge^r E)$ をdg自己準同型代数の準同型写像に上げる。
• $V(E)$ 上の層のdg圏に、$D^b_X(\text{Coh}(V(E)))$ におけるSerre双対性の自明性を反映した、非退化な対称双線形形式を導入する。
• $A_\infty$-代数の技法を用いて、$D(\text{Qcoh}(X))$ の言語のみで $V(\omega_X)$ の導来圏を記述し、形式的シンプレクティック幾何学を応用する。
• Koszul分解と $Li^*$ を通じた引き戻しを用いて、任意の射影的スキーム $X \subset \mathbb{P}^N_k$ に対して、集合 $\{\mathcal{O}_X, \dots, \mathcal{O}_X(N)\}$ が $D(\text{Qcoh}(X))$ を生成することを示す。
• イデムポテンスの完備化と三角圏の閉包を用いて、$D^b(\text{Coh}(\mathbb{P}^N))$ の古典的生成子が $D^b(\text{Coh}(X))$ の古典的生成子に引き戻されることを示す。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的な多様体 $X$ 上のベクトル束 $E$ に対して $\bigwedge^{\text{rank}E}E \cong \omega_X$ を満たすとき、$V(E)$ のゼロ切断に沿った一貫層の導来圏を代数的にどのように記述できるか？
• RQ2 $D^b_X(\text{Coh}(V(E)))$ のdg-enhancementは何か？ そして、$X$ の導来圏とどのように関係するか？
• RQ3 $E = \omega_X$ の場合、$D(\text{Qcoh}(X))$ が $D(\text{Qcoh}(V(\omega_X)))$ に完全忠実埋め込みとして特徴づけられるか？
• RQ4 dg圏における射の空間への非退化な対称双線形形式は、どのようにCalabi-Yau性質を反映しているか？
• RQ5 この設定において、$A_\infty$-構造を通じてホモロジ的ミラー対称性をどの程度明確に実現できるか？

主な発見

• 滑らかで固有な $X$ を仮定すると、$D^b_X(\text{Coh}(V(E)))$ は自明なSerre双対性を備え、Calabi-Yau三角圏となる。
• Ext同型 $\operatorname{Ext}^j_{V(E)}(i_*F, i_*G) \cong \bigoplus_{r=0}^{\text{rank}E} \operatorname{Ext}^{j+r}_X(F, G \otimes \bigwedge^r E)$ はdg自己準同型代数の準同型写像に上げられ、dg-enhancementを提供する。
• $E = \omega_X$ の場合、$D_X(\text{Qcoh}(V(\omega_X)))$ は $D(\text{Qcoh}(X))$ と完全に同値であり、この同値性は$A_\infty$-代数的構造によって実現される。
• dg圏における射の空間への対称双線形形式は、コホモロジー上で非退化であり、チェーンレベルでのCalabi-Yau条件の反映を示している。
• 任意の射影的スキーム $X \subset \mathbb{P}^N_k$ に対して、集合 $\{\mathcal{O}_X, \dots, \mathcal{O}_X(N)\}$ は $D(\text{Qcoh}(X))$ を生成する。この生成子は引き戻しを通じて $V(\omega_X)$ の導来圏を生成する。
• $D^b(\text{Coh}(\mathbb{P}^N))$ の古典的生成子は、$D^b(\text{Coh}(X))$ の古典的生成子に引き戻され、引き戻しにおける生成性が確認される。