[论文解读] The generalized Hodge and Bloch conjectures are equivalent for general complete intersections, II

Claire Voisin|arXiv (Cornell University)|Mar 16, 2014

Algebraic Geometry and Number Theory被引用 13

一句话总结

本文在代数几何的背景下，针对具有平凡 Chow 群的代数簇中的通解交，建立了广义 Hodge 猜想与 Bloch 猜想之间等价关系的无条件、稍弱版本。证明表明：若此类通解交 $Y$ 的上层上同调被维度为 $c$ 的代数周期参数化，则其 Chow 群 $CH_i(Y)_{\mathbb{Q}}$ 在 $i \leq c-1$ 时为零，前提是满足一个上同调参数化条件，该条件蕴含几何余维数 $\geq c$。该结果通过 Deligne 的混合 Hodge 理论与对偶性论证，将此前依赖于 Lefschetz 标准猜想的条件结果推广至无条件框架。

ABSTRACT

We prove an unconditional (but slightly weakened) version of the main result of our earlier paper with the same title, which was, starting from dimension $4$, conditional to the Lefschetz standard conjecture. Let $X$ be a variety with trivial Chow groups, (i.e. the cycle class map to cohomology is injective on $CH(X)_\mathbb{Q}$). We prove that if the cohomology of a general very ample hypersurface $Y$ in $X$ is ``parameterized by cycles of dimension $c$'', then the Chow groups $CH_{i}(Y)_\mathbb{Q}$ are trivial for $i\leq c-1$.

研究动机与目标

• 建立广义 Hodge 猜想与 Bloch 猜想之间等价关系的无条件、稍弱版本，适用于具有平凡 Chow 群的代数簇中的通解交。
• 证明：若通解交 $Y$ 的上层上同调被维度为 $c$ 的代数周期参数化，则在给定上同调条件之下，有 $CH_i(Y)_{\mathbb{Q}} = 0$ 对所有 $i \leq c-1$ 成立。
• 消除对 Lefschetz 标准猜想的依赖，从而扩展了此前该方向研究结果的普遍性。
• 阐明几何余维数、Hodge 余维数与 Chow 群结构之间的关系，特别是在通解交的背景下。
• 提供一个上同调判别准则——通过周期对上同调的参数化——以推导低阶 Chow 群的平凡性，并将其应用于 $K3$ 曲面与六次四fold。

提出的方法

• 定义维度为 $c$ 的代数周期对上同调的参数化概念，要求存在一个对应关系 $P \in CH^{m-c}(T \times Y)_{\mathbb{Q}}$，使得 $P^*$ 在 $H^m(Y,\mathbb{Q})$ 上单射，并通过非零有理系数 $N$ 与交形式相容。
• 利用 Deligne 的混合 Hodge 结构理论，证明若 $H^m(Y,\mathbb{Q})$ 被维度为 $c$ 的周期参数化，则其超越上同调被支撑在余维数 $\geq c$ 的子簇上，从而推出几何余维数 $\geq c$。
• 应用对偶性与上同调中的 Lefschetz 定理，将 $P^*$ 的单射性与 $Y$ 的上同调结构及存在一个维度为 $m - c$ 的光滑射影簇 $W$ 与映射 $j: W \to Y$ 联系起来。
• 利用基空间 $X$ 上 Chow 群平凡的事实，推得 $X$ 的所有有理上同调均为代数类，从而周期类可生成上同调，使代数周期技巧得以应用。
• 建立参数化条件与广义 Bloch 猜想之间的联系，证明在所述上同调假设下，该条件蕴含 $CH_i(Y)_{\mathbb{Q}}$ 对所有 $i \leq c-1$ 为零。
• 将结果应用于具体情形，如 $K3$ 曲面与六次四fold，证明：若六次四fold $X$ 的 $H^4(X,\mathbb{Q})$ 的 $i$-不变部分被 $1$-周期参数化，则 $CH_0(X)^+_{0} = 0$，从而推出某些 $K3$ 曲面上 $\mu_S^{-}$ 的消失。

实验结果

研究问题

• RQ1 在具有平凡 Chow 群的代数簇中，通解交 $Y$ 的何种上同调条件可推出 $CH_i(Y)_{\mathbb{Q}} = 0$ 对所有 $i \leq c-1$？
• RQ2 若 $H^m(Y,\mathbb{Q})$ 被维度为 $c$ 的代数周期参数化，是否足以推出低阶 Chow 群的平凡性，即使不假设 Lefschetz 标准猜想？
• RQ3 能否通过用上同调参数化条件替代 Lefschetz 标准猜想，无条件地证明广义 Bloch 猜想对具有平凡 Chow 群的通解交成立？
• RQ4 在通解交的背景下，周期对上同调的参数化与代数簇的几何余维数之间的确切关系为何？
• RQ5 对于某些六次四fold $X$，若 $H^4(X,\mathbb{Q})$ 的参数化由周期实现，则 $K3$ 曲面 $S$ 上 $CH_0(S)_{\text{hom}} \otimes CH_0(S)_{\text{hom}}$ 上的映射 $\mu_S^{-}$ 的消失是否可被推出？

主要发现

• 本文无条件地证明：若通解交 $Y$ 的上层上同调 $H^m(Y,\mathbb{Q})$ 按照定义 0.3 的意义被维度为 $c$ 的代数周期参数化，则在与交形式相容的条件下，有 $CH_i(Y)_{\mathbb{Q}} = 0$ 对所有 $i \leq c-1$ 成立。
• 该结果是 [13] 中主结果的弱化但无条件版本，此前该结果需依赖 Lefschetz 标准猜想（尤其在维度 $\geq 4$ 时），现通过 Deligne 的混合 Hodge 理论与对偶性论证已将其去除。
• 若 $H^m(Y,\mathbb{Q})$ 被维度为 $c$ 的周期参数化，则其几何余维数 $\geq c$，且该条件足以推出 $CH_i(Y)_{\mathbb{Q}}$ 对所有 $i \leq c-1$ 为零，即使不假设 Lefschetz 标准猜想。
• 对于作为 $\mathbb{P}^2$ 沿六次曲线双覆盖的 $K3$ 曲面 $S$，若其关联的六次四fold $X$ 的 $H^4(X,\mathbb{Q})$ 的 $i$-不变部分被 $1$-周期参数化，则 $\mu_S^{-}$ 的消失可被推出（这是周期理论中的一个核心问题）。
• 本文证明：若 $H^m(Y,\mathbb{Q})$ 被维度为 $c$ 的周期参数化，则存在一个维度为 $m - c$ 的光滑射影簇 $W$ 及映射 $j: W \to Y$，使得 $j_*: H^{m-2c}(W,\mathbb{Q}) \to H^m(Y,\mathbb{Q})_{\text{tr}}$ 为满射，从而为上同调条件提供了几何实现。
• 该结果在维度 2 和 3 时等价于广义 Bloch 猜想；在 Lefschetz 标准猜想成立下，其在更高维度也等价，因此在该设定下建立了一个统一广义猜想的上同调判别准则。