[論文レビュー] Shifted Schur Functions

Andreĭ Okounkov, Grigori Olshanski|ArXiv.org|May 28, 1996

Algebraic structures and combinatorial models参考文献 16被引用数 211

ひとこと要約

本稿では、変数のシフトを組み込んだ一般化された古典的シュール多項式を特徴づける、$\Lambda^*$ と表記されるシフトされた対称関数の代数を導入し、その新しい基底としてシフトされたシュール関数 $s^*_{\mu}$ を定義する。これらの関数は、$U(\mathfrak{gl}(n))$ の普遍包あくり代数の中心 $Z(\mathfrak{gl}(n))$ の自然な基底をなす。著者らは、ジャコビ＝トゥルディの公式、ピエリ則、キャペリ型の恒等式といった主要な恒等式を確立し、階数 $n \to \infty$ の漸近的特性理論への応用を示す。

ABSTRACT

The classical algebra $Λ$ of symmetric functions has a remarkable deformation $Λ^*$, which we call the algebra of shifted symmetric functions. In the latter algebra, there is a distinguished basis formed by shifted Schur functions $s^*_μ$, where $μ$ ranges over the set of all partitions. The main significance of the shifted Schur functions is that they determine a natural basis in $Z(\frak{gl}(n))$, the center of the universal enveloping algebra $U(\frak{gl}(n))$, $n=1,2,\ldots$. The functions $s^*_μ$ are closely related to the factorial Schur functions introduced by Biedenharn and Louck and further studied by Macdonald and other authors. A part of our results about the functions $s^*_μ$ has natural classical analogues (combinatorial presentation, generating series, Jacobi--Trudi identity, Pieri formula). Other results are of different nature (connection with the binomial formula for characters of $GL(n)$, an explicit expression for the dimension of skew shapes $λ/μ$, Capelli--type identities, a characterization of the functions $s^*_μ$ by their vanishing properties, `coherence property', special symmetrization map $S(\frak{gl}(n)) o U(\frak{gl}(n))$. The main application that we have in mind is the asymptotic character theory for the unitary groups $U(n)$ and symmetric groups $S(n)$ as $n o\infty$. The results of this paper were used in \cite{Ok1--3}.

研究の動機と目的

• 古典的対称関数代数 $\Lambda$ の変形として、シフトされた対称関数の代数 $\Lambda^*$ を定義し、研究すること。
• 古典的シュール多項式を一般化する、$\Lambda^*$ 内の特徴的な基底としてシフトされたシュール関数 $s^*_{\mu}$ を導入すること。
• $s^*_{\mu}$ と表現論的対象、特に $U(\mathfrak{gl}(n))$ の中心 $Z(\mathfrak{gl}(n))$ 間の関係を確立すること。
• シフトされたシュール関数 $s^*_{\mu}$ に対して、組合せ論的および代数的恒等式（例：ジャコビ＝トゥルディ、ピエリ、キャペリ型）を導出し、ファクタリアルシュール多項式と関連付けること。
• $n \to \infty$ の下で、ユニタリ群 $U(n)$ および対称群 $S(n)$ の漸近的特性理論への理論の応用を示すこと。

提案手法

• 行列式による定義により、シフトされたシュール多項式を定義する：$s^*_{\mu}(x_1,\ldots,x_n) = \frac{\det[(x_i + n - i \downharpoonright \mu_j + n - j)]}{\det[(x_i + n - i \downharpoonright n - j)]}$、ここで $x \downharpoonright k$ は下降階乗を表す。
• 変数をゼロに設定しても不変である性質 $s^*_{\mu}(x_1,\ldots,x_n,0) = s^*_{\mu}(x_1,\ldots,x_n)$ を用いて、$\Lambda^*$ としてのシフトされた対称関数の代数を定義し、無限変数への極限を可能にする。
• 完全および初等的シフト関数 $h^*_r$ と $e^*_r$ 間の双対性を確立し、これらの基底の母関数を導出する。
• 古典的ケースに類似した行列式定義を用いて、$s^*_{\mu}$ に対するジャコビ＝トゥルディの恒等式を証明する。
• $h^*_r$ との乗法性を記述するピエリ型の公式を導出し、量子イマニアンツの整合性性質を証明する。
• GL(n) のキャラクターの二項定理と、スケュー形状 $\lambda/\mu$ の次元との関係を、$\Lambda(n)$ 内の双対性および内積恒等式を用いて確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的シュール関数をどのように変形することで、新たなシフトされた対称関数代数 $\Lambda^*$ を定義できるか？
• RQ2 シフトされたシュール関数 $s^*_{\mu}$ は、中心 $Z(\mathfrak{gl}(n))$ の構造において果たす役割は何か？
• RQ3 シフトされたシュール関数はファクタリアルシュール多項式 $t_\mu$ とどのように関係し、シフト形式がどのような利点を提供するか？
• RQ4 $s^*_{\mu}$ に対して成立する組合せ論的および代数的恒等式（例：ジャコビ＝トゥルディ、ピエリ、キャペリ型）は何か？ そして、それらは古典的結果をどのように一般化するか？
• RQ5 スケュー・ヤング図形 $\lambda/\mu$ の次元は、$s^*_{\lambda}(1+x_1,\ldots,1+x_n)$ の二項展開における係数としてどのように表現できるか？

主な発見

• シフトされたシュール関数 $s^*_{\mu}$ は、$U(\mathfrak{gl}(n))$ の普遍包あくり代数の中心 $Z(\mathfrak{gl}(n))$ の基底をなす。これにより、対称関数とリー代数表現論との間の自然な接続が得られる。
• $\Lambda^*$ は、$s^*_{\mu}$ の変数をゼロに設定しても不変である性質を用いて定義され、無限変数への拡張が可能となる。この性質により、シフトされた対称性 $f(x_1,\ldots,x_i,x_{i+1},\ldots) = f(x_1,\ldots,x_{i+1}-1,x_i+1,\ldots)$ が成立する。
• シフトされたシュール関数 $s^*_{\mu}$ に対して、ジャコビ＝トゥルディの恒等式が $s^*_{\mu} = \det[(x_i + n - i \downharpoonright \mu_j + n - j)] / \det[(x_i + n - i \downharpoonright n - j)]$ の形で確立され、古典的行列式公式が一般化される。
• スケュー形状 $\lambda/\mu$ の次元は、$s^*_{\lambda}(1 + x_1, \ldots, 1 + x_n)$ の二項展開における係数として現れ、具体的には $\dim \lambda/\mu = \frac{\langle s^*_{\lambda}, s^*_{\lambda} \rangle}{(|\lambda| - |\mu|)! \langle s^*_{\mu}, s^*_{\mu} \rangle} \cdot [\text{係数}]$ として与えられる。この関係により、表現論と組合せ論の間の接続が確立される。
• シュール＝ウェイル双対性に対して、キャペリ型の恒等式が導出され、特定の微分作用素が量子イマニアンツと同じ固有値で $\Lambda^*$ 上に作用することを示す。
• 関数 $s^*_{\mu}$ は、その零点性質および量子イマニアンツの整合性性質によって特徴づけられ、これにより異なる $n$ に対して一貫性が保証される。