[论文解读] Virtual Betti numbers of real algebraic varieties

Clint McCrory, Adam Parusiński|arXiv (Cornell University)|Oct 23, 2002

Algebraic Geometry and Number Theory参考文献 8被引用 5

一句话总结

本文利用弱分解定理，为实代数簇引入了虚拟贝蒂数，将紧致非奇异簇的模 2 贝蒂数扩展到所有实代数簇，通过唯一的加法延拓实现。定义了格罗滕迪克环中实代数簇的虚拟庞加莱多项式，证明了维数是该环的不变量，并实现了实簇的弧空间上的动机测度。

ABSTRACT

The weak factorization theorem for birational maps is used to prove that for all nonnegative i the ith mod 2 Betti number of compact nonsingular real algebraic varieties has a unique extension to a "virtual Betti number" beta_i defined for all real algebraic varieties, such that if Y is a closed subvariety of X, then beta_i(X) = beta_i(X\Y) + beta_i(Y).

研究动机与目标

• 将紧致非奇异实代数簇的模 2 贝蒂数扩展为所有实代数簇的通用加法不变量。
• 在实代数簇的格罗滕迪克环到 ℤ[t] 的映射中，定义一个虚拟庞加莱多项式作为环同态。
• 证明维数是实代数簇格罗滕迪克环的不变量。
• 通过虚拟庞加莱多项式建立实代数簇弧空间上动机测度的存在性。
• 证明虚拟贝蒂数在闭子簇分解下满足自然的可加性。

提出的方法

• 利用双有理映射的弱分解定理，刻画格罗滕迪克环中爆破行为的性质。
• 应用比特纳的结果：格罗滕迪克环的关系可由爆破公式替代：[Bl_C X] - [E] = [X] - [C]。
• 将虚拟庞加莱多项式 β(X,t) 定义为从 K₀(𝕍_ℝ) 到 ℤ[t] 的环同态 β: K₀(𝕍_ℝ) → ℤ[t]，其系数为虚拟贝蒂数 β_i。
• 证明当 X 为紧致非奇异时，β(X,t) 与具有 ℤ₂ 系数的经典庞加莱多项式一致。
• 利用 Mayer-Vietoris 族谱序列分析奇异簇的上同调，并检验其与虚拟贝蒂数的相容性。
• 表明 Mayer-Vietoris 族谱序列的权重滤子因 d₂ 微分非零而无法满足虚拟贝蒂数条件。

实验结果

研究问题

• RQ1 紧致非奇异实代数簇的模 2 贝蒂数能否唯一地扩展到所有实代数簇，同时在闭子簇分解下保持可加性？
• RQ2 实代数簇格罗滕迪克环中虚拟庞加莱多项式的存在性是否意味着维数是该环的不变量？
• RQ3 能否利用虚拟庞加莱多项式在实代数簇的弧空间上定义动机测度？
• RQ4 与 Mayer-Vietoris 族谱序列相关的权重滤子是否与虚拟贝蒂数条件相容？
• RQ5 虚拟贝蒂数条件对实权重滤子存在性施加了何种限制？

主要发现

• 第 i 个模 2 贝蒂数可唯一地延拓为所有实代数簇上的虚拟贝蒂数 β_i，满足对任意闭子簇 Y ⊂ X，有 β_i(X) = β_i(X\Y) + β_i(Y)。
• 虚拟庞加莱多项式 β(X,t) 是从 K₀(𝕍_ℝ) 到 ℤ[t] 的环同态，其中 β_i 为 t^i 的系数。
• 当 X 为紧致非奇异时，β(X,t) 等于具有 ℤ₂ 系数的经典庞加莱多项式。
• 维数是格罗滕迪克环 K₀(𝕍_ℝ) 的不变量，因为虚拟庞加莱多项式通过其次数可检测维数。
• 由于虚拟庞加莱多项式能检测维数且与环结构相容，因此可在实代数簇的弧空间上定义动机测度。
• Mayer-Vietoris 族谱序列无法给出满足虚拟贝蒂数条件的权重滤子，因为 d₂ 微分破坏了贝蒂数的交错和性质。