[论文解读] On the Foundation of Algebraic Topology

Göran Fors|arXiv (Cornell University)|Dec 31, 2004

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

一句话总结

本文通过引入仅包含空单体的（-1）维单纯复形作为并集单位，对代数拓扑的基础进行了根本性重构，使空复形恢复其作为单纯并集的自然单位的身份。该研究发展了一种增强同调理论，统一了相对同调与约化同调，建立了单纯复形与拓扑对并集的K"unneth定理，并通过Stanley-Reisner环与增强单纯集，弥合了组合学、拓扑学与交换代数之间的鸿沟。

ABSTRACT

In the 70:th, combinatorialists begun to systematically relate simplicial complexes and polynomial algebras, named Stanley-Reisner rings or face rings. This demanded an algebraization of the simplicial complexes, that turned the empty simplicial complex into a zero object w.r.t. to simplicial join, losing its former role as join-unit - a role taken over by a new (-1)-dimensional simplicial complex containing only the empty simplex. There can be no realization functor targeting the classical category of topological spaces that turns the contemporary simplicial join into topological join unless a (-1)-dimensional space is introduced as a topological join-unit. This algebraization of general topology enables a homology theory that unifies the classical relative and reduced homology functors and allows a Künneth Theorem for simplicial resp. topological pair-joins.

研究动机与目标

• 为解决经典单纯复形中排除空单体所引发的代数拓扑基础性不一致问题。
• 将空单纯复形恢复为自然的并集单位，从而在拓扑学中引入（-1）维空间的必要性。
• 将经典的相对同调与约化同调函子统一为单一的增强同调理论。
• 在新框架下，为单纯复形与拓扑对并集建立K"unneth定理。
• 通过增强单纯复形与Stanley-Reisner环，弥合组合学、一般拓扑学与交换代数之间的鸿沟。

提出的方法

• 引入增强抽象单纯复形，允许空集 ∅ 作为（-1）维单体，与经典非空单体的定义相区分。
• 通过使用不相交的顶点集定义单纯并集运算，并将 ∅ 纳入并集结构中，确保 {∅} 成为并集单位。
• 通过为积与并集定义同调模，构建增强同调理论，推广经典同调函子。
• 使用范畴论工具，包括Kan的实现与奇异函子，定义从增强单纯集到拓扑空间的实现函子。
• 利用3×3-引理与单纯演算，证明积与并集下同调序列的正合性与相容性。
• 通过Stanley-Reisner环将单纯流形与Buchsbaum复形与代数结构（如Segre积与Gorenstein环）联系起来。

实验结果

研究问题

• RQ1 为何经典对并集的相对K"unneth公式搜索会失败？如何解决？
• RQ2 如何构建一个统一的同调理论，使其涵盖相对同调与约化同调？
• RQ3 空单体与（-1）维复形在使单纯并集运算具有明确定义的单位中起什么作用？
• RQ4 单纯积的Stanley-Reisner环与交换代数中的Segre积有何关系？
• RQ5 在何种条件下，无锥点的Gorenstein复形是同调球面？

主要发现

• 引入（-1）维单纯复形 {∅} 使空复形恢复为自然的并集单位，解决了单纯并集运算中的基础性不一致问题。
• 增强同调理论统一了相对同调与约化同调，且对单纯复形与拓扑对并集，K"unneth定理成立：eH_{q+1}(Σ₁ ∗ Σ₂; k) ≅ ⨁_{i+j=q} (eH_i(Σ₁; k) ⊗_k eH_j(Σ₂; k))。
• 边界公式 Bd(Σ₁ ∗ Σ₂) = ((Bd Σ₁) ∗ Σ₂) ∪ (Σ₁ ∗ (Bd Σ₂)) 仅在增强定义下成立，其中 ∅ 是合法单体。
• 在增强框架下，单纯流形满足 ∂(•) = {∅} ≠ ∅，纠正了经典情形中 ∂(•) = ∅ 的不一致。
• Buchsbaum复形对应于弱流形，且无锥点的Gorenstein复形被证明为同调球面。
• 单纯积的Stanley-Reisner环同构于Segre积，建立了组合积与代数构造之间的精确代数对应关系。