[論文レビュー] Hyperelementary assembly for K-theory of virtually abelian groups

Frank Quinn|ArXiv.org|Sep 13, 2005

Geometric and Algebraic Topology参考文献 10被引用数 12

ひとこと要約

この論文は、無限大を含む超基本部分群を用いたアセンブリーマップを用いて、ほとんどアーベル群の代数的K理論が支配されることを確立する。フェアラル＝ジョーンズ和項—無限大超基本部分群から生じる—が直接和項として分離可能であり、群の有理射影空間によってパラメータ化され、削減形において torsion であることが示され、これらの群のK理論の体系的な幾何的・代数的記述が得られる。

ABSTRACT

Controlled $K$-theory is used to show that algebraic $K$-theory of virtually abelian groups is described by an assembly map defined using possibly-infinite hyperelementary subgroups. The Farrell-Jones summand (coming from infinite subgroups) is parameterized by the rational projective space of the group, and a reduced version is torsion. Includes general material on assembly and universal spaces.

研究の動機と目的

• 無限大超基本部分群を含むほとんどアーベル群のK理論に対する精密化されたアセンブリーモデルを確立すること。
• 無限大の固定部分群から生じるフェアラル＝ジョーンズ和項が、K理論分解において直接和項として分離可能であることを示すこと。
• フェアラル＝ジョーンズ成分が群の有理射影空間によってパラメータ化されることを特定すること。
• 制御されたK理論およびスペクトル論法を用いて、フェアラル＝ジョーンズ成分の削減形が torsion であることを証明すること。
• 以前の研究で提起された計画を完了し、フェアラル＝ハーシャンの torsion-free 方法を一般のほとんどアーベルの場合に拡張すること。

提案手法

• 等変ホモロジーからK理論スペクトルへのアセンブリーマップを定義するために、スペクトル値をとる制御されたK理論を用いる。
• 文献[Q1]の制御されたアセンブリーサイソモルフィズム定理を適用し、制御されていないアセンブリーマップが同値である条件を同定する。
• ファイブレーションの階層的系とK理論関手のファイブリックな適用を用いて、関連する係数系を構成する。
• 普遍空間のジョイン構造を用いて、超基本普遍空間における巡回的固定部分群の補集合を分析する。
• 補題6.4.2による変形再びの議論を用い、異なる固定部分群複体上のホモロジーを関連付ける。
• 素数ごとの直和分解を用いて、フェアラル＝ジョーンズ和項をp-primary成分への直接和として表現する。

実験結果

リサーチクエスチョン

• RQ1 無限大超基本部分群を含むほとんどアーベル群に対し、超基本アセンブリーモデルが成り立つか。
• RQ2 無限大の固定部分群から生じるフェアラル＝ジョーンズ和項が、ほとんどアーベル群のK理論において直接和項として分離可能か。
• RQ3 フェアラル＝ジョーンズ成分は、群の有理射影空間を用いて幾何的に解釈可能か。
• RQ4 削減形フェアラル＝ジョーンズ成分は torsion か。もしそうなら、どのような意味で、どの素数に対して成り立つか。
• RQ5 超基本群の普遍空間構造は、K理論和項の分解をどのように支援するか。

主な発見

• フェアラル＝ジョーンズ和項は、ほとんどアーベル群のK理論において直接和項として分離可能であり、アセンブリーモデルの精密化が裏付けられる。
• フェアラル＝ジョーンズ成分は、群の有理射影空間によってパラメータ化され、和項の幾何的解釈が得られる。
• フェアラル＝ジョーンズ成分の削減形が torsion であることが示され、各p-primary和項はp-torsion である。
• 係数が転送巡回K理論である商空間 $E_{G,\text{noncyclic }p\text{-h.elem}}/G$ のホモロジーは、p-primary和項を計算する。
• 分解 $\mathbb{K}^{tc}(G;F,R) = \bigoplus_p \mathbb{H}(E_{G,\text{noncyclic }p\text{-h.elem}}/G; \mathbb{K}^{tc}(p;R))$ が成り立ち、各和項はp-torsion である。
• ジョイン構造による普遍空間の構造のおかげで、係数系を保存する変形再びが可能となり、証明で用いられるホモロジー同値が実現される。