[論文レビュー] Around Quillen's theorem A

Bruno Kahn|arXiv (Cornell University)|Aug 11, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用数 3

ひとこと要約

本稿では、セルラー関手の概念を導入し、Theorem A を用いない関手的証明を提供するとともに、整数的スキームの $K'$-理論空間のホモロジーに収束するランクスペクトル系列を構成する。主な貢献は、$E^1$-項が自己同型群と削除されたシュタインベルクモジュールで表されるスペクトル系列の構成であり、これはクイレンの完全系列を一般化し、ヴォーゲルの議論によってホモトピーコボルダリティに結びつける。

ABSTRACT

We reformulate some exact sequences of Quillen into a spectral sequence converging to the homology of certain $K$-theory spaces.

研究の動機と目的

• クイレンのソロモン＝ティーツの定理の証明の変種を提供し、Theorem A に依存しないようにする。
• クイレンの $K$-群の完全系列を関手的スペクトル系列枠組みに一般化する。
• セルラー関手と係数付きネrvの構成を用いて、整数的スキームの $K'$-理論空間のホモロジーに収束するランクスペクトル系列を構成する。
• ホモトピーコボルダリティを介して、クイレンの $K$-理論完全系列をスペクトル系列に再定式化する。これはTheorem Aがファイブレーションにおいて果たす役割とは双対的である。
• スペクトル系列の $E^1$-項と一般線型群の関数体上の削除されたシュタインベルクモジュールとの関係を確立する。

提案手法

• セルラー関手の概念を導入し、これはネルヴ構成に対してうまく振る舞い、ホモトピーコボルダリティ系列の解析を可能にする。
• トーマソンの定理（グローテンディーク構成のネルヴに関する）を適用し、圏の分類空間をホモトピーコロイムに結びつける。
• アーベル群値関手を係数とするネルヴを用いて、層の圏上のホモロジー理論を定義する。
• 捩れのない層のランクによるフィルトレーションを用い、一般化されたファイバーにおける部分対象の半順序集合を介して、ランクスペクトル系列を構成する。
• ヴォーゲルの議論を用いて、得られるスペクトル系列がクイレンの元来の完全系列と一致することを示し、写像コーンのホモロジー群と相対ホモロジーの間の同型を介して結びつける。
• ソロモン＝ティーツの定理を適用し、ベクトル空間の真部分空間の半順序集合のネルヴが、球のワッヘッドにホモトピー同値であることを示し、$E^1$-項の特定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ソロモン＝ティーツの定理は、クイレンのTheorem A を用いずに再証明可能か？
• RQ2 クイレンの $K$-群の完全系列は、どのようにスペクトル系列に再解釈できるか？
• RQ3 $K$-理論におけるホモトピーコボルダリティとそれらから得られるスペクトル系列との関係は何か？
• RQ4 ランクスペクトル系列の $E^1$-項は、一般線型群の関数体上の削除されたシュタインベルクモジュールとどのように関係するか？
• RQ5 セルラー関手と係数付きネルヴ構成を用いて、完全に関手的な方法でスペクトル系列を構成可能か？

主な発見

• 本稿では、整数的スキームの $K'$-理論空間のホモロジーに収束するランクスペクトル系列を構成し、その $E^1$-項は $\bigoplus_{E_{\alpha}} H_q(\operatorname{Aut}(E_{\alpha}), \operatorname{st}(E_{\alpha}))$ で与えられる。
• $E^1$-項は、ランク $p$ の捩れのない層の自己同型群のホモロジー、係数はその一般化されたファイバーにおける削除されたシュタインベルクモジュールと同型である。
• スペクトル系列は、捩れのない層のランクによるフィルトレーションから生じ、ヴォーゲルの議論によりクイレンの元来の完全系列と整合的である。
• ソロモン＝ティーツの定理の証明は、Theorem A を用いずに、セルラー関手の枠組みとホモトピーコボルダリティ構造に依拠して再導出される。
• スペクトル系列は、相対ホモロジーとコーンホモロジーの間の同型（ヴォーゲルの議論により確立）を通じて、クイレンの完全系列と同値であることが示された。
• 構成は関手的であり、クイレンの手法を、捩れのない層を含むより広い文脈へ一般化している。