[论文解读] Motivic measures and stable birational geometry

Michael Larsen, Valery A. Lunts|ArXiv.org|Oct 23, 2001

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

一句话总结

本文通过霍奇理论不变量，建立了复代数簇的格罗滕迪克环模掉仿射直线类与稳定双有理等价类的幺半群环之间的基本同构。随后，构造了一个动机测度，使得某些几何亏格 ≥2 的光滑射影曲面的动机zeta函数为无理函数，从而否定了卡普兰诺夫关于高维代数簇的动机zeta函数有理性的猜想。

ABSTRACT

We study the motivic Grothendieck group of algebraic varieties from the point of view of stable birational geometry. In particular, we obtain a counter-example to a conjecture of M. Kapranov on the rationality of motivic zeta-function.

研究动机与目标

• 从稳定双有理等价的角度研究代数簇格罗滕迪克环的结构。
• 解决卡普兰诺夫提出的关于高维代数簇动机zeta函数有理性的猜想。
• 构造一个动机测度，使得某些曲面的zeta函数并非有理函数。
• 建立格罗滕迪克环模仿射直线类与稳定双有理等价类的幺半群环之间的典范同构。

提出的方法

• 使用格罗滕迪克环 $K_0[\mathcal{V}_k]$，利用将代数簇划分为局部闭子簇的关系。
• 构造一个取值于域 $\mathcal{H}$ 的动机测度 $\mu$，借助霍奇理论不变量。
• 应用沃洛达兹基关于双有理映射可分解为光滑中心的爆破的定理。
• 利用对称积 $X^{(n)}$ 上的霍奇结构，通过 $H^{2,0}(X)$ 的对称幂计算 $h^{2n,0}$。
• 证明 $P_g(X^{(n)}) = \binom{r+n-1}{r-1}$，其中 $r = P_g(X)$，利用混合霍奇结构与希尔伯特概形的分解定理。
• 利用霍奇行列式为零的有理函数判别法，证明zeta函数的无理性。

实验结果

研究问题

• RQ1 卡普兰诺夫猜想：所有复代数闭曲面的动机zeta函数是否都有理？该猜想是否可推广至高维？
• RQ2 格罗滕迪克环 $K_0[\mathcal{V}_{\mathbb{C}}]$ 是否可通过稳定双有理等价类来理解？
• RQ3 仿射直线 $\mathbb{A}^1$ 的类是否生成一个核，从而捕捉格罗滕迪克环中的稳定双有理不变性？
• RQ4 能否构造一个动机测度，使得几何亏格 $P_g \geq 2$ 的曲面的zeta函数为无理函数？
• RQ5 霍奇理论不变量 $h^{2n,0}(X^{(n)})$ 是否足以区分非有理zeta函数？

主要发现

• 格罗滕迪克环 $K_0[\mathcal{V}_{\mathbb{C}}]$ 模由 $[\mathbb{A}^1]$ 生成的理想，同构于 $\mathbb{Z}[SB]$，即稳定双有理等价类的幺半群环。
• 对于任意复代数闭光滑射影曲面 $X$，若其几何亏格 $P_g(X) \geq 2$，则存在一个动机测度 $\mu$，使得zeta函数 $\zeta_\mu(X,t)$ 非有理函数。
• 对称积 $X^{(n)}$ 的几何亏格满足 $P_g(X^{(n)}) = \binom{P_g(X) + n - 1}{P_g(X) - 1}$，其随 $n$ 多项式增长。
• 若zeta函数为有理函数，则其阶数为 $n+1$ 的汉克尔行列式必须为零；但当 $m$ 足够大时，这些行列式非零，导致矛盾。
• 希尔伯特概形 $X^{[n]}$ 上的霍奇结构表明 $h^{2n,0}(X^{[n]}) = h^{2n,0}(X^{(n)})$，且其值等于 $\binom{r+n-1}{r-1}$，其中 $r = P_g(X)$。
• 对 $H^{2n,0}(X^{[n]})$ 的唯一贡献来自 $H^{2n,0}(X^{(n)})$，从而确认了 $P_g(X^{(n)})$ 的公式。