[論文レビュー] Isometry classes of generalized associahedra

Nantel Bergeron, Christophe Hohlweg+2 more|arXiv (Cornell University)|Sep 27, 2007

Advanced Combinatorial Mathematics参考文献 9被引用数 16

ひとこと要約

この論文は、有限コックスター系における$ c $-カンブリアン・ファンを介してパーミュタヘドロンから構成される一般化されたアソシアヘドロンの等長同型類を分類する。2つのこのようなアソシアヘドロンが等長であるための必要十分条件は、それらのコックスター要素が、重みパrameter $\kappa_s$ を保存するコックスター図の自己同型、または最長元 $w_0$ を用いた逆元による変換で関連付けられていることである。この結果は、カンブリアン・ファンの等長分類へと拡張される。

ABSTRACT

Let $(W,S)$ be a finite Coxeter system acting by reflections on an $\mathbb R$-Euclidean space with simple roots $Δ=\{\a_s | s\in S\}$ of the same length and fundamental weights $Δ^*=\{v_s | s\in S\}$. We set $M(e)=\sum_{s\in S}κ_s v_s$, $κ_s>0$, and for $w\in W$ we set $M(w)=w(M(e))$. The permutahedron $Perm(W)$ is the convex hull of the set $\{M(w) | w\in W\}$. Given a Coxeter element $c\in W$, we have defined in a previous work a generalized associahedron $Asso_c(W)$ whose normal fan is the corresponding $c$-Cambrian fan $F_c$ defined by N. Reading. By construction, $Asso_c(W)$ is obtained from $Perm(W)$ by removing some halfspaces according to a rule prescribed by $c$. In this work, we classify the isometry classes of these realizations. More precisely, for $(W,S)$ an irreducible finite Coxeter system and $c,c'$ two Coxeter elements in $W$, we have that $Asso_{c}(W)$ and $Asso_{c'}(W)$ are isometric if and only if $μ(c') = c$ or $μ(c')=w_0c^{-1}w_0$ for $μ$ an automorphism of the Coxeter graph of $W$ such that $κ_s=κ_{μ(s)}$ for all $s\in S$. As a byproduct, we classify the isometric Cambrian fans of $W$.

研究の動機と目的

• 有限コックスター系におけるパーミュタヘドロンから$ c $-カンブリアン・ファンを介して得られる一般化されたアソシアヘドロンの等長同型類を分類すること。
• 固定された重み割り当て $\kappa_s > 0$ のもとで、2つのこのようなアソシアヘドロンが等長である条件を特定すること。
• この分類を、アソシアヘドロンの正規ファン、すなわちカンブリアン・ファンへと拡張すること。
• コックスター図の自己同型と最長元 $w_0$ が等長同型類を保存する役割を特定すること。

提案手法

• 重みパrameter $\kappa_s$ を持つ $M(e) = \sum_{s \in S} \kappa_s v_s$ を用いて、$\mathsf{Perm}(W)$ を $\{M(w) = w(M(e)) \mid w \in W\}$ の凸包として構成する。
• $c$-適切な超平面に対応する半空間を除くことで、一般化されたアソシアヘドロン $\mathsf{Asso}_c(W)$ を $\mathsf{Perm}(W)$ の部分多面体として定義する。
• $c$ をコックスター要素とすると、$c$-カンブリアン・ファン $\mathcal{F}_c$ を $\mathsf{Asso}_c(W)$ の正規ファンとして用いる。
• 重みパrameter $\kappa_s$ を保存するコックスター図の自己同型 $\mu$ によって誘導される等長変換を用いて、$\mathsf{Asso}_c(W)$ と $\mathsf{Asso}_{c'}(W)$ の間の等長性を確立する。
• $M(e)$ を $M(w_0)$ に写す対合 $g$ を導入し、$\mathsf{Asso}_c(W)$ と $\mathsf{Asso}_{w_0 c^{-1} w_0}(W)$ の関係を確立する。
• パーミュタヘドロンおよびアソシアヘドロンを等長に保つ変換が、$\mu(c') = c$ または $\mu(c') = w_0 c^{-1} w_0$ を満たすグラフ自己同型 $\mu$ を誘導することを証明する。

実験結果

リサーチクエスチョン

• RQ1 異なるコックスター要素 $c$ と $c'$ に対して、2つの一般化されたアソシアヘドロン $\mathsf{Asso}_c(W)$ と $\mathsf{Asso}_{c'}(W)$ が等長であるのはいつか？
• RQ2 コックスター図の自己同型は、一般化されたアソシアヘドロンの等長同型類にどのように影響するか？
• RQ3 最長元 $w_0$ は、等長なアソシアヘドロンを関連付ける際に果たす役割は何か？
• RQ4 $c$-カンブリアン・ファンがファンとして等長であるのはどのような条件下か？
• RQ5 重み割り当て $\kappa_s$ は、アソシアヘドロンの等長同型類にどのように影響するか？

主な発見

• 2つの一般化されたアソシアヘドロン $\mathsf{Asso}_c(W)$ と $\mathsf{Asso}_{c'}(W)$ が等長であるための必要十分条件は、$\kappa_s = \kappa_{\mu(s)}$ を満たすコックスター図の自己同型 $\mu$ が存在して、$\mu(c') = c$ または $\mu(c') = w_0 c^{-1} w_0$ となることである。
• $\mathsf{Asso}_c(W)$ の等長同型類は、$\mathrm{Aut}(\text{Coxeter graph}) \times \mathbb{Z}_2$ の作用における $c$ の軌道にのみ依存する。ここで $\mathbb{Z}_2$ は $c \mapsto w_0 c^{-1} w_0$ を作用させる。
• $c$-カンブリアン・ファン $\mathcal{F}_c$ と $\mathcal{F}_{c'}$ がファンとして等長であるための必要十分条件は、$\kappa_s$ を保存する自己同型 $\mu$ が存在して、$\mu(c') = c$ または $\mu(c') = w_0 c^{-1} w_0$ となることである。
• アソシアヘドロンの等長同型類は、自己同型群と $w_0$ を用いた逆元作用の下での $c$ の軌道内での $c$ の選び方に依存しない。
• グラフ自己同型 $\mu$ から誘導される等長変換 $\varphi_\mu$ は、$c$-適切な半空間を保存し、$\varphi_\mu(\mathsf{Asso}_{c'}(W)) = \mathsf{Asso}_{\mu(c')}(W)$ が成り立つ。
• 可約な場合、各 $\mathcal{A} \subset \mathcal{D}$ に対して $\mathcal{A}$-等長変換 $g_\mathcal{A}$ を定義し、$\mathcal{A}$ 内の反復を逆転させることで $c^\mathcal{A}$ を得ることにより、分類が一般化される。