[论文解读] A very general quartic double fourfold is not stably rational

Brendan Hassett, Alena Pirutka+1 more|arXiv (Cornell University)|May 10, 2016

Algebraic Geometry and Number Theory参考文献 8被引用 10

一句话总结

该论文证明了一个非常一般的四次双四fold——即在四维射影空间上以四次三复形为分支的双重覆盖——不是稳定有理的。通过专门化论证和对角分解方法，作者构建了一个具有非平凡无枝上同调且具有普遍 CH₀-平凡解析的奇异模型，从而通过专门化到具有这些性质的特殊纤维，确立了通解情形下的稳定无理性。

ABSTRACT

We prove that a very general double cover of the projective four-space, ramified in a quartic threefold, is not stably rational.

研究动机与目标

• 为在特征零的不可数域上，一个非常一般的四次双四fold的稳定有理性的失败提供证明。
• 构造一个特定的奇异四次双四fold，使其同时满足分解对角方法所要求的两个条件：非零无枝上同调与普遍 CH₀-平凡解析。
• 两次应用专门化论证：首先将四fold专门化到沿一条直线奇异的模型，然后专门化到一个具有已知几何与上同调性质的双有理模型，从而推导出通解情形的结果。
• 验证特殊模型的解析是普遍 CH₀-平凡的，以确保该方法适用于通解纤维。

提出的方法

• 通过沿直线 $\ell$ 双重覆盖四次三复形族，将一个非常一般的四次双四fold专门化到一个沿直线 $\ell$ 奇异的奇异模型 $X$，其中 $\ell$ 位于分支集内。
• 通过沿 $\ell$ 的爆破构造解析 $\beta: \tilde{X} \to X$，并利用在 $\mathbb{P}^2$ 上的射影丛结构分析其几何，证明其为普遍 $\mathrm{CH}_0$-平凡。
• 将解析后的四fold $\tilde{X}$ 实现为在 $\mathbb{P}^2$ 上的二次曲面丛，其退化除子为光滑的八次曲线，从而保证有利的上同调行为。
• 利用 $\mathbb{P}^2 \times \mathbb{P}^3$ 中双次 (2,2) 的双有理模型 $V'$，转移已知的上同调障碍：通过 Pirutka 方法计算，$V'$ 具有非平凡的第二无枝上同调。
• 两次应用专门化论证：第一次从特殊纤维 $X'$ 推出通解纤维的非普遍 $\mathrm{CH}_0$-平凡性；第二次确认 $X$ 的解析是普遍 $\mathrm{CH}_0$-平凡的。
• 利用 Voisin 定理及 Colliot-Thélène–Pirutka 定理：若一个纤维具有普遍 $\mathrm{CH}_0$-平凡解析，但其自身并非普遍 $\mathrm{CH}_0$-平凡，则其非常一般纤维不是稳定有理的。

实验结果

研究问题

• RQ1 一个非常一般的四次双四fold是否不具有稳定有理性质？
• RQ2 能否构造一个四次双四fold的奇异模型，使其具有非平凡无枝上同调且具有普遍 $\mathrm{CH}_0$-平凡解析？
• RQ3 专门化方法能否成功应用于四次双四fold族，以推导出通解成员的稳定无理性？
• RQ4 沿一条直线奇异的四次双四fold的解析是否为普遍 $\mathrm{CH}_0$-平凡？
• RQ5 $\mathbb{P}^2 \times \mathbb{P}^3$ 中双次 (2,2) 的双有理模型 $V'$ 是否具有非平凡无枝上同调？

主要发现

• 通过专门化到具有非平凡无枝上同调与普遍 $\mathrm{CH}_0$-平凡解析的特殊纤维，确立了一个非常一般的四次双四fold不是稳定有理的。
• 特殊纤维 $X'$，双有理等价于 $\mathbb{P}^2 \times \mathbb{P}^3$ 中的 (2,2) 超曲面 $V'$，其第二无枝上同调非零，经 Pirutka 方法对二次曲面丛的计算得到确认。
• 沿一条直线奇异的四fold $X$ 的解析 $\tilde{X}$ 是普遍 $\mathrm{CH}_0$-平凡的，通过爆破结构与 $\mathbb{P}^2$ 上的纤维分析得以验证。
• 解析后的四fold $\tilde{X}$ 在 $\mathbb{P}^2$ 上具有二次曲面丛结构，其退化除子为光滑八次曲线，支持了上同调与双有理分析。
• 专门化论证应用了两次：第一次将 $X'$ 的非普遍 $\mathrm{CH}_0$-平凡性传递至通解纤维；第二次确认 $X$ 的解析是普遍 $\mathrm{CH}_0$-平凡的。
• 结果确认了通解四次双四fold的稳定有理性失败，使用对角分解方法解决了代数几何中长期存在的问题。