[논문 리뷰] Symplectic cohomology and duality for the wrapped Fukaya category

Sheel Ganatra|arXiv (Cornell University)|2013. 04. 27.

Geometric and Algebraic Topology참고 문헌 24인용 수 91

한 줄 요약

이 논문은 비콤팩트 형태의 콘체비치 추측을 증명함으로써, 비퇴화 조건 하에서 하이치치드 호몰로지에서 심플렉틱 코호몰로지로, 그리고 심플렉틱 코호몰로지에서 랩드 푸카야 분류의 하이치치드 코호몰로지로 가는 자연스러운 기하학적 사상들이, 링과 모듈러 구조와 호환되는 동형사상임을 보였다. 핵심 결과는 랩드 푸카야 분류에 대한 하이치치드 호몰로지와 코호몰로지 사이의 이중성으로, 이는 새로운 기하학적 포incare 이중성 동형사상과 랩드 힐버트 퀼트를 이용한 일반화된 푸리에-무카이 이론을 통해 실현되었다.

ABSTRACT

Consider the wrapped Fukaya category W of a collection of exact Lagrangians in a Liouville manifold. Under a non-degeneracy condition implying the existence of enough Lagrangians, we show that natural geometric maps from the Hochschild homology of W to symplectic cohomology and from symplectic cohomology to the Hochschild cohomology of W are isomorphisms, in a manner compatible with ring and module structures. This is a consequence of a more general duality for the wrapped Fukaya category, which should be thought of as a non-compact version of a Calabi-Yau structure. The new ingredients are: (1) Fourier-Mukai theory for W via a wrapped version of holomorphic quilts, (2) new geometric operations, coming from discs with two negative punctures and arbitrary many positive punctures, (3) a generalization of the Cardy condition, and (4) the use of homotopy units and A-infinity shuffle products to relate non-degeneracy to a resolution of the diagonal.

연구 동기 및 목표

• 푸카야 분류의 하이치치드 코호몰로지와 양자 코호몰로지를 연결하는 콘체비치 추측의 비콤팩트 형태를 수립하기 위해.
• 비퇴화 조건 하에서 심플렉틱 코호몰로지가 랩드 푸카야 분류의 하이치치드 호몰로지 및 코호몰로지와 동형임을 증명하기 위해.
• 임의의 계수 이중모듈러를 갖는 랩드 푸카야 분류에 대해 하이치치드 호몰로지와 코호몰로지 사이의 기하학적 포incare 이중성 동형사상을 구성하기 위해.
• A-무한대 범주론적 기법을 사용하여 비퇴화 조건이 랩드 푸카야 분류의 스무스성과 어떻게 관련되는지 밝히기 위해.
• 카디 조건을 일반화하고, 두 개의 음성 펄스와 다수의 양성 펄스를 갖는 힐베르트 원판에서 유래하는 새로운 기하학적 연산을 도입하기 위해.

제안 방법

• 랩드 푸카야 분류에 대한 푸리에-무카이 이론을 개발하기 위해 랩드 힐베르트 퀼트의 버전을 도입하기 위해.
• 두 개의 음성 펄스와 임의의 양성 펄스를 갖는 힐베르트 원판을 사용하여 카테고리 내 고차 연산을 모델링하는 새로운 기하학적 연산을 정의하기 위해.
• 이러한 새로운 연산을 포함시키기 위해 카디 조건을 일반화하고, 이중성 구조와의 호환성을 확립하기 위해.
• 호모토피 단위와 A-무한대 셔플 제품을 사용하여 비퇴화 조건이 랩드 푸카야 분류에서 대각선의 해소와 어떻게 연결되는지 밝히기 위해.
• 심플렉틱 코호몰로지를 생략하고, 직접적인 기하학적 포incare 이중성 동형사상을 하이치치드 호몰로지와 코호몰로지 사이에 구성하기 위해.
• 다중 점근적 입력을 갖는 힐베르트 원판의 매니폴드 공간을 사용하여 정밀한 방향성 계산을 수행하고, 방향성 선과 람다 클래스를 통해 부호 기여를 추적하기 위해.

실험 결과

연구 질문

• RQ1 비콤팩트 형태의 콘체비치 추측이 성립하는가? 즉, 심플렉틱 코호몰로지가 랩드 푸카야 분류의 하이치치드 코호몰로지와 동형이 되는가?
• RQ2 임의의 계수 이중모듈러를 갖는 랩드 푸카야 분류에 대해 하이치치드 호몰로지와 코호몰로지 사이에 직접적인 기하학적 포incare 이중성 동형사상을 구성할 수 있는가?
• RQ3 비퇴화 조건(충분한 라그랑주 하위다발의 존재를 암시함)이 랩드 푸카야 분류의 스무스성과 어떻게 관련되는가?
• RQ4 두 개의 음성 펄스를 갖는 원판에서 유래하는 새로운 기하학적 연산이 이중성 구조를 실현하는 데 어떤 역할을 하는가?
• RQ5 힐베르트 원판의 매니폴드 공간에서의 방향성 부호가 이중성 동형사상의 일관성에 어떻게 기여하는가?

주요 결과

• 리우빌 다양체가 비퇴화일 경우, 하이치치드 호몰로지에서 심플렉틱 코호몰로지로, 그리고 심플렉틱 코호몰로지에서 하이치치드 코호몰로지로 가는 자연스러운 사상들이 동형사상임을 보였다.
• 임의의 계수 이중모듈러를 갖는 랩드 푸카야 분류에 대해 하이치치드 호몰로지와 코호몰로지 사이에 직접적인 기하학적 포incare 이중성 동형사상이 존재한다.
• 비퇴화 조건이 성립할 경우, 랩드 푸카야 분류는 스무스하다. 이는 A-무한대 셔플 프로덕트를 사용한 대각선의 해소를 통해 입증되었다.
• 비퇴화 조건은 라그랑주 하위다발의 집합이 심플렉틱 코호몰로지를 생성함을 보장하며, 특히 항등원 클래스를 포함한다.
• 힐베르트 원판의 매니폴드 공간에서의 방향성 부호 계산은 일관되며, 잘 정의된 이중성 구조를 이끌어내며, 모든 부호 기여가 표준 부호 전환으로 조합된다.
• 일반화된 카디 조건과 두 개의 음성 펄스를 갖는 원판에서 유래하는 새로운 연산은 이중성의 실현과 링 및 모듈러 구조와의 호환성을 확보하는 데 필수적이다.