[论文解读] Lagrangian embeddings of cubic fourfolds containing a plane

Genki Ouchi|arXiv (Cornell University)|Jul 27, 2014

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

一句话总结

本文证明，一个包含平面的非常一般的立方四fold 可以通过其关联的扭曲K3曲面的Bridgeland稳定对象的模空间构造，嵌入到一个复辛八倍体中，成为一个拉格朗日子流形。该八倍体与K3曲面四点的希尔伯特概形形变等价，从而将此前仅适用于Pfaffian或不含平面的案例的结论，通过导出范畴与稳定性条件扩展至更一般的情形。

ABSTRACT

We prove that a very general cubic fourfold containing a plane can be embedded into a holomorphic symplectic eightfold as a Lagrangian submanifold. We construct the desired holomorphic symplectic eightfold as a moduli space of Bridgeland stable objects in the derived category of the twisted K3 surface corresponding to the cubic fourfold containing a plane.

研究动机与目标

• 将立方四fold嵌入复辛八倍体中的拉格朗日嵌入构造，从Pfaffian或不含平面的情形推广至更一般情况。
• 证明一个非常一般的包含平面的立方四fold可作为拉格朗日子流形嵌入复辛八倍体中。
• 将目标八倍体构造为与立方四fold相关联的扭曲K3曲面的导出范畴中Bridgeland稳定对象的模空间。
• 证明该八倍体与K3曲面四点的希尔伯特概形形变等价，即使在四fold包含平面时也成立。

提出的方法

• 利用Kuznetsov关于含平面立方四fold的导出范畴的全正交分解，分离出一个卡拉比-丘2-范畴 $\mathcal{A}_X$。
• 构造一个扭曲K3曲面 $(S, \alpha)$，使得 $\mathcal{A}_X \simeq D^b(S, \alpha)$，利用Kuznetsov对含平面立方四fold的导出等价结果。
• 在 $D^b(S, \alpha)$ 上定义一个Bridgeland稳定性条件 $\sigma_\lambda$，其中 $\lambda \in (\sqrt{3/8}, 3/4)$，专门用于稳定点层的投影。
• 将复辛八倍体 $M$ 构造为 $D^b(S, \alpha)$ 中 $\sigma_\lambda$-稳定对象的模空间，特别关注投影函子下点层的像 $P_x = \mathrm{pr}(\mathcal{O}_x)$。
• 证明对所有 $x \in X$，对象 $P_x$ 均为 $\sigma_\lambda$-稳定，利用Hartshorne-Narasimhan与Jordan-Hölder滤子，并分析不稳定子对象 $F$ 的中心荷 $Z(F)$，在小秩情况下导出矛盾。
• 通过不变量与稳定性条件的比较，证明所得模空间 $M$ 与K3曲面四点的希尔伯特概形形变等价。

实验结果

研究问题

• RQ1 一个非常一般的包含平面的立方四fold是否能作为拉格朗日子流形嵌入复辛八倍体中，即使基于扭曲三次曲线的方法失效？
• RQ2 Bridgeland稳定对象在关联扭曲K3曲面的导出范畴中的模空间是否与K3曲面四点的希尔伯特概形形变等价？
• RQ3 含平面的立方四fold的导出范畴结构如何与关联扭曲K3曲面的几何相关联？
• RQ4 在 $D^b(S, \alpha)$ 上何种稳定性条件可确保投影 $P_x = \mathrm{pr}(\mathcal{O}_x)$ 稳定，从而实现目标八倍体的构造？
• RQ5 非常一般包含平面的立方四fold的有理性的障碍是否反映在 $\mathcal{A}_X$ 对任意K3曲面 $S$ 均不与 $D^b(S)$ 等价这一事实中？

主要发现

• 作为 $D^b(S, \alpha)$ 中 $\sigma\_\lambda$-稳定对象模空间构造的复辛八倍体 $M$，与K3曲面四点的希尔伯特概形形变等价。
• 对一个非常一般的包含平面的立方四fold $X$，所有 $x \in X$ 的投影 $P_x = \mathrm{pr}(\mathcal{O}_x)$ 均为 $\sigma\_\lambda$-稳定，从而保证了 $X$ 作为拉格朗日子流形嵌入 $M$。
• 对任何不稳定子对象 $F$ 的中心荷 $Z(F)$ 的分析，当 $\mathrm{rk}F < 4$ 时导出矛盾，进一步分析排除了 $\mathrm{rk}F = 2$ 或 $\mathrm{rk}F = 1$ 的情况，从而证明 $P_x$ 稳定。
• 对非常一般的 $X$，$\mathrm{Br}(S)$ 中的Brauer类 $\alpha$ 非平凡，因此 $M$ 不是通常K3曲面上的层模空间，而是扭曲K3曲面上的模空间。
• 通过Bridgeland稳定性与导出范畴的构造，成功将拉格朗日嵌入推广至包含平面的立方四fold情形，而此前基于扭曲三次曲线的方法在此类情形下失效。
• 在假设存在不稳定子对象的前提下，不等式 $\lambda^2 < 9/32$ 被矛盾所推翻，从而确认不存在此类子对象，因此 $P_x$ 稳定。