[논문 리뷰] Lagrangian Cobordism and Fukaya Categories

Paul Biran, Octav Cornea|arXiv (Cornell University)|2013. 04. 22.

Geometric and Algebraic Topology참고 문헌 24인용 수 5

한 줄 요약

이 논문은 심플렉틱 다양체 내 기하학적 라그랑주 코버디즘과 유도된 후카야 카테고리의 반복 삼각 분해 사이의 함자적 대응을 수립한다. 코버디즘의 모노이드 카테고리와 삼각형 해소 카테고리의 구조를 이용하여, 코버디즘에서 유도된 후카야 카테고리로의 모노이드 함자를 구성하며, 이 함자가 어떤 라그랑주 코버디즘도 정확한 삼각형의 연속을 유도함으로써, 양의 끝이 음의 끝들에 의해 생성된 삼각형 부분카테고리에 매장됨을 증명한다.

ABSTRACT

Given a symplectic manifold M, we consider a category with objects finite ordered families of Lagrangian submanifolds of M (subject to certain additional constraints) and with morphisms Lagrangian cobordisms relating them. We construct a functor that maps this category to a variant of the derived Fukaya category of M in a way that takes into account the triangulated structure of the latter.

연구 동기 및 목표

• 기하학적 라그랑주 코버디즘과 유도된 후카야 카테고리의 삼각형 구조 사이의 함자적이고 대수적인 대응을 수립하는 것.
• 유도된 후카야 카테고리의 비기하학적 성격을 해결하기 위해, 그 삼각형 구조가 코버디즘 기하학으로 자연스럽게 유도됨을 보이는 것.
• 라그랑주 코버디즘의 모노이드 카테고리 Cob(M)와 반복 정확한 삼각형을 인코딩하는 T SDFuk(M) 카테고리 T SDFuk(M)를 구성하는 것.
• 유도된 후카야 카테고리가 자연스러운 함수 eF를 통해 코버디즘의 위상수학적 및 대수적 구조를 포괄함을 증명하는 것.

제안 방법

• 유한 순서화된 라그랑주 하위집합의 집합을 객체로 하고, 다중 끝을 가진 허용 가능한 라그랑주 코버디즘의 동치류(위상수학적 동치)를 사상으로 갖는 카테고리 Cob(M)를 정의한다.
• 유도된 후카야 카테고리에서 유도된 삼각형 해소 카테고리로, 반복 정확한 삼각형을 통해 매개변수화된 T SDFuk(M) 카테고리를 구성한다.
• A∞-카테고리에서의 얀다 임bedding과 사영 콘 구조를 이용하여, 유도된 후카야 카테고리 내에서 정확한 삼각형을 대수적으로 정의한다.
• 각 라그랑주를 자신에게, 각 코버디즘을 정확한 삼각형의 연속으로 보낸다. 모노이드 함수 eF: Cob(M) → T SDFuk(M)를 수립한다.
• A∞-카테고리의 호모로지적 단위성과 삼각형 닫힘 성질을 활용하여, 함수가 유도 카테고리의 대수적 구조를 유지함을 보장한다.
• 그로모프-위튼 이론과 J-홀로모르픽 커브 수를 적용하여, 기하학적 코버디즘 데이터가 체인 수준의 구조로 일관되게 올라감을 보장한다.

실험 결과

연구 질문

• RQ1 라그랑주 코버디즘은 어떻게 유도된 후카야 카테고리에 대수적으로 인코딩될 수 있는가?
• RQ2 코버디즘이 유도된 후카야 카테고리에서 정확히 어떤 대수적 구조를 유도하는가?
• RQ3 유도된 후카야 카테고리의 삼각형 구조는 기하학적 코버디즘으로부터 함자적으로 유도되는가?
• RQ4 코버디즘의 합성은 유도 카테고리의 삼각형 분해의 정밀화와 대응되는가?
• RQ5 기하학적 코버디즘 카테고리에서 유도 카테고리의 해소 카테고리로의 자연스러운 모노이드 함수가 존재하는가?

주요 결과

• 주요 결과인 정리 B는 각 라그랑주를 자신에게, 각 코버디즘을 정확한 삼각형의 연속으로 보낸다. 모노이드 함수 eF: Cob(M) → T SDFuk(M)를 수립한다.
• 정리 A는 따름정리로 도출된다: k개의 음의 끝 L1,…,Lk와 하나의 양의 끝 L을 가진 라그랑주 코버디즘은 DFuk(M) 내에서 k−1개의 정확한 삼각형의 연속을 유도하며, 이는 L이 L1,…,Lk에 의해 생성된 삼각형 부분카테고리에 속함을 보여준다.
• 구성 과정은 코버디즘의 연결이 삼각형 분해의 정밀화와 대응됨을 보이며, 대수적 해소의 기하학적 실현을 제공한다.
• 유도된 후카야 카테고리 DFuk(M)는 코버디즘에 의해 유도된 삼각형 구조를 포괄하며, 추상적인 삼각형 닫힘 구조를 기하학적으로 의미 있는 것으로 만든다.
• A∞-카테고리에서의 얀다 임bedding과 사영 콘 구조는 코버디즘 데이터로부터 정확한 삼각형을 실현하는 데 필요한 대수적 기반을 제공한다.
• 이 틀은 보조 선택 사항(예: 거의 복소 구조)에 영향을 받지 않으며, 함수 eF가 위상수학적 동치에 대해 잘 정의되고 불변임을 보장한다.