[論文レビュー] A general framework for homotopic descent and codescent

Kathryn Hess|arXiv (Cornell University)|Jan 10, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用数 28

ひとこと要約

本稿では、単体的豊かさをもつ圏を用いて、ホモトピー的降下と余降下を統一する一般の $∞$-圏的枠組みを構築し、アダムズおよびアダムズ＝ノヴィコフのスペクトル系列を一般化するものである。主な貢献は、導来（余）完備化による降下と余完備化のホモトピー的特徴付けであり、マンデルの定理に類似した条件がホモトピー的（余）降下を保証する。

ABSTRACT

In this paper we elaborate a general homotopy-theoretic framework in which to study problems of descent and completion and of their duals, codescent and cocompletion. Our approach to homotopic (co)descent and to derived (co)completion can be viewed as $\infty$-category-theoretic, as our framework is constructed in the universe of simplicially enriched categories, which are a model for $(\infty, 1)$-categories. We provide general criteria, reminiscent of Mandell's theorem on $E_{\infty}$-algebra models of $p$-complete spaces, under which homotopic (co)descent is satisfied. Furthermore, we construct general descent and codescent spectral sequences, which we interpret in terms of derived (co)completion and homotopic (co)descent. We show that a number of very well-known spectral sequences, such as the unstable and stable Adams spectral sequences, the Adams-Novikov spectral sequence and the descent spectral sequence of a map, are examples of general (co)descent spectral sequences. There is also a close relationship between the Lichtenbaum-Quillen conjecture and homotopic descent along the Dwyer-Friedlander map from algebraic K-theory to étale K-theory. Moreover, there are intriguing analogies between derived cocompletion (respectively, completion) and homotopy left (respectively, right) Kan extensions and their associated assembly (respectively, coassembly) maps.

研究の動機と目的

• ∞-圏における降下と完備化問題の一般のホモトピー的枠組みの構築。
• 古典的降下および余降下理論と導来完備化およびホモトピー的（余）降下を統一すること。
• 導来（余）完備化の観点で解釈可能な一般の降下および余降下スペクトル系列の構築。
• 不安定および安定アダムズ、アダムズ＝ノヴィコフ、および降下スペクトル系列といった代表的なスペクトル系列が、一般枠組みの特別な場合であることを示すこと。
• リヒテンバウム＝クイーラー予想と代数的K理論からエタールK理論へのDwyer-Friedlander写像に沿ったホモトピー的降下との関係を明確にすること。

提案手法

• ホモトピー的構成を可能にするために、単体的豊かさをもつ圏による $(∞,1)$-圏のモデル化。
• モノイドとコモノイドの代数的構造としての（余）代数をEilenberg-Mooreの構成により定義し、適切な条件下で単体的豊かさが保たれることを示す。
• マンデルの定理（$E_{\infty}$-代数と $p$-完備化に関する）にインspiredされた条件を用いて、ホモトピー的（余）降下のための基準を確立する。
• 導来（余）完備化の設定においてホモトピー群を計算するための一般の降下および余降下スペクトル系列を構築する。
• 既知の例（アダムズおよびアダムズ＝ノヴィコフのスペクトル系列など）に枠組みを適用し、それらを導来余完備化および同型性予想に関連付ける。
• Postnikov提示およびEilenberg-Moore圏におけるモデル圏構造を用いて、導来（余）完備化関手の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 単体的豊かさをもつ圏によるモデル化のもとで、∞-圏におけるホモトピー的降下または余降下が成立する条件は何か？
• RQ2 一般の降下および余降下スペクトル系列はどのように構築され、導来（余）完備化の観点でどのように解釈できるか？
• RQ3 アダムズおよびアダムズ＝ノヴィコフのスペクトル系列といった古典的スペクトル系列が、提案された一般枠組みの特殊な場合としてどれほど一般に現れるか？
• RQ4 リヒテンバウム＝クイーラー予想と、代数的K理論からエタールK理論へのDwyer-Friedlander写像に沿ったホモトピー的降下との関係は何か？
• RQ5 導来余完備化とホモトピー的左Kan拡張は、それぞれのアセンブリおよびコアセンブリマップを通じてどのように関係するか？

主な発見

• 本稿では、Mandellの定理（$E_{\infty}$-代数による $p$-完備空間のモデル）に類似した形で、導来（余）完備化を用いたホモトピー的降下および余降下の一般基準を確立した。
• 導来（余）完備化およびホモトピー的（余）降下を解釈する一般の降下および余降下スペクトル系列を構築し、統一的な計算的ツールを提供した。
• 不安定および安定アダムズスペクトル系列、アダムズ＝ノヴィコフスペクトル系列、および写像の降下スペクトル系列は、すべて一般枠組みの特別な場合であることが示された。
• リヒテンバウム＝クイーラー予想と、代数的K理論からエタールK理論へのDwyer-Friedlander写像に沿ったホモトピー的降下との間に密接な関係が確立された。
• 枠組みにより、導来余完備化とホモトピー的左Kan拡張の間、および完備化と右Kan拡張の間の双対性が明らかになった。これはそれぞれのアセンブリおよびコアセンブリマップを通じて示された。
• Postnikov提示およびファイブランス仮定を含む条件下で、（余）代数のEilenberg-Moore圏にモデル圏構造を構成し、導来（余）完備化関手の存在を保証した。