[논문 리뷰] Speculations on homological mirror symmetry for hypersurfaces in $(\mathbb{C}^*)^n$

Denis Auroux|arXiv (Cornell University)|2017. 05. 18.

Algebraic structures and combinatorial models참고 문헌 18인용 수 3

한 줄 요약

이 논문은 $(\mathbb{C}^*)^n$ 내의 초표면에 대해 풍부한 호모로지 미러 대칭 프레임워크를 제안하며, 초표면 $H = f^{-1}(0)$의 워핑된 푸카야 카테고리와 그 미러 랑당-긴즈부르크 모델의 특이성의 유도 카테고리 사이의 관계를 규명한다. 동시에 초표면의 여집합 $(\mathbb{C}^*)^n \setminus H$ 의 워핑된 푸카야 카테고리와 미러의 푸카야-세이델 카테고리를 포함한다. 주요 기여는 $A_\infty$-구조 제약 조건과 푸카야 카테고리 내 정확한 삼각형 관계를 활용하여 고차원 쌍바지에 대한 호모로지 미러 대칭을 증명하는 것이다.

ABSTRACT

Given an algebraic hypersurface $H=f^{-1}(0)$ in $(\mathbb{C}^*)^n$, homological mirror symmetry relates the wrapped Fukaya category of $H$ to the derived category of singularities of the mirror Landau-Ginzburg model. We propose an enriched version of this picture which also features the wrapped Fukaya category of the complement $(\mathbb{C}^*)^n\setminus H$ and the Fukaya-Seidel category of the Landau-Ginzburg model $((\mathbb{C}^*)^n,f)$. We illustrate our speculations on simple examples, and sketch a proof of homological mirror symmetry for higher-dimensional pairs of pants.

연구 동기 및 목표

• 초표면 $H$ 와 그 여집합 $(\mathbb{C}^*)^n \setminus H$ 의 워핑된 푸카야 카테고리와 함께, 미러 랑당-긴즈부르크 모델의 푸카야-세이델 카테고리를 포함하는 호모로지 미러 대칭의 확장을 위해 노력한다.
• 특이성의 유도 카테고리 $D^b_{\text{sg}}(Z)$, 미러의 특이 섬유 $Z = W^{-1}(0)$ 상의 코herent sheaf의 유도 카테고리, 그리고 초표면 $H$ 와 $(\mathbb{C}^*)^n \setminus H$ 의 워핑된 푸카야 카테고리 사이의 추측적 가환 다이어그램을 수립한다.
• 특정 그레ading 및 곱 제약 조건 하에서 라그랑주 구의 워핑된 플로어 코호몰로지 위의 $A_\infty$-구조를 검증하여 고차원 쌍바지에 대한 호모로지 미러 대칭을 증명한다.
• 유도 및 대칭성을 활용하여 $n$-차원 쌍바지 $\Pi_n$ 의 워핑된 푸카야 카테고리 $\mathcal{W}(\Pi_n)$ 가 $i = 0, \dots, n+1$ 에 대해 $L_{\{i\}}$ 라그랑주에 의해 스플릿 생성됨을 보여준다.

제안 방법

