[논문 리뷰] p-cyclic persistent homology and Hofer distance

Jun Zhang|arXiv (Cornell University)|2016. 05. 24.

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

한 줄 요약

이 논문은 $g \geq 4$ 이고 $p$ 가 충분히 클 때 $\Sigma_g \times M$ 위에서 시간에 의존하는 해밀턴 미분형과 $p$-거듭제곱 해밀턴 미분형 사이의 호퍼 거리가 임의로 클 수 있음을 증명한다. $p$-순환 지속 호몰로지와 플로어 이론적 설정에서의 특이값 분해를 이용하여 저자들은 폴터비치와 셰룩힌의 결과를 일반화하며, $\text{power}_p(\Sigma_g \times M) = \infty$ 를 증명한다. 이는 $\text{aut}(\Sigma_g \times M) = \infty$ 를 암시하며, 모든 닫힌 심플레틱 다양체에서 $\text{aut}(X) = \infty$ 라는 추측을 지지한다.

ABSTRACT

In this paper, we generalize the result from L. Polterovich and E. Shelukhin's paper stating that Hofer distance from time-dependent Hamiltonian diffeomorphism to the set of p-th power Hamiltonian diffeomorphism can be arbitrarily large to hold in the product structure $Σ_g imes M$ for any closed symplectic manifold $M$ when $p$ is sufficiently large and $g \geq 4$. This implies that, on this product, Hofer distance can be arbitrarily large between time-dependent Hamiltonian diffeomorphism and autonomous Hamiltonian diffeomorphism.The basic tool we use is barcode and singular value decomposition that are developed in previous joint work with M. Usher, from which we borrow many proofs and modify them so that it can be adapted to the situation that filtered chain complex equipped with a group action.

연구 동기 및 목표

• 해밀턴 역학에서 호퍼 거리에 관한 폴터비치와 셰룩힌의 결과를 더 넓은 범주로 일반화한다.
• $g \geq 4$ 이고 큰 소수 $p$ 에 대해 $\text{power}_p(\Sigma_g \times M) = \infty$ 를 확립함으로써 $\text{aut}(\Sigma_g \times M) = \infty$ 를 이끌어낸다.
• $p$-순환 지속 호몰로지 기법을 플로어 이론적 설정에서 군 작용을 고려하여 개발하고 적용함으로써 이전 방법을 일반화한다.
• 바코드 다중도와 특이값 분해를 이용한 호몰로지적 차단 조건을 제시하여 비자명한 호퍼 거리를 탐지한다.

제안 방법

• 회로의 회전을 통해 플로어 복합체에 $p$-순환 작용을 구성함으로써 체인 수준에서 $\mathbb{Z}/p\mathbb{Z}$-작용을 유도한다.
• 이 군 작용 하에서 필터링된 플로어 복합체의 구조를 분석하기 위해 $p$-순환 특이값 분해를 적용한다.
• p-중복 거듭제곱 사상의 사영 복합체의 바코드 분해를 이용하여 호퍼 거리와 관련된 불변량을 추출한다.
• $\Sigma_g \times M$ 의 바코드 구조의 곱 구조를 활용하여 곱 복합체의 바코드를 구성 요소의 바코드와 연결한다.
• 이항계수와 바바지의 정리를 이용하여 곱 복합체의 유한 길이 바의 다중도를 계산한다.
• 바코드 다중도가 $p$ 모듈로 나누어떨어지지 않는지 분석하여 호퍼 거리의 비자명성을 탐지한다.

실험 결과

연구 질문

• RQ1 시간에 의존하는 해밀턴 미분형과 $p$-거듭제곱 해밀턴 미분형 사이의 호퍼 거리가 $g \geq 4$ 인 $\Sigma_g \times M$ 에서 임의로 클 수 있는가?
• RQ2 $p$-순환 지속 호몰로지 프레임워크는 해밀턴 군 내에서 $p$-거듭제곱 근의 존재에 대한 강력한 차단 조건을 제공하는가?
• RQ3 플로어 복합체의 바코드 구조는 $p$-중복 거듭제곱 사상과 군 작용 하에서 어떻게 변형되는가?
• RQ4 에그 베이터 모델은 $g \geq 4$ 인 $\Sigma_g$ 에 대해 바코드 불변량을 계산하는 데 어떤 역할을 하는가?
• RQ5 곱 복합체의 차수 1 바의 다중도가 $p$ 로 나누어떨어지지 않는 조건은 무엇이며, 이는 비자명한 호퍼 거리를 암시하는가?

주요 결과

• $g \geq 4$ 이고 충분히 큰 소수 $p$ 에 대해 호퍼 거리 $\text{power}_p(\Sigma_g \times M)$ 는 무한대이며, 폴터비치와 셰룩힌의 결과를 일반화한다.
• 곱 복합체 $\Sigma_g \times M$ 의 바코드에서 차수 1의 유한 길이 바의 다중도는 $\sum_{k=-p+1}^{p+1} \binom{2p}{k+p-1} \cdot qb_{1-k}(M)$ 로 주어지며, 이 값은 $p > 2\sum_{0 \leq i \leq 2n} b_i(M)$ 일 때 $p$ 로 나누어떨어지지 않는다.
• 다중도 합의 중앙 항 $\binom{2p}{p} \cdot qb_0(M)$ 는 $\binom{2p}{p} \equiv 2 \pmod{p}$ 를 만족하여 $p$ 모듈로에서 비자명한 기여를 한다.
• $M = \mathbb{C}P^n$ 이면 다중도 모듈로 $p$ 는 $2$ 이며, 이는 모든 소수 $p \geq 3$ 에 대해 나누어떨어지지 않음을 의미하므로 $\text{power}_p(\Sigma_g \times \mathbb{C}P^n) = \infty$ 가 성립한다.
• $c_1(TM) = 0$ 이면 다중도 모듈로 $p$ 는 $b_p(M) + 2$ 이며, $p \nmid b_p(M) + 2$ 이면 나누어떨어지지 않아 더 정교한 차단 조건을 제공한다.
• $p$-순환 지속 호몰로지의 특이값 분해 기반 구성은 해밀턴 군 내에서 $p$-거듭제곱 근에 대한 호몰로지적 차단 조건을 가능하게 하며, 이는 무한대 호퍼 거리의 증명을 가능하게 한다.