[论文解读] Mackey profunctors

D. Kaledin|arXiv (Cornell University)|Dec 10, 2014

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

一句话总结

本文引入了Mackey范畴作为Mackey函子在适合于profinite群的设定下的推广，将代数框架扩展至在profinite设定下处理群代数上的双模。其主要贡献在于建立了一个系统性的理论，通过范畴化结构统一了诱导、限制与共轭操作，从而在等变同伦论与算术几何中实现新应用。

ABSTRACT

We develop the theory of Mackey profunctors, a version of Mackey functors for profinite groups.

研究动机与目标

• 通过使用范畴化结构，将经典的Mackey函子理论推广至profinite群。
• 在连续的、profinite的设定下，形式化诱导、限制与共轭之间的相互作用。
• 提供一个广义Green函子并支持等变上同调理论的范畴框架。
• 建立Mackey范畴的基础性质，包括正合性与对偶性。
• 通过稳健的代数结构，使Mackey范畴在算术几何与等变同伦论中实现应用。

提出的方法

• 通过将离散群替换为profinite群，将Mackey函子的定义适应于profinite群。
• 将Mackey范畴定义为profinite群G的连续G-模范畴之间的范畴化函子。
• 利用范畴化函子的复合来编码诱导与限制作为伴随函子。
• 在profinite设定下应用双陪集公式与Frobenius对偶性。
• 通过Pontryagin对偶性在范畴化框架中实现协变与逆变结构之间的对偶。
• 引入Mackey范畴的范畴并证明其为阿贝尔范畴与完备范畴。

实验结果

研究问题

• RQ1 Mackey函子如何能在profinite群的设定下被推广？
• RQ2 何种范畴结构能捕捉profinite设定下的诱导、限制与共轭？
• RQ3 标准的Mackey同构与对偶性定律在profinite设定下如何表现？
• RQ4 范畴化函子在统一profinite群的等变运算中起何种作用？
• RQ5 Mackey范畴能否在profinite范畴中支持对偶性与正合性？

主要发现

• Mackey范畴被定义为profinite群连续模范畴之间的范畴化函子。
• 该理论在profinite设定下满足双陪集公式与Frobenius对偶性。
• Mackey范畴的范畴是阿贝尔范畴且完备，支持同调代数。
• 通过Pontryagin对偶性在范畴化框架中实现profinite群的对偶定理。
• 该构造广义化了Green函子，并为等变上同调理论提供了基础。
• 该框架使算术几何与等变稳定同伦论中实现新构造成为可能。