[论文解读] Exponentiation of motivic measures

Niranjan Ramachandran, Gonçalo Tabuada|arXiv (Cornell University)|Dec 4, 2014

Advanced Algebra and Geometry参考文献 16被引用 5

一句话总结

本文引入並研究了 motivic 测度的指数化——即从代数簇的 Grothendieck 环到目标环的环同态——通过分析其在 Kapranov 的 zeta 函数下的行为。证明了对于此类测度，zeta 函数的有理性在乘积下保持不变，并给出了 Totaro 关于具有群作用的代数簇的 zeta 函数有理性的结果的初等证明。

ABSTRACT

In this short note we establish some properties of all those motivic measures which can be exponentiated. As a first application, we show that the rationality of Kapranov's zeta function is stable under products. As a second application, we give an elementary proof of a result of Totaro.

研究动机与目标

• 刻画可被指数化的 motivic 测度，即 zeta 函数构造成为环同态的测度。
• 建立对于可指数化的 motivic 测度，Kapranov 的 zeta 函数的有理性在乘积下保持不变。
• 为 Totaro 关于具有群作用的代数簇的 zeta 函数有理性结果提供一个初等证明。
• 将可指数化 motivic 测度的理论扩展到具有群作用的等变代数簇的设定。
• 证明 Gillet-Soulé 的 motivic 测度及其变体在等变设定下可被指数化。

提出的方法

• 将可指数化 motivic 测度定义为使得 zeta 函数映射 $\zeta_\mu(-;t): K_0\mathrm{Var}(k) \to W(R)$ 成为环同态的测度。
• 利用大 Witt 环 $W(R)$ 及其有理函数子环 $W_{\mathrm{rat}}(R)$ 来分析 zeta 函数的有理性。
• 应用 Teichmüller 映射和 $W(R)$ 的乘法结构，将乘积的 zeta 函数与 zeta 函数的乘积联系起来。
• 利用等变 Chow 动力学中的自然同构 $\mathfrak{h}^G(X) \oplus \mathfrak{h}^G(Y) \simeq \mathfrak{h}^G(X \times Y)$，将结果扩展到 $G$-簇。
• 借助 Heinloth 对 $G$-簇的 Grothendieck 环的表述（以光滑射影 $G$-簇为基），定义 $\mu^{G}_{\mathrm{GS}}$。
• 证明 $\zeta_{\mu^G}(X \times \mathbb{A}^n; t)$ 通过对称积结构和群作用，可分解为 zeta 函数的和与积。

实验结果

研究问题

• RQ1 哪些 motivic 测度具有指数化结构，使得 zeta 函数映射成为环同态？
• RQ2 当 motivic 测度可指数化时，两个代数簇的 Kapranov zeta 函数的有理性是否蕴含其乘积的有理性？
• RQ3 能否通过可指数化测度，利用初等方法重证 Totaro 关于 $G$-簇的 zeta 函数有理性的结果？
• RQ4 可指数化 motivic 测度的理论如何扩展到具有群作用的等变代数簇？
• RQ5 Gillet-Soulé 的 motivic 测度 $\mu_{\mathrm{GS}}$ 在等变设定下是否可被指数化，它是否能分解为其他测度？

主要发现

• 对于任何可被指数化的 motivic 测度，Kapranov 的 zeta 函数的有理性在乘积下保持不变。
• 计数测度 $\mu_{\#}$ 可被指数化，如 Naumann 所示，并通过 $W_{\mathrm{rat}}(R)$ 的结构得到确认。
• Larsen-Lunts 的奇异测度 $\mu_{\mathrm{LL}}$ 无法被指数化，因为它会与已知的有理性性质矛盾。
• Gillet-Soulé 的 motivic 测度 $\mu_{\mathrm{GS}}$ 可扩展到等变设定下为 $\mu^{G}_{\mathrm{GS}}$，且该扩展可被指数化。
• 对于代数闭域上特征为零或 $p \nmid |G|$ 的阿贝尔 $G$-簇，若测度可被指数化，则 $X \times \mathbb{A}^n$ 的 zeta 函数是有理的。
• 推导出 $\zeta_{\mu^G}((X \times \mathbb{A}^n, \lambda \times \tau); t)$ 的显式公式，其以 $\zeta_{\mu^G}((X,\lambda); t)$ 和 $\mathbb{A}^n$ 的对称幂贡献表示。