arXiv++ Combinatorics

Bergeron, Garsia, Haiman, and Tesler conjectured that $(-1)^{n-\ell(μ)}\nabla\widetilde H_μ[X;0,t]$ and $\nablaω\widetilde H_μ[X;0,t^{-1}]$ are Schur positive, and that $\nablaω\widetilde H_μ[X;0,t^{-1}]-\nablaω\widetilde H_ν[X;0,t^{-1}]$ is Schur positive when $μ$ dominates $ν$. The first statement follows from the compositional shuffle conjecture of Haglund, Morse, and Zabrocki, proved by Carlsson and Mellit. We prove the other two statements. All three statements also hold for $\nabla^r$ with $r\geq1$. The main new step is an identity: when $μ$ covers $ν$, the difference $ω\widetilde H_μ[X;0,t^{-1}]-ω\widetilde H_ν[X;0,t^{-1}]$ is minus a power of $t$ times one LLT polynomial. Using the Catalanimals and the Cauchy identity of Blasiak, Haiman, Morse, Pun, and Seelinger, we show that $\nabla^r$ of this LLT polynomial is, up to sign, a positive sum of LLT polynomials. We also extend the main results to the Schiffmann algebra setting.

Motivated by Stanley's ``Schubert shenanigans'' paper, commendable attempts have been made to understand the principal specializations of Schubert or Grothendieck polynomials. In this paper, we prove that when a permutation $w$ does not contain the $1423$ pattern, the principal specialization of the corresponding $β$-Grothendieck polynomial can be expressed nonnegatively in terms of the occurrences of patterns in $w$. Using an inverse conservation principle, we further obtain the nonnegativity expansion for permutations avoiding the $1342$ pattern. Our results partially resolve conjectures raised respectively by Gao (independently observed by Gaetz), Meśzáros--Tanjaya, and Dennin. The proofs are achieved based upon a reduction algorithm performing on the classic pipe dream model of $β$-Grothendieck polynomials.