[논문 리뷰] Nearby Lagrangians with vanishing Maslov class are homotopy equivalent

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

Homotopy and Cohomology in Algebraic Topology참고 문헌 11인용 수 4

한 줄 요약

이 논문은 코타angent 번들의 닫힘 정확한 라그랑주 부분다양체가 모스톨 클래스가 0일 경우, 영 섹션과 호모토피 동치임을 증명한다. 국소계수를 포함한 확장된 후카야 카테고리와 코arse 기하학 및 $A_\infty$-대수 이론 기법을 사용하여, 이러한 라그랑주 부분다양체가 단순연결임과 동시에 기본군에 대해 동형을 유도함을 보이며, 이는 $\field{F}_2$ 위에서 호모토피 동치 결과를 이끌어내고, 일반적인 경우 코팅 공간의 추론을 통해 일반화된다.

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 번들의 닫힘 정확한 라그랑주 부분다양체가 모스톨 클래스가 0일 경우 영 섹션과 호모토피 동치임을 확립하는 것.
• 기본체 $\field{F}_2$ 위에서 임의의 차원의 국소계수를 갖는 라그랑주 부분다양체를 포함하도록 후카야 카테고리를 확장하는 것.
• 생성 라그랑주 부분다양체 위의 자명한 국소계수가 이 확장된 카테고리를 분할 생성함을 증명하는 것.
• 기저 다양체가 단순연결일 경우 이러한 라그랑주 부분다양체가 단순연결임을 보이는 것.
• 기울기 없는 기저 다양체의 경우 방향성 커버와 기본군 추론을 사용하여 결과를 일반화하는 것.

제안 방법

• 모스톨 클래스가 0인 라그랑주 부분다양체가 $\field{F}_2$ 계수의 후카야 카테고리에서 영 섹션과 준동형임을 보이기 위해 후카야–세이델–스미스의 추론을 응용한다.
• 기본체 $\field{F}_2$ 위에서 유한차원 국소계수를 갖는 라그랑주 부분다양체를 포함하는 확장된 후카야 카테고리 $\ncal{S}(M)$을 구성한다.
• $A_\infty$-모듈 이론을 사용하여 대각선을 해소하는 라그랑주 부분다양체 위의 자명한 국소계수가 $\ncal{S}(M)$을 분할 생성함을 보인다.
• 코팅 공간 추론을 적용: 기저 다양체의 방향성 커버로 넘어가 기울기 있는 경우로 축소한다.
• 스펙트럴 시퀀스와 $p$-adic 필터링을 사용하여 $\field{Z}$ 위에서의 플로어 코hom로그리의 랭크가 1임을 보이며, 이는 라그랑주 부분다양체가 영 섹션과 준동형임을 의미함.
• 스틴로드 제곱과 $\field{F}_2$ 위의 우 공식을 활용하여 라그랑주 부분다양체가 상대적으로 스파인임을 유추함으로써 기술적 장벽을 제거한다.

실험 결과

연구 질문

• RQ1 코타angent 번들의 닫힘 정확한 라그랑주 부분다양체가 모스톨 클래스가 0일 경우, 기본군에 대해 동형을 유도하는가?
• RQ2 후카야 카테고리는 국소계수의 임의의 차원을 포함하도록 확장될 수 있으며, 이러한 확장은 분할 생성 요소를 갖는가?
• RQ3 기저 다양체가 단순연결일 경우 이러한 모든 라그랑주 부분다양체는 단순연결인가?
• RQ4 기울기 없는 경우 이러한 라그랑주 부분다양체의 호모토피 유형은 어떻게 결정되는가?
• RQ5 유니버설 커버는 호모토피 동치를 포착하는 후카야 카테고리를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 코타angent 번들의 닫힘 정확한 라그랑주 부분다양체가 모스톨 클래스가 0일 경우, 포함사상이 기본군에 대해 동형을 유도한다.
• 확장된 후카야 카테고리 $\ncal{S}(M)$은 대각선을 해소하는 라그랑주 부분다양체 위의 자명한 국소계수에 의해 분할 생성된다.
• 기저 다양체 $N$이 단순연결일 경우, 이러한 모든 라그랑주 부분다양체는 단순연결이며, 이는 그 유니버설 커버가 수축 가능함을 의미한다.
• 정수 위에서의 플로어 코hom로그리 $HW^*_{b}(T^*_nN, Q)$는 랭크 1의 자유 아벨군이며, 이는 라그랑주 부분다양체가 영 섹션과 준동형임을 의미한다.
• $\field{F}_2$ 계수와 스틴로드 연산의 사용을 통해 라그랑주 부분다양체가 상대적으로 스파인임을 유추할 수 있으며, 이는 기술적 장벽을 제거한다.
• 기울기 없는 $N$의 경우 방향성 커버를 통해 결과가 일반화되며, 모든 경우에 포함사상이 호모토피 동치임을 증명한다.