[論文レビュー] Twisted actions of categorical groups

S. Chatterjee, Amitabha Lahiri+1 more|arXiv (Cornell University)|Apr 25, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用数 5

ひとこと要約

この論文は、カテゴリカル群のねじれ作用を、カテゴリの新しい半直積構成を用いて導入する。これは、ねじれ写像 η を通じて非自明な合成則を含むように、群作用を一般化するものである。また、カテゴリカルなベクトル空間上の表現に関してシュールの補題の類似を確立し、このような表現が部分カテゴリへの制限によって一意に決定されることを示しており、高次表現論における深い構造的制約を明らかにしている。

ABSTRACT

We develop a theory of twisted actions of categorical groups using a notion of semidirect product of categories. We work through numerous examples to demonstrate the power of these notions. Turning to representations, which are actions that respect vector space structures, we establish an analog of Schur's lemma in this context. Keeping new terminology to a minumum, we concentrate on examples exploring the essential new notions introduced.

研究の動機と目的

• 群作用を非自明な合成則を含むように一般化するカテゴリカル群のねじれ作用の理論を構築すること。
• ねじれ写像 η を用いたカテゴリの半直積構成を導入し、より豊かな代数的構造を可能にすること。
• ベクトル空間構造を持つカテゴリ上のカテゴリカル群の線形表現を研究し、特に完全性と一意性の性質に注目すること。
• カテゴリカルなベクトル空間上の表現に関してシュールの補題の類似を証明し、このような表現が部分空間上での振る舞いによって一意に決定されることを示すこと。
• 特にポアンカレ群による場の変換の文脈において、物理的・幾何的動機を詳細な例を通じて探求すること。

提案手法

• 対象および射に群構造を備え、源写像および終点写像を備えたカテゴリとしてカテゴリカル群を定義する。
• 写像 η: Mor(G) × Mor(C) → Mor(G) を用いて、2つのカテゴリの半直積を定義し、群の古典的半直積を一般化する。
• ねじれ作用を合成則 (f2k2) ◦ (f1k1) = (f2 ◦ f1) ◦ η(k2, f1) ◦ k1 によって定式化する。ここで η は群作用と射の合成の間の非自明な相互作用を符号化する。
• 交差モジュールと従来の群表現を用いて、理論を具体的な状況で具体化する例を構成する。
• ベクトル空間構造を保存する関手として、カテゴリカルなベクトル空間上のカテゴリカル群の表現を定義する。
• 源写像の核への制限によって表現が一意に決定されることを示し、恒等式 ρ0(k) = ρ0(1t(k)) を用いる。

実験結果

リサーチクエスチョン

• RQ1 群作用の概念を、射の合成における非自明な振る舞いを含むようにカテゴリカル群に一般化するにはどうすればよいか？
• RQ2 ねじれ写像 η はカテゴリの半直積を定義する上で果たす役割は何か？ また、これにより合成則にどのような影響を与えるか？
• RQ3 カテゴリカルなベクトル空間上のカテゴリカル群の表現に対して、シュールの補題に類似した結果を確立できるか？
• RQ4 カテゴリカル群のベクトルカテゴリ上の表現は、どの程度まで部分カテゴリへの制限によって決定されるか？
• RQ5 これらの構成は、ポアンカレ群による場の変換といった物理的対称性にどのように応用できるか？

主な発見

• ねじれ写像 η を用いたカテゴリの半直積は、豊富な合成則を持つ新たなカテゴリカル群を体系的に構成する手法を提供する。
• カテゴリ上のねじれ作用は、合成則 (f2k2) ◦ (f1k1) = (f2 ◦ f1) ◦ η(k2, f1) ◦ k1 によって特徴づけられ、標準的な作用の合成を一般化する。
• カテゴリカルなベクトル空間上の表現において、源写像の核への制限が、全体の表現を一意に決定する。
• 誘導表現 ρ0 に対して、恒等式 ρ0(k) = ρ0(1t(k)) が成り立ち、射上の作用が対象上の作用によって制約されることを示す。
• 源写像の像に属する射 f に対して、表現 ρ(k, f) の値は、核上の表現 ρ0 によって一意に決定される。
• シュールの補題のカテゴリカルな類似が成り立つ：カテゴリカルなベクトル空間上の完全な表現は、源がゼロである射からなる部分カテゴリ上での振る舞いによって一意に決定される。