[논문 리뷰] Maslov 0 nearby Lagrangians are homotopy equivalent

Mohammed Abouzaid|arXiv (Cornell University)|2010. 05. 03.

Homotopy and Cohomology in Algebraic Topology참고 문헌 3인용 수 2

한 줄 요약

이 논문은 코타angent 번들의 경우, 자명한 마스лов 클래스를 가진 모든 닫힘 정확한 라그랑주 부분다양체가 영 단면과 호모토피 동치임을 증명한다. 고차수의 국소계를 포함하도록 푸카야 카테고리를 확장하고, 커버 기반의 푸카야 카테고리를 사용하여, 이러한 라그랑주 부분다양체의 기본 겹침이 자명함을 확립함으로써, 일반적인 설정에서의 호모토피 동치 결과를 도출한다.

ABSTRACT

We prove that the inclusion of every closed exact Lagrangian with vanishing Maslov class in a cotangent bundle is a homotopy equivalence. We start by adapting an idea of Fukaya-Seidel-Smith to prove that such a Lagrangian is equivalent to the zero section in the Fukaya category with integral coefficients. We then study an extension of the Fukaya category in which Lagrangians equipped with local systems of arbitrary dimension are admitted as objects, and prove that this extension is generated, in the appropriate sense, by local systems over a cotangent fibre. Whenever the cotangent bundle is simply connected, this generation statement implies that the universal covering of every closed exact Lagrangian of vanishing Maslov index is trivial. Finally, we borrow ideas from coarse geometry to develop a Fukaya category associated to the universal cover, allowing us to prove the result in the general case.

연구 동기 및 목표

• 코타angent 번들의 자명한 마스볼 클래스를 가진 닫힘 정확한 라그랑주 부분다양체가 영 단면과 호모토피 동치임을 증명하는 것.
• 푸카야 카테고리를 임의의 유한 차수의 국소계를 갖는 라그랑주 부분다양체를 객체로 포함하도록 확장하는 것.
• 코타angent 번들이 단순연결일 경우, 이 확장된 카테고리가 한 개의 코타angent 섬유 위에 지지된 국소계에 의해 생성됨을 증명하는 것.
• 비단순연결 케이스를 다루기 위해 커버 기반의 푸카야 카테고리를 개발하는 것.
• 이러한 라그랑주 부분다양체의 기본 겹침이 자명함을 증명함으로써, 주요 호모토피 동치 결과를 도출하는 것.

제안 방법

• 푸카야–사이델–스미스의 추론을 변형하여, 자명한 마스볼 클래스를 가진 닫힘 정확한 라그랑주 부분다양체가 정수 푸카야 카테고리에서 영 단면과 준동치임을 보이는 것.
• 임의의 유한 차수의 국소계를 갖는 라그랑주 부분다양체를 객체로 포함하는 확장된 푸카야 카테고리를 구성하는 것.
• 코타angent 번지가 단순연결일 경우, 이 확장된 카테고리가 한 개의 코타angent 섬유 위에 지지된 국소계에 의해 생성됨을 증명하는 것.
• 생성 결과를 활용하여, 환경이 단순연결일 경우 이러한 라그랑주 부분다양체의 기본 겹침이 자명함을 유도하는 것.
• 환경 다각체의 기본 겹침에 관련된 새로운 푸카야 카테고리를 도입하여, 단순연결이 아닌 경우로 결과를 확장하는 것.
• 粗기하 기법을 적용하여 기본 겹침 내에서 라그랑주 부분다양체의 행동을 제어함으로써, 일반 케이스의 증명을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 코타angent 번들의 자명한 마스볼 클래스를 가진 모든 닫힘 정확한 라그랑주 부분다양체는 영 단면과 호모토피 동치인가?
• RQ2 푸카야 카테고리를 고차수 국소계를 포함하도록 확장할 수 있는가? 이 경우 생성 성질이 유지되는가?
• RQ3 환경 코타angent 번지가 단순연결일 경우, 자명한 마스볼 클래스를 가진 닫힘 정확한 라그랑주 부분다양체의 기본 겹침은 자명한가?
• RQ4 비단순연결 케이스를 다루기 위해, 심플렉틱 다각체의 기본 겹침에 대한 푸카야 카테고리를 어떻게 정의할 수 있는가?
• RQ5 코타angent 섬유 위의 국소계는 확장된 푸카야 카테고리를 생성하는 데 어떤 역할을 하는가?

주요 결과

• 코타angent 번들의 자명한 마스볼 클래스를 가진 모든 닫힘 정확한 라그랑주 부분다양체는 영 단면과 호모토피 동치이다.
• 단순연결일 경우, 고차수 국소계를 포함하는 확장된 푸카야 카테고리는 한 개의 코타angent 섬유 위에 지지된 국소계에 의해 생성된다.
• 이러한 라그랑주 부분다양체의 기본 겹침은 단순연결 케이스에서 자명하다.
• 커버 기반의 푸카야 카테고리의 구성은 호모토피 동치 결과를 비단순연결 코타angent 번들로 확장할 수 있게 한다.
• 粗기하 기법의 사용은 기본 겹침의 심플렉틱 위상수학을 제어할 수 있게 하여 일반 증명을 가능하게 한다.