[논문 리뷰] Obstructions to Lagrangian Cobordisms between Legendrian Submanifolds

Joshua M. Sabloff, Lisa Traynor|arXiv (Cornell University)|2011. 09. 26.

Geometric and Algebraic Topology참고 문헌 34인용 수 9

한 줄 요약

이 논문은 1-제트(bundle)의 심플렉틱화에서 레그렌드랑ian 부분다양체 간 임베디드 라그랑주 코버디즘에 대한 생성 가족의 장애물을 제시하며, 랩프드 플로어 코homology와 매핑 원판 구성으로 이루어진 TQFT 유사 프레임워크를 사용한다. 논문은 체카노프-엘랴쉬버그 $m(5_2)$ knots에 대한 생성 가족 호환 코버디즘의 존재하지 않음을 증명하고, 생성 가족 코homology와 null-cobordism에서의 파oincaré 쌍대성 구조를 연결하는 이중성 구조를 수립하여, 선형-무한대에서 생성 가족을 갖는 레그렌드랑ian에 대해 아르놀드 추측을 함의한다.

ABSTRACT

The technique of generating families produces obstructions to the existence of embedded Lagrangian cobordisms between Legendrian submanifolds in the symplectizations of 1-jet bundles. In fact, generating families may be used to construct a TQFT-like theory that, in addition to giving the aforementioned obstructions, yield structural information about invariants of Legendrian submanifolds. For example, the obstructions devised in this paper show that there is no generating family compatible Lagrangian cobordism between the Chekanov-Eliashberg Legendrian $m(5_2)$ knots. Further, the generating family cohomology groups of a Legendrian submanifold restrict the topology of a null-cobordism. Structurally, the generating family cohomology of a Legendrian submanifold satisfies a type of Alexander duality that, when the Legendrian is null-cobordant, can be seen as Poincar\'e duality of the associated Lagrangian null-cobordism. This duality implies the Arnold Conjecture for Legendrian submanifolds with linear-at-infinity generating families. The results are obtained by developing a generating family version of wrapped Floer cohomology and establishing long exact sequences that arise from viewing the the spaces underlying these cohomology groups as mapping cones.

연구 동기 및 목표

• 레그렌드랑ian 부분다양체 간 임베디드 라그랑주 코버디즘의 존재에 대한 장애를 생성 가족을 사용하여 개발하기.
• 생성 가족으로부터 유도된 TQFT 유사 이론을 구축하여 레그렌드랑ian 부분다양체의 구조적 불변량을 도출하기.
• 생성 가족 코homology 군을 통해 null-cobordism의 위상적 제약 조건을 이해하기.
• 생성 가족 코homology와 라그랑주 null-cobordism의 위상학 간 이중성 구조(앨리오크산 및 파oincaré 쌍대성 유사)를 수립하기.
• 선형-무한대에서 생성 가족을 갖는 레그렌드랑ian에 대해 아르놀드 추측을 증명하기.

제안 방법

• 논문은 레그렌드랑ian 부분다양체의 불변량을 분석하기 위해 생성 가족의 랩드 플로어 코homology를 구축한다.
• 생성 가족 코homology 군의 기초 공간을 매핑 원판으로 모델링하여 장기 정확한 수열을 유도한다.
• 이 이론은 코homological 이중성 관계를 통해 라그랑주 null-cobordism의 위상을 연구하는 데 적용된다.
• 저자들은 TQFT 유사 구조를 사용하여 코버디즘 존재에 대한 장애를 도출하며, 특히 특정 레그렌드랑ian 뭉치에 대해 적용된다.
• 이중성은 레그렌드랑ian이 null-cobordant일 경우 파oincaré 쌍대성으로 감소하며, 코homological 구조와 다양체 위상학 간의 연결을 이룬다.
• 이 방법은 매핑 원판 구성의 대수적 성질과 생성 가족이 심플렉틱 코버디즘 하에서의 행동에 의존한다.

실험 결과

연구 질문

• RQ1 생성 가족을 사용하여 1-제트(bundle)의 심플렉틱화에서 레그렌드랑ian 부분다양체 간 임베디드 라그랑주 코버디즘의 존재를 금지시킬 수 있는가?
• RQ2 레그렌드랑ian 부분다양체의 생성 가족 코homology 군에서 유도할 수 있는 구조적 불변량은 무엇인가?
• RQ3 레그렌드랑ian의 생성 가족 코homology는 그 라그랑주 null-cobordism의 위상학과 어떻게 관련이 있는가?
• RQ4 null-cobordant 레그렌드랑ian의 맥락에서 생성 가족 코homology에 앨리오크산 또는 파oincaré 쌍대성 유사 이중성 구조가 나타나는가?
• RQ5 이중성 구조는 선형-무한대에서 생성 가족을 갖는 레그렌드랑ian에 대해 아르놀드 추측을 함의하는가?

주요 결과

• 체카노프-엘랴쉬버그 레그렌드랑ian $m(5_2)$ knots 간에는 생성 가족 호환 라그랑주 코버디즘이 존재하지 않는다.
• 레그렌드랑ian 부분다양체의 생성 가족 코homology 군은 그가 봉인할 수 있는 null-cobordism의 가능한 위상학을 제약한다.
• 레그렌드랑ian이 null-cobordant일 경우, 그 생성 가족 코homology는 관련 라그랑주 코버디즘에서 파oincaré 쌍대성과 대응하는 이중성을 만족한다.
• 생성 가족 코homology의 이중성 구조는 null-cobordant인 경우 파oincaré 쌍대성으로 감소하는 앨리오크산 쌍대성의 한 형태로 나타나며, 이는 코homological 구조와 다양체 위상학 간의 연결을 이룬다.
• 이중성과 코homological 구조는 선형-무한대에서 생성 가족을 갖는 레그렌드랑ian에 대해 아르놀드 추측을 함의한다.
• 랩드 플로어 코homology와 매핑 원판을 통한 TQFT 유사 이론의 구축은 장애와 구조적 결과를 도출하는 강력한 프레임워크를 제공한다.