[论文解读] Set-Valued Skyline Fillings

Cara Monical|arXiv (Cornell University)|Nov 27, 2016

Consumer Market Behavior and Pricing参考文献 13被引用 21

一句话总结

本文引入了集合值的天际线填充作为Demazure原子的K-理论类比，统一了格罗滕迪克多项式与关键多项式的组合模型。通过这些填充的生成函数定义了组合Lascoux原子，并证明了格罗滕迪克多项式 $G_\lambda$ 可分解为具有相同分拆形状的这些原子之和，推广了经典Schur函数分解的结果。

ABSTRACT

Set-valued tableaux play an important role in combinatorial $K$-theory. Separately, semistandard skyline fillings are a combinatorial model for Demazure atoms and key polynomials. We unify these two concepts by defining a set-valued extension of semistandard skyline fillings and then give analogues of results of J. Haglund, K. Luoto, S. Mason, and S. van Willigenberg. Additionally, we give a bijection between set-valued semistandard Young tableaux and C. Lenart's Schur expansion of the Grothendieck polynomial $G_λ$, using the uncrowding operator of V. Reiner, B. Tenner, and A. Yong.

研究动机与目标

• 将集合值杨表与半标准天际线填充统一到K-理论的单一组合框架中。
• 利用集合值天际线填充定义Demazure原子的K-类比。
• 将普通天际线填充的结果推广到这一新的集合值设定中。
• 建立格罗滕迪克多项式 $G_\lambda$ 关于新组合Lascoux原子 $L_\gamma$ 的分解。

提出的方法

• 定义具有锚点和自由条目的半标准集合值天际线填充，满足列内单射性、通过最小-最大比较实现的非增行，以及锚点条目上的反演三元组条件。
• 引入单项式 $x_F$ 和权 $\beta^{|F| - |\gamma|}$，定义生成函数 $L_\gamma = \sum_{F \in \text{SetSkyFill}(\gamma)} \beta^{|F| - |\gamma|} x_F$。
• 证明 $G_\lambda = \sum_{\lambda(\gamma) = \lambda} L_\gamma$，推广了经典Schur函数分解为Demazure原子的形式。
• 使用Reiner、Tenner和Yong的去拥挤算子，建立集合值半标准杨表与新填充之间的双射。
• 猜想 $L_\gamma$ 与通过修正Demazure算子定义的Lascoux多项式原子 $\hat{L}_\gamma$ 相等。
• 通过具有大基底的反向格点基因型半标准天际线填充，将Littlewood-Richardson法则推广至 $L_\gamma \cdot G_\lambda$。

实验结果

研究问题

• RQ1 能否利用集合值天际线填充构造Demazure原子的K-理论类比？
• RQ2 对于新组合Lascoux原子 $L_\gamma$，分解式 $G_\lambda = \sum_{\lambda(\gamma) = \lambda} L_\gamma$ 是否成立？
• RQ3 是否存在类似于Demazure原子Littlewood-Richardson法则的组合规则，用于乘积 $L_\gamma \cdot G_\lambda$？
• RQ4 算子 $\hat{\tau}_i$ 是否满足 $\hat{\tau}_i^2 = -\hat{\tau}_i$，从而支持 $\hat{L}_\gamma$ 的猜想代数定义？
• RQ5 能否将 $G_\lambda \cdot A_\gamma$ 的基因型杨表法则推广至 $L_\gamma \cdot G_\lambda$？

主要发现

• 格罗滕迪克多项式 $G_\lambda$ 可分解为 $\sum_{\lambda(\gamma) = \lambda} L_\gamma$，其中 $L_\gamma$ 是形状为 $\gamma$ 的半标准集合值天际线填充的生成函数。
• 组合Lascoux原子 $L_\gamma$ 是Demazure原子 $A_\gamma$ 的非齐次变形，在 $\beta = 0$ 时恢复为 $A_\gamma$。
• 通过去拥挤算子建立了集合值半标准杨表与集合值天际线填充之间的双射。
• 拟对称格罗滕迪克函数 $G_\alpha$ 定义为 $\sum_{\gamma+ = \alpha} L_\gamma$，推广了拟对称Schur函数。
• 猜想5.2提出 $L_\gamma = \sum_{F \in \text{SetSkyFill}(\gamma)} \beta^{|F| - |\gamma|} x_F$，与代数Lascoux原子 $\hat{L}_\gamma$ 匹配。
• 猜想5.4提出 $L_\gamma \cdot G_\lambda = \sum_{\delta} \tilde{a}^{\delta}_{\gamma,\lambda} L_\delta$，其中 $\tilde{a}^{\delta}_{\gamma,\lambda}$ 计数形状为 $\delta/\gamma$、具有大基底和内容 $\lambda^*$ 的反向格点基因型半标准天际线填充。