[論文レビュー] An Introduction to Schur Polynomials

Amritanshu Prasad|arXiv (Cornell University)|Feb 16, 2018

Advanced Combinatorial Mathematics参考文献 7被引用数 6

ひとこと要約

この論文は、シュール多項式の代数的基盤、組合せ的解釈、および対称関数、表現論、ヤング盤との関係に焦点を当て、シュール多項式について包括的な紹介を提供する。主にロビンソン＝シェンステッド＝クヌース対応とプレアック・モノイドを用いて、リトルウッド＝リチャードソン則を確立し、盤と挿入アルゴリズムを用いてスケーブド・シュール多項式およびコスタ数の展開を導出する。

ABSTRACT

Notes from a course at the ATM Workshop on Schubert Varieties, held at The Institute of Mathematical Sciences, Chennai, in November 2017. Various expansions of Schur functions, the Lindström-Gessel-Viennot lemma, semistandard Young tableaux, Schensted's insertion algorithm, the plactic monoid, the RSK correspondence, and the Littlewood-Richardson rule are discussed.

研究の動機と目的

• シュール多項式とその対称関数論における役割について、自己完結的で教育的な導入を提供すること。
• 組合せ的構成を通じて、シュール多項式、ヤング盤、およびプレアック・モノイドの間の関係を確立すること。
• RSK対応とヤマノウチ語を用いて、リトルウッド＝リチャードソン則を導出し、証明すること。
• ラベル付きアバシとリンストローム＝ゲゼル＝ビアンノットの補題を通じて、代数的恒等式（例：ジャコビ＝トゥルディ、ジアムベリ）と組合せ的解釈を統合すること。
• 整数行列によるリトルウッド＝リチャードソン則の新規またはあまり知られていない証明法、およびRSKとその双対の定義といった、新しい視点を提示すること。

提案手法

• 同次対称多項式の基底として単項対称多項式を用い、基本対称多項式および完全対称多項式に関する展開を導出する。
• 交代多項式およびバーデルモンド行列式の理論を適用し、シュール多項式を交代式の比として定義する。
• ロビンソン＝シェンステッド＝クヌース（RSK）対応およびその双対を用いて、語、盤、シュール多項式を結びつける。
• プレアック・モノイドとクヌース同値関係を導入し、語の同値類によってシュール多項式を特徴付ける。
• リンストローム＝ゲゼル＝ビアンノット（LGV）補題を用いて、ジャコビ＝トゥルディの恒等式およびジアムベリの公式を組合せ的に証明する。
• ヤマノウチ語を定義し、それを用いてリトルウッド＝リチャードソン係数を、ヤマノウチ語の読み方を持つ半標準盤の個数として特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 シュール多項式は、対称多項式および交代多項式からどのように体系的に構成できるか？
• RQ2 スケーブド・シュール多項式の展開におけるリトルウッド＝リチャードソン係数の組合せ的意味は何か？
• RQ3 RSK対応およびプレアック・モノイドは、語、盤、シュール関数の間をどのようにつなぐか？
• RQ4 LGV補題は、ジャコビ＝トゥルディの恒等式およびジアムベリの公式の証明において果たす役割は何か？
• RQ5 整数行列とクヌース関係を用いることで、リトルウッド＝リチャードソン則の新しい証明が得られるか？

主な発見

• シュール多項式 $ s_ u $ は、交代多項式をバーデルモンド行列式で割ったものとして定義され、対称的かつ次数 $ | u| $ の同次多項式である。
• リトルウッド＝リチャードソン係数 $ c^{ u}_{eta heta} $ は、スケーブド・シェイプ $ u/eta $ とタイプ $ heta $ の半標準盤で、読み方の語がヤマノウチ語であるものの個数を数える。
• 積 $ s_eta s_ heta $ のシュール基底における展開は $ extstyle ext{sum}_{ u} c^{ u}_{eta heta} s_ u $ で与えられ、係数は組合せ的に決定される。
• スケーブド・シュール多項式 $ s_{ u/eta} $ は $ extstyle ext{sum}_{ heta} c^{ u}_{eta heta} s_ heta $ として展開され、スケーブド形状に対するリトルウッド＝リチャードソン則が確認される。
• コスタ数 $ K_{ u/eta, heta} $ は再帰的関係 $ K_{ u/eta, heta} = extstyle ext{sum}_{ heta'} c^{ u}_{eta heta'} K_{ heta', heta} $ を満たし、スケーブド・ディスクとシュール関数を結びつける。
• 非負整数成分および0-1成分の整数行列を用いることで、$ h_ u $ および $ e_ u $ の単項対称基底における展開が組合せ的に解釈できる。