[논문 리뷰] Fukaya categories and deformations

Paul Seidel|arXiv (Cornell University)|2002. 06. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 89

한 줄 요약

이 논문은 캘라비-야우 프로젝티브 다양체 $X$의 후크라 카테고리와 그 아핀 열린 부분집합 $M = X \setminus D$의 후크라 카테고리 사이의 관계를 변형 이론적 프레임워크를 통해 제안한다. 여기서 $D$는 매끄러운 초평면 섹션이다. $D$와의 교차 수를 코딩하는 형식적 매개변수 $t$를 통해 $M$의 후크라 카테고리를 변형함으로써, 새로운 $A_\infty$-카테고리 $\mathcal{F}(M \subset X)$를 구성한다. 이 카테고리는 $\mathcal{F}(M)$와 $\mathcal{F}(X)$ 사이를 보간한다. 유도된 카테고리의 일반 섹션과 $D^\pi(\mathcal{F}(X))$ 사이에 추측되는 동치가 존재한다. 주요 기여는 유한성과 분해 생성 조건 하에서 $\mathcal{F}(M)$의 변형을 통해 $D^\pi(\mathcal{F}(X))$를 계산하는 전략을 제시하는 것이다.

ABSTRACT

This is an informal (and mostly conjectural) discussion of some aspects of Fukaya categories. We start by looking at exact symplectic manifolds which are obtained from a closed Calabi-Yau by removing a hyperplane section. We look at the possible geometric significance of Hochschild cohomology in this situation, and how one can try to get from the Fukaya category of the exact manifold to that of the closed Calabi-Yau. Also included is a brief discussion of the role of Lefschetz pencils, and a bit of general deformation theory. To appear in the Proceedings of the Beijing ICM.

연구 동기 및 목표

• 캘라비-야우 프로젝티브 다양체 $X$의 유도된 후크라 카테고리 $D^\pi(\mathcal{F}(X))$를 계산하기 위한 변형 이론적 방법을 개발한다.
• 아핀 열린 부분집합 $M = X \setminus D$의 후크라 카테고리를 $\mathbb{Q}[[t]]$ 위의 $A_\infty$-변형을 통해 전체 $X$의 후크라 카테고리와 연결한다.
• 이 변형의 일반 섹션이 매개변수 재매개변수화를 제외하고 $D^\pi(\mathcal{F}(X))$를 복원한다는 추측을 제기한다.
• 후크라 카테고리 $\mathcal{F}(M)$의 변형 공간이 유한차원이 되는 조건을 확립하여 계산 가능성 보장.

제안 방법

• 아핀 다양체 $M = X \setminus D$의 유한차원 불변량으로 심플렉틱 코호몰로지 $SH^*(M)$를 사용하며, 보트-모어스 스펙트럴 시퀀스를 활용해 그 코호몰로지를 계산한다.
• 형식적 매개변수 $t$를 도입하여 $D$와의 교차 수를 $t^k$ 항에 따라 $k$의 차수로 추적함으로써, 후크라 카테고리 $\mathcal{F}(M)$의 변형을 구성한다.
• $\mathbb{Q}[[t]]$ 위에서의 $\mathcal{F}(M)$의 변형으로서 $A_\infty$-카테고리 $\mathcal{F}(M \subset X)$를 정의하며, 이는 $X$에서 $D$와 교차하는 헬름홀로닉 다각형을 코딩한 조합 법칙을 포함한다.
• Hochschild 코호몰로지 $HH^*(\mathcal{F}(M), \mathcal{F}(M))$를 사용해 $A_\infty$-변형을 분류하며, 유한차원성은 매개변수 재매개변수화를 제외한 유일성으로 이어진다.
• 스펙트럴 시퀀스 (1)을 적용해 $\dim SH^2(M) \leq b_2(X)$를 증명함으로써 변형 공간의 유한성을 확보한다.
• 유도된 카테고리의 일반 섹션 $\mathcal{F}(M \subset X)_{\text{gen}}$과 노비코프 링 $\Lambda_t$의 텐서곱이 $D^\pi(\mathcal{F}(X))$와 동치임을 추측한다.

실험 결과

연구 질문

• RQ1 캘라비-야우 프로젝티브 다양체 $X$의 유도된 후크라 카테고리 $D^\pi(\mathcal{F}(X))$는 그 아핀 열린 부분집합 $M = X \setminus D$의 후크라 카테고리의 변형을 통해 계산될 수 있는가?
• RQ2 Hochschild 코호몰로지 $HH^2(\mathcal{F}(M), \mathcal{F}(M))$가 유한차원이 되는 조건은 무엇이며, 이는 $A_\infty$-변형의 유일성을 보장하는가?
• RQ3 변형 $\mathcal{F}(M \subset X)$의 유도된 카테고리의 일반 섹션과 $D^\pi(\mathcal{F}(X))$ 사이에 자연스러운 동치가 존재하는가?
• RQ4 심플렉틱 코호몰로지 $SH^*(M)$는 $X$의 기하학과 그의 구분자 $D$와 어떻게 관련되어 있는가? 특히 스펙트럴 시퀀스와 베텨 수를 통해 설명할 수 있는가?
• RQ5 변형 $\mathcal{F}(M \subset X)$는 $D$와 교차하는 헬름홀로닉 다각형을 사용해 명시적으로 구성될 수 있으며, 이는 $\mathcal{F}(M)$와 $\mathcal{F}(X)$ 사이를 보간하는가?

주요 결과

• 차원 $\dim_{\mathbb{C}}(X) > 2$라는 조건 하에, 아핀 다양체 $M = X \setminus D$의 심플렉틱 코호몰로지 $SH^*(M)$는 유한차원이며, $\dim SH^2(M) \leq b_2(X)$이다.
• 보트-모어스 스펙트럴 시퀀스를 통해 $SH^*(M)$를 계산할 수 있으며, $E_1^{pq}$ 항은 $p=0$일 때는 $H^q(M)$, $p<0$일 때는 $H^{q+3p}(\partial M)$로 주어지며, 이는 계산 도구를 제공한다.
• $\mathbb{Q}[[t]]$ 위에서 $\mathcal{F}(M)$의 $A_\infty$-변형 $\mathcal{F}(M \subset X)$는 $X$에서 $D$와 교차하는 헬름홀로닉 다각형을 $t^k$ 계수의 조합 법칙에 따라 코딩함으로써 구성된다.
• 만약 $HH^2(\mathcal{F}(M), \mathcal{F}(M)) \cong \mathbb{Q}$이면, 비자명한 $A_\infty$-변형은 매개변수 $t$의 재매개변수화를 제외하고 유일하며, 이는 일차원의 일반 변형 공간을 의미한다.
• 추측 5는 자연스러운 동치 $D^\pi(\mathcal{F}(M \subset X)_{\text{gen}} \otimes_{\mathbb{Q}[t^{-1}][[t]]} \Lambda_t) \cong D^\pi(\mathcal{F}(X))$를 제기하며, 이는 $D^\pi(\mathcal{F}(X))$가 변형의 일반 섹션으로부터 복원될 수 있음을 시사한다.
• $X \subset \mathbb{CP}^{n+1}$이 차수 $n+2$의 초면이며 $n \geq 3$일 경우, $D^\pi(\mathcal{F}(M))$는 유한 개의 대상들에 의해 분해 생성되며, 이는 유한성 조건 하에서 $Tw^\pi(\mathcal{F}(M))$의 계산 가능성을 보장한다.