[論文レビュー] Higher algebraic $K$-theory of finitely generated torsion modules over principal ideal domains

Satoshi Mochizuki|ArXiv.org|Feb 18, 2007

Algebraic structures and combinatorial models参考文献 5被引用数 3

ひとこと要約

本稿は、主理想整域（PID）上の有限生成ねじれ加群の高次代数的K理論を、 Koszul複体を用いて計算する。零次ホモロジー関手がすべての高次K群に同型を誘導することを証明し、因数分解公理に依存せずに、正確なカテゴリと細胞フィルトレーションの特徴的な技法を用いてK理論における分解可能完全系列を構成する。

ABSTRACT

The main purpose of this paper is computing higher algebraic $K$-theory of Koszul complexes over principal ideal domains. The second purpose of this paper is giving examples of comparison techniques on algebraic $K$-theory for Waldhausen categories without the factorization axiom.

研究の動機と目的

• PID上の有限生成ねじれ加群の高次代数的K理論をKoszul複体を用いて計算すること。
• Koszul複体のK理論とねじれ加群のK理論との間の同型写像を提供すること。
• 因数分解公理を仮定しないWaldhausenカテゴリにおける代数的K理論の技法を開発すること。
• アーシック複体の部分カテゴリに対してK理論における分解可能ファイブレーション系列を確立すること。
• Schlichtingの定理を用いて分解可能ファイブレーション定理の別証明を提示すること。

提案手法

• Waldhausenの研究から得られる細胞フィルトレーション定理を用い、細胞的分解の明示的構成によりその仮定を検証する。
• 正確カテゴリにおける半直積構成法を導入し、既知の結果から分解可能完全系列を構築する。
• 基本因子理論を適用して、$\mathbf{Kos}^1(R)$ 内の複体を標準形の直和に分解する：$U = [U \xrightarrow{\mathrm{id}} U]$、$V = [R^n \xrightarrow{d^V} R^n]$ で、$d^V$ が対角行列であるもの。
• 複体$\mathbf{Kos}^1(R)$における適切な完全系列の次数別分割を用いて、切断を構成し、適切な上昇準同型であることを検証する。
• 写像 $q: Y \to Z = X \oplus U$ を再帰的写像として構成し、$q \circ i = \begin{pmatrix} \mathrm{id} \\ 0 \end{pmatrix}$ を満たすようにし、$q$ が適切な上昇準同型であることを証明する。
• 複体$\mathbf{Kos}^1(R)$における準同型の行列表示を用いて、核と像の成分を分析し、正確性およびアーシック性を検証する。

実験結果

リサーチクエスチョン

• RQ1 零次ホモロジー関手 $H_0: \mathbf{Kos}^1(R) \to \mathcal{M}^1(R)$ はすべての高次K群に同型を誘導するか？
• RQ2 $\mathbf{Kos}^1(R)$ に対して因数分解公理を仮定しないK理論における分解可能ファイブレーション系列を確立できるか？
• RQ3 シリンダ関手を備えないWaldhausenカテゴリにおいて、細胞的分解を明示的に構成できるか？
• RQ4 Schlichtingの正確カテゴリのK理論に関する一般定理を用いて、分解可能ファイブレーション定理を再証明できるか？
• RQ5 基本因子理論は、$\mathbf{Kos}^1(R)$ 内の複体の分解と適切性の検証において果たす役割は何か？

主な発見

• 零次ホモロジー関手 $H_0: \mathbf{Kos}^1(R) \to \mathcal{M}^1(R)$ はすべての $n \geq 0$ に対して同型 $K_n(\mathbf{Kos}^1(R); \text{qis}) \xrightarrow{\sim} K_n(\mathcal{M}^1(R))$ を誘導する。
• 分解可能短完全系列 $0 \to K_n(\mathbf{Kos}^1(R)^q; \text{isom}) \to K_n(\mathbf{Kos}^1(R); \text{isom}) \to K_n(\mathbf{Kos}^1(R); \text{qis}) \to 0$ が存在する。ここで $\mathbf{Kos}^1(R)^q$ はアーシック複体の全部分カテゴリである。
• $\mathbf{Kos}^1(R)^q$ であるアーシック複体のカテゴリは、アーシック複体からの準同型の核と像について閉じている。
• 任意の準同型 $f: X \to Y$ について、$X$ が $\mathbf{Kos}^1(R)^q$ 内のアーシック複体で、$Y$ が $\mathbf{Kos}^1(R)$ 内の複体であるとき、$\operatorname{Im}f$ はアーシックであり、$X \to \operatorname{Im}f$ は $\mathbf{Kos}^1(R)^q$ 内の適切な上昇準同型である。
• 適切な上昇準同型 $q: Y \to Z = X \oplus U$ の切断の存在は行列構成により検証され、$q$ が適切な上昇準同型であることが確認される。
• Schlichtingの定理を用いた別証明により、分解可能ファイブレーション定理が再確認され、独立した証明が得られた。