[论文解读] On generating series of classes of equivariant Hilbert schemes of fat points

S. M. Gusein‐Zade, I. Luengo+1 more|ArXiv.org|May 12, 2009

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

一句话总结

本文将光滑代数簇上零维子概形的等变希尔伯特概形生成函数公式推广至有限群作用的情形，引入复代数簇的格罗滕迪克环上的幂结构。研究了光滑曲面上循环群作用的局部生成函数，对对数生成函数提出闭式乘积猜想，并对小阶群作用进行了显式计算，揭示了系数中的稳定化模式。

ABSTRACT

In previous papers the authors gave formulae for generating series of classes (in the Grothendieck ring of complex quasi-projective varieties) of Hilbert schemes of zero-dimensional subschemes on smooth varieties and on orbifolds in terms of certain local data and the, so called, power structure over the corresponding ring. Here we give an analogue of these formulae for equivariant (with respect to an action of a finite group on a smooth variety) Hilbert schemes of zero-dimensional subschemes and compute some local generating series for an action of the cyclic group on a smooth surface.

研究动机与目标

• 将先前关于希尔伯特概形的生成函数公式推广至有限群作用下的等变情形。
• 计算光滑曲面上具有循环群作用的零维子概形的等变希尔伯特概形的局部生成函数。
• 研究这些生成函数对数系列中的结构性模式，并提出闭式表达式猜想。
• 探索当群阶增大时，对数系列系数中的稳定化现象。

提出的方法

• 利用格罗滕迪克环 $K_0(\mathcal{V}_{\mathbb{C}})$ 上的幂结构来定义和操作等变希尔伯特概形的生成函数。
• 通过满足基数约束的对 $(K, \varphi)$ 的配置空间，对幂结构提供几何解释。
• 通过涉及广义欧拉特征的积分公式将全局生成函数约化为局部数据：$\mathbb{H}_X(T) = \int_X \mathbb{H}_{X,x}(T)^{d\chi_g}$。
• 使用符号计算（Maple）对特定群作用（如 $\mathbb{Z}/3\mathbb{Z}$ 和 $\mathbb{Z}/4\mathbb{Z}$ 在 $\mathbb{C}^2$ 上的作用）进行显式级数计算。
• 分析对数系列 $\mathrm{Log}^{(1)}$ 和 $\mathrm{Log}^{(2)}$ 以检测模式并猜想乘积结构。
• 基于观测到的系数稳定化现象，提出 $\mathbb{H}^{M,1}_{\mathbb{C}^2,0}(T)$ 的猜想乘积公式。

实验结果

研究问题

• RQ1 能否利用格罗滕迪克环上的幂结构，将有限群作用下等变希尔伯特概形的生成函数用局部数据表示？
• RQ2 平面中循环群作用下 $\mathrm{Log}^{(1)}\mathbb{H}^{M,1}_{\mathbb{C}^2,0}(T)$ 的结构是什么？
• RQ3 在 $M$ 相对于 $i$ 足够大时，$\mathrm{Log}^{(2)}\mathbb{H}^{M,1}_{\mathbb{C}^2,0}(T)$ 中系数序列 $p_i^{M,1}(\mathbb{L})$ 是否稳定？
• RQ4 是否存在类似于非等变情形的 $\mathbb{H}^{M,1}_{\mathbb{C}^2,0}(T)$ 的闭式乘积公式？
• RQ5 对数系列系数中观测到的稳定化现象具有何种几何意义？

主要发现

• 对于 $\mathbb{Z}/3\mathbb{Z}$ 在 $\mathbb{C}^2$ 上的作用，对数系列 $\mathrm{Log}^{(1)}\mathbb{H}^{3,1}_{\mathbb{C}^2,0}(T)$ 的前几项为 $T + \mathbb{L}T^2 + T^3 + \mathbb{L}T^4 + \mathbb{L}^2T^5 + \cdots$，显示出度数上的结构化模式。
• 提出一个猜想乘积公式：$\mathbb{H}^{3,1}_{\mathbb{C}^2,0}(T) = \prod_{i=1}^\infty \frac{1}{(1 - \mathbb{L}^{i-1}T^{3i-2})(1 - \mathbb{L}^i T^{3i-1})(1 - \mathbb{L}^{i-1} T^{3i})}$。
• 对于 $\mathbb{Z}/4\mathbb{Z}$ 作用，$\mathrm{Log}^{(1)}\mathbb{H}^{4,1}_{\mathbb{C}^2,0}(T)$ 包含如 $(1+\mathbb{L})T^4 + (2\mathbb{L} + 2\mathbb{L}^2 + \mathbb{L}^3)T^8 + \cdots$ 的项，表明系数增长具有非平凡性。
• $\mathrm{Log}^{(2)}$ 系列中出现负系数，例如 $(-\mathbb{L}^2 + \mathbb{L}^3 - \mathbb{L}^6)T^{12}$，暗示存在非平凡的代数结构。
• 计算表明，当 $M'' > M' > i$ 时，$\mathrm{Log}^{(2)}\mathbb{H}^{M,1}_{\mathbb{C}^2,0}(T)$ 中的系数 $p_i^{M',1}(\mathbb{L})$ 与 $p_i^{M'',1}(\mathbb{L})$ 稳定，表明在 $M \to \infty$ 极限下可能存在极限。
• $\mathrm{Log}^{(1)}$ 系列中 $\mathbb{H}^{5,2}_{\mathbb{C}^2,0}(T)$ 在度数 $5k$ 处表现出重复模式，如 $T^5 + \mathbb{L}T^6 + \cdots + \mathbb{L}^4T^{24} + \cdots$，支持周期性或对称性的猜想。