[论文解读] Motivic invariants of Artin stacks and 'stack functions'

Dominic Joyce|ArXiv.org|Sep 30, 2005

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

一句话总结

本文将动机不变量（如虚拟庞加莱多项式与霍奇多项式）扩展至具有仿射几何稳定子的有限型阿廷堆栈，克服了欧拉示性数因 $\chi({\mathbb{G}}_m) = 0$ 而无法扩展的障碍。本文引入‘堆栈函数’作为构造函数的普遍推广，配备函子性操作（如拉回与上推），并利用虚拟秩与群类代数构造堆栈的精细欧拉示性数。

ABSTRACT

An invariant I of quasiprojective K-varieties X with values in a commutative ring R is "motivic" if I(X)= I(Y)+I(X\Y) for Y closed in X, and I(X x Y)=I(X)I(Y). Examples include Euler characteristics chi and virtual Poincare and Hodge polynomials. We first define a unique extension I' of I to finite type Artin K-stacks F, which is motivic and satisfies I'([X/G])=I(X)/I(G) when X is a K-variety, G a "special" K-group acting on X, and [X/G] is the quotient stack. This only works if I(G) is invertible in R for all special K-groups G, which excludes I=chi as chi(K*)=0. But we can extend the construction to get round this. Then we develop the theory of "stack functions" on Artin stacks. These are a universal generalization of constructible functions on Artin stacks, as studied in the author's paper math.AG/0403305. There are several versions of the construction: the basic one SF(F), and variants SF(F,I,R),... "twisted" by motivic invariants. We associate a Q-vector space SF(F) or an R-module SF(F,I,R) to each Artin stack F, with functorial operations of multiplication, pullbacks phi^* and pushforwards phi_* under 1-morphisms phi : F --> G, and so on. They will be important tools in the author's series on "Configurations in abelian categories", math.AG/0312190, math.AG/0503029, math.AG/0410267 and math.AG/0410268.

研究动机与目标

• 将动机不变量（如虚拟庞加莱多项式与霍奇多项式）从拟投影代数簇扩展至具有仿射几何稳定子的有限型阿廷堆栈。
• 通过利用虚拟秩与群类代数开发扭构造，解决因 $\chi({\mathbb{G}}_m) = 0$ 导致欧拉示性数无法扩展的障碍。
• 在阿廷堆栈上定义‘堆栈函数’的通用框架，推广构造函数，并配备函子性操作（如拉回与上推）。
• 通过模堆栈中半稳定对象的动机不变量，为阿贝尔范畴中的不变量计算提供工具。
• 通过利用李群的极大环面与有限阿贝尔商群的结构，建立阿廷堆栈的精细欧拉示性数。

提出的方法

• 定义动机不变量 $\Upsilon$ 到阿廷堆栈的唯一扩展 $\Upsilon^\prime$，使得当 $G$ 为特殊 ${\mathbb{K}}$-群且 $\Upsilon(G)$ 在目标环 $\Lambda$ 中可逆时，有 $\Upsilon^\prime([X/G]) = \Upsilon(X)/\Upsilon(G)$。
• 通过引入‘虚拟秩’处理 $\ell = 1$ 的情形（如欧拉示性数），将非阿贝尔群视为 $\Lambda$-线性组合，其子群 $Q \subseteq T^G$ 为极大环面。
• 构造堆栈函数 $\mathop{\rm SF}\nolimits({\mathfrak{F}})$ 及其扭变体 $\mathop{\underline{\rm SF}}\nolimits({\mathfrak{F}}, \Upsilon, \Lambda)$，作为带有乘法、拉回 $\phi^*$ 与上推 $\phi_*$ 的 $\Lambda$-模，适用于 1-态射 $\phi$。
• 在 $\mathop{\hat{\rm SF}}\nolimits({\mathfrak{F}}, \chi, {\mathbb{Q}})$ 的定义中引入修改后的关系 (ii')，以纳入纤维化下欧拉示性数的乘法性质 $\chi(X) = \chi(F)\chi(Y)$，即使在非平凡纤维化中亦成立。
• 定义一个 $\Lambda$-代数 $\bar{\Lambda}$，其基为 $[H]$，其中 $H \cong {\mathbb{G}}_m^k \times K$，$K$ 为有限阿贝尔群，并利用它将 $\Upsilon^\prime([[X/T^G]])$ 表示为 $\Upsilon([Y_i])$ 的 $\Lambda$-线性组合。
• 证明当对象为概形或代数空间时，$\mathop{\hat{\rm SF}}\nolimits({\mathfrak{F}}, \chi, {\mathbb{Q}})$ 同构于经典构造函数 $\mathop{\rm CF}\nolimits({\mathfrak{F}})$，从而在经典情形下验证了构造的合理性。

实验结果

研究问题

• RQ1 动机不变量（如虚拟庞加莱多项式或霍奇多项式）如何从代数簇扩展至阿廷堆栈，尤其当群不变量不可逆时？
• RQ2 给定 $\chi({\mathbb{G}}_m) = 0$，应如何正确定义阿廷堆栈的精细欧拉示性数？
• RQ3 堆栈函数能否作为阿廷堆栈上构造函数的普遍推广，并具备良好定义的函子性操作？
• RQ4 当堆栈为概形或代数空间时，新构造的堆栈函数空间与经典构造函数空间有何关系？
• RQ5 哪些结构性质（如纤维化下的乘法性）可用于定义并验证扩展不变量的一致性？

主要发现

• 在所有特殊 ${\mathbb{K}}$-群 $G$ 满足 $\Upsilon(G)$ 可逆的条件下，动机不变量 $\Upsilon$ 到阿廷堆栈的扩展 $\Upsilon^\prime$ 唯一确定，且对商堆栈满足 $\Upsilon^\prime([X/G]) = \Upsilon(X)/\Upsilon(G)$。
• 对于 $\ell = 1$ 的情形（如欧拉示性数），通过引入虚拟秩并以子群 $Q \subseteq T^G$ 为基，将 $\Upsilon^\prime([[X/G]])$ 表示为 $\Lambda$-线性组合，从而克服障碍并得到良好定义的不变量。
• 堆栈函数空间 $\mathop{\hat{\rm SF}}\nolimits({\mathfrak{F}}, \chi, {\mathbb{Q}})$ 的构造纳入了欧拉示性数在纤维化下的特殊乘法性质，强化了模定义中的关系。
• 当对象为概形或代数空间时，堆栈函数空间 $\mathop{\hat{\rm SF}}\nolimits({\mathfrak{F}}, \chi, {\mathbb{Q}})$ 同构于经典构造函数 $\mathop{\rm CF}\nolimits({\mathfrak{F}})$，确认了其与已有理论的一致性。
• 扭变堆栈函数模 $\mathop{\underline{\rm SF}}\nolimits({\mathfrak{F}}, \Upsilon, \Lambda)$ 支持所有标准操作：乘法、拉回、上推与张量积，使其成为几何与范畴不变量的强大工具。
• 该框架使得通过将 $\Upsilon^\prime$ 应用于半稳定对象的模堆栈，能够定义阿贝尔范畴的不变量，从而导出具有计算实用性的恒等式与变换律。