[논문 리뷰] The Fukaya category pairs with Lagrangian cobordisms exactly

Hiro TANAKA|arXiv (Cornell University)|2016. 09. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 7

한 줄 요약

이 논문은 ∞-범주인 라그랑주 코버디즘의 범주에서 푸카야 범주의 모듈의 범주로 가는 함자 Ξ가 정확함을 증명한다. 즉, 이는 섬유 수열과 사영 원소를 보존한다는 의미이다. 이 결과는 라그랑주 코버디즘과 플로어 코homology 사이의 정확한 호모토피 쌍대성 관계를 확립하며, 고전적 코버디즘 사상들을 스펙트럼으로 올리는 것으로, 푸카야 범주의 스펙트럼적 리프트를 향한 핵심 단계를 확인한다.

ABSTRACT

We prove that a pairing between the Fukaya category and the oo-category of Lagrangian cobordisms respects mapping cones. This is another step toward constructing a lift of Fukaya categories to the level of spectra (in the sense of stable homotopy theory). As corollaries, we show that the map in our previous work from cobordism groups to Floer cohomology lifts to the level of spectra, and one also recovers some results of Biran and Cornea for what we call "vertically collared" cobordisms.

연구 동기 및 목표

• 라그랑주 코버디즘에서 푸카야 범주의 모듈로 가는 함자 Ξ가 섬유 수열과 사영 원소를 보존함을 증명하는 것.
• 라그랑주 코버디즘과 플로어 코hom로의 쌍대성에 대한 호모토피적 정밀화를 제공하며, 고전적 군 사상들을 스펙트럼으로 올리는 것.
• 비란과 코르네아의 수직 코일된 코버디즘에 대한 이전 결과를 스펙트럼 수준으로 확장하는 것.
• Tan16에서 구성된 코버디즘 군에서 플로어 코hom로 가는 사상이 스펙트럼 사상으로 올라간다는 것을 보이는 것.
• 라그랑주 코버디즘의 ∞-범주가 가지는 기하적 안정성과 푸카야 범주의 모듈 범주의 형식적 안정성 간의 호환성을 보이는 것.

제안 방법

• 라그랑주 코버디즘의 범주에서 감싸인 푸카야 범주의 모듈의 범주로 가는 함자 Ξ: LagΛ(M) → WΛ(M)Mod를 구성한다.
• 라그랑주 코버디즘의 ∞-범주에서 사영 원소를 기하학적으로 정의된 코어로 사용한다.
• 호모토피 이론적 기법을 사용하여, 체인 복합체에서 명시적인 호모토피 당김 다이어그램을 구성함으로써 Ξ가 섬유 수열을 보존함을 보인다.
• 안정 ∞-범주와 체인 복합체 위의 A∞-모듈의 ∞-범주적 프레임워크를 활용하여 정확성 조건을 형식화한다.
• 프리즘 다이어그램과 3-단순체를 사용하여, 코어와 원소에 대한 유도된 사상이 호모토피 동치임을 검증한다.
• 대상 범주가 체인 복합체에 대한 강화로 인해 안정적이며, 소스의 안정성은 코버디즘 구조에 의해 기하학적으로 유도됨을 이용한다.

실험 결과

연구 질문

• RQ1 라그랑주 코버디즘에서 푸카야 범주의 모듈로 가는 함자 Ξ가 섬유 수열과 사영 원소를 보존하는가?
• RQ2 고전적 코버디즘 군에서 플로어 코hom로 가는 사상은 Ξ를 통해 스펙트럼 사상으로 올라갈 수 있는가?
• RQ3 라그랑주 코버디즘의 기하적 구조는 푸카야 범주의 대수적 안정성과 어떻게 상호작용하는가?
• RQ4 비란과 코르네아의 결과가 수직 코일된 코버디즘에 대해 얼마나 스펙트럼 수준으로 일반화되는가?
• RQ5 두 범주 모두 안정적일 때, 함자 Ξ는 안정 ∞-범주론적 의미에서 정확한가?

주요 결과

• 함자 Ξ가 정확함을 증명하였으며, 이는 ∞-범주론적 의미에서 섬유 수열과 사영 원소를 보존한다는 의미이다.
• Tan16에서 이전에 구성된 코버디즘 군에서 플로어 코hom으로 가는 사상이 스펙트럼 사상으로 정확히 올라간다. 이는 스펙트럼 정밀화를 확인한다.
• 수직 코일된 코버디즘에 대해서는, 비란과 코르네아의 결과가 Ξ의 정확성의 결과로서 복원된다.
• 라그랑주 수술을 통해 기하학적으로 정의된 코버디즘의 기하적 코어가 모듈 범주의 대수적 코어와 정확히 일치함을 보였다.
• 호모토피 당김 다이어그램 (6.3)이 체인 복합체에서 당김임을 증명하여, Ξ가 원소 구성법을 보존함을 확인하였다.
• 프리즘 다이어그램과 3-단순체 메우기 기법을 통해 기하학적 원소와 대수적 원소 간의 동치를 확립하였으며, 이는 Ξ가 삼각 구조와 호환됨을 보였다.