[论文解读] 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))$ 提供了自然基，并且作者建立了关键恒等式——如雅可比-特鲁迪公式、皮耶里法则和卡佩利型恒等式——并通过二项式定理和斜形的维数公式，将它们与 $U(n)$ 和 $S(n)$ 的特征理论联系起来。

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}$ 的组合与代数恒等式（如雅可比-特鲁迪、皮耶里、卡佩利型恒等式），并将其与阶乘施温多项式关联。
• 将该理论应用于单位群 $U(n)$ 和对称群 $S(n)$ 在 $n \to \infty$ 时的渐近特征理论。

提出的方法

• 通过行列式公式定义移位施温多项式：$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}$ 的雅可比-特鲁迪恒等式，其形式与经典情况类似。
• 推导 $s^*_{\mu}$ 的皮耶里型公式，描述其与 $h^*_r$ 的乘法关系，并证明量子特征标的一致性性质。
• 通过 $\Lambda(n)$ 中的对偶性与内积恒等式，将 $GL(n)$ 特征的二项式公式与斜形 $\lambda/\mu$ 的维数联系起来。

实验结果

研究问题

• 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$ 下的一致性。