[论文解读] Thom polynomials and Schur funcions: the singularities $A_3(-)$

Alain Lascoux, Piotr Pragacz|ArXiv.org|Oct 14, 2008

Nonlinear Waves and Solitons参考文献 22被引用 3

一句话总结

本文使用限制方程方法与对称函数，计算了映射 $({\bf C}^{\bullet},0)\to({\bf C}^{\bullet+k},0)$ 中 Morin 奇点 $A_3$ 的 Thom 多项式关于 Schur 函数的展开式。关键结果是对 Thom 多项式 $2$-部分的完整描述，其所有系数非负，且所有分拆均包含行 $(k+1)$，该结果通过超对称 Schur 函数与 Pascal 阶梯构造实现。

ABSTRACT

Combining the "method of restriction equations" of Rimányi et al. with the techniques of symmetric functions, we establish the Schur function expansions of the Thom polynomials for the Morin singularities $A_3: ({\bf C}^{\bullet},0) o ({\bf C}^{\bullet + k},0)$ for any nonnegative integer $k$.

研究动机与目标

• 确定任意 $k\geq 0$ 下，映射 $({\bf C}^{\bullet},0)\to({\bf C}^{\bullet+k},0)$ 中 $A_3$ 奇点的 Thom 多项式关于 Schur 函数展开式的表达式。
• 建立一个计算以 $k$ 为参数的 Thom 多项式族的理论框架，避免繁琐的直接计算。
• 揭示 Schur 基中系数的非负性与分拆中出现的结构性质，如包含分拆 $(k+1)$。
• 扩展限制方程方法，结合对称函数技术，特别是超对称 Schur 函数及其性质（如零化、相消与因式分解）。

提出的方法

• 应用 Rimányi 等人提出的限制方程方法，推导出 Thom 多项式系数的线性方程组。
• 采用超对称 Schur 函数（字母差的 Schur 函数）作为表达 Thom 多项式的基，利用其零化、相消与因式分解性质。
• 采用函子式 $\lambda$-环方法处理 $2x_1, 2x_2, x_1+x_2$ 与 $x_1, x_2$ 的对称函数，实现代数简化。
• 通过生成函数构造 Pascal 阶梯 $P$，以编码 Schur 函数展开的系数。
• 使用函数 $W(n, \mathbb{A})$ 计算对 Schur 函数的贡献，其中 $W(n, \mathbb{A})$ 通过结式与生成函数表达。
• 通过在 $y=1,2,3$ 处进行 $y$-特化，将生成函数如 $f = \frac{5-6z}{(1-z)(1-2z)(1-3z)}$ 特殊化，以计算 Thom 多项式 $2$-部分。

实验结果

研究问题

• RQ1 对于所有 $k\geq 0$，$A_3$ 奇点的 Thom 多项式在 Schur 函数展开中的表达式是什么？
• RQ2 如何系统性地应用限制方程方法，以计算以 $k$ 为参数的 Thom 多项式族？
• RQ3 为何 $A_3$ Thom 多项式在 Schur 基中的系数保持非负？其出现的分拆受到何种结构性约束？
• RQ4 超对称 Schur 函数及其性质（如零化、相消、因式分解）在简化 Thom 多项式计算中起到何种作用？
• RQ5 为何所有 Schur 展开项中均包含分拆 $(k+1)$？这如何反映 $A_3$ 在 $\Sigma^1$ 轨道的几何闭包中的位置？

主要发现

• 当 $n\geq 3$ 时，$A_3$ 的 Thom 多项式 $2$-部分为 $3^{n+1}S_n(\mathbb{X}_2) - 2\cdot 3^n S_{1,n-1}(\mathbb{X}_2)$，初始条件为 $W(0)=1$，$W(1)=(y-3)S_1(\mathbb{X}_2)$，$W(2)=(y-1)(y-2)S_2(\mathbb{X}_2)-2(y-3)S_{11}(\mathbb{X}_2)$。
• 在 $A_3$ Thom 多项式的 Schur 函数展开中，所有系数均为非负，证实了 Weber 与 Pragacz 建立的一般性质。
• 所有出现在 Schur 展开中的分拆均包含单行 $(k+1)$，反映了 $A_3$ 位于 $\Sigma^1$ 轨道的闭包中。
• $A_3$ Thom 多项式的 $h$-部分在 $h\geq 3$ 时为零，因此仅 $1$-部分与 $2$-部分是非平凡的。
• $W(n, \mathbb{A})$ 编码了对 Schur 函数的贡献，其表达式为 $W(n, \mathbb{A}) = (y-1)y^{n-1}S_n(\mathbb{X}_2 - y^{-1}\mathbb{B})$，其中 $\mathbb{A} = \mathbb{X}_2 + \mathbb{B}$，且 $\mathbb{B} = 2x_1 + 2x_2$。
• 由生成函数 $f = \frac{5-6z}{(1-z)(1-2z)(1-3z)}$ 构造的 Pascal 阶梯，使得通过在 $y=3$ 处进行 $y$-特化，能够计算 Thom 多项式的 $2$-部分。