Soergel's character conjecture for indecomposable projectives

About 21 years old · traced to

Let W\mathcal W be the Coxeter group, let H\mathcal H be its Hecke algebra, and let B(x)B(x) be the indecomposable projective object associated with x∈Wx\in\mathcal W. For a graded SS-module N≅⨁iS{ki}N\cong\bigoplus_i S\{k_i\}, define its graded dimension by

dim⁡‾⁡(N)=∑iv−ki.\operatorname{\underline{\dim}}(N)=\sum_i v^{-k_i}.

For M∈VM\in\mathcal V, define its graded character by

h(M)=∑y∈Wdim⁡‾⁡(M[y])vl(y)T~y∈H.h(M)=\sum_{y\in\mathcal W}\operatorname{\underline{\dim}}(M^{[y]})v^{l(y)}\widetilde T_y\in\mathcal H.

Soergel's character conjecture. For any x∈Wx\in\mathcal W,

h(B(x))=Cx′.h(B(x))=C_x^\prime.

This asserts that the graded character of each indecomposable projective is the corresponding Kazhdan--Lusztig self-dual element. The source attributes the statement to Soergel and gives no resolution status.

References

Primary source

Peter Fiebig, “The combinatorics of Coxeter categories”, arXiv:math/0512176 (2006).

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.