The nabla operator, Hall--Littlewood polynomials and LLT polynomials

Abstract

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.