[論文レビュー] Frobenius-Schur functions: summary of results

Grigori Olshanski, Amitai Regev+1 more|ArXiv.org|Mar 5, 2000

Algebraic structures and combinatorial models参考文献 21被引用数 3

ひとこと要約

この論文は、シュール関数を一般化する新しい非同次対称関数族、Frobenius–Schur関数を導入する。この関数族は、Frobenius座標を用いて斜交ヤング図形の次元に対する明示的な行列式公式を提供する。主な貢献は、これらの関数に対する単純な行列式表現であり、組合せ論的、母関数、Giambelli、Sergeev–Pragacz型の公式がすべて、より広い多パrameterシュール関数のクラスへと拡張可能である。

ABSTRACT

We introduce and study a family of inhomogeneous symmetric functions which we call the Frobenius-Schur functions. These functions are indexed by partitions and differ from the conventional Schur functions in lower terms only. Our interest in these new functions comes from the fact that they provide an explicit expression for the dimension of a skew Young diagram in terms of the Frobenius coordinates. This is important for the asymptotic theory of the characters of the symmetric groups. Our main result is a surprisingly simple determinantal expression of the Frobenius-Schur functions in terms of the conventional Schur functions. Other results include certain generating series, the Giambelli formula, vanishing properties and interpolation, a combinatorial formula (representation in terms of tableaux), and a Sergeev-Pragacz-type formula. Actually, we deal with a wider class of inhomogeneous symmetric functions which we call multiparameter Schur functions. These functions depend on an arbitrary doubly infinite sequence of parameters and interpolate between the Frobenius--Schur functions and the conventional Schur functions. This paper contains the statements of the results and the main formulas. Proofs will be given in an expanded version of the paper which will be posted in the arXiv.

研究の動機と目的

• Frobenius–Schur関数と呼ばれる、シュール関数を一般化する新しい非同次対称関数のクラスを定義し、研究すること。
• 対称群の漸近的特徴理論における未解決問題を解決するため、νのFrobenius座標を用いてdim(ν/μ)の明示的表現を提供すること。
• これらの関数に対する行列式公式を確立し、対称関数論における既知の結果を拡張すること。
• 特定のパrameter選択においてFrobenius–Schur関数に還元される多パrameterシュール関数sμ;aへの枠組みの一般化。
• 組合せ論的、母関数、補間公式の開発を図り、新関数に対してSergeev–Pragacz型の公式を証明すること。

提案手法

• Frobenius–Schur関数FSμは、シュール関数sμと下位次数の項を除き同一の非同次対称関数として定義される。
• 関数はパラメータ化された族sμ;a（aは二重無限列）を介して構成され、FSμはa_i = i - 1/2という特定の選択に対応する。
• 超対称関数の構造と、ピューリー和の特殊化による対称関数と超対称関数の間の同型を用いて、行列式公式が導出される。
• 対角厳密テーブルックスを用いた組合せ論的公式が確立され、各テーブルックスの各レベルkにおける各エントリは、その前像の斜交形状に対応する因子fν;a(x,y)を寄与する。
• Sergeev–Pragacz型の公式は、S_n × S_nにおける反対称化と、x_i, y_j, および(x_i + y_j)の積を含む有理関数gμ;aを用いたWeyl型の特徴式を介して証明される。
• この枠組みは対合ωと整合的であり、Ivanovの研究を踏まえて、結果はシュールのQ関数へと拡張可能である。

実験結果

リサーチクエスチョン

• RQ1 斜交ヤング図形ν/μの次元は、νのFrobenius座標を用いてどのように明示的に表現できるか？
• RQ2 シュール関数と斜交図形の次元の間を補間する新しい非同次対称関数のクラスの構造は何か？
• RQ3 既知の対称関数論における公式を一般化する、これらの関数に対する行列式公式を導出可能か？
• RQ4 多パrameterシュール関数sμ;aは、組合せ論的、母関数的、補間的構成においてどのように振る舞うか？
• RQ5 この新しい関数クラスに対してSergeev–Pragacz公式の類似物は何か？そして、古典的ケースにどのように還元されるか？

主な発見

• Frobenius–Schur関数FSμは、νのFrobenius座標を用いてdim(ν/μ)の行列式表現を提供し、対称群の漸近的特徴理論における問題を解決する。
• 定理9で示されるように、従来のシュール関数を用いた、FSμに対する単純な行列式公式が確立された。
• 組合せ論的公式が証明された：sμ;a(x;y)は、形状μのすべての対角厳密テーブルックスの和として、各テーブルックスレベルkにおけるfν;a(x_k,y_k)の積の和に等しい。
• sμ;a(x;y)に対して、(x_i|a)^{μ_i - i}, (y_i| frac{1}{2}a)^{μ'_i - i}, および(x_i + y_j)の積を含む反対称化有理関数を用いたSergeev–Pragacz型の公式が導出された。
• a ≡ 0のとき、この公式はシュール関数の古典的Sergeev–Pragacz公式に還元される。
• 結果はシュールのQ関数へと拡張可能であり、Vladimir Ivanovの研究に基づき、類似の公式が確立された。