[논문 리뷰] On the Foundation of Algebraic Topology

Göran Fors|arXiv (Cornell University)|2004. 12. 31.

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)-차원 단체로 허용하는 증강된 추상 단체 복합체를 도입하여, 고전적 비공백 단체 정의와 구별한다.
• 서로소 정점 집합을 사용하여 단체 합성 연산을 정의하고, ∅를 합성 구조에 포함시켜 {∅}가 합성 항등원이 되도록 보장한다.
• 제품과 합성에 대한 호모로지 모듈을 정의하여 고전 호모로지 함자를 일반화하는 방식으로 증강된 호모로지 이론을 구성한다.
• 카인의 실현과 단일화 함수를 포함한 범주론적 도구를 적용하여 증강된 단체 복합체에서 위상공간으로의 실현 함수를 정의한다.
• 3×3-보조정리와 단체 계산을 사용하여 제곱과 합성에 대한 호모로지 수열의 정확성과 호환성을 증명한다.
• 스탠리-라이스너 링을 통해 단체 다양체와 부크슈바움 복합체를 세그레 곱과 골로틴 링과 같은 대수적 구조와 연결한다.

실험 결과

연구 질문

• RQ1 왜 고전적 합성에 대한 상대 쿤너스키 공식의 탐색이 실패하는가? 그리고 어떻게 이를 해결할 수 있는가?
• RQ2 상대 호모로지와 축약된 호모로지 모두를 포함하는 통합된 호모로지 이론을 어떻게 구성할 수 있는가?
• RQ3 공백 단체와 (-1)-차원 복합체는 단체 합성 연산이 잘 정의된 항등원을 가지도록 하는 데 어떤 역할을 하는가?
• RQ4 단체 곱의 스탠리-라이스너 링은 교환대수학에서의 세그레 곱과 어떻게 관련이 있는가?
• RQ5 코네 포인트가 없는 골로틴 복합체가 호모로지 구면이 되는 조건은 무엇인가?

주요 결과

• (-1)-차원 단체 복합체 {∅}의 도입은 공백 복합체를 자연스러운 합성 항등원으로 되돌림으로써 단체 합성 연산에서 발생하는 기초적 모순을 해결한다.
• 증강된 호모로지 이론은 상대 호모로지와 축약된 호모로지 이론을 통합하며, 단체 및 위상적 쌍-합성에 대해 쿤너스키 정리가 성립한다: eH_{q+1}(Σ₁ ∗ Σ₂; k) ≅ ⨁_{i+j=q} (eH_i(Σ₁; k) ⊗_k eH_j(Σ₂; k)).
• 경계 공식 Bd(Σ₁ ∗ Σ₂) = ((Bd Σ₁) ∗ Σ₂) ∪ (Σ₁ ∗ (Bd Σ₂))는 ∅가 유효한 단체인 증강 정의 하에서만 성립한다.
• 증강 프레임워크 하에서 단체 다양체는 ∂(•) = {∅} ≠ ∅를 만족하며, 이는 고전적 정의에서 ∂(•) = ∅였던 모순을 바로잡는다.
• 부크슈바움 복합체는 약한 다양체에 대응하고, 코네 포인트가 없는 골로틴 복합체는 호모로지 구면임을 보였다.
• 단체 곱의 스탠리-라이스너 링은 세그레 곱과 동형이며, 조합적 곱과 대수적 구성 간의 정확한 대응 관계를 확립한다.