[논문 리뷰] The open-closed string map revisited

Alexander F. Ritter, Ivan Smith|arXiv (Cornell University)|2012. 01. 27.

Homotopy and Cohomology in Algebraic Topology인용 수 7

한 줄 요약

이 논문은 Abouzaid의 생성 조건을 단조성 설정으로 확장하고, 개방-폐쇄 및 폐쇄-개방 스트링 사상들을 통해 랩프드 및 컴act Fukaya 카테고리 간의 함의적 프레임워크를 구축한다. Hochschild (코)호모로지 위에 양자 및 심플렉틱 호모로지와 호환되는 모듈러 구조를 수립하며, 프로젝션 공간 위의 단조성 음의 선다발에 대해 랩프드 카테고리의 적절성과 토릭 Fano 다양체 위의 이러한 다발에 대해 심플렉틱 호모로지의 비자명성을 증명하고, 필수적인 비이동 가능한 라그랑주 수축 토리의 존재를 보여준다.

ABSTRACT

We build the wrapped Fukaya category W(E) for any monotone symplectic manifold, convex at infinity. We define the open-closed and closed open-string maps. We study their algebraic properties and prove that the string maps are compatible with the eigenvalue splitting of W(E). We extend Abouzaid's generation criterion from the exact to the monotone setting. We construct an acceleration functor from the compact Fukaya category which on Hochschild (co)homology commutes with the string maps and the canonical map from quantum cohomology QH(E) to symplectic cohomology SH(E). We define the QH(E)- and SH(E)-module structure on the Hochschild (co)homology of W(E) which is compatible with the string maps. The module and unital algebra structures, and the generation criterion, also hold for the compact Fukaya category F(E), and also hold for closed monotone symplectic manifolds. As an application, we show that the wrapped category of any monotone negative line bundle over any projective space is proper (cohomologically finite). For any monotone negative line bundle E over a toric Fano variety, we show that SH(E) is non-trivial and that W(E) contains an essential non-displaceable monotone Lagrangian torus.

연구 동기 및 목표

• 정확한 설정에서 Abouzaid의 생성 조건을 단조성 심플렉틱 설정으로 일반화하기 위해.
• 단조성 맥락에서 개방-폐쇄 및 폐쇄-개방 스트링 사상의 정의와 연구를 위해.
• 스트링 사상과 양자에서 심플렉틱 호모로지로의 자연스러운 사상 QH(E) → SH(E)를 공유하는, 컴팩트에서 랩프드 Fukaya 카테고리로 가는 가속화 함의자(acceleration functor)를 구성하기 위해.
• 스트링 사상과 호환되는 QH(E)- 및 SH(E)-모듈러 구조를 랩프드 Fukaya 카테고리의 Hochschild (코)호모로지 위에 정의하기 위해.
• 특히 프로젝션 공간 위의 단조성 음의 선다발과 토릭 Fano 다양체 위의 다발에 대해, 이 대수적 프레임워크의 기하적 결과를 도출하기 위해.

제안 방법

• 무한대에서 볼록한 임의의 단조성 심플렉틱 다양체에 대해 랩프드 Fukaya 카테고리 W(E)를 구성하기 위해.
• 개방-폐쇄 및 폐쇄-개방 스트링 사상의 정의와 W(E)에서 고유값 분할과의 호환성 증명을 위해.
• 컴팩트 Fukaya 카테고리 F(E)에서 W(E)로 가는 가속화 함의자를 도입하고, 이가 스트링 사상과 Hochschild (코)호모로지 위에서 QH(E) → SH(E) 사상과 가환함을 보여주기 위해.
• W(E)의 Hochschild (코)호모로지 위에 스트링 사상과 호환되는 QH(E)- 및 SH(E)-모듈러 구조를 부여하기 위해.
• 특정 기하적 예제를 분석하기 위해 대수적 프레임워크를 적용하며, 특히 프로젝션 공간 위의 단조성 음의 선다발과 토릭 Fano 다양체 위의 다발을 중심으로 한다.
• 형식을 적용하여, 프로젝션 공간 위의 음의 선다발에 대해 W(E)의 코homological 유한성(적절성)과 토릭 Fano 다양체 위의 다발에 대해 SH(E)의 비자명성을 증명하기 위해.

실험 결과

연구 질문

• RQ1 Abouzaid의 생성 조건은 어떻게 정확한 설정에서 단조성 심플렉틱 설정으로 확장될 수 있는가?
• RQ2 단조성 경우에서 개방-폐쇄 및 폐쇄-개방 스트링 사상의 정확한 대수적 구조는 무엇이며, 고유값 분할과 어떻게 상호작용하는가?
• RQ3 스트링 사상과 양자에서 심플렉틱 호모로지로의 사상 QH(E) → SH(E)를 존중하는, 컴팩트와 랩프드 Fukaya 카테고리 사이의 가속화 함의자를 어떻게 구성할 수 있는가?
• RQ4 랩프드 Fukaya 카테고리의 Hochschild (코)호모로지 위에 존재하는 모듈러 구조는 무엇이며, 양자 및 심플렉틱 호모로지와 어떻게 호환되는가?
• RQ5 이 대수적 프레임워크에서 유도되는 기하적 결과는 무엇이며, 특히 프로젝션 공간 위의 단조성 음의 선다발과 토릭 Fano 다양체 위의 다발에 대해 어떤 결과를 낳는가?

주요 결과

• 프로젝션 공간 위의 임의의 단조성 음의 선다발 E에 대해, 랩프드 Fukaya 카테고리 W(E)는 적절하다. 즉, 코homologically 유한하다.
• 토릭 Fano 다양체 위의 임의의 단조성 음의 선다발 E에 대해, 심플렉틱 호모로지 SH(E)는 비자명하다.
• 토릭 Fano 다양체 위의 단조성 음의 선다발에 대해, 랩프드 카테고리 W(E)는 필수적인 비이동 가능한 단조성 라그랑주 수축 토리를 포함한다.
• W(E)의 Hochschild (코)호모로지 위에는 스트링 사상과 호환되는 잘 정의된 QH(E)- 및 SH(E)-모듈러 구조가 존재한다.
• W(E)에 대해 수립된 대수적 구조와 생성 조건은 컴팩트 Fukaya 카테고리 F(E)와 폐쇄된 단조성 심플렉틱 다양체의 경우에도 동일하게 성립한다.
• F(E)에서 W(E)로 가는 가속화 함의자는 스트링 사상과 Hochschild (코)호모로지 위에서 QH(E) → SH(E)의 자연스러운 사상과 가환한다.