Divided-difference conjecture for cohomology classes of balanced two-row Springer fibers

From papers

Let Bρ\mathcal{B}_{\boldsymbol{\rho}} be the component of the two-row Springer fiber indexed by a standard tableau ρ\boldsymbol{\rho} of shape (ρ,ρ)(\rho,\rho), with cup diagram C(ρ)\mathcal{C}(\boldsymbol{\rho}). Order its cups as (i1<j1),,(iρ<jρ)(i_1<j_1),\ldots,(i_\rho<j_\rho) so that every cup nested inside a cup appears earlier. Let Sw0(x)\mathfrak{S}_{w_0}(\mathbf{x}) be the Schubert polynomial of the longest permutation, and let i\partial_i be the divided-difference operator. Divided-difference conjecture.

[Bρ]=(i1++j11)(i2++j21)(iρ++jρ1)Sw0(x).[\mathcal{B}_{\boldsymbol{\rho}}] = \left( \partial_{i_1} + \cdots + \partial_{j_1-1} \right) \left( \partial_{i_2} + \cdots + \partial_{j_2-1} \right) \cdots \left( \partial_{i_\rho} + \cdots + \partial_{j_\rho-1} \right)\mathfrak{S}_{w_0}(\mathbf{x}).

The paper proves the conjecture for a specific family and reports SageMath and Macaulay2 checks through n=8n=8; the general formula remains open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Cristina Sabando-Alvarez and Martha Precup, “Ideals defining components of two-row Springer fibers”, arXiv:2606.07507 (2026).

Solutions 0

No solutions have been posted yet.