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

Claire Voisin|arXiv (Cornell University)|Jul 13, 2011

Algebraic Geometry and Number Theory参考文献 19被引用 5

一句话总结

该论文在 Lefschetz 标准猜想的假设下，证明了在具有平凡 Chow 群的光滑射影代数簇中的通解完全交，其广义 Hodge 与 Bloch 猜想等价。论文证明：若此类完全交的消失上同调具有几何余维数 ≥ c，则其维数 ≤ c−1 的 Chow 群平凡，从而将 Hodge 理论的余维数与代数循环的平凡性联系起来。

ABSTRACT

Let $X$ be a smooth complex projective variety with trivial Chow groups. (By trivial, we mean that the cycle class is injective.) We show (assuming the Lefschetz standard conjecture) that if the vanishing cohomology of a general complete intersection $Y$ of ample hypersurfaces in $X$ has geometric coniveau $\geq c$, then the Chow groups of cycles of dimension $\leq c-1$ of $Y$ are trivial. The generalized Bloch conjecture for $Y$ is this statement with "geometric coniveau" replaced by "Hodge coniveau".

研究动机与目标

• 在 Lefschetz 标准猜想的假设下，建立光滑射影代数簇中具有平凡 Chow 群的通解完全交的广义 Hodge 与 Bloch 猜想之间的等价性。
• 证明：若通解完全交的消失上同调具有几何余维数 ≥ c，则其维数 ≤ c−1 的循环的 Chow 群平凡。
• 通过单值性和消去奇异点技术，将定理 0.2（关于 Hodge 余维数与 Chow 群单射性）的结论推广至几何余维数情形。
• 证明：在给定余维数条件下，通解完全交的广义 Hodge 猜想可由低维 Chow 群的平凡性推出。

提出的方法

• 以 Lefschetz 标准猜想为基础，建立 Hodge 结构与代数循环之间的联系。
• 应用单值性论证，证明非常一般完全交的初等上同调的 Hodge 结构是简单的，因此子 Hodge 结构必为整个初等上同调。
• 利用 Fulton-MacPherson 紧化与配置空间的爆破，解决点的 Hilbert 模空间中的奇点，特别关注 (3,1) 与 (2,2) 类型的子簇。
• 通过 $\widetilde{X^4_0}$ 在 $X^4_0$ 上的函子性构造，确保当 $X$ 满足性质 $\mathcal{P}_{2n-2}$ 时，$\widetilde{X^4_0}$ 也满足该性质。
• 应用 Hayman 定理，通过在特定子簇上爆破，将有理映射 $\sigma: X(4)_0 \dashrightarrow \mathrm{Hilb}^4(X)$ 解决为一个态射。
• 依赖于任意长度为 3 的子概形必包含于某个光滑曲面中的事实，从而将一般情形约化至已知结果适用的曲面情形。

实验结果

研究问题

• RQ1 若通解完全交的消失上同调具有几何余维数 ≥ c，是否意味着其维数 ≤ c−1 的循环的 Chow 群平凡？
• RQ2 在具有平凡 Chow 群的代数簇中，通解完全交的广义 Hodge 与 Bloch 猜想是否等价？
• RQ3 能否通过单值性与消去奇异点技术，从低维 Chow 群的平凡性推出通解完全交的广义 Hodge 猜想？
• RQ4 Lefschetz 标准猜想在多大程度上能够实现从 Hodge 理论余维数条件到代数循环平凡性的转移？

主要发现

• 若光滑射影代数簇 $X$ 中具有平凡 Chow 群的通解完全交 $Y$ 的消失上同调具有几何余维数 ≥ c，则 $Y$ 上维数 ≤ c−1 的循环的 Chow 群平凡。
• 在 Lefschetz 标准猜想的假设下，广义 Hodge 与 Bloch 猜想对通解完全交等价。
• 通过配置空间的爆破构造 $\widetilde{X^4_0}$，确保当 $X$ 满足性质 $\mathcal{P}_{2n-2}$ 时，$\widetilde{X^4_0}$ 也满足该性质，从而实现上同调性质的下降。
• 有理映射 $\sigma: X(4)_0 \dashrightarrow \mathrm{Hilb}^4(X)$ 在爆破特定子簇 $M$ 后成为态射，通过 Hayman 定理解决了奇点。
• 通过任意长度为 3 的子概形必位于某光滑曲面上的事实，问题被约化至曲面情形，从而可应用二维情形下的已知结果。
• 该结果表明：在 Lefschetz 标准猜想下，对于通解完全交，广义 Hodge 猜想成立当且仅当 Bloch 猜想成立。