Schur 多項式

定義 2.1（「SU(N) の表現と Young 図形」§2）

非増加な整数列 $\lambda=(\lambda_1\ge\cdots\ge\lambda_N)\in\mathbb{Z}^N$ に対し

s_\lambda(z_1,\dots,z_N)=\frac{a_{\lambda+\delta}(z)}{a_\delta(z)}

を Schur 多項式（ $\lambda_N\lt0$ なら Laurent 多項式）という。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。