[論文レビュー] Simple transitive $2$-representations and Drinfeld center for some finitary $2$-categories

Xiaoting Zhang|arXiv (Cornell University)|Jun 8, 2015

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

ひとこと要約

本稿は、木パス代数に付随する2カテゴリ、歪み付きテンソル関手を用いて構成された新しい2カテゴリ（A型ダイキン図形のクイバー代数から）、および切断多項式環の自己同型から生じるファイアット2カテゴリの3つのクラスについて、単純なトランスチティブ2表現を分類し、ドリンフェルト中心を計算する。最後のケースでは、セル2表現でない単純なトランスチティブ2表現が存在し、ドリンフェルト中心が非自明であることが示され、従来の手法の範囲を超えて分類結果が拡張される。

ABSTRACT

We classify all simple transitive $2$-representations for two classes of finitary $2$-categories associated with tree path algebras and also for one class of fiat $2$-categories associated with truncated polynomial rings. Additionally, we compute the Drinfeld centers for all these $2$-categories.

研究の動機と目的

• 木パス代数に付随するファイナリティ2カテゴリのすべての単純なトランスチティブ2表現を分類すること。
• クイバー代数上の歪み付き関手を用いて構成された新しいファイナリティ2カテゴリのクラスを導入・解析すること、特にA型ダイキン図形のクイバーに対して。
• 切断多項式環の自己同型から生じるファイアット2カテゴリの単純なトランスチティブ2表現を分類し、ドリンフェルト中心を計算すること。
• セル2表現の枠組みを超えて、単純なトランスチティブ2表現の分類を拡張すること、特に強い正則性仮定が成立しない場合に注目する。
• 3つの2カテゴリクラスすべてのドリンフェルト中心を計算し、構造に応じて小さな中心と大きな中心の両方が現れることを明らかにすること。

提案手法

• 単純なトランスチティブ2表現の分類は、1-自己準同型が対象に作用する様子を分析し、特に木パス代数とA型ダイキン図形のクイバー代数の構造に注目することで達成される。
• 新しい2カテゴリでは、関手が恒等双加群とのテンソル積で定義され、左作用が代数自己準同型のクラスにより歪められ、セル構造は組合せ論的手法を用いて計算される。
• ドリンフェルト中心は、中心の対象を (F, Φ) の形に特定する。ここで F は1-自己準同型、Φ はねじれを含む整合性条件を満たす自然同型である。
• 自然変換の行列表現を用いて自然性条件を符号化し、行列 M_Φ と D_s を含む方程式系を導出し、中心の構造を特定する。
• 分類は、2-自己準同型データから導かれる行列の固有値と冪零性を分析することに依存し、特に ζ^i_p = 1 ならば F_i = F_0 であることを示す。
• ドリンフェルト中心が自明であるのは、対角成分が0の上三角行列の代数が冪零である場合であり、これにより固有値の制約が導かれる。

実験結果

リサーチクエスチョン

• RQ1 木パス代数に付随する2カテゴリのすべての単純なトランスチティブ2表現は、セル2表現と同値であるか？
• RQ2 A型クイバーのクイバー代数上の歪み付き関手で構成された2カテゴリのドリンフェルト中心は、木パス代数の場合とどのように異なるか？
• RQ3 強い正則性仮定が成立しないファイアット2カテゴリにおいて、セル2表現でない単純なトランスチティブ2表現が存在しうるか？
• RQ4 切断多項式環の2カテゴリにおけるドリンフェルト中心の構造は何か？
• RQ5 行列 M_Φ の固有値は、ドリンフェルト中心内の可能な1-自己準同型にどのような制約を課えるか？

主な発見

• 木パス代数に付随する2カテゴリでは、ドリンフェルト中心は自明であり、スカラー倍の恒等写像のみからなる。これは非常に小さい中心を示している。
• A型クイバーの歪み付き関手で構成された新しい2カテゴリでは、ドリンフェルト中心は大きく非自明であり、行列 M_Φ の固有値は 1, ζ, ζ², ..., ζ^{k−1} であり、それぞれの重複度は s である。
• 切断多項式環の自己同型から生じるファイアット2カテゴリでは、セル2表現とは同値でない複数の単純なトランスチティブ2表現が存在し、セル2表現が単純なトランスチティブ2表現をすべて尽くさないことが示された。
• 切断多項式環のケースにおける単純なトランスチティブ2表現の分類は、強い正則性仮定が成立しないにもかかわらず、[21] で知られている結果に帰着される。
• 行列 M_Φ は方程式 M_Φ · diag(ζ^{i_p}) = diag(ζ^{i_p}) · M_Φ を満たし、これによりすべての p に対して ζ^{i_p} = 1 が得られ、F_i = F_0 が導かれ、結果として F は F_0 の直和となる。
• 切断多項式環2カテゴリのドリンフェルト中心は非自明であり、行列 D_s · M_Φ の固有値は 1, ζ, ..., ζ^{k−1} であり、それぞれの重複度は s である。これは豊富な構造を示している。