[论文解读] On the Euler numbers of certain moduli spaces of curves and points

Wei-Ping Li, Zhenbo Qin|ArXiv.org|Aug 7, 2005

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

一句话总结

本文计算了在具有Zariski局部平凡纤维化结构（纤维为1维）的光滑射影代数簇中，1维闭子概形模空间的拓扑欧拉数。通过虚拟Hodge多项式与环面作用，推导出这些欧拉数的生成函数，其表达式涉及Hilbert概形与点状r维分拆，验证了当r ≤ 3或为Calabi-Yau 3-流形时，关于q → 1/q的有理性与模形式不变性的猜想。

ABSTRACT

We determine the topological Euler number of certain moduli space of 1-dimensional closed subschemes in a smooth projective variety which admits a Zariski-locally trivial fibration with 1-dimensional fibers. The main approach is to use virtual Hodge polynomials and torus actions. The results might shed some light on the corresponding Donaldson-Thomas invariants.

研究动机与目标

• 确定具有Zariski局部平凡纤维化结构（纤维为1维）的光滑射影代数簇中，1维闭子概形模空间的拓扑欧拉数。
• 研究这些欧拉数与Donaldson-Thomas不变量之间的关系，特别是在Calabi-Yau 3-流形背景下的情形。
• 验证关于欧拉数的约化分拆函数在q → 1/q变换下的有理性与模形式不变性的猜想。
• 建立这些模空间欧拉数的生成函数公式，其表达式涉及Hilbert概形与点状r维分拆。

提出的方法

• 利用纤维化结构 $\mu: X \to S$（纤维为1维）将模空间 $\mathfrak{M}_n$ 分解为局部闭子集。
• 在 $\mathbb{C}^{r-1} \times C$ 上构造这些子集与模型空间之间的双射态射，将问题约化为局部计算。
• 应用虚拟Hodge多项式，以在分解与双射下保持欧拉数信息。
• 利用Cheah的Hilbert概形组合框架，将计算约化为点状Hilbert概形与点状分拆。
• 在 $\mathfrak{M}_{n,L,O}^{\mathbb{C}^r}$ 与 $\mathrm{Hilb}^n(\mathbb{C}^r, O)$ 上使用环面作用，通过点状r维分拆计算欧拉数。
• 推导 $\widetilde{P}_r(n)$ 与 $P_r(n)$ 的生成函数，并证明当 $r=3$ 时有 $\sum \widetilde{P}_3(n) q^n = \sum P_3(n) q^n / (1 - q)$。

实验结果

研究问题

• RQ1 约化分拆函数 $\sum \chi(\mathfrak{I}_n(X,\beta)) q^n / \sum \chi(X^{[n]}) q^n$ 是否为 $q$ 的有理函数？
• RQ2 当 $K_X = 0$ 时，该分拆函数是否满足 $q \to 1/q$ 不变性？
• RQ3 模空间 $\mathfrak{M}_n = \mathfrak{I}_{(1-g)+n}(X,\beta)$ 的欧拉数能否用Hilbert概形与点状分拆表示？
• RQ4 生成函数 $\sum \widetilde{P}_r(n) q^n / \sum P_r(n) q^n$ 是否等于 $1/(1 - q)^{r-2}$（当 $r \geq 2$ 时）？
• RQ5 当 $X$ 是以亏格为 $g$ 的纤维为1维的光滑基上的纤维化时，模空间 $\mathfrak{M}_n$ 的精确结构为何？

主要发现

• 模空间 $\mathfrak{M}_n$ 的欧拉数生成函数为 $\sum \chi(\mathfrak{M}_n) q^n = \left(\sum \chi(X^{[n]}) q^n\right) \cdot \chi(S) \cdot \left(\sum \widetilde{P}_r(n) q^n / \sum P_r(n) q^n\right)^{2-2g}$。
• 当 $r = 3$ 时，利用生成函数恒等式与平面分拆生成函数的极限，证明了恒等式 $\sum \widetilde{P}_3(n) q^n = \sum P_3(n) q^n / (1 - q)$。
• 当 $2 \leq r \leq 3$ 或 $K_X = 0$（即 $g = 1$）时，关于有理性与 $q \to 1/q$ 不变性的猜想成立。
• 模空间 $\mathfrak{M}_n$ 的欧拉数通过虚拟Hodge多项式与环面作用计算，最终约化为点状 $r$-维分拆。
• 当 $2 \leq r \leq 3$ 时，建立了公式 $\sum \chi(\mathfrak{M}_n) q^n = \left(\sum \chi(X^{[n]}) q^n\right) \cdot \chi(S) \cdot (1 - q)^{-(r-2)(2-2g)}$。
• 证明依赖于 $\mathfrak{M}_n$ 的局部闭子集分解、与模型空间之间的双射态射，以及通过Cheah理论实现的组合约化。