[論文レビュー] Weyl groupoids with at most three objects

Michael Cuntz, I. Heckenberger|ArXiv.org|May 13, 2008

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

この論文は、一般化された根系のカテゴリー的枠組みを用いて、有限で非可約なウェイル群コアの、3個以下の対象をもつものについて分類する。Cartanスキームとウェイル群コアを導入し、すべてのこのような群コアが同一のCartan行列を持つ標準的ケースか、または正確に9つの例外ケースに分類されることを示す。安定化子群は、$B_2$、$G_2$、または $A_1 \times A_1$ などの特定のタイプのコックスター群である。分類により、非標準的ケースは有限個であることが明らかになり、2対象の標準的ケースは無限に存在する。

ABSTRACT

We adapt the generalization of root systems of the second author and H. Yamane to the terminology of category theory. We introduce Cartan schemes, associated root systems and Weyl groupoids. After some preliminary general results, we completely classify all finite Weyl groupoids with at most three objects. The classification yields that there exist infinitely many standard, but only 9 exceptional cases. Key words: Nichols algebra, reflection, root system, Weyl groupoid

研究の動機と目的

• カテゴリー論を用いて根系とウェイル群を一般化し、基礎的構造としてCartanスキームとウェイル群コアを導入すること。
• 3個以下の対象をもつすべての有限で非可約なウェイル群コアを分類し、標準的ケースと例外ケースを区別すること。
• 非対角型のニコルズ代数から生じる根系が、標準的対角型枠組みでは実現できないケースを特定すること。
• このようなウェイル群コアにおける対象の安定化子群（Hom(a)）を特徴づけ、それが特定のタイプのコックスター群であることを示すこと。

提案手法

• 対象の有限集合 A 上にインデックスづけられた一般化されたCartan行列の族として、一般化された根系を形式化し、反射写像が対称性および対合の公理を満たすように定義する。
• 各対象とCartan行列に関連する反射によって生成される群コアとしてウェイル群コアを導入し、対象集合上の反射作用によって射が定義される。
• マツモトの定理とコックスター関係を適用してウェイル群コアの構造を解析し、特に有限性と可約性の条件に注目する。
• 対象変更図とディンキン図の技法を用いて根系を分類し、特に非可約の場合に焦点を当てる。
• Cartan行列の成分と反射関係に基づくケース・バイ・ケースの解析を用いて、無限族や一貫性のないコックスター関係を除外する。
• 論文[HY08]の定理2.6に依拠し、ウェイル群コアが反射によって生成され、コックスター関係を満たすことが、主要な技術的道具である。

実験結果

リサーチクエスチョン

• RQ1 3個以下の対象をもつすべての有限で非可約なウェイル群コアは何か。それらはどのように分類できるか。
• RQ2 これらのウェイル群コアのうち、1つのCartan行列によって定義される標準的ケースはどれか。例外ケースはいくつ存在するか。
• RQ3 非対角型のニコルズ代数から生じる根系は、非標準的Cartanスキームのウェイル群コアとして実現可能か。
• RQ4 このようなウェイル群コアにおける対象の安定化子群（Hom(a)）の可能性は何か。それらが実現するコックスター型は何か。
• RQ5 固定された対象数に対して、非標準的で非可約かつ連結なウェイル群コアは有限個に限られるか。

主な発見

• 3個以下の対象をもつ有限で非可約なウェイル群コアのうち、正確に9つが例外ケースであり、すべて標準的ケースとは異なる。
• 2対象の標準的ウェイル群コアは無限に存在するが、3対象の非可約かつ連結なウェイル群コアはすべてランク ≤ 4 である。
• 有限で非可約なウェイル群コアにおける任意の対象 a の安定化子群 Hom(a) はコックスター群であり、ケースに応じて $B_2$、$G_2$、$B_3$、または $A_1 \times A_1$ のタイプに属する。
• 3対象のウェイル群コアでは、根系が標準的であるための必要十分条件は、Cartan行列が $B_4$、$C_4$、$D_4$、$F_4$ のタイプであり、特定の対象変更図を持つことである。
• 分類により、非対角型のニコルズ代数から得られる根系は、非標準的Cartanスキームを生じさせ、これは対角型設定では実現不可能であることが明らかになった。
• 3対象の場合、すべての有限で非可約な根系は標準的であり、その対象変更図はディンキン型によって一意に定まる：$B_4/C_4$ は図1,3 2、$D_4$ は1,3,4 2、$F_4$ は1 2である。