[论文解读] Global Mackey functors with operations and n-special lambda rings

Nora Ganter|arXiv (Cornell University)|Jan 20, 2013

Advanced Topology and Set Theory参考文献 42被引用 11

一句话总结

本文引入带有幂运算的全局Mackey函子，统一了等变上同调中的代数结构与λ环。通过以全局幂函子为参数的τ-环，推广了特殊λ环，将Schur-Weyl同构扩展至n-特殊λ环、子群类函数及椭圆上同调等情境，其应用涵盖表示理论与形式群。

ABSTRACT

Systematically using the language of groupoids, we survey the theory of global Mackey functors, global Green functors and global power functors. Given a global power functor, we study rings with similar operations. The example of n-class functions leads to the notion of an n-special lambda ring.

研究动机与目标

• 将带有幂运算的全局Mackey函子形式化为真正等变上同调理论系数系统的代数模型，包含上同调运算。
• 将Hoffman的τ-环框架从表示环推广至任意全局幂函子，从而得到具有额外结构的新一类非特殊λ环。
• 将Schur-Weyl同构扩展至新情境，包括n个可交换元素的n元组、子群类函数，以及椭圆情形下的对称theta函数。
• 通过Sergeev-Yamaguchi对偶性，建立全局幂函子与已知代数结构（如G-模形式函数、Rezk的椭圆λ-环、超λ-环）之间的联系。
• 基于群胚提出全局Mackey函子的公理化体系，与Webb及Bouc的定义进行比较与调和，并在标准条件下证明其等价性。

提出的方法

• 使用有限群胚的语言定义全局Mackey函子，其取值为阿贝尔群，且满足拉回与上推公理。
• 将全局幂函子定义为配备由对称群$S_n$索引的幂运算的全局Mackey函子，其模型基于$S_n$对n重积的作用。
• 将Hoffman的τ-环构造应用于全局幂函子$M$，通过由$\bigoplus_{n\geq 0} M(S_n)$或其对偶$M(S_n)^*$参数化的运算来定义τ-环。
• 为合适的$M$建立广义Schur-Weyl同构$\bigoplus_{n\geq 0}^\wedge M(S_n) \xrightarrow{\cong} \lim_{m\in\mathbb{N}} M(U(m))$，推广经典结果。
• 分析幂运算在$p$-进Tate模上的作用，并利用形式群的同源性描述其行为，借鉴Ando等人的工作。
• 将基于群胚的全局Mackey函子定义与Webb的定义进行比较，证明在标准假设下（特别是当类$\mathcal{X}$与$\mathcal{Y}$包含所有有限群时）两者等价。

实验结果

研究问题

• RQ1 如何将等变上同调中的幂运算代数化为全局Mackey函子上的运算？
• RQ2 对于全局幂函子$M$，由$\bigoplus_{n\geq 0} M(S_n)$参数化的精确代数结构是什么？它如何推广特殊λ-环？
• RQ3 Schur-Weyl同构能否超越表示环，推广至其他全局幂函子（如n-类函数或G-模形式函数）？
• RQ4 幂运算如何与形式群律相互作用，特别是在$p$-进Tate模与同源性的背景下？
• RQ5 基于群胚的全局Mackey函子定义与Webb原始形式之间的等价性在多大程度上成立？其技术条件是什么？

主要发现

• 全局幂函子为真正等变上同调理论的系数系统（包含K-理论、上同调与Morava K-理论）提供了统一的代数框架，且包含幂运算。
• 在全局幂函子$M$上构造的τ-环产生具有额外结构的非特殊λ-环，推广了特殊λ-环与β-环。
• 广义Schur-Weyl同构$\bigoplus_{n\geq 0}^\wedge M(S_n) \xrightarrow{\cong} \lim_{m\in\mathbb{N}} M(U(m))$对由n-类函数与G-模形式函数导出的$M$成立。
• 对于n-类函数的全局幂函子，所得到的τ-环结构对应于n-特殊λ-环，能够捕捉n个可交换元素n元组的特征数据。
• 幂运算在$L = \widehat{\mathbb{Z}}_p^n$上的作用通过形式群的同源性来描述，将[And95]与[AHS04]的结果推广至全局设定。
• 当类$\mathcal{X}$与$\mathcal{Y}$包含所有有限群时，本文建立了基于群胚的全局Mackey函子定义与Webb定义之间的完全等价性，验证了新形式化体系作为稳健推广的有效性。