[论文解读] A Mackey-functor theoretic interpretation of biset functors

Hiroyuki Nakaoka|arXiv (Cornell University)|Nov 16, 2013

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

一句话总结

本文引入了一个由有限集与群作用构成的2-category $Σ$，使得双集函子可被解释为$Σ$上的特殊一类Mackey函子。通过将Dress的Mackey函子框架推广至包含所有有限群同态的情形，该研究在双集函子与$Σ$上的防缩严格Mackey函子之间建立了范畴等价，从而为全局表示论与双集函子提供了统一的范畴基础。

ABSTRACT

In this article, we consider a formulation of biset functors using the 2-category of finite sets with variable finite group actions. We introduce a 2-category $\mathbb{S}$, on which a biset functor can be regarded as a special kind of Mackey functors. This gives an analog of Dress' definition of a Mackey functor, in the context of biset functors.

研究动机与目标

• 将Mackey函子理论从固定群推广至所有有限群及其同态。
• 提供一个范畴框架，使双集函子自然地作为Mackey函子的一个特殊类出现。
• 利用2-范畴结构，将Dress对Mackey函子的定义推广至双集函子的语境。
• 通过自然同构，在双集函子的范畴与$Σ$上防缩严格Mackey函子的一个全子范畴之间建立自然等价。

提出的方法

• 定义一个2-category $Σ$，其对象为带有有限群作用的有限集，1-态射为等变映射。
• 引入$Σ$-跨度范畴与跨度范畴构造，通过拉回与上推来建模双集运算。
• 构建一个带有双余积与双拉回的2-category $Σ$，使得诱导、限制等运算可表示为1-态射的复合。
• 将$Σ$上的Mackey函子定义为保持双余积与双拉回的函子，从而推广Dress的原始定义。
• 引入“防缩严格”Mackey函子的概念，以捕捉双集函子的本质结构。
• 通过自然同构证明双集函子的范畴与$Σ$上防缩严格Mackey函子的全子范畴之间存在等价。

实验结果

研究问题

• RQ1 如何在2-范畴语境下系统地将双集函子解释为Mackey函子？
• RQ2 一个2-范畴必须具备何种结构，才能支持既推广经典理论又推广全局双集函子的Mackey函子理论？
• RQ3 能否通过2-范畴构造将双集函子的全范畴嵌入到Mackey函子的范畴中？
• RQ4 双余积与双拉回在定义群作用2-范畴上的Mackey函子时起什么作用？
• RQ5 在适当定义的2-范畴上，双集函子与某一类特殊Mackey函子之间是否存在自然等价？

主要发现

• 带有有限群作用的有限集构成的2-category $Σ$，为推广经典与全局理论的Mackey函子定义提供了自然的范畴设定。
• 双集函子被证明与$Σ$上的防缩严格Mackey函子等价，从而建立了范畴上的统一。
• $Σ$的构造使得诱导、限制、膨胀与防缩等基本双集运算获得了2-范畴的解释。
• 本文证明，将双集函子映射到其在$Σ$上对应的Mackey函子的赋值过程，产生一个自然同构，从而确认了全忠实性与本质满性。
• $Σ$-集的跨度范畴的稳定化导出一个行为良好的Mackey函子范畴，完整捕捉了双集函子的结构。
• 双集函子与$Σ$上防缩严格Mackey函子之间的等价性，证实了2-范畴框架对于全局Mackey函子理论而言既充分又必要。