Parabolic Coxeter–Catalan numbers for types A, B, H and I

At least 7 years old · documented by

Let (W,S)(W,S) be a Coxeter system with W∈{An,Bn,H3,I2(m)}W\in\{A_n,B_n,H_3,I_2(m)\}, and let J⊆SJ\subseteq S. The sets Align⁡(WJ,c)\operatorname{Align}(W^J,c), NC⁡(WJ,c)\operatorname{NC}(W^J,c), SW⁡(WJ,c)\operatorname{SW}(W^J,c), and NN⁡(WJ)\operatorname{NN}(W^J) denote, respectively, the parabolic aligned elements, noncrossing elements, cluster-complex facets, and nonnesting elements. Parabolic Coxeter–Catalan conjecture. For any Coxeter element c∈Wc\in W, the cardinalities

∣Align⁡(WJ,c)∣=∣NC⁡(WJ,c)∣=∣SW⁡(WJ,c)∣=∣NN⁡(WJ)∣\left|\operatorname{Align}(W^J,c)\right|=\left|\operatorname{NC}(W^J,c)\right|=\left|\operatorname{SW}(W^J,c)\right|=\left|\operatorname{NN}(W^J)\right|

are equal, and hence do not depend on the choice of cc. The claim proposes well-defined parabolic Coxeter–Catalan numbers in these types; the paper reports computer evidence, while no general proof or resolution is given in the supplied text.

References

Primary source

Henri Mühle and Nathan Williams, “Tamari Lattices for Parabolic Quotients of the Symmetric Group”, arXiv:1804.02761 (2019).

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.