[論文レビュー] Sortable elements in infinite Coxeter groups

Nathan Reading, David E Speyer|arXiv (Cornell University)|Mar 18, 2008

Algebraic structures and combinatorial models参考文献 23被引用数 5

ひとこと要約

この論文は、有限から任意の無限次元コクセター群へと、整列可能要素およびカンブリアン・ファンの理論を一様な代数的・幾何的道具を用いて拡張する。スケューメトリック形式 $\omega_c$ と射影 $\pi_{\downarrow}^c$ を導入し、$c$-整列可能要素を特徴付け、カンブリアン合同関係のファイバーを記述することで、一様なパターン回避に基づく特徴付けを可能にし、無限型でも幾何学的構成が可能なカンブリアン・ファンの構築を可能にする。

ABSTRACT

In a series of previous papers, we studied sortable elements in finite Coxeter groups, and the related Cambrian fans. We applied sortable elements and Cambrian fans to the study of cluster algebras of finite type and the noncrossing partitions associated to Artin groups of finite type. In this paper, as the first step towards expanding these applications beyond finite type, we study sortable elements in a general Coxeter group W. We supply uniform arguments which transform all previous finite-type proofs into uniform proofs (rather than type by type proofs), generalize many of the finite-type results and prove new and more refined results. The key tools in our proofs include a skew-symmetric form related to (a generalization of) the Euler form of quiver theory and the projection \pidown^c mapping each element of W to the unique maximal c-sortable element below it in the weak order. The fibers of \pidown^c essentially define the c-Cambrian fan. The most fundamental results are, first, a precise statement of how sortable elements transform under (BGP) reflection functors and second, a precise description of the fibers of \pidown^c. These fundamental results and others lead to further results on the lattice theory and geometry of Cambrian (semi)lattices and Cambrian fans.

研究の動機と目的

• 有限から任意の無限次元コクセター群への整列可能要素およびカンブリアン・ファンの理論の一般化。
• これまでの個別ケース別解析によって確立された結果について、一様で型に依存しない証明の提供。
• スケューメトリック形式 $\omega_c$ を用いた一様なパターン回避条件により、$c$-整列可能要素を特徴付けること。
• 射影 $\pi_{\downarrow}^c$ のファイバーをカンブリアン合同関係の同値類として記述し、カンブリアン半順序の組合せ論的および幾何学的理解を可能にすること。
• 有限型を超えたクラスタ代数とカンブリアン・ファンの関係を拡張する基盤を築くこと。

提案手法

• コクセター系の根系上にスケューメトリックな双線形形式 $\omega_c$ を導入し、クーヴァー理論のオイラー形式を一般化する。
• 各群元を弱順序においてそれ以下の最大の $c$-整列可能要素へ写像する射影 $\pi_{\downarrow}^c: W \to W$ を定義する。
• $c$-整列語を用いて各要素に対し単体的錐を定義し、カンブリアン・ファンの基盤を形成する。
• 各反射列に沿った $\omega_c$-ペアリングが非負であり、反射が可換でない場合には厳密に正であることで、$c$-整列可能要素が特徴付けられることを示す。
• $\pi_{\downarrow}^c$ のファイバーが有限であり、有限個のチェック可能な条件のリストによって完全に記述されることを確立し、カンブリアン合同関係の完全な記述を得る。
• 整列語の組合せ論とアライメントを制御することで、特にティーツ錐内でのカンブリアン・ファンの幾何学的性質を制御する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして $c$-整列可能要素の概念を有限から無限次元コクセター群へ一様に拡張できるか？
• RQ2 射影 $\pi_{\downarrow}^c$ のファイバーの正確な代数的および幾何学的特徴付けは何か？
• RQ3 $c$-整列可能要素の反射列は、双線形形式 $\omega_c$ に対してどのように振る舞うか？
• RQ4 無限次元コクセター群においてカンブリアン・ファンを幾何学的に構成可能か？また、ティーツ錐に対するその構造はいかなるものか？
• RQ5 要素の $c$-整列語とその $c$-整列可能状態との間にはどのような関係があるか？

主な発見

• 本論文は、スケューメトリック形式 $\omega_c$ を用いた一様なパターン回避による特徴付けを提供し、これまでの型別に依存する構成に代わる、任意のコクセター群における $c$-整列可能要素の特徴付けを実現する。
• $\pi_{\downarrow}^c$ のファイバーが有限であり、有限個のチェック可能な条件のリストによって完全に記述されることを示し、カンブリアン合同関係クラスの完全な記述が得られた。
• $c$-整列可能要素の反射列は、すべての $i \leq j$ に対して $\omega_c(\beta_i, \beta_j) \geq 0$ を満たし、対応する反射が可換でない限り厳密に正である。
• $c$-整列可能要素によって定義される錐の集合をティーツ錐と交差させると、良好に整った、面対面の分解が得られ、一般化されたファン構造を示唆する。
• 射影 $\pi_{\downarrow}^c$ は、弱順序において各要素以下の唯一の最大の $c$-整列可能要素へ写像する。この写像は、カンブリアン半順序のラティス構造と整合する。
• 本理論により、文献に既に存在する型別に特化した結果について、一様な証明が可能となり、個別ケース別議論に代わる一般的で構造的な推論が可能になった。