Snake-decomposition characterization of c-Cambrian order element posets

From papers

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 λiN\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 \relP(Φ)\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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.