[論文レビュー] W-Associahedra are In-Your-Face

Nathan Williams|arXiv (Cornell University)|Feb 5, 2015

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

ひとこと要約

本稿では、$W$-permutahedra と $W$-associahedra が in-your-face であることを、一様な幾何的証明によって示す。すなわち、同一の面上にある2つの頂点間の任意の測地線が、その面の内側に留まる。Coxeter-sortable 要素と、新しい幾何的射影写像を用いて、有限 Coxeter 群のすべてのタイプにわたってこの性質を一様に確立する。これにより、型 $A$ における Sleator, Tarjan, および Thurston (1988) の組み合わせ的射影が回復され、さらに精錬される。主な貢献は、すべてのタイプにわたって一様に定義された幾何的正規化写像であり、これがすべてのタイプで in-your-face 性質を示す。

ABSTRACT

We use a projection argument to uniformly prove that $W$-permutahedra and $W$-associahedra have the property that if $v,v'$ are two vertices on the same face $f$, then any geodesic between $v$ and $v'$ does not leave $f$. In type $A$, we show that our geometric projection recovers a slight modification of the combinatorial projection given by D. Sleator, R. Tarjan, and W. Thurston.

研究の動機と目的

• すべての有限 Coxeter 群にわたる $W$-associahedra が in-your-face である一様で幾何的な証明を提供すること。
• $W$-permutahedra と $W$-associahedra に対して、これまで型別に組み合わせ論的手段で示されていた in-your-face 性質を一般化すること。
• 型依存の組み合わせ的モデルに依存しない幾何的正規化写像を定義すること。
• 型 $A$ において、Sleator, Tarjan, および Thurston (1988) の組み合わせ的射影を幾何的射影を用いて回復し、精錬すること。
• Fuss-類似物や他の Coxeter-Catalan 物体への in-your-face 性質の拡張を可能にする枠組みを確立すること。

提案手法

• Coxeter 複体の幾何と Coxeter 元の作用を用いて、$W$-permutahedron から各標準的パラボリック部分群 $W_{\langle s_i\rangle}$ への幾何的射影写像 $\mathfrak{C}_{W_{\langle i\rangle}}$ を定義する。
• Coxeter-sortable 要素の理論を用いて、射影の像が $W_{\langle s_i\rangle}$ 内の $c_i$-sortable 要素に一致することを特定する。
• 各 $W$-associahedron の面 $f$ に対して、頂点をその包含する最小の面に射影する幾何的射影 $\mathfrak{C}_{W_{\langle i\rangle}}$ を用いて、正規化写像 $\phi_f$ を構成する。
• 幾何的射影が正規化写像の3つの公理（固定点性、隣接性保存、外向き辺の縮約）を満たすことを証明する。
• $c_i$-sortable 要素と三角形分割の間の双対写像 $\mathrm{T}_{c_i}$ を構築し、型 $A$ における幾何的射影と古典的組み合わせ的射影を比較する。
• 定理 5.2 を用いて、幾何的射影 $\mathfrak{C}_{W_{\langle s_i\rangle}}$ が、三角形分割上で定義された修正版の組み合わせ的射影 $\mathfrak{C}_i$ と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 幾何的手法を用いて、すべての有限 Coxeter 型にわたる $W$-associahedra の in-your-face 性質を一様に証明できるか？
• RQ2 幾何的射影写像は、型 $A$ における古典的組み合わせ的射影とどのように関係しているか？
• RQ3 $W$-associahedra の正規化写像は、型別に依存する組み合わせ的モデルに依存せずに定義可能か？
• RQ4 型 $A$ に制限した場合、幾何的射影写像は [STT88] における組み合わせ的射影と同値か？
• RQ5 in-your-face 性質のより広い一般化は何か？また、associahedra の Fuss-類似物へは拡張可能か？

主な発見

• $W$-permutahedron は in-your-face である：同一の面上にある2つの頂点間の任意の測地線は、その面の内側に留まる。これは幾何的正規化写像を用いて証明された。
• $W$-associahedron はすべての有限 Coxeter 群において in-your-face であり、幾何的射影と Coxeter-sortable 要素に基づく一様な証明が与えられた。
• 幾何的射影 $\mathfrak{C}_{W_{\langle s_i\rangle}}$ は正規化写像の3つの公理をすべて満たしており、in-your-face 性質の保証となっている。
• 型 $A$ において、幾何的射影は [STT88] の組み合わせ的射影の修正版を回復し、対角線の反転にあらかじめ頂点（例：$i$ または $i+1$）を選択する必要がなくなる。
• 定理 5.2 を用いて、幾何的射影と組み合わせ的射影の同値性が確立され、$\mathrm{T}_{c_i}(\mathfrak{C}_{W_{\langle s_i\rangle}}(w)) = \mathfrak{C}_i(\mathrm{T}_{c_i}(w))$ が示された。
• 証明戦略は、in-your-face 性質の真の一般性が、現在のモデルをはるかに超える、より深い幾何的または圏論的構造に由来する可能性を示唆している。