[论文解读] Combinatorial rules for three bases of polynomials

Colleen Ross, Alexander Yong|arXiv (Cornell University)|Feb 1, 2013

Advanced Combinatorial Mathematics参考文献 8被引用 14

一句话总结

本文提出了一种组合规则，用于将键多项式在由下降定义的对称块中展开为舒尔多项式，通过将序列与行字为特定置换的约化字的严格递增表组成双射，证明了非负性。此外，还提出了关于 $\mathrm{GL}$-变形键多项式（$\mathrm{GL}$-变形 $\mathrm{GL}$-键多项式）和格罗滕迪克多项式使用扩展科纳特移动的类似规则的猜想，推广了早期关于施伯特和舒尔多项式的成果。

ABSTRACT

We present combinatorial rules (one theorem and two conjectures) concerning three bases of Z[x1,x2,....]. First, we prove a "splitting" rule for the basis of key polynomials [Demazure '74], thereby establishing a new positivity theorem about them. Second, we introduce an extension of [Kohnert '90]'s "moves" to conjecture the first combinatorial rule for a certain deformation [Lascoux '01] of the key polynomials. Third, we use the same extension to conjecture a new rule for the Grothendieck polynomials [Lascoux-Schutzenberger '82].

研究动机与目标

• 建立键多项式 $κ_{\alpha}$ 在由 $α$ 中下降定义的对称块中展开为舒尔多项式的组合非负规则。
• 将科纳特移动框架扩展，以定义 $Ω_{\alpha}$（键多项式的 $γ$-变形）的猜想组合规则。
• 基于扩展科纳特移动，为格罗滕迪克多项式 ${\mathfrak{G}}_{w}$ 提出一个新的组合规则，该规则与已有已证明规则不同。
• 通过表序列展示其结构常数为非负整数，提供键多项式的正性定理。
• 通过置换码和埃德曼-格林对应，统一对称与非对称多项式基的结构。

提出的方法

• 通过作用于单项式的德马祖尔算子定义键多项式 $κ_{\alpha}$，其中 $κ_{\alpha}$ 在由下降分隔的块中对称。
• 利用与码 $\alpha$ 关联的置换 $w[\alpha]$，通过递归下降构造，定义一个规范的严格递增表 $T[\alpha]$。
• 使用埃德曼-格林对应 $\text{EGLS}$，在相容序列 $({\bf a},{\bf i})$ 与严格递增表元组 $(T_1,\dots,T_k)$ 之间建立双射。
• 证明结构常数 ${\mathcal{E}}^{\alpha}_{\lambda^1,\dots,\lambda^k}$ 计数满足特定条件的表元组，即 $T_i$ 的拼接行字为 $w[\alpha]$ 的约化字，且 $\text{EGLS}$ 映射结果为 $T[\alpha]$。
• 将科纳特移动规则扩展，以定义 $\Omega_{\alpha}$（键多项式的 $\gamma$-变形）的猜想单项式展开。
• 基于相同的扩展科纳特移动，猜想格罗滕迪克多项式 ${\mathfrak{G}}_{w}$ 的新规则，该规则与文献中已知规则不同。

实验结果

研究问题

• RQ1 键多项式 $κ_{\alpha}$ 在下降块中展开为舒尔多项式是否可由具有非负结构常数的组合规则描述？
• RQ2 是否存在一个组合规则，用于 $γ$-变形键多项式 $Ω_{\alpha}$，以推广科纳特移动规则？
• RQ3 格罗滕迪克多项式 ${\mathfrak{G}}_{w}$ 是否可基于扩展科纳特移动的新规则展开，且该规则与现有已证明规则不同？
• RQ4 结构常数 ${\mathcal{E}}^{\alpha}_{\lambda^1,\dots,\lambda^k}$ 是否计数满足特定行字和形状约束的严格递增表序列？
• RQ5 尽管非齐次，$K$-理论中键多项式展开的 $K$-理论类比是否仍可有限终止？

主要发现

• 定理 1.1 建立了键多项式 $κ_{\alpha}$ 展开为舒尔多项式时，结构常数 ${\mathcal{E}}^{\alpha}_{\lambda^1,\dots,\lambda^k}$ 为非负整数，其计数满足特定行字和最小标签约束的严格递增表序列。
• 该规则细化了 [RS95, 定理 5(1)]，并与施伯特多项式的分裂规则 [BKTY04, 推论 3] 兼容，为键多项式提供了新的正性定理。
• 证明使用了相容序列 $({\bf a},{\bf i})$ 与表元组 $(T_1,\dots,T_k)$ 之间的双射 $\Phi$，其中条件 ${\tt EGLS}({\bf a}) = T[\alpha]$ 确保了 $T_i$ 的行字构成 $w[\alpha]$ 的约化字。
• 任何 $f \in \text{Pol}$ 关于 $J_{\alpha}$-基的展开是有限的，如命题 3.1 所示，这是由于 $J_{\alpha}$ 在 $K$-科纳特规则下的有界支撑。
• 本文猜想格罗滕迪克多项式 ${\mathfrak{G}}_{w}$ 可通过扩展科纳特移动的新规则展开为 $\Omega_{\alpha}$，且符号按次数交替，基于该规则。
• 所提出的 ${\mathfrak{G}}_{w}$ 规则在结构上与早期已证明规则（如 [FK94, L01, BKTY05, LRS06]）不同，暗示了 $K$-理论施伯特演算中一种新颖的组合框架。