[논문 리뷰] The Coherent-Constructible Correspondence and Homological Mirror Symmetry for Toric Varieties

Bohan Fang, Chiu-Chu Melissa Liu외 2명|arXiv (Cornell University)|2009. 01. 27.

Algebraic structures and combinatorial models참고 문헌 51인용 수 22

한 줄 요약

이 논문은 모레리의 K-이론 공식의 분류화를 통해 토릭 다양체 위의 등변 코herent sheaf, 실 벡터 공간의 코타angent bundle의 퓨카비 카테고리, 다면체 분할 위의 구조적 sheaf 사이의 삼중 등치를 수립한다. 이는 토릭 다양체에 대한 호학적 미러 대칭을 증명하기 위해, T-duality와 미세지역 sheaf 이론을 통해 코herent sheaf의 유도 범주와 퓨카비-세이델 카테고리 사이의 코herent-constructible 대응을 구성함으로써 달성된다.

ABSTRACT

This is an expository article describing recent results of the authors and David Nadler on microlocalization, the Fukaya category, and coherent sheaves on toric varieties. The original papers are arXiv:math/0604379, arXiv:math/0612399 and arXiv:0811.1228v1.

연구 동기 및 목표

• 토릭 다양체에 대한 범주적 미러 대칭 대응을 수립하기 위해, 미세지역 기하학을 통해 등변 코herent sheaf와 구조적 sheaf를 연결하는 것.
• 모르스 이론과 미세지역화를 사용하여 실 벡터 공간의 코타angent bundle의 퓨카비 카테고리가 그 공간 위의 구조적 sheaf 카테고리와 동치임을 증명하는 것.
• 유도적, 범주론적 프레임워크로 토릭 다양체의 Hori-Vafa 미러 구축을 확장하기 위해, 토릭 다양체 위의 코herent sheaf의 유도 범주와 미러 Landau-Ginzburg 모델의 퓨카비-세이델 카테고리 사이의 관계를 규명하는 것.
• 토릭 다양체의 등변 K-이론에 대한 모레리의 공식을 조합론적이고 K-이론에 호환되는 방식으로 분류화하는 것.
• 토릭 Fano 표면 위의 코herent sheaf의 유도 범주가 미러의 퓨카비-세이델 카테고리의 부분범주와 쿼어-에퀴벌런트이며, 명시적인 객체 대응 관계를 제시하는 것.

제안 방법

• 토릭 다양체 위의 실 토르스 작용을 이중화하여 T-dual 미러 기하를 구성함으로써, $(\mathbb{C}^*)^n$의 심플렉틱 기하를 $T^*\mathbb{R}^n$로 매핑하는 것.
• 퓨카비-오 정리에 의해 $T^*\mathbb{R}^n$의 퓨카비 카테고리가 $\mathbb{R}^n$ 위의 구조적 sheaf 카테고리와 연결되며, 다면체에 지지된 sheaf를 포함하는 것.
• 코herent-constructible 대응을 통해 토릭 다양체 $X_\Sigma$ 위의 등변 코herent sheaf에서 $M_\mathbb{R} = N_\mathbb{R}^\vee$ 위의 구조적 sheaf로의 함자를 정의하는 것.
• 모멘트 다면체와 팬 자료의 조합론과 관련하여 특성 다항식과 특이 지지의 관계를 미세지역 sheaf 이론을 통해 규명하는 것.
• 모멘트 맵과 심플렉틱 이중성을 사용하여 등변 선다발을 T-dual 기하에서 라그랑주 부분다양체로 올리는 방식으로 미러 함자를 구성하는 것.
• 히르체브루흐 표면 $\mathbb{F}_m$ 등의 구체적 예제를 통해 미러 대응을 검증하며, 퓨카비-세이델 카테고리의 소멸 순환과 $D^b Coh(\mathbb{F}_m)$의 예외적 집합 사이의 매칭을 확인하는 것.

실험 결과

연구 질문

• RQ1 코herent-constructible 대응은 어떻게 토릭 다양체에 대한 완전한 호학적 미러 대칭 등치로 확장될 수 있는가?
• RQ2 토릭 다양체 위의 등변 유도 범주와 그 Hori-Vafa 미러의 퓨카비-세이델 카테고리 사이의 정확한 범주적 관계는 무엇인가?
• RQ3 T-duality 구성은 토릭 다양체 위의 등변 선다발을 미러 코타angent bundle 내 라그랑주 부분다양체로 어떻게 연결하는가?
• RQ4 코herent-constructible 대응은 모레리의 등변 K-이론에 대한 조합론적 공식의 분류화로 해석될 수 있는가?
• RQ5 미러 Landau-Ginzburg 모델의 초위상함수 $W_m$의 역할은 무엇이며, 그 임계점은 유도 범주의 예외적 객체와 어떻게 대응되는가?

주요 결과

• 논문은 코herent-constructible 대응을 통해 등변 유도 범주 $D^b Coh_T(X_\Sigma)$, 퓨카비 카테고리 $Fuk(T^*M_\mathbb{R}; \Lambda)$, 그리고 구조적 sheaf 카테고리 $Sh_{cc}(M_\mathbb{R}; \Lambda)$ 사이의 삼중 등치를 수립한다.
• 히르체브루흐 표면 $\mathbb{F}_m$에 대해, $D^b Coh(\mathbb{F}_m)$는 네 개의 소멸 순환 $L_0, L_1, L_2, L_3$에 의해 생성되는 부분범주 $D\mathcal{B}FS((\mathbb{C}^*)^2, W_m)$와 쿼어-에퀴벌런트이다.
• 미러 대응은 $L_0 \sim \mathcal{O}_{\mathbb{F}_1}$, $L_1 \sim \pi^*T_{\mathbb{P}^2}(-1)$, $L_2 \sim \pi^*\mathcal{O}_{\mathbb{P}^2}(1)$, $L_3 \sim \mathcal{O}_E$로 매핑되며, 이는 전체 강한 예외적 집합과 일치한다.
• 모든 매끄럽고 사영적인 토릭 다양체 $X$에 대해, 미러 $Y^\vee$ 내 초위상함수 $\mathfrak{PO}$의 임계점 수는 $\dim_{\mathbb{Q}} H^*(X, \mathbb{Q})$와 일치하며, 이는 임계점 수에 대한 추측을 확인한다.
• 코herent-constructible 대응은 모레리의 공식을 분류화한다: $K^T(X_\Sigma)$에서 $K_0(Sh_{cc})$로의 함자가 조합론적 K-이론 사상과 일치한다.
• 모든 $m > 2$에 대해 포함관계 $D\mathcal{B}FS((\mathbb{C}^*)^2, W_m) \hookrightarrow DFS((\mathbb{C}^*)^2, W_m)$는 등치가 아니며, 무한대에 추가적인 임계점이 존재하기 때문이다. 그러나 유계 부분범주는 올바른 유도 범주를 포괄한다.