[論文レビュー] Duflo involutions for 2-categories associated to tree quivers

Xiaoting Zhang|arXiv (Cornell University)|Jan 13, 2015

Algebraic structures and combinatorial models参考文献 8被引用数 11

ひとこと要約

本稿は、任意の有限的2カテゴリに対して一般化されたDuflo自己同型の定義を導入し、元々ファイアット2カテゴリに対して定義された概念を拡張する。この研究では、木クイバーに関連する2つのクラスの有限的2カテゴリにおいて、このような自己同型の存在を証明し、それらのうち以前に研究されていなかった新しいクラスを含む。さらに、それぞれの状況において主2表現の背後にある代数のクイバーを明示的に記述する。

ABSTRACT

Motivated by the definition of Duflo involution for fiat $2$-categories, we define certain analogues of Duflo involution for arbitrary finitary $2$-categories and show that such Duflo involutions exist for two classes of finitary $2$-categories associated with tree path algebras. Additionally, we describe the quiver for the algebra underlying the principal $2$-representation for these two classes of finitary $2$-categories.

研究の動機と目的

• ファイアット2カテゴリに限らない一般の有限的2カテゴリへのDuflo自己同型の概念の拡張。
• 木パス代数から生じる2つの自然なクラスの有限的2カテゴリにおけるDuflo自己同型の存在の確立。
• これらの2カテゴリにおける主2表現の背後にある代数のクイバーの記述。
• 木クイバーのパス代数に対して、符号付きハッセ図とイデアル順序集合を用いた組合せ論的枠組みの提供。
• 左正則加群と右正則加群のテンソル積から構成される自然なA-A-両側加群を用いて、2-自己準同型とセル構造を統一的に記述。

提案手法

• ファイアットの場合に観察された性質に基づき、特に特定の双対性およびセル所属性を持つ非分解的1-自己準同型に注目して、有限的2カテゴリにおけるDuflo自己同型の抽象的定義を提案。
• 符号付きハッセ図を用いて、木クイバーのパス代数における両側イデアルの順序集合を符号化し、セル構造の組合せ論的解析を可能にする。
• アーベル化された主2表現における単純対象の明示的射影提示を用いて、1-自己準同型の構造とその関係を分析。
• 左正則A加群と右正則A加群のテンソル積として得られる自然なA-A-両側加群を構成し、新しい2カテゴリのすべての1-自己準同型をその部分加群として含む。
• イデアル順序集合からの部分順序および被覆関係を加群構造に拡張し、背後にある代数のクイバーを記述。
• イデアルの鎖と包含関係から導かれるすべての必要な可換性関係を課すことにより、クイバーの記述を完成。

実験結果

リサーチクエスチョン

• RQ1 一般の有限的2カテゴリ（特にファイアットでない場合を含む）において、Duflo自己同型を意味的に定義できるか？
• RQ2 木クイバーに関連する有限的2カテゴリ、特に非ファイアットな状況においてDuflo自己同型は存在するか？
• RQ3 このような2カテゴリにおける主2表現の背後にある代数のクイバーを明示的に記述する方法は何か？
• RQ4 自然なA-A-両側加群は、2-自己準同型の構造とセル関係をどのように記述するか？
• RQ5 非ファイアット2カテゴリにおいてDuflo自己同型がセルの外にある可能性はあるか。その場合、どのように特徴づけられるか？

主な発見

• Duflo自己同型は、木クイバーに関連する2つのクラスの有限的2カテゴリのすべての左セルにおいて存在する。これは、以前に研究されていなかった新しいクラスを含む。
• 一般の有限的2カテゴリの場合、Duflo自己同型はセルの外にある可能性がある。これはファイアットの場合とは対照的であり、ファイアットの場合には常にセル内に存在する。
• 主2表現の背後にある代数のクイバーは、両方の2カテゴリクラスについて明示的に記述されており、すべての非分解的部分加群と被覆関係が特定されている。
• 左正則A加群と右正則A加群のテンソル積として構成された自然なA-A-両側加群は、2カテゴリのすべての1-自己準同型を部分加群として含み、2-自己準同型を分析する統一的枠組みを提供する。
• イデアルの部分順序が加群レベルに拡張され、その結果得られるクイバーにはすべての関連する1-自己準同型とその関係が含まれており、包含鎖によって可換性が保証されている。
• 3頂点の例では、14個の同型でない非分解的部分加群が特定され、主2表現のクイバーにはこれらのすべてが頂点として含まれ、指定された矢印と関係が明記されている。