[논문 리뷰] Barcodes and area-preserving homeomorphisms

Frédéric Le Roux, Sobhan Seyfaddini외 1명|arXiv (Cornell University)|2018. 10. 07.

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

한 줄 요약

이 논문은 표면 위의 면적을 보존하는 호메오모르피즘에 대해 바코드를 연속적인 동역학적 불변량으로 도입하며, 고전적 플로어 homology가 실패하는 영역에서 해밀토니안 플로어 이론을 스크린을 초월해 확장한다. 바코드 이론과 르 콘블레의 수평 폴리에이션을 조합함으로써, 저자들은 고정점의 수(중복도 포함)가 매우 넓은 해밀토니안 호메오모르피즘의 클래스에서 약한 동형 불변량임을 증명하며, C0 심플렉틱 동역학 분야의 핵심 문제를 해결한다.

ABSTRACT

In this paper we use the theory of barcodes as a new tool for studying dynamics of area-preserving homeomorphisms. We will show that the barcode of a Hamiltonian diffeomorphism of a surface depends continuously on the diffeomorphism, and furthermore define barcodes for Hamiltonian homeomorphisms. Our main dynamical application concerns the notion of {\it weak conjugacy}, an equivalence relation which arises naturally in connection to $C^0$ continuous conjugacy invariants of Hamiltonian homeomorphisms. We show that for a large class of Hamiltonian homeomorphisms with a finite number of fixed points, the number of fixed points, counted with multiplicity, is a weak conjugacy invariant. The proof relies, in addition to the theory of barcodes, on techniques from surface dynamics such as Le Calvez's theory of transverse foliations. In our exposition of barcodes and persistence modules, we present a proof of the Isometry Theorem which incorporates Barannikov's theory of simple Morse complexes.

연구 동기 및 목표

• 기존에 심플렉틱 위상수학에서 사용된 바코드 이론을 고전적 플로어 호모로지가 정의되지 않는 면적을 보존하는 호메오모르피즘으로 확장한다.
• 균일 수렴에 대한 바코드의 연속성을 확립함으로써, 비스무스 동역학에서의 불변량으로서의 사용을 가능하게 한다.
• 유한한 고정점을 가지는 해밀토니안 호메오모르피즘의 경우, 고정점의 수(중복도 포함)가 약한 동형에 대해 불변임을 증명한다.
• 국소 동역학과 수평 폴리에이션을 이용하여 면적을 보존하는 호메오모르피즘의 고정점의 스무스화 가능성에 대해 연구한다.
• 어떤 미분형으로도 약한 동형이 되지 않는 해밀토니안 호메오모르피즘의 예를 구성함으로써, 약한 동형의 엄밀한 엄격성을 입증한다.

제안 방법

• 균일 수렴에 대한 바코드의 연속성을 이용해, 해밀토니안 미분형에서의 극한 과정을 통해 해밀토니안 호메오모르피즘에 대한 바코드를 정의한다.
• 바라니코프의 단순 모어스 복합체 이론을 적용하여 바코드의 등장사상 정리(Isometry Theorem)를 증명하고, 이를 필터링된 플로어 호모로지와 연결한다.
• 레 콘블레의 수평 폴리에이션 이론을 활용해 면적을 보존하는 호메오모르피즘의 고정점 근처의 국소 동역학을 분석한다.
• 고정점의 국소 회전 집합을 이웃 영역의 여명점 컴acts피케이션에서의 동역학과 연결한다.
• 환상형의 고리형 여부를 분석하기 위해 환상형의 기본 겹침으로의 업그레이드를 수행하고, 이를 통해 고정점의 지수를 탐지한다.
• 商의 보조정리(quotient lemma)와 여명점 이론을 활용해 기본 겹침의 동역학을 원주 경계의 동역학과 연결함으로써, 원주 동역학 도구의 사용을 가능하게 한다.

실험 결과

연구 질문

• RQ1 고전적 플로어 호모로지가 정의되지 않는 해밀토니안 호메오모르피즘에 대해 바코드를 확장할 수 있는가?
• RQ2 해밀토니안 호메오모르피즘의 바코드는 균일 위상에 대해 연속적인가?
• RQ3 유한한 고정점을 가지는 해밀토니안 호메오모르피즘의 경우, 고정점의 수(중복도 포함)는 약한 동형에 대해 불변인가?
• RQ4 어떤 해밀토니안 호메오모르피즘이나 미분형으로도 약한 동형이 되지 않는가?
• RQ5 면적을 보존하는 호메오모르피즘의 고정점이 스무스화 가능한 조건은 무엇인가?

주요 결과

• 해밀토니안 미분형의 바코드는 균일 위상에서 그에 대한 미분형에 대해 연속적이다.
• 균일 수렴에 대한 바코드의 연속성 덕분에, 해밀토니안 호메오모르피즘에 대해 바코드가 극한 과정을 통해 잘 정의되며, C0 설정에서 플로어 이론의 불변량이 확장된다.
• 유한한 고정점을 가지는 해밀토니안 호메오모르피즘의 경우, 총 고정점 수(중복도 포함)는 약한 동형 불변량이다.
• 지수 1인 고정점에서 국소 회전 집합이 자명한 경우, 여명점 동역학을 통해 그 고정점이 결정되지 않음(끌림도 아니고 밀림도 아님)임을 보였다.
• 어떤 해밀토니안 호메오모르피즘도 미분형으로 약한 동형이 되지 않는다는 것이 입증되었으며, 이는 약한 동형이 동형의 미분형보다 엄밀히 더 약한 것을 보여준다.
• 지수 1인 고정점은 그 국소 회전 집합이 자명할 때이고, 오직 그 경우에만 스무스화 가능하며, 이는 기울기 유사 동역학을 가지는 수평 폴리에이션의 존재와 동치이다.