[论文解读] Non-associative Hilbert scheme and Thom polynomials

Maxim Kazarian|arXiv (Cornell University)|Dec 26, 2017

Nonlinear Waves and Solitons参考文献 13被引用 6

一句话总结

本文引入了一种新颖的几何构造——非结合希尔伯特概形，用于推导与全纯映射局部奇点类型相关的汤姆多项式系数的闭式有理生成函数。通过将点状希尔伯特概形嵌入这一新环境空间，并应用等变上同调形式下的吉辛同态，作者获得了此前未知奇点（包括 $Σ^{2,1,1}$、$Σ^{2,2,1}$ 和 $Σ^{2,2,2}$）的汤姆多项式的显式公式，其系数与相对维数 $π$ 无关。

ABSTRACT

Thom polynomial describes the cohomology class Poincaré dual to the locus of particular singularity of a generic holomorphic map. In this paper we derive a closed formula for the generating function of its coefficients. The method is based on a new construction of the embedding space of punctual Hibert scheme that we call the non-associative Hilbert scheme. The efficiency of the method is demonstrated on explicit computation of a number of Thom polynomials, including those associated with singularities of Thom-Boardman types~$Σ^{i,j}$, $Σ^{2,1,1}$, $Σ^{2,2,1}$, and~$Σ^{2,2,2}$.

研究动机与目标

• 开发一种直接的、非递归的方法来计算汤姆多项式，而无需依赖存在性定理。
• 将汤姆级数系数的计算推广至已知情况之外，特别是针对高阶汤姆-布罗德曼奇点。
• 识别汤姆级数系数的通用生成函数，且该函数与相对维数 $π$ 无关。
• 引入一种新的几何框架——非结合希尔伯特概形，以实现这些系数的系统化计算。

提出的方法

• 为点状希尔伯特概形构造一个新的嵌入空间，称为非结合希尔伯特概形，其定义为结合性方程的解集。
• 对该部分解析使用吉辛同态，以在等变上同调中计算特征类。
• 应用 [17] 的形式化方法，使表达式在整个计算过程中保持为相对陈类 $c_i = c_i(f^*TY - TX)$ 的形式。
• 将局部特征不变量 $P_\eta$ 识别为向量空间中子簇的等变庞加莱对偶，该不变量捕捉了奇点类型。
• 推导出汤姆级数系数的有理生成函数，除多项式 $P_\eta$ 外所有项均显式给出。
• 使用维数向量和单项式基验证结合性方程构成正则序列，从而确保该代数簇为完备交。

实验结果

研究问题

• RQ1 能否在不假设汤姆多项式预先存在的前提下，为汤姆级数系数导出一个闭式有理生成函数？
• RQ2 非结合希尔伯特概形如何被系统地用于计算汤姆-布罗德曼型奇点的汤姆多项式？
• RQ3 局部特征不变量 $P_\eta$ 在确定汤姆级数系数中起什么作用？
• RQ4 同一几何框架在多奇点理论中对余多项式稳定性的解释程度如何？
• RQ5 当滤子不唯一时（如 $Σ^{2,2,2}$ 情况），是否存在一种规范方式来归一化生成函数？

主要发现

• 本文为汤姆级数系数提供了闭式有理生成函数，除局部特征不变量 $P_\eta$ 外所有项均已显式确定。
• 对于 $Σ^{2,1,1}$、$Σ^{2,2,1}$ 和 $Σ^{2,2,2}$ 奇点类型，作者推导出了此前未知的汤姆多项式闭式公式。
• $Σ^{2,1,1}$、$Σ^{2,2,1}$ 和 $Σ^{2,2,2}$ 所关联代数的结合性方程构成正则序列，证实了结合代数的代数簇为完备交且具有唯一分支。
• $Σ^{2,2,2}$ 情况下的归一化因子 $t_1$ 源于 ${\mathbb{C}}P^1$-族的滤子，并由条件 $\int_{{\mathbb{C}}P^1} t_1 = 1$ 固定，确保了生成函数的一致性。
• 该方法可从 $π = \mu$ 的情形恢复所有相对维数 $π$ 下的完整汤姆多项式，证实了先前工作中观察到的稳定化现象。
• 作者通过将 $Σ^{2,2,2}$ 的汤姆多项式限制在 $m=2$，$n=1$ 的情形，成功恢复了 $J^3_0({\mathbb{C}}^2, {\mathbb{C}})$ 的喷射丛的最高陈类，验证了结果的正确性。