[논문 리뷰] Higher rank local systems in Lagrangian Floer theory

Momchil Konstantinov|arXiv (Cornell University)|2017. 01. 13.

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

한 줄 요약

이 논문은 단조 비틀림 다중체에서 고계수 국소계를 위한 라그랑주 플로어 이론을 확장하며, 플로어 코hom로지의 정의를 방해하는 주요 장벽으로 마스로프 2-원판을 특정한다. 비차단 부분복합체—특히 중심 및 단조성 플로어 복합체—를 도입하고, ℂP³에서 치앙 라그랑주 다양체 위에 𝔽₂ 위에서 랭크 2 국소계를 구성하여 플로어 코hom로지가 영이 아니라는 것을 보여, 마스로프 2-원판이 존재하는 상황에서도 해밀턴 이sovopy에 의한 이동이 불가능하다는 것을 증명한다.

ABSTRACT

We extend Floer theory for monotone Lagrangians to allow coefficients in local systems of arbitrary rank. Unlike the rank 1 case, this is often obstructed by Maslov 2 discs. We study exactly what the obstruction is and define some natural unobstructed subcomplexes. To illustrate these constructions we do some explicit calculations for the Chiang Lagrangian $L_Δ \subseteq \mathbb{C}P^3$. For example, we equip $L_Δ$ with a particular rank 2 local system $W$ over the field with 2 elements such that the resulting Floer complex $CF^*(W,W)$ is unobstructed despite the presence of Maslov 2 discs. We compute that the cohomology $HF^*(W,W)$ is non-zero and deduce that the Chiang Lagrangian cannot be disjoined from $\mathbb{R}P^3$ by a Hamiltonian isotopy.

연구 동기 및 목표

• . 이 논문은 이전에 방해되었던 고계수 국소계를 사용한 단조 설정에서 플로어 코hom로지의 일반화를 목적으로 한다.
• . 고계수 국소계를 사용한 플로어 코hom로지의 정의를 방해하는 정확한 장벽을 규명하며, 이 장벽이 비자명한 단조성 표현을 가진 마스로프 2-원판에서 기인함을 보여준다.
• . 전체 플로어 복합체가 장애를 가질 수 있는 상황에서, 비차단 부분복합체—중심 및 단조성 플로어 복합체—를 체계적으로 정의한다.
• . 이 이론을 치앙 라그랑주 다양체 L∆ ⊂ ℂP³에 적용하여, 𝔽₂ 위에서 랭크 2 국소계를 사용해 플로어 코hom로지를 명시적으로 계산한다.
• . 핵심 목표는 마스로프 2-원판이 존재하는 상황에서도 비자명한 플로어 코hom로지가 유지될 수 있음을 보여주어, 비이동 가능성의 가능성을 입증하는 것이다.

제안 방법

• . 이 논문은 고계수 국소계로 일반화된 고전적 m₀ 불변량을 캡처하는 장벽 섹션 m₀(L, E) ∈ H⁰(L, End(E))을 도입하여 d² = 0의 장애를 기술한다.
• . 전체 플로어 복합체의 최대 비차단 부분복합체로 중심 플로어 복합체를 정의하여 미분의 잘 정의성을 보장한다.
• . 라그랑주 다양체가 자기 상호작용을 할 경우, 단조성 표현을 사용해 부분복합체를 정의하는 단조성 플로어 복합체를 도입한다.
• . 펄 복합체 구성 기법을 사용하여 이론을 치앙 라그랑주 다양체에 적용하여, 모스-보트 기법과 해석적 원판 기여를 통해 플로어 코hom로지의 효율적 계산이 가능하도록 한다.
• . 𝔽₂ 위에서 순서 12인 이진 이면체군의 표현 이론을 사용하여 국소계를 분류하고 단조성 작용을 분석한다.
• . 특정한 랭크 2 국소계 W에 대해, 장벽 섹션이 영이 됨을 증명하여 플로어 복합체가 비차단되고 그 코hom로지가 0이 아니라는 것을 보장한다.

실험 결과

연구 질문

• RQ1 . 단조 설정에서 고계수 국소계를 사용한 플로어 코hom로지의 정의를 방해하는 정확한 장벽은 무엇인가?
• RQ2 . 장애가 있을 수 있는 전체 플로어 복합체 내에서 체계적으로 비차단 부분복합체를 정의할 수 있는가?
• RQ3 . 마스로프 2-원판이 존재하는 상황에서도 고계수 국소계를 사용한 비영 플로어 코hom로지가 라그랑주 다양체의 비이동 가능성과 관련이 있는가?
• RQ4 . 치앙 라그랑주 다양체와 같이 비자명한 라그랑주 다양체에 대해 고계수 국소계를 사용하여 명시적 계산을 수행할 수 있는가?
• RQ5 . 국소계의 단조성이 플로어 미분에 기여하는 해석적 원판과 어떻게 상호작용하는가?

주요 결과

• . 치앙 라그랑주 다양체 L∆ ⊂ ℂP³에 대해, 𝔽₂ 위에서 특정한 랭크 2 국소계 W를 구성하여 장벽 섹션 m₀(L∆, W)가 영이 됨을 보였다.
• . 그 결과로 얻어진 플로어 복합체 CF∗(W, W)는 비차단되어 있으며, 마스로프 2-원판이 존재하는 상황에서도 d² = 0이 성립한다.
• . 코hom로지 HF∗(W, W)는 0이 아니며, 특정한 차수에서 H∗(L∆; 𝔽₂) ⊗ 𝔽₂와 동형임을 계산하였다.
• . HF∗(W, W)가 비영이므로 L∆는 해밀턴 이sovopy에 의해 RP³에서 이동될 수 없다.
• . 이 구성은 랭크 1 시스템이 실패할 수 있는 기하학적 장애(비이동 가능성)를 고계수 국소계가 탐지할 수 있음을 보여준다.
• . 이 논문은 𝔽₂ 위에서 차원 > 8인 Γ∆-표현이 항상 분해 가능하다는 것을 증명하며, L∆ 위의 관련 국소계를 분류하는 데에 사용된다.