[논문 리뷰] HMS for punctured tori and categorical mapping class group actions

Nicolò Sibilla|arXiv (Cornell University)|2011. 11. 22.

Geometric and Algebraic Topology참고 문헌 9인용 수 3

한 줄 요약

이 논문은 순수 매핑 클래스 군의 범주적 작용을 프로젝티브 직선의 사이클에 대한 계수층의 유도 범주에 정의한다. 이는 호모로지 미러 대칭과 구멍이 있는 토러스의 플랑크 범주에 대한 층 이론적 모델을 이용하여 이루어지며, 디한 토르스의 작용이 선형 라인 번들과 스카이스커프 층에 대해 브레인 관계의 중심 확장으로 만족됨을 증명한다. 이는 2개의 구멍이 있는 토러스에 대한 미러 대칭 예측을 실현한다.

ABSTRACT

Let X_n be a cycle of n projective lines, and T_n a symplectic torus with n punctures. In this paper we review results appeared in arXiv:1103.2462 and in arXiv:1109.6615, which establish a version of homological mirror symmetry relating X_n and T_n, and define on D^b(Coh(X_n)) an action of the pure mapping class group of T_n.

연구 동기 및 목표

• 프로젝티브 직선의 사이클에 대한 계수층의 유도 범주에 순수 매핑 클래스 군의 범주적 작용을 수립한다.
• 미러 대칭 프레임워크가 유도 범주에 대한 매핑 클래스 군 작용의 중심 확장을 예측하는지 검증한다.
• 특히 2개의 구멍이 있는 토러스에 대해, 펄스드 리만 곡면의 플랑크 범주에 대한 dg 층 모델(CPM)을 구축한다.
• 유도 범주에서의 디한 토르스 함수의 작용이 기대되는 브레인 관계와 G-관계를 만족함을 증명한다. 이는 심플렉틱 매핑 클래스 군과 일치한다.
• 구형 전위 함수와 쿼버 표현을 통해 특이 캘라비-야우 균열의 구체적 실현을 제공한다.

제안 방법

• 마이크로로컬 층 이론과 코타angent 번들의 네들러-자스로우 동치를 기반으로, 구멍이 있는 리만 곡면의 라그랑주 스켈레톤 위에 dg 범주 층 CPM을 구성한다.
• CPM 모델을 사용하여, 구멍이 있는 토러스 T_n 상의 정확한 라그랑주 하위다발의 플랑크 범주의 dg 강화를 정의한다.
• T_n에 대한 CPM 모델의 미러 파트너로서, n개의 프로젝티브 직선의 사이클 X_n 상의 계수층의 유도 범주 D^b(Coh(X_n))를 실현한다.
• 구조 층 O와 스카이스커프 층 κ(x_i)에 관련된 구형 전위 함수를 통해 D^b(Coh(X_n)) 상의 자가 동치를 정의한다.
• 순수 매핑 클래스 군이 D^b(Coh(X_n))에 유도하는 작용이 브레인 관계와 중심 확장된 G-관계를 만족함을 증명한다.
• 1차원 다각형 상의 구조적 층의 조합론과 쿼버 표현을 이용하여 Sh(X, Λ_P) 범주와 X_n 상의 계수층과의 관계를 기술한다.

실험 결과

연구 질문

• RQ1 구멍이 있는 리만 곡면의 플랑크 범주는 어떤 식으로 dg 층 범주로 모델링될 수 있는가?
• RQ2 프로젝티브 직선의 사이클에 대한 계수층의 유도 범주는 그의 미러인 구멍이 있는 토러스의 순수 매핑 클래스 군 작용을 수용할 수 있는가?
• RQ3 D^b(Coh(X_n)) 상의 구형 전위 함수는 심플렉틱 매핑 클래스 군에서 예상되는 브레인 관계와 G-관계를 만족하는가?
• RQ4 순수 매핑 클래스 군의 중심 확장이 D^b(Coh(X_n))에 자가 동치를 통해 작용하는가? 이는 미러 대칭 예측과 일치하는가?
• RQ5 디한 토르스 측면에서의 디한 토르스 작용은 계수층 측면에서 전위 함수를 통해 범주적으로 실현될 수 있는가?

주요 결과

• n-구멍이 있는 토러스 T_n의 플랑크 범주에 대한 CPM 모델은 n개의 프로젝티브 직선의 사이클 X_n 상의 계수층의 유도 범주와 준동치이다.
• T_n의 순수 매핑 클래스 군은 O와 κ(x_i)에 관련된 구형 전위 함수를 통해 D^b(Coh(X_n))에 자가 동치를 통해 작용한다.
• n=2일 때, 이 작용은 순수 매핑 클래스 군의 Z-중심 확장으로 인해 인해되며, G-관계는 (T_β1 T_α T_β2)^4 = t^2로 만족된다.
• T_α ↦ T_O 및 T_βi ↦ T_κ(xi)의 할당은 D^b(Coh(X_2))에 대한 중심 확장의 잘 정의된 작용을 정의한다.
• 이 작용은 구조 층과 스카이스커프 층을 유지하며, n=2일 때 유도된 자가 동치는 자연동치로 인비OLUTION에 의한 당김과 일치한다.
• G-관계는 O와 κ(xi)에 대한 작용을 계산하여 검증되었으며, (T_κ(x1) T_O T_κ(x2))^4 ≅ [2]로 나타나 중심 확장과 일치한다.