[论文解读] Arithmetic Mixed Hodge Structures

Morihiko Saito|arXiv (Cornell University)|Jul 29, 1999

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

一句话总结

本文引入了算术混合霍赫德结构的形式体系，其动机源于对一般超曲面上阿贝尔-雅可比映射的研究，并扩展了芒福德与罗伊特曼的结果。该文建立了一个上同调准则：若一个态射 S → X 诱导了有理数上 CH₀ 群的满射，则当 j > dim S 时，H⁰(X, ΩʲX) = 0，该结论通过霍赫德理论方法得出。

ABSTRACT

We give a formalism of arithmetic mixed Hodge structures which are recently studied by M. Green [14], [15] and M. Asakura [1], and are named by them. This notion became necessary for us to describe the image of the Abel-Jacobi map for a generic hypersurface (inspired by previous work of M. Green [13] and C. Voisin [33]), and also to prove the following variant of results of D. Mumford [21] and A. Roitman [24] suggested (and proved in the case dimX = 2) by S. Bloch in Exercise of Appendix to Lecture 1 of [6]. 0.1. Proposition. If there is a morphism of complex varieties S → X inducing a surjective morphism CH0(S)Q → CH0(X)Q where X is smooth proper, then Γ(X, Ω j X) = 0 for j> dimS. Actually, it turns out that the usual Hodge theory [9] is enough for this. See (4.5) below. But the attempt led us to the following formulation. For a subfield A of R, and a subfield k of C with finite transcendence degree, let

研究动机与目标

• 将算术混合霍赫德结构形式化为研究复代数簇上代数圈的工具。
• 在格林与福辛的启发下，理解一般超曲面上阿贝尔-雅可比映射的像。
• 推广芒福德与罗伊特曼关于 CH₀ 满射下上同调消失的结果。
• 提供一个霍赫德理论框架，以捕捉代数圈上的算术与几何约束。
• 通过 CH₀ 群建立变量之间某些态射存在的上同调障碍。

提出的方法

• 为满足有限超越次数的子域 A ⊂ ℝ 和 k ⊂ ℂ，发展算术混合霍赫德结构的形式体系。
• 应用霍赫德理论，通过态射 S → X 分析光滑射影簇 X 的上同调。
• 利用 CH₀(S)ℚ → CH₀(X)ℚ 为满射的条件，推导出 X 的霍赫德分解的约束。
• 通过霍赫德滤子结构与态射诱导的映射，分析当 j > dim S 时 H⁰(X, ΩʲX) 的消失性。
• 尽管最初动机来自算术混合霍赫德结构，但主要结果依赖于标准霍赫德理论 [9]。
• 通过代数圈与微分形式之间的相互作用，将态射的几何与上同调消失性联系起来。

实验结果

研究问题

• RQ1 在何种条件下，一个诱导有理 CH₀ 群满射的态射 S → X 能够推出当 j > dim S 时 X 上 Ωʲ 上同调的消失？
• RQ2 如何形式化算术混合霍赫德结构，以捕捉代数圈上的几何与算术约束？
• RQ3 霍赫德理论在描述一般超曲面上阿贝尔-雅可比映射的像时起到何种作用？
• RQ4 CH₀ 满射如何约束目标簇的霍赫德分解？
• RQ5 能否通过霍赫德理论方法将芒福德与罗伊特曼的经典结果推广至曲面以外的情形？

主要发现

• 若一个态射 S → X 诱导了有理 CH₀ 群的满射，则对所有 j > dim S，有 H⁰(X, ΩʲX) = 0。
• Ωʲ 上同调的消失性结果是通过标准霍赫德理论推导得出，无需使用算术混合霍赫德结构的完整理论体系。
• 算术混合霍赫德结构的形式体系被建立，以提供此类上同调约束的观念性框架。
• 该构造对 ℚ 上具有有限超越次数的子域 k ⊂ ℂ 上的簇有效。
• 该结果证实了布洛赫对高维簇提出的猜想，推广了二维情形下的已知结果。
• 本文表明，即使最初动机来自算术混合霍赫德理论，霍赫德理论方法本身已足够证明消失性结果。