[论文解读] Sur les varietes de Hodge

Ania Otwinowska|arXiv (Cornell University)|Jan 9, 2004

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文研究了在光滑复射影代数簇中，超曲面的诺特-莱夫谢茨簇，重点关注与上同调类相关的霍奇簇的余维数。研究证明，若此类簇的余维数较小，则相应类必为代数子簇类在投影下的复线性组合，这意味着诺特-莱夫谢茨簇的低余维数分支参数化代数子簇族，从而为超曲面上的霍奇猜想提供了支持。

ABSTRACT

Let $Y$ be a smooth complex projective variety of dimension $N+1$, $L$ an invertible sufficiently ample sheaf, $X\in |L|$ a smooth hypersurface and $λ\in F^kH^N(X,C)$ a vanishing cohomology class, where $F^{*}$ is the Hodge filtration and $k\in\{1,...,[N/2]\}$. Assume that $L$ is sufficiently ample and that the codimension in $|L|$ of the Hodge variety associated to $λ$ (locally defined as the locus where the image of $λ$ by flat transport over $|L|$ remains in $F^k$) is sufficiently small. I show that this forces $N$ to be even and $k=[N/2]$, and that the class $λ$ is a linear combination with complex coefficients of classes of algebraic subvarieties of $X$ of small degree. As a corollary, I obtain that the components of smallest codimensions of the Noether-Lefschetz locus are spanned by classes of algebraic subvarieties as predicted by Hodge conjecture. The proof relies on an algebraic description of the infinitesimal neighboorghood of the Noether-Lefschetz locus at any order and on a (global) monodromy result.

研究动机与目标

• 理解参数化具有非平凡霍奇类的超曲面的诺特-莱夫谢茨簇的结构。
• 分析上同调消逝层中上同调类相关联的霍奇簇的几何性质。
• 探究霍奇簇的余维数较小与上同调类代数性之间的联系。
• 通过证明诺特-莱夫谢茨簇的低余维数分支源于代数子簇，为霍奇猜想提供证据。
• 通过其在霍奇结构中的变化特征刻画有理类，而无需事先假设其有理性的前提。

提出的方法

• 将霍奇簇定义为超曲面参数空间中的解析子簇，其中给定上同调类保持在霍奇滤子中。
• 利用上同调消逝层上的霍奇结构变化来定义并研究这些霍奇簇。
• 应用无穷小霍奇结构变化理论与单值性理论，分析类在平行移动下的行为。
• 运用代数几何工具，包括科 szul 复形、理想理论以及分次环的结构，研究这些簇的定义方程。
• 应用莱夫谢茨超平面定理与霍奇分解，将上同调分解为消逝部分与环境部分。
• 使用渐近论证与线性系统上的通用性条件，将问题约化为多项式环中的代数计算。

实验结果

研究问题

• RQ1 在何种条件下，与上同调类相关联的霍奇簇在超曲面参数空间中具有较小的余维数？
• RQ2 霍奇簇的余维数较小是否能强制相应上同调类为代数子簇类在投影下的复线性组合？
• RQ3 诺特-莱夫谢茨簇的分支与超曲面上代数子簇的存在性之间有何关系？
• RQ4 在多大程度上，通过分析霍奇簇的余维数，可以为霍奇猜想提供支持？
• RQ5 能否在不事先假设类有理性的前提下，仅通过其在霍奇结构变化中的行为推断其有理性？

主要发现

• 若与类 λ ∈ F^k H^N(X, C)_ev 相关的霍奇簇具有足够小的余维数，则 λ 必为从 X 投影出的代数子簇类的复线性组合。
• 若存在此类低余维数霍奇簇，则超曲面的维数必须为偶数（即 N = 2k）。
• 诺特-莱夫谢茨簇的最低余维数分支由源于代数子簇的类参数化，从而证实了霍奇猜想的预测。
• 类的代数性仅通过其在参数空间上霍奇结构变化的特征来刻画，而无需事先假设类的有理性。
• 证明依赖于通用性论证与分次环中的理想理论计算，表明某些理想不包含于对偶映射的像中。
• 该结果在假设线丛足够充分极化的前提下成立，以确保莱夫谢茨定理的有效性及霍奇结构变化的良态性。