[论文解读] Thom series of contact singularities

L Fehér, Richárd Rimányi|arXiv (Cornell University)|Sep 17, 2008

Advanced Combinatorial Mathematics参考文献 30被引用 6

一句话总结

本论文提出了一种计算接触奇点 Thom 多项式的通用方法，通过在奇点空间的部分解析上使用等变局部化，导出了一个编码整个 Thom 系列的局部化公式。关键贡献在于为维数小于6的局部代数以及某些双参数族系统地计算这些多项式，揭示了稳定化性质，并与 Hilbert 系列及重积分建立了联系。

ABSTRACT

Thom polynomials measure how global topology forces singularities. The power of Thom polynomials predestine them to be a useful tool not only in differential topology, but also in algebraic geometry (enumerative geometry, moduli spaces) and algebraic combinatorics. The main obstacle of their widespread application is that only a few, sporadic Thom polynomials have been known explicitly. In this paper we develop a general method for calculating Thom polynomials of contact singularities. Along the way, relations with the equivariant geometry of (punctual, local) Hilbert schemes, and with iterated residue identities are revealed.

研究动机与目标

• 开发一种计算接触奇点 Thom 多项式的通用方法，因为这些多项式此前仅零星可知。
• 通过部分解析构造，将等变局部化技术的应用范围从 Morin 奇点扩展至所有接触奇点。
• 揭示并形式化 Thom 多项式在不同维度 n 和 p 下的稳定化性质，特别是 d-稳定化。
• 将 Thom 多项式的计算与点状 Hilbert 系列的等变几何及重积分恒等式联系起来。
• 为维数小于6的局部代数以及一个双参数族代数提供新的 Thom 系列的显式计算。

提出的方法

• 利用 J. Damon 的方法构造接触奇点空间的部分解析，以建立合适的等变设置。
• 将 Bérczi-Szenes 等变局部化公式应用于部分解析，得到给定接触奇点 Thom 多项式的局部化公式。
• 将局部化公式的输入编码为 Grassmannian 或 Hilbert 系列中的欧拉类，这些类是有限且可计算的。
• 运用几何与代数技巧计算这些欧拉类，从而实现 Thom 系列的显式计算。
• 利用重积分恒等式将所得 Thom 系列表达为有理函数，推广了关于 Morin 奇点的早期结果。
• 通过接触轨道与喷层空间中理想之间的对应关系，验证了双有理性与次数计算，将其与已知不变量（如轨道闭包的次数）联系起来。

实验结果

研究问题

• RQ1 如何将等变局部化方法推广至 Morin 奇点之外，以计算任意接触奇点的 Thom 多项式？
• RQ2 所提出的局部化公式在 Thom 系列中会涌现出哪些稳定化性质（如 d-稳定化）？
• RQ3 局部化公式输入（Grassmannian 或 Hilbert 系列中的欧拉类）与奇点局部代数的几何之间有何关系？
• RQ4 能否使用该方法显式计算维数小于6的局部代数以及接触奇点的 Thom 系列？
• RQ5 局部点状 Hilbert 系列的等变上同调与 Thom 多项式计算之间存在何种联系？

主要发现

• 本文建立了通用的局部化公式（定理6.1），通过在部分解析上使用等变局部化，计算任意接触奇点的 Thom 多项式。
• 对于局部代数 $\mathcal{Q} = \mathbb{C}[[x]]/(x^i)$（$i \leq 7$）对应的奇点族，该方法恢复并扩展了 Bérczi 与 Szenes 的结果，通过重积分编码了整个 Thom 系列。
• 通用喷层 $g_\lambda = (x^2 - \lambda yz, y^2 - \lambda xz, z^2 - \lambda xy)$ 的 Thom 多项式被计算为 $\operatorname{tp}(g_\lambda) = 4\Delta_{3331} + 8\Delta_{433}$，其系数通过轨道闭包的次数计算得到验证。
• 该方法揭示了接触奇点的 Thom 系列具有 d-稳定化性质，这是一种此前未被发现的结构性质，意味着当 $n$ 和 $p$ 足够大时，系数趋于稳定。
• 对应关系簇 $C(Y_{Q_K}) \to \eta_{Q_K}(n,p)$ 被证明是双有理的且次数为1，确认了 Thom 系列 $\operatorname{Ts}_{g_{K}}$ 对所有 $n,p$ 均计算出 Thom 多项式。
• 本文为维数小于6的局部代数以及一个双参数族代数提供了 Thom 系列的显式计算，显著扩展了已知可计算的情形集合。