[论文解读] On the Chow groups of the variety of lines of a cubic fourfold

Mingmin Shen, Charles Vial|arXiv (Cornell University)|Dec 3, 2012

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

一句话总结

本文为复数光滑三次四fold $X$ 的直线的Fano簇 $F$ 的零循环的Chow群 $CH_0(F)$ 构造了一个Bloch–Beilinson过滤。在Voisin的自有理映射 $φ: F \to F$ 的作用下，该过滤自然分裂，并且被证明源自于对角线的Chow–Künneth分解，从而在这一背景下回答了Beauville提出的问题。

ABSTRACT

Let $X$ be a smooth complex cubic fourfold and let $F$ be the variety of lines of $X$. The variety $F$ is known to be a smooth projective hyperkaehler fourfold, which is moreover endowed with a self rational map $ϕ: F - ightarrow F$ first constructed by C. Voisin. Here we define a filtration of Bloch--Beilinson type on the Chow group of zero-cycles $CH_0(F)$ which canonically splits under the action of $ϕ$, thereby answering in this case a question of A. Beauville. Moreover, we show that this filtration is of motivic origin, in the sense that it arises from a Chow--Kuenneth decomposition of the diagonal.

研究动机与目标

• 定义Fano簇的零循环的Chow群 $CH_0(F)$ 上的一个过滤，该过滤在Voisin的自有理映射 $\phi: F \to F$ 的作用下保持不变。
• 解决A. Beauville关于在自映射作用下存在一个在 $CH_0(F)$ 上具有典范性的过滤的问题。
• 通过证明该过滤源自于 $F$ 的对角线的Chow–Künneth分解，建立其动机起源。
• 为理解超凯勒四fold上的代数循环，特别是三次四fold的Fano簇的背景，做出贡献。

提出的方法

• 利用Voisin的自有理映射 $\phi: F \to F$ 的作用，在 $CH_0(F)$ 上构造一个过滤，借助其几何与动力学性质。
• 证明该过滤在 $\phi$ 的作用下自然分裂，表明其与该映射的动力学相容。
• 运用Chow–Künneth分解的理论，证明该过滤源自于 $F$ 的Chow环中对角线的分解。
• 应用Bloch–Beilinson理论分析 $CH_0(F)$ 的结构，特别关注零循环在有理映射下的行为。
• 利用 $F$ 作为光滑射影簇的已知超凯勒结构，支持该过滤的构造及其动机起源。

实验结果

研究问题

• RQ1 是否存在一个在Voisin的自有理映射 $\phi$ 作用下保持不变的 $CH_0(F)$ 上的典范过滤，其中 $F$ 是三次四fold的直线Fano簇？
• RQ2 该过滤能否被证明具有动机起源，即源自于 $F$ 的对角线的Chow–Künneth分解？
• RQ3 映射 $\phi$ 如何影响 $F$ 上代数循环的结构，特别是零循环？
• RQ4 该过滤在多大程度上反映了三次四fold $X$ 的深层几何或动机性质？
• RQ5 该构造是否解决了Beauville关于超凯勒四fold背景下典范过滤的问题，或提供了相关见解？

主要发现

• 构造了一个在Voisin的自有理映射 $\phi: F \to F$ 作用下自然分裂的 $CH_0(F)$ 上的Bloch–Beilinson过滤。
• 证明该过滤具有动机起源，源自于 $F$ 的对角线的Chow–Künneth分解。
• 该构造为A. Beauville关于超凯勒四fold上 $CH_0(F)$ 的典范过滤问题提供了肯定回答。
• 该过滤尊重 $F$ 作为超凯勒四fold的几何结构及其映射 $\phi$ 的动力学，表明其与底层几何具有深刻相容性。
• 该结果建立了超凯勒流形上的有理映射与其Chow群结构之间的联系，特别是在零循环的背景下。