Crosshatch-pair conjecture for equivalence classes of Kazhdan–Lusztig pairs

About 16 years old · traced to

Given a composition α=(α1,α2,…,αk)⊨n\alpha=(\alpha_1,\alpha_2,\ldots,\alpha_k)\models n, define the permutation

xα=[n−α1,n−α1+1,…,n−1,n−α1−α2,n−α1−α2+1,…,n−α1−1,…,0,1,…,αk−1].x_\alpha=[n-\alpha_1,n-\alpha_1+1,\ldots,n-1,n-\alpha_1-\alpha_2,n-\alpha_1-\alpha_2+1,\ldots,n-\alpha_1-1,\ldots,0,1,\ldots,\alpha_k-1].

Let Xn={xα:α⊨n}X_n=\{x_\alpha:\alpha\models n\}. A crosshatch pair is a pair x≤wx\leq w such that xw0,w∈Xnxw_0,w\in X_n. The relation ∼\sim is the equivalence relation on pairs induced by the L-S operators. Crosshatch-pair conjecture. Every ∼\sim-equivalence class contains a crosshatch pair. The conjecture concerns representatives of equivalence classes and would give a structured representative for each class; the surrounding computations suggest further coalescence as the parameter kk increases, but no resolution of this conjecture is given.

References

Primary source

Gregory S. Warrington, “Equivalence classes for the mu-coefficient of Kazhdan-Lusztig polynomials in S_n”, arXiv:1010.3961 (2010).

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.