シューア多項式

数学において、**シューア多項式**( - たこうしき、)とは、自然数の分割でパラメトライズされたある*n*変数対称多項式のことをいう。イサイ・シューアにちなんで名付けられたこの対称多項式は、基本対称多項式やの一般化である。
表現論において、シューア多項式は、一般線型群の既約表現の指標である。シューア多項式は、すべての対称多項式からなる空間の基底となっている。2つのシューア多項式の積は、シューア多項式の非負整数係数一次結合に展開できる。この係数は、によって組合せ論的に記述される。さらに一般に2つの分割に対して定義される歪シューア多項式もシューア多項式と似た性質を持つことが知られている。

## 定義
シューア多項式は自然数の分割に対応して定義される。 

: d = d_1 + d_2 + \cdots + d_n, \; \; d_1 \geq d_2 \geq \dots \ge d_n

であって各 d_j が非負整数となっているものを考える。このとき、次の交代式（すなわち変数を入れ替えるとその符号倍されるような多項式）:

: a_{(d_1, d_2, \dots , d_n)} (x_1, x_2, \dots , x_n) =
\det \left[ \begin{matrix} x_1^{d_1} & x_2^{d_1} & \dots & x_n^{d_1} \\
x_1^{d_2} & x_2^{d_2} & \dots & x_n^{d_2} \\
\vdots & \vdots & \ddots & \vdots \\
x_1^{d_n} & x_2^{d_n} & \dots & x_n^{d_n} \end{matrix} \right]
=\sum_{\sigma\in S_n}\epsilon(\sigma)x_{\sigma(1)}^{d_1}\cdots x_{\sigma(n)}^{d_n}

が定まる。交代式であることから、ファンデルモンド行列式

: a_{(n-1, n-2, \dots , 0)} (x_1, x_2, \dots , x_n) = \det \left[ \begin{matrix} x_1^{n-1} & x_2^{n-1} & \dots & x_n^{n-1} \\
x_1^{n-2} & x_2^{n-2} & \dots & x_n^{n-2} \\
\vdots & \vdots & \ddots & \vdots \\
1 & 1 & \dots & 1 \end{matrix} \right] = \prod_{1 \leq j 

で割り切れる。シューア多項式とは次の商
:
 s_{(d_1, d_2, \dots , d_n)} (x_1, x_2, \dots , x_n) =
\frac{ a_{(d_1+n-1, d_2+n-2, \dots , d_n+0)} (x_1, x_2, \dots , x_n)}
{a_{(n-1, n-2, \dots , 0)} (x_1, x_2, \dots , x_n) }. 

で定義される。分母分子ともに交代式であることからこの式は対称式である。これが多項式となることは、すべての交代式がファンデルモンド行列式で割り切れることからわかる。

## 性質
*n* 変数次数 *d* のシューア多項式は、*n* 変数で次数 *d* の斉次対称多項式のなすベクトル空間の基底となっている。

第一ギャンベリ公式は、シューア多項式を完全対称式の多項式として明示的に記述する公式である。

: s_{\lambda} = \det_{ij} h_{\lambda_{i} + j - i}. 
 
第二ギャンベリ公式は、シューア多項式を基本対称式の多項式として明示的に記述する公式である。

: s_{\lambda} = \det_{ij} e_{\mu_{i} + j - i} 

ここで、  \mu  は分割  \lambda の転置で得られる分割である。

この2つの公式は行列式公式としてしられており、特に最初の公式はとして知られている。

分割 \lambdaに対し、シューア多項式は次のような単項式の和として記述される。

:
s_\lambda(x_1,x_2,\ldots,x_n)=\sum_T x^T = \sum_T x_1^{t_1}\cdots x_n^{t_n}


ここで和は、分割 \lambda 上の半標準ヤング盤 T の全体を動く。指数に現れる t_1,\ldots,t_n は、T のウェイト、すなわち、 T に現れる i の個数が t_i である。 この式が定義と同値であることは、第一ギャンベリ公式と から従う。

シューア多項式 *S*&lambda; は、単項対称式の一次結合 *m*&mu; として表され、その係数は非負整数で、 *K*&lambda;&mu; と呼ばれている。

: s_\lambda= \sum_\mu K_{\lambda\mu}m_\mu.\ 

## 例
*n* = 3, *d* = 4の場合の例を示す。 この場合、4の分割で深さが3以下のものは4つある。例えば、

: s_{(2,1,1)} (x_1, x_2, x_3) = \frac{1}{\Delta} \;
\det \left[ \begin{matrix} x_1^4 & x_2^4 & x_3^4 \\ x_1^2 & x_2^2 & x_3^2 \\ x_1 & x_2 & x_3 \end{matrix}
\right] = x_1 \, x_2 \, x_3 \, (x_1 + x_2 + x_3)  

: s_{(2,2,0)} (x_1, x_2, x_3) = \frac{1}{\Delta} \;
\det \left[ \begin{matrix} x_1^4 & x_2^4 & x_3^4 \\ x_1^3 & x_2^3 & x_3^3 \\ 1 & 1 & 1 \end{matrix}
\right]= x_1^2 \, x_2^2 + x_1^2 \, x_3^2 + x_2^2 \, x_3^2 
+ x_1^2 \, x_2 \, x_3 + x_1 \, x_2^2 \, x_3 + x_1 \, x_2 \, x_3^2 

などと計算できる。
ここで、\Deltaはファンデルモンド行列式である。

基本対称式の和として表すと、

# s_{(2,1,1)} = e_1 \, e_3
# s_{(2,2,0)} = e_2^2 - e_1 \, e_3
# s_{(3,1,0)} = e_1^2 \, e_2 - e_2^2 - e_1 \, e_3
# s_{(4,0,0)} = e_1^4 - 3 \, e_1^2 \, e_2 + 2 \, e_1 \, e_3 + e_2^2.

となる。

次数4の3変数斉次対称多項式は、この4つのシューア多項式の一次結合として一意的に表示できる。例えば、

:\phi(x_1, x_2, x_3) = x_1^4 + x_2^4 + x_3^4

をシューア多項式の一次結合として表すと、

:\phi = s_{(2,1,1)} - s_{(3,1,0)} + s_{(4,0,0)}.\,\!

となる。

## 表現論との関係

シューア多項式は、や一般線形群・ユニタリ群の表現論に現れる。
ワイルの指標公式は、シューア多項式が、一般線形群の有限次元既約表現の指標に他ならないことを意味しており、シューアの結果を他の半単純コンパクトリー群へ拡張したものと言える。

この関係を表す式はいろいろあるが、最も重要なもののひとつは、シューア多項式 s_\lambda をべき和対称式 p_k=\sum_i x_i^k で展開する式である。
\chi^\lambda_\rho を、分割\lambdaに対応する対称群の既約表現の指標に対する、巡回置換型が分割 \rho であるような共役類での値とする。
このとき 

:s_\lambda=\sum_{\rho=(1^{r_1},2^{r_2},3^{r_3},\dots)}\chi^\lambda_\rho \prod_k \frac{p^{r_k}_k}{r_k!},

が成り立つ。ここで、\rho=(1^{r_1},2^{r_2},3^{r_3},\dots)とは、分割 \rho に r_k 個の k が含まれていることを意味している。

## 歪シューア多項式
2つの分割 &lambda; と &mu; に対応する歪シューア多項式 *s*&lambda;/&mu; は次の性質で定義される。
:\langle s_{\lambda/\mu},s_\nu\rangle = \langle s_{\lambda},s_\mu  s_\nu\rangle. 

## 一般化

*は、シューア多項式のある一般化である。

## 参考文献
*
*
*