[論文レビュー] Descent properties of equivariant K-theory

Christian Serpé|arXiv (Cornell University)|Feb 12, 2010

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

ひとこと要約

この論文は、等変K理論が、等変Nisnevich位相の一般化である等変的同型性を保つNisnevich位相（iso-variant Nisnevich topology）に関して下降性を満たすことを確立する。Voevodskyのcd構造形式論および正則的・完全的・有界的cd位相の性質を用いて、著者は、等変K理論のスペクトル層が、等変的同型性を保つNisnevichサイトにおける区別された正方形においてホモトピー的にカルテジアンであることを証明し、下降スペクトル系列を導出し、等変代数的K理論における主要な障害を解消する。

ABSTRACT

We show that equivariant K-theory satisfies descent with respect to the isovariant Nisnevich topology. The main step is to show that the isovariant Nisnevich topology is a regular, complete and bounded cd topology.

研究の動機と目的

• 標準的な等変Nisnevich位相では下降性が成立しない問題を克服するため、等変的同型性を保つNisnevich位相における等変K理論の下降性を確立すること。
• 等変的同型性を保つNisnevich位相が正則的・完全的・有界的cd位相であることを示し、Voevodskyの下降機械の適用を可能にすること。
• 等変K理論のスペクトル層が、等変的同型性を保つNisnevichサイトにおけるホモトピー的カルテジアン正方形を通じて下降性を満たすことを証明すること。
• 体上の滑らかなスキームに対して、等変K理論の下降スペクトル系列を構成すること。
• 結果を等変的同型性を保つZariski位相へ拡張し、等変下降における等変的同型性の保存の役割を明確にすること。

提案手法

• 等変的同型性を保つNisnevich位相は、等変Nisnevich被覆のうち、その射影によって等変的同型性群が保存されるものから生成される位相として定義される。
• この位相が正則的・完全的・有界的cd構造から生じることを証明し、Voevodskyの形式論における下降条件を満たすことを示す。
• 等変的同型性を保つNisnevichサイトにおける任意の区別された正方形について、関連するスペクトルの正方形がホモトピー的にカルテジアンであることを確認することで、下降性を検証する。
• 等変G理論の局所化定理に依拠し、K理論スペクトルの写像のホモトピー的ファイバーを補集合部分スキームのK理論に同定する。
• 主要なステップとして、補集合間の射が同型であるとき、これらのホモトピー的ファイバー間の誘導写像が安定的に弱同値であるという事実を用いる。
• 下降スペクトル系列は、下降性から標準的手続きを用いて構成され、E2項は、Sheafified K理論層のコホモロジーで与えられる。

実験結果

リサーチクエスチョン

• RQ1 等変K理論は、等変的同型性を保つNisnevich位相に関して下降性を満たすか？
• RQ2 等変的同型性を保つNisnevich位相は正則的・完全的・有界的cd位相か？
• RQ3 Voevodskyのcd構造形式論を等変設定に応用して、下降性を確立できるか？
• RQ4 体上の滑らかなスキームにおける等変K理論の下降スペクトル系列の構造は何か？
• RQ5 下降性は、等変的同型性を保つZariski位相へ拡張可能か？

主な発見

• 等変K理論は、等変的同型性を保つNisnevich位相に関して下降性を満たし、標準的な等変Nisnevich位相では成立しなかった問題を解消する。
• 等変的同型性を保つNisnevich位相が正則的・完全的・有界的cd位相であることが示され、Voevodskyのフレームワークによる下降が可能になる。
• 等変的同型性を保つNisnevichサイトにおける任意の区別された正方形について、関連するK理論スペクトルの正方形はホモトピー的にカルテジアンである。
• 局所化定理により、K理論スペクトル写像のホモトピー的ファイバーが、補集合部分スキームの等変K理論に同定される。
• 補集合間の射が同型であるとき、これらのホモトピー的ファイバー間の誘導写像は安定的に弱同値である。
• 滑らかなスキームに対して、$ E_{2}^{p,q} = H^{p}_{isovar}(X, a_{isovar} ilde{ ext{K}}_q) ightarrow K_{-p-q}(G,X) $ で与えられる強収束性を持つ下降スペクトル系列が構成される。