[论文解读] Motivic obstruction to rationality of a very general cubic hypersurface in $\mathbb P^5$. Part I

Vladimir Guletskiĭ|arXiv (Cornell University)|Jan 1, 2000

Algebraic Geometry and Number Theory参考文献 9被引用 4

一句话总结

本文通过证明：若光滑射影曲面 $S$ 的超越动机 $M^2_{\text{tr}}(S)$ 是有限维且整数不可分解的，则 $\mathbb{P}^5$ 中的非常一般三次超曲面不是有理的，从而建立了该类超曲面有理性的动机障碍。该结果适用于例如费马六次曲线自积的情形。

ABSTRACT

Let $S$ be a smooth projective surface over a field. We introduce the notion of integral decomposability and, respectively, the opposite notion of integral indecomposability, of the transcendental motive $M^2_{ m tr}(S)$. If the transcendental motive is indecomposable rationally, then it is indecomposable integrally. For example, $M^2_{ m tr}(S)$ is rationally, and hence integrally indecomposable if $S$ is the self-product of an elliptic curve with complex multiplication, or an algebraic $K3$-surface, if we know that its motive is finite-dimensional. In the paper we prove that $M^2_{ m tr}(S)$ is integrally indecomposable when $S$ is the self-product of a smooth projective curve having enough morphisms onto an elliptic curve with complex multiplication over the ground field. This applies, for example, if $S$ is the self-product of the Fermat sextic in $\mathbb P^2$. Our main result asserts that if the transcendental motive $M^2_{ m tr}(S)$ is finite-dimensional and integrally indecomposable, for any smooth projective surface $S$ over $\mathbb C$, then a very general cubic hypersurface in $\mathbb P^5$ is not rational.

研究动机与目标

• 通过曲面的几何性质，建立 $\mathbb{P}^5$ 中三次超曲面有理性的动机障碍。
• 定义并研究光滑射影曲面 $S$ 的超越动机 $M^2_{\text{tr}}(S)$ 的整数可分解性。
• 证明当 $S$ 是具有足够多到复乘椭圆曲线的态射的曲线的自积时，$M^2_{\text{tr}}(S)$ 是整数不可分解的。
• 将此结果应用于证明：当动机满足有限维性和整数不可分解性时，$\mathbb{P}^5$ 中的非常一般三次超曲面不是有理的。
• 将已知的基于动机方法的有理性障碍结果，从有理不可分解性推广到更强的整数条件。

提出的方法

• 引入光滑射影曲面 $S$ 的超越动机 $M^2_{\text{tr}}(S)$ 的整数可分解性与不可分解性的概念。
• 证明有理不可分解性蕴含整数不可分解性，并建立整数不可分解性的充分条件。
• 分析 $S = C \times C$ 的动机，其中 $C$ 是在基域上存在足够多到复乘椭圆曲线的态射的光滑射影曲线。
• 利用动机的有限维性及态射结构，证明 $M^2_{\text{tr}}(S)$ 是整数不可分解的。
• 应用动机障碍理论，推导出当动机 $M^2_{\text{tr}}(S)$ 有限维且整数不可分解时，$\mathbb{P}^5$ 中的非常一般三次超曲面不是有理的。
• 利用关于 $K3$ 曲面和具有复乘的椭圆曲线的已知结果，验证 $S$ 上的条件。

实验结果

研究问题

• RQ1 在何种条件下，光滑射影曲面 $S$ 的超越动机 $M^2_{\text{tr}}(S)$ 是整数不可分解的？
• RQ2 当 $M^2_{\text{tr}}(S)$ 是整数不可分解时，是否能推出 $\mathbb{P}^5$ 中的非常一般三次超曲面不是有理的？
• RQ3 能否通过将超越动机的有理不可分解性替换为整数不可分解性，来强化有理性的动机障碍？
• RQ4 费马六次曲线自积的超越动机是否是整数不可分解的？
• RQ5 曲线到复乘椭圆曲线的态射的存在性在动机的整数不可分解性中起什么作用？

主要发现

• 当 $S$ 是在基域上存在足够多到复乘椭圆曲线的态射的光滑射影曲线的自积时，其超越动机 $M^2_{\text{tr}}(S)$ 是整数不可分解的。
• 对于此类曲面 $S$，动机 $M^2_{\text{tr}}(S)$ 是有限维且整数不可分解的，满足主定理的关键假设。
• 主定理表明：若 $M^2_{\text{tr}}(S)$ 是有限维且整数不可分解的，则 $\mathbb{P}^5$ 中的非常一般三次超曲面不是有理的。
• 该结果适用于 $S = C \times C$，其中 $C$ 是 $\mathbb{P}^2$ 中的费马六次曲线，因其存在足够的到复乘椭圆曲线的态射。
• 整数不可分解性比有理不可分解性更强，本文利用它推导出新的有理性障碍。
• 本文提供了一种超越以往基于有理动机结果的动机性非有理判别准则。