[논문 리뷰] Categorification of Seidel's representation

François Charette, Octav Cornea|arXiv (Cornell University)|2013. 07. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 6

한 줄 요약

이 논문은 심플렉틱 토폴로지의 두 핵심 구조인 Seidel의 Ham(M)의 기본군에 대한 양자 표현과 라그랑주 스텝 구조 간의 깊은 범주적 동치를 수립한다. 이는 코버디즘 범주에서 유도된 후카야 범주로의 함자 F가 이러한 두 작용을 통합함으로써, 분류된 Seidel 표현이 이 함수적 호환성에 의해 스텝 구조를 통해 자연스럽게 유도됨을 보여준다.

ABSTRACT

Two natural symplectic constructions, the Lagrangian suspension and Seidel's quantum representation of the fundamental group of the group of Hamiltonian diffeomorphisms, Ham(M), with (M,ω) a monotone symplectic manifold, admit categorifications as actions of the fundamental groupoid Π(Ham(M)) on a cobordism category recently introduced in \cite{Bi-Co:cob2} and, respectively, on a monotone variant of the derived Fukaya category. We show that the functor constructed in \cite{Bi-Co:cob2} that maps the cobordism category to the derived Fukaya category is equivariant with respect to these actions.

연구 동기 및 목표

• 심플렉틱 토폴로지의 두 핵심 구조인 Seidel의 양자 표현과 라그랑주 스텝을 연결하기.
• 기본군자리 Π(Ham(M))의 작용으로서 두 구조를 분류화하기: 코버디즘 범주 Cob₀^d(M)와 유도된 후카야 범주 D Fuk^d(M)에 대해 각각.
• [BC13, BC14]에서 소개된 함자 F: Cob₀^d(M) → D Fuk^d(M)가 이러한 두 분류된 작용에 대해 등변임을 증명하기.
• 유도된 후카야 범주에서의 Seidel 표현이 함자 F에 의한 라그랑주 스텝의 이미지로 나타남을 보여주기.
• 다양한 정의(예: 펄리 경로, 해석적 섹션, 이동 경계 곡선 등)를 공통적인 범주적 프레임워크로 통합하여 그 동치성을 보여주기.

제안 방법

• 스태핑된 라그랑주 코버디즘을 사용하여, Π(Ham(M))의 작용으로서 코버디즘 범주 Cob₀^d(M)에 대한 라그랑주 스텝 구조의 분류화.
• 홀로모르픽 곡선에서의 이동 경계 조건을 사용하여 Seidel의 양자 표현을 유도된 후카야 범주 D Fuk^d(M)에 대한 Π(Ham(M))의 작용으로서 분류화.
• 스태핑된 코버디즘을 유도된 후카야 범주 내의 사상으로 매핑하는 함자 F: Cob₀^d(M) → D Fuk^d(M) 정의.
• 이 함자 F가 두 Π(Ham(M))-작용에 대해 등변임을 증명하기, 즉 이중함수의 가환 다이어그램을 통해 작용을 통합함.
• 구성의 함수적 성질과 호모토피 불변성을 이용하여, F에 의한 스텝 함자의 이미지가 양자 homology 내의 Seidel 원소를 복원함을 보여주기.
• 이동 경계 곡선, 펄리 경로, 해석적 섹션, 양자 모듈러 작용 등을 통한 일곱 가지 다른 정의의 상대 Seidel 사상이 모두 호모로지에서 동형임을 보여주기.

실험 결과

연구 질문

• RQ1 라그랑주 스텝 구조는 코버디즘 범주에 대해 Π(Ham(M))의 범주적 작용으로 자연스럽게 어떻게 확장될 수 있는가?
• RQ2 Seidel의 양자 표현은 유도된 후카야 범주에서 분류화될 수 있으며, 만약 그렇다면 스텝 구조와 어떤 관계가 있는가?
• RQ3 함자 F: Cob₀^d(M) → D Fuk^d(M)는 두 분류된 Π(Ham(M))-작용에 대해 등변인가?
• RQ4 다양한 기하학적 정의(예: 펄리 경로, 해석적 섹션, 이동 경계 곡선 등)로 정의된 상대 Seidel 사상은 호모로지에서 동일한 결과를 낳는가?
• RQ5 함자 F에 의한 스텝 함자의 이미지와 양자 호모로지 내의 Seidel 표현 사이의 정확한 관계는 무엇인가?

주요 결과

• 함자 F: Cob₀^d(M) → D Fuk^d(M)는 코버디즘 범주와 유도된 후카야 범주에 대한 Π(Ham(M))-작용에 대해 등변이며, 이는 이중함수의 가환 다이어그램을 통해 수립된다.
• 함자 F에 의한 스태핑된 코버디즘 Ξ(w)의 이미지는 QH(L_ℝ; ℤ₂) 내의 Seidel 원소 [w] 와 동일하다. 이는 분류된 스텝이 양자 단일화를 재현함을 보여준다.
• 함자 F의 이미지는 QH(L_ℝ) 내의 부분군 β_ℝ⁻¹(G_M)를 포함하며, 이는 QH(L_ℝ) ≅ QH(M)의 동형에 의해 F가 전체 Seidel 표현을 포괄함을 의미한다.
• 이동 경계 곡선, 펄리 경로, 해석적 섹션, 양자 모듈러 작용을 통한 일곱 가지 정의의 상대 Seidel 사상은 모두 호모로지에서 사슬 호모토피 또는 동형임을 보였다.
• [HLL11]의 등식 D = F 는 범주적으로 정당화된다: 해석적 섹션을 통한 Seidel 사상은 함자 F에 의해 펄리 경로 사상과 대응된다.
• 이 구성은 Seidel 표현이 함자 F에 의한 스텝 구조의 이미지로 자연스럽게 유도됨을 보여주는 통합된 프레임워크를 제공하며, 따라서 Seidel 원래 표현의 분류화를 달성한다.