[論文レビュー] An introduction to Bousfield localization

Tyler Lawson|arXiv (Cornell University)|Feb 10, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 4

ひとこと要約

この論文はホモトピー理論におけるBousfield局在の包括的な紹介を提供し、その圏論的基盤、小対象法による構成、および代数的トポロジーにおける応用を説明する。Bousfield局在が穏やかな条件下でモノイダル構造を保存することを確立し、互換性のあるモノイダル演算を持つ局在化された∞-圏の構成を可能にする。

ABSTRACT

In this article we discuss Bousfield localization, beginning with definitions in terms of mapping spaces and working up to a discussion of how they can be constructed when we have access to the small object argument. We also discuss Bousfield localization in the presence of multiplicative structure. Our goal is to place an emphasis on examples of various types. This is an expository article, written to be part of an upcoming book.

研究の動機と目的

• ホモトピー理論におけるBousfield局在の自己完結的な紹介を提供し、代数的トポロジーの単純化と整理に果たすその役割に重点を置く。
• 小対象法を用いた局在化ファンクターの構成方法、特にモデル圏および∞-圏における方法を説明する。
• Bousfield局在がモノイダル構造とどのように整合するかを示し、特に∞-オペラッドを備えた∞-圏において重点を置く。
• 有理化、p局在化、および完成を用いた空間とスペクトルの分解を通じて、局在データからグローバル情報の回復を可能にする局在化の有用性を説明する。
• 局在化ファンクターの普遍的性質と、ファイブレント置換および普遍的写像空間を通じてホモトピー的計算の単純化に果たす役割を明確化する。

提案手法

• 局在化を特定のマップのクラスの逆転による普遍的性質として定義する圏論的局在を基盤とする。
• モデル圏における左Bousfield局在化の構成に小対象法を適用し、局在化ファンクターの存在を保証する。
• 空間に値をとる∞-圏において、写像空間とホモトピー圏を用いて局在対象を定義・分析する。
• Lurieの∞-オペラッドおよび∞-モノイダル圏の理論を活用し、局在化とモノイダル構造の整合性を形式化する。
• Quillenのモデル構造におけるファイブレント置換の普遍的性質を用いて、有理化およびp局在化がファイブレント置換として生じることを示す。
• 算術的断片正方形を用いて、ホモトピー下付きの引き戻しを用いて、空間をその有理化$X_{\mathbb{Q}}$および$p$進局在化$X^\wedge_p$のホモトピー下付きの引き戻しとして再構成する。

実験結果

リサーチクエスチョン

• RQ1 小対象法を用いて、モデル圏および∞-圏におけるBousfield局在化を体系的に構成する方法は何か？
• RQ2 ∞-圏においてBousfield局在化がモノイダル構造を保存する条件は何か？
• RQ3 局在化と積およびループ空間との整合性が、基底空間上の空間の族のカテゴリにおけるファイバーごとの局在化を可能にする仕組みは何か？
• RQ4 小対象法がホモトピカル文脈における局在化ファンクターの存在を保証するために果たす役割は何か？
• RQ5 算術的断片技法は、有理化および$p$進局在化からグローバルなホモトピー型をどのように再構成可能にするか？

主な発見

• Bousfield局在化は任意のモデル圏において小対象法を用いて構成可能であり、特定のマップのクラスを普遍的に逆転する局在化ファンクターの存在を保証する。
• 局在化が各変数において$L$-同型を保存する場合、Bousfield局在化における局在対象の部分圏は自然な∞-モノイダル構造を備える。これは定理12.22で形式化されている。
• 任意の空間上の局在化$L$に対して、積$LX \times LY$は$ L(X \times Y) $に同型である。これは、カルテジアン積がすべての局在化ファンクターと整合することを示している。
• 群的$E_n$-空間$B$上の空間のカテゴリにおけるファイバーごとの局在化は、Day畳み込みモノイダル構造と整合し、$E_n$-モノイダルファンクターをなす。
• 算術的断片正方形により、単連結空間$X$はその有理化$X_{\mathbb{Q}}$および$p$進完成$X^\wedge_p$のホモトピー下付きの引き戻しとして回復可能である。これは、局在データからグローバルなホモトピー型の回復を示している。
• 弱同値が有理ホモロジーにわたる同型であるとされるQuillenのモデル構造において、有理化はファイブレント置換として実現され、局在化ファンクターの普遍性が強調される。