[论文解读] Rationality criteria for motivic zeta-functions

Michael Larsen, Valery A. Lunts|ArXiv.org|Dec 11, 2002

Algebraic Geometry and Number Theory参考文献 7被引用 4

一句话总结

本文对复曲面的动机zeta函数的有理性给出了完整的刻画：动机zeta函数有理当且仅当曲面的Kodaira维数为$-\infty$。作者基于Adams运算和$\lambda$-环结构引入了一族动机测度$\mu_n$，以检测有理性，证明了具有非负Kodaira维数的曲面由于其非零的 plurigenera（高阶canonical线丛的截面维数）而具有非有理的zeta函数。

ABSTRACT

The zeta-function of a complex variety is a power series whose nth coefficient is the nth symmetric power of the variety, viewed as an element in the Grothendieck ring of complex varieties. We prove that the zeta-function of a surface is rational if and only if its Kodaira dimension is negative.

研究动机与目标

• 确定动机zeta函数$\zeta_X(t) = \sum_{n \geq 0} [\mathrm{Sym}^n X] t^n$在复代数簇的Grothendieck环中有理的精确条件。
• 将Kapranov关于曲线的有理性问题推广至曲面，特别是在动机积分与双有理几何的背景下。
• 利用上同调上的Adams运算，发展新的动机测度$\mu_n$，以检测$\zeta_X(t)$的非有理性。
• 阐明$\lambda$-环结构在理解$K_0[\mathcal{V}_\mathbb{C}]$中对称幂运算的代数性质中的作用。
• 探究将Grothendieck环特殊化为$\lambda$-环是否能解决有理性问题，特别是对阿贝尔簇和一般型曲面的情形。

提出的方法

• 引入一族以$n \in \mathbb{Z}_{>0}$为指标的动机测度$\mu_n$，定义为$\mu_n([Z]) = \left[ \sum_{i \geq 0} \dim H^0(Z, \Psi^n \Omega_Z^i) s^i \right]$，其中$Z$为光滑射影簇，$\Psi^n$表示第$n$个Adams运算。
• 利用曲面$X$满足$[\mathrm{Sym}^n X] = [\mathrm{Hilb}^n X]$在$K_0[\mathcal{V}_\mathbb{C}]$中成立，且$\mathrm{Hilb}^n X$为光滑的事实，将动机zeta函数与Hilbert概形联系起来。
• 证明若第$m$个plurigenus$P_m(X) = \dim H^0(X, \omega_X^{ ensor m}) > 0$，则生成函数$\sum_{i \geq 0} \mu_n([\mathrm{Hilb}^i X]) t^i$为非有理的，从而推出$\zeta_X(t)$的非有理性。
• 应用$\lambda$-环理论分析$K_0[\mathcal{V}_\mathbb{C}]$的结构，特别是“虚拟有限”元素的概念，并将特殊化$K_0[\mathcal{V}_K]_\sigma$定义为最大特殊$\lambda$-环商。
• 证明$\zeta_X(t)$的有理性蕴含$[X]$在$K_0[\mathcal{V}_\mathbb{C}]$中为虚拟有限，且该条件对曲面等价于Kodaira维数为$-\infty$。
• 利用$\lambda$-环同态将虚拟有限元素映射为有理生成函数的性质，提示$\zeta_X(t)$作为$\lambda$-同态具有形式上的普遍性。

实验结果

研究问题

• RQ1 对于哪些复曲面$X$，其动机zeta函数$\zeta_X(t)$在Grothendieck环$K_0[\mathcal{V}_\mathbb{C}]$中有理？
• RQ2 能否通过基于上同调上Adams运算构造的动机测度$\mu_n$检测$\zeta_X(t)$的有理性？
• RQ3 非零plurigenera的存在是否阻碍$\zeta_X(t)$的有理性，若是，其机制如何？
• RQ4 Grothendieck环的特殊化$K_0[\mathcal{V}_\mathbb{C}]_\sigma$在$\lambda$-环意义下是否为有限维的，且能否解决有理性问题？
• RQ5 所有阿贝尔簇在$K_0[\mathcal{V}_\mathbb{C}]$中是否均为虚拟有限，且这是否意味着$\zeta_{A\sigma}(t)$的有理性？

主要发现

• 动机zeta函数$\zeta_X(t)$在$K_0[\mathcal{V}_\mathbb{C}]$中有理当且仅当$X$为Kodaira维数为$-\infty$的复曲面。
• 对于Kodaira维数$\geq 0$的曲面，动机zeta函数为非有理的，通过构造一个动机测度$\mu_n$，当存在某个$m$使得$P_m(X) > 0$时，该测度将$\zeta_X(t)$映射为非有理生成函数，从而证明其非有理性。
• 动机测度$\mu_n$通过光滑射影簇上同调的Adams运算$\Psi^n$定义，其通过$H^0(\mathrm{Hilb}^i X, \Psi^n \Omega^{\bullet})$的生成函数检测非有理性。
• 任何曲线在$K_0[\mathcal{V}_\mathbb{C}]$中的类均为虚拟有限，因此其动机zeta函数在整体上为有理的，推广了Kapranov的结果。
• Grothendieck环$K_0[\mathcal{V}_\mathbb{C}]$对特殊$\lambda$-环的特殊化$K_0[\mathcal{V}_\mathbb{C}]_\sigma$是研究有理性的自然设定，因为虚拟有限元素在$\lambda$-同态下映射为有理生成函数。
• 每个主极化阿贝尔曲面在$K_0[\mathcal{V}_\mathbb{C}]$中均为虚拟有限，因此其动机zeta函数在$\sigma$-特殊化下整体有理。