[논문 리뷰] PFH spectral invariants and $C^\infty$ closing lemmas

Oliver Edtmair, Michael Hutchings|arXiv (Cornell University)|2021. 10. 06.

Geometric and Algebraic Topology참고 문헌 26인용 수 4

한 줄 요약

이 논문은 면적을 보존하는 표면 미분형식에 대해 주기적 플로어 호모로지(PFH)에서 스펙트럼 불변량을 개발하고, 이를 바탕으로 정량적 $C^\infty$ 닫힘 렘마를 확립한다. 유리형 해밀토니안 동치류에 대해 $U$-사이클 성질을 만족하는 경우, 주기 궤도는 주기 $O(\delta^{-1})$ 이내에 나타나야 하며, $S^2$ 또는 $T^2$ 위의 $C^\infty$-일반적인 이러한 사상에서는 주기 점들의 집합이 조밀함을 보인다. 또한 PFH 스펙트럼 불변량에 대한 와일 법칙도 확립된다.

ABSTRACT

We develop the theory of spectral invariants in periodic Floer homology (PFH) of area-preserving surface diffeomorphisms. We use this theory to prove $C^\infty$ closing lemmas for certain Hamiltonian isotopy classes of area-preserving surface diffeomorphisms. In particular, we show that for a $C^\infty$-generic area-preserving diffeomorphism of the torus, the set of periodic points is dense. Our closing lemmas are quantitative, asserting roughly speaking that for a given Hamiltonian isotopy, within time $δ$ a periodic orbit must appear of period $O(δ^{-1})$. We also prove a "Weyl law" describing the asymptotic behavior of PFH spectral invariants.

연구 동기 및 목표

• 면적을 보존하는 표면 미분형식에 대해 주기적 플로어 호모로지(PFH)에서 스펙트럼 불변량 이론을 개발하기 위해.
• 이러한 사상의 해밀토니안 동치류에 대해 정량적 $C^\infty$ 닫힘 렘마를 확립하기 위해.
• $C^\infty$-일반적인 면적을 보존하는 미분형식이 유리형 해밀토니안 동치류에 속하고 $U$-사이클 성질을 만족하는 경우, 표면 상의 주기 점들의 집합이 조밀함을 증명하기 위해.
• PFH 스펙트럼 불변량의 渐近 성장률을 묘사하는 와일 법칙을 유도하기 위해.

제안 방법

• 저자들은 매핑 토러스 구성에 의해 면적을 보존하는 미분형식의 주기 궤도와 관련된 PFH 스펙트럼 불변량을 정의한다.
• 매핑 토러스 $Y_\phi$를 사용하여 $φ$의 주기 궤도를 벡터장 $∂_t$의 닫힌 궤도와 연결하며, 면적형식 $ω$와 닫힌 2형식 $ω_φ$를 갖는다.
• 이 이론은 코homology 계열 $[ω_\phi] \in H^2(Y_\phi; \mathbb{R})$에 의존하며, 이 계열이 정수 계열의 실수 배가 될 경우 유리성으로 정의된다.
• 저자들은 $U$-사이클 성질을 도입하여, 특정 호모로지 계열이 유한한 차수의 $U$-사이클임을 보장하며, 이는 스펙트럼 불변량이 주기와 함께 선형적으로 증가하도록 하는 데 필수적이다.
• 스ymplectic topology에서의 볼 팩킹 추론을 사용하여 스펙트럼 불변량을 symplectic 체적과 비교하며, ECH 스펙트럼 불변량 $c_k^{\text{ECH}}(X)$를 활용한다.
• 와일 법칙의 증명은 차수 증가하는 궤도의 수열에 대한 극한 추론을 사용하며, 스펙트럼 불변량이 작용 차이와 선형적으로 스케일링됨을 보이며, 비율은 $O(d^{-1/2})$이다.

실험 결과

연구 질문

• RQ1 해밀토니안 동치류에 어떤 조건이 성립할 경우, 주기 점들의 $C^\infty$-일반 조밀성 성질이 성립하는가?
• RQ2 PFH의 스펙트럼 불변량을 사용하여 면적을 보존하는 표면 미분형식에 대해 정량적 닫힘 렘마를 증명할 수 있는가?
• RQ3 궤도의 주기가 무한히 증가할 때 PFH 스펙트럼 불변량의 渐近 행동은 어떻게 되는가?
• RQ4 큰 주기 궤도의 극한에서 칼라비 불변량은 PFH 스펙트럼 불변량과 어떻게 관련되는가?
• RQ5 $U$-사이클 성질은 스펙트럼 불변량의 성장 제어에 어떤 역할을 하는가?

주요 결과

• 유리형이며 $U$-사이클 성질을 만족하는 모든 해밀토니안 동치류 $\Phi$에 대해 $C^\infty$ 닫힘 성질이 성립한다: 임의의 열린 집합 $\mathcal{U}$ 내에서 $C^\infty$-소규모 변형을 통해 $\mathcal{U}$와 교차하는 주기 궤도가 생성된다.
• 논문은 $S^2$ 또는 $T^2$ 위의 유리형 동치류에 속한 $C^\infty$-일반적인 면적을 보존하는 미분형식에 대해 주기 점들의 집합이 표면 상에서 조밀함을 증명한다.
• 와일 법칙이 확립되었다: 차수 $d(\gamma_i) \to \infty$인 궤도 수열 $\gamma_i$에 대해, 정규화된 스펙트럼 불변량 차이는 $A^{-1} \int_{Y_\phi} (H_2 - H_1) \omega_\phi \wedge dt$로 수렴한다. 여기서 $A = \int_\Sigma \omega$이다.
• 볼 팩킹을 신중히 선택할 경우, 와일 법칙의 수렴 속도는 $O(d^{-1/2})$임이 입증된다.
• 이 결과는 디스크 위의 해밀토니안 미분형식의 칼라비 불변량이 정규화된 PFH 스펙트럼 불변량의 극한으로 복원됨을 시사한다.
• 이 이론은 PFH에서의 스펙트럼 불변량이 칼라비 불변량을 탐지할 수 있음을 확인하며, 이는 이전 결과를 확장하고 단순성 추측을 지지한다.