Snake-decomposition characterization of c-Cambrian order element posets

About 8 years old · traced to

Let Φ\Phi be a finite root system, let cc be a Coxeter element, and let P(Φ)\mathcal{P}(\Phi) denote the set of Φ\Phi-posets. Let COEP(c)\mathsf{COEP}(c) be the set of cc-Cambrian order element posets and COIP(c)\mathsf{COIP}(c) the set of cc-Cambrian order interval posets. A cc-snake is a sequence of roots satisfying the alternating sign and order conditions described in the source, and a cc-snake decomposition of a root α\alpha is an expression α=∑i∈[p]λiαi\alpha=\sum_{i\in[p]}\lambda_i\alpha_i with λi∈N\lambda_i\in\mathbb{N} and α1,…,αp\alpha_1,\ldots,\alpha_p a cc-snake in the poset.

Snake-decomposition characterization. A Φ\Phi-poset \rel∈P(Φ)\mathrel{\mathop{\rel}}\in\mathcal{P}(\Phi) is in COEP(c)\mathsf{COEP}(c) if and only if it is in COIP(c)\mathsf{COIP}(c) and every root α∈Φ\alpha\in\Phi admits a cc-snake decomposition in \rel\mathrel{\mathop{\rel}}.

This characterizes cc-Cambrian order element posets in terms of cc-Cambrian order interval posets and snake decompositions. It was proved in type AA and checked computationally for small Coxeter types; its general status is not resolved in the supplied source.

References

Primary source

Joël Gay and Vincent Pilaud, “The weak order on Weyl posets”, arXiv:1804.06572 (2018).

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.