[论文解读] 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) 引入两个范畴的半直积，推广经典群的半直积。
• 通过复合规则 (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)) 成立，表明态射上的作用受对象上作用的约束。
• 当源在目标映射像中时，表示 ρ(k, f) 在态射 f 上的取值由 ρ0 在核上的表示唯一确定。
• 范畴类比舒尔引理由成立：范畴向量空间上的不可约表示由其在源为零的态射子范畴上的行为唯一确定。