[论文解读] On quartic double fivefolds and the matrix factorizations of exceptional quaternionic representations

Roland Abuaf|arXiv (Cornell University)|Sep 15, 2017

Geometry and complex manifolds参考文献 15被引用 3

一句话总结

本文证明了一个通用四次双五倍曲面——一种卡拉比-丘型的法诺五倍曲面——通过基于维伯格的 $\omega$-型分解的矩阵因子化技术，存在一个球形秩6向量丛。由此得出关键结果：其关联的 CY-3 类别的同调单位为 $\mathbb{C} \oplus \mathbb{C}[3]$，证实了在其他卡拉比-丘型流形中观察到的猜想性规律。

ABSTRACT

We study quartic double fivefolds from the perspective of Fano manifolds of Calabi-Yau type and that of exceptional quaternionic representations. We first prove that the generic quartic double fivefold can be represented, in a finite number of ways, as a double cover of P^5 ramified along a linear section of the Sp 12-invariant quartic in P^31. Then, using the geometry of the Vinberg's type II decomposition of some exceptional quaternionic representations, and backed by some cohomological computations performed by Macaulay2, we prove the existence of a spherical rank 6 vector bundle on such a generic quartic double fivefold. We finally use the existence this vector bundle to prove that the homological unit of the CY-3 category associated by Kuznetsov to the derived category of a generic quartic double fivefold is C $\\oplus$ C[3].

研究动机与目标

• 通过证明通用四次双五倍曲面可表示为 $\mathbb{P}^5$ 上的双覆盖，其分支位于 $\mathbb{P}^{31}$ 中的 $\mathrm{Spin}_{12}$-不变四次曲面上的四维线性截面，从而确立其为卡拉比-丘型。
• 利用例外四元数表示的维伯格型 $\mathrm{II}$ 分解，构造出四次双五倍曲面上的矩阵因子化，从而在通用四次双五倍曲面上构造出一个球形秩6向量丛。
• 利用球形向量丛的存在性，计算通用四次双五倍曲面的导出范畴所关联的 CY-3 类别的同调单位。
• 将其他卡拉比-丘型流形中观察到的规律——即 CY-3 类别的同调单位为 $\mathbb{C} \oplus \mathbb{C}[3]$——推广至四次双五倍曲面的情形。

提出的方法

• 利用 $\mathbb{P}^{31}$ 中 $\mathrm{Spin}_{12}$-不变四次超曲面的几何性质，证明通用四次双五倍曲面作为 $\mathbb{P}^5$ 上的双覆盖，其分支位于该四次曲面的四维线性截面上。
• 应用维伯格型 $\mathrm{II}$ 分解于例外四元数表示，以在双五倍曲面上构造矩阵因子化，利用表示空间的结构。
• 使用 Macaulay2 进行上同调计算，验证在通用四次双五倍曲面上存在一个秩6的具有球形性质的向量丛。
• 采用库任措夫构造的 CY-3 类别方法，从五倍曲面的导出范畴出发，利用球形向量丛计算该类别的同调单位。
• 应用一般性原理：若一个 CY-$n$ 类别包含一个非零秩的球形对象，则其同调单位为 $\mathbb{C} \oplus \mathbb{C}[n]$，此处取 $n=3$。

实验结果

研究问题

• RQ1 通用四次双五倍曲面能否表示为 $\mathbb{P}^5$ 上的双覆盖，其分支位于 $\mathbb{P}^{31}$ 中的 $\mathrm{Spin}_{12}$-不变四次曲面的线性截面上？
• RQ2 通过维伯格型 $\mathrm{II}$ 分解的例外四元数表示几何，是否能在四次双五倍曲面上导出矩阵因子化？
• RQ3 通用四次双五倍曲面的导出范畴是否允许存在一个秩6的球形向量丛？
• RQ4 与通用四次双五倍曲面的导出范畴相关联的 CY-3 类别的同调单位是什么？

主要发现

• 通用四次双五倍曲面存在有限多个表示方式，可作为 $\mathbb{P}^5$ 上的双覆盖，其分支位于 $\mathbb{P}^{31}$ 中 $\mathrm{Spin}_{12}$-不变四次曲面的线性截面上。
• 在通用四次双五倍曲面上存在一个球形秩6向量丛，其通过例外四元数表示的维伯格型 $\mathrm{II}$ 分解构造的矩阵因子化实现。
• 与通用四次双五倍曲面的导出范畴相关联的 CY-3 类别的同调单位为 $\mathbb{C} \oplus \mathbb{C}[3]$。
• 该结果证实了在其他卡拉比-丘型流形（如通用三次七倍曲面）中观察到的猜想性规律，其同调单位同样为 $\mathbb{C} \oplus \mathbb{C}[3]$。
• 球形向量丛的存在性意味着该五倍曲面的导出范畴可通过球形扭转变换函子支持非平凡的自等价。