[論文レビュー] 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

ひとこと要約

本稿は、Mackey函手の構造を保つ最小の商としてのBurnside商Green環を導入し、有限および無限群のK理論およびL理論の精密な計算を可能にする。Dress生成集合がGreen環およびそのBurnside商に対して同値であることを確立し、RG-Moritaや(RG,ω)-Moritaなどのカテゴリにおける加法的函手に対して超基本的計算可能性の結果を導く。2-adic完成および surgery障害群への応用を含む。

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環の最小の商としてBurnside商Green環を定義・研究し、それが与えられたMackey函手に作用するGreen環構造を保つこと。
• Green環およびその商に対するDress生成集合の概念を導入し、Dress誘導理論を精緻化すること。
• 新規フレームワークを用いて、有限および無限群のK理論およびL理論の計算可能性結果を確立すること。
• pseudo-Mackey函手およびRG-Moritaや(RG,ω)-Moritaなどのカテゴリにおける加法的函手へ理論を拡張すること。
• 2-adic完成後の特定のL理論群が2-超基本的計算可能であることを証明すること、非可換の場合にも成立する。

提案手法

• Mackey函手 $\mathcal{M}$ に作用するGreen環のまま保つBurnside環の最小の商として、Burnside商Green環 $\mathcal{A}_{\mathcal{M}}$ を定義する。
• Green環に対するDress生成集合の概念を導入し、その集合が元のGreen環を生成するための必要十分条件が、Burnside商Green環に対しても同様に成り立つことを証明する。
• $\mathcal{A}_{\mathcal{M}}$ の自然性を用いて、部分または商Mackey函手の計算可能性結果を導出する。
• 有限G-集合からRG-Morita圏への加法的函手を関連付ける双関手 $d: \mathcal{D}(G) \to RG\text{-Morita}$ を構成する。
• 任意の加法的函手 $F: RG\text{-Morita} \to \text{Ab}$ が $d$ と合成することでMackey前函手を誘導し、それが超基本的計算可能であることを示す。
• $\omega$ を方向性特徴とする$(RG,\omega)$-Morita圏に理論を拡張し、2-adic完成後に2-超基本的計算可能であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Burnside商Green環は、Green環構造を保ち、Mackey函手に作用するBurnside環の最小の商として定義可能か？
• RQ2 有限G-集合$X$がGreen環$\mathcal{G}$に対してDress生成集合であるための必要十分条件は、そのBurnside商Green環$\mathcal{A}_{\mathcal{G}}$に対しても同様に成り立つか？
• RQ3 RG-Morita上の加法的函手を用いて、Dress誘導理論を精緻化し、無限群のK理論およびL理論の計算可能性結果を得られるか？
• RQ4 pseudo-Mackey函手 $\mathcal{M} = F \circ d$ が、特に2-adic完成後に超基本的計算可能である条件は何か？
• RQ5 $\omega$ が非自明な方向性特徴を持つ $L$-理論群 $L_n(\mathbf{Z}G, \omega)$ は、超基本的族を用いて計算可能か？また2-adic完成の役割は何か？

主な発見

• Burnside商Green環 $\mathcal{A}_{\mathcal{M}}$ は、Mackey函手 $\mathcal{M}$ に作用する最小の商であり、Green環構造を保ち、強く自然性を持つ。
• 有限G-集合$X$がGreen環$\mathcal{G}$に対してDress生成集合であるための必要十分条件は、そのBurnside商Green環 $\mathcal{A}_{\mathcal{G}}$ に対しても同様に成り立つ。
• 任意の加法的函手 $F: RG\text{-Morita} \to \text{Ab}$ は、$\mathcal{M} = F \circ d$ としてMackey前函手を誘導し、これは超基本的計算可能である。
• Mackey前函手 $\mathcal{M}$ の2-adic完成は2-超基本的計算可能であり、$\mathcal{M}$ がMackey函手であれば、超基本的計算可能である。
• 2-adic完成後の手術障害群 $L_n(\mathbf{Z}G, \omega)$ は、非自明な$\omega$に対しても2-超基本的計算可能であり、非可換の場合の初の証明を提供する。
• $K_i(\mathbf{Z}G)$ や $Wh_i(\mathbf{Z}G)$ の部分双関手に倣った装飾をもつ$L$-群（$i \leq 1$）に対しても、超基本的族による収縮が成立し、既知の結果を装飾付きおよび低次$L$-理論へ拡張する。