[論文レビュー] Topics in Topology and Homotopy Theory

Garth Warner|arXiv (Cornell University)|Jul 5, 2020

Homotopy and Cohomology in Algebraic Topology被引用数 6

ひとこと要約

この論文は、代数的トポロジーにおけるホモトピー的基盤について、最新の包括的かつ包括的な取り扱いを提供しており、モデル圏、スペクトル、安定ホモトピー論、代数的K理論といった高度なトピックに焦点を当てている。C理論、ホモトピー的局所化と完備化、次元論の体系的取り扱いがなされ、コンパクトなハウスドルフ空間の積のコホモロジー次元および位相的次元に関する正確な結果が得られている。

ABSTRACT

This book is an account of certain topics in general and algebraic topology. Instead of laying out a synopsis of each chapter, here is a sample of some of what is taken up: 1) Nilpotency and its role in homotopy theory. 2) Bousfield's theory of the localization of spaces and spectra. 3) Homotopy limits and colimits and their applications. 4) The James construction, symmetric products, and the Dold$-$Thom theorem. 5) Brown and Adams representability in the setting of triangulated categories 6) Operads and the May$-$Thomason theorem on the uniqueness of infinite loop space machines. 7) The plus construction and theorems A and B of Quillen. 8) Hopkins' global picture of stable homotopy theory. 9) Model categories, cofibration categories, and Waldhausen categories. 10) The Dugundji extension theorem and its consequences.

研究の動機と目的

• 論文は、代数的および位相的背景が強い研究者を対象に、代数的トポロジーにおけるホモトピー的基盤について現代的かつ詳細な取り扱いを提供することを目的としている。
• 標準的な教科書では通常カバーされない基礎的材料、特にC理論、ホモトピー的局所化、および完備化を体系化し、拡張することを目的としている。
• 代数的K理論（ワルドハウゼン風）やANR理論といった高度なトピックについて、アクセス可能で詳細な取り扱いの欠落を埋める。
• 研究者が特定の分野（例えば安定ホモトピー論や次元論）に焦点を当てて学習できる非線形的参考文献としての役割を果たすことを目的としている。
• 抽象的理論を越えて深い理解を促進するため、詳細な例題と演習を強調している。

提案手法

• 論文は、函手、コフibrations、ファイブレーション、およびモデル圏を基礎的道具として用いる圏論的枠組みを採用している。
• 特にバウスフィールド局所化とプラス構成を通じて、群や空間を研究するため、ホモトピー的局所化と完備化の技術が応用されている。
• スペクトルおよび三角圏の理論が発展され、安定ホモトピー論を形式化し、ブラウンおよびアダムズの代表可能性によりコホモロジー関手を表現する。
• 単体的集合および単体的空間が、特にDold-Thom定理およびJames構成の文脈で、位相空間のモデル化とホモトピー型の計算に用いられている。
• アーベル群を係数とするコホモロジー次元の分析には、ボクシュタインのスペクトル系列および普遍係数定理が用いられている。
• 次元論はコホモロジー次元関手を介して展開され、特にチェハフコホモロジーとねじれ群の間の相互作用から主要な結果が導出されている。

実験結果

リサーチクエスチョン

• RQ1 係数がねじれ群または可除群であるとき、コンパクトなハウスドルフ空間の積におけるコホモロジー次元はどのように振る舞うか？
• RQ2 Z/p∞Z または Q を係数とする空間について、位相的次元とコホモロジー次元の正確な関係は何か？
• RQ3 空間およびスペクトルのホモトピー的局所化は、ホモトピー型とその不変量の理解をどのように洗練させるか？
• RQ4 モデル圏およびワルドハウゼン圏は、安定ホモトピー論と代数的K理論の構造をどのように形式化するか？
• RQ5 異なるアーベル群Gに対して、dimG(X×Y) = dimG X + dimG Y または dimG X + dimG Y + 1 が成り立つための条件は何か？

主な発見

• コンパクトなハウスドルフ空間XとYが有限の位相的次元を持つとき、dimZ/p∞Z(X×Y) = dimZ/p∞Z X + dimZ/p∞Z Y + 1 が成り立つ。ただし、dimZ/p∞Z X < dimZ/pZ X かつ dimZ/p∞Z Y < dimZ/pZ Y である場合に限る。
• dimZ/p∞Z X = dimZ/pZ X または dimZ/p∞Z Y = dimZ/pZ Y である場合、dimZ/p∞Z(X×Y) = dimZ/p∞Z X + dimZ/p∞Z Y が成り立つ。
• 単位元を持つ任意の環Rに対して、dimR(X×Y) ≤ dimR X + dimR Y が成り立ち、RがR⊗ZRのリトラクトであるとき等号が成立する。
• 有限次元のコンパクトなANR空間Xについて、X^nの次元は、dim X = dimZ/pZ X を満たすあるpに対して dim X^n = n·dim X が成り立ち、dim X > dimG X がG=QおよびすべてのG=Z/pZに対して成り立つ場合、dim X^n = n·dim X − (n−1) が成り立つ。
• p-主群GとKに対して、dimTor(G,K)(X×Y) ≤ dimG X + dimK Y + 1 が成り立ち、Tor(G,K)がpで可除である場合、等号が成立する可能性がある。
• ボクシュタインの定理により、dimZ/p∞Z(X×Y) ≤ dimZ/p∞Z X + dimZ/p∞Z Y + 1 が成り立ち、特定のねじれ条件のもとでこの上限は鋭い。