[논문 리뷰] Normalisation for the fundamental crossed complex of a simplicial set

Ronald Brown, Rafael Sivera|ArXiv.org|2006. 11. 23.

Topological and Geometric Data Analysis참고 문헌 42인용 수 6

한 줄 요약

이 논문은 단순형 집합의 기본 교차 복합체에 대한 정규화 정리(정규화 정리)를 수립하며, 아벨이 아닌 설정으로 일반화된 고전적 Eilenberg-Mac Lane 정규화를 확장한다. 호모토피 추가 보조정리(Homotopy Addition Lemma, HAL)를 활용하고 비정규화된 복합체와 정규화된 복합체를 모두 구성함으로써, 비정규화된 복합체에서 정규화된 복합체로의 몰입 사상이 호모토피 동치임을 증명하며, 정규화된 복합체는 비가역 단순형에 의해 자유롭게 생성된다.

ABSTRACT

Crossed complexes are shown to have an algebra sufficiently rich to model the geometric inductive definition of simplices, and so to give a purely algebraic proof of the Homotopy Addition Lemma (HAL) for the boundary of a simplex. This leads to the {\it fundamental crossed complex} of a simplicial set. The main result is a normalisation theorem for this fundamental crossed complex, analogous to the usual theorem for simplicial abelian groups, but more complicated to set up and prove, because of the complications of the HAL and of the notion of homotopies for crossed complexes. We start with some historical background, {and give a survey of the required basic facts on crossed complexes.}

연구 동기 및 목표

• 교차 복합체의 프레임워크 내에서 호모토피 추가 보조정리(HAL)를 순수하게 대수적으로 개발하기 위해.
• 단순형 집합의 기본 교차 복합체를 정의하여 비아벨 호모토피적 자료를 포괄하기 위해.
• 고전적 Eilenberg-Mac Lane 정리에 해당하는 정규화 정리를 교차 복합체에 대해 수립하기 위해.
• 정규화된 기본 교차 복합체가 비가역 단순형에 의해 자유롭게 생성되고 비정규화된 형태와 호모토피 동치임을 보여주기 위해.
• 교차 복합체를 사용하여 비아벨 설정에서 약한 모델 이론을 적용할 수 있는 기초를 마련하기 위해.

제안 방법

• 단순형 집합 $K$의 모든 단순형에 대해 자유롭게 생성되는 비정규화된 기본 교차 복합체 $\Pi^\Upsilon K$를 구성한다.
• 비가역 원소들로 생성되는 부분복합체 $DK$에 대한 몫으로서 정규화된 기본 교차 복합체 $\Pi K$를 정의한다.
• 호모토피 추가 보조정리(HAL)를 사용하여 교차 복합체의 경계 사상들을 기술하며, 단순형의 경계를 대수적으로 표현한다.
• 정규화 사상 $\phi = \phi^0 \phi^1 \cdots \phi^k \cdots$ 를 도입하여 $\phi DK = 0$ 가 되도록 보장한다.
• 약한 모델 구조를 사용하여 몫 사상 $p: \Pi^\Upsilon K \to \Pi K$ 가 호모토피 동치임을 증명하며, 이를 위해 단면 $q$ 를 제공한다.
• 군oids 작용과 텐서곱의 구조를 활용하여 고차 호모토피적 구조를 대수적으로 모델링한다.

실험 결과

연구 질문

• RQ1 호모토피 추가 보조정리(HAL)는 교차 복합체의 범주 내에서 순수하게 대수적으로 기술되고 증명될 수 있는가?
• RQ2 단순형 집합의 기하적 단순형 구조를 대수적으로 반영할 수 있도록 기본 교차 복합체를 어떻게 구성할 수 있는가?
• RQ3 고전적 단순형 아벨 군에 대한 정규화와 유사한 교차 복합체에 대한 정규화 과정이 존재하는가?
• RQ4 정규화된 기본 교차 복합체는 비정규화된 형태의 호모토피 정보를 유지하는가? 만약 그렇다면, 어떻게 유지하는가?
• RQ5 정규화된 교차 복합체는 비가역 단순형에 의해 자유롭게 생성될 수 있으며, 몫 사상이 호모토피 동치인가?

주요 결과

• 호모토피 추가 보조정리(HAL)는 교차 복합체의 범주 내에서 순수하게 대수적으로 확립되며, 단순형 집합의 경계 관계의 비아벨 일반화를 제공한다.
• 비정규화된 기본 교차 복합체 $\Pi^\Upsilon K$ 는 단순형 집합 $K$ 의 모든 단순형에 대해 자유롭게 생성되며, 경계 사상은 HAL을 통해 정의된다.
• 정규화된 기본 교차 복합체 $\Pi K$ 는 $\Pi^{0N}K / DK$ 와 동형이며, 여기서 $DK$ 는 비가역 단순형으로 생성되는 부분복합체이다.
• 몰입 사상 $p: \Pi^\Upsilon K \to \Pi K$ 는 단면 $q$ 를 지닌 호모토피 동치이며, 이는 정규화 정리(정리 11.7)를 확립한다.
• 정규화된 교차 복합체 $\Pi K$ 는 $K$ 의 비가역 단순형의 상에 의해 자유롭게 생성되며, 경계 사상은 HAL에 의해 결정된다.
• 보조정리로서, 단순형 집합의 두꺼운 기하적 실현에서 표준 기하적 실현으로의 투영은 호모토피 동치임을 보여주며, 이는 고전적 위상수학 결과를 대수적으로 확인한다.