[論文レビュー] 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ₙ型を除くすべての例外的根系についてアームストロングの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ₙ型を除くすべての例外的根系について、アームストロングのF = M予想の検証を完了すること。
• m-可除非交差分割のM-三角形に対する双対性関係を確立すること。
• E₇およびE₈型の反映群の分解数を計算すること。これらはM-三角形の情報よりもより精細な情報を保持する。
• Aₙ型の分解数について閉形式の積分式を提示すること。Bₙ型およびDₙ型については未解決のままとする。

提案手法

• M-三角形を生成関数 ∑_{u,w∈P} μ(u,w) x^{rk u} y^{rk w} として計算し、μは順序集合のモービウス関数である。
• E₇およびE₈型の根系におけるアームストロングのm-可除非交差分割の順序集合の構造を利用する。
• 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ₙ型のみである。