[논문 리뷰] Floer homology of Lagrangian submanifolds

Kenji Fukaya|arXiv (Cornell University)|2011. 06. 24.

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

한 줄 요약

이 논문은 후카야, 오, 오타, 온오에 의해 개발된, 쌍대 라그랑주 부분다양체에 대한 심플렉틱-topology 불변량인 라그랑주 플로어 homology를 조사한다. 이는 스핀 또는 상대 스핀 구조 하에서 이론을 수립하고, 해밀턴 이sovopy에 대한 불변성과 $L_1 = L_2 = L$일 때 싱귤러 코homology와의 동형성 등의 핵심 성질을 증명하며, 초위상함수 $W$와 양자 코homology를 통해 호모로지 거울 대칭과 연결한다. 또한 $W$의 임계값과 행렬 분해 및 유도 범주 간의 연관성을 제안하는 추측을 포함한다.

ABSTRACT

This is a translation of an article appeared in Japanese in Suugaku 63 (2011), no. 1, 43-66 (MR2790665) and is a survey of Lagrangian Floer homology which the author studies jointly with Y.-G.Oh, H. Ohta, and K. Ono. It also contains some explanation on its relation to (homological) mirror symmetry.

연구 동기 및 목표

• 심플렉틱 기하학의 핵심 불변량인 라그랑주 플로어 호모로지에 대한 종합적인 서베이 제공.
• 일반적인 설정에서의 장벽을 극복하고 스핀 또는 상대 스핀 구조 하에서 이론 수립.
• 플로어 호모로지와 호모로지 거울 대칭 간의 관계 탐색, 특히 초위상함수 $W$를 통한 연결 고리 탐색.
• 임계값과 행렬 분해 및 코herent sheaf의 유도 범주 간의 연관성을 제안하고 검토하는 추측 수립 및 분석.
• 양자 코hom로지와 $W$의 평탄한 구조 간의 연결을 통해 심플렉틱 기하학과 복소 기하학을 빌딩.

제안 방법

• 라그랑주 사이의 경로 공간에서 모어스 유형 호모로지로 플로어 코호모로지 $HF(L_1, L_2)$를 구성하고, 준해석적 곡선을 사용.
• $A_\frown$-구조와 $A_\frown$-함수를 사용하여 플로어 코호모로지로 사상이 되는 라그랑주 부분다양체의 범주 $\mathcal{LAG}(X)$ 정의.
• 경로가 라그랑주에 따라 경계를 이루는 해석적 원판을 통해 초위상함수 $W: \hat{X} \to \Lambda_0$ 정의하고, 양자 코hom로지와 첫 번째 체른 클래스와 연결.
• 경계 공백 코흐레인 $b$에서 평가된 잠재력 함수 $\mathfrak{PO}(b)$의 개념을 도입하여 플로어 코호모로지의 비영성 탐지.
• 정확한 심플렉틱 다양체에서 초위상함수 $W$의 영속성 순환에서 유도된 방향성 $A_\infty$-범주 $\mathcal{LAG}(X,W)$를 세이델의 구성에 적용.
• 유도 범주 $\mathcal{LAG}(X,W)$가 미러 Fano 다양체 $\hat{X}$의 코herent sheaf의 유도 범주와 동치일 것이라는 추측 제기.

실험 결과

연구 질문

• RQ1 일반적인 심플렉틱 다양체에서 $\pi_2(X,L)=0$ 가정을 초월하여, 라그랑주 부분다양체에 대해 플로어 코호모로지가 일관되게 정의될 수 있는 방법은 무엇인가?
• RQ2 초위상함수 $W$의 임계값과 $HF((L,b),(L,b))$의 비영성 간의 정확한 관계는 무엇인가?
• RQ3 유도 범주 $\mathcal{LAG}(X,W)$의 $A_\infty$-범주가 미러 Fano 다양체 $\hat{X}$의 코herent sheaf의 유도 범주와 일치하는가?
• RQ4 거울 대칭의 맥락에서, $X$의 양자 코hom로지와 초위상함수 $W$의 평탄한 구조 간의 관계는 무엇인가?
• RQ5 경계 공백 코흐레인 $b$를 가진 라그랑주에서, 잠재력 함수 $W$가 비영인 플로어 코호모로지의 존재를 탐지하는 조건은 무엇인가?

주요 결과

• 플로어 코호모로지 $HF(L_1, L_2)$는 $L_1$과 $L_2$의 해밀턴 이sovopy에 대해 불변이며, 성질 (ii)를 만족한다.
• $L_1 = L_2 = L$일 때, $HF(L,L)$는 싱귤러 코호모로지 $\bigoplus_{i=0}^n H^i(L)$와 동형이며, 성질 (iii)를 만족한다.
• $L_1$과 $L_2$가 횡단으로 만날 경우, $HF(L_1, L_2)$는 최대 $\#(L_1 \cap L_2)$개의 원소로 생성되며, 성질 (iv)를 만족한다.
• 스핀 라그랑주 $L$에 대해, $HF((L,b),(L,b)) \neq 0$를 만족하는 경계 공백 코흐레인 $b \in \mathcal{M}(L)$가 존재하면 $\mathfrak{PO}(b)$는 $W$의 임계값이 되며, 이는 추측 10.1을 지지한다.
• 유도 범주 $\mathcal{LAG}(X,W)$는 추측 10.4에 따라 미러 Fano 다양체 $\hat{X}$의 코herent sheaf의 유도 범주와 동치일 것이라 추측된다.
• 초위상함수 $W$는 $\hat{X}$에서 정의되며 플로어 이론에서의 잠재력 함수와 일치하고, 그 임계값은 $c_1(X)$와의 양자 컵곱의 고유값과 대응된다.