[논문 리뷰] Thom polynomials and Schur functions I

Piotr Pragacz|ArXiv.org|2005. 09. 10.

Advanced Combinatorial Mathematics참고 문헌 17인용 수 20

한 줄 요약

이 논문은 슈어 함수 전개를 사용하여 $I_{2,2}$ 및 $A_3$ 특이점의 톰 다항식을 계산하며, 초대칭 슈어 함수와 제약 방정식을 기반으로 한 새로운 방법을 도입한다. 이는 이러한 다항식에 대한 명시적 공식을 제공하고, 슈어 기저에서의 비음성(비음성)을 증명하며, 더 높은 $A_i$ 특이점에 대한 재귀적 프레임워크를 제시하여 이전의 초월 다항식 접근 방식에 비해 훨씬 더 투명하고 구조적인 결과를 얻는다.

ABSTRACT

We give the Thom polynomials for the singularities I_2,2 and A_3 associated with maps (C^n,0) -> (C^{n+k},0) with parameter k>=0. We give the Schur function expansions of these Thom polynomials. Moreover, for the singularities A_i (with any parameter k >= 0) we analyze the ``first approximation'' F^(i) to the Thom polynomial. Our computations combine the characterization of Thom polynomials via the ``method of restriction equations'' of Rimanyi et al. with the techniques of (super) Schur functions.

연구 동기 및 목표

• Schur 함수 전개를 사용하여 $I_{2,2}$ 특이점의 톰 다항식을 계산하는 것.
• 기존 결과를 일반화하여 $A_3$ 특이점에 대한 명시적 슈어 함수 표현을 도출하는 것.
• 특이점의 가중치 $k$로 매개변수화된 가중치 가중치에 대해 톰 다항식을 슈어 기저에서 체계적으로 계산하는 방법을 개발하는 것.
• 톰 다항식의 슈어 함수 계수의 비음성을 일반 현상으로 증명하고, 이는 이전 관측을 확장하는 것이다.
• 특이점 $A_i$에 대한 톰 다항식의 '첫 번째 근사' $F^{(i)}$에 대한 재귀적 프레임워크를 제공하는 것.

제안 방법

• Rimanyi 등이 제안한 제약 방정식 방법을 사용하여 톰 다항식을 특징짓는 선형 시스템을 유도한다.
• 세 가지 주요 성질(소멸, 상쇄, 인수분해)을 가진 초대칭 슈어 함수(supersymmetric Schur functions, super-S-functions)를 활용한다.
• Lascoux의 연구에서 발전시킨 $\lambda$-환 접근법을 사용하여 대수적 연산을 관리한다.
• 톰 다항식을 슈어 함수 $S_I(E-F)$의 $\mathbb{Z}$-선형 조합으로 표현하며, 이때 $I$는 분해 위치와 관련된 특정 분할 조건을 만족한다.
• 인수분해 성질을 적용하여 복잡한 슈어 함수를 결과식과 간단한 슈어 함수의 곱으로 분해한다.
• 고차 특이점의 $j$-다항식과 보정 항의 구조를 분석하여 재귀 공식(예: 식 (53), (75))을 유도한다.

실험 결과

연구 질문

• RQ1 Can the Thom polynomial for the $I_{2,2}$ singularity be expressed explicitly in the Schur function basis?
• RQ2 What is the Schur function expansion of the Thom polynomial for the $A_3$ singularity, and how does it relate to known monomial expressions?
• RQ3 How can the restriction equations for families of singularities parameterized by $k$ be solved uniformly using symmetric functions?
• RQ4 Why do Schur function expansions of Thom polynomials consistently yield nonnegative coefficients, and can this be proven?
• RQ5 What is the structure of the 'first approximation' $F^{(i)}$ to the Thom polynomial for $A_i$ singularities, and how can it be refined?

주요 결과

• The Thom polynomial for $I_{2,2}$ is explicitly computed as a single $j$-polynomial: $\mathcal{T}^{I_{2,2}} = S_{477} + 24S_{378} + 24S_{288} + 89S_{279} + 113S_{189} + 300S_{1,7,10} + 113S_{99} + 413S_{8,10} + 965S_{7,11} + 526S_{10,11} + 1378S_{9,12} + 3024S_{8,13}$.
• The Thom polynomial for $A_3$ is expressed as a sum of two $j$-polynomials: $F^{(3)}_r + H_r$, where $F^{(3)}_r$ is the leading part and $H_r$ provides corrections for the larger degeneracy locus.
• The coefficient of $S_{r-2}({\mathbb{X}}_2)$ in $U_r({\mathbb{X}}_2;0)$ is $3^{r-2} \cdot 3 = 3^{r-1}$, and the coefficient of $S_{1,r-3}({\mathbb{X}}_2)$ is $-3^{r-2} \cdot 2 = -2 \cdot 3^{r-2}$, leading to $U_r({\mathbb{X}}_2;0) = 3^{r-2}(3S_{r-2} - 2S_{1,r-3})$.
• The nonnegativity of Schur function coefficients in Thom polynomials is established as a general phenomenon, with a proof provided in collaboration with A. Weber (cf. [22]).
• The method successfully handles the parameter $k$ in $A_i$ singularities by expressing the $j$-polynomial part $F^{(i)}_r$ for the largest possible $j$, enabling recursive computation.
• The proof of Theorem 22 is outlined via factorization and cancellation properties, showing that $U_r({\mathbb{X}}_2;0) = V_r({\mathbb{X}}_2;0)$, which confirms the vanishing condition for $III_{2,2}$.