[论文解读] Rationality of motivic zeta function and cut-and-paste problem

Michael Larsen, Valery A. Lunts|arXiv (Cornell University)|Oct 26, 2014

Analytic Number Theory Research参考文献 3被引用 4

一句话总结

本文证明，若在几何亏格至少为2的复曲面上，剪切-粘贴问题有正解，则即使在局部化于Lefschetz类 𝕃 的情况下，motivic zeta函数仍保持非有理。通过在局部化于 𝕃 的Grothendieck环中使用行列式条件，作者利用几何亏格的双有理不变性及唯一排列贡献的假设，导出矛盾，从而证明在剪切-粘贴问题可解的假设下，有理性不成立。

ABSTRACT

Assuming the positive solution to the Cut-and-paste problem we prove that the motivic zeta function remains irrational after inverting L.

研究动机与目标

• 研究局部化于 $ K_0[\mathcal{V}_\mathbb{F}_\mathbb{F}][\mathbb{L}^{-1}] $ 的 motivic zeta 函数的有理性，尤其关注剪切-粘贴问题的影响。
• 确定在假设剪切-粘贴问题有正解的前提下，当 Lefschetz 类 $ \mathbb{L} $ 被反转时，motivic zeta 函数是否仍保持有理。
• 通过利用几何亏格的双有理不变性及对称积中排列唯一性的性质，对行列式有理的 motivic zeta 函数导出矛盾。
• 澄清剪切-粘贴问题与 motivic zeta 函数有理性之间的关系，尤其针对非负 Kodaira 维数的曲面。

提出的方法

• 在 $ K_0[\mathcal{V}_\mathbb{C}][[t]] $ 中定义 motivic zeta 函数 $ \zeta_X(t) = \sum_{n=0}^\infty [\operatorname{Sym}^n X] t^n $，其系数属于代数簇的 Grothendieck 环。
• 使用有理性的行列式条件：若某些 $ (n+1) \times (n+1) $ Hankel 行列式在高阶索引处消失，则形式幂级数为行列式有理。
• 假设剪切-粘贴问题有正解，意味着在 $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}] $ 中类相等的任意两个代数簇，乘以 $ \mathbb{L} $ 的某次幂后成为双有理等价。
• 应用 [LaLu1] 中的断言：对无穷多个 $ m $，只有恒等排列对对称幂 $ X^{(m)} $ 的乘积的几何亏格有贡献。
• 利用几何亏格 $ P_g $ 是稳定双有理不变量的事实，比较行列式交替和中各项的几何亏格。
• 通过证明行列式在 $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}] $ 中无法消失，导出矛盾，因为交替和中仅有一项与唯一乘积 $ X^{(m)} \times X^{(m+2)} \times \cdots \times X^{(m+2n)} $ 具有相同的几何亏格。

实验结果

研究问题

• RQ1 对于满足 $ P_g(X) \geq 2 $ 的复曲面，motivic zeta 函数是否在 $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}][[t]] $ 中保持有理？
• RQ2 剪切-粘贴问题的正解对局部化 Grothendieck 环中 motivic zeta 函数的有理性有何影响？
• RQ3 在剪切-粘贴问题可解的假设下，是否存在几何亏格 $ P_g(X) \geq 2 $ 的曲面，使得其行列式有理的 motivic zeta 函数存在？
• RQ4 对曲面的对称幂的乘积中，几何亏格 $ P_g $ 如何表现？这对 Grothendieck 环中的行列式条件有何含义？
• RQ5 是否存在结构性障碍，使得 $ \zeta_X(t) $ 在 $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}][[t]] $ 中保持非有理，即使原始 zeta 函数在点态意义下有理？

主要发现

• 若剪切-粘贴问题有正解，则对任意满足几何亏格 $ P_g(X) \geq 2 $ 的复曲面 $ X $，其 motivic zeta 函数 $ \zeta_X(t) \in K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}][[t]] $ 均非行列式有理。
• 在 $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}] $ 中，有理性的行列式条件不成立，因为对称幂乘积的交替和无法因唯一几何亏格贡献而消失。
• 对无穷多个 $ m $，只有恒等排列对乘积 $ X^{(m)} \times X^{(m+2)} \times \cdots \times X^{(m+2n)} $ 的几何亏格有贡献，这阻止了行列式中的抵消。
• 剪切-粘贴问题正解的假设意味着行列式和中的各项在乘以 $ \mathbb{L} $ 的某次幂后成为双有理等价，但此无法解决几何亏格的不匹配问题。
• 结果表明，对于满足 $ P_g(X) \geq 2 $ 的曲面，$ \zeta_X(t) $ 在 $ K_0[\mathcal{V}_\mathbb{C}][\mathbb{L}^{-1}][[t]] $ 中的有理性与剪切-粘贴问题的正解不相容。
• 因此，在剪切-粘贴假设下，尽管某些情况下 zeta 函数是点态有理的，motivic zeta 函数在局部化环中仍保持非有理。