Maria Gillespie,Sean T. Griffin
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ützenberger 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$.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on conducting in - depth research on Δ - Springer modules and their applications in the Delta Conjecture. Specifically, the objectives of the paper can be summarized as the following aspects:
1. **Prove the properties of specific symmetric functions**:
The paper proves that when \(t = 0\), the symmetric function \(\omega\Delta'_{e_k}e_n\) in the Delta Conjecture can be represented by applying a shift operator to the Hall - Littlewood polynomial. This provides a new perspective for understanding these symmetric functions.
2. **Generalize to Frobenius series**:
The author further generalizes this result to the Frobenius series of all Δ - Springer modules and gives an explicit Schur expansion. This expansion uses a new combinatorial object, called "battery - powered tableau", and is based on the co - charge statistic of Lascoux - Schützenberger.
3. **Geometric interpretation**:
The paper provides a geometric interpretation of Δ - Springer varieties, showing that these varieties are generalized Springer fibers obtained from the partial resolution of Borho and MacPherson. This geometric interpretation helps to better understand the structure and properties of these modules.
4. **Combinatorial proof for special cases**:
The author also provides combinatorial proofs for several special cases, further verifying the correctness of their Schur expansion. In addition, they propose a conjectural formula for the coefficients of \(t\) and \(t^2\) in \(\omega\Delta'_{e_k}e_n\).
5. **Detailed formula for Schur expansion**:
The paper gives a detailed Schur expansion formula, which contains a new combinatorial object - battery - powered tableau. This formula not only extends the known results but also provides new tools and methods for future research.
### Mathematical description of specific problems
1. **Symmetric functions in the Delta Conjecture**:
The paper focuses on the properties of the symmetric function \(\Delta'_{e_k}e_n\) in the Delta Conjecture when \(t = 0\). Specifically, the author proves that:
\[
\omega\Delta'_{e_k}e_n\big|_{t = 0}=s^\perp_{((n - k)k- 1)}H_{((n - k + 1)k)}(x;q)
\]
where \(s^\perp_{\nu}\) is the adjoint operator of the multiplication operator \(s_\nu\), and \(H_{\mu}(x;q)\) is the Hall - Littlewood polynomial.
2. **Battery - powered tableau**:
The author introduces a new combinatorial object - battery - powered tableau. This tableau consists of a pair of semi - standard Young tableaux, where one tableau is rectangular with the total content of \(\Lambda_{n,\lambda,s}\). It is specifically defined as follows:
\[
\Lambda_{n,\lambda,s}=(n - k+\lambda_1,n - k+\lambda_2,\ldots,n - k+\lambda_r,n - k,\ldots,n - k)
\]
where \(\lambda\) is a partition, \(s\) is an integer, and \(k = |\lambda|\leq s\).
3. **Schur expansion formula**:
The author gives a detailed Schur expansion formula:
\[
\tilde{H}_{n,\lambda,s}(x;q)=\frac{1}{q^{(s - 1)(n - k)/2}}\sum_{T\in T^+(n,\lambda,s)}q^{cc(