[论文解读] 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(∞) 的投影特征标分类的全新证明。关键结果表明，投影特征标由非负实数序列 (γ₁ ≥ γ₂ ≥ ⋯ ≥ 0) 参数化，且 ∑γᵢ ≤ 1，通过仅含奇数部分的分拆所关联的归一化特征标的极限实现。

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.

研究动机与目标

• 推导出斜移杨图维度的闭式公式，即标准表的个数。
• 引入并研究多项式 P*μ，作为 t = -1 处 Hall–Littlewood 多项式的阶乘类比，作为关键工具。
• 将维度公式应用于重新证明无限对称群 S(∞) 的投影特征标分类，将 Thoma 的经典结果推广至投影情形。
• 通过超对称函数与对称函数理论的方法，提供 Nazarov 对 S(∞) 的投影特征标分类的全新、自包含的证明。

提出的方法

• 将超对称函数代数 Ω 定义为在截断映射下，超对称多项式代数的投射极限。
• 通过 Okounkov 启发的构造，将多项式 P*μ 定义为 t = -1 处 Hall–Littlewood 多项式的阶乘类比。
• 利用范德蒙德行列式与有理函数的对称和构造，推导出斜移图的维度公式。
• 建立斜移图维度与 S(∞) 的投影特征标代数结构常数之间的联系。
• 分析归一化特征标 χ*λ(n) 在 n → ∞ 时的渐近行为，重点关注固定分拆 ρ（仅含奇数部分）的比值 χ*λ(n)(tρ)/χ*λ(n)(e) 的极限。
• 利用部分分拆 λ(n) 的幂和极限 pₘ(γ) = limₙ→∞ pₘ(λ(n))/nᵐ，通过生成函数 ∏ᵢ≥₂ pᵢ(γ)^mᵢ(ρ) ⋅ 2^{(l(ρ)−|ρ|)/2} 参数化不可约投影特征标 ψγ。

实验结果

研究问题

• RQ1 斜移杨图上标准表的个数（即其维度）的显式公式是什么？
• RQ2 t = -1 处的阶乘 Hall–Littlewood 多项式如何用于计算该维度？
• RQ3 当 n → ∞ 时，S(n) 的归一化投影特征标的渐近行为如何？它如何对 S(∞) 的投影特征标进行分类？
• RQ4 分拆 λ(n) 的部分的幂和极限如何与 S(∞) 的不可约投影特征标的分类相关？
• RQ5 非负实数序列 (γ₁, γ₂, …) 需满足何种条件，才能参数化 S(∞) 的一个不可约投影特征标？

主要发现

• 斜移杨图的维度由涉及 P*μ 的公式给出，P*μ 是 t = -1 处 Hall–Littlewood 多项式的阶乘类比。
• 当 n → ∞ 时，归一化特征标 χ*λ(n)(tρ)/χ*λ(n)(e) 的极限存在，且当 ρ 为仅含奇数部分的分拆时，其值为 2^{(l(ρ)−|ρ|)/2} ∏ᵢ≥₂ pᵢ(γ)^mᵢ(ρ)，否则为 0。
• 极限特征标 ψγ 是 S(∞) 的不可约投影特征标，当且仅当 (γ₁, γ₂, …) 是满足 ∑ᵢ γᵢ ≤ 1 且 γ₁ ≥ γ₂ ≥ ⋯ ≥ 0 的非负实数序列。
• S(∞) 的不可约投影特征标的参数化与此类序列 (γᵢ) 之间存在双射关系，其中特征标 ψγ 由奇数幂和 p₃(γ), p₅(γ), … 决定。
• S(∞) 的投影特征标分类等价于满足 ∑ᵢ γᵢ ≤ 1 且 γᵢ ≥ γᵢ₊₁ ≥ 0 的序列 (γᵢ) 的分类，且特征标在 ρ 中含偶数部分的元素 tρ 上消失。
• 该结果通过超对称函数理论与对称函数渐近分析，为 Nazarov 对 S(∞) 投影特征标的分类提供了全新证明。