[論文レビュー] Lattices in finite real reflection groups

Thomas A. Brady, Colum Watt|ArXiv.org|Jan 28, 2005

Advanced Combinatorial Mathematics参考文献 11被引用数 17

ひとこと要約

本稿では、有限実反射群 $W$ の区間 $[I, \gamma]$ が反射長順序でラティスをなすことの、分類に依存しない一様な証明を提示する。球面 $S^{n-1}$ に埋め込まれた新しく構成された単体的複体を用いて、この区間の幾何的モデルを確立し、それが一般化アソシアヘドロンと同型であることを示す。これにより、ラティス性とアソシアヘドロンの球面的性質に対する、新たな内因的証明が得られる。

ABSTRACT

For a finite real reflection group $W$ with Coxeter element $γ$ we give a uniform proof that the closed interval, $[I, γ]$ forms a lattice in the partial order on $W$ induced by reflection length. The proof involves the construction of a simplicial complex which can be embedded in the type W simplicial generalised associahedron.

研究の動機と目的

• 有限実反射群における区間 $[I, \gamma]$ のラティス性について、分類に依存しない一様な証明を提供すること。
• 球面 $S^{n-1}$ に埋め込まれた単体的複体 $X(\gamma)$ を構成し、順序集合 $[I, \gamma]$ の幾何的モデルを提供すること。
• この複体と一般化アソシアヘドロンとの直接同型を確立することで、分類に依存せずにその球面的構造を証明すること。
• 全反射生成集合を用いることで、アーティン群におけるガーシド構造の理論を統一的かつ一般化すること。

提案手法

• コックスター元 $\gamma$ の作用から導かれる正ルートとドット積条件を用いて、$S^{n-1}$ 上に位置する単体的複体 $X(\gamma)$ を定義する。
• 反射長順序および動く部分空間 $M(\alpha)$ と固定部分空間 $F(\alpha)$ の性質を用いて、群 $W$ 上の順序集合構造を特徴付ける。
• $\sigma \leq \gamma$ に対し部分複体 $X(\sigma)$ を導入し、ドット積条件 $\rho_i \cdot \mu_j = 0$ を用いてその幾何的実現を特徴付ける。
• ペトリーサイクルと $\gamma$ の作用を用いてルートの巡回的順序を定義し、複体内の辺関係を特定する。
• $X(\gamma)$ の辺構造が一般化アソシアヘドロンと一致することを証明する。具体的には、辺の基準 $R(\rho_i)R(\rho_j) \leq \gamma$ と直交条件 $\rho_i \cdot \mu_j = 0$ が同値であることを示す。
• 一様スケルトンが同型である2つの単体的複体は等しいことを利用し、$X(\gamma)$ が一般化アソシアヘドロンと同型であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 有限実反射群における区間 $[I, \gamma]$ のラティス性は、その群の分類に依存せずに一様に証明可能か？
• RQ2 反射長順序の下で、順序集合 $[I, \gamma]$ を何らかの幾何的構造がどのようにモデル化するか？
• RQ3 コックスター元 $\gamma$ から構成された単体的複体 $X(\gamma)$ と一般化アソシアヘドロンの関係は何か？
• RQ4 一般化アソシアヘドロンは球面的単体的複体であるか。その性質は分類に依存せずに証明可能か？
• RQ5 一般化アソシアヘドロンと単体的複体 $X(\gamma)$ の辺集合の正確な対応関係は何か？

主な発見

• 区間 $[I, \gamma]$ は反射長順序において、有限実反射群のすべての系列に一様にラティスをなすことが証明された。分類による個別的解析を必要としない。
• 正ルートを頂点とし、$\gamma$ の作用下での直交条件によって面が定まる、$S^{n-1}$ に埋め込まれた新しい単体的複体 $X(\gamma)$ が構成され、$[I, \gamma]$ の幾何的モデルを提供する。
• $X(\gamma)$ は一般化アソシアヘドロン $GA(W)$ と同型であり、順序集合構造とアソシアヘドロンとの間の直接的な幾何的関係を確立する。
• 証明により、一般化アソシアヘドロンが有限反射群の分類に依存せずに球面的単体的複体であることが示された。
• $X(\gamma)$ の辺構造は、一般化アソシアヘドロン $GA(W)$ と一致する：2つの頂点 $\rho_i, \rho_j$ が辺で結ばれるのは、$R(\rho_i)R(\rho_j) \leq \gamma$ が成り立つときであり、これは $\rho_i \cdot \mu_j = 0$ と同値である。
• この構成により、アーティン群 $A(W)$ の $K(\pi,1)$ 空間の非特異性に対する、新たな内因的証明が得られ、これはラティス性と幾何的モデルに依存する。