[论文解读] The extended locus of Hodge classes

Christian Schnell|arXiv (Cornell University)|Jan 28, 2014

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

一句话总结

本文引入了霍奇类的扩展locus——一个有限且紧致的解析空间，通过包含在极限下变为霍奇类的整类（借助混合霍奇结构）来紧化通常的霍奇类locus。利用Saito的混合霍奇模理论以及Cattani-Deligne-Kaplan定理的推广，本文为零权极化积分霍奇结构的变体构造了该空间，证明了全纯凸性，并表明所有正维紧致解析子集均位于该扩展locus内。

ABSTRACT

We introduce an "extended locus of Hodge classes" that also takes into account integral classes that become Hodge classes "in the limit". More precisely, given a polarized variation of integral Hodge structure of weight zero on a Zariski-open subset of a complex manifold, we construct a canonical analytic space that parametrizes limits of integral classes; the extended locus of Hodge classes is an analytic subspace that contains the usual locus of Hodge classes, but is finite and proper over the base manifold. The construction uses Saito's theory of mixed Hodge modules and a small generalization of the main technical result of Cattani, Deligne, and Kaplan. We study the properties of the resulting analytic space in the case of the family of hyperplane sections of an odd-dimensional smooth projective variety.

研究动机与目标

• 解决超平面截面族中霍奇locus的紧化问题，特别是当霍奇locus具有正维数或在极限下退化时。
• 解决在射影空间中标准闭包无法捕捉极限现象（如退化纤维中消失循环变为霍奇类）的问题。
• 定义并构造一个参数化在极限下变为霍奇类的整类的典范解析空间，以扩展经典的霍奇类locus。
• 证明该扩展locus在基上是有限且紧致的，并且所有正维紧致解析子集均位于其中。
• 利用某些上同调丛的充分性，建立扩展参数空间的全纯凸性。

提出的方法

• 使用Saito的混合霍奇模理论，为霍奇结构变体构造一个滤子$\mathscr{D}$-模$(\mathcal{M}, F_\bullet)$。
• 应用Cattani-Deligne-Kaplan定理的推广版本，将霍奇滤子与参数空间的几何联系起来。
• 将扩展参数空间$\tilde{T}_{\mathbb{Z}}(K)$构造为一个全局生成向量丛的对偶总空间的有限全纯覆盖。
• 利用$B \times X$上具有沿全纯超平面截面极点的解析形式的余数映射，实现$\mathcal{H}$的截面。
• 证明$F_{-1}\mathcal{M}$是某个充分向量丛的商，从而推出总空间的全纯凸性。
• 将霍奇类的扩展locus定义为到$T(F_{-1}\mathcal{M})$的有限映射下零截面的原像。

实验结果

研究问题

• RQ1 当经典locus具有正维数或在极限下退化时，如何对一族超平面截面中的霍奇类locus进行紧化？
• RQ2 在存在奇异纤维的情况下，能够捕捉在极限下变为霍奇类的整类的正确解析空间是什么？
• RQ3 能否使用霍奇模理论以典范方式构造扩展locus，并使其在基上保持有限且紧致？
• RQ4 扩展参数空间具有哪些几何性质，特别是关于全纯凸性与紧致解析子集的性质？
• RQ5 上同调丛的充分性如何影响扩展locus的全局几何结构？

主要发现

• 霍奇类的扩展locus是基流形上的有限且紧致的解析子空间，为经典霍奇locus提供了典范紧化。
• 总空间$\tilde{T}_{\mathbb{Z}}(K)$是全纯凸的，这是由于$F_{-1}\mathcal{M}$是某个充分向量丛的商。
• $\tilde{T}_{\mathbb{Z}}(K)$中所有维数至少为一的紧致解析子集均包含在霍奇类的扩展locus内。
• 该构造在极限混合霍奇结构中实现了消失循环的极限为霍奇类，解决了退化现象中的一个关键问题。
• 扩展参数空间被嵌入到一个充分向量丛的对偶中，确保了全局生成性与几何控制。
• 该结果证实了Clemens关于卡拉比-丘三流形超平面截面中此类参数空间全纯凸性的预测。