[论文解读] Non-reduced components of the Noether-Lefschetz locus

Ananyo Dan|arXiv (Cornell University)|Jul 31, 2014

Algebraic Geometry and Number Theory参考文献 13被引用 3

一句话总结

本文通过半正则映射与变形理论，建立了在 $\mathbb{P}^3$ 中度数为 $d$ 的曲面的诺特定-莱夫谢茨分歧 locus 的不可约分支为非约化的必要且充分条件。证明表明，非约化性恰好发生在一般曲面 $X$ 中的曲线 $C$ 的上同调类可由其法丛上同调注入 $H^2(\mathcal{O}_X)$ 的半正则曲线表示时，并给出了显式例子，例如包含两条共面直线且具有双重直线结构的曲面。

ABSTRACT

For a fixed integer $d \ge 5$, the Noether-Lefschetz locus parametrizes smooth degree $d$ complex hypersurfaces in $\mathbb{P}^3$ with Picard number greater than $1$. There are infinitely many irreducible components of this locus. The aim of this article is to understand the scheme structure of these components. In particular, we study when is such a component non-reduced. We give a criterion for such a component to be non-reduced. Finally, we give examples of such components.

研究动机与目标

• 确定诺特定-莱夫谢茨分歧 locus $\mathrm{NL}_d$ 的不可约分支何时为非约化（作为概形）。
• 理解 $\mathrm{NL}_d$ 的分支的概形结构，而不仅限于其约化子概形。
• 将非约化性与一般曲面上曲线的几何性质联系起来，特别是通过半正则性。
• 构造非约化分支的显式例子，例如参数化包含两条共面直线且具有双重直线结构的曲面的分支。

提出的方法

• 本文通过 Gauss-Manin 联接定义 Hodge 分歧 locus 的切空间，用于 Hodge 类 $\gamma$。
• 将周期映射的微分与曲面 $X$ 上曲线 $C$ 的半正则映射 $H^1(\mathcal{N}_{C|X}) \to H^2(\mathcal{O}_X)$ 联系起来，证明微分可分解通过该映射。
• 非约化性的关键判别准则源于比较 $T_X\mathrm{NL}(\gamma)$ 的维数与保持 $\gamma$ 为 Hodge 类的 $X$ 的形变空间的预期维数。
• 应用对 $(C,X)$ 对的变形理论，分析当 $X$ 有无穷小形变时，上同调类 $[C]$ 是否仍为 Hodge 类，利用半正则映射的单射性。
• 利用理想层理论与切空间的分次分量 $E_k$，分析 $\overline{\mathrm{NL}(\gamma)}$ 的余维数，尤其针对具有多个分支的曲线。
• 通过证明 $\dim \overline{\mathrm{NL}(\gamma)} < h^0(\mathcal{N}_{C|\mathbb{P}^3})$ 来证明非约化性，从而推出该概形为非约化。

实验结果

研究问题

• RQ1 当诺特定-莱夫谢茨分歧 locus $\mathrm{NL}_d$ 的不可约分支 $L$ 作为概形为非约化时，其成立的条件是什么？
• RQ2 在一般曲面 $X$ 中，曲线 $C$ 的何种几何条件可确保与 $[C]$ 关联的分支 $\overline{\mathrm{NL}(\gamma)}$ 为非约化？
• RQ3 半正则映射如何与 $\mathrm{NL}(\gamma)$ 的概形结构相关联？
• RQ4 能否为 $d \geq 5$ 构造 $\mathrm{NL}_d$ 的非约化分支的显式例子？
• RQ5 当 $\gamma$ 为双重直线或具有重数的除子时，$\overline{\mathrm{NL}(\gamma)}$ 的余维数是多少？

主要发现

• 不可约分支 $L$ 为非约化的充要条件是：在 $L$ 中的一般曲面 $X \in L$ 上存在一条半正则曲线 $C$，使得半正则映射 $H^1(\mathcal{N}_{C|X}) \to H^2(\mathcal{O}_X)$ 是单射，且 $\mathrm{NL}(\gamma)$ 在 $X$ 处的切空间维数小于预期维数。
• 当 $d \geq 5$ 时，参数化光滑度 $d$ 曲面且包含两条共面直线 $l_1, l_2$ 满足 $\gamma = [2l_1 + l_2]$ 的分支 $\overline{\mathrm{NL}(\gamma)}$ 为非约化。
• 当 $\gamma = [2l_1 + l_2]$ 时，$\overline{\mathrm{NL}(\gamma)}$ 的余维数恰好为 $2d - 6$，且该分支非约化。
• $\overline{\mathrm{NL}(\gamma)}$ 的约化子概形同构于 $\overline{\mathrm{NL}([l_1]) \cap \mathrm{NL}([l_2])}_{\mathrm{red}}$，表明非约化结构源于更高阶的概形条件。
• 本文证明了当 $C = 2l_1 + l_2$ 时，有 $\dim \overline{\mathrm{NL}(\gamma)} < h^0(\mathcal{N}_{C|\mathbb{P}^3})$，从而推出 $\overline{\mathrm{NL}(\gamma)}$ 为非约化。
• 分析排除了 $\mathrm{NL}(\gamma)$ 与 $\gamma'$ 为直线或圆锥类的 $\mathrm{NL}(\gamma')$ 相等的可能性，确认该分支为真正非约化，而非源于低余维数子簇。