[論文レビュー] From Permutahedron to Associahedron

Thomas A. Brady, Colum Watt|ArXiv.org|Apr 15, 2008

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

ひとこと要約

本稿では、有限非可約実反射群 $W$ に対して、線形写像 $\mu = 2(I - c)^{-1}$ を用いて単体的一般化アソシアヘドロン $AX(c)$ をパーミュタホロンに埋め込み、その像 $\mu(AX(c))$ が $c$-カムビアンファンに線形同型であることを示す。主な貢献は、アソシアヘドロンの面と非交差分割ラティス $\mathrm{NCP}_c$ 間の取り扱いやすい全単射を、等長的で幾何的な方法で構成したことにある。

ABSTRACT

For each finite real reflection group $W$, we identify a copy of the type-$W$ simplicial generalised associahedron inside the corresponding simplicial permutahedron. This defines a bijection between the facets of the generalised associahedron and the elements of the type $W$ non-crossing partition lattice which is more tractable than previous such bijections. We show that the simplicial fan determined by this associahedron coincides with the Cambrian fan for $W$.

研究の動機と目的

• 有限非可約実反射群 $W$ に対して、コクセター・ソーティングに依存しない $c$-カムビアンファンの幾何的構成を開発すること。
• 線形変換 $\mu = 2(I - c)^{-1}$ を通じて、単体的一般化アソシアヘドロンと $c$-カムビアンファンの間の直接的かつ等長的な関係を確立すること。
• 一般化アソシアヘドロンの面と非交差分割ラティス $\mathrm{NCP}_c$ の要素との間の、より取り扱いやすく幾何的に直感的な全単射を提供すること。
• $\mu(AX(c))$ で定義されるファンが $c$-カムビアンファンと一致することを示し、この重要な多面体ファンの新たな実現を与えること。
• ルート系と反射群論に基づいた幾何的構成を通じて、クラスターファンとカムビアンファンを統合すること。

提案手法

• 構成は、根の全順序と反射長条件を用いて定義される単体的一般化アソシアヘドロン $EX(c)$ から出発し、その上で対合 $c_+$ を作用させて複体 $AX(c)$ を得る。
• 線形写像 $\mu = 2(I - c)^{-1}$ を $AX(c)$ に作用させ、複体 $\mu(AX(c))$ を得る。この複体が等長的であり、単体的構造を保つことが示される。
• $\mu(AX(c))$ の各面がパーミュタホロンファンの反射超平面の和集合上にあることが証明され、$\mu(AX(c))$ のファンがパーミュタホロンファンの粗化であることが確認される。
• $w \in \mathrm{NCP}_c$ と $\mathbb{R}^n$ 内の領域 $F(w)$ の間の全単射を定義する。ここで $F(w)$ は、部分群 $W_w$ と $W_{cw^{-1}}$ の基本根を用いた不等式によって定義される。
• $F(w)$ の各レイトスが特定の根 $\rho_i$ の $\mu$ による像によって生成されることを示し、複体 $\mu(AX(c))$ の面構造と写像 $\phi$ を通じてこれらの $F(w)$ コーンと一致させる。
• 最後に、クラスターファンからカムビアンファンへの写像 $L$ が $\frac{1}{2} \mu \circ c_+$ と一致することを示し、$\mu(AX(c))$ のファンが線形同型で $c$-カムビアンファンと一致することを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限非可約実反射群 $W$ に対して、$c$-カムビアンファンをパーミュタホロンファンの粗化として幾何的に実現する方法は何か？
• RQ2 単体的一般化アソシアヘドロン $AX(c)$ と $c$-カムビアンファンとの間の線形同型関係は、どのように特定できるか？
• RQ3 一般化アソシアヘドロンの面と非交差分割ラティス $\mathrm{NCP}_c$ の間には、より取り扱いやすく幾何的に直感的な全単射を構成可能か？
• RQ4 線形変換 $\mu = 2(I - c)^{-1}$ はクラスターファンとカムビアンファンの間にどのような関係をもたらし、後者を標準的な方法で実現するか？
• RQ5 $w \in \mathrm{NCP}_c$ をインデックスとするコーン $F(w)$ で定義されるファンは、二部グラフ型コクセター生成元 $c$ に対して $c$-カムビアンファンと一致するか？

主な発見

• $w \in \mathrm{NCP}_c$ に対して定義されるコーン $F(w)$ のファンは、完全な単体的ファンであり、クラスターファンと線形同型である。
• $\mu = 2(I - c)^{-1}$ を用いた単体的一般化アソシアヘドロン $AX(c)$ の像 $\mu(AX(c))$ は、その法線ファンが $c$-カムビアンファンに一致する多面体複体をなす。
• $\mu(AX(c))$ の各面がパーミュタホロンの反射超平面の和集合上にあることから、$\mu(AX(c))$ のファンがパーミュタホロンファンの粗化であることが確認された。
• クラスターファンから $c$-カムビアンファンへの写像 $L$ が $\frac{1}{2} \mu \circ c_+$ と一致することが示され、両ファンの線形同型関係が確立された。
• 本構成により、一般化アソシアヘドロンの面と $\mathrm{NCP}_c$ の要素との間で、従来の組合せ的構成よりも取り扱いやすく幾何的に直感的な全単射が得られた。
• $C_3$ 場合において、サイクロヘドロン（$C_3$ 型アソシアヘドロン）が $\mu(AX(c))$ を通じてパーミュタホロンに明示的に埋め込まれ、ステレオグラフィック射影によりファン構造と面ラベルが図示された。