[논문 리뷰] Rabinowitz Floer homology for tentacular Hamiltonians

Federica Pasquotto, Robert Vandervorst외 1명|arXiv (Cornell University)|2018. 10. 12.

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

한 줄 요약

이 논문은 비콤팩트 초표면에 대해 Rabinowitz Floer homology를 정의하기 위해 강력한 뿌리형 해밀토니안(Strongly tentacular Hamiltonians)을 도입함으로써, 성장, 접촉형, 파울리 괄호 행동에 관한 구체적인 기하학적 및 점점 가까워지는 조건을 만족시킴으로써 이를 달성한다. 주요 결과는 이 클래스에 대해 Rabinowitz Floer homology가 잘 정의되어 있고, 컴팩트 지지 집합을 가진 변형에 대해 불변함을 보이며, 이는 비콤팩트 접촉다양체에서 폐쇄 특성의 존재에 대한 새로운 결과를 가능하게 한다.

ABSTRACT

This paper extends the definition of Rabinowitz Floer homology to non-compact hypersurfaces. We present a general framework for the construction of Rabinowitz Floer homology in the non-compact setting under suitable compactness assumptions on the periodic orbits and the moduli spaces of Floer trajectories. We introduce a class of hypersurfaces being the level sets of specific Hamiltonians: strongly tentacular Hamiltonians, for which the compactness conditions are satisfied, thus enabling us to define the Rabinowitz Floer homology for this class. Rabinowitz Floer homology in turn serves as a tool to address the Weinstein conjecture and establish existence of closed characteristics.

연구 동기 및 목표

• 비콤팩트 접촉형 초표면에 대해 Rabinowitz Floer homology를 R^{2n}에서 확장함으로써 표준적인 콤팩트성 가정이 실패하는 경우를 다루는 것.
• Floer 이론적 구성에 필요한 콤팩트성과 점점 가까워지는 조건을 만족시키는 해밀토니안의 클래스—강력한 뿌리형 해밀토니안—을 정의하는 것.
• Rabinowitz 작용함수가 모스-보츠 유형이 되고, 변형에 대해 임계점이 잘 제어됨을 보장하는 것.
• 이러한 해밀토니안에 대해 컴팩트 지지 집합을 가진 변형에 대해 Rabinowitz Floer homology의 불변성을 확립하는 것.
• 비콤팩트 Weinstein 추측, 즉 비콤팩트 접촉다양체에서 폐쇄 특성의 존재를 공격하는 데 새로운 도구를 제공하는 것.

제안 방법

• 네 가지 공리(h1)~(h4)를 만족하는 강력한 뿌리형 해밀토니안을 도입함: (h1) 점점 정규적인 리우빌 장에 의해 dH(X†)의 하한 보장, (h2) D^3H의 초평형 성장, (h3) 0 수준 집합에서 제한된 접촉형, (h4) {H, {H, F}} > 0 이 무한대에서 성립하는 강제 함수 F.
• 이전 연구 [21]에서의 뿌리형 해밀토니안에 대한 L∞-한계를 활용하여 Floer 궤도의 모듈리 공간의 콤팩트성을 확보함.
• 모스-보츠 이론을 Rabinowitz 작용함수에 적용하며, 조건 (h4)를 통해 전역적으로 비퇴화된 폐쇄 궤도를 제어함.
• 일차 매개변수 가중치 가중치를 통한 계속성 추론을 통해 Rabinowitz Floer 복합체가 잘 정의되고 컴팩트 지지 집합을 가진 변형에 대해 안정됨을 증명함.
• 3가지 유형의 해밀토니안—이중곡면 수준 집합을 가진 이차형식, 이러한 형식의 직합, 양의 정부호 이차형식—에 대해 조건 (h1)~(h4)를 검증함.
• J0와 대칭 행렬 A를 통한 좌표 기반 행렬 분석을 활용하여, 반경 방향 F에 대해 {H, {H, F}}(x)의 양의 정부호성을 입증함으로써, 관련 행렬 B의 양의 정부호성에 의해 (h4)가 성립함을 보장함.

실험 결과

연구 질문

• RQ1 표준적인 콤팩트성 조건이 실패하는 비콤파크트 초표면에 대해 Rabinowitz Floer homology를 정의할 수 있는가?
• RQ2 비콤팩트 설정에서 Floer 궤도의 모듈리 공간의 콤팩트성을 보장하기 위해 해밀토니안에 필요한 기하학적 및 점점 가까워지는 조건은 무엇인가?
• RQ3 비콤파크트 수준 집합에 대해 Rabinowitz 작용함수가 모스-보츠 유형이 되도록 어떻게 만들 수 있는가?
• RQ4 Rabinowitz Floer homology는 해밀토니안의 컴팩트 지지 집합 변형에 대해 불변인가?
• RQ5 이 프레임워크는 비콤파크트 접촉다양체에서 폐쇄 특성의 존재를 증명하는 데 사용될 수 있는가?

주요 결과

• 강력한 뿌리형 해밀토니안은 공리 (h1)~(h4)를 만족하며, 이는 필요한 콤팩트성과 폐쇄 궤도에 대한 제어를 보장함.
• Rabinowitz Floer homology는 해밀토니안의 일차 매개변수 가중치를 통한 컴팩트 지지 집합 변형에 대해 불변하며, 계속성 추론을 통해 입증됨.
• 유형 (1), (2), (3)—이중곡면, 직합, 양의 정부호 수준 집합을 가진 이차형식—해밀토니안에 대해 조건 (h1)~(h4)가 만족되며, 특히 파울리 괄호 표현에서 관련 행렬 B의 양의 정부호성에 의해 이를 보장함.
• m=1일 때 {H, {H, F}}에 관련된 행렬 B는 양의 정부호이며, m≥2일 때는 각각 λ>1/√2 또는 λ>2이면 양의 정부호가 되어 (h4)가 성립함.
• 강력한 뿌리형 해밀토니안의 클래스는 이중곡면 0-수준 집합을 가진 이차 해밀토니안과 그 컴팩트 지지 집합 변형을 포함하며, 조건이 유지되는 한 접촉형 조건이 유지됨.
• 불변성 및 안정성 성질 덕분에 이 프레임워크는 심플렉틱 동형사상과 작은 컴팩트 지지 집합 변형으로의 조합에도 확장 가능함.