[论文解读] On a zeta-function of a dg-category

Sergey Galkin, Evgeny Shinder|arXiv (Cornell University)|Jun 18, 2015

Algebraic structures and combinatorial models参考文献 2被引用 3

一句话总结

本文为前三角化微分分次（dg）范畴引入了一个 zeta 函数，建立了与 Kapranov 的动机 zeta 函数的范畴类比。证明了对于具有特定几何性质的光滑射影概形，该范畴 zeta 函数通过动机测度与动机 zeta 函数满足一个乘积公式，将导出范畴与格罗滕迪克环中的对称幂运算联系起来。

ABSTRACT

We define a zeta-function of a pre-triangulated dg-category and investigate its relationship with the motivic zeta-function in the geometric case.

研究动机与目标

• 通过格罗滕迪克环中 dg-范畴的对称幂运算，为前三角化 dg-范畴定义 zeta 函数。
• 研究该范畴 zeta 函数与光滑射影概形的 Kapranov 动机 zeta 函数之间的关系。
• 在如理性或低维等几何假设下，建立两者 zeta 函数之间的精确公式。
• 探讨该关系对半正交分解及概形导出范畴的影响。
• 阐明动机测度 $ \mu_{dg} $ 作为环同态，不保持 $ \lambda $-运算，从而需要新的范畴框架。

提出的方法

• 在 $ K_0(\mathrm{dg\text{-}cat}/k)[[t]] $ 中定义范畴 zeta 函数为 $ Z_{cat}(Χ,t) = \sum_{n \geq 0} [\mathrm{Sym}^n(\mathcal{C})] \, t^n $，其中 $ \mathcal{C} $ 是一个前三角化 dg-范畴。
• 利用 Ganter-Kapranov 的对称幂运算，在 $ K_0(\mathrm{dg\text{-}cat}/k) $ 上定义 $ \lambda $-运算，从而实现 zeta 函数的构造。
• 采用动机测度 $ \mu_{dg}: K_0(\mathrm{Var}/k) \to K_0(\mathrm{dg\text{-}cat}/k) $，将概形 $ X $ 映射为其 dg-增强 $ I(X) $，以关联几何与范畴 zeta 函数。
• 证明：对于光滑射影概形 $ X $，若 $ [X] \in K_0(\mathrm{Var}/k) $ 是 $ [\mathbb{A}^1] $ 的多项式，或 $ \dim X \leq 2 $，则恒等式 $ Z_{mot}(\mu_{dg}(X),t) = \prod_{k \geq 1} \mu_{dg}(Z_{mot}(X,t^k)) $ 成立。
• 利用 Göttsche、Bridgeland-King-Reid 和 Haiman 的已知结果，验证曲面情形下的公式，并通过归纳法与 $ Z_{cat} $ 的乘法性质加以推广。
• 对变换 $ f(t) \mapsto \prod_{k \geq 1} f(t^k) $ 应用 Möbius 反演，证明其可通过 Möbius 函数 $ \mu(k) $ 可逆，从而导出 zeta 函数之间的逆关系。

实验结果

研究问题

• RQ1 如何为前三角化 dg-范畴定义 zeta 函数，使其能推广 Kapranov 对概形的动机 zeta 函数？
• RQ2 光滑射影概形的动机 zeta 函数与其导出范畴的范畴 zeta 函数之间存在何种精确关系？
• RQ3 作为环同态的动机测度 $ \mu_{dg} $，是否保持对称幂运算下 zeta 函数的结构？
• RQ4 范畴 zeta 函数能否用于恢复或重新解释枚举几何中的已知结果（如 Göttsche 或 Haiman 的结果）在导出范畴设定下的意义？
• RQ5 公式 $ Z_{mot}(\mu_{dg}(X),t) = \prod_{k \geq 1} \mu_{dg}(Z_{mot}(X,t^k)) $ 在 $ K_0(\mathrm{Var}/k) $ 中类为多项式类的概形之外在多大程度上成立？

主要发现

• 范畴 zeta 函数 $ Z_{cat} $ 在半正交分解下具有乘法性，满足 $ Z_{cat}(\langle \mathcal{A}, \mathcal{B} \rangle, t) = Z_{cat}(\mathcal{A}, t) \cdot Z_{cat}(\mathcal{B}, t) $。
• 对于一点 $ \mathrm{Spec}(k) $，其范畴 zeta 函数为 $ \prod_{k \geq 1} \frac{1}{1 - t^k} $，即整数分拆的生成函数。
• 对于光滑射影概形 $ X $，若 $ [X] $ 是 $ [\mathbb{A}^1] $ 的多项式，或 $ \dim X \leq 2 $，则恒等式 $ Z_{mot}(\mu_{dg}(X), t) = \prod_{k \geq 1} \mu_{dg}(Z_{mot}(X, t^k)) $ 成立。
• 曲面情形的公式通过 McKay 对应（BKR99）、Göttsche 对点态 Hilbert 模的公式，以及 Haiman 对曲线对称积的研究得以建立。
• 变换 $ f(t) \mapsto \prod_{k \geq 1} f(t^k) $ 可通过 Möbius 反演实现可逆，其逆为 $ g(t) \mapsto \prod_{k \geq 1} g(t^k)^{\mu(k)} $，从而可从其迭代重构 zeta 函数。
• 该结果暗示了一个弱形式的导出范畴同构：在 $ K_0(\mathrm{dg\text{-}cat}/k)[1/2] $ 中有 $ [I_{S_n}(C^n)] = \sum_\alpha [I(C^{(\alpha)})] $，其中 $ C $ 为光滑射影曲线，$ \alpha $ 遍历 $ n $ 的分拆。