[論文レビュー] On the Algebraic K-theory of Monoids

Chenghao Chu, Jack Morava|arXiv (Cornell University)|Sep 16, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 4

ひとこと要約

この論文は、射影的作用素が自由であるという条件下で、零をもつ非可換モノイドの代数的K理論を定義する+-構成とQ構成の同値性を確立する。このようなモノイドに対してホモトピー不変性を証明し、有限生成アーベル群に付随するモノイドの$ K_2 $を計算し、分類空間の基点付きの安定ホモトピー群を用いて普遍中心拡大を構成する。

ABSTRACT

Let $A$ be a not necessarily commutative monoid with zero such that projective $A$-acts are free. This paper shows that the algebraic K-groups of $A$ can be defined using the +-construction and the Q-construction. It is shown that these two constructions give the same K-groups. As an immediate application, the homotopy invariance of algebraic K-theory of certain affine $\mathbb{F}_1$-schemes is obtained. From the computation of $K_2(A),$ where $A$ is the monoid associated to a finitely generated abelian group, the universal central extension of certain groups are constructed.

研究の動機と目的

• 非可換モノイド（零をもつ）に対して、特に射影的$ A $-作用素が自由である場合に、代数的K理論の構成（具体的には+-構成とQ構成）を拡張すること。
• アーベル群に倣った$ A $-集合の適切な完全系列の概念を非可換モノイドへ一般化し、Q構成に基づくK理論を可能にする。
• $ A $が可換で、射影的$ A $-集合が自由であるとき、アフィン$ \bbF_1 $-スキーム$ \text{Spec}(A) $の代数的K理論がホモトピー不変であることを確立すること。
• 有限生成アーベル群に付随するモノイド$ A $に対して$ K_2(A) $を計算し、普遍中心拡大の構成に繋げること。
• スペクトル系列解析を通じて、$ \bbF_1 $-スキームの$ K $-群と$ BG_+ $の安定ホモトピー群（特に$ \tilde{K}_2 $）を関連付けること。

提案手法

• 射影的$ A $-作用素が自由であるという仮定のもとで、一般線形群$ GL(A) $内に安定な特別線形群$ E(A) $を定義することで、非可換モノイドへの+-構成の適応を図る。
• 基点をもつ$ A $-集合の圏を導入し、$ \bbF_1 $幾何に適合させるために$ A $-作用素を一般化し、この文脈で適切な完全系列を定義する。
• 射影的$ A $-集合が自由であるという仮定のもとで、QuillenのQ構成を$ A $-集合の圏に適用し、K理論空間が適切に定義されることを保証する。
• Atiyah-Hirzebruchスペクトル系列を用いて$ \tilde{K}_2 $を解析し、特に微分$ d: H_3(G, \bbZ) \to H_1(G, \bbZ/2) $に注目し、有限生成アーベル群$ G $に対してこれが消えることを示す。
• $ K_i(\text{Spec}(\bbF_1[G])) $と$ \pi_i^s(BG_+) $の間に同型を確立し、モノイドK理論と安定ホモトピー論を結びつける。
• $ K_2 $の計算を応用して普遍中心拡大を構成し、特に$ G = \bbZ/d $の場合に$ K_2(\bbZ/d_*) \cong \bbZ/2 \oplus \bbZ/2 $であることを示す。

実験結果

リサーチクエスチョン

• RQ1 射影的作用素が自由であるという条件下で、零をもつ非可換モノイドに対して+-構成を一般化できるか？
• RQ2 このようなモノイドに対してQ構成が+-構成と同じK理論をもたらすか、そしてその条件は何か？
• RQ3 $ A $が可換で射影的$ A $-集合が自由であるとき、アフィン$ \bbF_1 $-スキーム$ \text{Spec}(A) $の代数的K理論はホモトピー不変か？
• RQ4 有限生成アーベル群に付随するモノイド$ A $に対して$ K_2(A) $の構造は何か、そして普遍中心拡大とどのように関係するか？
• RQ5 安定ホモトピー群$ \pi_i^s(BG_+) $は、特に$ i=2 $の場合に$ \bbF_1[G] $-スキームの代数的K理論とどのように関係するか？

主な発見

• 射影的$ A $-集合が自由であるようなモノイド$ A $に対して、+-構成とQ構成が同型なK理論群をもたらす。これはこの文脈における$ Q = + $定理の確立である。
• $ A $が可換で射影的$ A $-集合が自由であるとき、$ \text{Spec}(A) $の代数的K理論はホモトピー不変であり、既知の結果をより広いクラスのモノイドへ拡張する。
• $ G = \bbZ/d $の場合に$ K_2(\bbZ/d_*) \cong \bbZ/2 \oplus \bbZ/2 $であり、Q構成によって計算され、Atiyah-Hirzebruchスペクトル系列によって検証された。
• 有限生成アーベル群$ G $に対して、Atiyah-Hirzebruchスペクトル系列における微分$ d: H_3(G, \bbZ) \to H_1(G, \bbZ/2) $は消える。これにより$ \pi_2^s(BG_+) \cong \bbZ/2 \oplus G/2 \oplus H_2(G, \bbZ) $が得られる。
• 非アーベル群（例えば$ A_n $、$ \Sigma_n $、$ E_n(\bbF_q) $、$ GL_n(\bbF_q) $）に対して、第二の安定ホモトピー群$ \pi_2^s(BG_+) $は、群や体の特徴の違いに応じて$ \bbZ/2 \oplus H_2(G, \bbZ) $または$ \bbZ/2 \oplus \bbZ/2 \oplus H_2(G, \bbZ) $に等しい。
• $ \bbF_1[G] $-スキームの$ K_2 $の計算は、特に$ G = \bbZ/d $の場合に、同型$ K_2(\bbZ/d_*) \cong \bbZ/2 \oplus \bbZ/2 $を介して、$ G $の普遍中心拡大の構成に繋がる。