[论文解读] The $M$-triangle of generalised non-crossing partitions for the types $E_7$ and $E_8$

Christian Krattenthaler|ArXiv.org|Jan 27, 2006

Advanced Combinatorial Mathematics参考文献 17被引用 13

一句话总结

本文计算了类型 E₇ 和 E₈ 中 m-可除非交叉划分的 M-三角形，完成了对除 Dₙ 外所有例外根系的 Armstrong F = M 猜想的验证。本文建立了 M-三角形的互惠律，并推导出 E₇ 和 E₈ 反射群的分解数，这些分解数所包含的信息比 M-三角形本身更为精细。

ABSTRACT

The $M$-triangle of a ranked locally finite poset $P$ is the generating function $\sum_{u,w\in P} ^{}μ(u,w) x^{ k u}y^{ k w}$, where $μ(.,.)$ is the Möbius function of $P$. We compute the $M$-triangle of Armstrong's poset of $m$-divisible non-crossing partitions for the root systems of type $E_7$ and $E_8$. For the other types except $D_n$ this had been accomplished in the earlier paper "The $F$-triangle of the generalised cluster complex." Altogether, this almost settles Armstrong's $F=M$ Conjecture predicting a surprising relation between the $M$-triangle of the $m$-divisible partitions poset and the $F$-triangle (a certain refined face count) of the generalised cluster complex of Fomin and Reading, the only gap remaining in type $D_n$. Moreover, we prove a reciprocity result for this $M$-triangle, again with the possible exception of type $D_n$. Our results are based on the calculation of certain decomposition numbers for the reflection groups of types $E_7$ and $E_8$, which carry in fact finer information than does the $M$-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 $A_n$ decomposition numbers.

研究动机与目标

• 计算类型 E₇ 和 E₈ 中 m-可除非交叉划分的偏序集的 M-三角形。
• 完成对除类型 Dₙ 外所有例外根系的 Armstrong F = M 猜想的验证。
• 建立 m-可除非交叉划分的 M-三角形的互惠关系。
• 计算类型 E₇ 和 E₈ 反射群的分解数，这些分解数对 M-三角形数据进行了细化。
• 为类型 Aₙ 的分解数提供一个闭式乘积公式，Bₙ 和 Dₙ 的情况仍待解决。

提出的方法

• 将 M-三角形计算为生成函数 ∑_{u,w∈P} μ(u,w) x^{rk u} y^{rk w}，其中 μ 是偏序集的 Möbius 函数。
• 利用 Armstrong 的 m-可除非交叉划分的偏序集在类型 E₇ 和 E₈ 根系中的结构。
• 推导出 E₇ 和 E₈ 反射群的分解数，这些分解数携带比 M-三角形更精细的信息。
• 应用早期关于其他例外类型的研究成果，统一分析所有例外根系。
• 证明了 M-三角形的互惠律，适用于所有类型，除可能的 Dₙ 外。
• 利用组合与代数技巧，为类型 Aₙ 的分解数推导出闭式乘积公式。

实验结果

研究问题

• RQ1 m-可除非交叉划分在类型 E₇ 和 E₈ 中的 M-三角形的显式形式是什么？
• RQ2 m-可除非交叉划分的 M-三角形是否满足互惠律？
• RQ3 E₇ 和 E₈ 反射群的分解数与 M-三角形之间有何关系？
• RQ4 是否可以为类型 Aₙ 的分解数推导出闭式乘积公式？
• RQ5 类型 Dₙ 的根系中 F = M 猜想的现状如何？E₇ 和 E₈ 对其解决有何贡献？

主要发现

• 类型 E₇ 中 m-可除非交叉划分的 M-三角形被显式计算，完成了例外情况的分析。
• 类型 E₈ 的 M-三角形被计算，扩展了除 Dₙ 外所有例外根系的已知结果。
• 证明了 M-三角形的互惠律，可能的例外是类型 Dₙ。
• 计算出 E₇ 和 E₈ 的分解数，提供了比 M-三角形本身更精细的不变量。
• 为类型 Aₙ 的分解数推导出闭式乘积公式，为该情况提供了完整解法。
• F = M 猜想几乎被完全解决，唯一尚未解决的例外情况是类型 Dₙ。