[논문 리뷰] Lagrangian Floer theory on compact toric manifolds II : Bulk deformations

Kenji Fukaya, Yong‐Geun Oh외 2명|arXiv (Cornell University)|2008. 10. 31.

Geometric and Algebraic Topology참고 문헌 14인용 수 8

한 줄 요약

이 논문은 컴팩트 토릭 다양체 위에서 라그랑주 플로어 이론을 확장하여, 환경 사이클로부터 유도되는 공호모로지 클래스인 버블 디포머션을 도입함으로써 비이동 가능한 라그랑주 피브어를 구성한다. $k$-점 블로우업인 $\mathbb{C}P^2$의 경우 $k \geq 2$일 때, 이러한 피브어의 연속체가 존재하며, 각각은 해밀턴 이소토피에 의해 교차하는 최소 네 점을 가지며, 주어진 주요 항 방정식에서 유도된 다항방정식계의 해법 가능성에 기반한 체계적인 방법을 통해 모든 버블-밸런스드 라그랑주 피브어를 식별할 수 있음을 보여준다.

ABSTRACT

This is a continuation of part I in the series of the papers on Lagrangian Floer theory on toric manifolds. Using the deformations of Floer cohomology by the ambient cycles, which we call bulk deformations, we find a continuum of non-displaceable Lagrangian fibers on some compact toric manifolds. We also provide a method of finding all fibers with non-vanishing Floer cohomology with bulk deformations in arbitrary compact toric manifolds, which we call bulk-balanced Lagrangian fibers.

연구 동기 및 목표

• 환경 사이클을 활용하여 버블 디포머션을 도입함으로써 라그랑주 플로어 코호모로지의 확장을 도모한다.
• 컴팩트 토릭 다양체 내 라그랑주 피브어가 해밀턴 이소토피 하에서도 비이동 가능한 조건을 규명한다.
• 버블 디포머션 하에서 비영인 플로어 코호모로지를 갖는 모든 라그랑주 피브어를 식별하는 일반적인 방법을 개발한다.
• 이전에 플로어 코호모로지 계산에서 요구되었던 비퇴화 조건을 버블 디포머션 기법을 통해 제거한다.

제안 방법

• 환경 사이클로부터 유도된 공호모로지 클래스 $\mathfrak{b} \in H^2(X; \Lambda_+)$ 를 사용하여 라그랑주 부분다양체의 플로어 코호모로지를 변형한다.
• 버블 디포머션을 포함한 포텐셜 함수 $\mathfrak{PO}^u$ 를 정의하고, 그 수렴성 및 임계점을 분석한다.
• 포텐셜 함수의 주요 항 방정식을 이용하여 라그랑주 피브어의 비영 플로어 코호모로지 존재성을 결정한다.
• 자기다중체 링과 개방-폐쇄 고모보-고르모 방정식을 활용하여 버블-디포머션된 플로어 코호모로지의 구조를 연구한다.
• 주요 항 방정식에서 유도된 다항방정식계의 해를 구함으로써 버블-밸런스드 라그랑주 피브어의 기준을 수립한다.
• 일반화된 노비코프 링 $\Lambda_0$ 와 그 최대 이상수 $\Lambda_+$ 를 활용하여 변형 프레임워크를 체계화하고 이론의 수렴성을 보장한다.

실험 결과

연구 질문

• RQ1 컴팩트 토릭 다양체 내 라그랑주 피브어에 대해 버블 디포머션이 비영 플로어 코호모로지를 보장할 수 있는 조건은 무엇인가?
• RQ2 주요 항 방정식의 비퇴화 조건을 요구하지 않고도 라그랑주 피브어의 비이동성을 확립할 수 있는가?
• RQ3 비이동 가능한 라그랑주 피브어의 해밀턴 이소토피 이미지와 자기 자신 사이의 교차점의 최소 수는 얼마인가?
• RQ4 임의의 컴팩트 토릭 다양체에서 버블 디포머션 하에서 비영 플로어 코호모로지를 갖는 모든 라그랑주 피브어를 어떻게 체계적으로 식별할 수 있는가?
• RQ5 주요 항 방정식은 어떻게 버블-밸런스드 라그랑주 부분다양체를 특징짓는 데 기여하는가?

주요 결과

• $k$-점 블로우업인 $\mathbb{C}P^2$ 에서 $k \geq 2$ 일 때, 토릭 켈러 구조 하에서 비이동 가능한 라그랑주 피브어의 연속체가 존재한다.
• 각 비이동 가능한 피브어는 임의의 $L(u)$ 에 대해 $\psi(L(u)) \cap L(u)$ 의 교차점 수가 4 이상임을 만족한다. 여기서 $\psi$ 는 $L(u)$ 와 교차하는 해밀턴 이소토피이다.
• 주요 항 방정식이 $({\mathbb{C}}\setminus\{0\})^n$ 내에 해를 갖는다는 것은, $\mathfrak{b} \in H^2(X; \Lambda_+)$ 와 $\mathfrak{x} \in H^1(L(u); \Lambda_0)$ 가 존재하여 $HF((L(u), (\mathfrak{b}, \mathfrak{x})), (L(u), (\mathfrak{b}, \mathfrak{x})); \Lambda_0) \cong H(T^n; \Lambda_0)$ 를 만족함을 의미한다.
• 이 방법을 통해 주어진 다항방정식계의 해법 가능성에 기반하여 모든 버블-밸런스드 라그랑주 피브어를 식별할 수 있다.
• 정리 1.3의 역이 성립한다: 만약 라그랑주 피브어가 버블 디포머션 하에서 비이동 가능하다면, 그 주요 항 방정식은 $({\mathbb{C}}\setminus\{0\})^n$ 내에 해를 갖는다.
• 이론은 이전에 플로어 코호모로지 계산에서 요구되었던 비퇴화 조건의 필요성을 제거하여, [15]의 이전 결과를 일반화한다.