[논문 리뷰] Homological mirror symmetry is T-duality for $\mathbb P^n$

Bohan Fang|ArXiv.org|2008. 04. 04.

Algebraic structures and combinatorial models참고 문헌 15인용 수 4

한 줄 요약

이 논문은 $ℝ\sp n$에 대한 호모로지 미러 대칭을 증명하기 위해 T-duality를 $ℝ\sp n$ 상의 복소선다발과 랑그랑주 부분다양체 사이의 대응으로 실현한다. 구조적 층과 퀼러 구조를 사용하여, 이러한 랑그랑주 부분다양체들의 유도된 플루카티 고카테고리가 $ℝ\sp n$ 상의 유도된 코herent sheaf 고카테고리와 준동치임을 증명함으로써, T-duality를 통해 호모로지 미러 대칭을 실현한다.

ABSTRACT

In this paper, we apply the idea of T-duality to projective spaces. From a connection on a line bundle on $\mathbb P^n$, a Lagrangian in the mirror Landau-Ginzburg model is constructed. Under this correspondence, the full strong exceptional collection $\mathcal O_{\mathbb P^n}(-n-1),...,\mathcal O_{\mathbb P^n}(-1)$ is mapped to standard Lagrangians in the sense of \cite{nz}. Passing to constructible sheaves, we explicitly compute the quiver structure of these Lagrangians, and find that they match the quiver structure of this exceptional collection of $\mathbb P^n$. In this way, T-duality provides quasi-equivalence of the Fukaya category generated by these Lagrangians and the category of coherent sheaves on $\mathbb P^n$, which is a kind of homological mirror symmetry.

연구 동기 및 목표

• A-모델과 B-모델 사이의 기하학적 다리를 제공하는 T-duality를 사용하여 $ℝ\sp n$에 대한 호모로지 미러 대칭을 수립한다.
• T-duality를 통해 $ℝ\sp n$의 랑그랑주 부분다양체를 랑그랑주-긴츠부르크 미러에서 구축한다.
• 이러한 랑그랑주 부분다양체들로 생성된 유도된 플루카티 고카테고리가 $ℝ\sp n$ 상의 코herent sheaf 고카테고리와 준동치임을 보인다.
• 표준 랑그랑주 부분다양체의 퀄러 구조가 예외적 집합 $ℜ(-n-1), \dots, \u211c(-1)$의 구조와 일치함을 확인하여 동치성을 확인한다.

제안 방법

• $\mathbb{P}^n$ 상의 복소선다발에 T-duality를 적용하여 미러 공간 $(\mathbb{C}^*)^n$ 내에서 $n+1$개의 랑그랑주 부분다양체 $\mathcal{L}(-1), \dots, \mathcal{L}(-n-1)$를 구성한다.
• [23]과 [22]의 결과를 활용하여 T-duality 구성에 의해 유도된 분할에 기반해 랑그랑주 부분다양체에서 구조적 층으로의 전환을 수행한다.
• 특정 부분複體 $\Omega(\mathcal{U}^b(j), d)$ 상의 미분형식의 코homology를 사용하여 구조적 층의 유도 고카테고리 내의 사상 공간을 계산한다.
• 명시적 생성자 $x^b_{i,j}$를 통해 구조적 층 고카테고리의 사상 공간과 $D^b Coh(\mathbb{P}^n)$ 내의 사상 공간 사이의 동형을 확립한다.
• 구조적 층 고카테고리 내의 사상의 복합이 코herent sheaf 고카테고리 내의 곱셈과 일치함을 검증하여 퀄러 동치성을 확인한다.
• 예외적 집합 $\mathcal{O}(-n-1), \dots, \mathcal{O}(-1)$이 완전하고 강력함을 이용하여 고카테고리 간의 삼각 동치를 도출한다.

실험 결과

연구 질문

• RQ1 T-duality를 사용하여 $ℝ\sp n$의 랑그랑주-긴츠부르크 미러 모델에서 복소선다발로부터 랑그랑주 부분다양체를 구성할 수 있는가?
• RQ2 T-duality를 통해 유도된 랑그랑주 부분다양체들이 생성하는 플루카티 고카테고리가 $D^b Coh(\mathbb{P}^n)$와 준동치인가?
• RQ3 플루카티 고카테고리 내의 랑그랑주 부분다양체들의 퀄러 구조가 예외적 집합 $\mathcal{O}(-n-1), \dots, \mathcal{O}(-1)$의 구조와 동형인가?
• RQ4 랑그랑주 부분다양체와 선다발 사이의 대응이 코homology 수준과 층 생성자 수준에서 사상의 복합을 유지하는가?

주요 결과

• 랑그랑주 부분다양체 $\mathcal{L}(-1), \dots, \mathcal{L}(-n-1)$로 생성된 유도된 플루카티 고카테고리가 $D^b Coh(\mathbb{P}^n)$와 준동치임을 증명하여, T-duality를 통한 $ℝ\sp n$에 대한 호모로지 미러 대칭을 수립한다.
• 미러 공간 상의 구조적 층 고카테고리 내 사상 공간이 $D^b Coh(\mathbb{P}^n)$ 내 사상 공간과 동형이며, 생성자 $e^b_{i,j}$가 선다발의 코homology 내 단항식 $x^b_{i,j}$로 사상됨을 보였다.
• 랑그랑주 부분다양체의 퀄러 구조는 예외적 집합 $\mathcal{O}(-n-1), \dots, \mathcal{O}(-1)$의 구조와 정확히 일치하며, 다각형 영역 내의 격자점 수를 세는 $N_n(i-j)$ 생성자가 이를 반영한다.
• 구조적 층 고카테고리 내의 사상 복합이 외적 곱과 일치하며, 코herent sheaf 고카테고리 내의 곱셈과 일致함을 확인하여 대수적 동치성을 확인하였다.
• 랑그랑주 부분다양체에 의해 유도된 미러 공간 $(S^1)^n$의 분할이 토릭 다양체에 대해 Bondal이 정의한 것과 일致함을 보였으며, T-duality가 기존의 대수기하학적 구성과 연결됨을 보였다.
• 이 방법은 모든 프로젝티브 토릭 다양체로 확장 가능하며, 매끄러운 토릭 다양체에 대해 Abouzaid의 결과를 복원함으로써, T-duality를 통한 호모로지 미러 대칭의 일반적 프레임워크를 제안한다.