[论文解读] Duality between S^2 P^4 and the Double Quintic Symmetroid

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

Algebraic structures and combinatorial models参考文献 5被引用 10

一句话总结

本文通过其导出范畴中的构造解析化与对偶Lefschetz族，建立了第二对称积 $\mathsf{S}^2\mathbb{P}^4$ 与双五次对称阵面之间的同调投影对偶性，其核心在于对奇异概形的解析化处理，从而为理解这些概形线性截面的导出等价性提供了范畴论框架。

ABSTRACT

We obtain homological properties of the second symmetric product of P^4 and the double cover of the symmetric determinantal quintic hypersurface in P^{14} (the double quintic symmetroids), which indicate the homological projective duality between (suitable noncommutative resolutions of) them. Among other things, we construct their good desingularizations and also (dual) Lefschetz collections in the derived categories of the desingularizations. These are expected to give (dual) Lefschetz decompositions of suitable noncommutative resolutions. The desingularization of the double quintic symmetroids also contains its interesting birational geometries.

研究动机与目标

• 建立 $\mathsf{S}^2\mathbb{P}^4$ 与双五次对称阵面 $\mathscr{Y}$ 之间的同调投影对偶性，将该框架扩展至奇异概形。
• 为对称积与双对称阵面分别构造良好的解析化 $\widetilde{\mathscr{X}}$ 与 $\widetilde{\mathscr{Y}}$。
• 在 $\mathcal{D}^b(\widetilde{\mathscr{X}})$ 中定义一个对偶Lefschetz族，在 $\mathcal{D}^b(\widetilde{\mathscr{Y}})$ 中定义一个Lefschetz族，从而实现对偶Lefschetz分解。
• 将这些构造与 $\mathscr{X}$ 与 $\mathscr{Y}$ 的导出范畴的非交换解析化联系起来，尤其关注线性截面生成的卡拉比–丘三流形情境。
• 通过普吕克关系与矩阵不变量，阐明 $\mathsf{S}^2\mathbb{P}^4$ 与五次对称阵面的双重覆盖之间的几何与同调对偶性。

提出的方法

• 通过沿矩阵秩的子簇进行爆破，构造 $\mathsf{S}^2\mathbb{P}^4$ 的解析化 $\widetilde{\mathscr{X}}$。
• 构造双覆盖 $\mathscr{Y} \to \mathscr{H}$ 的解析化 $\widetilde{\mathscr{Y}}$，其分支位于五次对称阵面 $\mathscr{H}$ 的秩 $\leq 3$ 子簇上。
• 利用 $\widetilde{\mathscr{Y}}$ 的导出范畴及其例外对象，在 $\mathcal{D}^b(\widetilde{\mathscr{Y}})$ 中定义一个Lefschetz族。
• 通过范畴对偶性，在 $\mathcal{D}^b(\widetilde{\mathscr{X}})$ 中定义一个与 $\mathcal{D}^b(\widetilde{\mathscr{Y}})$ 中族对偶的Lefschetz族。
• 利用 $\mathrm{Gr}(3,6)$ 的普吕克嵌入，通过不可约分解将 $\mathbb{P}(\wedge^3(\wedge^2 V_4))$ 的坐标与对称矩阵 $v$ 和 $w$ 关联起来。
• 利用矩阵恒等式 $|v_{IJ}| - \epsilon_{I\check{I}}\epsilon_{J\check{J}}|w_{\check{I}\check{J}}| = 0$ 与 $v.w = d\cdot \mathrm{id}_4$（其中 $d = \pm \sqrt{\det w}$）推导普吕克关系。

实验结果

研究问题

• RQ1 是否存在一个与双五次对称阵面的Lefschetz分解对偶的 $\mathsf{S}^2\mathbb{P}^4$ 的导出范畴Lefschetz分解？
• RQ2 能否构造一个 $\mathscr{Y}$ 的非交换解析化，使得其导出范畴中存在一个与 $\widetilde{\mathscr{X}}$ 的Lefschetz族对偶的Lefschetz族？
• RQ3 在双对称阵面的背景下，$\mathrm{Gr}(3,6)$ 上的普吕克关系如何与对称矩阵 $v$ 和 $w$ 相关联？
• RQ4 矩阵 $v$ 与 $w$ 的秩条件与双覆盖 $\mathscr{Y} \to \mathscr{H}$ 的几何结构之间存在何种精确关系？
• RQ5 双对称阵面的线性截面 $Y = \mathscr{Y} \cap \mathbb{P}(L)$ 的导出范畴是否为卡拉比–丘三流形，其与 $X = \mathscr{X} \cap \mathbb{P}(L^\perp)$ 的导出范畴有何关联？

主要发现

• 双对称阵面 $\mathscr{Y}$ 是作为五次对称阵面 $\mathscr{H}$ 的双覆盖构造的，分支位于秩 $\leq 3$ 的子簇上；当 $n \geq 4$ 时其为奇异的，但存在良好的解析化 $\widetilde{\mathscr{Y}}$。
• 对称积 $\mathsf{S}^2\mathbb{P}^4$ 允许一个解析化 $\widetilde{\mathscr{X}}$，其支持一个 $\mathcal{D}^b(\widetilde{\mathscr{X}})$ 中的对偶Lefschetz族。
• $\mathcal{D}^b(\widetilde{\mathscr{X}})$ 与 $\mathcal{D}^b(\widetilde{\mathscr{Y}})$ 均容许对偶Lefschetz分解，表明存在同调投影对偶性。
• 普吕克关系 $p_{IJK}$ 通过矩阵不变量表达为：$|v_{IJ}| - \epsilon_{I\check{I}}\epsilon_{J\check{J}}|w_{\check{I}\check{J}}| = 0$ 与 $v.w = d\cdot \mathrm{id}_4$，其中 $d = \pm \sqrt{\det w}$。
• 由于拉普拉斯展开与普吕克关系，恒等式 $\det v = \det w$ 成立，确认了两组矩阵系统之间的一致性。
• 矩阵 $v$ 与 $w$ 的秩受到约束：$\mathrm{rk}(v) \neq 3$，$\mathrm{rk}(w) \neq 3$，且 $\mathrm{rk}(v) = 2 \Leftrightarrow \mathrm{rk}(w) = 2$，同时 $\mathrm{rk}(v) \leq 1 \Leftrightarrow \mathrm{rk}(w) \leq 1$。