[论文解读] Constructing Indecomposable Motivic Cohomology Classes on Algebraic Surfaces

Stefan Müller–Stach|arXiv (Cornell University)|Nov 2, 1995

Algebraic Geometry and Number Theory参考文献 21被引用 70

一句话总结

本文提出了一种超越性的方法，用于在复代数曲面上构造不可约的 motivic 同调类，方法基于 Deligne-Beilinson 同调的形变理论与混合 Hodge 结构的变化。该文证明了在包含一条直线的一般四次 K3 曲面以及某些一般型五次曲面上存在此类类，并提供了超越扭量与 Picard 群像之外的显式例子。

ABSTRACT

We describe a method to construct indecomposable classes in Bloch's higher Chow group $CH^2(X,1)$ on algebraic surfaces over the complex numbers via transcendental methods and apply it to obtain examples on K3-surfaces and some surfaces of general type.

研究动机与目标

• 为复代数曲面上 Bloch 的高阶 Chow 群 $CH^2(X,1)$ 中非扭、非可约类的构造开发一种方法。
• 将不可约周期的理解从阿贝尔曲面与雅可比曲面的已知例子中进一步拓展。
• 利用超越性与 Hodge 理论技术，在 K3 曲面与一般型曲面上提供显式构造。
• 证明 Chern 类映射 $c_{2,1}$ 模 $\mathrm{NS}(X)\otimes\mathbb{C}^*$ 的像为可数集，支持相关的有限性猜想。
• 探讨 $CH^2(X,1)$ 的可约性与高阶 Chow 理论中周期映射的单射性之间的关系。

提出的方法

• 利用对偶对 $(X,Z)$ 的复结构形变理论，其中 $Z$ 是一个满足 $\sum \mathrm{div}(f_i) = 0$ 的有理函数的 1-周期。
• 将开补集 $U = X \setminus Z$ 与混合 Hodge 结构的变化联系起来，进而关联到 Deligne-Beilinson 同调。
• 应用对数 Kodaira-Spencer 映射，以检测在形变下同调类的非平凡性。
• 利用 Gysin 正合列与混合 Hodge 结构的扩张，将周期类 $c_{2,1}(Z)$ 与对数切丛的同调联系起来。
• 应用 Gersten-Quillen 分解，将 $CH^2(X,1)$ 识别为 $H^1(X, \mathcal{K}_2)$，从而实现无穷小分析。
• 通过在对偶数环上的层 $\mathcal{K}_{2,\epsilon}$ 分析 $CH^2(X,1)$ 的形式切空间，将其与无穷小形变联系起来。

实验结果

研究问题

• RQ1 能否使用超越性方法在复代数曲面上构造 $CH^2(X,1)$ 中的不可约类？
• RQ2 对于光滑射影曲面，$c_{2,1}: CH^2(X,1) \to H^1_{\mathcal{D}}(X, \mathbb{Z}(2))$ 模 $\mathrm{NS}(X)\otimes\mathbb{C}^*$ 的像是否仍为可数集？
• RQ3 在包含一条直线的一般四次 K3 曲面上，周期 $Z \in CH^2(X,1)$ 是否不可约？
• RQ4 能否通过对数 Kodaira-Spencer 映射的非零性来检测 $CH^2(X,1)$ 的非可约性？
• RQ5 在退化情形（如平面的四面体）中不可约类的存在是否意味着其在一般纤维中也存在？

主要发现

• 本文在包含一条直线的一般四次 K3 曲面上显式构造了 $CH^2(X,1)$ 中的不可约类，并证明其不属于 $\mathrm{Pic}(X)\otimes\mathbb{C}^*$ 的像。
• 证明了对任意复代数闭的光滑射影曲面，$c_{2,1}$ 模 $Hg^{1,1}(X)\otimes\mathbb{C}/\mathbb{Q}(1)$ 的像为可数集，支持相关的有限性猜想。
• 对于满足 $\mathcal{F}^2_{\mathbb{Z}} = \mathcal{F}^1_{\mathbb{Z}} \wedge \mathcal{F}^1_{\mathbb{Z}}$ 且 $H^1(X, \mathcal{F}^2_{\mathbb{Z}}) \otimes \mathbb{Q} = 0$ 的曲面，$CH^2(X,1)$ 可分解，从而提供了一个上同调准则。
• 该方法通过非零的对数 Kodaira-Spencer 映射检测到 $c_{2,1}(Z)$ 的非平凡性，且在 K3 曲面族中证明其非零。
• 该构造适用于某些一般型五次曲面，从而在 K3 曲面之外提供了新的不可约类显式例子。
• 本文建立：$CH^2(X,1)$ 的形式切空间嵌入一个长正合列，涉及 $H^1(X, \Omega^1_{X/\mathbb{Q}})$ 与 $H^2(X, \mathcal{O}_X) \otimes \Omega^1_{k/\mathbb{Q}}$，将无穷小形变与上同调联系起来。