Soergel's conjecture on the character of indecomposable Soergel bimodules
Let be the Coxeter system underlying the Soergel bimodule category, let denote the indecomposable Soergel bimodule indexed by , and let be the corresponding Kazhdan–Lusztig basis element of the Hecke algebra . The character map is denoted by . Soergel's conjecture. For all ,
This conjecture was proved by Elias and Williamson when the coefficient field has characteristic . In characteristic , the assertion fails; the characters of the indecomposable bimodules instead give the -canonical basis.
References
Primary source
Tasman Fell, “The Diagrammatic Spherical Category”, arXiv:2512.24541 (2026).
Additional references
5 papers in this index state this conjecture (2010–2025). The statement above is taken from the most recent of them; the others are arXiv:1711.02464, arXiv:1504.06545, arXiv:1309.0865, arXiv:1010.1283.
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.