• 미러 구축은 라우렌트 다항식 $f$ 의 트로피컬라이제이션을 사용하며, 조각선형 함수 $\varphi(\xi) = \max_{\alpha \in A} \langle \alpha, \xi \rangle - \rho(\alpha)$ 를 정의하여 미러 토릭 다양체 $Y$ 의 모멘트 다면체 $\Delta_Y \subset \mathbb{R}^{n+1}$ 를 생성한다.
• 미러 랑당-긴즈부르크 모델은 $((\mathbb{C}^*)^n, f)$ 로 정의되며, 초위력 $W = -z^{(0,\dots,0,1)}$ 를 가지며, 그 영점 $Z = W^{-1}(0)$ 은 토릭 이원수 $Z_\alpha$ 의 합집합이다.
• 논문은 $f = -x_0/x_{n+1}$ 의 한 근에서의 임bedding 을 통해 $\Pi_{n-1}$ 의 워핑된 푸카야 카테고리에서 $\mathcal{W}(\Pi_n)$ 로의 함자 $j$ 를 구성한다. 이 함자는 생성자 $v_I$ 를 $u_I$ 로 매핑하며, 정확한 삼각형의 구조를 유지한다.
• $\bigoplus_{I,J} HW^*(L_I, L_J)$ 위의 $A_\infty$-구조는 두 조건에 의해 제약을 받는다: (1) 그레딩 호환성으로서 출력이 입력 합계에서 각 변수당 $(2-k)/2$ 만큼 다를 것 요구되며, (2) $I \sqcup J \sqcup K = \{0,\dots,n+1\}$ 이면 $\mu^3(u_I, u_J, u_K) = \pm \mathrm{id}$ 라는 조건이다.
• 증명은 유도와 $\mathfrak{S}_{n+2}$-대칭을 활용하여 $\{0, n+1\} \subset K$ 인 경우로 축소되며, $f$ 의 기저 집합을 둘러싸는 워핑으로 인해 $j(v_{K'}) = u_K$ 라는 사실을 이용한다.
• 스플릿 생성성은 함자 $j$ 와 $\alpha_\infty$ 의 이미지가 모두 $L_{\{i\}}$ 를 생성하며, 정확한 삼각형이 두 생성자로부터 세 번째 생성자를 유도한다는 점을 통해 확립된다.

실험 결과

연구 질문

• RQ1 워핑된 푸카야 카테고리 $\mathcal{W}((\mathbb{C}^*)^n \setminus H)$ 가 초표면 $H$ 의 워핑된 푸카야 카테고리와 함께 호모로지 미러 대칭에 포함될 수 있는가?
• RQ2 미러 랑당-긴즈부르크 모델의 특이성의 유도 카테고리 $D^b_{\text{sg}}(Z)$ 와 초표면 $H$ 의 워핑된 푸카야 카테고리 사이의 정확한 관계는 무엇인가?
• RQ3 워핑된 플로어 코호몰로지 위의 $n$-차원 쌍바지에 대한 $A_\infty$-구조는 그레딩 제약 조건과 $\mu^3$-관계 $\mu^3(u_I, u_J, u_K) = \pm \mathrm{id}$ 로 유일하게 결정될 수 있는가?
• RQ4 워핑된 푸카야 카테고리 $\mathcal{W}(\Pi_n)$ 는 $i = 0, \dots, n+1$ 에 대해 $L_{\{i\}}$ 라그랑주에 의해 스플릿 생성되는가?
• RQ5 $f = -x_0/x_{n+1}$ 의 한 근에 $\Pi_{n-1}$ 을 임베딩하는 것은 $\mathcal{W}(\Pi_{n-1})$ 과 $\mathcal{W}(\Pi_n)$ 의 워핑된 푸카야 카테고리 사이에 함자를 유도하는가?

주요 결과

• 논문은 유도와 대칭성을 활용하여 $n$-차원 쌍바지 $\Pi_n$ 의 워핑된 푸카야 카테고리 $\mathcal{W}(\Pi_n)$ 가 $i = 0, \dots, n+1$ 에 대해 $L_{\{i\}}$ 라그랑주에 의해 스플릿 생성됨을 증명한다.
• $\bigoplus_{I,J} HW^*(L_I, L_J)$ 위의 $A_\infty$-구조는 그레딩 조건과 $\mu^3$-관계 $\mu^3(u_I, u_J, u_K) = \pm \mathrm{id}$ 를 통해 유일하게 결정되며, 이는 추측 9.6에서 제안된 그대로이다.
• 함자 $j$ 는 $\mathcal{W}(\Pi_{n-1})$ 에서 $\mathcal{W}(\Pi_n)$ 로의 사상으로서 생성자 $v_I$ 를 $u_I$ 로 매핑하며, 정확한 삼각형의 구조를 유지한다. $f$ 의 기저 집합을 둘러싸는 워핑으로 인해 $j(v_{K'}) = u_K$ 라는 사실이 성립한다.
• $\Pi_n$ 에 대한 호모로지 미러 대칭의 증명은 $\mathcal{W}((\mathbb{C}^*)^n \setminus H)$, $D^b_{\text{sg}}(Z)$, $\mathcal{W}(H)$ 를 포함하는 가환 다이어그램에 기반하며, 후자의 동치는 $A_\infty$-구조와 스플릿 생성성에 의해 확립된다.
• $n=1$ 의 경우 호흐시ลด 코호몰로지로 검증되었으며, 고차원의 경우 $\mathfrak{S}_{n+2}$-대칭과 유도를 통해 이로 축소된다.
• 미러 랑당-긴즈부르크 모델 $((\mathbb{C}^*)^n, f)$ 는 초위력 $W = -z^{(0,\dots,0,1)}$ 를 가지며, 각 토릭 이원수 $Z_\alpha$ 에서 차수 1로 영이 되므로 $W^{-1}(0) = \bigcup_{\alpha \in A} Z_\alpha$ 라고 한다.