[论文解读] Grothendieck rings of Artin n-stacks

Bertrand Toën|arXiv (Cornell University)|Sep 5, 2005

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

一句话总结

本文引入了阿廷 n-堆栈的格罗滕迪克环，推广了经典的代数簇格罗滕迪克环。证明在对仿射直线及其穿孔幂次的类进行局部化后，特殊阿廷 n-堆栈的格罗滕迪克环同构于局部化的代数簇格罗滕迪克环，从而实现了如动机 Euler 特征和 l-进 Euler 特征等加性不变量的唯一延拓，并通过 l-进上同调上的 Frobenius 轨迹建立了有理点的迹公式。

ABSTRACT

We introduce a Grothendieck ring of higher Artin stacks generalizing the Grothendieck ring of algebraic varieties. We show that this ring is not trivial by noticing that it factors the invariant "number of rational points over a finite field". We also introduce the notion of "special Artin stacks", which by definition have affine homotopy groups π_{i}, and furthermore unipotent for i>1. Our principal theorem states that the natural inclusion morphism from the Grothendieck ring of varieties to the Grothendieck ring of special Artin stacks is an isomorphism after inverting the class of the affine line L and the classes of L^{i}-1 for all i>0. We deduce from this that several numerical invariants defined for varieties (e.g. Hodge numbers, l-adic Euler characteristic ...) extend uniquely to invariants defined for special Artin stacks. In particular we obtain a trace formula for special Artin stacks of finite type over a finite field, identifying the number of rational points as the trace of the Frobenius acting on the l-adic Euler characteristic.

研究动机与目标

• 为阿廷 n-堆栈建立格罗滕迪克环，以推广经典的代数簇环。
• 通过构造一个有理点计数同态，证明该环是非平凡的。
• 通过仿射与幂零的高阶同伦群定义‘特殊阿廷 n-堆栈’。
• 证明在对 A^1 及 A^i\{0}（i>0）的类进行局部化后，特殊阿廷 n-堆栈的格罗滕迪克环同构于代数簇的局部化格罗滕迪克环。
• 建立加性不变量（如动机与 l-进 Euler 特征）向特殊阿廷 n-堆栈的延拓。

提出的方法

• 使用剪裁关系及对扎里斯基局部平凡纤维丛的附加关系，定义基概形上有限型阿廷 n-堆栈的格罗滕迪克环。
• 构造一个有理点计数同态 μ: K(CH^{ft}(k)) → ℚ，该同态考虑了高阶同伦群的影响。
• 引入‘特殊阿廷 n-堆栈’的类，其高阶同伦群 π_i（i>1）为仿射且幂零。
• 使用去精化论证，将特殊阿廷 n-堆栈分解为基本部分：概形、K(𝐺𝑎,𝑛) 堆栈及全局商 [X/GL_r]。
• 通过证明代数簇格罗滕迪克环在 [A^1] 与 [A^i\{0}]（i>0）处的局部化映射同构于特殊阿廷 n-堆栈的格罗滕迪克环，从而证明主要同构。
• 通过 Weil 稠化层的 Tannakian 范畴构造 l-进 Euler 特征不变量，并利用同构将其延拓至特殊阿廷 n-堆栈。

实验结果

研究问题

• RQ1 阿廷 n-堆栈的格罗滕迪克环具有何种结构？它如何推广经典的代数簇环？
• RQ2 如何将动机与 l-进 Euler 特征等加性不变量从代数簇延拓至阿廷 n-堆栈？
• RQ3 对高阶同伦群的何种条件可确保 n-堆栈的格罗滕迪克环同构于局部化的代数簇环？
• RQ4 阿廷 n-堆栈上的有理点计数如何通过 Frobenius 轨迹与 l-进上同调关联？
• RQ5 能否在特殊阿廷 n-堆栈的背景下，利用 l-进上同调建立有理点的迹公式？

主要发现

• 阿廷 n-堆栈有限型的格罗滕迪克环是非平凡的，这由一个明确定义的同态 μ: K(CH^{ft}(k)) → ℚ 所证明，该同态计数有理点并考虑了高阶同伦群的影响。
• 从代数簇的局部化格罗滕迪克环（在 [A^1] 与 [A^i\{0}]（i>0）处局部化）导出的同态，诱导出与特殊阿廷 n-堆栈格罗滕迪克环的同构。
• 任何加性不变量 φ: K(𝒱(k)) → A，满足对所有 i>0 有 φ([A^1]) 与 φ([A^i\{0}]) 可逆，均可唯一延拓至特殊阿廷 n-堆栈的格罗滕迪克环。
• 对任意特殊阿廷 n-堆栈 F，l-进 Euler 特征 χ_l(F) ∈ K(W(k))[[Q_l(i)−1]_i>0] 是良定义的。
• χ_l(F) 上 Frobenius 轨迹等于有理点数 μ(F)，从而为特殊阿廷 n-堆栈建立了动机迹公式。
• 该迹公式在特例下退化为经典的格罗滕迪克-莱夫谢茨迹公式，验证了其一致性。