[논문 리뷰] Inverting weak dihomotopy equivalence using homotopy continuous flow

Philippe Gaucher|ArXiv.org|2005. 06. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 25인용 수 8

한 줄 요약

이 논문은 S-호모토피에 대해 무한히 나누어 떨어지는 연속적인 유형의 유량—호모토피 연속 유량—을 도입하고, 코프리미티브 호모토피 연속 유량의 전체 부분범주에서 약한 디호모토피 동치가 디호모토피에 대해 역으로 가능하다는 것을 보여준다. 이는 모델 구조에 의존하지 않고 지향 호모토피 이론에서 유클리드의 정리의 모델을 제공하며, 이전의 S-호모토피에만 의존하는 접근 방식의 한계를 해결한다.

ABSTRACT

A flow is homotopy continuous if it is indefinitely divisible up to S-homotopy. The full subcategory of cofibrant homotopy continuous flows has nice features. Not only it is big enough to contain all dihomotopy types, but also a morphism between them is a weak dihomotopy equivalence if and only if it is invertible up to dihomotopy. Thus, the category of cofibrant homotopy continuous flows provides an implementation of Whitehead's theorem for the full dihomotopy relation, and not only for S-homotopy as in previous works of the author. This fact is not the consequence of the existence of a model structure on the category of flows because it is known that there does not exist any model structure on it whose weak equivalences are exactly the weak dihomotopy equivalences. This fact is an application of a general result for the localization of a model category with respect to a weak factorization system.

연구 동기 및 목표

• 기존의 모델 구조가 전체 디호모토피 동치를 실현하지 못하는 한계를 해결하기 위해.
• S-호모토피에 대해 무한히 나누어지는, 더 풍부한 디호모토폴로지적 구조를 포착하는 유량의 클래스—호모토피 연속 유량—을 정의하기 위해.
• 약한 디호모토피 동치가 디호모토피에 대해 역으로 가능해지는 코프리미티브 호모토피 연속 유량의 범주를 구성함으로써 전체 디호모토피 관계에 대해 유클리드의 정리를 실현하기 위해.
• 약한 인수 분해 체계를 이용한 국소화 프레임워크를 제공하여, 약한 S-호모토피 동치와 T-호모토피 생성자를 동시에 역으로 만들면서 핵심 불변량을 유지하기 위해.

제안 방법

• 유량 범주에서 유일한 사상이 $J^{gl} \cup \mathcal{T}$에 의해 생성된 약한 인수 분해 체계의 삽입 클래스에 속하는 경우를 호모토피 연속 유량으로 정의한다.
• 모델 범주에 대해 약한 인수 분해 체계에 대해 적용 가능한 일반 국소화 정리를, 유량의 범주에 적용한다.
• 국소화된 범주에서 모든 사상이 기저 호모토피 유형과 호모로지 불변량을 유지하도록 코프리미티브 치환 함수자 $Q$를 사용한다.
• 쌍 $(\operatorname{cof}(J^{gl} \cup \mathcal{T}), \operatorname{inj}(J^{gl} \cup \mathcal{T}))$가 코프리미티브 생성 약한 인수 분해 체계를 이룬다는 것을 증명한다.
• 2개 중 3개 성질과 $\mathcal{S}$ 및 $\operatorname{cof}(J^{gl} \cup \mathcal{T})$에 대한 불변성에 기반하여, $\mathcal{S}_{\mathcal{T}}$에 속하는 사상들이 기저 호모토피 유형과 분기/합류 호모로지를 유지한다는 것을 보여준다.
• 모든 유량이 약한 S-호모토피 모델 구조에서 피브레이션임을 이용하여 삽입 클래스 조건을 단순화한다.

실험 결과

연구 질문

• RQ1 유량의 범주에서 S-호모토피 동치를 넘어서 전체 디호모토피 관계에 대해 유클리드의 정리를 실현할 수 있는가?
• RQ2 모델 구조에 의존하지 않고, 약한 디호모토피 동치가 디호모토피에 대해 역으로 가능해지는 유량의 부분범주가 존재하는가?
• RQ3 관측의 정교화(T-호모토피)를 기하학적 및 대수적 불변량을 유지하는 호모토피 프레임워크에 통합할 수 있는가?
• RQ4 국소화에서, 두 유량 사이의 사상이 기저 호모토피 유형과 분기/합류 호모로지를 유지하기 위한 조건은 무엇인가?
• RQ5 약한 인수 분해 체계를 이용해 모델 범주를 국소화할 수 있으며, 그 결과로 얻어진 국소화가 디호모토피에 대해 유클리드의 정리를 실현할 수 있는가?

주요 결과

• 코프리미티브 호모토피 연속 유량의 전체 부분범주는 전체 디호모토피 관계에 대해 유클리드의 정리를 실현한다: 사상이 약한 디호모토피 동치일 필요충분조건은 디호모토피에 대해 역으로 가능하다는 것이다.
• 코프리미티브 호모토피 연속 유량의 범주는 모든 디호모토피 유형을 포함할 정도로 충분히 크며, 광범위한 적용 가능성을 보장한다.
• 유량의 범주에서 약한 디호모토피 동치에 대한 국소화는 $\operatorname{cof}(J^{gl} \cup \mathcal{T})$에 의해 생성된 약한 인수 분해 체계에 의한 국소화와 동치이며, 이는 디호모토피 이론에 대한 새로운 모델을 제공한다.
• $\mathcal{S}_{\mathcal{T}}$에 속하는 사상들은 기저 호모토피 유형과 분기 및 합류 호모로지 이론을 유지한다. 이는 약한 S-호모토피 동치와 이러한 불변량을 유지하는 코프리미티브 사상들의 복합체이기 때문이다.
• 이 결과는 약한 디호모토피 동치와 정확히 일치하는 약한 동치를 갖는 모델 구조가 존재하지 않음이 알려져 있음에도 불구하고, 그러한 구조에 의존하지 않아 비로소 비트리비얼하고 기초적인 결과가 된다.
• 이 결과는 일반적인 모델 범주에 대해 약한 인수 분해 체계에 대해 적용 가능한 국소화 정리를 통해 도출되었으며, 이는 디호모토피 국소화에 대해 강력하고 일반적인 프레임워크를 제공한다.