[논문 리뷰] Geometric generation of the wrapped Fukaya category of Weinstein manifolds and sectors

Baptiste Chantraine, Georgios Dimitroglou Rizell외 2명|arXiv (Cornell University)|2017. 12. 25.

Geometric and Algebraic Topology참고 문헌 36인용 수 39

한 줄 요약

이 논문은 풀린 호프만 다각형 또는 섹터의 랑그랑주 코어 평면들이 그의 인덱스-$n$ 임계점의 랑그랑주 코어 평면들로 기하학적으로 생성된다는 것을 증명한다. 이를 위해 플로어 코hom로지의 수술 공식과 이소트로피 스켈레톤에서 이격된 랑그랑주에 대한 플로어 코hom로지의 소멸을 사용한다. 주요 추론으로서, 이는 시델의 추측을 확인한다. 즉, 호흐시ลด 하모닉스에서 심플렉틱 코hom로지로 가는 오픈-클로즈드 맵이 동형사상임을 보여준다.

ABSTRACT

We prove that the wrapped Fukaya category of any $2n$-dimensional Weinstein manifold (or, more generally, Weinstein sector) $W$ is generated by the unstable manifolds of the index $n$ critical points of its Liouville vector field. Our proof is geometric in nature, relying on a surgery formula for Floer cohomology and the fairly simple observation that Floer cohomology vanishes for Lagrangian submanifolds that can be disjoined from the isotropic skeleton of the Weinstein manifold. Note that we do not need any additional assumptions on this skeleton. By applying our generation result to the diagonal in the product $W imes W$, we obtain as a corollary that the open-closed map from the Hochschild homology of the wrapped Fukaya category of $W$ to its symplectic cohomology is an isomorphism, proving a conjecture of Seidel. We work mainly in the "linear setup" for the wrapped Fukaya category, but we also extend the proofs to the "quadratic" and "localisation" setup. This is necessary for dealing with Weinstein sectors and for the applications.

연구 동기 및 목표

• 이소트로피 스켈레톤에 대한 가정 없이, 풀린 호프만 다각형과 섹터의 랑그랑주 코어 평면의 기하학적 생성을 확립하기 위해.
• 분할 생성 기준이나 불완전한 해석적 기법에 의존하지 않는 직접적인 기하학적 증명을 제공하기 위해.
• 제품 풀린 호프만 다각형에서 $W \times W$의 대각선을 이용하여 오픈-클로즈드 맵이 동형사상임을 증명하기 위해.
• 선형 설정에서 이차 및 국소화 설정으로 결과를 확장하여 섹터와 제품 구조에의 응용을 가능하게 하기 위해.

제안 방법

• 플로어 코hom로지의 수술 공식을 사용하여 랑그랑주 부분다양체의 변화와 플로어 코hom로지 군의 변화를 연결한다.
• 플로어 코호몰로지가 이소트로피 스켈레톤에서 이격된 랑그랑주에 대해 소멸한다는 기하학적 관찰을 적용한다. 이는 스켈레톤에 대한 추가 가정 없이도 성립한다.
• 리우빌 흐름에 의해 유도된 스케일링된 해밀토니안과 미분형식의 가중치를 사용하여 계속성 사상과 랑그랑주 코어 평면의 랑그랑주 코어 평면을 구성한다.
• 가중치 미분형식 $\psi_{s_0, \log w}$와 스케일링 함수 $f_{s_0, \log w}$의 가중치를 사용하여 랑그랑주 코어 평면 간의 사상들을 정의하며, 최대 원리에 의해 컴actness를 유지한다.
• 분할 해밀토니안과 플로어 코어 평면의 자연스러운 동형을 사용하여 이차 및 국소화 설정으로 이론을 확장한다.
• 제품 풀린 호프만 다각형에서 대각선 $\Delta \subset W \times W$에 대한 생성 결과를 적용하여 오픈-클로즈드 맵의 성질을 유도한다.

실험 결과

연구 질문

• RQ1 풀린 호프만 다각형의 랑그랑주 코어 평면이 이소트로피 스켈레톤에 대한 가정 없이도 그의 인덱스-$n$ 임계점의 불안정 다각형에 의해 기하학적으로 생성될 수 있는가?
• RQ2 랑그랑주 코어 평면에 의해 생성된 경우, 호흐시ลด 하모닉스에서 심플렉틱 코호몰로지로 가는 오픈-클로즈드 맵이 동형사상이 되는가?
• RQ3 랑그랑주 코어 평면의 선형 설정을 이차 및 국소화 설정으로 확장하여 섹터와 제품 구조를 다룰 수 있는가?
• RQ4 분할 생성 기준을 피하고, 이격된 랑그랑주에 대한 플로어 코호몰로지의 소멸에 기반한 기하학적 증명이 가능한가?
• RQ5 제품 다각형 $W \times W$의 대각선이 코어 디스크의 곱에 의해 생성될 수 있는가? 이는 시델의 추측을 증명하는 데 기여한다.

주요 결과

• 모든 $2n$-차원 풀린 호프만 다각형의 랑그랑주 코어 평면은 그의 인덱스-$n$ 임계점의 랑그랑주 코어 평면들에 의해 생성된다.
• 풀린 호프만 섹터의 랑그랑주 코어 평면은 그의 완비화의 코어 평면들과 벨트의 코어 평면의 확산에 의해 생성된다.
• 호흐시ลด 하모닉스에서 심플렉틱 코호몰로지로 가는 오픈-클로즈드 맵은 동형사상이며, 시델의 추측을 확인한다.
• 제품 풀린 호프만 다각형에서 대각선 랑그랑주 $\Delta \subset W \times W$는 분할 해밀토니안 랑그랑주 코어 평면의 곱에 의해 생성된다.
• 이론은 이차 및 국소화 설정으로 확장되며, 섹터와 제품 구조에의 응용을 가능하게 한다.
• 이소트로피 스켈레톤에서 이격된 랑그랑주에 대한 플로어 코호몰로지의 소멸은 추가 스켈레톤 가정 없이도 일반적으로 성립한다.