数学 において、シューア多項式 ( - たこうしき、英語 : Schur Polynomial )とは、自然数の分割 でパラメトライズされたあるn 変数対称多項式 のことをいう。イサイ・シューア にちなんで名付けられたこの対称多項式は、(基本対称多項式 )や(完全対称多項式 )の一般化である。 表現論 において、シューア多項式は、一般線型群 の既約表現 の(指標 )である。シューア多項式は、すべての対称多項式からなる空間の基底 となっている。2つのシューア多項式の積は、シューア多項式の非負整数係数一次結合に展開できる。この係数は、(リトルウッド・リチャードソン則 )によって組合せ論的に記述される。さらに一般に2つの分割に対して定義される歪シューア多項式もシューア多項式と似た性質を持つことが知られている。
定義 シューア多項式は自然数の分割に対応して定義される。
d = d 1 + d 2 + ⋯ + d n , d 1 ≥ d 2 ≥ ⋯ ≥ d n {\displaystyle d=d_{1}+d_{2}+\cdots +d_{n},\;\;d_{1}\geq d_{2}\geq \dots \geq d_{n}} であって各 d j {\displaystyle d_{j}} が非負整数となっているものを考える。このとき、次の交代式(すなわち変数を入れ替えるとその符号倍されるような多項式):
a ( d 1 , d 2 , … , d n ) ( x 1 , x 2 , … , x n ) = det [ x 1 d 1 x 2 d 1 … x n d 1 x 1 d 2 x 2 d 2 … x n d 2 ⋮ ⋮ ⋱ ⋮ x 1 d n x 2 d n … x n d n ] = ∑ σ ∈ S n ϵ ( σ ) x σ ( 1 ) d 1 ⋯ x σ ( n ) d n {\displaystyle 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 , … , 0 ) ( x 1 , x 2 , … , x n ) = det [ x 1 n − 1 x 2 n − 1 … x n n − 1 x 1 n − 2 x 2 n − 2 … x n n − 2 ⋮ ⋮ ⋱ ⋮ 1 1 … 1 ] = ∏ 1 ≤ j < k ≤ n ( x j − x k ) . {\displaystyle 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<k\leq n}(x_{j}-x_{k}).} で割り切れる。シューア多項式とは次の商
s ( d 1 , d 2 , … , d n ) ( x 1 , x 2 , … , x n ) = a ( d 1 + n − 1 , d 2 + n − 2 , … , d n + 0 ) ( x 1 , x 2 , … , x n ) a ( n − 1 , n − 2 , … , 0 ) ( x 1 , x 2 , … , x n ) . {\displaystyle 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 λ = det i j h λ i + j − i . {\displaystyle s_{\lambda }=\det _{ij}h_{\lambda _{i}+j-i}.} 第二ギャンベリ公式は、シューア多項式を基本対称式の多項式として明示的に記述する公式である。
s λ = det i j e μ i + j − i {\displaystyle s_{\lambda }=\det _{ij}e_{\mu _{i}+j-i}} ここで、 μ {\displaystyle \mu } は分割 λ {\displaystyle \lambda } の転置で得られる分割である。
この2つの公式は行列式公式としてしられており、特に最初の公式は(ヤコビ・トルゥーディ公式 )として知られている。
分割 λ {\displaystyle \lambda } に対し、シューア多項式は次のような単項式の和として記述される。
s λ ( x 1 , x 2 , … , x n ) = ∑ T x T = ∑ T x 1 t 1 ⋯ x n t n {\displaystyle s_{\lambda }(x_{1},x_{2},\ldots ,x_{n})=\sum _{T}x^{T}=\sum _{T}x_{1}^{t_{1}}\cdots x_{n}^{t_{n}}} ここで和は、分割 λ {\displaystyle \lambda } 上の半標準ヤング盤 T {\displaystyle T} の全体を動く。指数に現れる t 1 , … , t n {\displaystyle t_{1},\ldots ,t_{n}} は、 T {\displaystyle T} のウェイト、すなわち、 T {\displaystyle T} に現れる i {\displaystyle i} の個数が t i {\displaystyle t_{i}} である。 この式が定義と同値であることは、第一ギャンベリ公式と (Lindström–Gessel–Viennot の補題 )から従う。
シューア多項式 S λ は、単項対称式の一次結合 m μ として表され、その係数は非負整数で、(コストカ数 ) K λμ と呼ばれている。
s λ = ∑ μ K λ μ m μ . {\displaystyle 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 ) = 1 Δ det [ x 1 4 x 2 4 x 3 4 x 1 2 x 2 2 x 3 2 x 1 x 2 x 3 ] = x 1 x 2 x 3 ( x 1 + x 2 + x 3 ) {\displaystyle 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 ) = 1 Δ det [ x 1 4 x 2 4 x 3 4 x 1 3 x 2 3 x 3 3 1 1 1 ] = 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 {\displaystyle 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}} などと計算できる。 ここで、 Δ {\displaystyle \Delta } はファンデルモンド行列式である。
基本対称式の和として表すと、
s ( 2 , 1 , 1 ) = e 1 e 3 {\displaystyle s_{(2,1,1)}=e_{1}\,e_{3}} s ( 2 , 2 , 0 ) = e 2 2 − e 1 e 3 {\displaystyle 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 {\displaystyle 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 . {\displaystyle s_{(4,0,0)}=e_{1}^{4}-3\,e_{1}^{2}\,e_{2}+2\,e_{1}\,e_{3}+e_{2}^{2}.} となる。
次数4の3変数斉次対称多項式は、この4つのシューア多項式の一次結合として一意的に表示できる。例えば、
ϕ ( x 1 , x 2 , x 3 ) = x 1 4 + x 2 4 + x 3 4 {\displaystyle \phi (x_{1},x_{2},x_{3})=x_{1}^{4}+x_{2}^{4}+x_{3}^{4}} をシューア多項式の一次結合として表すと、
ϕ = s ( 2 , 1 , 1 ) − s ( 3 , 1 , 0 ) + s ( 4 , 0 , 0 ) . {\displaystyle \phi =s_{(2,1,1)}-s_{(3,1,0)}+s_{(4,0,0)}.\,\!} となる。
表現論との関係 シューア多項式は、(対称群の表現論 )や一般線形群 ・ユニタリ群 の表現論に現れる。 ワイルの指標公式 は、シューア多項式が、一般線形群の有限次元既約表現の指標に他ならないことを意味しており、シューアの結果を他の半単純コンパクトリー群 へ拡張したものと言える。
この関係を表す式はいろいろあるが、最も重要なもののひとつは、シューア多項式 s λ {\displaystyle s_{\lambda }} をべき和対称式 p k = ∑ i x i k {\displaystyle p_{k}=\sum _{i}x_{i}^{k}} で展開する式である。 χ ρ λ {\displaystyle \chi _{\rho }^{\lambda }} を、分割 λ {\displaystyle \lambda } に対応する対称群 の既約表現の指標に対する、巡回置換型が分割 ρ {\displaystyle \rho } であるような共役類 での値とする。 このとき
s λ = ∑ ρ = ( 1 r 1 , 2 r 2 , 3 r 3 , … ) χ ρ λ ∏ k p k r k r k ! , {\displaystyle s_{\lambda }=\sum _{\rho =(1^{r_{1}},2^{r_{2}},3^{r_{3}},\dots )}\chi _{\rho }^{\lambda }\prod _{k}{\frac {p_{k}^{r_{k}}}{r_{k}!}},} が成り立つ。ここで、 ρ = ( 1 r 1 , 2 r 2 , 3 r 3 , … ) {\displaystyle \rho =(1^{r_{1}},2^{r_{2}},3^{r_{3}},\dots )} とは、分割 ρ {\displaystyle \rho } に r k {\displaystyle r_{k}} 個の k {\displaystyle k} が含まれていることを意味している。
歪シューア多項式 2つの分割 λ と μ に対応する歪シューア多項式 s λ/μ は次の性質で定義される。
⟨ s λ / μ , s ν ⟩ = ⟨ s λ , s μ s ν ⟩ . {\displaystyle \langle s_{\lambda /\mu },s_{\nu }\rangle =\langle s_{\lambda },s_{\mu }s_{\nu }\rangle .}
一般化 (シューベルト多項式 )は、シューア多項式のある一般化である。
参考文献 (Macdonald, I. G. ) (1995). Symmetric functions and Hall polynomials . Oxford Mathematical Monographs (2nd ed.). The Clarendon Press Oxford University Press . ISBN (978-0-19-853489-1 ). MR 1354144. http://www.oup.com/uk/catalogue/?ci=9780198504504 Sagan, Bruce E. (2001), "Schur functions in algebraic combinatorics", in Hazewinkel, Michiel (ed.), Encyclopaedia of Mathematics , Springer, ISBN 978-1-55608-010-4 。 Bernd Sturmfels (1993). Algorithms in Invariant Theory . New York: Springer. ISBN (0-387-82445-6 )