[论文解读] A Pieri-type formula for $K$-$k$-Schur functions and a factorization formula

Motoki Takigiku|arXiv (Cornell University)|Feb 18, 2018

Advanced Combinatorial Mathematics被引用 1

一句话总结

本文为在 $k$-有界分拆的强Bruhat序中，主序理想上 $K$-$k$-Schur 函数之和提出了一类Pieri型公式，记为 $\widetilde{g}^{(k)}_{\lambda}$。此外，还建立了类似于已知 $k$-Schur 函数因子分解的 $k$-矩形因子分解公式 $\widetilde{g}^{(k)}_{R_t\cup\lambda} = \widetilde{g}^{(k)}_{R_t} \widetilde{g}^{(k)}_{\lambda}$。

ABSTRACT

We give a Pieri-type formula for the sum of $K$-$k$-Schur functions $\sum_{\mu\le\lambda} g^{(k)}_{\mu}$ over a principal order ideal of the poset of $k$-bounded partitions under the strong Bruhat order, which sum we denote by $\widetilde{g}^{(k)}_{\lambda}$. As an application of this, we also give a $k$-rectangle factorization formula $\widetilde{g}^{(k)}_{R_t\cup\lambda}=\widetilde{g}^{(k)}_{R_t} \widetilde{g}^{(k)}_{\lambda}$ where $R_t=(t^{k+1-t})$, analogous to that of $k$-Schur functions $s^{(k)}_{R_t\cup\lambda}=s^{(k)}_{R_t}s^{(k)}_{\lambda}$.

研究动机与目标

• 为 $k$-有界分拆的强Bruhat序中主序理想上 $K$-$k$-Schur 函数之和建立Pieri型公式。
• 将已知的 $k$-Schur 函数因子分解性质推广至 $K$-$k$-Schur 设置。
• 在 $k$-矩形构造下，为 $\widetilde{g}^{(k)}_{\lambda}$（定义为 $\sum_{\mu \leq \lambda} g^{(k)}_{\mu}$）建立乘法结构。
• 在 $K$-理论设置中，提供类似于 $k$-Schur 函数因子分解 $s^{(k)}_{R_t \cup \lambda} = s^{(k)}_{R_t} s^{(k)}_{\lambda}$ 的结构公式。

提出的方法

• 作者定义 $\widetilde{g}^{(k)}_{\lambda} = \sum_{\mu \leq \lambda} g^{(k)}_{\mu}$，其中求和范围为在强Bruhat序中小于或等于 $\lambda$ 的 $k$-有界分拆 $\mu$。
• 他们推导出 $\widetilde{g}^{(k)}_{\lambda}$ 的Pieri型公式，描述了 $\widetilde{g}^{(k)}_{\lambda}$ 与基本对称函数乘积的表达式，其结果以特定 $K$-$k$-Schur 函数之和的形式表示。
• 关键技术步骤涉及分析 $k$-有界分拆格中强序理想的结构及其与 $K$-$k$-Schur 函数的相互作用。
• 他们引入 $k$-矩形 $R_t = (t^{k+1-t})$，并证明 $\widetilde{g}^{(k)}_{R_t \cup \lambda} = \widetilde{g}^{(k)}_{R_t} \widetilde{g}^{(k)}_{\lambda}$，将已知的 $k$-Schur 因子分解推广至 $K$-理论情形。
• 证明依赖于 $k$-有界分拆的组合性质以及 $K$-$k$-Schur 函数在 $k$-矩形操作下的稳定性。
• 通过验证乘积结构与 $k$-有界分拆偏序集中序理想的和一致，证明了因子分解成立。

实验结果

研究问题

• RQ1 如何为 $k$-有界分拆中强序理想的和 $\widetilde{g}^{(k)}_{\lambda} = \sum_{\mu \leq \lambda} g^{(k)}_{\mu}$ 构造Pieri型公式？
• RQ2 在 $K$-$k$-Schur 设置中，$k$-矩形构造 $R_t = (t^{k+1-t})$ 是否保持类似于 $k$-Schur 函数情形的乘法因子分解性质？
• RQ3 能否通过一个组合规则来描述 $\widetilde{g}^{(k)}_{\lambda}$ 的结构，使其类似于Schur函数的Pieri规则？
• RQ4 是否存在对 $k$-Schur 因子分解 $s^{(k)}_{R_t \cup \lambda} = s^{(k)}_{R_t} s^{(k)}_{\lambda}$ 在 $K$-理论 $K$-$k$-Schur 函数中的自然推广？
• RQ5 强Bruhat序在组织和 $\widetilde{g}^{(k)}_{\lambda}$ 中起什么作用？它如何影响因子分解性质？

主要发现

• 建立了 $\widetilde{g}^{(k)}_{\lambda}$ 的Pieri型公式，描述了 $\widetilde{g}^{(k)}_{\lambda}$ 与基本对称函数乘积的表达式，其结果以 $K$-$k$-Schur 函数之和的形式表示。
• 和 $\widetilde{g}^{(k)}_{\lambda}$ 满足 $k$-矩形因子分解：$\widetilde{g}^{(k)}_{R_t \cup \lambda} = \widetilde{g}^{(k)}_{R_t} \widetilde{g}^{(k)}_{\lambda}$，其中 $R_t = (t^{k+1-t})$。
• 该因子分解类似于已知的 $k$-Schur 函数恒等式 $s^{(k)}_{R_t \cup \lambda} = s^{(k)}_{R_t} s^{(k)}_{\lambda}$，并将其推广至 $K$-理论设置。
• 结果表明，$K$-$k$-Schur 函数在 $k$-矩形操作下表现出乘法结构，其行为与 $k$-Schur 函数 counterparts 相似。
• 因子分解之所以成立，是因为强序理想与 $k$-矩形加法在 $k$-有界分拆格中的兼容性。
• 本文为 $\widetilde{g}^{(k)}_{\lambda}$ 提供了一个结构框架，支持在仿射Schubert微分几何背景下进一步研究 $K$-理论Schur函数。