Cocharge and skewing formulas for $Δ$-Springer modules and the Delta Conjecture (2307.02645v2)

Abstract: We prove that $\omega \Delta'{e{k}}e_n|{t=0}$, the symmetric function in the Delta Conjecture at $t=0$, is a skewing operator applied to a Hall-Littlewood polynomial, and generalize this formula to the Frobenius series of all $\Delta$-Springer modules. We use this to give an explicit Schur expansion in terms of the Lascoux-Sch\"utzenberger cocharge statistic on a new combinatorial object that we call a \textit{battery-powered tableau}. Our proof is geometric, and shows that the $\Delta$-Springer varieties of Levinson, Woo, and the second author are generalized Springer fibers coming from the partial resolutions of the nilpotent cone due to Borho and MacPherson. We also give alternative combinatorial proofs of our Schur expansion for several special cases, and give conjectural skewing formulas for the $t$ and $t^2$ coefficients of $\omega \Delta'{e_{k}}e_n$.