[論文レビュー] Noncrossing partitions, clusters and the Coxeter plane

Nathan Reading|arXiv (Cornell University)|Dec 26, 2009

Advanced Combinatorial Mathematics参考文献 20被引用数 3

ひとこと要約

本稿では、有限コックスター群における非交叉分割とクラスター適合性のための平面図形の均一な幾何的構成を、小規模な $W$-軌道をコックスター平面に直交射影することによって提示する。$H_3$、$I_2(m)$ のタイプにおいて非交叉および適合性の簡単な組合せ的基準を確立し、$F_4$、$H_4$、$E_6$、$E_7$ に対して修正された図を提供し、より大きな例外的タイプではこのようなモデルがなぜ得られにくいのかを説明する。

ABSTRACT

When W is a finite Coxeter group of classical type (A, B, or D), noncrossing partitions associated to W and compatibility of almost positive roots in the associated root system are known to be modeled by certain planar diagrams. We show how the classical-type constructions of planar diagrams arise uniformly from projections of small W-orbits to the Coxeter plane. When the construction is applied beyond the classical cases, simple criteria are apparent for noncrossing and for compatibility for W of types H_3 and I_2(m) and less simple criteria can be found for compatibility in types E_6, F_4 and H_4. Our construction also explains why simple combinatorial models are elusive in the larger exceptional types.

研究の動機と目的

• 古典的コックスター型（A, B, D）における非交叉分割およびクラスター適合性のための平面図形モデルを、同一の幾何的枠組みを用いて統一すること。
• この枠組みを古典的型にとどまらず、例外的型および非晶質型（例：$H_3$、$H_4$、$E_6$、$E_7$、$E_8$）にまで拡張し、従来困難とされてきたこれらの型におけるモデル構築を可能とすること。
• コックスター平面における射影軌道の構造を分析することで、より大きな例外的型では単純な組合せ的モデルがなぜ得られにくいのかを説明すること。
• 射影図を用いて、パラボリック部分群およびほぼ正の根の非交叉性および適合性の明示的かつ検証可能な基準を導出すること。
• $F_4$、$H_4$、$E_6$、$E_7$、$E_8$ などの複雑なケースにおいて、適合性のチェックを簡略化しながらも正しさを保つように、臨機応変な図の修正を提案すること。

提案手法

• コックスター元に関連する2次元不変部分空間、すなわちコックスター平面に、小規模な $W$-軌道を直交射影する。
• パラボリック部分群を射影軌道を $W'$-軌道に分割することで表現し、非交叉分割のための平面図形の基盤を構築する。
• 射影軌道を修正して、位数 $2(h+2)$ の二面体対称性を導入し、ほぼ正の根の図形的表現を可能にする。
• 図形における「アクティブな」線分を定義し、それらが根の位置と適合性を符号化する。交差は不適合性を示す。
• 線分の交差と幾何的配置に基づいて、根の適合性を決定する適合性基準（例：適合性基準2、4、5）を導入する。
• $F_4$、$H_4$、$E_6$、$E_7$、$E_8$ に特化して、線分の切り詰めや再配置といった臨機応変な図の変更を加え、適合性のチェックを簡略化しながらも正しさを保つ。

実験結果

リサーチクエスチョン

• RQ1 すべての有限コックスター群において、幾何的射影を用いて非交叉分割およびクラスター適合性のための平面図形モデルをどのように均一に構成できるか。
• RQ2 なぜ $E_7$ や $E_8$ のようなより大きな例外的型では、非交叉分割およびクラスター適合性のための単純な組合せ的モデルが特に困難となるのか。
• RQ3 $H_3$、$I_2(m)$、$F_4$、$H_4$、$E_6$、$E_7$、$E_8$ のタイプにおけるほぼ正の根の適合性は、射影図に基づく一貫した幾何的基準によって決定可能か。
• RQ4 どのような図の修正が、複雑な型においてより単純で正しい適合性基準をもたらすか。
• RQ5 例外的型における図形的交差条件の違反が、根の対の不適合性と正確に一致する範囲はどの程度か。

主な発見

• $A_n$、$B_n$、$D_n$ のタイプにおける非交叉分割およびクラスター適合性の平面図形は、すべてコックスター平面への小規模な $W$-軌道の射影として一様に得られる。
• $H_3$ および $I_2(m)$ のタイプにおいて、射影図における線分の交差に基づいて簡単な適合性基準が確立された。
• $F_4$ では、負の単純根が2つの多角形パスを形成する6本の線分として表現される修正図が用いられ、適合性基準2が適用される。
• $H_4$ では、適合性が適合性基準4によって完全に記述され、不適合な根の対は常に第二外周の $(h+2)$-正多角形の外側でアクティブな線分が交差する。
• $E_6$ では適合性が適合性基準5によって記述されるが、反例によりこの基準が $E_7$ および $E_8$ では失敗することが示され、複数の $(h+2)$-正多角形が幾何的複雑性を引き起こす。
• $E_7$ および $E_8$ における臨機応変な図の修正により、適合性基準2が正しく適合性を決定する図が得られ、かつての基準の破綻にもかかわらず正しさを保つ。