[論文レビュー] Regularity of structured ring spectra and localization in K-theory

Clark Barwick, Tyler Lawson|arXiv (Cornell University)|Feb 25, 2014

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

ひとこと要約

この論文は、正則性条件を導入することで、構造化された環スペクトルにおける代数的K理論の局在化系列を確立する。この正則性条件は、正則ネーター的環に対するクィレンの古典的局在化定理を一般化する。主な結果は、ブラウン＝ペテルソンスペクトル上の完全加群がL-アセイクリックである条件を同定することであり、具体的にはそれが切断可能であることと一致する。これにより、E∞環スペクトルの文脈でクィレンの切除性質に類似したK理論のファイバー系列を構成できる。

ABSTRACT

We identify a regularity property for structured ring spectra, and with it we prove a natural analogue of Quillen's localization theorem for algebraic K-theory in this setting.

研究の動機と目的

• 代数的K理論におけるクィレンの局在化系列を、構造化された環スペクトル（E∞環）の文脈へ拡張すること。
• クィレンのものに類似した局在化系列の存在を保証する、構造化された環スペクトルの正則性条件を定義すること。
• ブラウン＝ペテルソンスペクトルBP⟨n⟩上のL-アセイクリックな完全加群を切断可能性の観点から特徴付けること。
• 自然な環準同型を通じて、K(ℤ_(p))、K(BP⟨n⟩)、K(BP⟨n⟩*)を含むK理論のファイバー系列を確立すること。
• 局在化関手Lが、BP⟨n⟩におけるv_i要素のリフトの選択に依存しないことを示すこと。

提案手法

• K理論における局在化系列の存在を保証する、構造化された環スペクトルの正則性条件を導入すること。
• BP⟨n⟩-加群およびそのホモトピー群の理論を用いて、v_k- torsion 条件を通じてL-アセイクリック加群を分析すること。
• 文献[GM95]の結果を応用し、L-アセイクリック加群がすべての1 ≤ k ≤ nに対してv_k- torsion を持つことと同値であることを特徴付けること。
• π_*BP⟨n⟩のネーター性を活用し、完全加群がL-アセイクリックであることと、そのホモトピー群がℤ_(p)上で有限生成であることとが同値であることを示すこと。
• 自然な環準同型BP⟨n⟩ → Hℤ_(p)およびBP⟨n⟩ → BP⟨n⟩*を通じて、K理論におけるファイバー系列を構成すること。
• L-アセイクリック性が切断可能性にのみ依存することを示すことにより、局在化関手Lがv_iのリフトの選択に依存しないことを証明すること。

実験結果

リサーチクエスチョン

• RQ1 構造化された環スペクトルにどのような正則性条件を課すと、代数的K理論における局在化系列が成立するか？
• RQ2 完全なBP⟨n⟩-加群がL-アセイクリックであるのはいつか？ そしてこれはそのホモトピー群とどのように関係するか？
• RQ3 クィレンの局在化系列はどのようにE∞環スペクトルの文脈へ一般化できるか？
• RQ4 完全BP⟨n⟩-加群の圏において、L-アセイクリシティと切断可能性の関係は何か？
• RQ5 BP⟨n⟩およびその双対に関するK理論のファイバー系列は、v_iのリフトの構成における選択に依存しないか？

主な発見

• 完全なBP⟨n⟩-加群がL-アセイクリックであることと、それが切断可能であることとは同値であり、すべてのk ≤ nに対してv_k- torsion を持つことと、ℤ_(p)上での有限生成性との同値性によって示される。
• L-アセイクリック性が切断可能性にのみ依存することから、BP⟨n⟩-加群上の局在化関手Lは、v_iのリフトの選択に依存しない。
• K(ℤ_(p)) → K(BP⟨n⟩) → K(BP⟨n⟩*) というK理論のファイバー系列が、自然な環準同型によって誘導される。
• 導入された正則性条件により、構造化された環スペクトルにおけるK理論の局在化系列が成立することが保証され、クィレンの結果が一般化される。
• BP⟨n⟩のホモトピー群はネーター的であるため、有限生成の議論を用いてL-アセイクリック加群を特徴付けることができる。
• この結果は、E∞環における代数的K理論のクィレンの切除性質のホモトピー的類似を与える。