[論文レビュー] On the $3$-representations of groups and the $2$-categorical Traces

Wei Wang|arXiv (Cornell University)|Feb 14, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用数 3

ひとこと要約

本稿では、厳密3圏における有限群の3表現を導入し、1自己準同型の2圏的トレースを定義する。また、群の元の中心化部分群がこのトレースに圏論的に作用することを示す。主な貢献は、誘導された厳密2圏的作用に対する3キャラクター公式の導出であり、トレースと群作用の2圏化により、群キャラクター理論を高次圏へ一般化する。

ABSTRACT

To $2$-categorify the theory of group representations, we introduce the notions of the $3$-representation of a group in a strict $3$-category and the strict $2$-categorical action of a group on a strict $2$-category. We also $2$-categorify the concept of the trace by introducing the $2$-categorical trace of a $1$-endomorphism in a strict $3$-category. For a $3$-representation $ρ$ of a group $G$ and an element $f$ of $G$, the $2$-categorical trace $\mathbb{T}r_2 ρ_f $ is a category. Moreover, the centralizer of $f$ in $G$ acts categorically on this $2$-categorical trace. We construct the induced strict $2$-categorical action of a finite group, and show that the $2$-categorical trace $ \mathbb{T}r_2$ takes an induced strict $2$-categorical action into an induced categorical action of the initia groupoid. As a corollary, we get the $3$-character formula of the induced strict $2$-categorical action.

研究の動機と目的

• 有限群の3表現を厳密3圏において導入し、2圏の群作用を厳密2圏的群作用として2圏化することで、群表現理論を2圏化すること。
• 厳密3圏における1自己準同型の2圏的トレースを定義することで、線形作用素のトレースの概念を2圏に一般化すること。
• 群の元の中心化部分群が3表現の2圏的トレースに圏論的に作用することを確立すること。
• 有限群の誘導された厳密2圏的作用を構成し、2圏的トレースが初期群固有の圏への誘導された圏的作用へ写像されることを示すこと。
• 誘導された厳密2圏的作用に対する3キャラクター公式を導出し、古典的キャラクター理論を高次圏的構造へ拡張すること。

提案手法

• 有限群 G の3表現を、G のデロープの厳密3ファンクターとして定義する。これは、群の元に1同型、対に2同型、三重に3同型を割り当て、3コサイクル条件を満たす。
• 2圏的トレース Tr₂ρ_f を、3表現における1自己準同型 ρ_f に関連する圏として定義する。2ゲージ理論および高次圏論におけるトレース構成を用いる。
• 部分群 H から G へのカテゴリカルな誘導プロセスを用いて、2圏上の誘導された厳密2圏的作用を構成する。これは古典的誘導表現構成の一般化である。
• 2圏的トレースが誘導を保存することを証明し、誘導された2圏的作用が初期群固有の圏への誘導された圏的作用へ写像されることを示す。
• 3同型の結合性と3圏における交換法則を用いて、中心化部分群の作用を定義する自然同型の整合性を検証する。
• 3コサイクル条件を幾何学的に、5つの正四面体からなる4単体の境界における恒等3矢印として解釈する。

実験結果

リサーチクエスチョン

• RQ1 群表現理論を、厳密3圏における3表現を用いてどのように2圏化できるか？
• RQ2 2圏の文脈において、線形作用素のトレースの正しい高次圏的一般化とは何か？
• RQ3 群の元の中心化部分群は、3表現の2圏的トレースにどのように作用するか？
• RQ4 誘導された厳密2圏的作用の2圏的トレースの構造は何か？
• RQ5 誘導された2圏的作用に対する3キャラクター公式とは何か？また、古典的キャラクター理論とどのように関係するか？

主な発見

• 3表現における1自己準同型 ρ_f の2圏的トレース Tr₂ρ_f は、ベクトル空間ではなく圏である。これは、古典的トレースを高次圏へ一般化するものである。
• f ∈ G の中心化部分群は、明確に定義された2同型を介して Tr₂ρ_f に圏論的に作用する。これは、共轭関数への中心化部分群作用の高次アナロジーを提供する。
• 2圏的トレース関手は、G の誘導された厳密2圏的作用を初期群固有の圏への誘導された圏的作用へ写像し、誘導構造を保存する。
• 3コサイクル条件は、3表現における3同型の整合性を保証する。幾何学的には、4単体の境界における恒等3矢印として解釈される。
• 誘導された2圏的作用に対する3キャラクター公式は、誘導作用の圏的トレースとして導出され、2キャラクターを高次圏的設定における3キャラクターへ拡張する。
• 自然同型 Γ_k,hg と Γ_kh,g は交換法則により結合性を満たし、中心化部分群の作用がトレース上で整合的であることを確認する。