[論文レビュー] Diagrammatics for Coxeter groups and their braid groups

Ben Elias, Geordie Williamson|arXiv (Cornell University)|May 20, 2014

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

ひとこと要約

この論文は、装飾付き平面グラフを用いてコクセター群およびブレッド群の2-群のモノイダル図式的表現を提供し、古典的なコクセター表現を拡張する。ブレッド群またはコクセター群が圏上で厳密に作用するための単純な基準——ザモロジキョフ関係の検証——を確立し、トポロジカルなセル複体モデルとホモトピー論的厳密化を用いて、厳密なカテゴリカル作用の検証を効率的に行える。

ABSTRACT

We give a monoidal presentation of Coxeter and braid 2-groups, in terms of decorated planar graphs. This presentation extends the Coxeter presentation. We deduce a simple criterion for a Coxeter group or braid group to act on a category.

研究の動機と目的

• 装飾付き平面グラフを用いてコクセター群およびブレッド群の2-群のモノイダル図式的表現を提供すること。
• 古典的なコクセター表現を、カテゴライズ化された群作用に適した枠組みへ拡張すること。
• ブレッド群またはコクセター群が圏上で厳密に作用するための実用的な基準を確立し、すべての高次の整合性条件を検証する必要を回避すること。
• 3次元スケルトン近似を介して、群作用の代数的構造とトポロジカルなセル複体、およびホモトピー論的厳密化を結びつけること。
• 有限および無限のコクセター系に対して、特に既存のブレッド群の厳密作用に関する結果を一般化・精緻化すること。

提案手法

• 生成子が辺に対応し、関係が2-セルおよび3-セルに対応する装飾付き平面グラフを用いて、コクセター群およびブレッド群の2-群oidモデルを構成する。
• サルヴェッティ複体およびその普遍被覆を用いて、ブレッド群の分類空間およびその普遍被覆をモデル化する。
• コクセター複体の普遍被覆の3次元スケルトン近似を定義し、それがコクセター複体の3次元スケルトンにホモトピー的に再び収縮できることを示す。
• 回転（r）、反転（f）、ザモロジキョフ（Z）の3つの重要な3-セルを導入し、高次整合性データを符号化する。
• 冗長な3-セルを除去できることを示し、ホモトピー型を変えずに、厳密化のための最小複体が得られることを示す。
• 厳密作用が存在するための必要十分条件が、ザモロジキョフ関係が成り立つことであることを証明し、厳密性の検証を1つの関係に簡略化する。

実験結果

リサーチクエスチョン

• RQ1 装飾付き平面グラフを用いて、コクセター群およびブレッド群の2-群のモノイダル表現をどのように構成できるか？
• RQ2 圏上でブレッド群の厳密作用を保証するための最小限の関係の集合は何か？
• RQ3 サルヴェッティ複体およびその普遍被覆のトポロジカル構造は、群作用の厳密化とどのように関係するか？
• RQ4 ザモロジキョフ関係は、ブレッド群作用の厳密性を完全に特徴づける基準として機能できるか？
• RQ5 ホモトピー論的厳密化は、どの程度図式的セル複体を介して捉えることができるか？

主な発見

• ブレッド群が圏上で厳密に作用するための必要十分条件は、ザモロジキョフ関係が成り立つことである。これは、検証可能な単一の条件を提供する。
• コクセター系に対するサルヴェッティ複体の普遍被覆は、コクセター複体の3次元スケルトンにホモトピー的に再び収縮可能である。
• 図式的複体内の冗長な3-セルは、ホモトピー型を変えずに除去可能であり、これは厳密化のための最小モデルをもたらす。
• この構成により、3次元スケルトン近似を介してブレッド群の分類空間の図式的実現が得られる。
• ガルシード構造を用いて、デリーニのおよびディニ・ミシェルの正のブレッドモノイドに関する結果を、任意のコクセター群へ一般化する。
• トポロジカルモデルにより、高次整合性データをすべて検証する必要なく、組合せ論的で図式的な方法で厳密な群作用を検証可能となる。