[論文レビュー] A survey of surface braid groups and the lower algebraic K-theory of their group rings

John Guaschi, Daniel Juan-Pineda|arXiv (Cornell University)|Feb 26, 2013

Geometric and Algebraic Topology参考文献 83被引用数 14

ひとこと要約

本稿は、2次元球面と実射影平面に注目して、表面ブレード群のサーベイを実施し、その群環の下位代数的K理論に関する新規結果を提示する。ファーロン＝ジョーンズ同型予想と分類空間のモデルを用いて、球面上の4文字ブレード群の削減された下位K群が無限生成であることを計算した。$×\widetilde{K}_0$ と $×\widetilde{K}_1$ は、それぞれ $×\mathbb{Z}_2$ の無限直和と、指数2または4の無限生成アーベル群を含む。

ABSTRACT

We give a survey of the theory of surface braid groups and the lower algebraic K-theory of their group rings. We recall several definitions and describe various properties of surface braid groups, such as the existence of torsion, orderability, linearity, and their relation both with mapping class groups and with the homotopy groups of the 2-sphere. The braid groups of the 2-sphere and the real projective plane are of particular interest because they possess elements of finite order, and we discuss in detail their torsion and the classification of their finite and virtually cyclic subgroups. Finally, we outline the methods used to study the lower algebraic K-theory of the group rings of surface braid groups, highlighting recent results concerning the braid groups of the 2-sphere and the real projective plane.

研究の動機と目的

• 2次元球面と実射影平面のブレード群について、特異な torsion 性質を持つため、包括的なサーベイを提供すること。
• 非アスフェリカルで torsion を示す $\mathbb{S}^2$ および $\mathbb{R}P^2$ のブレード群における有限および virtually cyclic 部分群の構造を調査すること。
• ファーロン＝ジョーンズ同型予想を用いて、表面ブレード群の群環の下位代数的 $K$-群を計算すること、特に $B_4(\mathbb{S}^2)$ について。
• virtually cyclic 部分群の普遍空間のモデルとニル群の寄与を用いた、削減された下位 $K$-群を計算するための技術を開発すること。
• 特に非自明な torsion と結合構造を有する場合の、双曲的群の群環の $K$-理論の理解を拡張すること。

提案手法

• ファーロン＝ジョーンズ同型予想を用いて、群環の代数的 $K$-理論を等配ホモロジーと分類空間に関連付ける。
• 群の双曲性と結合構造を活用し、$\mathbf{T}$（木）と離散集合 $D$ の結合として、普遍空間 $\underline{\underline{E}}B_4(\mathbb{S}^2)$ のモデルを構成する。
• 等配ホモロジーを、最大の virtually cyclic 部分群からのニル群に帰着させる分解 $H^{B_4(\mathbb{S}^2)}_n(\mathbf{T};\{\mathbb{K}\}) \oplus \bigoplus_{V \in \operatorname{Max}(\mathcal{VC})} \mathrm{Nil}_n(V)$ を適用する。
• 最大の virtually cyclic 部分群が、$\mathcal{Q}_8 \rtimes \mathbb{Z}$（3通りの作用）または $\mathcal{Q}_{16} \ast_{\mathcal{Q}_8} \mathcal{Q}_{16}$ に同型であり、$K$-群に非自明に寄与することを同定する。
• Bass、Farrell-Hsiang、Waldhausen のニル群を用いて、$\widetilde{K}_i(\mathbb{Z}[B_4(\mathbb{S}^2)])$ を計算し、明示的な無限直和成分を特定する。
• 等配ホモトピー論および群環 $K$-理論の技術、特に削減された $K$-群とニル群構造を用いて、定量的結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 ブレード群 $B_n(\mathbb{S}^2)$ と $B_n(\mathbb{R}P^2)$ の構造、特に torsion、有限部分群、virtually cyclic 部分群の性質は何か？
• RQ2 $\mathbb{Z}[B_n(\mathbb{S}^2)]$ の下位代数的 $K$-群は、特に $n=4$ の場合、どのように振る舞うか？
• RQ3 ファーロン＝ジョーンズ同型予想と virtually cyclic 群の普遍空間のモデルが、$K$-群の明示的計算をどの程度可能にするか？
• RQ4 ニル群は $B_4(\mathbb{S}^2)$ の $K$-理論において果たす役割は何か？また、$\widetilde{K}_0$ と $\widetilde{K}_1$ の無限生成性にどのように寄与するか？
• RQ5 $n>4$ の $B_n(\mathbb{S}^2)$ の $K$-理論は計算可能か？主な障害として、$\underline{\underline{E}}B_n(\mathbb{S}^2)$ の既知のモデルの欠如がある。

主な発見

• 削減された $K_1$-群 $\widetilde{K}_1(\mathbb{Z}[B_4(\mathbb{S}^2)])$ は $\mathbb{Z} \oplus \mathrm{Nil}_1$ に同型であり、$\mathrm{Nil}_1 \cong \bigoplus_{\infty} [2(\mathbb{Z}_2)^\infty \oplus W]$ である。ここで $W$ は指数2または4の無限生成アーベル群である。
• 削減された $K_0$-群 $\widetilde{K}_0(\mathbb{Z}[B_4(\mathbb{S}^2)])$ は $\mathbb{Z}_2 \oplus \mathrm{Nil}_0$ に同型であり、$\mathrm{Nil}_0$ は $\mathrm{Nil}_1$ と同じ無限和構造に同型である。
• $K_{-1}$-群は $\mathbb{Z}_2 \oplus \mathbb{Z}$ に同型であり、負の $K$-理論における非自明な torsion 部分と自由部分を示している。
• $i < -1$ の場合、削減された $K_i$-群は消える。これは、下位 $K$-理論範囲に明確な打ち切りがあることを示している。
• $\widetilde{K}_0$ と $\widetilde{K}_1$ の無限生成性は、$\mathcal{Q}_8 \rtimes \mathbb{Z}$ および $\mathcal{Q}_{16} \ast_{\mathcal{Q}_8} \mathcal{Q}_{16}$ に同型な最大の virtually cyclic 部分群に由来するニル群の寄与による。
• 著者らは、$i > 1$ についても $K_i(\mathbb{Z}[B_4(\mathbb{S}^2)])$ がすべて無限生成であると予想している。これは、次数0と1で観察されたパターンを拡張するものである。