[논문 리뷰] Lagrangian Non-Intersections

Paul Biran|ArXiv.org|2004. 12. 06.

Geometric and Algebraic Topology참고 문헌 22인용 수 5

한 줄 요약

이 논문은 심플렉틱 다양체, 특히 복소 프로젝티브 공간과 심플렉틱 다양체의 곱에서 라그랑주 부분다양체에 대한 호모로지 강성 결과를 수립한다. 플로어 호모로지와 스펙트럴 시퀀스를 사용하여, $\mathbb{C}P^n$에서 2-torsion을 가진 첫 번째 호모로지를 가진 라그랑주 부분다양체는 $\mathbb{R}P^n$의 호모로지와 동형이 되며, 스펙트럴 불변량과 체인 복합체 필터링을 통해 단조 라그랑주 부분다양체의 위상구조에 대한 제약 조건을 제공한다.

ABSTRACT

In this paper we use Floer theory to study topological restrictions on Lagrangian embeddings in closed symplectic manifolds. One of the phenomena arising from our results is ``homological rigidity'' of Lagrangian submanifolds. Namely, in certain symplectic manifolds, conditions on low dimensional topological invariants of a Lagrangian (such as its first homology) completely determine its entire homology. We also develop methods for studying Hamiltonian displacement of Lagrangian submanifolds and its relations to the topology of Lagrangians. Finally we present some new results on Lagrangian intersections.

연구 동기 및 목표

• 심플렉틱 다양체에서 라그랑주 부분다양체의 위상적 제약 조건을 이해하는 것, 특히 $H_1(L;\mathbb{Z})$가 2-torsion일 경우.
• 라그랑주 부분다양체에 대한 호모로지 유일성 정리 수립: $\mathbb{C}P^n$ 및 $\mathbb{C}P^n \times X$에서, 호모로지의 토르션에 의해 코호모로지가 완전히 결정됨을 보여주는 것.
• 심플렉틱 불변성에 의해 상호작용을 유도하는 '라그랑주 코어'를 식별하여 전반적인 상호작용 현상을 조사하는 것.
• 단조 라그랑주 부분다양체에서 플로어 호모로지와 체인 복합체 필터링에 기반한 스펙트럴 시퀀스 불등식 유도.

제안 방법

• 단조 라그랑주 부분다양체의 위상을 분석하기 위해 플로어 호모로지 $HF(L,L)$와 스펙트럴 시퀀스를 사용한다.
• 스펙트럴 시퀀스 $\{E_r^{p,q}, d_r\}$를 적용하여 모어즈 복합체와 플로어 복합체를 연결하며, $E_1^{p,q} \cong H^{p+q \mod N_L}(L; \mathbb{Z}_2)$를 사용한다.
• 체인 복합체를 분해하고 미분 $\partial_0, \dots, \partial_\nu$를 정의하기 위해 $C^i = \bigoplus_k C_f^{i + kN_L}$를 통한 필터링을 시행한다.
• 선형대수학 레마를 사용하여 오일러 지표 $\chi_{s,t}(C)$를 코호모로지와 미분의 상사영 차원과 연결한다.
• 가정 $HF(L,L) = 0$를 적용하여 스펙트럴 시퀀스를 $\bar{E}_{\nu+1} = 0$에서 붕괴시켜 차원 추정을 가능하게 한다.
• 스펙트럴 불변량 $\min\{\kappa_{i-1}(f), \kappa_i(f)\}$와 $\gamma_i$를 사용하여 $\chi_{s,t}(L)$의 경계를 도출하고, $\lambda_{s,t}(L)$를 포함하는 불등식을 이끌어낸다.

실험 결과

연구 질문

• RQ1 복소 프로젝티브 공간 $\mathbb{C}P^n$에 포함된 라그랑주 부분다양체 $L$에서 $H_1(L;\mathbb{Z})$가 2-torsion일 경우 어떤 위상적 제약 조건이 발생하는가?
• RQ2 이러한 라그랑주 부분다양체의 코호모로지 링이 완전히 결정될 수 있으며, $\mathbb{R}P^n$의 그것과 일치하는가?
• RQ3 심플렉틱 다양체에서 전반적인 상호작용을 유도하는 라그랑주 코어 $\Lambda \subset M$의 역할은 무엇인가?
• RQ4 스펙트럴 시퀀스와 플로어 호모로지가 단조 라그랑주 부분다양체에서 $HF(L,L) = 0$일 경우 위상학적 제약을 어떻게 가로막는가?
• RQ5 스펙트럴 불변량에 대해 필터링된 체인 복합체의 오일러 지표 $\chi_{s,t}(L)$를 지배하는 불등식은 무엇인가?

주요 결과

• 모든 라그랑주 부분다양체 $L \subset \mathbb{C}P^n$에서 $H_1(L;\mathbb{Z})$가 2-torsion을 가진다면, $H^*(L;\mathbb{Z}_2) \cong H^*(\mathbb{R}P^n;\mathbb{Z}_2)$인 계수 공간 동형사상이 존재한다.
• 만약 $n$ 이 짝수일 경우, 이 동형사상은 계수 대수 동형사상으로 확장되며, 따라서 $L$의 코호모로지 링은 $\mathbb{R}P^n$의 그것과 동형이 된다.
• $a|_L \in H^2(L;\mathbb{Z}_2)$의 제약 조건은 $a$가 $H^2(\mathbb{C}P^n;\mathbb{Z}_2)$의 생성자일 때 짝수 차수 부분대수를 생성한다.
• $\mathbb{C}P^n \times X$에서 $\dim_{\mathbb{C}}X = n+1$, $\pi_2(X) = 0$, $L$가 단순연결일 경우, $X$를 재스케일링하면 $L$는 반드시 구가 된다.
• 단조 $L$에서 $HF(L,L) = 0$일 경우, $t-s$가 짝수이면 불등식 $\chi_{s,t}(L) \leq \nu \min\{\gamma_{s-1}, \gamma_s\} + \nu \min\{\gamma_t, \gamma_{t+1}\}$이 성립한다.
• $t-s$가 홀수일 경우, $\chi_{s,t}(L)$는 $-\lambda_t(L) \leq \chi_{s,t}(L) \leq \lambda_s(L)$로 유계화되며, 이때 $\lambda_i(L)$는 스펙트럴 불변량을 통해 정의된다.