[논문 리뷰] Localization of Floer homology of engulfable topological Hamiltonian loop

Yong‐Geun Oh|arXiv (Cornell University)|2011. 11. 25.

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

한 줄 요약

이 논문은 심플렉틱 다양체에서 임의의 경계를 가진 위상적 해밀턴 고리에 대해 플로어 homology의 국소화를 확립하며, $C^0$-소작 조건 하에서 국소적 및 전역적 라그랑주 스펙트럴 불변량이 일치함을 증명한다. 두꺼운-얇은 분해와 핸들 이동 보조정리를 $C^0$-정규 경로로 확장함으로써, 저자는 스펙트럴 불변량이 임의의 경계를 가진 호위에 대해 호모토피 불변임을 보이며, 이는 이전의 $C^2$-소작 결과를 위상적 설정으로 일반화한다.

ABSTRACT

Localization of Floer homology is first introduced by Floer \cite{floer:fixed} in the context of Hamiltonian Floer homology. The author employed the notion in the Lagrangian context for the pair $(ϕ_H^1(L),L)$ of compact Lagrangian submanifolds in tame symplectic manifolds $(M,ω)$ in \cite{oh:newton,oh:imrn} for a compact Lagrangian submanifold $L$ and $C^2$-small Hamiltonian $H$. In this article, motivated by the study of topological Hamiltonian dynamics, we extend the localization process for any engulfable Hamiltonian path $ϕ_H$ whose time-one map $ϕ_H^1$ is sufficiently $C^0$-close to the identity (and also to the case of triangle product), and prove that the value of local Lagrangian spectral invariant is the same as that of global one. Such a Hamiltonian path naturally occurs as an approximating sequence of engulfable topological Hamiltonian loop. We also apply this localization to the graphs $\Graph ϕ_H^t$ in $(M imes M, ω\oplus -ω)$ and localize the Hamiltonian Floer complex of such a Hamiltonian $H$. We expect that this study will play an important role in the study of homotopy invariance of the spectral invariants of topological Hamiltonian.

연구 동기 및 목표

• 해밀턴 고리가 $C^2$-소작이 아닌 $C^0$-소작이면서 경계를 가진 위상적 해밀턴 고리일 경우, 라그랑주 플로어 homology의 국소화를 $C^2$-소작 해밀턴에 한정하지 않고 확장하는 것.
• 면적 기반의 이분법이 $C^0$-설정에서 실패할 수 있음을 고려하여, $C^0$-위상 하에서 플로어 궤도의 두꺼운-얇은 분해를 수립하는 것.
• 이러한 경로에 대해 국소적 및 전역적 라그랑주 스펙트럴 불변량이 일치함을 증명함으로써, 위상적 해밀턴 역학에서의 호모토피 불변성을 가능하게 하는 것.
• 국소화를 $M \times M$ 상의 그래프와 삼각형 곱에 적용하여, 국소적 및 전역적 해밀턴 플로어 homology 간의 연결 고리를 제공하는 것.
• $C^0$-근사 고리들을 통해 스펙트럴 불변량의 호모토피 불변성을 위상적 해밀턴 범주에서 기반화하는 것.

제안 방법

• 플로어 궤도의 두꺼운-얇은 분해에 대한 $C^0$-버전을 도입하며, $C^2$-소작 조건 대신 경계성과 항등원에 대한 $C^0$-근접성을 사용한다.
• $C^0$-근사 고리에 대해 핸들 이동 보조정리를 적용하여, 플로어 궤도가 호모로지에 영향을 주지 않도록 이웃 영역 내에서 변형 가능함을 증명한다.
• 일반적인 복소도메인 $J_0$-볼록성과 최대원리에 의해, 국소 복소수에서의 헬름홀로픽 곡선의 행동을 제어한다.
• 재매개변수화 사상 $v = u_0 \# \overline{u}_1$ 를 통해 $\Delta \subset M \times M$ 상의 국소 해밀턴 플로어 복합체와 $\text{Graph}(\phi_G^1)$ 상의 국소 복합체 사이의 표준적 동형사를 구성한다.
• 일련의 매개변수 가중치 $G^s$ 를 통해 서로 다른 해밀토니안 $G$ 와 $G'$ 를 연결하며, 그들의 플로어 복합체가 필터링을 유지하는 동형사상임을 보인다.
• 광역 극한 기법을 사용하여, 극한이 비퇴화일지라도 $C^0$-변형 하에서 플로어 궤도의 수렴을 제어한다.

실험 결과

연구 질문

• RQ1 라그랑주 플로어 homology의 국소화는 $C^2$-소작에서 $C^0$-소작 해밀턴 경로로 확장될 수 있는가?
• RQ2 $C^2$-소작 조건이 실패할 경우, $C^0$-위상 하에서 플로어 궤도의 두꺼운-얇은 분해는 유지되는가?
• RQ3 $C^0$-소작이면서 경계를 가진 해밀턴 고리에 대해 국소적 및 전역적 라그랑주 스펙트럴 불변량이 동일한가?
• RQ4 해밀턴 플로어 homology의 삼각형 곱은 $M \times M$ 상의 대각선 근처로 국소화될 수 있는가?
• RQ5 위상적 해밀턴 고리의 스펙트럴 불변량은 경계를 가진 경로를 따라 $C^0$-호모토피에 대해 불변인가?

주요 결과

• 임의의 항등원에 대해 $C^0$-근접이고 경계를 가진 해밀턴 경로 $\phi_H$ 에 대해 국소적 라그랑주 스펙트럴 불변량 $\rho^{\text{lag}}(H;1)$ 은 전역적 불변량과 일치한다.
• 면적 기반의 이분법이 실패하더라도, 경계성과 $J_0$-볼록성 덕분에 $C^0$-설정에서 플로어 궤도의 두꺼운-얇은 분해가 존재한다.
• 핸들 이동 보조정리는 $C^0$-근사 고리에 대해 성립하며, 플로어 궤도를 이웃 영역 내에서 변형 가능하게 한다.
• 국소 플로어 호모로지 $HF_*^{[\text{id}]}((L,L),H;U)$ 는 $H_*(L;\mathbb{Z}_2)$ 와 동형이며, 이는 $C^2$-소작 결과를 $C^0$-설정으로 일반화한다.
• $\Delta \subset M \times M$ 상의 해밀턴 플로어 복합체는 모듈라이 공간의 미분동형사상에 의해 $\text{Graph}(\phi_G^1)$ 상의 국소 복합체와 표준적으로 동형이다.
• $G$ 와 $G'$ 의 스펙트럴 불변량은 동일하며, 이에 의해 유도된 플로어 호모로지의 사상은 필터링을 유지하는 동형사상임을 증명하여 호모토피 불변성을 입증한다.