[论文解读] Double quintic symmetroids, Reye congruences, and their derived equivalence

Shinobu Hosono, Hiromichi Takagi|arXiv (Cornell University)|Feb 24, 2013

Algebraic Geometry and Number Theory参考文献 18被引用 11

一句话总结

本文建立了 Reye 同构 Calabi-Yau 三fold $X$ 与双五次对称行列式 Calabi-Yau 三fold $Y$ 之间的导出等价性，其中 $Y$ 是在 $$\mathbb{P}^{14}$$ 中对偶簇的正交线性截面构造而成，通过在 $\widetilde{\mathscr{Y}} \times \widehat{\mathscr{X}}$ 上具有支撑于子概形 $\Delta$ 的 Fourier-Mukai 变换，解决了先前镜像对称工作中的一个猜想。

ABSTRACT

We consider Calabi-Yau threefolds Y defined as smooth linear sections of the double cover of the quintic symmetric determinantal hypersurface in P^{14}. In our previous works, we have shown that these Calabi-Yau threefolds Y are naturally paired with Reye congruence Calabi-Yau threefolds X, and X and Y have several interesting properties from the view point of mirror symmetry and projective geometry. In this paper, we prove the derived equivalence between Y and X.

研究动机与目标

• 证明 Reye 同构 Calabi-Yau 三fold $X$ 与双五次对称行列式 Calabi-Yau 三fold $Y$ 之间的导出等价性，如先前镜像对称工作中的猜想所述。
• 从 $\mathscr{Y}$ 和 $\widehat{\mathscr{X}}$ 的解消积的几何定义子概形 $\Delta$ 构造一个 Fourier-Mukai 核。
• 通过 $Y$ 上的 genus 3 且 degree 5 的曲线族（由 $X$ 参数化）理解导出等价性的几何起源。
• 分析拓扑不变量（特别是基本群与 Brauer 群）在导出等价性下的不变性，揭示在此情况下该不变性不成立。

提出的方法

• 通过从 $\mathscr{Z} \to \mathscr{Y}$ 的圆柱丛与 $\widehat{\mathscr{X}} \to \mathrm{G}(2,V)$ 的 $\mathbb{P}^2$-丛出发，将旗簇 $\mathrm{F}(2,3,V)$ 拉回到 $\widetilde{\mathscr{Y}} \times \widehat{\mathscr{X}}$，构造子概形 $\Delta \subset \widetilde{\mathscr{Y}} \times \widehat{\mathscr{X}}$。
• 利用 $\widetilde{\mathscr{Y}}$ 与 $\widehat{\mathscr{X}}$ 上的 Lefschetz 系列，获得 $\Delta$ 的理想层 $\mathcal{I}$ 的局部自由解析。
• 定义一个以 $\mathcal{I}|_{Y \times X}$ 为核的 Fourier-Mukai 函子，即将理想层限制在 Calabi-Yau 三fold $Y$ 与 $X$ 上。
• 利用解析与核结构，证明 Fourier-Mukai 函子诱导出导出等价性 $\mathcal{D}^b(X) \simeq \mathcal{D}^b(Y)$。
• 验证核在 $x \in X$ 处的纤维 $I_x$ 定义了 $Y$ 中一条 genus 3 且 degree 5 的光滑曲线 $C_x$，且 $n_3^Y(5) = 100$ 与拓扑不变量一致。
• 利用 Atiyah-Hirzebruch 族谱序列，将 $H_1$ 与 $K^1_{\text{top}}$ 关联至 Brauer 群，表明 $\mathrm{Br}(Y)$ 包含 $\mathbb{Z}_2$，而 $\mathrm{Br}(X) \simeq 0$。

实验结果

研究问题

• RQ1 Reye 同构 Calabi-Yau 三fold $X$ 的导出范畴是否仍与它的对偶双五次对称行列式三fold $Y$ 的导出范畴等价？
• RQ2 导出等价性是否可通过具有明确定义核的 Fourier-Mukai 变换几何实现？
• RQ3 BPS 数 $n_3^Y(5) = 100$ 在 $Y$ 上曲线族的几何意义为何？
• RQ4 在此 Calabi-Yau 对中，基本群与 Brauer 群是否在导出等价性下保持不变？
• RQ5 BPS 数 $n_{14}^X(20) = 500$ 是否可几何解释为 $X$ 上曲线参数空间的计数？

主要发现

• Reye 同构 Calabi-Yau 三fold $X$ 与双五次对称行列式 Calabi-Yau 三fold $Y$ 的导出范畴等价：$\mathcal{D}^b(X) \simeq \mathcal{D}^b(Y)$。
• 该导出等价性通过在子概形 $\Delta \subset \widetilde{\mathscr{Y}} \times \widehat{\mathscr{X}}$ 上支撑的 Fourier-Mukai 变换实现，该子概形由旗簇 $\mathrm{F}(2,3,V)$ 构造而成。
• 核在 $x \in X$ 处的纤维 $I_x$ 定义了 $Y$ 中一条 genus 3 且 degree 5 的光滑曲线 $C_x$，且计数 $n_3^Y(5) = 100$ 与 $(-1)^{\dim X} e(X) \times 2 = 100$ 一致。
• $X$ 的基本群为 $\mathbb{Z}_2$，而 $Y$ 的基本群为平凡群，表明 $\pi_1$ 在导出等价性下不保持不变。
• $Y$ 的 Brauer 群包含一个非平凡的 2-挠元素，且 $\mathrm{Br}(X) \simeq 0$，因此 $\mathrm{Br}$ 在导出等价性下不保持不变。
• $n_{14}^X(20) = 500$ 与 $(-1)^{\dim Y} e(Y) \times 10 = 500$ 一致，尽管因子 10 的几何意义尚不明确。