[논문 리뷰] On the Hofer-Zehnder conjecture on $\mathbb{C} ext{P}^d$ via generating functions (with an appendix by Egor Shelukhin)

Simon Allais|arXiv (Cornell University)|2020. 10. 27.

Geometric and Algebraic Topology인용 수 1

한 줄 요약

이 논문은 복소 프로젝티브 공간 $\mathbb{C}P^d$에서 호퍼-제른드 추측을 생성함수 기반 증명으로 제시하며, 비퇴화된 주기점이 $d+2$개 이상인 모든 해밀턴 미분형사의 주기점이 무한히 많다는 것을 입증한다. 이 접근법은 플로어 호몰로지와 J-홀로모르픽 커브를 피하기 위해 생성함수로부터 유도된 영속 모듈을 사용하여 바코드를 구성한다. 주요 결과는 프랭크스의 정리의 일반화이며, 고전적 모어스 이론적 기법을 통해 셸루킨의 호몰로지 추측을 $\mathbb{C}P^d$에서 확인한다.

ABSTRACT

We use generating function techniques developed by Givental, Th\'eret and ourselves to deduce a proof in $\mathbb{C} ext{P}^d$ of the homological generalization of Franks theorem due to Shelukhin. This result proves in particular the Hofer-Zehnder conjecture in the non-degenerated case: every Hamiltonian diffeomorphism of $\mathbb{C} ext{P}^d$ that has at least $d+2$ non-degenerated periodic points has infinitely many periodic points. Our proof does not appeal to Floer homology or the theory of $J$-holomorphic curves. An appendix written by Shelukhin contains a new proof of the Smith-type inequality for barcodes of Hamiltonian diffeomorphisms that arise from Floer theory, which lends itself to adaptation to the setting of generating functions.

연구 동기 및 목표

• 플로어 호몰로지나 J-홀로모르픽 커브에 의존하지 않고 $\mathbb{C}P^d$에서 호퍼-제른드 추측에 대한 생성함수 기반의 대체 증명을 제공하는 것.
• 지역 플로어 호몰로지와 동치인 불변량으로서 호몰로지 수 $N(\phi; F)$를 설정하여 셸루킨의 추측에 고전적 모어스 이론적 해석을 가능하게 하는 것.
• 해밀턴 미분형사 $\phi$가 $\mathbb{C}P^d$에서 $N(\phi; F) > d+1$를 만족하면 무한히 많은 주기점을 가짐을 증명하여, 프랭크스의 정리를 고차원으로 일반화하는 것.
• 바코드에 대한 스미트 유형 부등식을 생성함수 설정으로 일반화하여 플로어 이론 결과를 고전적 방법으로 적응 가능하게 하는 것.

제안 방법

• 해밀턴 등장사에 관련된 생성함수로부터 영속 모듈 $ (G_{(-\infty,t)}^*(h_s; F))_t $을 구성하며, 플로어 호몰로지와 유사한 방식으로 진행한다.
• 영속 모듈을 바코드로 표현하며, 무한 바는 스펙트럴 불변량에 대응하고 유한 바는 비자명한 국소 호몰로지를 가진 고정점을 나타낸다.
• 호몰로지 수 $ N(\phi; F) = \sum_{x \in \text{Fix}(\phi)} \dim C_*(\phi; x; F) $를 정의하고, 이가 체 $ F $ 위에서의 국소 플로어 호몰로지의 합과 일치함을 보여준다.
• $\mathbb{Z}$-행동을 바코드에 적용하여 주기성을 분석한다: 유한 바의 $\mathbb{Z}$-오빗이 유한하면 고정점의 수도 유한하다.
• 필터링된 플로어 호몰로지와 $\Lambda_K$ 계수를 사용하여 스미트 유형 부등식 $ p \cdot \beta_{\text{tot}}(\phi, F_p) \leq \beta_{\text{tot}}(\phi^p, F_p) $를 증명함으로써 주기점 증가에 대한 핵심 부등식을 확보한다.
• 스펙트럴 불변량과 액션 창을 활용하여 바 길이와 총 바 길이 $ \beta_{\text{tot}}(\phi, K) $ 사이의 관계를 설정하며, 이는 주기점 증가를 제어한다.

실험 결과

연구 질문

• RQ1 호퍼-제른드 추측은 $\mathbb{C}P^d$에서 성립하는가? 즉, 주기점이 유한한 해밀턴 미분형사는 정확히 $d+1$개여야 하며, 否면 무한히 많아야 하는가?
• RQ2 지역 호몰로지로 정의된 호몰로지 수 $N(\phi; F)$는 생성함수와 고전적 모어스 이론을 통해 실현될 수 있는가?
• RQ3 플로어 호몰로지를 사용하지 않고 필터링된 플로어 호몰로지와 노비코프 계수를 사용하여 스미트 유형 부등식 $ p \cdot \beta_{\text{tot}}(\phi, F_p) \leq \beta_{\text{tot}}(\phi^p, F_p) $를 증명할 수 있는가?
• RQ4 해밀턴 미분형사의 바코드 구조는 생성함수로부터 완전히 재구성 가능하며, $\mathbb{Z}$-행동과 스펙트럴 불변량을 유지하는가?
• RQ5 총 바 길이 $ \beta_{\text{tot}}(\phi, K) $는 주기점의 증가를 제어하는가? 특히 소수 주기의 경우에 대해 어떻게 되는가?

주요 결과

• 모든 해밀턴 미분형사 $ \phi $가 $ \mathbb{C}P^d $에서 $ N(\phi; F) > d+1 $를 만족하면 무한히 많은 주기점을 가지며, 이는 프랭크스 정리의 호몰로지 일반화를 확인한다.
• 체 $ F $의 특성이 0이면, 모든 충분히 큰 소수 $ p $에 대해 $ \phi $는 $ p $-주기점을 가지며, $ k $ 미만의 주기점 수는 적어도 $ \frac{k^2}{\log k} $의 속도로 증가한다.
• 체 $ F $의 특성이 $ p \neq 0 $ 이면, $ \phi $는 $ \{ p^k \mid k \in \mathbb{N} \} $의 형태를 가진 주기의 무한히 많은 주기점을 가진다.
• 스미트 유형 부등식 $ p \cdot \beta_{\text{tot}}(\phi, F_p) \leq \beta_{\text{tot}}(\phi^p, F_p) $는 성립하며, 이는 $ \Lambda_K $-계수를 사용한 필터링된 플로어 호몰로지에 의한 증명이 생성함수 설정으로 적응되었다.
• 총 바 길이 $ \beta_{\text{tot}}(\phi, K) $ 는 체 확장에 대해 불변이며, $ \text{char}(K) = p $ 이면 $ \beta_{\text{tot}}(\phi, K) = \beta_{\text{tot}}(\phi, F_p) $ 를 만족하여 다양한 계수 체에서 일관성을 확보한다.
• 바코드 내 유한 바의 $ \mathbb{Z} $-오빗 수는 $ K(\phi, K) $ 와 같으며, 무한 바의 수는 $ B(K) = \dim_K H_*(\mathbb{C}P^d; K) = d+1 $ 와 일치한다. 이는 아르놀트 추측과도 일치한다.