[논문 리뷰] On the Floer homology of cotangent bundles

Alberto Abbondandolo, Matthias Schwarz|ArXiv.org|2004. 08. 20.

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

한 줄 요약

이 논문은 코탄젠트 번들의 플로어 호몰로지 $T^*M$와 자유 루프 공간 $\Omega(M)$의 싱귤러 호몰로지 사이의 새로운 동형사상(이sovorphism)을 증명한다. 이를 위해 레전드르 변환된 해밀토니안과 고전적 라그랑지안 작용 함수의 모어스 복합체와의 직접적 비교를 사용한다. 또한 플로어 궤적에 대한 향상된 $L^\infty$ 추정치를 도입하여 더 넓은 범위의 해밀토니안을 허용하고, 코탄젠트 번들의 피브레이션 구조에 기반한 새로운 기하적 접근을 통해 전이성과 컴actness를 보장한다.

ABSTRACT

This paper concerns Floer homology for periodic orbits and for a Lagrangian intersection problem on the cotangent bundle of a compact orientable manifold M. The first result is a new uniform estimate for the solutions of the Floer equation, which allows to deal with a larger - and more natural - class of Hamiltonians. The second and main result is a new construction of the isomorphism between the Floer homology and the singular homology of the free loop space of M, in the periodic case, or of the based loop space of M, in the Lagrangian intersection problem. The idea for the construction of such an isomorphism is to consider a Hamiltonian which is the Legendre transform of a Lagrangian on TM, and to construct an isomorphism between the Floer complex and the Morse complex of the classical Lagrangian action functional on the space of free or based loops on M of Sobolev class W(1,2).

연구 동기 및 목표

• 코탄젠트 번들의 플로어 호몰로지 $HF_*(T^*M)$와 자유 루프 공간 $\Omega(M)$의 싱귤러 호몰로지 사이의 표준적 동형사상 수립. 기존 비테르보의 결과를 확장하여 직접 기하학적 구성 방법을 사용한다.
• 플로어 방정식의 해에 대한 더 날카운 $L^\infty$ 추정치 개발. 메트릭 선택과 무관하게 (H1) 및 (H2) 조건을 만족하는 더 넓은 범위의 해밀토니안에 대해 유효하다.
• 레전드르 변환된 해밀토니안의 플로어 복합체와 $W^{1,2}$ 루프 위의 고전적 작용 함수의 모어스 복합체 사이의 체인 수준 동형사상 구축.
• 코탄젠트 번들의 라그랑지안 피브레이션과 호환되는 새로운 접합 및 교란 기법을 사용하여 플로어 궤적의 모듈리 공간의 전이성과 컴팩턴스를 증명한다.
• 호몰로지의 순환류에 의한 분해를 유지하면서, $\pi_1(M)$의 동치류에 따른 위상적 구조를 보존하는 동형사상 확보.

제안 방법

• 코탄젠트 번들의 해밀토니안 $H$와 탄젠트 번들의 라그랑지안 $L$ 사이의 레전드르 변환을 통해 플로어 복합체와 작용 함수 $\mathcal{E}$의 모어스 복합체를 연결한다.
• $L^\infty$ 추정치를 코쉬-리만 연산자의 직접 분석을 통해 도입하여 미분과 최대원리의 사용을 피한다.
• 기하학적 기호 $\epsilon(u)$를 부여한 $J$-해석적 곡선 $u \in \mathcal{M}^+(q,x)$의 수를 세어 정의된 체인 사상 $\Theta_k: CM_k(\mathcal{E}) \to CF_k(H)$를 구성한다.
• 사르드-스멜 정리와 카를레만 유사성 원리를 적용하여 $\mathcal{J}_{\mathrm{reg}}(H,g)$ 내의 거의 복소 구조 $J$의 잔여 정규성(_residual regularity_)을 증명한다.
• 깨진 궤적에 대한 접합 정리( gluing theorems)를 적용하여 체인 사상의 성질을 확보하고, $\partial_{k-1}\Theta_k = \Theta_{k-1}\partial_k$ 를 보장한다.
• 행동 순서 기저를 사용할 경우 $\Theta_k$의 행렬 표현이 대각선에 $\pm 1$을 가지며 하삼각행렬임을 증명하여, 역행렬 가능성을 보이고 이는 체인 동형사상임을 의미한다.

실험 결과

연구 질문

• RQ1 생성 함수나 코homological duality에 의존하지 않고, $T^*M$의 플로어 호몰로지와 자유 루프 공간 $\Omega(M)$의 싱귤러 호몰로지 사이에 직접적인 동형사상을 구성할 수 있는가?
• RQ2 메트릭 선택과 무관하게, 최소한의 해밀토니안 조건 하에서 $T^*M$ 상의 플로어 궤적에 대해 어떤 $L^\infty$ 추정치를 확립할 수 있는가?
• RQ3 고전적 작용 함수의 모어스 복합체는 $W^{1,2}$ 루프 위에서 정의되며, 이는 어떻게 레전드르 변환된 해밀토니안의 플로어 복합체와 체인 수준에서 자연스럽게 대응되는가?
• RQ4 플로어 궤적의 모듈리 공간이 전이성과 컴팩턴스를 가지기 위한 조건은 무엇인가? 이는 잘 정의된 플로어 호몰로지의 존재를 보장한다.
• RQ5 동형사상은 $\pi_1(M)$의 동치류에 따른 호몰로지의 분해를 유지하는가? 이는 루프 공간의 위상적 구조를 반영하는가?

주요 결과

• 플로어 호몰로지 $HF_*(T^*M)$는 자유 루프 공간 $\Omega(M)$의 싱귤러 호몰로지와 표준적으로 동형이며, 이 동형사상은 모어스 복합체와 플로어 복합체 사이의 체인 수준 대응을 통해 구성된다.
• $L^\infty$ 추정치는 자연스러운 조건 (H1) 및 (H2) 하에서 확립되었으며, 이는 메트릭에 무관하고 이전 결과보다 더 넓은 범위의 해밀토니안을 허용한다.
• $\Theta_k$ 체인 사상은 행동 순서 기저를 사용할 경우 대각선에 $\pm 1$을 가지며 하삼각행렬임을 증명하여, 역행렬 가능함을 보이고, 따라서 체인 동형사상임을 의미한다.
• 모듈리 공간 $\mathcal{M}^+(q,x)$의 전이성은 $\mathcal{J}_{\mathrm{reg}}(H,g)$ 내의 잔여 $J$ 에서 달성되며, 이는 플로어 미분계수의 잘 정의된 수를 보장한다.
• 동형사상은 $\pi_1(M)$의 동치류에 따른 호몰로지 분해와 호환되며, 루프 공간의 피브레이션 구조를 반영한다.
• 이 구성은 생성 함수와 코homological 방법을 회피하여, 비테르보의 원래 접근과 대비되는 직접적인 기하학적 증명을 제공한다.