[论文解读] On algebraic 1-motives related to Hodge cycles

Luca Barbieri-Viale|ArXiv.org|Mar 27, 2001

Algebraic Geometry and Number Theory参考文献 11被引用 6

一句话总结

本文为奇异代数簇引入了霍奇1-动机，并提出了一个推广经典霍奇猜想的上同调格罗腾迪克-霍奇猜想。它构建了从 $\mathcal{K}$-上同调到权分次霍奇上同调的广义周期类映射，表明其像严格小于有理霍奇滤子，揭示了在奇异情形下代数周期与霍奇周期之间的差距。

ABSTRACT

The goal of this paper is to introduce Hodge 1-motives of algebraic varieties and to state a corresponding cohomological Grothendieck-Hodge conjecture, generalizing the classical Hodge conjecture to arbitrarily singular proper schemes.

研究动机与目标

• 为奇异完备概形定义霍奇1-动机，将经典霍奇猜想的适用范围从光滑簇扩展至更广的范畴。
• 利用1-动机结构，为奇异代数簇提出一个上同调格罗腾迪克-霍奇猜想。
• 通过 $\mathcal{K}$-上同调与权滤子分析代数定义的周期类与霍奇周期在奇异上同调中的差异。
• 通过实例证明，从 $\mathcal{K}$-上同调出发的周期映射的像严格小于 $H^{2p+i}$ 上的有理霍奇滤子 $F^p$。

提出的方法

• 利用权滤子与奇异上同调上的混合霍奇结构，从代数与解析两方面构造霍奇1-动机。
• 运用1-动机理论，代数实现 $H^{2p+i}(X,\mathbb{Z}(p))$ 中类型为 $(-1,0)$、$(0,-1)$ 与 $(0,0)$ 的子霍奇结构。
• 通过光滑单纯双覆盖 $X_{\bullet} \to X$ 的普遍上同调下降，将内鲁-塞弗雷群 $\mathrm{NS}(X_{\bullet})$ 定义为 $H^2(X,\mathbb{Z})$ 的代数不变量。
• 引入从 $H^{p+i}(\mathcal{K}_p)$ 到 $W_{2p}H^{2p+i}/W_{2p-2}$ 的广义周期类映射，将动机上同调与霍奇理论子商联系起来。
• 利用Leray谱序列与混合霍奇层的扎里斯基上同调，研究霍奇周期的局部到整体性质。
• 分析 $H^4(X,\mathbb{Z})$ 中霍奇结构的扩张类，以检测由非挠阿贝尔-雅可比像引发的非分裂扩张。

实验结果

研究问题

• RQ1 能否通过1-动机结构将经典霍奇猜想推广至奇异完备概形？
• RQ2 从 $\mathcal{K}$-上同调出发的广义周期类映射的像是否严格小于 $H^{2p+i}$ 上的有理霍奇滤子 $F^p$？
• RQ3 霍奇1-动机如何在奇异簇中检测上同调的代数部分，尤其当内鲁-塞弗雷群不足以描述时？
• RQ4 阿贝尔-雅可比映射在奇异上同调中如何区分代数周期与霍奇周期？
• RQ5 即使中间雅可比簇没有非平凡阿贝尔子簇，$H^4(X,\mathbb{Z})$ 的1-动机部分是否仍可实现为到雅可比簇的映射的核？

主要发现

• 从 $\mathcal{K}$-上同调到 $W_{2p}H^{2p+i}/W_{2p-2}$ 的广义周期类映射的像严格小于 $H^{2p+i}$ 上的有理霍奇滤子 $F^p$，表明在奇异情形下存在根本性障碍。
• 在斯里尼瓦斯的例子中，$H^4(X,\mathbb{Z})/W_3$ 中霍奇类的格子严格小于完整的霍奇类群，其秩为1，由 $(\overline{\alpha},0)$ 的像生成。
• $H^3(Z,\mathbb{Z}) \to H^4(X,\mathbb{Z}) \to \ker s$ 的霍奇结构扩张类为非挠，由 $i^*\alpha$ 的阿贝尔-雅可比像检测，证明该扩张是非分裂的。
• $H^4(X,\mathbb{Z})$ 的1-动机部分同构于 $\ker(\mathbb{Z}^3 \to J^2(Z))$，其严格小于完整的霍奇类群。
• $\mathrm{NS}(X_{\bullet})$ 的内鲁-塞弗雷群与光滑单纯双覆盖的选择无关，并通过单纯线丛捕捉 $F^1 \cap H^2(X,\mathbb{Z})$。
• 代数定义的1-动机由 $H^0((NS^2)^\bullet)$ 的像生成，其同构于核 $\ker(\mathbb{Z}^3 \to J^2(Z))$，从而证实了猜想2.3.4中的推测性描述。