[論文レビュー] On the Foundation of Algebraic Topology

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

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

ひとこと要約

本稿は、空単体を唯一の単位元として持つ(−1)次元の単体的複体を導入することで、代数的位相の基礎を根本的に見直す。これにより、空複体が単体的結合の自然な単位元としての役割を取り戻し、相対的ホモロジーと削減ホモロジーを統合する拡張ホモロジー理論を構築する。さらに、単体的および位相的対結合におけるクンメルの定理を確立し、スターリング＝ライスナー環と拡張単体的集合を介して組合せ論、位相幾何学、可換代数を統合する。

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)次元空間を導入する必要が生じること。
• 古典的な相対的ホモロジーと削減ホモロジーのファンクターを統合する1つの拡張ホモロジー理論を構築すること。
• 新しい枠組みを用いて、単体的および位相的対結合におけるクンメルの定理を確立すること。
• 拡張単体的複体とスターリング＝ライスナー環を介して、組合せ論、一般位相、可換代数を統合すること。

提案手法

• 空集合 ∅ を(−1)次元単体として許容する拡張抽象単体的複体を導入し、古典的な非空単体定義とは明確に区別する。
• 頂点集合が互いに素な disjoint な単体的結合を定義し、{∅} が結合単位元として機能するように構造を含める。
• 積と結合のためのホモロジー加群を定義することで、拡張ホモロジー理論を構築し、古典的ホモロジー関手を一般化する。
• カーンの実現と特徴的関手を含む圏論的道具を用い、拡張単体的集合から位相空間への実現関手を定義する。
• 3×3-補題と単体的計算を用いて、積と結合におけるホモロジー列の正確性と整合性を証明する。
• スターリング＝ライスナー環を介して、単体的多様体とバックスバウム複体を、セグレ積やゴレンシュタイン環といった代数的構造と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 なぜ古典的な結合における相対的クンメル公式の探索が失敗するのか、そしてどのように是正できるか？
• RQ2 相対的ホモロジーと削減ホモロジーを統合する1つの統一的ホモロジー理論をどのように構築できるか？
• RQ3 空単体と(−1)次元複体が単体的結合演算に明確な単位元を与える役割を果たす仕組みは何か？
• RQ4 単体的積のスターリング＝ライスナー環は、可換代数におけるセグレ積とどのように関係するか？
• RQ5 コーネポイントを持たないゴレンシュタイン複体がホモロジー球面であるための条件は何か？

主な発見

• (−1)次元単体的複体 {∅} の導入により、空複体が自然な結合単位元として回復され、単体的結合演算における基礎的不整合が解消された。
• 拡張ホモロジー理論により、相対的ホモロジーと削減ホモロジーが統合され、単体的および位相的対結合におけるクンメルの定理が成り立つ：eH_{q+1}(Σ₁ ∗ Σ₂; k) ≅ ⨁_{i+j=q} (eH_i(Σ₁; k) ⊗_k eH_j(Σ₂; k))。
• 境界公式 Bd(Σ₁ ∗ Σ₂) = ((Bd Σ₁) ∗ Σ₂) ∪ (Σ₁ ∗ (Bd Σ₂)) は、∅ が有効な単体として許容される拡張定義のもとでのみ成立する。
• 拡張フレームワーク下での単体的多様体は ∂(•) = {∅} ≠ ∅ を満たし、古典的不整合（∂(•) = ∅）を是正する。
• バックスバウム複体は弱い多様体に対応し、コーネポイントを持たないゴレンシュタイン複体がホモロジー球面であることが示された。
• 単体的積のスターリング＝ライスナー環はセグレ積と同型であり、組合せ的積と代数的構成との間の明確な代数的対応関係を確立した。