[论文解读] On the rationality and the finite dimensionality of a cubic fourfold

Claudio Pedrini|arXiv (Cornell University)|Jan 20, 2017

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

一句话总结

该论文通过证明在曲面的霍奇猜想与有限维性猜想成立的假设下，立方四叠面的超越性动机与关联K3曲面的塔特扭超越性动机同构，建立了立方四叠面的合理性与其 Chow 动机有限维性之间的联系。关键结果为：此类四叠面的动机有限维当且仅当其关联的K3曲面具有有限维动机，且此时超越性动机不可约分。

ABSTRACT

Let $X$ be a cubic fourfold in $P^5_{C}$. We prove that, assuming the Hodge conjecture for the product $S imes S$, where $S$ is a complex surface, and the finite dimensionality of the Chow motive $h(S)$, there are at most a countable number of decomposable integral polarized Hodge structures, arising from the fibers of a family of smooth projective surfaces. According to the results in [ABB] this is related to a conjecture proving the irrationality of a very general $X$. If $X$ is special, in the sense of B.Hasset, and $F(X) \simeq S^{[2]}$, with $S$ a K3 surface associated to $X$, then we show that the Chow motive $h(X)$ contains as a direct summand a "transcendental motive" $t(X)$ such that $t(X)\simeq t_2(S)(1)$. The motive of $X$ is finite dimensional if and only if $S$ has a finite dimensional motive, in which case $t(X)$ is indecomposable. Similarly, if $X$ is very general and the motive $h(X)$ is finite dimensional, then $t(X)$ is indecomposable

研究动机与目标

• 通过将立方四叠面的Chow动机与关联K3曲面的动机相联系，研究立方四叠面的合理性。
• 确定立方四叠面的Chow动机为有限维的条件。
• 在特定猜想假设下，证明立方四叠面的超越性动机同构于关联K3曲面的塔特扭超越性动机。
• 证明立方四叠面的动机有限维性等价于其关联K3曲面的动机有限维性。
• 在有限性假设下，建立非常一般及特殊立方四叠面的超越性动机不可约分性。

提出的方法

• 论文使用具有有理系数的Chow动机范畴，并应用Kimura的有限维性猜想来分析立方四叠面的动机。
• 应用Manin公式分解从P⁴到立方四叠面的有理映射的解析动机，以爆破中心的动机表达h( X̃ )。
• 在假设F(X) ≅ S^{[2]}下，建立立方四叠面的超越性动机t(X)与关联K3曲面S的塔特扭超越性动机t₂(S)(1)之间的同构。
• 使用霍奇实现函子将同调动机与有理动机联系起来，表明同调范畴中的自同态环反映了有理范畴中的性质。
• 应用Chow-Künneth分解，将原始动机h(X)_{prim} = h^{tr}_4(X) = t(X)从非常一般的立方四叠面中分离出来。
• 通过证明End_{M_rat}(t(X)) ≅ Q[id]，利用End_{HS}(H⁴(X, Q)_{prim}) = Q[id]这一事实，证明t(X)的不可约分性。

实验结果

研究问题

• RQ1 在何种条件下，立方四叠面的Chow动机为有限维？
• RQ2 立方四叠面的超越性动机如何与关联K3曲面的动机相关？
• RQ3 能否通过曲面上可分解的积分极化霍奇结构的约束，证明非常一般立方四叠面的合理性？
• RQ4 当立方四叠面的动机为有限维时，其超越性动机是否不可约分？
• RQ5 S×S的霍奇猜想与h(S)的有限维性在何种程度上限制了由曲面族产生的可分解霍奇结构的数量？

主要发现

• 对于满足F(X) ≅ S^{[2]}的立方四叠面X，其超越性动机t(X)同构于t₂(S)(1)，其中S为关联的K3曲面。
• 动机h(X)为有限维当且仅当关联K3曲面S的动机h(S)为有限维。
• 对于非常一般的立方四叠面，若h(X)为有限维，则t(X)不可约分，因为End_{M_rat}(t(X)) ≅ Q[id]。
• 在S×S的霍奇猜想成立且h(S)有限维的假设下，只要h(X)为有限维，则t(X)即不可约分。
• 在S×S的霍奇猜想成立且h(S)有限维的假设下，由族f: S → B的纤维产生的可分解积分极化霍奇结构的数量至多为可数。
• 动机h(X)为阿贝尔型当且仅当h(S)为阿贝尔型，且此时t(X) ≅ t₂(S)(1)亦为阿贝尔型。