[논문 리뷰] The symplectic geometry of cotangent bundles from a categorical viewpoint

Kenji Fukaya, Paul Seidel외 1명|ArXiv.org|2007. 05. 23.

Geometric and Algebraic Topology참고 문헌 21인용 수 10

한 줄 요약

이 논문은 람부르티안 코타angent 번들의 Fukaya 카테고리에 대한 범주론적 이해를 발전시키기 위해 랩드 Fukaya 카테고리와 가족 Floer 코homology를 도입함으로써, 단순연결되고 스핀인 $T^*Z$의 정확한 스핀 라그랑주 부분다양체가 영단면과 quasi-isomorphic하고, 코homology가 동일하며, 최소 교차 수 조건을 만족함을 통합적으로 증명하는 데 기여한다.

ABSTRACT

We describe various approaches to understanding Fukaya categories of cotangent bundles. All of the approaches rely on introducing a suitable class of noncompact Lagrangian submanifolds. We review the work of Nadler-Zaslow (math/0604379, math/0612399) and the authors (math/0701783), before discussing a new approach using family Floer cohomology and the ``wrapped Fukaya category''. The latter, inspired by Viterbo's symplectic homology, emphasises the connection to loop spaces, hence seems particularly suitable when trying to extend the existing theory beyond the simply-connected case.

연구 동기 및 목표

• 기존의 Arnol'd 추측을 단순연결성 또는 고차원 설정에서 벗어나 정확한 라그랑주 부분다양체에 대해 확장하는 것.
• 비콤팩트 라그랑주 부분다양체를 포함하는 카테고리적 프레임워크—특히 랩드 Fukaya 카테고리—를 구축하여 코타angent 번들의 심플렉틱 기하학을 기술하는 것.
• Nadler-Zaslow, Fukaya-Seidel-Smith, 그리고 새로운 가족 Floer 코homology 방법의 세 가지 독립적 접근을 공통의 범주론적 언어로 통합하는 것.
• Maslov 클래스가 0인 정확한 스핀 라그랑주 부분다양체 $L \subset T^*Z$가 영단면과 코homology적으로 동치임을 증명하고, 기존의 4차원 결과를 일반화하는 것.
• 특히 $Z$가 Eilenberg-MacLane 공간일 경우, 라그랑주 부분다양체를 군환 위의 모듈로 해석하는 시트 이론적 해석을 제공하는 것.

제안 방법

• 기저 $Z$가 단순연결이고 스핀일 때, $M = T^*Z$의 랩드 Fukaya 카테고리 $\mathcal{W}(M)$를 도입하여 비콤팩트 라그랑주 부분다양체(예: 코타angent 섬유)를 포함하고, 심플렉틱 기하학에 대한 범주론적 접근를 가능하게 한다.
• 가족 Floer 코homology $HF^*(T^*_x, L)$를 사용하여 기저 $Z$ 위에 평탄한 $\mathbb{Z}$-차수 벡터(bundle $E_L$)를 구성하며, 이는 라그랑주 $L$의 교차 행동을 캐릭터라이즈한다.
• HF^*(L,L) \cong H^*(L;\mathbb{K})$로 수렴하는 스펙트럴 시퀀스를 구축하며, $E_2$-페이지는 $H^r(Z; \mathrm{End}^s(E_L))$이다. 단순연결성과 $E_L$의 자명성 조건 하에서 이 시퀀스는 분해된다.
• $Z$가 단순연결이므로 $E_L$의 자명성을 이용하여 $H^*(L;\mathbb{K}) \cong H^*(Z;\mathbb{K})$를 유도하고, 따라서 $L \to Z$의 사영의 차수는 $\pm1$임을 도출한다.
• $Z = K(\Gamma,1)$일 경우, $A_\infty$-함수 $\mathcal{W}(M) \to \mathrm{mod}(CW^*(T^*_x, T^*_x))$를 사용하여 $\mathcal{W}(M)$을 $\mathbb{K}[\Gamma]$-위의 $A_\infty$-모듈로 모델링하며, 이들의 코homology는 $E_L$과 동일하다.
• $\mathrm{Ext}^r_{\mathbb{K}[\Gamma]}(N_L, N_L[1-r])$에서의 장애 이론을 적용하여 $A_\infty$-모듈의 형식성(formality)을 탐지하고, $H^*(\Gamma;\mathbb{K})$가 차수 1에서 생성될 경우, 유한 커버를 통해 양의 특성에서의 장애를 제거한다.

