[논문 리뷰] A note on local Floer homology

Peter Albers|ArXiv.org|2006. 06. 23.

Geometric and Algebraic Topology참고 문헌 3인용 수 7

한 줄 요약

이 논문은 호모로지가 존재하는 데 필요한 조건을 최소화한 새로운 국소 플로어 homology의 구성법을 제시한다. 이 방법은 임의의 호환 가능한 거의 복소構조와 호퍼 노름이 호몰로지 원판 또는 구의 최소 심플렉틱 면적보다 작은 해밀토니안 함수에 대해 적용 가능하다. 핵심 결과는 이러한 호몰로지가 단순히 호몰로지가 아닌 라그랑주 부분다양체의 특수 호몰로지와 자연스럽게 동형임을 보여주며, 에너지 추정과 기하학적 기준을 통한 직접적인 컴팩트성 증명을 통해 최적의 조건 하에 성립한다.

ABSTRACT

In general, Lagrangian Floer homology - if well-defined - is not isomorphic to singular homology. For arbitrary closed Lagrangian submanifolds a local version of Floer homology is defined in [Flo89, Oh96] which is isomorphic to singular homology. This construction assumes that the involved Hamiltonian function $H$ is sufficiently $C^2$-small and the almost complex structure is sufficiently standard. In this note we develop a new construction of local Floer homology which works for any (compatible) almost complex structure and all Hamiltonian function with Hofer norm less than the minimal (symplectic) area of a holomorphic disk or sphere. The example $S^1\subset\C$ shows that this is sharp. If the Lagrangian submanifold is monotone, the grading of local Floer homology can be improved to a $\Z$-grading.

연구 동기 및 목표

• C²-소형 해밀토니안이나 표준적인 거의 복소구조를 필요로 하지 않는, 더 일반적인 국소 플로어 호몰로지의 새로운 구성법을 개발하기 위해.
• 더 약한 조건 하에서도 모듈리 공간의 컴팩트성을 보장하는 플로어 경로에 대한 기하학적 기준을 설정하기 위해.
• 결과로 얻어진 호몰로지가 라그랑주 부분다양체의 특수 호몰로지와 자연스럽게 동형임을 증명하기 위해.
• 해밀토니안의 호퍼 노름 조건 ||H|| < A_L 가 최적임을 보여주기 위해, 여기서 A_L 는 경계가 라그랑주에 있는 힐베르트 원판 또는 구의 최소 면적이다.
• 단조 라그랑주에 대해 프레임워크를 확장하여 호몰로지에 Z-중량을 정의할 수 있도록 하기 위해.

제안 방법

• 영 면적과 마스лов 지수 0을 가진 힐베르트 원판을 기반으로 하는 기하학적 기준을 이용해, 해밀토니안 끈의 특별한 부분집합 $\mathcal{P}^{\mathrm{ess}}_L(H)$ 를 정의한다.
• 에너지의 컴팩트성을 보장하기 위해 $\omega([U]) = 0$ 과 $\mu_{\mathrm{Maslov}}([U]) = 0$ 를 만족하는 플로어 경로의 모듈리 공간 $\mathcal{M}^{\mathrm{ess}}_L(x,y)$ 를 구성한다.
• 에너지 추정식 $E(U) \leq \omega([U]) + ||H|| < A_L$ 을 사용하여 힐베르트 스트립의 에너지를 제어하고 버블링을 방지한다.
• 일반적인 데이터에 대해 표준적인 정규성 및 전이성 추론을 적용하여, 모듈리 공간이 매끄러운 다양체임을 보인다.
• 모듈리 공간 $\mathcal{M}^{\mathrm{ess}}_L(x,y)$ 의 0차원 성분을 세는 방식으로 미분을 정의함으로써, 모어스 호몰로지와 쿼어지-이sovolumetric인 체인 복합체를 얻는다.
• ||H_0|| + ||H_1|| < A_L 를 만족하는 해밀토니안에 대해 계속성 사상(continuation maps)을 정의하여, 이러한 변형 하에서 호몰로지의 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 국소 플로어 호몰로지를 C²-소형 해밀토니안이나 표준적인 거의 복소구조 없이 구성할 수 있는가?
• RQ2 더 약한 조건 하에서도 모듈리 공간의 컴팩트성을 보장하는 플로어 경로에 대한 기하학적 조건은 무엇인가?
• RQ3 ||H|| < A_L 인 호퍼 노름 조건이 비자명한 해밀토니안 끈의 존재에 대해 최적인가?
• RQ4 이러한 완화된 조건 하에서 얻어진 국소 플로어 호몰로지가 특수 호몰로지와 자연스럽게 동형이 될 수 있는가?
• RQ5 라그랑주가 단조일 경우 호몰로지의 중량은 어떻게 행동하는가?

주요 결과

• ||H|| < A_L 조건 하에서 국소 플로어 호몰로지 $\mathrm{HF}^{\mathrm{ess}}_*(L,\phi_H(L))$ 는 특수 호몰로지 $\mathrm{H}_*(L)$ 와 자연스럽게 동형이다.
• 이 구성법은 임의의 호환 가능한 거의 복소구조와 호퍼 노름이 A_L 이하인 모든 해밀토니안 함수에 대해 적용 가능하며, A_L 는 힐베르트 원판 또는 구의 최소 면적이다.
• ||H|| < A_L 인 조건이 최적임을 보여주는 예로 $S^1 \subset \mathbb{C}$ 가 있으며, 여기서 ||H|| \geq A_{S^1} 이면 $\phi_H(S^1) \cap S^1 = \emptyset$ 임을 보여준다.
• 단조 라그랑주에 대해서는 $\mathrm{HF}^{\mathrm{ess}}_*(L,\phi_H(L))$ 의 중량이 $\mathbb{Z}$-중량으로 향상된다.
• 에너지 제약과 면적 및 마스лов 지수의 영항성으로 인해, 모든 차원에서 모듈리 공간 $\mathcal{M}^{\mathrm{ess}}_L(x,y)$ 는 붕괴까지 컴팩트하다.
• 이 구성법은 체카노프의 결과를 복원한다: $\#\mathcal{P}_L(H) \geq \sum_i b_i(L)$, 행동 범위는 $-\sup H \leq \mathcal{A}_H(x) \leq -\inf H$ 이다.