[论文解读] Classes of some hypersurfaces in the Grothendieck ring of varieties

Emel Bilgin|arXiv (Cornell University)|Dec 9, 2011

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

一句话总结

本文研究了特定超曲面上 k-有理点的存在性与其在 Grothendieck 环模 Lefschetz 类 L 下的类之间的关系。通过几何与上同调方法，证明了对于特定类别的超曲面——包括超平面的并、二次曲面、具有有理奇点的三次超曲面，以及作为两个二次曲面（其一光滑）的并的四次超曲面——当且仅当 X 有 k-有理点时，其类 [X] ≡ 1 mod L。

ABSTRACT

Let X be a projective hypersurface in P_k^n of degree d <= n. In this paper we study the relation between the class [X] in K_0(Var_k) and the existence of k-rational points. Using elementary geometric methods we show, for some particular X, that X(k) is nonempty if and only if [X] is equivalent to 1 modulo the class of the affine line in K_0(Var_k). More precisely we consider the following cases: a union of hyperplanes, a quadric, a cubic hypersurface with a singular k-rational point, and a quartic which is a union of two quadrics one of which being smooth.

研究动机与目标

• 确定超曲面 X 上 k-有理点的存在性是否等价于在 Grothendieck 环 K₀(Varₖ) 中 [X] ≡ 1 mod L。
• 通过将环的结构与代数簇的算术性质联系起来，拓展对 Grothendieck 环的理解。
• 分析特定类别的超曲面（例如超平面的并、二次曲面、具有奇点的三次曲面、作为二次曲面并的四次曲面）中，该等价关系可能成立的情形。
• 为一般猜想提供几何与动机论证据，即有理点对应于模 L 的平凡性。

提出的方法

• 使用 Grothendieck 环 K₀(Varₖ)，其关系来自剪裁与乘积结构，将 [X] 定义为域 k 上代数簇 X 的类。
• 应用剪裁关系：对闭子簇 Y ⊂ X，有 [X] = [X∖Y] + [Y]，以及乘积法则 [X]·[Z] = [X ×ₖ Z]。
• 利用 Zariski 局部平凡纤维丛，当 X → Y 是此类纤维丛且纤维为 F 时，可推出 [X] = [F]·[Y] 在 K₀(Varₖ) 中成立。
• 通过将超曲面的类分解为仿射与射影坐标图来分析，特别关注集合 {x₀ = 0} 与 {x₀ ≠ 0}。
• 应用 Lefschetz 原理与动机不变性，将问题约化为模 L，尤其利用 [ℙⁿ] ≡ 1 mod L（当 n ≥ 1 时）。
• 利用光滑有理簇满足 [Y] ≡ 1 mod L 的事实，并在证明中将其应用于三次曲面及其相关子簇。

实验结果

研究问题

• RQ1 超曲面 X 上 k-有理点的存在性是否蕴含在 K₀(Varₖ) 中 [X] ≡ 1 mod L？
• RQ2 对于哪些类别的超曲面（例如二次曲面、三次曲面、四次曲面）有 [X] ≡ 1 mod L 当且仅当 X(k) ≠ ∅？
• RQ3 能否利用 Grothendieck 环中的几何分解与纤维丛技术来检测有理点？
• RQ4 奇点或不可约性如何影响模 L 的动机类？
• RQ5 动机类 [X] 模 L 在多大程度上反映了算术性质（如存在有理点）？

主要发现

• 对于定义在 k 上的 d ≤ n 个超平面的并，[X] ≡ 1 mod L 当且仅当 X 有 k-有理点。
• 对于定义在 k 上的二次曲面超曲面，[X] ≡ 1 mod L 当且仅当 X(k) ≠ ∅。
• 对于具有 k-有理奇点且次数 d ≤ n 的三次曲面超曲面，[X] ≡ 1 mod L 当且仅当 X(k) ≠ ∅。
• 对于作为两个二次曲面（其一光滑）的并的四次曲面超曲面，[X] ≡ 1 mod L 当且仅当 X(k) ≠ ∅。
• 在所有这些情形中，[X] 模 L 的动机类可检测有理点的存在性，关键步骤在于四次情形中相关三次曲面的有理性。
• 证明依赖于证明交线的类 [Q₁ ∩ Q₂] ≡ [Y] mod L，且当 n ≥ 4 时 [Y] ≡ 1 mod L，从而推出 [X] ≡ 1 mod L。