Soergel's conjecture on the character of indecomposable Soergel bimodules

Let (W,S)(W,S) be the Coxeter system underlying the Soergel bimodule category, let BxB_x denote the indecomposable Soergel bimodule indexed by xWx\in W, and let bxb_x be the corresponding Kazhdan–Lusztig basis element of the Hecke algebra HH. The character map is denoted by chch. Soergel's conjecture. For all xWx\in W,

ch(Bx)=bx.ch(B_x)=b_x.

This conjecture was proved by Elias and Williamson when the coefficient field \mathbbmk\mathbbm{k} has characteristic 00. In characteristic p>0p>0, the assertion fails; the characters of the indecomposable bimodules instead give the pp-canonical basis.

Sources & referencesView supporting material

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

Never refreshed

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.