[论文解读] Tensor product of Kraśkiewicz and Pragacz's modules

Masaki Watanabe|arXiv (Cornell University)|Oct 29, 2014

Advanced Combinatorial Mathematics参考文献 1被引用 4

一句话总结

本文证明了任意两个Kraśkiewicz-Pragacz (KP) 模的张量积都存在KP模的滤子，从而在模理论层面实现了经典正性性质的实现：即Schubert多项式的乘积是Schubert多项式的正系数和。该结果通过归纳法与Ext群消失的论证方法证明，并应用于Schur函子及Schubert多项式结构常数的研究。

ABSTRACT

This paper explores further properties of modules related with Schubert polynomials, introduced by Kraśkiewicz and Pragacz. In this paper we show that any tensor product of Kraśkiewicz-Pragacz modules admits a filtration by Kraśkiewicz-Pragacz modules. This result can be seen as a module-theoretic counterpart of a classical result that the product of Schubert polynomials is a positive sum of Schubert polynomials.

研究动机与目标

• 建立Schubert多项式乘积为Schubert多项式正系数和这一经典事实的模理论对应物。
• 解决Kraśkiewicz与Pragacz提出的问题：涉及基本模 $\mathcal{S}_{s_\nu}$ 的张量积是否具有KP滤子。
• 将该结果推广至一般张量积 $\mathcal{S}_w \otimes \mathcal{S}_v$，并导出Schubert演算中的新正性结果。

提出的方法

• 利用Monk公式证明特殊情况，通过归纳法与Ext群消失性说明 $\mathcal{S}_w \otimes \mathcal{S}_{s_\nu}$ 存在KP滤子。
• 利用 $T_w = \bigotimes_{2\leq i\leq n} \bigotimes^{l_i(w)} \mathcal{S}_{s_{i-1}}$ 的特征公式分析滤子中的子商模。
• 在 $H_N$ 上应用双线性型以计算 $T_w$ 的特征中 $n_{wu}$ 的系数，将其与逆排列的字典序关联。
• 利用文献[3, 命题5.4]中关于Ext群消失与权条件的结果，证明当 $u^{-1} \underset{\mathrm{lex}}{>} w^{-1}$ 时有 $\mathrm{Ext}^1(\mathcal{S}_w, \mathcal{S}_u) = 0$。
• 对 $w$ 使用归纳法，并利用正合列 $0 \to \mathcal{S}_w \otimes \mathcal{S}_v \to T_w \otimes \mathcal{S}_v \to N \otimes \mathcal{S}_v \to 0$ 提升滤子结构。
• 应用推论2.6(2)得出：若外层模具有KP滤子，则中间模也具有KP滤子。

实验结果

研究问题

• RQ1 Kraśkiewicz-Pragacz模的张量积 $\mathcal{S}_w \otimes \mathcal{S}_v$ 是否存在KP模的滤子？
• RQ2 Schubert多项式乘积的经典正性是否可在 $\mathfrak{b}$-模范畴中实现？
• RQ3 $\mathcal{S}_w \otimes \mathcal{S}_v$ 的结构在子商模与扩张意义下如何？
• RQ4 Ext群 $\mathrm{Ext}^1(\mathcal{S}_w, \mathcal{S}_u)$ 如何限制张量积可能的滤子结构？

主要发现

• 对所有 $w,v \in S_\infty^{(n)}$，张量积 $\mathcal{S}_w \otimes \mathcal{S}_v$ 存在KP滤子，从而建立了Schubert多项式正性在模理论中的类比。
• $T_w$ 的KP滤子中 $\mathcal{S}_u$ 的系数 $n_{wu}$ 等于 $\mathfrak{S}_{uw_0}$ 中 $x^{\mathrm{inv}(ww_0)}$ 的系数，该系数仅在 $w^{-1} \underset{\mathrm{lex}}{\leq} u^{-1}$ 时非零。
• $\mathcal{S}_w$ 作为子模在 $T_w$ 中的重数为1，且所有其他子商模 $\mathcal{S}_u$ 均满足 $u^{-1} \underset{\mathrm{lex}}{>} w^{-1}$。
• 该结果表明 $s_\lambda(\mathcal{S}_w)$ 具有KP滤子，因此 $s_\lambda(x^\alpha, x^\beta, \dots)$ 是Schubert多项式的正系数和。
• 在Schubert基下 $\mathfrak{S}_u \mathfrak{S}_v$ 的结构常数等于 $\dim \mathrm{Hom}_{\mathfrak{b}}(\mathcal{S}_u \otimes \mathcal{S}_v, \mathcal{S}_{w_0w}^* \otimes K_\rho)$。