[논문 리뷰] The $M$-triangle of generalised non-crossing partitions for the types $E_7$ and $E_8$

Christian Krattenthaler|ArXiv.org|2006. 01. 27.

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öbius 함수인 generating function ∑_{u,w∈P} μ(u,w) x^{rk u} y^{rk w}로 M-삼각형을 계산한다.
• E₇ 및 E₈ 유형의 근 시스템에 대한 Armstrong의 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ₙ 유형이다.