[论文解读] Donaldson-Thomas invariants via microlocal geometry

Kai Behrend|ArXiv.org|Jul 26, 2005

Algebraic Geometry and Number Theory参考文献 9被引用 127

一句话总结

本文证明了唐纳森-托马斯型不变量等于模空间的加权欧拉特征，通过一个仅依赖于方案结构而非对称障碍理论的典范构造函数 $\nu_X$。关键贡献在于，$\nu_X(P)$ 的微局部公式以余切丛中拉格朗日子流形的环绕数表示，统一了虚拟计数与奇点不变量，并使非完备模空间的不变量成为可能。

ABSTRACT

We prove that Donaldson-Thomas type invariants are equal to weighted Euler characteristics of their moduli spaces. In particular, such invariants depend only on the scheme structure of the moduli space, not the symmetric obstruction theory used to define them. We also introduce new invariants generalizing Donaldson-Thomas type invariants to moduli problems with open moduli space. These are useful for computing Donaldson-Thomas type invariants over stratifications.

研究动机与目标

• 证明唐纳森-托马斯型不变量仅依赖于模空间的方案结构，而不依赖于所用的对称障碍理论。
• 通过 $\nu_X$ 的加权欧拉特征，为非完备模空间定义唐纳森-托马斯不变量的一般化。
• 提供 $\nu_X(P)$ 的微局部几何公式，以余切丛中拉格朗日子流形的环绕数表示。
• 通过消失循环建立 $\nu_X$ 与 Milnor 纤维欧拉特征之间的联系。
• 通过 $\tilde{\mu}(X) = \int_X \nu_X d\mu$ 的动机推广，提出唐纳森-托马斯不变量的动机一般化。

提出的方法

• 将 $\nu_X: X \to \mathbb{Z}$ 定义为固有正则锥 $\mathfrak{c}_X$ 的欧拉阻碍，其为典范且仅依赖于方案结构。
• 利用微局部几何，将 $\nu_X(P)$ 解释为小的 $\epsilon$ 和 $\eta$ 下的环绕数 $L_{S_\epsilon}(\Gamma_\eta \cap S_\epsilon, \Delta \cap S_\epsilon)$。
• 将模空间 $X$ 嵌入光滑环境方案 $M$，并将定义 $X = Z(\omega)$ 的 1-形式 $\omega$ 提升为 $\Omega_M$ 中的截面。
• 构造拉格朗日子流形 $\Gamma_\eta \subset \Omega_M$ 为 $M \to \Omega_M$ 通过 $\frac{1}{\eta}\omega$ 的像，$\Delta$ 为距离函数 $\rho$ 的 $d\rho$ 的像。
• 应用交集理论与专门化，证明 $\nu_X(P) = I_{\{P\}}([C], [\Delta])$，其中 $[C]$ 是 $X$ 在 $M$ 中的法锥。
• 利用 $\lim_{\eta \to 0} [\Gamma_\eta] = [C]$ 的事实，将 $[C]$ 在环绕数公式中替换为 $\Gamma_\eta$。

实验结果

研究问题

• RQ1 唐纳森-托马斯不变量是否仅依赖于模空间的方案结构，还是也依赖于对称障碍理论的选择？
• RQ2 能否为非完备模空间推广唐纳森-托马斯型不变量？
• RQ3 是否存在 $\nu_X(P)$ 的几何微局部公式，用于虚拟计数的贡献？
• RQ4 $\nu_X$ 与经典不变量（如 Milnor 数或 Milnor 纤维欧拉特征）有何关系？
• RQ5 能否定义一种动机不变量，以尊重方案结构和 $\nu_X$ 的方式推广虚拟计数？

主要发现

• 唐纳森-托马斯型不变量 $\#^{\rm vir}(X)$ 等于加权欧拉特征 $\chi(X, \nu_X)$，证明了其对对称障碍理论选择的不变性。
• $\nu_X(P) = (-1)^{\dim X}$ 在光滑点 $P \in X$ 处成立，推广了欧拉特征公式。
• 当 $X = Z(df)$ 时，即函数 $f$ 的临界点集，有 $\nu_X(P) = (-1)^{\dim M}(1 - \chi(F_P))$，其中 $F_P$ 为 Milnor 纤维。
• $\nu_X(P)$ 可通过微局部公式计算为环绕数 $L_{S_\epsilon}(\Gamma_\eta \cap S_\epsilon, \Delta \cap S_\epsilon)$，提供了几何解释。
• $\Omega_M$ 中的法锥 $C_{X/M}$ 是拉格朗日的，其与 $\Delta$ 的交集给出了 $\nu_X(P)$ 的正确环绕数。
• $\tilde{\mu}(X) = \int_X \nu_X d\mu$ 的动机推广比通常的动机 $\mu(X)$ 更深刻地编码了方案结构，但在堆栈上受限于 $\chi(GL_n) = 0$。