[논문 리뷰] Lagrangian Cobordism I

Paul Biran, Octav Cornea|arXiv (Cornell University)|2011. 09. 23.

Geometric and Algebraic Topology참고 문헌 19인용 수 4

한 줄 요약

이 논문은 심플렉틱 위상수학에서 단조 라그랑주 코버디즘에 대한 범주론적 프레임워크를 제안하며, 코버디즘에 under Floer homology 가 유지됨을 보이고, 라그랑주 코버디즘 범주에서 삼각형 완비된 후카야 범주로의 함자를 구성한다. 주요 기여는 코버디즘 사상과 플로어 이론적 불변량 사이의 함성적 관계를 설정하여 기하학적 코버디즘과 심플렉틱 위상수학의 대수적 구조 사이의 다리를 쌓는 것이다.

ABSTRACT

This paper discusses the cobordism of Lagrangian submanifolds (in the monotone setting) and structures it as a category that is related in a functorial way to an appropriate (derived) Fukaya category. Are also discussed obstructions to cobordism based on properties of Lagrangian quantum homology, relations to Lagrangian surgery, as well as examples of non-isotopic but cobordant Lagrangians. This is a revision of our earlier preprint from September 2011.

연구 동기 및 목표

• 심플렉틱 다양체에서 단조 라그랑주 코버디즘에 대한 범주론적 구조를 개발하기 위해.
• 플로어 호몰로지 및 관련 불변량이 단조 라그랑주 코버디즘에 의해 유지됨을 보이기 위해.
• 라그랑주 코버디즘 범주에서 삼각형 완비된 후카야 범주로의 함자를 구성하기 위해.
• 코버디즘 존재성에 대한 대수적 차단 조건을 양자 및 플로어 호몰로지 불변량을 통해 수립하기 위해.
• 코버디즘을 후카야 범주 구조의 함성적 확장으로 이해하는 프레임워크를 제공하기 위해.

제안 방법

• 일관된 단조성과 $N_L \geq 2$ 조건을 갖는 마스로프 지수 제약 조건을 통해 단조 라그랑주 부분다양체를 정의한다.
• 라그랑주 코버디즘을 $ℝ^2 \times M$ 에 매bed된 매끄럽고 컴act한 코버디즘으로 정의하며, 원형 끝이 라그랑주 가족과 일치하도록 한다.
• 플로어 복합체의 코어 분해를 사용하여 유도된 후카야 범주 $D\mathcal{F}uk^d(M)$ 의 전부분 범주에서 삼각형 범주 $T^S\mathcal{C}$ 를 구성한다.
• 플로어 복합체 내의 체인 사상 시퀀스와 코어 구성으로 코버디즘 범주 $\mathcal{Cob}^d_0(M)$ 의 사상들을 정의한다.
• 체인 복합체에서 양다인 임bed딩과 코어 구성 기법을 사용하여 후카야 범주의 삼각형 완비를 수립한다.
• 코버디즘 범주 $\mathcal{Cob}^d_0(M)$ 에서 삼각형 완비된 후카야 범주 $T^S\mathcal{F}uk^d(M)$ 로의 모노이드 함수 $\widetilde{\mathcal{F}}$ 를 정의하며, 사상들은 플로어 복합체 간의 체인 호모토피 동치로 표현된다.

실험 결과

연구 질문

• RQ1 라그랑주 코버디즘이 함성적 성질을 갖는 범주로 어떻게 구조화될 수 있는가?
• RQ2 단조 라그랑주 코버디즘 하에서 어떤 불변량이 유지되는가?
• RQ3 라그랑주 코버디즘 범주와 삼각형 완비된 후카야 범주 사이에 함성적 관계를 설정할 수 있는가?
• RQ4 코버디즘 맥락에서 양자 및 플로어 호몰로지 불변량으로부터 어떤 대수적 차단 조건이 발생하는가?
• RQ5 기초 체 $K = \mathbb{Z}_2$ 를 선택할 경우 함성성과 구성의 독립성에 어떤 영향을 미치는가?

주요 결과

• 단조 라그랑주 코버디즘이 플로어 호몰로지 및 관련 불변량을 유지함을 제2.2.1정리로 보여주었다.
• 플로어 복합체의 코어 분해를 통해 코버디즘 범주에서 삼각형 완비된 후카야 범주로의 함수 $\widetilde{\mathcal{F}}$ 가 존재함을 수립하였다.
• 이 구성은 체인 복합체에서 양다인 임bed딩과 코어 연산을 사용한 후카야 범주의 삼각형 완비에 기반한다.
• 핵심 결과는 코버디즘 범주의 사상들이 체인 복합체의 정확한 시퀀스 $Z_i^N$ 을 유도하며, $Z_{i+1}^N = \textnormal{cone}(CF(N,L_i) \xrightarrow{u_i} Z_i^N)$ 를 만족하며, 이로 인해 체인 호모토피 동치 $\phi_V^N: CF(N,L) \to Z_{k+1}^N$ 가 유도된다.
• $\mathbb{Z}_2$ 를 기초 체로 사용함으로써 $u_i$ 와 $\phi_V^N$ 의 사상들이 추가 선택에 영향을 받지 않고 표준화됨을 보장하며, $\mathcal{A}$ 에서는 그렇지 않다.
• 정리 2.2.2 및 2.2.3 는 양자 및 플로어 호몰로지 불변량을 통해 코버디즘 사상 존재성에 대한 대수적 차단 조건을 드러낸다.