[论文解读] Invariants of upper motives

Olivier Haution|arXiv (Cornell University)|Jan 1, 2014

Algebraic Geometry and Number Theory参考文献 17被引用 4

一句话总结

本文证明了与正则代数簇 X 关联的同调理论 H(k) 中的理想 HX(k) 仅依赖于其上 Chow 动机，从而推广了经典的双有理不变性结果。通过格罗滕迪克群同调理论推导出关于典范维数的新界，并利用代数 cobordism 对 Levine–Morel 定理给出了全新的证明，同时分析了低超越次数的几何单有理域扩张的分裂性质。

ABSTRACT

Let H be a homology theory for algebraic varieties over a field k. To a complete k-variety X, one naturally attaches an ideal HX(k) of the coefficient ring H(k). We show that, when X is regular, this ideal depends only on the upper Chow motive of X. This gener- alises the classical results asserting that this ideal is a birational invari- ant of smooth varieties for particular choices of H, such as the Chow group. When H is the Grothendieck group of coherent sheaves, we obtain a lower bound on the canonical dimension of varieties. When H is the algebraic cobordism, we give a new proof of a theorem of Levine and Morel. Finally we discuss some splitting properties of ge- ometrically unirational field extensions of small transcendence degree.

研究动机与目标

• 证明与正则代数簇 X 关联的同调理论 H(k) 中的理想 HX(k) 是其上 Chow 动机的不变量。
• 将经典关于光滑代数簇的 HX(k) 双有理不变性结果推广至更广泛的正则代数簇情形。
• 利用格罗滕迪克群同调理论推导出代数簇典范维数的下界。
• 利用代数 cobordism 作为同调理论，为 Levine 和 Morel 的一个定理提供新的证明。
• 研究小超越次数的几何单有理域扩张的分裂性质。

提出的方法

• 利用上动机框架分析代数簇在同调理论下的不变量。
• 将理想构造 HX(k) ⊆ H(k) 应用于正则代数簇，证明其在上动机同构下保持不变。
• 采用格罗滕迪克群 K0 作为同调理论 H，推导出典范维数的下界。
• 使用代数 cobordism 作为 H，重新证明 Levine 和 Morel 的一个结果，利用其普遍性质。
• 通过研究其几何单有理性和分裂行为，分析小超越次数的域扩张。
• 依赖 motivic 同伦理论和双有理几何中的基础结果，以确立不变性与界。

实验结果

研究问题

• RQ1 与正则代数簇 X 关联的理想 HX(k) 是否仅依赖于其上 Chow 动机，而与同调理论 H 的选择无关？
• RQ2 能否利用格罗滕迪克群同调理论对代数簇的典范维数给出下界？
• RQ3 是否存在利用上动机框架对 Levine–Morel 定理在代数 cobordism 中的新证明？
• RQ4 小超越次数的几何单有理域扩张表现出何种分裂性质？
• RQ5 上动机框架如何将经典 Chow 群及其他同调理论的双有理不变性结果统一并推广？

主要发现

• 与正则代数簇 X 关联的理想 HX(k) ⊆ H(k) 是其上 Chow 动机的不变量，将双有理不变性推广至非光滑代数簇。
• 当 H 为相干层的格罗滕迪克群时，该构造给出了 X 的典范维数的下界。
• 利用代数 cobordism 作为 H，本文为 Levine 和 Morel 的一个定理提供了新证明，凸显了上动机方法的普遍性。
• 该框架揭示了小超越次数的几何单有理域扩张的分裂性质受 motivic 不变量的约束。
• 结果将 Chow 群与格罗滕迪克群的经典不变性结果统一并推广至单一 motivic 原则之下。
• 上动机结构捕捉了正则代数簇的关键同调不变量，即使在非光滑情形下亦然。