[논문 리뷰] A combinatorial calculation of the Landau-Ginzburg model $M= \mathbb C^3, W=z_1 z_2 z_3$

David Nadler|arXiv (Cornell University)|2015. 07. 31.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 5

한 줄 요약

이 논문은 임의의 $A$-모델을 Landau-Ginzburg 모델 $M = \mathbb{C}^3$, $W = z_1 z_2 z_3$에 대해 미세국소층의 방법을 통해 계산하며, 이는 $L$이라는 원뿔형 라그랑주 스켈레톤 위에서 이루어지며, 이 스켈레톤은 2-토러스 위의 원뿔로 식별된다. 아르브리얼라이제이션 보조정리에 의한 조합적 단순화를 통해, 미세국소층의 도파르 카테고리가 쌍대성의 원리에 따라 쌍의 팬츠 $\mathbb{P}^1 \setminus \{0,1,\infty\}$의 $B$-모델과 동치임을 보여주며, 이는 이 경우의 미러 대칭을 확인한다.

ABSTRACT

The aim of this paper is to apply ideas from the study of Legendrian singularities to a specific example of interest within mirror symmetry. We calculate the Landau-Ginzburg $A$-model with $M= \mathbb C^3, W=z_1 z_2 z_3$ in its guise as microlocal sheaves along the natural singular Lagrangian thimble $L = {\mathit Cone}(T^2)\subset M$. The description we obtain is immediately equivalent to the $B$-model of the pair-of-pants $\mathbb P^1 \setminus \{0, 1, \infty\}$ as predicted by mirror symmetry.

연구 동기 및 목표

• 비특이적이거나 비유한하지 않은 상황에서, Landau-Ginzburg 모델 $M = \mathbb{C}^3$, $W = z_1 z_2 z_3$의 $A$-모델을 그 원뿔형 라그랑주 스켈레톤 위의 미세국소층을 통해 계산한다.
• 결과로 얻어진 미세국소층의 카테고리가 쌍의 팬츠 $\mathbb{P}^1 \setminus \{0,1,\infty\}$의 $B$-모델과 동치임을 보여, 이 경우의 미러 대칭을 확인한다.
• 특히, 아르브리얼라이제이션 보조정리와 같은 조합적 방법이 비특이적이거나 비유한 설정에서 미세국소층을 계산하는 데 유용함을 보여준다.
• 비특이적이며 비유한 임의의 $A$-브레인 카테고리의 구체적이고 계산 가능한 실현을 제공함으로써, 문헌에서의 빈도를 메운다.

제안 방법

• 원뿔형 라그랑주 스켈레톤 $L \subset \mathbb{C}^3$는 구면적 프로젝티브화된 쌍대법선다발을 통해 $S^*X$ 내의 레전드리안 부분다양체 $\Lambda \subset S^*X$로 식별된다.
• 아르브리얼라이제이션 보조정리(Lemma 2.3)를 적용하여, $\Lambda \subset S^*X$ 위에서의 미세국소층 계산을 $\mathbb{R}^4$ 내의 3차원 볼 $A \subset \mathbb{R}^4$ 위의 구조적층으로 단순화한다.
• 레전드리안 $\Lambda_A \subset S^*A$는 미분동형으로 2-토러스임을 보이며, 이는 표면 $\Sigma \subset A$로의 사영이 네 점을 제외한 곳에서는 임베딩이고, 겹치는 부분에서는 교차함을 보인다.
• 카테고리 $\mathit{Sh}_{\Lambda_A}(A)_c$는 다섯 개의 유한차원 $k$-벡터공간 $V, V_1, V_2, V_3, V_4$와 그 사이의 사상 $V_a \to V$로 구성되며, $a \neq b$일 때 $V_a \oplus V_b \simeq V$의 직합 분해를 만족한다. 이는 순환 데이터를 캡슐화한다.
• 결과로 얻어진 데이터는 $1$이 고유값이 아닌 자명한 자기사상 $m: V_1 \to V_1$에 의해 매개화되며, 이는 정확히 쌍의 팬츠의 $B$-모델과 일치한다.

실험 결과

연구 질문

• RQ1 비특이적이며 비유한 임의의 임의의 $A$-브레인 카테고리가 되는 Landau-Ginzburg 모델 $M = \mathbb{C}^3$, $W = z_1 z_2 z_3$의 $A$-모델 카테고리는 무엇인가?
• RQ2 비특이성이 있는 상황에서도, 원뿔형 라그랑주 스켈레톤 $L$ 위의 미세국소층 카테고리를 조합적으로 계산할 수 있는가?
• RQ3 원뿔형 라그랑주 스켈레톤 $L$ 위의 미세국소층 카테고리는 쌍의 팬츠 $\mathbb{P}^1 \setminus \{0,1,\infty\}$의 $B$-모델과 어떻게 관련이 있는가?
• RQ4 아르브리얼라이제이션 보조정리는 스무스 다각형 위의 레전드리안 원뿔에 대해 효과적으로 적용될 수 있는가?
• RQ5 이 경우의 최종 미세국소층 카테고리의 정확한 대수적 구조는 무엇인가?

주요 결과

• 원뿔형 라그랑주 스켈레톤 $L \subset \mathbb{C}^3$ 위의 미세국소층의 도파르 카테고리 $\mu\mathit{Sh}_\Lambda(X)$는 $\mathbb{P}^1 \setminus \{0,1,\infty\}$ 위의 유한생성 토피컬 복합체의 유계된 dg 카테고리와 동치이다.
• 카테고리 $\mathit{Sh}_{\Lambda_A}(A)_c$는 다섯 개의 유한차원 $k$-벡터공간 $V, V_1, V_2, V_3, V_4$와 사상 $V_a \to V$로 구성되며, 임의의 $a \neq b$에 대해 $V_a \oplus V_b \simeq V$를 만족한다.
• 데이터는 $1$이 고유값이 아닌 자기사상 $m: V_1 \to V_1$에 의해 매개화되며, 이는 정확히 쌍의 팬츠의 $B$-모델의 구조와 일치한다.
• 단 한 번의 아르브리얼라이제이션 보조정리 적용을 통해 문제를 3차원 볼 위의 구조적층으로 단순화하여 동치관계를 확립하였다.
• 최종적으로 얻어진 카테고리는 쌍의 팬츠의 $B$-모델과 동치이며, 이는 이 경우의 미러 대칭을 확인한다.
• 계산 결과는 비특이적이며 비유한 임의의 $A$-브레인 카테고리가 비록 비특이적이지만 조합적으로 계산 가능하다는 것을 보여준다.