실험 결과

연구 질문

• RQ1 랩드 Fukaya 카테고리의 범주론적 프레임워크가 $T^*Z$의 정확한 라그랑주 부분다양체에 대해 Arnol'd 추측을 통합적으로 증명할 수 있는가?
• RQ2 가족 Floer 코homology와 $\mathbb{K}[\Gamma]$-모듈 위의 $A_\infty$-구조는 $T^*Z$ 내 라그랑주 부분다양체의 위상수학적 성질을 어떻게 반영하는가?
• RQ3 특히 양의 특성에서, 유한 커버를 통해 $A_\infty$-모듈을 형식적으로 만들 수 있는 조건은 무엇인가?
• RQ4 Maslov 클래스와 스핀 구조는 라그랑주 부분다양체 $L$가 영단면과 범주적으로 동치임에 있어 어떤 역할을 하는가?
• RQ5 특히 $E_L$의 자명성 조건을 가정하지 않을 경우, $E_2$에서 $HF^*(L,L)$로 수렴하는 스펙트럴 시퀀스를 통해 $L$의 코homological 불변량을 유도할 수 있는가?

주요 결과

• 단순연결하고 스핀이며 Maslov 클래스가 0인 닫힌 다양체 $Z$에 대해, 임의의 정확한 스핀 라그랑주 부분다양체 $L \subset T^*Z$는 $Z$로의 사영이 차수 $\pm1$이며, 임의의 체 $\mathbb{K}$에 대해 $H^*(L;\mathbb{K}) \cong H^*(Z;\mathbb{K})$를 유도한다.
• 스펙트럴 시퀀스가 $E_2^{rs} = H^r(Z; \mathrm{End}^s(E_L))$에서 출발하여 $HF^*(L,L)$로 수렴하며, $E_L$가 자명할 경우 분해되며, 이로 인해 $H^*(L;\mathbb{K}) \cong H^*(Z;\mathbb{K})$를 얻는다.
• $Z = K(\Gamma,1)$일 경우, 랩드 Fukaya 카테고리 $\mathcal{W}(T^*Z)$는 $\mathbb{K}[\Gamma]$-위의 $A_\infty$-모듈의 카테고리에 완전히 임베딩되며, 이 이미지는 자유 모듈의 부분카테고리에 속한다.
• 양의 특성 $p$에서 $H^*(\Gamma;\mathbb{K})$가 차수 1에서 생성된다면, $Z$의 유한 커버가 존재하여 그 올린 라그랑주 부분다양체 $\tilde{L}$이 $\mathcal{W}(\tilde{M})$에서 영단면과 동형이 된다.
• $A_\infty$-모듈 $\mathcal{N}_L$은 $\mathrm{Ext}^r_{\mathbb{K}[\Gamma]}(N_L, N_L[1-r])$의 모든 장애가 사라지면 형식적(즉, 코homology와 quasi-isomorphic)이 되며, 유리한 경우 유한 커버를 통해 이를 강제로 만들 수 있다.
• 특성 $\neq 2$일 때, $T^*Z$가 전역 티브널을 가진 Lefschetz 펜슬을 가지며, 그 티브널이 코타angent 섬유로 구성될 경우(예: $T^*T^n \cong (\mathbb{C}^*)^n$), 증명 과정에서 증명되지 않은 추측에 의존하지 않는다.