Support conjecture for key polynomials
Let α\alphaα be a composition, let tijt_{ij}tij swap positions iii and jjj, and let mij(α)=α+ei−ejm_{ij}(\alpha)=\alpha+e_i-e_jmij(α)=α+ei−ej. Define β<κα\beta<_\kappa\alphaβ<κα when β\betaβ can be generated from…