[论文解读] Voisin's Conjecture for Zero--cycles on Calabi--Yau Varieties and their Mirrors

Gilberto Bini, Robert Laterveer+1 more|arXiv (Cornell University)|Jun 1, 2017

Algebraic Geometry and Number Theory参考文献 66被引用 7

一句话总结

本文通过有限维动机与精细的查瓦-昆伦分解，为几何亏格为1、维数不超过5的卡拉比-丘流形建立了一个验证沃辛猜想关于0-循环的一般准则。关键结果通过在镜像对 partner 上进行上同调计算，验证了 $ frac{1}{2}$-极大性，从而确认了沃辛猜想在特定费马型卡拉比-丘超曲面（包括 $ frac{1}{2}$-四维超曲面和加权卡拉比-丘三流形）上的成立。

ABSTRACT

We study a conjecture, due to Voisin, on 0-cycles on varieties with $p_g=1$. Using Kimura's finite dimensional motives and recent results of Vial's on the refined (Chow-)K\\"unneth decomposition, we provide a general criterion for Calabi-Yau manifolds of dimension at most $5$ to verify Voisin's conjecture. We then check, using in most cases some cohomological computations on the mirror partners, that the criterion can be successfully applied to various examples in each dimension up to $5$.

研究动机与目标

• 为维数 $\leq 5$ 且 $p_g = 1$ 的卡拉比-丘流形建立一个验证沃辛猜想关于0-循环的一般准则。
• 解决一个开放问题：在这些流形上，度数为零的0-循环是否满足对称关系 $a \times a' = (-1)^n a' \times a$ 在 $A^{2n}(X \times X)$ 中成立。
• 通过利用有限维动机与精细的查瓦-昆伦分解，将沃辛猜想的适用范围扩展至已知情形之外。
• 通过上同调技术，对显式例子（包括费马超曲面及其镜像）验证该猜想。

提出的方法

• 利用基姆拉的有限维动机理论，确保支配流形 $X'$ 上的代数循环继承有利性质。
• 应用维亚尔的精细查瓦-昆伦分解，以控制查瓦群与同调等价的结构。
• 将 $ frac{1}{2}$-极大性条件作为关键技术准则，通过在 $X$ 的镜像对 partner 上进行上同调计算来验证。
• 利用费马型卡拉比-丘超曲面的镜像对称性，计算超越上同调 $H^n_{tr}(X)$ 的维数，从而确定 $ frac{1}{2}$-极大性。
• 应用爆破公式与霍奇理论分解，证明 $\tfrac{1}{2}$-极大性在 $i = 2n$ 时成立，确保准则被满足。
• 依赖于费马超曲面的已知结果，例如其可被曲线积的有理支配，以及其镜像流形的显式描述。

实验结果

研究问题

• RQ1 对于哪些维数 $\leq 5$ 且 $p_g = 1$ 的卡拉比-丘流形，沃辛猜想关于0-循环成立？
• RQ2 能否通过镜像对称性有效验证卡拉比-丘超曲面的 $ frac{1}{2}$-极大性条件？
• RQ3 在德沃克五次三流形族中，是否存在 $\lambda$ 使得 $\dim H^3_{tr}(X_\lambda)$ 降至2？对于 $\lambda \neq 0$，其动机是否为有限维？
• RQ4 费马六次四维超曲面 $X \subset \mathbb{P}^5$ 是否为 $ frac{1}{2}$-极大？它是否满足沃辛猜想？
• RQ5 是否仅有 $d = 4$ 与 $d = 6$ 的费马超曲面 $F_d$ 是 $ frac{1}{2}$-极大？

主要发现

• 由 $x_0^6 + \cdots + x_5^6 = 0$ 定义的六次四维超曲面 $X \subset \mathbb{P}^5$ 满足沃辛猜想：对任意 $a, a' \in A^4_{\text{hom}}(X)$，有 $a \times a' = a' \times a$ 在 $A^8(X \times X)$ 中成立。
• 由 $x_0^6 + x_1^6 + x_2^6 + x_3^6 + x_4^3 = 0$ 定义的加权卡拉比-丘三流形 $X \subset \mathbb{P}(1^4,2)$ 满足沃辛猜想：对 $a, a' \in A^3_{\text{hom}}(X)$，有 $a \times a' = -a' \times a$ 在 $A^6(X \times X)$ 中成立。
• 费马六次四维超曲面为 $ frac{1}{2}$-极大，通过其镜像上的上同调计算得以证明，从而确认了定理4.1中的准则。
• 对于由 $x_0^6 + x_1^6 + x_2^6 + x_3^6 + x_4^3 = 0$ 定义的卡拉比-丘三流形，$H^3_{tr}(X) \otimes \mathbb{C}$ 的维数为2，这蕴含 $ frac{1}{2}$-极大性。
• 定理4.1中的准则对所有维数 $n \leq 5$、有理支配于曲线积且具有有限维动机、满足 $ frac{1}{2}$-极大性的卡拉比-丘流形均成立。
• 本文通过验证一般准则的所有假设，确认了沃辛猜想在一类新的卡拉比-丘三流形与四流形（包括通过 Cynk–Hulek 方法构造的流形）上成立。