[论文解读] Homology and cohomology via enriched bifunctors

Kazuhisa Shimakawa, Kohei Yoshida+1 more|arXiv (Cornell University)|Oct 16, 2010

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

一句话总结

本文提出了一种新颖的范畴论框架，通过在数值生成的 pointed 空间（NG₀）范畴上的 enriched bifunctors 构造广义同调与上同调理论。利用 NG₀ 的完备性、上完备性及张量闭包性，作者证明线性 enriched bifunctors 所产生的同调与上同调理论同谱理论的理论同构，建立了线性 enriched 函子与谱之间的 Quillen 等价性，从而统一并推广了经典的稳定同伦理论。

ABSTRACT

We show that the category of numerically generated pointed spaces is complete, cocomplete, and monoidally closed with respect to the smash product, and then utilize these features to establish a simple but flexible method for constructing generalized homology and cohomology theories by using the notion of enriched bifunctors.

研究动机与目标

• 开发一种灵活的范畴论替代方案，以替代谱来构造广义同调与上同调理论。
• 用更便利的数值生成 pointed 空间范畴 NG₀ 取代 pointed 拓扑空间范畴，NG₀ 具有完备性、上完备性及张量闭包性。
• 在 NG₀ 上的线性 enriched 函子的模型范畴与谱的范畴之间建立 Quillen 等价性，从而在新框架中恢复经典稳定同伦理论。
• 通过在某一变量上反变、在另一变量上协变的 enriched bifunctor，将构造推广至双变同调-上同调理论。

提出的方法

• 作者将数值生成空间定义为由其奇异单纯形诱导的最终拓扑的拓扑空间，构成 pointed 拓扑空间范畴的全子范畴 NG₀。
• 他们证明 NG₀ 具有完备性、上完备性及笛卡尔闭包性，并且存在一个反射子 ν: Top₀ → NG₀，其诱导弱等价。
• NG₀ 在 smash 积下被证明是张量闭包的，从而支持内部映射与 enriched 函子结构。
• 若函子 T: NG₀ → NG₀ 诱导出内部映射 Y^X → (TY)^{TX}，则称其为 enriched；若其在同伦意义下保持纤维化序列，则称其为线性。
• 对于 bifunctor F: NG₀^op × NG₀ → NG₀，若诱导映射 F₀(X′,X) × F₀(Y,Y′) → F₀(F(X,Y), F(X′,Y′)) 连续且保持基点，则称其为 enriched。
• 同调与上同调理论的构造依赖于 colimits of π₀(F(S^{n+k}, Σ^k X)) 与 π₀(F(Σ^k X, S^{n+k}))，分别利用悬垂同构。

实验结果

研究问题

• RQ1 是否可以仅通过 enriched 函子与范畴论结构，而不依赖谱，来构造广义同调与上同调理论？
• RQ2 数值生成 pointed 空间范畴 NG₀ 是否足够良好（完备、上完备、张量闭包）以作为稳定同伦理论的基础？
• RQ3 将线性 enriched 函子在 S⁰ 处的导函子映射是否诱导出 NG₀ 上线性 enriched 函子的模型范畴与谱范畴之间的 Quillen 等价性？
• RQ4 是否能系统地从 enriched bifunctor 构造双变同调-上同调理论，且其是否能恢复已知理论如奇异上同调或 Steenrod 上同调？
• RQ5 是否存在不源自谱的 enriched bifunctor，但仍能产生非平凡且有趣的双变同调-上同调理论？

主要发现

• 每个线性 enriched 函子 T: NG₀ → NG₀ 定义了一个广义同调理论 hₙ(X;T) ≅ πₙ(TX)（n ≥ 0），以及 π₀(T(Σ⁻ⁿX))（n < 0），通过悬垂统一了同调与上同调。
• 在 S⁰ 处的导函子诱导出 NG₀ 上线性 enriched 函子的模型范畴与谱范畴之间的 Quillen 等价性，表明其同伦范畴等价。
• 与双线性函子 F 关联的同调理论 hₙ(X;F) 自然同构于由 F 的协变部分 T 所定义的同调理论，其中 TX = F(S⁰, X)。
• 上同调理论 hⁿ(X;F) 同构于 π₀(F(ΣᵏX, Sⁿ⁺ᵏ))（k, n+k ≥ 0），并满足悬垂同构 hⁿ⁺¹(ΣX;F) ≅ hⁿ(X;F)。
• 示例表明，奇异上同调与 Čech 上同调（含 Steenrod 同调）可由特定 enriched bifunctor 表示，尽管没有单一 bifunctor 能对所有空间表示奇异上同调。
• 该框架具有灵活性与可推广性，可应用于其他范畴如单纯集、微分空间与等变空间，表明其在经典拓扑之外具有广泛适用性。