シューア多項式

数学において、シューア多項式( - たこうしき、)とは、自然数の分割でパラメトライズされたある"n"変数対称多項式のことをいう。イサイ・シューアにちなんで名付けられたこの対称多項式は、基本対称多項式や完全対称多項式の一般化である。
表現論において、シューア多項式は、一般線型群の既約表現の指標である。シューア多項式は、すべての対称多項式からなる空間の基底となっている。2つのシューア多項式の積は、シューア多項式の非負整数係数一次結合に展開できる。この係数は、リトルウッド・リチャードソン則によって組合せ論的に記述される。さらに一般に2つの分割に対して定義される歪シューア多項式もシューア多項式と似た性質を持つことが知られている。
定義.
シューア多項式は自然数の分割に対応して定義される。 
であって各 formula_2 が非負整数となっているものを考える。このとき、次の交代式（すなわち変数を入れ替えるとその符号倍されるような多項式）:
が定まる。交代式であることから、ファンデルモンド行列式
で割り切れる。シューア多項式とは次の商
で定義される。分母分子ともに交代式であることからこの式は対称式である。これが多項式となることは、すべての交代式がファンデルモンド行列式で割り切れることからわかる。
性質.
"n" 変数次数 "d" のシューア多項式は、"n" 変数で次数 "d" の斉次対称多項式のなすベクトル空間の基底となっている。
第一ギャンベリ公式は、シューア多項式を完全対称式の多項式として明示的に記述する公式である。
第二ギャンベリ公式は、シューア多項式を基本対称式の多項式として明示的に記述する公式である。
ここで、 formula_8 は分割 formula_9の転置で得られる分割である。
この2つの公式は行列式公式としてしられており、特に最初の公式はヤコビ・トルゥーディ公式として知られている。
分割 formula_10に対し、シューア多項式は次のような単項式の和として記述される。
ここで和は、分割 formula_10 上の半標準ヤング盤 formula_13 の全体を動く。指数に現れる formula_14 は、formula_13 のウェイト、すなわち、 formula_13 に現れる formula_17 の個数が formula_18 である。 この式が定義と同値であることは、第一ギャンベリ公式と Lindström–Gessel–Viennot の補題から従う。
シューア多項式 "S"λ は、単項対称式の一次結合 "m"μ として表され、その係数は非負整数で、コストカ数 "K"λμ と呼ばれている。
例.
"n" = 3, "d" = 4の場合の例を示す。 この場合、4の分割で深さが3以下のものは4つある。例えば、
などと計算できる。
ここで、formula_22はファンデルモンド行列式である。
基本対称式の和として表すと、
となる。
次数4の3変数斉次対称多項式は、この4つのシューア多項式の一次結合として一意的に表示できる。例えば、
をシューア多項式の一次結合として表すと、
となる。
表現論との関係.
シューア多項式は、対称群の表現論や一般線形群・ユニタリ群の表現論に現れる。
ワイルの指標公式は、シューア多項式が、一般線形群の有限次元既約表現の指標に他ならないことを意味しており、シューアの結果を他の半単純コンパクトリー群へ拡張したものと言える。
この関係を表す式はいろいろあるが、最も重要なもののひとつは、シューア多項式 formula_29 をべき和対称式 formula_30 で展開する式である。
formula_31 を、分割formula_10に対応する対称群の既約表現の指標に対する、巡回置換型が分割 formula_33 であるような共役類での値とする。
このとき 
が成り立つ。ここで、formula_35とは、分割 formula_33 に formula_37 個の formula_38 が含まれていることを意味している。
歪シューア多項式.
2つの分割 λ と μ に対応する歪シューア多項式 "s"λ/μ は次の性質で定義される。