[論文レビュー] Thom polynomials and Schur funcions: the singularities $A_3(-)$

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

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

ひとこと要約

本稿は、対称関数と制限方程式の手法を用いて、任意の $k\geq 0$ に対して、写像 $({\bf C}^{\bullet},0)\to({\bf C}^{\bullet+k},0)$ におけるモリン特異点 $A_3$ のトム多項式のシュール関数展開を計算する。主な結果は、2部成分の完全な記述であり、すべての係数が非負で、各分割が行 $(k+1)$ を含むことを示しており、超対称シュール関数とパースカル階段構成を用いて達成される。

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$ 特異点のトム多項式のシュール関数展開を特定すること。
• $k$ をパrameterとするトム多項式の族を計算するための概念的枠組みを確立し、泥臭い計算を避けること。
• シュール基底における非負の係数や、分割 $(k+1)$ の存在といった構造的性質を明らかにすること。
• 特に超対称シュール関数とその性質（消去、キャンセル、因子分解）を用いて、制限方程式の手法を拡張すること。

提案手法

• リマニイらの制限方程式の手法を適用し、トム多項式の係数に関する一次方程式系を導出する。
• シュール関数の差のアルファベットにおける超対称シュール関数を用い、その消去、キャンセル、因子分解の性質を活用してトム多項式を表現する基底とする。
• ファンクター記法 $\lambda$-環を用いて、$x_1, x_2$ に加えて $2x_1, 2x_2, x_1+x_2$ の対称関数を扱い、代数的簡略化を可能にする。
• 生成関数から得られるパースカル階段 $P$ を構成し、シュール関数展開の係数を符号化する。
• 関数 $W(n, \mathbb{A})$ を用いてシュール関数への寄与を計算し、$W(n, \mathbb{A})$ を結果式と生成関数を用いて表現する。
• 生成関数 $f = \frac{5-6z}{(1-z)(1-2z)(1-3z)}$ を特殊化し、$y$-特殊化を $1, 2, 3$ で行うことにより、トム多項式の2部成分を計算する。

実験結果

リサーチクエスチョン

• RQ1 すべての $k\geq 0$ に対して、$A_3$ 特異点のトム多項式のシュール関数展開は何か？
• RQ2 制限方程式の手法を、$k$ をパrameterとするトム多項式の族を系統的に計算するためにどのように体系的に適用できるか？
• RQ3 シュール基底における $A_3$ トム多項式の係数が常に非負である理由は何か？また、現れる分割にどのような構造的制約があるか？
• RQ4 超対称シュール関数とその性質（消去、キャンセル、因子分解）が、トム多項式の計算をどのように簡略化するか？
• RQ5 シュール展開のすべての項に分割 $(k+1)$ が現れるという事実は、幾何学的に $A_3$ が $\Sigma^1$ の軌道の閉包にあることをどのように反映しているか？

主な発見

• $n\geq 3$ に対して、$A_3$ の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$ トム多項式のすべての係数は非負であり、ウェーバーとプラガッチが確立した一般的性質を裏付ける。
• シュール展開に現れるすべての分割は、単一の行 $(k+1)$ を含んでおり、これは $A_3$ が $\Sigma^1$ 軌道の閉包にあることを反映している。
• $h\geq 3$ の $h$-部成分はすべて $0$ であるため、非自明なのは1部成分と2部成分のみである。
• $W(n, \mathbb{A})$ はシュール関数への寄与を符号化しており、$\mathbb{A} = \mathbb{X}_2 + \mathbb{B}$ に対して $W(n, \mathbb{A}) = (y-1)y^{n-1}S_n(\mathbb{X}_2 - y^{-1}\mathbb{B})$ で与えられる。ここで $\mathbb{B} = 2x_1 + 2x_2$ である。
• 生成関数 $f = \frac{5-6z}{(1-z)(1-2z)(1-3z)}$ から得られるパースカル階段構成により、$y$-特殊化を $y=3$ で行うことで、トム多項式の2部成分を計算できる。