[论文解读] Thom polynomials for maps of curves with isolated singularities

Maxim Kazarian, Сергей Константинович Ландо|ArXiv.org|Jun 11, 2007

Advanced Differential Equations and Dynamical Systems参考文献 7被引用 3

一句话总结

本文推导出具有孤立奇点的复曲线映射的 Thom 多项式显式通用公式，重点关注 $A_n$ 和 $I_{k,l}$ 类型。利用等变上同调与特征类，计算了 Hurwitz 空间中多重奇点层的上同调类（Poincaré 对偶），通过 Chern 类及参数 $ \psi$, $ \nu$, $z$, 和 $t_m$ 的生成函数，得出双 Hurwitz 数的闭式表达。关键贡献在于以有限个基本类完整描述了原始层，从而可显式计算 Lyashko–Looijenga 映射在这些层上的次数。

ABSTRACT

Thom (residual) polynomials in characteristic classes are used in the analysis of geometry of functional spaces. They serve as a tool in description of classes Poincaré dual to subvarieties of functions of prescribed types. We give explicit universal expressions for residual polynomials in spaces of functions on complex curves having isolated singularities and multisingularities, in terms of few characteristic classes. These expressions lead to a partial explicit description of a stratification of Hurwitz spaces.

研究动机与目标

• 计算复曲线上具有孤立奇点类型 $A_n$ 和 $I_{k,l}$ 的函数层的 Poincaré 对偶上同调类。
• 基于特征类推导 Thom 多项式的显式通用表达式，以实现对原始层上 Lyashko–Looijenga 映射次数的计算。
• 为奇点的普遍展开中多重奇点建立生成函数框架，特别针对双 Hurwitz 数。
• 证明在复曲线上亚纯函数族中，仅需四个基本特征类即可描述所有层，无论其余维数如何。

提出的方法

• 基于 Thom 和 Kazarian 的理论，使用特征类中的通用剩余多项式，描述函数空间中奇异层的上同调类。
• 应用待定系数法与等变上同调技术，计算 $A_n$-型和带标记点的多重奇点的生成函数 $\mathcal{N}_A$ 与 $\mathcal{M}_A$。
• 在 $I_{k,l}$-形变空间中，通过两种不同方法计算层类与判别除子 $\varepsilon = 0$ 的交，推导恒等式。
• 根据奇点在节点曲线两分支上的分布，将奇异纤维分解为不可约分支，并通过局部代数的维数分配重数。
• 将生成函数中单项式的系数替换为 $m+1$，以考虑在节点处有奇点的分支的重数，使用 $\mathbb{C}[x,y]/\langle x^a + y^b, xy \rangle$ 的维数。
• 通过结合无节点奇点和有节点奇点的贡献，利用具有不同 $\nu_1, \nu_2$ 参数的 $\mathcal{N}_A$ 与 $\mathcal{M}_A$，推导出 $I_{k,l}$-层的生成函数 $\mathcal{M}_A$。

实验结果

研究问题

• RQ1 对于具有单个 $A_n$-型奇点和标记临界值的复曲线映射，Thom 多项式的通用表达式是什么？
• RQ2 在 $I_{k,l}$-形变空间中，具有多重奇点 $A_{m_1,\dots,m_r}$ 的函数层的上同调类如何用特征类表示？
• RQ3 在节点处有奇点的分支对层与判别式 $\varepsilon = 0$ 的交的贡献是什么？
• RQ4 奇异纤维中不可约分支的重数如何依赖于节点处的局部奇点类型？
• RQ5 能否利用 $\psi$, $\nu$, $z$, 和 $t_m$ 的生成函数显式计算 Lyashko–Looijenga 映射在原始层上的次数？

主要发现

• 对于 $A_n$-型层，生成函数 $\mathcal{N}_A(\psi, \nu; z; t)$ 被推导为两个 $\mathcal{N}_A$ 函数的乘积，分别对应节点曲线的两个分支，参数为 $\nu_1$ 和 $\nu_2$。
• 对于在节点处有奇点的层，其贡献为 $\mathcal{M}_A(\psi, \nu_1; z; t) \cdot \mathcal{M}_A(\psi, \nu_2; z; t)$，其中 $z$ 标记节点处的标记临界点。
• 每个在节点处有奇点的分支的重数为 $m+1$，等于局部代数 $\mathbb{C}[x,y]/\langle x^a + y^b, xy \rangle$ 的维数，其中 $a+b = m+1$。
• 此类分支的总贡献通过将 $\mathcal{M}_A$ 函数的乘积乘以 $\psi z$，并将每个 $z^{m+1}$ 替换为 $(m+1)t_{m+1}$ 得到。
• 最终的 $I_{k,l}$-层生成函数 $\mathcal{M}_A$ 被证明与定理 3.5 中的函数一致，从而证明了上同调类 $[A_{m_1,\dots,m_r}(Y)]$ 的公式。
• 本文确立了仅需四个基本特征类即可描述复曲线上亚纯函数空间中所有层的上同调类，无论其余维数如何。