[논문 리뷰] Covariantly functorial Floer theory on Liouville sectors

Sheel Ganatra, John Pardon외 1명|arXiv (Cornell University)|2017. 06. 09.

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

한 줄 요약

이 논문은 경계를 가진 리우빌 다양체인 리우빌 세그먼트를 도입하고, 랩드 푸카야 카테고리, 심플렉틱 코homology, 오픈-클로즈드 맵에 대한 공변함수적 프레임워크를 수립한다. 주요 기여는 아부자이드의 생성 조건에 대한 국소-전체 원리로, 이는 세그먼트 포함에 대한 함의성 덕분이다.

ABSTRACT

We introduce a class of Liouville manifolds with boundary which we call Liouville sectors. We define the wrapped Fukaya category, symplectic cohomology, and the open-closed map for Liouville sectors, and we show that these invariants are covariantly functorial with respect to inclusions of Liouville sectors. From this foundational setup, a local-to-global principle for Abouzaid's generation criterion follows.

연구 동기 및 목표

• 경계를 가진 새로운 심플렉틱 다양체의 클래스인 리우빌 세그먼트를 정의하여 리우빌 도메인을 일반화한다.
• 리우빌 세그먼트에 대해 랩드 푸카야 카테고리, 심플렉틱 코homology, 오픈-클로즈드 맵을 구성한다.
• 리우빌 세그먼트의 포함 관계에 대해 이러한 불변량들이 공변함수적으로 작용함을 확립한다.
• 심플렉틱 토폴로지에서 아부자이드의 생성 조건에 대한 국소-전체 원리를 유도한다.
• 비콤팩트이고 경계를 지닌 심플렉틱 다양체에 대해 플로어 이론적 불변량을 확장하기 위한 기초 프레임워크를 제공한다.

제안 방법

• 특정 기하학적 및 역학적 조건을 만족하는 경계를 가진 리우빌 다양체로서 리우빌 세그먼트를 도입한다.
• 해밀토니안 변형과 적응된 거의 복소構조를 사용하여 리우빌 세그먼트의 랩드 푸카야 카테고리를 정의한다.
• 증가하는 해밀토니안 작용에 대한 플로어 코hom로의 직접 극한을 통해 심플렉틱 코homology를 구성한다.
• 랩드 푸카야 카테고리의 호크시드 코hom로그리로부터 심플렉틱 코homology로의 오픈-클로즈드 맵을 정의한다.
• 세 불변량이 리우빌 세그먼트의 포함 관계에 대해 공변함수적으로 작용함을 증명한다.
• 함의성의 성질을 활용하여, 접합 및 국소화 기법을 통해 아부자이드의 생성 조건에 대한 국소-전체 원리를 도출한다.

실험 결과

연구 질문

• RQ1 플로어 이론적 불변량은 어떻게 경계를 지닌 심플렉틱 다양체로 확장될 수 있으며, 이때 함의성이 유지되도록 할 수 있는가?
• RQ2 경계를 지닌 리우빌 다양체에 대해 어떤 조건이 랩드 푸카야 카테고리와 심플렉틱 코homology의 잘 정의성과 함의성 보장을 보장하는가?
• RQ3 리우빌 세그먼트의 맥락에서 오픈-클로즈드 맵을 정의하고, 그것이 함의성임을 보일 수 있는가?
• RQ4 불변량의 함의성은 어떻게 심플렉틱 생성에 대한 국소-전체 원리를 가능하게 하는가?
• RQ5 리우빌 세그먼트의 어떤 구조적 성질이 아부자이드의 생성 조건을 일반화하는 데 적합한가?

주요 결과

• 리우빌 세그먼트의 랩드 푸카야 카테고리는 잘 정의되어 있으며, 세그먼트 포함 관계에 대해 공변함수적 구조를 갖는다.
• 리우빌 세그먼트의 심플렉틱 코homology는 포함 관계에 대해 함의적이며, 포함 사상에 의해 대수적 구조가 유지된다.
• 리우빌 세그먼트의 오픈-클로즈드 맵은 함의적이며, 랩드 푸카야 카테고리의 호크시드 코hom로그리와 심플렉틱 코hom로그리를 연결한다.
• 세 불변량의 함의성 덕분에 아부자이드의 생성 조건에 대한 국소-전체 원리가 가능해지며, 이는 국소 데이터로부터 전역 생성을 유도할 수 있음을 의미한다.
• 이 프레임워크는 비콤팩트이고 경계를 지닌 다양체의 심플렉틱 토폴로지 연구를 위한 체계적인 방법을 제공한다.
• 결과적으로, 호모로지 거울 대칭과 생성 결과를 더 넓은 심플렉틱 다양체의 범주로 확장하기 위한 기초 도구세트를 확립한다.