Shifted-binomial log-concavity conjecture for stable CSM–Schur coefficients

From papers

Let λ\lambda be a partition with parts at least 22, and set

c=codimYλ=λ(λ).c=\operatorname{codim}Y_\lambda=|\lambda|-\ell(\lambda).

For every fcf\ge c, write the homogeneous degree-ff part of the stable Chern–Schwartz–MacPherson class as

cSM(Yλ(d))f=i=0f/2Cλ,f,i(d)sfi,i(a,b),c^{SM}(Y_\lambda(d))_f=\sum_{i=0}^{\lfloor f/2\rfloor}C_{\lambda,f,i}(d)s_{f-i,i}(a,b),

where Cλ,f,i(d)C_{\lambda,f,i}(d) is polynomial in dd in the stable range. Define

C~λ,f,i(d)=(1)fcCλ,f,i(d),y=dλ2(fc).\widetilde C_{\lambda,f,i}(d)=(-1)^{f-c}C_{\lambda,f,i}(d),\qquad y=d-|\lambda|-2(f-c).

Shifted-binomial log-concavity conjecture. The shifted polynomial

C~λ,f,i(y+λ+2(fc))\widetilde C_{\lambda,f,i}\bigl(y+|\lambda|+2(f-c)\bigr)

has a nonnegative binomial-basis expansion

C~λ,f,i(y+λ+2(fc))=j0γλ,f,i,j(yj),γλ,f,i,j0.\widetilde C_{\lambda,f,i}\bigl(y+|\lambda|+2(f-c)\bigr)=\sum_{j\ge0}\gamma_{\lambda,f,i,j}\binom yj, \qquad \gamma_{\lambda,f,i,j}\ge0.

Moreover, after deleting possible initial zeroes, the coefficient sequence (γλ,f,i,0,γλ,f,i,1,γλ,f,i,2,)(\gamma_{\lambda,f,i,0},\gamma_{\lambda,f,i,1},\gamma_{\lambda,f,i,2},\ldots) is log-concave:

γλ,f,i,j2γλ,f,i,j1γλ,f,i,j+1.\gamma_{\lambda,f,i,j}^{\,2}\ge\gamma_{\lambda,f,i,j-1}\gamma_{\lambda,f,i,j+1}.

The conjecture extends the shifted-binomial positivity and log-concavity pattern from Plücker coefficients to stable CSM classes of coincident-root strata; the source gives no resolution status.

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

Gergely Bérczi and László M. Fehér, “Positivity in classical enumerative geometry: a case study in synchronized AI-assisted mathematics”, arXiv:2605.25271 (2026).

Additional references

2 papers in this index state this conjecture (2017–2026). The statement above is taken from the most recent of them; the others are arXiv:1707.03459.

Solutions 0

No solutions have been posted yet.