[論文レビュー] Thom polynomials and Schur functions I

Piotr Pragacz|ArXiv.org|Sep 10, 2005

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$ 特異点の明示的シュール関数表現を導出すること。
• 特にパrameter $k$ でパラメータ化された特異点族に対して、シュール基底におけるトム多項式を計算する体系的な手法を構築すること。
• シュール関数係数の非負性がトム多項式において一貫して生じる理由を明らかにし、それを証明すること。
• $A_i$ 特異点のトム多項式に対する「第一近似」$F^{(i)}$ の再帰的枠組みを提供すること。

提案手法

• Rimanyi らの制限方程式の手法を用い、トム多項式を特徴付ける線形系を導出する。
• 3つの主要な性質（消去、キャンセル、因子分解）を持つ超対称シュール関数（super-S関数）を用いる。
• Lascouxの研究で発展された $\lambda$-環アプローチを対称関数に適用し、代数的計算を管理する。
• トム多項式を、退化局所の条件に関連する特定の分割条件を満たす $I$ に対して $ℤ$-線形結合 $S_I(E-F)$ として表現する。
• 因子分解性質を用いて、複雑なシュール関数を結果関数および単純なシュール関数の積に分解する。
• 高次特異点の $j$-多項式および補正項の構造を分析することで、再帰的公式（例：式 (53)、(75)）を導出する。

実験結果

リサーチクエスチョン

• RQ1 $I_{2,2}$ 特異点のトム多項式は、シュール関数基底において明示的に表現可能か？
• RQ2 $A_3$ 特異点のトム多項式のシュール関数展開は何か？ また、既知の単項式表現とはどのように関係するか？
• RQ3 パrameter $k$ でパラメータ化された特異点族の制限方程式は、対称関数を用いて一様に解けるか？
• RQ4 なぜトム多項式のシュール関数展開において常に非負の係数が得られるのか？ その理由を証明できるか？
• RQ5 $A_i$ 特異点のトム多項式に対する「第一近似」$F^{(i)}$ の構造は何か？ そして、どのようにして改善できるか？

主な発見

• トム多項式 $\mathcal{T}^{I_{2,2}}$ は、1つの $j$-多項式として明示的に計算され、$\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}$ である。
• $A_3$ のトム多項式は2つの $j$-多項式の和として表される：$F^{(3)}_r + H_r$、ここで $F^{(3)}_r$ は主要部であり、$H_r$ はより大きな退化局所に対する補正を提供する。
• $U_r({\mathbb{X}}_2;0)$ における $S_{r-2}({\mathbb{X}}_2)$ の係数は $3^{r-2} \cdot 3 = 3^{r-1}$ であり、$S_{1,r-3}({\mathbb{X}}_2)$ の係数は $-3^{r-2} \cdot 2 = -2 \cdot 3^{r-2}$ である。これにより $U_r({\mathbb{X}}_2;0) = 3^{r-2}(3S_{r-2} - 2S_{1,r-3})$ が得られる。
• シュール関数係数の非負性は、トム多項式において一般現象であることが確立され、A. Weberと共同で証明がなされた（[22]を参照）。
• 本手法は、$A_i$ 特異点におけるパrameter $k$ を、最大の $j$ を持つ $j$-多項式部分 $F^{(i)}_r$ を表現することで、再帰的計算が可能となるように処理する。
• 定理22の証明は、因子分解およびキャンセル性質を用いて概説され、$U_r({\mathbb{X}}_2;0) = V_r({\mathbb{X}}_2;0)$ が示され、これは $III_{2,2}$ の消去条件の確認を意味する。