[論文レビュー] Non-cancellable elements in type affine $C$ Coxeter groups

Dana C. Ernst|arXiv (Cornell University)|Oct 6, 2009

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

ひとこと要約

この論文は、弱いスター還元に関して不約である非キャンセル可能な要素—アフィン $C$ コxeter群における非キャンセル可能な要素—をヒープ組合せ論とタイプ I/II 要素の分解を用いて分類する。この分類は、既存の $B$ 型群に関する結果を拡張し、一般化された Temperley–Lieb代数の図式的表現の忠実性を示す基盤を提供する。これにより、無限次元設定における帰納的議論が可能になる。

ABSTRACT

Let $(W,S)$ be a Coxeter system and suppose that $w \in W$ is fully commutative (in the sense of Stembridge) and has a reduced expression beginning (respectively, ending) with $s \in S$. If there exists $t\in S$ such that $s$ and $t$ do not commute and $tw$ (respectively, $wt$) is no longer fully commutative, we say that $w$ is left (respectively, right) weak star reducible by $s$ with respect to $t$. In this paper, we classify the fully commutative elements in Coxeter groups of types $B$ and affine $C$ that are irreducible under weak star reductions. In a sequel to this paper, the classification of the weak star irreducible elements in a Coxeter system of type affine $C$ will provide the groundwork for inductive arguments used to prove the faithfulness of a generalized Temperley--Lieb algebra of type affine $C$ by a particular diagram algebra.

研究の動機と目的

• タイプ $\widetilde{C}$ のコxeter群における非キャンセル可能な要素を、弱いスター還元に関して不約であるものとして分類すること。
• 有限型 $B$ における非キャンセル可能な要素の分類を、無限のアフィン $\widetilde{C}$ 型に拡張すること。
• 一般化された Temperley–Lieb代数の図式的表現における忠実性の帰納的証明の構造的基盤を提供すること。
• 下降集合にキャンセル可能な生成子を含まない $B$ 型コxeter群における完全交換的要素に関して、ファンの未解決の主張を検証すること。
• 非キャンセル可能な要素と二面体細胞およびカジダン–ルシュチグ理論を結びつけるヒープとスター操作を用いた組合せ論的枠組みを確立すること。

提案手法

• タイプ $B$ および $\widetilde{C}$ における完全交換的要素の簡約表現をモデル化するためのヒープ理論を用い、生成子の相互作用の可視化と分析を可能にする。
• 非可換生成子のペア $s,t$ を用いて左および右の弱いスター還元を定義し、$tw$ や $wt$ が完全交換的性質を失う場合を対象とする。
• 非キャンセル可能な要素の分類の構造的基盤として、タイプ I およびタイプ II 要素を導入する。
• ヒープのレイヤー構造と被覆関係に基づく帰納的議論を用いて、還元可能な構成を除外し、不約な形を同定する。
• ヒープ構造に関する補題（例：補題 5.2.2–5.2.8）を適用し、簡約表現における生成子の可能な配置を制約する。
• 有限型 $B$ の非キャンセル可能な要素の分類を基盤として、アフィン $\widetilde{C}$ 型への分類を構築する。

実験結果

リサーチクエスチョン

• RQ1 弱いスター還元に関して、アフィン $C$ コxeter群における非キャンセル可能な要素はどのように特徴づけられるか？
• RQ2 タイプ $B$ コxeter群における非キャンセル可能な要素と、アフィン $\widetilde{C}$ 型におけるそれらの関係は何か？
• RQ3 $\widetilde{C}$ における非キャンセル可能な要素の分類は、ヒープ理論的手法と帰納的分解によって達成可能か？
• RQ4 タイプ I およびタイプ II 要素は、$\widetilde{C}$ における非キャンセル可能な要素の集合を構造化するために果たす役割は何か？
• RQ5 非キャンセル可能な要素の分類は、一般化された Temperley–Lieb代数の図式的表現の忠実性証明を支援するか？

主な発見

• タイプ $B$ コxeter群における非キャンセル可能な要素は、可換生成子の積および特定の交互積として完全に特徴づけられ、ファンの未解決の主張が裏付けられる。
• タイプ $\widetilde{C}$ では、非キャンセル可能な要素は $\mathsf{x}_{\mathcal{O}}$ と $\mathsf{x}_{\mathcal{E}}$ の交互積に正確に一致し、無限であるが完全に分類された集合を形成する。
• 分類は、特に生成子のカバー範囲とレイヤー構造に関するヒープに基づく構造的制約を通じて、すべての可能な弱いスター還元を除外することに依存する。
• 証明は、$\widetilde{C}$ 内の任意の非キャンセル可能な要素が、$\mathsf{x}_{\mathcal{O}}$ と $\mathsf{x}_{\mathcal{E}}$ の交互に並べたブロックから構成され、還元可能な構成はあり得ないことを示している。
• この分類は、一般化された Temperley–Lieb代数の図式的表現における忠実性の帰納的証明の基盤をなす。
• この結果により、非キャンセル可能な要素は、Temperley–Lieb代数における単項式基底の計算が良好に動作する要素であることが示された。