[논문 리뷰] Topological Persistence in Geometry and Analysis

Leonid Polterovich, Daniel Rosen외 2명|arXiv (Cornell University)|2019. 04. 08.

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

한 줄 요약

이 논문은 위상적 지속성과 쌍곡기하학 및 해석학을 연결하는 기초적인 프레임워크를 수립하며, 해밀턴 지속 모듈러스와 쌍곡 기하학적 반바나흐-마자르 거리라는 개념을 도입한다. 내림차순으로 작용하는 시퀀스를 사용하여 필터링된 쌍곡기하학적 호모로지가 플로어 호모로지의 역극한을 통해 계산될 수 있음을 증명하며, 행동 매개변수의 올림함수를 이용해 호모로지를 명시적인 공식으로 표현한다.

ABSTRACT

The theory of persistence modules is an emerging field of algebraic topology which originated in topological data analysis. In these notes we provide a concise introduction into this field and give an account on some of its interactions with geometry and analysis. In particular, we present applications of persistence to symplectic topology, including the geometry of symplectomorphism groups and embedding problems. Furthermore, we discuss topological function theory which provides a new insight on oscillation of functions. The material should be accessible to readers with a basic background in algebraic and differential topology.

연구 동기 및 목표

• 기하학적 및 해석적 맥락에서 위상적 지속성의 체계적 이론을 개발하는 것, 특히 쌍곡기하학 위상수학에서의 적용을 목적으로 한다.
• 지속 호모로지와 필터링된 쌍곡기하학적 호모로지 및 스펙트럴 불변량과 같은 쌍곡기하학적 불변량 간의 다리를 놓는 것.
• 지속 모듈러스의 구조와 역극한을 이용하여 쌍곡기하학적 불변량을 계산하는 도구를 제공하는 것.
• 쌍곡기하학적 지속성의 기본 정의, 특히 비틀림 조건이 있는 쌍곡 기하학적 반바나흐-마자르 거리의 수정 및 정밀화.
• 스펙트럴 노름과 행동 창문을 통한 바코드 불변량과 해밀턴 역학 간의 연결을 수립하는 것.

제안 방법

• 별형 도메인 위에서 해밀턴 함수의 필터링된 플로어 호모로지로부터 해밀턴 지속 모듈러스를 도입한다.
• 내림차순으로 작용하는 해밀턴 함수의 시퀀스를 사용하여 필터링된 쌍곡기하학적 호모로지를 계산하기 위해 역극한 원리를 적용한다.
• 임계 행동 값들을 피하는 단조 증가 호모토피를 사용하여 필터링된 호모로지 군 간의 동형을 보장한다.
• 정규형 정리와 등장성 정리를 활용하여 바코드와 국소적으로 유한한 유형의 지속 모듈러스 간의 관계를 규명한다.
• 지속 모듈러스 이론과의 호환성을 확보하기 위해 비틀림 조건을 포함한 쌍곡 반바나흐-마자르 거리의 정의를 제시한다.
• 반바나흐 지표와 단체 수세기 방법을 적용하여 바코드와 함수 해석학에서의 진동 및 근사와의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 지속 모듈러스는 어떻게 체계적으로 필터링된 쌍곡기하학적 호모로지와 같은 쌍곡기하학적 불변량을 계산하는 데 응용될 수 있는가?
• RQ2 필터링된 플로어 호모로지가 단조 증가 호모토피에 대해 언제 불변성을 유지하는가?
• RQ3 해밀턴 시스템의 바코드 구조는 기저가 되는 쌍곡기하학적 다양체의 기하학적 및 역학적 성질을 어떻게 반영하는가?
• RQ4 지속 모듈러스 이론을 존중하는 쌍곡 반바나흐-마자르 거리의 올바른 공식화는 무엇인가?
• RQ5 행동 창문과 스펙트럴 불변량은 해밀턴 시스템의 바코드 구조와 어떤 방식으로 관련되어 있는가?

주요 결과

• 타원체 $E(1,N,...,N)$의 필터링된 쌍곡기하학적 호모로지는 degree $* = -2\big{|}\left\lceil -a \right\rceil\big{|} - 2(n-1)\bigg{|}\left\lceil \frac{-a}{N} \right\rceil\bigg{|}$ 에서 $\mathbb{Z}_2$ 와 동형이며, 그 외 모든 차수에서 0이다.
• 내림차순으로 작용하는 시퀀스 $\{H_i\}$에 沿해 필터링된 플로어 호모로지 군의 역극한은 시퀀스의 임의의 $H_i$에 대해 $\mathrm{HF}_*^{(a,\infty)}(H_i)$ 와 동형이며, 이는 효과적인 계산을 가능하게 한다.
• 비틀림 조건을 포함한 쌍곡 반바나흐-마자르 거리는 지속 모듈러스 이론과의 호환성을 보장하며, 비대칭성을 방지한다.
• 모든 $a > 0$ 에 대해 시퀀스 $h_a(U)$ 는 필터링된 플로어 호모로지의 역계측계에 대해 내림차순으로 작용하는 시퀀스를 이룬다. 이는 따라서 9.7.1 조건을 적용할 수 있다.
• 행동 창문 $(a, \infty)$ 에 전역 최대값인 1-주기 궤도 하나만 포함될 경우, 필터링된 플로어 호모로지는 $\mathbb{Z}_2$ 위에서 1차원이다.
• 원점의 고정점의 지수는 $\mathrm{Ind}(0) = -2\big{|}\left\lceil -a \right\rceil\big{|} - 2(n-1)\bigg{|}\left\lceil \frac{-a}{N} \right\rceil\bigg{|}$ 로 주어지며, 이는 비자명한 호모로지 군의 차수를 결정한다.