[论文解读] The computation of the classes of some tori in the Grothendieck ring of varieties

Karl Rökaeus|arXiv (Cornell University)|Aug 31, 2007

Commutative Algebra and Its Applications被引用 7

一句话总结

本文在格罗滕迪克簇的K-环 $ \operatorname{K_0}(\mathsf{Var}_k) $ 中为一个可分 $ k $-代数 $ L $ 的乘法群 $ L^* $ 的类建立了一个公式。利用 $ \lambda $-环结构和从绝对伽罗瓦群的Burnside环到 $ \operatorname{K_0}(\mathsf{Var}_k) $ 的同态，作者证明了 $[L^*] = \sum_{i=0}^n (-1)^i \lambda^i([\operatorname{Spec} L]) \mathbb{L}^{n-i}$，其中 $ \mathbb{L} $ 是仿射直线的类。

ABSTRACT

We establish a formula for the classes of certain tori in the Grothendieck ring of varieties, in terms of its lambda-structure. More explicitly, we will see that if L* is the torus of invertible elements in the n-dimensional separable k-algebra L, then the class of L* can be expressed as an alternating sum of the images of the spectrum of L under the lambda-operations, multiplied by powers of the Lefschetz class. This formula is suggested from the cohomology of the torus, illustrating a heuristic method that can be used in other situations. To prove the formula will require some rather explicit calculations in the Grothendieck ring. To be able to make these we introduce a homomorphism from the Burnside ring of the absolute Galois group of k, to the Grothendieck ring of varieties over k. In the process we obtain some information about the structure of the subring generated by zero-dimensional varieties.

研究动机与目标

• 推导出可分 $ k $-代数 $ L $ 的乘法群 $ L^* $ 在格罗滕迪克环 $ \operatorname{K_0}(\mathsf{Var}_k) $ 中的精确类公式。
• 通过 $ \lambda $-环运算，建立环面的上同调结构与其在 $ \operatorname{K_0}(\mathsf{Var}_k) $ 中类之间的联系。
• 引入并利用从绝对伽罗瓦群的Burnside环到 $ \operatorname{K_0}(\mathsf{Var}_k) $ 的 $ \lambda $-同态，实现显式计算。
• 刻画由零维概形生成的 $ \operatorname{K_0}(\mathsf{Var}_k) $ 的子环，称为Artin类环 $ \operatorname{ArtCl}_k $。

提出的方法

• 定义一个 $ \lambda $-同态 $ \operatorname{Art}_k: \mathcal{B}(\mathcal{G}) \to \operatorname{K_0}(\mathsf{Var}_k) $，其中 $ \mathcal{G} $ 是 $ k $ 的绝对伽罗瓦群，以关联伽罗瓦表示与格罗滕迪克环中的类。
• 利用 $ \operatorname{K_0}(\mathsf{Var}_k) $ 上的 $ \lambda $-环结构，将环面的上同调公式提升到类的层次。
• 将环面 $ L^* $ 嵌入仿射空间 $ \widetilde{L} $，并通过补集 $ \widetilde{L} \setminus L^* $ 的归纳法推导递归关系。
• 使用有限域 $ \mathbb{F}_q $ 上的点计数，比较 $ L^* $ 的有理点数量与所提出的公式，通过生成函数验证等式。
• 利用先前工作中得到的Burnside环上 $ \lambda $-运算的通用公式，简化 $ \lambda^i([\operatorname{Spec} L]) $ 的计算。
• 利用紧支集欧拉示性数通过 $ \operatorname{K_0}(\mathsf{Var}_k) $ 的事实，通过上同调类比为公式提供启发性依据。

实验结果

研究问题

• RQ1 可分 $ k $-代数 $ L $ 的乘法群 $ L^* $ 在格罗滕迪克簇的K-环中的精确类是什么？
• RQ2 环面的上同调结构，特别是其 $ \lambda $-运算，如何被提升到格罗滕迪克环中？
• RQ3 由零维概形生成的 $ \operatorname{K_0}(\mathsf{Var}_k) $ 的子环的结构是什么？它与伽罗瓦表示有何关联？
• RQ4 是否可以在不依赖 $ \lambda $-运算通用公式的情况下证明公式 $[L^*] = \sum_{i=0}^n (-1)^i \lambda^i([\operatorname{Spec} L]) \mathbb{L}^{n-i}$？
• RQ5 有限域 $ \mathbb{F}_q $ 上的点计数如何在 $ \operatorname{K_0}(\mathsf{Var}_k) $ 中验证所提出的公式？

主要发现

• 在 $ \operatorname{K_0}(\mathsf{Var}_k) $ 中，环面 $ L^* $ 的类由 $[L^*] = \sum_{i=0}^n (-1)^i \lambda^i([\operatorname{Spec} L]) \mathbb{L}^{n-i}$ 给出，其中 $ \mathbb{L} $ 是仿射直线的类。
• 同态 $ \operatorname{Art}_k $ 的像位于由零维概形生成的子环 $ \operatorname{ArtCl}_k \subset \operatorname{K_0}(\mathsf{Var}_k) $ 中。
• 当 $ k $ 是完美域且其绝对伽罗瓦群为循环群时，$ \operatorname{ArtCl}_k $ 是由 $ k $ 的有限可分扩张类生成的自由阿贝尔群。
• 通过点计数验证了该公式：当 $ L = \prod_{j=1}^m \mathbb{F}_{q^{n_j}} $ 时，$ L^* $ 的 $ \mathbb{F}_q $-有理点数为 $ \prod_{j=1}^m (q^{n_j} - 1) $，与公式的取值一致。
• 生成函数的等式 $ \prod_{j=1}^m (X^{n_j} - 1) = \sum_{i=0}^n (-1)^i C_\sigma \operatorname{h}(\ell_i) X^{n-i} $ 在Burnside环中成立，从而确认了公式。
• 该证明避免使用通用公式，而是利用先前工作的较简单结果和点计数，独立于Burnside环上完整的通用 $ \lambda $-结构建立了公式。