[논문 리뷰] Floer cohomology of torus fibers and real lagrangians in Fano toric manifolds

Garrett Alston, Lino Amorim|arXiv (Cornell University)|2010. 03. 18.

Geometric and Algebraic Topology참고 문헌 15인용 수 11

한 줄 요약

이 논문은 Fano 토릭 다양체에서 원환면 섬유와 실수 라그랑주 부분다양체 간의 플로어 코호몰로지에 대해 Z2 계수와 F2 위의 국소적으로 상수인 복합체를 갖는 왜곡 플로어 복합체를 사용하여 조합론적 기술을 수립한다. 플로어 코호몰로지 HF(R, (Lc, Lρ))가 0이 아닐 때이고, 뿐만 아니라 토릭 잠재함수의 임계점 조건과 연결되며, 이는 해밀턴 이sovopy 하에서 비이동성과 교차점 수의 하한을 증명하는 데 응용된다.

ABSTRACT

In this article, we consider the Floer cohomology (with $\Z_2$ coefficients) between torus fibers and the real Lagrangian in Fano toric manifolds. We first investigate the conditions under which the Floer cohomology is defined, and then develop a combinatorial description of the Floer complex based on the polytope of the toric manifold. We show that if the Floer cohomology is defined, and the Floer cohomology of the torus fiber is non-zero, then the Floer cohomology of the pair is non-zero. We use this result to develop some applications to non-displaceability and the minimum number of intersection points under Hamiltonian isotopy.

연구 동기 및 목표

• Fano 토릭 다양체에서 원환면 섬유와 실수 라그랑주 부분다양체 사이의 플로어 코호몰로지가 잘 정의되는 조건을 이해한다.
• 모멘트 다각체와 F2 값을 갖는 국소적으로 상수인 복합체를 사용하여 플로어 복합체의 순수히 조합론적 기술을 개발한다.
• 잠재함수 Wc를 통한 정확한 기준—즉, Wc의 임계점 조건을 통해 HF(R, (Lc, Lρ))의 비영성 조건을 설정한다.
• 조합론적 기술을 활용하여 실수 라그랑주 부분다양체와 해밀턴 이sovopy 하에서의 원환면 섬유 간의 교차점 수에 하한을 유도한다.
• 제품 다양체와 F2의 대수적 폐쇄를 이용한 보조 구성으로 실수 라그랑주 부분다양체와 원환면 섬유의 비이동성을 증명한다.

제안 방법

• Fano 토릭 다양체의 모멘트 다각체를 사용하여 플로어 복합체의 조합론적 모델을 정의한다.
• R과 Lc의 쌍을 모델링하기 위해 F2 계수의 국소적으로 상수인 복합체 Lρ로 표준 플로어 코호면 복합체를 왜곡한다.
• R과 Lc의 교차점 사이를 연결하는 마스로프 지수 1의 힐베르트 스트립을 세어 미분을 정의한다.
• [9]의 일반 플로어 이론 프레임워크를 적용하여 코호몰로지를 정의한 후, 이가 조합론적 세기와 일치함을 증명한다.
• Wc(ρ) = 0 및 ∇Wc(ρ) = 0의 해가 존재함을 보장하기 위해 F2의 대수적 폐쇄를 사용하여 비이동성 결과를 도출한다.
• HF(R, (Lc, Lρ))가 정의되지 않을 경우, 이를 복구하기 위해 제품 다양체 (XP × XP)를 구성하여 HF(R × R, (Lc × Lc, Lρ ⊕ Lρ))를 정의한다.

실험 결과

연구 질문

• RQ1 Fano 토릭 다양체에서 원환면 섬유 Lc와 실수 라그랑주 부분다양체 R 사이의 플로어 코호몰로지 HF(R, (Lc, Lρ))가 잘 정의되는 조건은 무엇인가?
• RQ2 모멘트 다각체를 사용하여 R과 Lc 사이의 플로어 복합체를 순수히 조합론적으로 어떻게 기술할 수 있는가?
• RQ3 HF(R, (Lc, Lρ))의 비영성과 잠재함수 Wc의 임계점 사이의 정확한 관계는 무엇인가?
• RQ4 조합론적 기술이 실수 라그랑주 부분다양체와 해밀턴 이sovopy 하에서의 원환면 섬유 간의 교차점 수에 하한을 어떻게 도출하는가?
• RQ5 HF(R, (Lc, Lρ))가 정의되지 않을 경우, 보조 구성으로 R과 Lc의 비이동성을 확보할 수 있는가?

주요 결과

• 플로어 코호몰로지 HF(R, (Lc, Lρ))는 잠재함수 Wc(ρ) = 0일 때에만 잘 정의된다.
• HF(R, (Lc, Lρ))가 0이 아닐 때이자, ∇Wc(ρ) = 0일 때에만 성립하며, 이는 코호몰로지와 Wc의 임계점 사이의 직접적 연결을 수립한다.
• 모든 해밀턴 미분형 φ에 대해 φ(RP^k)와 T^k가 횡단적으로 교차하는 경우, 교차점 수는 ♯(φ(RP^k) ∩ T^k) ≥ 2⌊k/2⌋를 만족한다.
• ∇Wc(ρ) = 0이지만 Wc(ρ) ≠ 0일 경우, HF(R, (Lc, Lρ))는 정의되지 않지만, R과 Lc는 여전히 비이동성이다.
• 단조성의 경우, 어떤 Lρ에 대해 ∇W0(ρ) = 0을 만족하는 유일한 단조성 원환면 섬유 L0가 존재하며, 이는 R과 L0가 비이동성임을 의미한다: 모든 해밀턴 φ에 대해 φ(R) ∩ L0 ≠ ∅이다.
• 제품 다양체 구성으로, 원래 코호몰로지가 정의되지 않을 경우 HF(R × R, (Lc × Lc, Lρ ⊕ Lρ))를 통해 비이동성을 복구할 수 있으며, 이 코호몰로지의 계수는 교차점 수에 대한 하한을 제공한다.