[논문 리뷰] Toric degeneration and non-displaceable Lagrangian tori in $S^2 imes S^2$

Kenji Fukaya, Yong Geun Oh외 2명|arXiv (Cornell University)|2010. 02. 08.

Geometric and Algebraic Topology참고 문헌 17인용 수 16

한 줄 요약

이 논문은 비-판별 가능한 라그랑주 토러스의 연속체를 $S^2 \times S^2$에 구축하기 위해 토릭 분열과 비-판별 가능한 히르체브르흐 표면 $F_2$의 포텐셜 함수를 사용한다. 버블 변형을 통한 전체 포텐셜 함수를 계산함으로써, 저자들은 해밀턴적으로 이동 불가능한 토러스가 비가산 개 존재함을 증명하며, 각 토러스의 플로어 코hom로지가 토러스의 특수 코homology와 동형임을 확인함으로써 플로어 이론적 불변량을 통해 그 이동 불가능성을 확인한다.

ABSTRACT

In this article, using the idea of toric degeneration and the computation of the full potential function of Hirzebruch surface $F_2$, which is \emph{not} Fano, we produce a continuum of Lagrangian tori in $S^2 imes S^2$ which are non-displaceable under the Hamiltonian isotopy.

연구 동기 및 목표

• 표준 토릭 섬유나 단조 토러스가 아닌 $S^2 \times S^2$ 내에서 새로운 비-이동 가능한 라그랑주 토러스의 가닥을 구축하는 것.
• 비-판별 가능한 심플렉틱 다양체에서 이동 불가능성을 탐지하기 위해 버블 변형을 통한 플로어 코hom로지 이론을 확장하는 것.
• $u \in (0, u_0]$로 매개변수화된 이러한 토러스의 연속체가 존재함을 보여주는 것.
• 이들 토러스 중 하나가 단조적이지만, 등각의 곡선들의 곱과 심플렉틱적으로 동치가 아니라는 것을 보여주는 것.
• 스펙트럴 불변량과 후카야 카테고리 생성을 이용하여 이동 불가능성을 탐지하는 방법을 제공하는 것.

제안 방법

• 토릭 분열을 사용하여 $S^2 \times S^2$를 비-판별 가능한 히르체브르흐 표면 $F_2$와 연결하며, 이는 Fano는 아니지만 네프이다.
• 마스로프 지수 2 클래스에서의 준정규 곡선을 이용하여 버블 변형을 통한 $F_2$의 전체 포텐셜 함수를 계산한다.
• 표준 $A_\infty$-구조와 $\mathfrak{m}_0^{\text{can}}$ 사상 을 사용하여 보편 노비코프 링 내에서 포텐셜 함수 $\mathfrak{PO}^L(b)$를 정의한다.
• 약한 홍-마우러-카르탕 방정식과 $H^1(L;\Lambda_0) \to \mathcal{M}_{\text{weak}}(L)$의 동형을 이용하여 해를 매개변수화한다.
• 가정 7.1을 만족하는 호에 대한 호환되는 거의 복소 구조의 경로에 대해 $\mathfrak{PO}^L$의 불변성을 적용하여 잘 정의됨을 보장한다.
• 스펙트럴 불변량과 생성 결과를 적용하여, $T(u)$의 임의의 해밀턴 이미지가 등각 토러스 $S^1_{\text{eq}} \times S^1_{\text{eq}}$와 반드시 만난다는 것을 유도한다.

실험 결과

연구 질문

• RQ1 표준 토릭 섬유나 단조 라그랑주 토러스가 아닌 $S^2 \times S^2$ 내에서 비-이동 가능한 라그랑주 토러스를 구축할 수 있는가?
• RQ2 버블 변형을 통한 포텐셜 함수는 비-판별 가능한 심플렉틱 다양체에서 이동 불가능성을 탐지할 수 있는가?
• RQ3 $S^2 \times S^2$ 내에서 상호 해밀턴-이sovopic이 아닌 토러스의 연속체를 구축할 수 있는가?
• RQ4 등각의 곡선들의 곱과 심플렉틱적으로 동치가 아니지만 단조인 $S^2 \times S^2$ 내의 라그랑주 토러스가 존재하는가?
• RQ5 스펙트럴 불변량 또는 후카야 카테고리 생성을 이용하여 이러한 토러스의 이동 불가능성을 증명할 수 있는가?

주요 결과

• $u_0 > 0$ 인 $u \in (0, u_0]$로 매개변수화된 비가산 개의 라그랑주 토러스 $T(u)$ 가 $S^2 \times S^2$ 내에 존재하며, 각 토러스는 해밀턴 이sovopic에 대해 이동 불가능하다.
• 각 $u$에 대해, $HF((T(u), (\mathfrak{b}, b)), (T(u), (\mathfrak{b}, b)))$ 가 $H(T(u); \Lambda_0)$ 와 동형임을 보여주는 버블 변형 $(\mathfrak{b}, b)$ 가 존재하며, 이는 이동 불가능성을 확인한다.
• $u \neq u'$ 일 때 $T(u)$ 와 $T(u')$ 는 서로 이격되어 있으며, 이는 상호 간에 교차하지 않으며, 이sovopic이 아니라는 것을 의미한다.
• 이 가닥 내에서 유일하게 단조인 $T(u_0)$ 가 존재하지만, 이는 등각 토러스 $S^1_{\text{eq}} \times S^1_{\text{eq}}$ 와 심플렉틱적으로 동치가 아니다.
• $\mathfrak{PO}^L$ 이 가정 7.1을 만족하는 호에 대해 불변하므로, 이는 구성의 강건성을 보장한다.
• 이 방법은 임의의 해밀턴 미분형 $\varphi$ 에 대해 $\varphi(T(u)) \cap (S^1_{\text{eq}} \times S^1_{\text{eq}}) \neq \emptyset$ 를 유도하며, 이는 $T^*S^2$ 에서 알버스-프라우엔펠더 결과를 복원한다.