[논문 리뷰] On non-contractible hyperbolic periodic orbits and periodic points of symplectomorphisms

Marta Batoréo|arXiv (Cornell University)|2015. 07. 15.

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

한 줄 요약

이 논문은 특정한 닫힌 심플렉틱 다양체 위에서 항등사상과 동치인 심플렉토모르피즘에 대해, 비수축 가능한 하이퍼볼릭 주기 궤도를 가지며 플럭스 조건을 만족할 경우, 무수히 많은 주기 궤도가 존재함을 증명한다. 비수축 가능한 궤도를 위한 특화된 플로어–노비코프 homology의 변종을 사용하여, 저자들은 이러한 심플렉토모르피즘이 궤도의 반복의 자유 호모토피 클래스 내에서 무수히 많은 주기 궤도를 가져야 한다고 증명한다. 이는 이전의 해밀토니안 디피오모르피즘과 수축 가능한 궤도에 대한 결과를 일반화한다.

ABSTRACT

We prove the existence of infinitely many periodic points of symplectomorphisms isotopic to the identity if they admit at least one (non-contractible) hyperbolic periodic orbit and satisfy some condition on its flux. The obtained periodic points correspond to periodic orbits whose free homotopy classes are formed by iterations of the hyperbolic periodic orbit. Our result is proved for a certain class of closed symplectic manifolds and the main tool we use is a variation of Floer theory for non-contractible periodic orbits and symplectomorphisms, the Floer-Novikov theory. For a certain class of symplectic manifolds, the theorem generalizes the main results proved for Hamiltonian diffeomorphisms in GG14 and for symplectomorphisms and contractible orbits in Ba15.

연구 동기 및 목표

• 특정 심플렉틱 다양체 위에서 항등사상과 동치인 심플렉토모르피즘에 대해 무수히 많은 주기 궤도가 존재함을 증명하는 것.
• 이전의 해밀토니안 디피오모르피즘과 수축 가능한 주기 궤도에 대한 결과를 비수축 가능한 하이퍼볼릭 주기 궤도의 경우로 확장하는 것.
• 단 하나의 비수축 가능한 하이퍼볼릭 주기 궤도가 존재하고 플럭스 조건을 만족할 경우, 동일한 자유 호모토피 클래스 내에서 무수히 많은 주기 궤도가 존재함을 증명하는 것.
• 심플렉토모르피즘의 맥락에서 호퍼–제이너드 및 구렐 추측을 일반화하기 위해, 유한한 주기 궤도의 존재를 막는 기하학적 및 호모로지적 장벽을 규명하는 것.

제안 방법

• 저자들은 비수축 가능한 주기 궤도에 적합한 플로어 homology의 변종인 플로어–노비코프 homology를 사용한다.
• 무한차원의 루프 공간과 비자명한 호모토피 클래스를 다루기 위해, 노비코프 링 Λ와 계수를 Λ로 하는 양자 호모로지(quantum homology)를 사용한다.
• 행동 함수는 자유 루프 공간의 쌍대 덮개 $\widetilde{\mathcal{L}}_{\zeta}M$ 위에 정의되며, 등온의 플럭스는 코homology 클래스 $\varrho$에 포함된다.
• 평균 지수와 보정된 행동 함수는 주기 궤도의 성장과 필터링된 플로어–노비코프 복합체 내에서 비자명한 호모로지 클래스 탐지에 사용된다.
• 볼-크로싱 에너지 정리(_ball-Crossing Energy Theorem_)를 적용하여, 일부 궤도가 $h_\varrho\mathbb{Z}$의 $\epsilon$-근처 외부에 있는 행동 값을 가져야 함을 보이고, 이는 유한한 궤도만 존재할 경우 모순이 된다.
• 증명은 양자 곱의 작용과 양자 호모로지에서의 조건 $\beta * \alpha = q[M]$에 의존하며, 이는 주기 궤도의 존재와 다양체의 위상구조 사이의 연결고리를 제공한다.

실험 결과

연구 질문

• RQ1 닫힌 심플렉틱 다양체 위에서 항등사상과 동치인 심플렉토모르피즘이 언제 무수히 많은 주기 궤도를 가지는가?
• RQ2 비수축 가능한 하이퍼볼릭 주기 궤도가 하나만 존재할 경우, 이는 유한한 주기 궤도의 존재를 강제할 수 있는가? 만약 그렇다면, 플럭스 제약 조건은 무엇인가?
• RQ3 표준 플로어 호모로지가 실패할 경우, 플로어–노비코프 호모로지가 비수축 가능한 자유 호모토피 클래스 내의 주기 궤도를 어떻게 탐지하는가?
• RQ4 기존의 해밀토니안 디피오모르피즘과 수축 가능한 궤도에 대한 정리들에 비해, 결과는 어느 정도 일반화되는가?
• RQ5 최소 채르 수와 양자 호모로지의 구조는 유한한 주기 궤도의 존재를 보장하기 위해 어떤 역할을 하는가?

주요 결과

• 논문은, 엄격하게 구면 단조인 닫힌 심플렉틱 다양체 위에서 비수축 가능한 하이퍼볼릭 주기 궤도를 가지며 플럭스 조건 $\varrho = -\overline{[\omega]} + \text{ev}^*(\text{Flux}[[\phi_t]])$를 만족하는 심플렉토모르피즘이 무수히 많은 주기 궤도를 가짐을 증명한다.
• 주기 궤도들이 원래 하이퍼볼릭 궤도의 반복의 자유 호모토피 클래스 내에 있음을 보였으며, 이는 기하학적으로 초기 궤도와 관련되어 있음을 의미한다.
• 핵심 기술적 결과는 조건 $c^\text{min}_{1,T} \geq \frac{n}{2}+1$ 과 양자 호모로지에서의 $\beta * \alpha = q[M]$ 조건 하에서, 필터링된 플로어–노비코프 호모로지가 $\epsilon$-근처 외부의 궤도 존재를 강제하는 비자명한 사이클을 탐지함을 보여주며, 이는 유한성과 모순된다.
• 증명은 이러한 궤도의 평균 지수가 $n+1$ 이하로 유계임을 보였고, 차수 조건 $\deg(\alpha) \geq 3n - 2c^\text{min}_{1,T} + 1$ 하에서, 만약 주기 궤도가 유한히 존재할 경우 모순이 발생한다.
• 이 결과는 이전의 정리들인 GG14(해밀토니안 디피오모르피즘에 대한) 및 Bat15(수축 가능한 궤도에 대한)를 비수축 가능한 경우로 일반화한다.
• 저자들은 플럭스 조건이 필수적임을 확인한다: 이 조건이 없을 경우, 토러스 위의 이동 변환과 같은 반례를 통해 유한한 주기 궤도의 존재를 보장할 수 없음을 보였다.