[论文解读] The decomposition theorem for families of K3 surfaces and Calabi-Yau hypersurfaces

Claire Voisin|arXiv (Cornell University)|Feb 8, 2011

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

一句话总结

本文证明，在基空间收缩后，K3曲面族的上同调分解定理可被提升为与杯积结构相容的改进形式，证明了K3曲面上$S^3$的极小对角线的分解，并将此结果推广至$mathbb{P}^n$中的卡拉比-丘超曲面，从而对其 Chow 环施加了强约束。

ABSTRACT

The decomposition theorem for smooth projective morphisms $\pi:\mathcal{X} ightarrow B$ says that $R\pi_*\mathbb{Q}$ decomposes as $\oplus R^i\pi_*\mathbb{Q}[-i]$. We describe simple examples where it is not possible to have such a decomposition compatible with cup-product, even after restriction to Zariski dense open sets of $B$. We prove however that this is always possible for families of $K3$ surfaces (after shrinking the base), and show how this result relates to a result by Beauville and the author on the Chow ring of $K3$ surfaces $S$. We give two proofs of this result, the second one involving a certain decomposition of the small diagonal in $S^3$ also proved by Beauville and the author}. We prove an analogue of such a decomposition of the small diagonal in $X^3$ for Calabi-Yau hypersurfaces $X$ in $\mathbb{P}^n$, which in turn provides strong restrictions on their Chow ring.

研究动机与目标

• 研究光滑射影族的分解定理是否可在K3曲面族中与杯积结构相容。
• 确定即使在基空间的Zariski余稠密开子集上限制，这种杯积相容性是否在一般情况下仍会失败。
• 在基空间收缩后，建立K3曲面族的改进分解定理，使其尊重杯积结构。
• 通过类似极小对角线分解的方法，将结果推广至$mathbb{P}^n$中的卡拉比-丘超曲面。
• 将这些上同调分解与K3曲面及卡拉比-丘超曲面的Chow环的结构约束联系起来。

提出的方法

• 通过几何与上同调技术，在基空间收缩后证明K3曲面族的$R\pi_*\mathbb{Q}$的分解可与杯积结构相容。
• 利用Beauville与作者先前建立的K3曲面上$S^3$的极小对角线分解作为关键工具。
• 提供两种证明：一种基于极小对角线分解，另一种基于直接的上同调分析。
• 将极小对角线分解推广至$mathbb{P}^n$中的卡拉比-丘超曲面$X$，证明在$X^3$中存在类似结果。
• 利用所得分解推导出对相应代数簇的Chow环的强限制。

实验结果

研究问题

• RQ1 K3曲面族中$R\pi_*\mathbb{Q}$的分解定理是否可在基空间的Zariski余稠密开子集上限制后，仍与杯积结构相容？
• RQ2 在一般光滑射影族中，杯积相容性的障碍是什么？这些障碍是否出现在K3曲面族中？
• RQ3 K3曲面上$S^3$的极小对角线分解如何与族的上同调分解相关联？
• RQ4 极小对角线分解技术能否推广至$mathbb{P}^n$中的卡拉比-丘超曲面？
• RQ5 此类上同调分解对K3曲面或卡拉比-丘超曲面的Chow环施加了何种约束？

主要发现

• 在基空间收缩后，K3曲面族的分解定理可被改进为与杯积结构相容的形式。
• K3曲面上$S^3$的极小对角线分解是上同调分解的基础，并实现了杯积相容性。
• 在$mathbb{P}^n$中的卡拉比-丘超曲面$X\subset\mathbb{P}^n$中，建立了$X^3$的类似极小对角线分解，将结果从K3曲面推广至更广范围。
• 这些分解对K3曲面及卡拉比-丘超曲面的Chow环施加了强结构约束。
• 结果表明，K3族在基空间变换后，杯积相容性并不受阻，而一般族中则可能受阻。