[论文解读] Two observations about normal functions

Christian Schnell|ArXiv.org|Apr 1, 2009

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

一句话总结

本文建立了关于正常函数的两个基本结果：(1) 若与一个原始霍奇类相关联的正常函数在代数曲线上消失，则其在该曲线与对偶曲面的判别集交点处必为奇点；(2) 对于足够充分的嵌入（次数 ≥3），对偶曲面的交叠上同调包含原簇的上同调作为直和项。这些结果将正常函数的奇点理论与对偶曲面的几何联系起来。

ABSTRACT

Two simple observations are made: (1) If the normal function associated to a Hodge class has a zero locus of positive dimension, then it has a singularity. (2) The intersection cohomology of the dual variety contains the cohomology of the original variety, if the degree of the embedding is large.

研究动机与目标

• 阐明正常函数的零点集与其奇点之间的关系。
• 研究在充分嵌入下，光滑射影簇的上同调如何嵌入其对偶曲面的交叠上同调中。
• 提供一些基本但非平凡的观察，以澄清或拓展霍奇理论与正常函数奇点方面已知结果。
• 确立对偶曲面的交叠上同调包含原簇上同调作为直和项的条件。

提出的方法

• 使用Leray谱序列将霍奇类 η 与正常函数 ν 的上同调类 [η] 关联起来。
• 应用谱序列的相容性，证明将 η 拉回到 ν 的零点集中的一条曲线时，其在族的光滑部分上消失。
• 利用庞加莱对偶性与交配对，将 η 在光滑部分的消失性与相对上同调群中类 α 的非平凡性联系起来。
• 分析族 π: X → P 的纤维逐点奇点集，以确定对偶曲面 X∨ 中各层的余维数。
• 应用 Dimca 与 Saito 关于判别集的结果，证明当 d ≥ 3 时，映射 φ: Xsing → X∨ 是奇点的小型解析解。
• 利用小型解析解诱导交叠上同调同构的事实，得出 IH*(X∨, ℚ) ≅ H*(Xsing, ℚ)，从而 H*(X, ℚ) 嵌入 IH*(X∨, ℚ)。

实验结果

研究问题

• RQ1 在何种条件下，正常函数在代数曲线上消失，可推出其在基空间边界处存在奇点？
• RQ2 在何种条件下，光滑射影簇的对偶曲面的交叠上同调包含原簇上同调作为直和项？
• RQ3 正常函数的奇点与对偶曲面中判别集的几何之间存在何种精确关系？
• RQ4 非常 ample 线丛的次数如何影响对偶曲面奇点的解析解以及原簇上同调的上同调嵌入？

主要发现

• 若与非挠原始霍奇类 η 相关联的正常函数 ν 的零点集包含一条代数曲线，则 ν 在该曲线闭包与判别集 X∨ 的交点处为奇点。
• 当非常 ample 线丛 H = dA 且 d ≥ 3 时，映射 φ: Xsing → X∨ 是奇点的小型解析解。
• 因此，对偶曲面的交叠上同调满足 IH*(X∨, ℚ) ≅ H*(Xsing, ℚ)。
• 由于 Xsing 是 X 上的射影丛，H*(X, ℚ) 是 H*(Xsing, ℚ) 的直和项，因而也是 IH*(X∨, ℚ) 的直和项。
• 条件 d ≥ 3 确保纤维奇点集的余维数足够大，从而保证解析解为小型。
• 这些结果在光滑纤维的消失上同调非平凡的假设下成立，而根据 Dimca 与 Saito 的结果，该条件在 d ≥ 3 时成立。