[论文解读] The universal Euler characteristic for varieties of characteristic zero

Franziska Bittner|ArXiv.org|Nov 6, 2001

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

一句话总结

本文使用光滑射影概形和爆破关系，借助弱分解定理，对特征零域上代数簇的格罗滕迪克群提供了一种简洁的表述。它证明了具有紧支集的通用欧拉特征值取值于该群，并将该框架推广至相对和等变情形，从而在动机上同调中定义了对偶性与六种运算。

ABSTRACT

Using the weak factorization theorem we give a simple presentation for the value group of the universal Euler characteristic with compact support for varieties of characteristic zero and describe the value group of the universal Euler characteristic of pairs. This gives a new proof for the existence of natural Euler characteristics with values in the Grothendieck group of Chow motives. A generalization of the presentation to the relative setting allows us to define duality and the six operations.

研究动机与目标

• 为特征零域上代数簇的具有紧支集的通用欧拉特征值提供一种简洁且显式的表述。
• 证明具有紧支集的通用欧拉特征值的值群与代数簇的格罗滕迪克群同构。
• 将该框架推广至基概形 S 上的相对代数簇以及具有有限群作用的等变代数簇。
• 确立取值于 Chow 动机格罗滕迪克群的唯一欧拉特征值的存在性。
• 利用新表述在动机设定中定义对偶性与六种运算（f*, f!, f*, f!, ⊗, Hom）。

提出的方法

• 利用弱分解定理将双有理映射分解为沿光滑中心的爆破与反爆破序列。
• 将格罗滕迪克群 K₀(Varₖ) 表述为光滑射影概形的同构类生成的自由阿贝尔群，模以爆破关系与空集关系。
• 通过 K₀(Varₖ) 群定义具有紧支集的通用欧拉特征值，利用关系 [X] = [X−Y] + [Y]（Y 为闭子簇）。
• 通过将 X 嵌入其光滑射影完备化 X̄，引入对偶 (X,Y) 的通用欧拉特征值，使得 [X] 对应于 K₀(Varₖ) 中的 ⟨X̄, X̄−X⟩。
• 将表述推广至基概形 S 上的相对代数簇，定义 K₀ᴳ(Var_S) 为具有良好 G-作用的 S-代数簇群的商。
• 通过引入由具有非平凡 G-作用的射影空间类生成的子群 Iᴳ，并商去该理想，定义等变格罗滕迪克群。

实验结果

研究问题

• RQ1 能否仅使用光滑射影概形和爆破关系来表述特征零域上代数簇的具有紧支集的通用欧拉特征值？
• RQ2 对偶 (X,Y) 的通用欧拉特征值的值群是否同构于具有紧支集的通用欧拉特征值的值群？
• RQ3 能否利用格罗滕迪克群的新表述系统地定义动机上同调中的六种运算与对偶性？
• RQ4 该理论如何推广至具有群作用的基概形 S 上的相对代数簇？
• RQ5 弱分解定理在简化 K₀(Varₖ) 的结构并实现动机构造中起到何种作用？

主要发现

• 格罗滕迪克群 K₀(Varₖ) 同构于光滑射影概形的同构类生成的自由阿贝尔群，模以关系 [∅] = 0 和 [X] − [Y] = [Bl_Y X] − [E]，其中 E 为沿 Y 的爆破的例外除子。
• 具有紧支集的通用欧拉特征值取值于 K₀(Varₖ)，且该群是所有此类不变量的通用目标。
• 对偶 (X,Y) 的通用欧拉特征值的值群同构于 K₀(Varₖ)，因此每个对 (X,Y) 均对应该群中一个良定义的类 ⟨X,Y⟩。
• 存在唯一一个取值于 Chow 动机格罗滕迪克群的欧拉特征值，其将光滑射影概形映射为其 Chow 动机。
• 该理论可推广至基概形 S 上的相对代数簇，其中 K₀ᴳ(Var_S) 定义为具有良好 G-作用的 S-代数簇群模以理想 Iᴳ 的商。
• 该框架支持在动机设定中构造对偶性与六种运算（f*, f!, f*, f!, ⊗, Hom），推广了经典的格罗滕迪克对偶性。