[논문 리뷰] Local Floer Homology and the Action Gap

Viktor L. Ginzburg, Başak Z. Gürel|ArXiv.org|2007. 09. 26.

Geometric and Algebraic Topology참고 문헌 18인용 수 5

한 줄 요약

이 논문은 심플렉틱적으로 비어 있는 다양체 위에서 해밀토니안 미분동형사상의 허용 가능한 반복에 대해 국소 플로어 homology의 지속성을 확립하며, 고립된 순환 궤도에 대한 국소 플로어 homology 군이 차수 이동을 제외하고는 동형으로 유지됨을 증명한다. 또한, 준산술적 반복 수열에 대해 평균 행동 갭이 상한으로 유계임을 보이며, 콘리 계측을 일반화하고, 팔자 모양 곱을 통해 심플렉틱적으로 탈선한 최대값을 특성화한다.

ABSTRACT

In this paper, we study the behavior of the local Floer homology of an isolated fixed point and the growth of the action gap under iterations. To be more specific, we prove that an isolated fixed point of a Hamiltonian diffeomorphism remains isolated for a certain class of iterations (the so-called admissible iterations) and that the local Floer homology groups for all such iterations are isomorphic to each other up to a shift of degree. Furthermore, we study the pair-of-pants product in local Floer homology, and characterize a particular class of isolated fixed points (the symplectically degenerate maxima), which plays an important role in the proof of the Conley conjecture. The proofs of these facts rely on an observation that for a general diffeomorphism, not necessarily Hamiltonian, an isolated fixed point remains isolated under all admissible iterations. Finally, we apply these results to show that for a quasi-arithmetic sequence of admissible iterations of a Hamiltonian diffeomorphism with isolated fixed points the minimal action gap is bounded from above when the ambient manifold is closed and symplectically aspherical. This theorem is a generalization of the Conley conjecture.

연구 동기 및 목표

• 해밀토니안 미분동형사상의 반복에 따른 국소 플로어 homology의 행동을 이해하는 것.
• 특히 심플렉틱적으로 탈선한 최대값을 포함해, 허용 가능한 반복 하에서도 지속되는 고립된 고정점을 특성화하는 것.
• 닫힘된, 심플렉틱적으로 비어 있는 다양체 위에서 준산술적 반복 수열에 대해 최소 행동 갭에 대한 균일한 상한을 확립하는 것.
• 약간의 조건 하에서 임의로 큰 주기의 순환 궤도가 존재함을 보여주는 콘리 계측의 일반화

제안 방법

• 고정점에서 미분의 고유값 조건에 기반해 허용 가능한 반복과 양호한 반복의 개념을 도입한다.
• 임의의 함수 정리와 접공간의 선형 분해를 이용해, 허용 가능한 반복 하에서 고립성의 지속성을 증명한다.
• 가족의 미분동형사상에 대해 고립성 지속 결과의 매개변수적 변형을 적용한다.
• 국소 플로어 homology에서의 팔자 모양 곱을 분석하여 심플렉틱적으로 탈선한 최대값을 특성화한다.
• 평균 지수와 행동 갭을 이용해 반복 수열에 따른 渐近 행동을 연구한다.
• 브라우어 차수의 추론과 변형의 C1-노름에 대한 추정을 사용해 순환점의 행동을 제어한다.

실험 결과

연구 질문

• RQ1 해밀토니안 미분동형사상의 고립된 고정점이 허용 가능한 반복 하에서도 여전히 고립되어 있는가?
• RQ2 고립된 순환 궤도에 대한 국소 플로어 homology 군은 허용 가능한 반복 하에서도 차수 이동을 제외하고 불변인가?
• RQ3 닫힘된, 심플렉틱적으로 비어 있는 다양체 위에서 준산술적 반복 수열에 대해 행동 갭을 균일하게 유계화할 수 있는가?
• RQ4 심플렉틱적으로 탈선한 최대값은 국소 플로어 homology의 구조와 콘리 계측에서 어떤 역할을 하는가?
• RQ5 반복 하에서 국소 플로어 homology의 차수 이동과 평균 지수 사이의 관계는 무엇인가?

주요 결과

• 모든 허용 가능한 반복 k에 대해, 고립된 일주기 궤도 γ의 k번째 반복 γk는 H#k 하에서 여전히 고립되어 있다.
• HF∗(H#k, γk) ≅ HF∗+sk(H, γ) 를 만족하며, 어떤 차수 이동 sk에 대해 성립하며, limk→∞ sk/k = ∆H(γ) 이다. 여기서 ∆H(γ)는 γ의 평균 지수이다.
• k가 양호하고 HF∗(H, γ) ≠ 0 이면, 이동 sk는 짝수이며, 이동은 동형사상에 의해 유일하게 결정된다.
• ∆H(γ) = 0 이고 HFn(H, γ) ≠ 0 이면, 모든 이동 sk는 0이며, 이는 γ의 강한 탈선성을 나타낸다.
• 닫힘된, 심플렉틱적으로 비어 있는 다양체 위에서 준산술적 반복 수열에 대해 최소 행동 갭은 상한으로 유계이다.
• 팔자 모양 곱을 통한 심플렉틱적으로 탈선한 최대값의 특성화는 콘리 계측 증명의 핵심 도구를 제공한다.