[論文レビュー] The 2-braid group and Garside normal form

Lars Thorge Jensen|arXiv (Cornell University)|May 20, 2015

Algebraic structures and combinatorial models参考文献 13被引用数 4

ひとこと要約

本稿は、ヘッケ代数のカテゴライズ化された左セルモジュールにおける2ブraid群の作用を通じて、正のブレイドのガルシード正規形の圏論的実現を確立する。ソルゲル・ビモジュールのホモトピー圏における perverse コホモロジーとアンカーの分析により、著者らは有限型における2ブレイド群の忠実性を証明し、任意の型における正のブレイドモノイドからブレイド群への標準的写像の単射性を示す新しい証明を与える。

ABSTRACT

We investigate the relation between the Garside normal form for positive braids and the $2$-braid group defined by Rouquier. Inspired by work of Brav and Thomas we show that the Garside normal form is encoded in the action of the $2$-braid group on a certain categorified left cell module. This allows us to deduce the faithfulness of the $2$-braid group in finite type. We also give a new proof of Paris' theorem that the canonical map from the generalized braid monoid to its braid group is injective in arbitrary type.

研究の動機と目的

• 正のブレイドのガルシード正規形の圏論的シャドウを2ブレイド群フレームワーク内に理解すること。
• 有限型コクセター群におけるカテゴライズ化された左セルモジュールへの2ブレイド群作用の忠実性を確立すること。
• 任意の型における正のブレイドモノイドからブレイド群への標準的写像の単射性を示す、パリスの定理の新しい証明を与えること。
• 2ブレイド群が、非忠実な表現をカテゴライズ化するモジュールへの忠実な作用を有することから、そのデカテゴリフィケーションとは strictly より多くの情報を含むことを示すこと。

提案手法

• スォルゲルの Hom 公式を用いて、非分解的ソルゲル・ビモジュール間の次数1射影を分析し、この設定においてカジダン＝ルシュティグ基底の乗法を再表現すること。
• ソルゲル・ビモジュールの圏を用いてヘッケ代数のカテゴライズ化された左セルモジュールを構成し、セルモジュール構成を模倣すること。
• コホモロジー的構造を分析し、ガルシード要因を検出するために、ソルゲル・ビモジュールのホモトピー圏に perverse フィルトレーションを導入すること。
• ルオイエール複体の最高の非自明な perverse コホモロジー群におけるビモジュールとしての「アンカー」の概念を定義し、ガルシード因子分解に関する情報を符号化すること。
• ガルシード要因の長さに関する帰納法を用いて、正のブレイドの2ブレイド群作用からガルシード正規形を再構成すること。
• ルオイエール複体の自己同値構造とブレイド関係を用いて、モジュールへの作用からブレイド語を回復すること。

実験結果

リサーチクエスチョン

• RQ1 正のブレイドのガルシード正規形は、カテゴライズ化された左セルモジュールへの2ブレイド群作用にどのように反映されるか？
• RQ2 有限型コクセター群におけるカテゴライズ化された左セルモジュールへの2ブレイド群作用の忠実性は確立可能か？
• RQ3 カテゴライズ化された手法を用いて、正のブレイドモノイドからブレイド群への標準的写像の単射性を証明できるか？
• RQ4 カテゴライズ化されたブレイド群作用は、そのデカテゴリフィケーションと比較して strictly より多くの情報を含むか？

主な発見

• 正のブレイドのガルシード正規形は、そのカテゴライズ化された左セルモジュールへの作用における最高の非自明な perverse コホモロジー群に符号化されている。
• 正のブレイドにおけるガルシード要因の数は、そのルオイエール複体の最高の非自明な perverse コホモロジー群の次数に等しい。
• 2ブレイド群は有限型においてカテゴライズ化された左セルモジュールに忠実に作用する。これはルオイエールの予想を裏付ける。
• 2ブレイド群の有限型における忠実性は、モジュールへの作用からガルシード正規形を再構成できるという事実に起因する。
• パリスの定理の新しい証明が与えられる：正のブレイドモノイドからブレイド群への標準的写像は、任意の型において単射である。
• カテゴライズ化された左セルモジュールは、忠実でない表現をカテゴライズ化する twisted reduced Burau 表現を分類するが、それでもブレイド群の忠実な作用を有する。これは、カテゴライズ化された作用がデカテゴリフィケーションよりも strictly より多くの情報を含むことを示している。