[논문 리뷰] Periodic Floer homology and the smooth closing lemma for area-preserving surface diffeomorphisms

Dan Cristofaro‐Gardiner, Rohil Prasad외 1명|arXiv (Cornell University)|2021. 10. 06.

Geometric and Algebraic Topology인용 수 8

한 줄 요약

이 논문은 면적을 보존하는 표면 미분동형사상에 대한 주기적 플로어 homology(PFH)에 대해 Weyl 유형의 법칙을 수립하며, 단조성 조건 하에서 PFH가 무한 랭크임을 증명하고 한계에서 Calabi 불변량을 복원함을 보여준다. 이를 통해 매끄러운 닫힘 보조정리를 증명하여, 닫힌 표면 위의 $C^\infty$-일반적인 면적을 보존하는 미분동형사상은 조밀한 주기점 집합을 가짐을 보였다. 이는 이 설정에서 Smale의 제10 문제를 해결한 것이다.

ABSTRACT

We prove a very general Weyl-type law for Periodic Floer Homology, estimating the action of twisted Periodic Floer Homology classes over essentially any coefficient ring in terms of the grading and the degree, and recovering the Calabi invariant of Hamiltonians in the limit. We also prove a strong non-vanishing result, showing that under a monotonicity assumption which holds for a dense set of maps, the Periodic Floer Homology has infinite rank. An application of these results yields that a $C^{\infty}$-generic area-preserving diffeomorphism of a closed surface has a dense set of periodic points. This settles Smale's tenth problem in the special case of area-preserving diffeomorphisms of closed surfaces.

연구 동기 및 목표

• 임의의 계수 환에 대해 주기적 플로어 homology(PFH)에 대한 일반적인 Weyl 유형 법칙을 수립하여, 행동, 등급, 차수 간의 관계를 규명한다.
• 단조성 조건 하에서 휘어진 PFH(TwPFH)에 대해 강력한 비영 결과를 증명하여, 조밀한 집합의 사상들에 대해 비자명한 호모로지 클래스가 존재함을 보장한다.
• 이 결과들을 적용하여 닫힌 표면 위의 $C^\infty$ 면적을 보존하는 미분동형사상에 대한 매끄러운 닫힘 보조정리를 증명한다.
• 일반적인 사상이 조밀한 주기점 집합을 가짐을 보여, Smale의 제10 문제를 면적을 보존하는 표면 미분동형사상의 특수한 경우에 대해 해결한다.
• PFH 기법을 사용하여 이전의 해밀토니안 미분동형사상 결과를 더 넓은 면적을 보존하는 미분동형사상의 클래스로 확장한다.

제안 방법

• 임의의 계수 환에 대해 휘어진 주기적 플로어 homology(TwPFH)에 대한 Weyl 법칙을 개발하여, 호모로지 클래스의 행동을 그 등급과 차수로 추정한다.
• 아티야–파타디–식 심플렉틱 인덱스 정리에 기반한 스펙트럴 플로우와 인덱스 이론 접근법을 사용하여 원통형 다각체 위의 딜라크 연산자의 인덱스를 계산한다.
• PFH 및 TwPFH를 $\mathbb{R} \times M_\phi$에서의 준해석적 곡선을 통해 정의한다. 여기서 $M_\phi$는 $\phi$의 매핑 토러스이다.
• 매핑 토러스 $M_\phi$ 상의 면적 형식 $\omega_\phi$의 역상에 의한 심플렉틱 행동에 따른 필터링을 도입한다.
• 베어 범주 논법을 적용하여 닫힘 보조정리로부터 일반성의 조밀한 주기점 집합을 유도한다.
• 편미분 기법과 $C^r$ 위상에서의 $C^\infty$ 사상의 조밀성을 이용하여 결과를 $C^r$ 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 임의의 계수 환에 대해 주기적 플로어 homology에 대해 행동을 등급과 차수의 함수로 추정할 수 있는 Weyl 유형 법칙을 수립할 수 있는가?
• RQ2 휘어진 PFH가 어떤 조건에서 무한 랭크가 되며, 이는 면적을 보존하는 미분동형사상의 역학과 어떻게 관련이 있는가?
• RQ3 PFH를 사용하여 $C^\infty$ 면적을 보존하는 닫힌 표면 위의 미분동형사상에 대해 매끄러운 닫힘 보조정리를 증명할 수 있는가?
• RQ4 $C^\infty$ 면적을 보존하는 닫힌 표면 위의 미분동형사상에 대해 일반성의 조밀한 주기점 집합이 성립하는가?
• RQ5 PFH Weyl 법칙이 한계에서 Calabi 불변량을 얼마나 잘 복원할 수 있는가?

주요 결과

• 휘어진 PFH에 대해 일반적인 Weyl 법칙이 수립되었으며, 이는 호모로지 클래스의 행동을 등급과 차수로 추정하고 한계에서 Calabi 불변량을 복원함을 보여준다.
• 조밀한 집합의 면적을 보존하는 미분동형사상에 대해 성립하는 단조성 조건 하에서, 휘어진 PFH는 무한 랭크임을 보였다.
• 매끄러운 닫힘 보조정리가 증명됨: 임의의 열린 집합 $U$와 $\phi$의 근방 $V$에 대해, $U$ 안에 주기점이 있는 $\phi' \in V$ 가 존재한다.
• 결과적으로, $C^\infty$-일반적인 면적을 보존하는 닫힌 표면 위의 미분동형사상은 조밀한 주기점 집합을 가진다.
• 결과는 $C^r$ 위상($r \geq 1$)으로도 확장되며, $C^\infty$ 사상이 $C^r$ 위상에서 조밀하므로 가능하다.
• 증명은 모듈리 공간의 준해석적 곡선의 차원을 제어하기 위해 인덱스 이론, 스펙트럴 플로우 및 아티야–파타디–식 정리를 기반으로 한다.