[论文解读] 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 functions），这是一种新的非齐次对称函数族，它推广了施瓦茨函数，并通过弗罗贝尼乌斯坐标给出了斜杨图维数的显式行列式公式。主要贡献在于这些函数的简单行列式表达式，以及组合公式、生成函数系列、吉安贝利公式和塞尔杰夫–普拉加齐型公式，所有这些都推广到了更广泛的多参数施瓦茨函数类。

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.

研究动机与目标

• 定义并研究弗罗贝尼乌斯–施瓦茨函数，这是一种新的非齐次对称函数类，它推广了施瓦茨函数。
• 以ν的弗罗贝尼乌斯坐标表达dim(ν/μ)的显式公式，解决对称群渐近特征理论中的一个问题。
• 为这些函数建立行列式公式，推广对称函数理论中的已知结果。
• 将框架推广至多参数施瓦茨函数sμ;a，当特定参数取值时，其退化为弗罗贝尼乌斯–施瓦茨函数。
• 开发组合公式、生成函数系列和插值公式，并证明该新函数的塞尔杰夫–普拉加齐型公式。

提出的方法

• 弗罗贝尼乌斯–施瓦茨函数FSμ被定义为仅在低次项上与施瓦茨函数sμ不同的非齐次对称函数。
• 通过参数化族sμ;a构造这些函数，其中a为双无限序列；FSμ对应于特定选择a_i = i - 1/2。
• 利用超对称函数的结构以及通过幂和特化实现的对称函数与超对称函数之间的同构关系，推导出行列式公式。
• 通过使用对角严格表（diagonal-strict tableaux），建立组合公式，其中每个表元贡献一个因子fν;a(x,y)，对应于其原像的斜形。
• 通过Weyl型特征公式证明塞尔杰夫–普拉加齐型公式，涉及对S_n × S_n的反对称化，以及一个包含x_i、y_j和(x_i + y_j)乘积的有理函数gμ;a。
• 证明该框架与对合ω相容，并通过Ivanov的工作将结果扩展至施瓦茨的Q-函数。

实验结果

研究问题

• RQ1 如何以ν的弗罗贝尼乌斯坐标显式表达斜杨图ν/μ的维数？
• RQ2 一类在施瓦茨函数与斜图维数之间插值的新非齐次对称函数的结构是什么？
• RQ3 能否为这些函数推导出一个推广对称函数理论中已知公式的行列式公式？
• RQ4 多参数施瓦茨函数sμ;a在组合、生成函数系列和插值构造下的行为如何？
• RQ5 该新函数类的塞尔杰夫–普拉加齐公式的类比是什么？它如何退化为经典情形？

主要发现

• 弗罗贝尼乌斯–施瓦茨函数FSμ通过ν的弗罗贝尼乌斯坐标提供了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)乘积的反对称化有理函数。
• 当a ≡ 0时，该公式退化为施瓦茨函数的经典塞尔杰夫–普拉加齐公式。
• 结果可扩展至施瓦茨的Q-函数，由Vladimir Ivanov建立了类似公式。