[논문 리뷰] Persistent homotopy theory

John F. Jardine|arXiv (Cornell University)|2020. 02. 23.

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

한 줄 요약

이 논문은 베티-리프스 및 디그리 리프스 복합체를 단순체의 부분순서집합의 뉴런으로 모델링하여, 부분순서집합 기반의 지속 호모토피 이론 프레임워크를 제안한다. 이를 통해 호모토피 안정성 정리들을 통제된 동치의 관점으로 재구성할 수 있으며, 핵심 기여는 부분순서집합의 호모토피 이론을 사용해, 거리 $ r $ 이내에 점들을 추가할 경우 지속 호모토피 유형 간에 $ 2r $-동치가 유도됨을 보여주는 형식적 호모토피 교차 구성이다. 이는 퀸의 부분순서집합의 호모토피 유형 이론을 활용하여, 기하적 실현에 의존하지 않고 범주론적, 부분순서집합 이론적 환경에서 리프스 안정성의 일반화를 이루는 것이다.

ABSTRACT

Vietoris-Rips and degree Rips complexes are represented as homotopy types by their underlying posets of simplices, and basic homotopy stability theorems are recast in these terms. These homotopy types are viewed as systems (or functors), which are defined on a parameter space. The category of systems of spaces admits a partial homotopy theory that is based on controlled equivalences, suitably defined, that are the output of homotopy stability results.

연구 동기 및 목표

• 기하적 실현에 의존하지 않고, 부분순서집합과 그 뉴런을 사용하여 지속 호모토피 안정성 정리를 부분순서집합의 언어로 재구성하기.
• 공간의 시스템에서 통제된 동치를 위한 형식적 프레임워크 수립을 위한 $ r $-교차 구성 사용.
• 부분순서집합의 사상과 호모토피 이론적 구성 수단을 통해 리프스 안정성을 범주론적 환경으로 일반화하기.
• 퀸의 부분순서집합의 호모토피 유형 이론을 사용하여 블룸버그-레스니크 리프스 안정성 정리의 부분순서집합 이론적 증명 제공하기.

제안 방법

• 크기 $ \leq s $인 단순체의 부분순서집합 $ P_s(X) $로 베티-리프스 및 디그리 리프스 복합체를 함자 $ s \to P_s(X) $로 모델링.
• 부분순서집합을 동일한 호모토피 유형을 가진 공간으로 실현하기 위해 뉴런 구성 $ BP_s(X) $ 사용.
• $ d(y, \theta(y)) < r $를 만족하는 리트랙션 사상 $ \theta: Y \to X $를 구성하고, 이로부터 부분순서집합 사상 $ \theta: P_s(Y) \to P_{s+2r}(X) $ 유도.
• 포함 사상과 $ \theta $를 포함하는 호모토피 교차 다이어그램을 구성하고, 자연 변환에 대해 자연스러운 가환성을 보임.
• 호모토피 군과 경로 성분에 대해 $ r $-단사사상, $ r $-전사사상, $ r $-동형사상의 개념을 사용해 $ r $-동치와 $ 2r $-동치 정의.
• 퀸의 부분순서집합의 호모토피 유형 이론을 적용하여 안정성 결과 증명하고, 통제된 동치 하에서 시스템의 당김과 밀림 분석.

실험 결과

연구 질문

• RQ1 지속 호모토피 안정성은 기하적 실현에 의존하지 않고 부분순서집합과 그 뉴런을 사용해 어떻게 재구성할 수 있는가?
• RQ2 만약 $ Y $ 가 $ X $ 의 $ r $-밀도 확장이라면, 포함 사상 $ V_s(X) \to V_s(Y) $ 의 정확한 호모토피 이론적 성격은 무엇인가?
• RQ3 블룸버그-레스니크 리프스 안정성 정리는 오직 부분순서집합 이론 도구와 퀸의 이론을 사용해 재증명할 수 있는가?
• RQ4 공간의 시스템 간 사상이 통제된 동치가 되기 위한 조건은 무엇이며, 이는 피브레이션과 코피브레이션과 어떻게 상호작용하는가?
• RQ5 $ r $-교차와 통제된 동치 하에서 시스템의 당김과 밀림은 어떻게 행동하는가?

주요 결과

• $ X \subset Y $ 가 $ r $-밀도 부분집합이라면, 포함 사상 $ V_s(X) \to V_s(Y) $ 는 호모토피 군, 경로 성분, 호몰로지에서 $ 2r $-동치이다.
• 부분순서집합의 뉴런 $ BP_s(X) $ 는 베티-리프스 복합체의 기하적 실현과 동일한 호모토피 유형을 유지하므로, 부분순서집합 기반의 호모토피 이론이 가능하다.
• 부분순서집합의 $ 2r $-교차 다이어그램은 $ \pi_n $, $ \pi_0 $, 호몰로지 군에서 $ 2r $-동형사상을 유도하며, 이는 호모토피 안정성을 증명한다.
• 통제된 동치는 어떤 $ r \geq 0 $ 에 대해 $ r $-동치로 정의되며, 단일 성분 피브레이션과 코피브레이션과 잘 상호작용한다.
• 단일 성분 피브레이션과 $ r $-동치의 당김은 단일 성분 피브레이션과 $ 2r $-동치가 되며, 이는 극한 하에서의 안정성을 확립한다.
• 코피브레이션의 밀림이 $ r $-교차를 갖는다면, 그 역시 $ r $-교차를 가지며, $ \pi_0 $ 에서는 $ r $-동형사상을, 호몰로지에서는 $ 2r $-동형사상을 유도한다.