Characterization of cluster complexes by root independence and full support

Let S\mathcal{S} be the relevant Coxeter-system word set, and let QQ be a word in S\mathcal{S}. For a spherical subword complex SC(Q)\mathcal{SC}(Q), call it root-independent if, for every facet II, the multiset

R(I)={ ⁣{r(I,i)iI} ⁣}{{\sf R}}(I)=\big\{\!\big\{ {{\sf r}}(I,i)\mid i\in I\big\}\!\big\}

is linearly independent, and call it of full support if every position of QQ belongs to some facet. A Coxeter element cc and a fixed reduced word w(c)\mathrm{w_\circ}(c) determine the word cw(c)c\,\mathrm{w_\circ}(c).

Cluster-complex characterization conjecture. The following statements are equivalent: (i) up to commutations of consecutive commuting letters, Q=cw(c)Q=c\,\mathrm{w_\circ}(c) for some Coxeter element cc; (ii) SC(Q)\mathcal{SC}(Q) is root-independent and of full support.

The conjecture proposes that these two properties characterize cluster complexes among spherical subword complexes. The supplied passage gives no resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Dennis Jahn, Robert Löwe and Christian Stump, “Minkowski decompositions for generalized associahedra of acyclic type”, arXiv:2005.14065 (2020).

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.