[论文解读] Dress induction and the Burnside quotient Green ring

Ian Hambleton, Laurence R. Taylor+1 more|arXiv (Cornell University)|Mar 27, 2008

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

一句话总结

本文引入了Burnside商Green环作为Burnside环的最小商环，该商环保留了Green环结构并作用于给定的Mackey函子，从而实现了对有限与无限群K-理论和L-理论的精细计算。研究证明，Green环的Dress生成集与其实Burnside商环的Dress生成集等价，由此导出了在RG-Morita和(RG,ω)-Morita等范畴上的加法函子的超可计算性结果，应用包括2-进完备化和手术障碍群。

ABSTRACT

We define and study the Burnside quotient Green ring of a Mackey functor. Some refinements of Dress induction theory are presented, together with applications to computation results for $K$-theory and $L$-theory of finite and infinite groups.

研究动机与目标

• 定义并研究Burnside商Green环作为保留Green环结构且作用于给定Mackey函子的Burnside环的最小商环。
• 通过引入Green环及其商环的Dress生成集概念，对Dress归纳理论进行细化。
• 利用新框架建立有限与无限群K-理论和L-理论的可计算性结果。
• 将理论扩展至伪Mackey函子以及RG-Morita和(RG,ω)-Morita等范畴上的加法函子。
• 证明某些L-理论群的2-进完备化是2-超可计算的，即使在非定向情形下亦成立。

提出的方法

• 将Burnside商Green环$\mathcal{A}_{\mathcal{M}}$定义为保留Green环结构且仍作用于Mackey函子$\mathcal{M}$的Burnside环的最小商环。
• 引入Green环的Dress生成集概念，并证明：一个集合生成Burnside商Green环当且仅当它生成原始Green环。
• 利用$\mathcal{A}_{\mathcal{M}}$的自然性，推导出子或商Mackey函子的可计算性结果。
• 构造双函子$d: \mathcal{D}(G) \to RG\text{-Morita}$，将有限$G$-集与Morita范畴上的加法函子联系起来。
• 证明任一加法函子$F: RG\text{-Morita} \to \text{Ab}$通过与$d$复合可诱导出一个Mackey预函子，且该函子是超可计算的。
• 将框架扩展至带有定向特征$\omega$的$(RG,\omega)$-Morita范畴，证明在2-进完备化后，其为2-超可计算。

实验结果

研究问题

• RQ1 Burnside商Green环能否被定义为保留Green环结构且作用于Mackey函子的Burnside环的最小商环？
• RQ2 一个有限$G$-集$X$是Green环$\mathcal{G}$的Dress生成集，当且仅当它是其Burnside商Green环$\mathcal{A}_{\mathcal{G}}$的Dress生成集吗？
• RQ3 Dress归纳理论能否被细化，以通过RG-Morita上的加法函子实现无限群K-理论和L-理论的可计算性？
• RQ4 在何种条件下，伪Mackey函子$\mathcal{M} = F \circ d$是超可计算的，特别是在2-进完备化后？
• RQ5 带有非平凡定向特征$\omega$的$L$-理论群$L_n(\mathbf{Z}G, \omega)$是否可通过超可计算族计算？2-进完备化在此过程中起什么作用？

主要发现

• Burnside商Green环$\mathcal{A}_{\mathcal{M}}$是保留Green环结构且仍作用于Mackey函子$\mathcal{M}$的Burnside环的最小商环，具有强自然性性质。
• 一个有限$G$-集$X$是Green环$\mathcal{G}$的Dress生成集，当且仅当它是Burnside商Green环$\mathcal{A}_{\mathcal{G}}$的Dress生成集。
• 任一加法函子$F: RG\text{-Morita} \to \text{Ab}$可诱导出一个Mackey预函子$\mathcal{M} = F \circ d$，且该函子是超可计算的。
• Mackey预函子$\mathcal{M}$的2-进完备化是2-超可计算的；若$\mathcal{M}$为Mackey函子，则其本身即为超可计算。
• 手术障碍群$L_n(\mathbf{Z}G, \omega)$在2-进完备化后是2-超可计算的，即使$\omega$非平凡，这是首次在非定向情形下证明该结果。
• 带有$K_i(\mathbf{Z}G)$或$Wh_i(\mathbf{Z}G)$（$i \leq 1$）子双函子装饰的$L$-群也受超可计算族收缩，将已知结果扩展至装饰化和低阶$L$-理论。