Schur-positivity conjecture for the decomposition poset

About 6 years old · traced to

Let clambdainP+clambdain P^+, let

cmathcalPclambda=cleft{(clambda1,clambda2)inP+×P+:clambda1+clambda2=clambdaright},cmathcal{P}_{clambda}=cleft\{(clambda_1,clambda_2)in P^+\times P^+:clambda_1+clambda_2=clambdaright\},

and order this set by (clambda1,clambda2)succeq(cmu1,cmu2)(clambda_1,clambda_2)succeq(cmu_1,cmu_2) exactly when (clambda1−clambda2)(hcalpha)≤(cmu1−cmu2)(hcalpha)(clambda_1-clambda_2)(h_calpha)\leq(cmu_1-cmu_2)(h_calpha) for every positive root calphacalpha. Write sclambdas_clambda for the Schur polynomial or character of V(clambda)V(clambda). Schur-positivity conjecture. If (clambda1,clambda2)succeq(cmu1,cmu2)(clambda_1,clambda_2)succeq(cmu_1,cmu_2), then sclambda1sclambda2−scmu1scmu2s_clambda_1s_clambda_2-s_cmu_1s_cmu_2 is Schur positive. The source states that this conjecture was proved by Loktev, Papi, and Ponomarev, so it is solved.

References

Primary source

Johannes Flake, Ghislain Fourier and Viktor Levandovskyy, “Gröbner bases for fusion products”, arXiv:2003.05639 (2021).

Progress summary

Refreshed
Open

The full conjecture remains open; known results prove only important special cases and a related type-A statement.

The conjecture asserts that moving upward in the decomposition poset increases the corresponding product in Schur order. Although Loktev, Papi, and Ponomarev are associated with a row-shuffle result, the retrieved literature does not identify that theorem with the full conjecture; a 2012 source explicitly states the general case as conjectural.

Known results

  • Fomin, Fulton, Li, and Poon (2004) proved several significant cases of the related type-AA positive-difference conjecture.
  • Lam, Postnikov, and Pylyavskyy (2005) proved the partition-sorting formulation of that conjecture.
  • Loktev, Papi, and Ponomarev (2007) proved the row-shuffle statement in type-AA.
  • For the decomposition-poset formulation, tensor-product inclusions are known when the weight is a multiple of a fundamental minuscule weight, and for type-A2A_2 with two factors (2012).

Current status (as of September 2026): The full decomposition-poset conjecture remains open in the retrieved evidence; related type-AA results and the recorded special cases are settled.

Sources

Solutions 0

No solutions have been posted yet.