[论文解读] Thom polynomials of Morin singularities

Gergely Bérczi, András Szenes|ArXiv.org|Aug 11, 2006

Advanced Combinatorial Mathematics参考文献 15被引用 10

一句话总结

本文使用等变上同调与旗流形中的轨道闭包，计算了莫林奇点——复流形之间映射芽的特定类型——的汤姆多项式。主要贡献是给出了类型 $ A_d $ 莫林奇点的汤姆多项式的完整公式，该公式以对称多项式和相对陈类表示，通过博尔固定点技巧与奇点解消上的等变庞加莱对偶性实现显式计算。

ABSTRACT

We prove a formula for Thom polynomials of Morin (or A_d) singularities in any codimension. We use a combination of the test-curve method of Porteous, and the localization methods in equivariant cohomology. Our formulas are independent of the codimension, and they are computationally efficient for d less than 7.

研究动机与目标

• 计算莫林奇点的汤姆多项式，其用于分类全纯映射中奇点底流形的余维数。
• 建立类型 $ A_d $ 莫林奇点的汤姆多项式的通用公式，以陈类的对称多项式表示。
• 开发一种通过等变上同调与博尔固定点技巧在奇点轨道的解消上计算汤姆多项式的方法。
• 将汤姆多项式与旗流形中轨道闭包的几何结构以及与映射芽相关联的幂零代数结构联系起来。

提出的方法

• 作者使用等变上同调的框架，计算一般映射奇点底流形的庞加莱对偶，将其识别为 $ H^*(N, \mathbb{C}) $ 中的一个特征类。
• 他们通过构造参数化过滤旗的旗流形 $ \widetilde{\mathcal{E}} $ 来解消奇点轨道，并利用极大环面 $ T $ 的作用分析固定点。
• 关键技术工具是通过局部化和坐标环 $ \mathbb{C}[u^{\bullet}] $ 中的单项式基，识别轨道闭包 $ \mathcal{O} \subset \widetilde{\mathcal{E}} $ 的等变庞加莱对偶。
• 他们定义了一个特殊的分拆序列 $ \boldsymbol{\pi}_{\mathrm{dst}} $，用于参数化轨道闭包中唯一的 $ T $-固定点，从而实现等变类 $ \widehat{Q}_d $ 的计算。
• 该方法涉及构造线性子空间 $ \widehat{\mathcal{N}}_d \subset \mathcal{N}_{\mathrm{dst}} $，并利用投影 $ \widehat{\mathrm{pr}} $ 将问题简化到更简单的坐标系。
• 最终的汤姆多项式通过适当的变量替换，从等变类 $ \widehat{Q}_d $ 的像中恢复，以相对陈类表示。

实验结果

研究问题

• RQ1 类型 $ A_d $ 莫林奇点的汤姆多项式是什么，即第 $ d $ 个莫林奇点？
• RQ2 如何利用旗流形中轨道闭包的等变上同调来计算奇点底流形的庞加莱对偶？
• RQ3 定义轨道闭包 $ \mathcal{O} \subset \widetilde{\mathcal{E}} $ 的理想 $ I_{\mathcal{O}} $ 的结构是什么？它与汤姆多项式有何关系？
• RQ4 选择一个参考旗及其相关的 $ T $-固定点，如何简化等变类的计算？

主要发现

• 类型 $ A_d $ 莫林奇点的汤姆多项式明确给出为 $ \mathrm{Tp}_{A_d}^{n \to k} = \mathrm{TD}_A^j(c_1, c_2, \dots) $，其中 $ j = k - n $，且 $ \mathrm{TD}_A^j $ 是相对陈类的通用多项式。
• 轨道闭包 $ \mathcal{O}_{\mathrm{dst}} \subset \mathcal{N}_{\mathrm{dst}} $ 的等变庞加莱对偶被计算为 $ \widehat{Q}_d $，其为坐标 $ \hat{u}_{mr}^l $ 中次数为 $ d(d+1)/2 $ 的齐次多项式。
• 轨道闭包的理想 $ I_{\mathcal{O}} $ 由关系 $ \mathrm{Rel}(\boldsymbol{\rho}, \tau, \dots) $ 生成，这些关系在 $ \mathbb{C}[u^{\bullet}] $ 的单项式中显式描述。
• 计算依赖于参考旗 $ \mathbf{f}_{\mathrm{ref}} $ 及其相关 $ T $-固定点 $ \tilde{\varepsilon}_{\mathrm{ref}} $ 的规范选择，这简化了局部化过程。
• 通过将等变类 $ \widehat{Q}_d $ 限制到线性子空间 $ \widehat{\mathcal{N}}_d $，得到汤姆多项式的最终公式，其为切丛与拉回切丛陈类的对称多项式。
• 该方法证实汤姆多项式仅依赖于余维数 $ j = k - n $，与相对陈类的一般理论一致。