[论文解读] Motivic degree zero Donaldson-Thomas invariants

Kai Behrend, Jim Bryan+1 more|arXiv (Cornell University)|Sep 28, 2009

Algebraic Geometry and Number Theory参考文献 33被引用 50

一句话总结

本文通过利用超势能的 motivic 临界圈，定义了光滑复三复叠上点的 Hilbert 模丛的 motivic 零度 Donaldson–Thomas 不变量，特别关注 Calabi–Yau 三复叠。关键结果是：在 $\mathbb{C}^3$ 上，虚拟动机的闭式生成函数被表达为 Lefschetz 动机与变形 MacMahon 函数的乘积；对于任意三复叠，通过 motivic 指数推广至一般形式。

ABSTRACT

Given a smooth complex threefold X, we define the virtual motive of the Hilbert scheme of n points on X. In the case when X is Calabi-Yau, this gives a motivic refinement of the n-point degree zero Donaldson-Thomas invariant of X. The key example is affine three-space, where the Hilbert scheme can be expressed as the critical locus of a regular function on a smooth variety, and its virtual motive is defined in terms of the Denef-Loeser motivic nearby fiber. A crucial technical result asserts that if a function is equivariant with respect to a suitable torus action, its motivic nearby fiber is simply given by the motivic class of a general fiber. This allows us to compute the generating function of the virtual motives of the Hilbert schemes of affine three-space via a direct computation involving the motivic class of the commuting variety. We then give a formula for the generating function for arbitrary X as a motivic exponential, generalizing known results in lower dimensions. The weight polynomial specialization leads to a product formula in terms of deformed MacMahon functions, analogous to Gottsche's formula for the Poincare polynomials of the Hilbert schemes of points on surfaces.

研究动机与目标

• 为光滑复三复叠上点的 Hilbert 模丛定义 motivic 精化零度 Donaldson–Thomas 不变量。
• 在代数簇的 Grothendieck 环中构造虚拟动机 $[\mathop{\rm Hilb}\nolimits^n(X)]_{\rm vir}$，以精化虚拟 Euler 示性数。
• 利用 motivic 指数建立任意光滑三复叠 $X$ 的 motivic 分划函数 $Z_X(t)$ 的一般公式。
• 证明一个关键技术结果：当函数在适当 torus 作用下为等变函数时，其 motivic 临界圈等于一般纤维与中心纤维类的差。
• 通过交换子簇与 motivic 类技术，计算 $\mathbb{C}^3$ 的虚拟动机生成函数。

提出的方法

• 通过 Denef–Loeser 的 motivic 临界圈 $[\varphi_f]$ 定义临界集 $Z = \{df = 0\}$ 的虚拟动机 $[Z]_{\rm vir}$，并以 $-\mathbb{L}^{-\dim M/2}$ 缩放。
• 利用超势能构造，将 $\mathop{\rm Hilb}\nolimits^n(\mathbb{C}^3)$ 实现为光滑空间 $M_n$ 上正则函数 $f_n$ 的临界集。
• 证明：对于满足圆紧致性与权条件的 torus 等变函数，有 $[\varphi_f] = [f^{-1}(1)] - [f^{-1}(0)]$，从而简化计算。
• 将此结果应用于计算生成函数 $Z_{\mathbb{C}^3}(t) = \sum_{n=0}^\infty [\mathop{\rm Hilb}\nolimits^n(\mathbb{C}^3)]_{\rm vir} t^n$，利用交换子簇的 motivic 类。
• 通过 Hilbert–Chow 映射与虚拟动机，将结果推广至任意光滑三复叠 $X$，导出 motivic 指数公式。
• 使用 motivic 指数 $\mathop{\rm Exp}\nolimits$ 将分划函数 $Z_X(-t)$ 表示为 Grothendieck 环中的指数形式，输入包含 $[X]_{\rm vir}$ 与 $[\mathbb{P}^{d-2}]_{\rm vir}$。

实验结果

研究问题

• RQ1 如何为光滑三复叠上点的 Hilbert 模丛定义 motivic 精化零度 Donaldson–Thomas 不变量？
• RQ2 在何种条件下，torus 等变函数的 motivic 临界圈可简化为一般纤维与中心纤维类的差？
• RQ3 虚拟动机 $\mathop{\rm Hilb}\nolimits^n(\mathbb{C}^3)$ 的显式生成函数为何？
• RQ4 能否为任意光滑三复叠建立统一的 motivic 分划函数公式？
• RQ5 motivic 零度 DT 分划函数与低维情形（如曲面与曲线）的已知结果有何关联？

主要发现

• 虚拟动机 $\mathop{\rm Hilb}\nolimits^n(\mathbb{C}^3)$ 的生成函数为 $Z_{\mathbb{C}^3}(t) = \prod_{m=1}^\infty \prod_{k=0}^{m-1} \left(1 - \mathbb{L}^{k+2 - m/2} t^m \right)^{-1}$，即变形 MacMahon 函数的乘积形式。
• 虚拟动机 $[\mathop{\rm Hilb}\nolimits^n(\mathbb{C}^3)]_{\rm vir}$ 通过光滑空间上超势能的 motivic 临界圈构造，且与 Hilbert–Chow 映射相容。
• 对于任意光滑三复叠 $X$，motivic 零度 Donaldson–Thomas 分划函数为 $Z_X(-t) = \mathop{\rm Exp}\nolimits\left( [X] \frac{ -\mathbb{L}^{-3/2} t }{ (1 + \mathbb{L}^{1/2} t)(1 + \mathbb{L}^{-1/2} t) } \right)$，推广了低维情形的结果。
• 具有圆紧致作用的 torus 等变函数的 motivic 临界圈满足 $[\varphi_f] = [f^{-1}(1)] - [f^{-1}(0)]$，这是实现显式计算的关键技术结果。
• 该公式统一了各维情形：当 $d = \dim X$ 时，分划函数为 $Z_X(T) = \mathop{\rm Exp}\nolimits\left( T[X]_{\rm vir} \mathop{\rm Exp}\nolimits(T[\mathbb{P}^{d-2}]_{\rm vir}) \right)$，其中 $T = (-1)^d t$ 且 $[X]_{\rm vir} = \mathbb{L}^{-d/2}[X]$。
• 关键定理的证明依赖于 Bialynicki-Birula 分解与固定点分量法丛中的权计数，表明对所有固定分量 $F$ 有 $I_1(F) \neq \emptyset$，从而确保求和中的抵消成立。