[论文解读] Sheaves on local Calabi-Yau varieties

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

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

一句话总结

本文研究了在光滑射影概族 $X$ 上的向量丛 $E$ 的总空间构造的局部 Calabi-Yau 三叉的零截面支持的层。当 $\bigwedge^{\operatorname{rank}E}E \cong \omega_X$ 时，利用 $A_\infty$-代数技术和 dg-增强，本文提供了零截面支持层的导出范畴的拟同构描述，表明当 $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.

研究动机与目标

• 研究局部 Calabi-Yau 三叉 $V(E)$ 的零截面支持的凝聚层导出范畴，其中 $E$ 是光滑射影概族 $X$ 上的向量丛，且满足 $\bigwedge^{\operatorname{rank}E}E \cong \omega_X$。
• 利用 $A_\infty$-结构和链水平拟同构，为该导出范畴提供 dg-增强，实现精确的代数描述。
• 将 $E = \omega_X$ 的情形刻画为 $D^b(\operatorname{Coh}(X))$ 到 $V(\omega_X)$ 的导出范畴的全忠实嵌入，并在态射空间上赋予非退化的对称配对。
• 通过展示 $V(\omega_X)$ 上层的导出范畴与 $X$ 的导出范畴通过 $A_\infty$-代数数据等价，将构造与同调镜像对称联系起来。
• 建立一个框架，通过包含映射 $i: X \to V(E)$ 的推前，利用 $X$ 上的层生成 $V(E)$ 上拟凝聚层的导出范畴。

提出的方法

• 使用 dg-范畴 $\check{C}(X)$ 和 $\overline{\partial}(X)$ 作为 $D^b(\operatorname{Coh}(X))$ 的增强模型，其态射空间分别由 Čech 复形和 Dolbeault 复形定义。
• 将同调群同构 $\operatorname{Ext}^j_{V(E)}(i_*F, i_*G) \cong \bigoplus_{r=0}^{\operatorname{rank}E} \operatorname{Ext}^{j+r}_X(F, G \otimes \bigwedge^r E)$ 提升为 dg-自同态代数之间的拟同构。
• 为 $V(E)$ 上层的 dg-范畴赋予一个在 Hom-空间上的非退化对称配对，反映 $D^b_X(\operatorname{Coh}(V(E)))$ 中 Serre 对偶的平凡性。
• 应用 $A_\infty$-代数技术，完全基于 $D(\operatorname{Qcoh}(X))$ 的数据，通过形式辛几何描述 $V(\omega_X)$ 的导出范畴。
• 利用 Koszul 分解和 $Li^*$ 的拉回，证明集合 $\{\mathcal{O}_X, \dots, \mathcal{O}_X(N)\}$ 在射影概形上生成 $D(\operatorname{Qcoh}(X))$。
• 通过幂等元完备化和三角化闭包，证明 $D^b(\operatorname{Coh}(\mathbb{P}^N))$ 的经典生成元在拉回后成为 $D^b(\operatorname{Coh}(X))$ 的经典生成元。

实验结果

研究问题

• RQ1 当 $\bigwedge^{\operatorname{rank}E}E \cong \omega_X$ 时，如何代数地描述 $V(E)$ 的零截面支持的凝聚层导出范畴？
• RQ2 $D^b_X(\operatorname{Coh}(V(E)))$ 的 dg-增强是什么？它与 $X$ 的导出范畴有何关系？
• RQ3 $E = \omega_X$ 的情形能否被刻画为 $D(\operatorname{Qcoh}(X))$ 到 $D(\operatorname{Qcoh}(V(\omega_X)))$ 的全嵌入？
• RQ4 dg-范畴中态射空间上的非退化对称配对如何反映 Calabi-Yau 性质？
• RQ5 在该设定下，同调镜像对称能在多大程度上通过 $A_\infty$-结构实现？

主要发现

• 当 $X$ 光滑且完备时，导出范畴 $D^b_X(\operatorname{Coh}(V(E)))$ 具有平凡的 Serre 对偶，使其成为一个 Calabi-Yau 三角范畴。
• 同调群同构 $\operatorname{Ext}^j_{V(E)}(i_*F, i_*G) \cong \bigoplus_{r=0}^{\operatorname{rank}E} \operatorname{Ext}^{j+r}_X(F, G \otimes \bigwedge^r E)$ 被提升为 dg-自同态代数之间的拟同构，从而提供了 dg-增强。
• 当 $E = \omega_X$ 时，导出范畴 $D_X(\operatorname{Qcoh}(V(\omega_X)))$ 与 $D(\operatorname{Qcoh}(X))$ 全等价，且该等价通过 $A_\infty$-代数结构实现。
• dg-范畴中 Hom-空间上的对称配对在上同调上非退化，反映了链水平上的 Calabi-Yau 条件。
• 对于任意射影概形 $X \subset \mathbb{P}^N_k$，集合 $\{\mathcal{O}_X, \dots, \mathcal{O}_X(N)\}$ 生成 $D(\operatorname{Qcoh}(X))$，并通过拉回生成 $V(\omega_X)$ 的导出范畴。
• $D^b(\operatorname{Coh}(\mathbb{P}^N))$ 的经典生成元在拉回后成为 $D^b(\operatorname{Coh}(X))$ 的经典生成元，确认了拉回下的生成性质。