[論文レビュー] The Dimension of Skew Shifted Young Diagrams, and Projective Characters of the Infinite Symmetric Group

Vladimir Ivanov|ArXiv.org|Mar 13, 2003

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

ひとこと要約

本稿では、t = -1 における階乗 Hall–Littlewood 多項式を用いて、ねじれシフトヤング図の次元の公式を導出し、それを用いて無限対称群 S(∞) の射影的特徴の分類について新しい証明を与える。主な結果は、射影的特徴が ∑γᵢ ≤ 1 かつ γ₁ ≥ γ₂ ≥ ⋯ ≥ 0 を満たす非負実数列 (γ₁ ≥ γ₂ ≥ ⋯ ≥ 0) によってパラメトライズされることを示しており、これは奇数部のみからなる分割に関連する正規化特徴の極限を通じて得られる。

ABSTRACT

Classical Schur P-functions are the particular case of Hall-Littlewood polynomials when the parameter is equal to -1. We introduce factorial (interpolation) analogues of Schur P-functions. A dimension of a skew shifted Young diagram is the number of standard tableaux of the given shape. Also these numbers are equal up to simple factors to the decomposition coefficients of the restriction of an irreducible representation of a spin-symmetric group to a smaller spin-symmetric group. In terms of the factorial Schur P-functions we obtain an explicit formula for the dimension of a skew shifted Young diagram. The main application of this formula is the new derivation of Nazarov's classification of undecomposable projective characters of the infinite symmetric group.

研究の動機と目的

• ねじれシフトヤング図の次元（標準テーブルックスの個数）に対する閉形式の公式を導出すること。
• t = -1 における階乗 Hall–Littlewood 多項式の類似物としての多項式 P*μ を導入・研究し、これを主要な道具とする。
• 次元の公式を用いて、無限対称群 S(∞) の射影的特徴の分類を再証明し、Thoma の古典的結果を射影的設定に拡張すること。
• 超対称関数および対称関数論の手法を用いて、Nazarov の射影的特徴の分類について、自己完結的な新しい証明を提供すること。

提案手法

• 切断写像による射影極限として、超対称多項式の代数 Ω を定義する。
• Okounkov の構成をインspired に、t = -1 における階乗 Hall–Littlewood 多項式の類似物として多項式 P*μ を導入する。
• バテーユ多項式と有理関数を用いた対称和構成を用いて、ねじれシフト図の次元の公式を導出する。
• ねじれシフト図の次元と S(∞) の射影的特徴の代数の構造定数との関係を確立する。
• n → ∞ のときの正規化特徴 χ*λ(n) の漸近的挙動を分析し、固定された奇数部の分割 ρ に対する比 χ*λ(n)(tρ)/χ*λ(n)(e) の極限に注目する。
• 部分分割 λ(n) ⊢ n の部のべき和の極限 pₘ(γ) = limₙ→∞ pₘ(λ(n))/nᵐ を用いて、無分解可能な射影的特徴 ψγ を生成関数 ∏ᵢ≥₂ pᵢ(γ)^mᵢ(ρ) ⋅ 2^{(l(ρ)−|ρ|)/2} を通じてパラメトライズする。

実験結果

リサーチクエスチョン

• RQ1 ねじれシフトヤング図上の標準テーブルックスの個数、すなわちその次元に対する明示的公式は何か？
• RQ2 t = -1 における階乗 Hall–Littlewood 多項式は、この次元を計算するためにどのように用いることができるか？
• RQ3 n → ∞ のときの S(n) の正規化射影的特徴の漸近的挙動は何か？ そしてそれは S(∞) の射影的特徴の分類にどのように関係するか？
• RQ4 部分分割 λ(n) ⊢ n の部のべき和の極限は、S(∞) の無分解可能な射影的特徴の分類とどのように関係するか？
• RQ5 非負実数列 (γ₁, γ₂, …) が S(∞) の無分解可能な射影的特徴をパラメトライズするためには、どのような条件を満たす必要があるか？

主な発見

• ねじれシフトヤング図の次元は、t = -1 における階乗 Hall–Littlewood 多項式の類似物 P*μ を含む公式で与えられる。
• n → ∞ のときの正規化特徴 χ*λ(n)(tρ)/χ*λ(n)(e) の極限は、ρ が奇数部からなる分割のとき 2^{(l(ρ)−|ρ|)/2} ∏ᵢ≥₂ pᵢ(γ)^mᵢ(ρ) に等しく、そうでないときは 0 に等しい。
• 極限特徴 ψγ が S(∞) の無分解可能な射影的特徴であるための必要十分条件は、(γ₁, γ₂, …) が ∑ᵢ γᵢ ≤ 1 かつ γ₁ ≥ γ₂ ≥ ⋯ ≥ 0 を満たす非負実数列であることである。
• S(∞) の無分解可能な射影的特徉のパラメトライズは、このような列 (γᵢ) と一対一対応し、特徴 ψγ は奇数のべき和 p₃(γ), p₅(γ), … によって決定される。
• S(∞) の射影的特徴の分類は、∑ᵢ γᵢ ≤ 1 かつ γᵢ ≥ γᵢ₊₁ ≥ 0 を満たす列 (γᵢ) の分類と同値であり、特徴は ρ の偶数部を持つ要素で消える。
• 本結果は、超対称関数論および対称関数の漸近的解析を用いて、Nazarov の S(∞) の射影的特徴の分類に対する新しい証明を提供する。