English

The $M$-triangle of generalised non-crossing partitions for the types $E_7$ and $E_8$

Combinatorics 2007-05-23 v5 Group Theory

Abstract

The MM-triangle of a ranked locally finite poset PP is the generating function u,wPμ(u,w)x\rkuy\rkw\sum_{u,w\in P} ^{}\mu(u,w) x^{\rk u}y^{\rk w}, where μ(.,.)\mu(.,.) is the M\"obius function of PP. We compute the MM-triangle of Armstrong's poset of mm-divisible non-crossing partitions for the root systems of type E7E_7 and E8E_8. For the other types except DnD_n this had been accomplished in the earlier paper "The FF-triangle of the generalised cluster complex." Altogether, this almost settles Armstrong's F=MF=M Conjecture predicting a surprising relation between the MM-triangle of the mm-divisible partitions poset and the FF-triangle (a certain refined face count) of the generalised cluster complex of Fomin and Reading, the only gap remaining in type DnD_n. Moreover, we prove a reciprocity result for this MM-triangle, again with the possible exception of type DnD_n. Our results are based on the calculation of certain decomposition numbers for the reflection groups of types E7E_7 and E8E_8, which carry in fact finer information than does the MM-triangle. The decomposition numbers for the other exceptional reflection groups had been computed in the earlier paper. We present a conjectured formula for the type AnA_n decomposition numbers.

Keywords

Cite

@article{arxiv.math/0601676,
  title  = {The $M$-triangle of generalised non-crossing partitions for the types $E_7$ and $E_8$},
  author = {Christian Krattenthaler},
  journal= {arXiv preprint arXiv:math/0601676},
  year   = {2007}
}

Comments

AmS-TeX; 34 pages; journal version. Proofs of Lemma 5 and Proposition 6 simplified. Note at the end expanded