[論文レビュー] Subword complexes and edge subdivisions

Mikhail Gorsky|arXiv (Cornell University)|May 23, 2013

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

ひとこと要約

この論文は、単純なルート系を持つコクセター群におけるブレード移動が、部分語複体に、辺の分割およびその逆操作の系列に等しい変換を誘発することを確立している。また、これらの操作の下での $H$-多項式および $\gamma$-多項式の変化を明示的な公式で与え、コクセター群の組合せ論と多面体幾何学、および数え上げ不変量を結びつけている。

ABSTRACT

For a finite Coxeter group, a subword complex is a simplicial complex associated with a pair (Q, π), where Q is a word in the alphabet of simple reflections, $π$ is a group element. We discuss the transformations of such a complex induced by braid moves of the word Q. We show that under certain conditions, this transformation is a composition of edge subdivisions and inverse edge subdivisions. In such a case, we describe how the H- and the γ-polynomials change under this operation. This case includes all braid moves for groups with simply-laced Coxeter diagrams.

研究の動機と目的

• 有限コクセター群における部分語複体に対するブレード移動の位相的および組合せ論的効果を理解すること。
• このような変換が辺の分割またはその逆操作に対応する条件を特定すること。
• $H$-および $\gamma$-多項式——重要な数え上げ不変量——がこれらの操作の下でどのように変化するかを特定すること。
• ブレード移動と、双対多面体における $2$-切断という幾何的演算との間の関係を確立すること。
• 辺の分割関係を用いて、固定された群元の簡約表現の集合に部分順序を定義すること。

提案手法

• 有限コクセター群における語 $\mathbf{Q}$ と群元 $\pi$ に関連する部分語複体 $\Delta(\mathbf{Q}, \pi)$ を分析する。
• ブレード移動を用いて $\mathbf{Q}$ を $\mathbf{Q}'$ に変換し、誘発される単体的複体の変換を研究する。
• 複体 $\Delta(\mathbf{Q}, \pi)$ と $\Delta(\mathbf{Q}', \pi)$ 間の変換が、辺の分割およびその逆操作の合成である条件を同定する。
• シェルラビリティと面の数え上げを用いて、このような操作の下での $H$-および $\gamma$-多項式の変化を明示的な公式で導出する。
• 双対性を用いて、辺の分割操作を、双対な単体的多面体における $2$-切断に翻訳する。
• 得られた結果を応用して、固定された群元 $\pi$ の簡約表現の集合に部分順序 $\rho_{\mathbf{Q}, \mathbf{Q}', \pi}$ を構成する。

実験結果

リサーチクエスチョン

• RQ1 語 $\mathbf{Q}$ と $\mathbf{Q}'$ 間のブレード移動が、部分語複体に作用する変換が、辺の分割およびその逆操作の合成である条件は何か？
• RQ2 このような辺の分割操作の下で、部分語複体の $H$-および $\gamma$-多項式はどのように変化するか？
• RQ3 単体的多面体における $2$-切断という幾何的演算を、コクセター群におけるブレード移動として組合せ論的に解釈できるか？
• RQ4 辺の分割関係を用いて、固定された群元 $\pi$ の簡約表現の集合に定義できる部分順序は何か？
• RQ5 どの三つ組 $(\mathbf{Q}, \mathbf{Q}', \pi)$ が、部分順序 $\rho_{\mathbf{Q}, \mathbf{Q}', \pi}$ に関して上限半順序または下限半順序の構造をもたらすか？

主な発見

• 任意の単純なルート系を持つコクセター群におけるブレード移動に対して、誘発される部分語複体への変換は、辺の分割およびその逆操作の合成である。
• $H$-多項式は、ブレード移動の位置に依存する線形変換に従い、多項式の次数を保存する。
• $\gamma$-多項式は、辺の分割に伴う面数の変化を反映する組合せ論的規則に従って変化し、与えられた条件下で非負性を保つ。
• 関連する単体的多面体における双対操作は、codimension-2の面の $2$-切断である。これにより、コクセター群の移動と多面体幾何学が結びつけられる。
• 部分順序 $\rho_{\mathbf{Q}, \mathbf{Q}', \pi}$ は適切に定義されており、辺の分割の系列の方向性を捉えている。
• 本研究の結果は、$2$-切断と辺の分割が、コクセター系におけるブレード関係から生じる新しい組合せ論的解釈を提供する。