Schur-positivity conjecture for the decomposition poset
Let , let
and order this set by exactly when for every positive root . Write for the Schur polynomial or character of . Schur-positivity conjecture. If , then 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
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- 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-.
- For the decomposition-poset formulation, tensor-product inclusions are known when the weight is a multiple of a fundamental minuscule weight, and for type- with two factors (2012).
Current status (as of September 2026): The full decomposition-poset conjecture remains open in the retrieved evidence; related type- results and the recorded special cases are settled.
Sources
- ar5iv.labs.arxiv.org
- ar5iv.labs.arxiv.org
- arxiv.org
- symmetricfunctions.com
- ncatlab.org
- ijsret.com
- math.hawaii.edu
- dmtcs.episciences.org
- arxiv.org
- mathoverflow.net
- geodesic.mathdoc.fr
- ar5iv.labs.arxiv.org
- ar5iv.labs.arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- quantamagazine.org
- scientificamerican.com
- quantamagazine.org
- quantamagazine.org
- quantamagazine.org
- aimath.org
- mathstodon.xyz
- quantamagazine.org
- quantamagazine.org
- cdn.openai.com
Solutions 0
No solutions have been posted yet.