[논문 리뷰] Homological mirror symmetry for curves of higher genus

Alexander I. Efimov|arXiv (Cornell University)|2009. 07. 22.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 고리수 $g \geq 3$인 대수적 곡선에 대해 호모로지 미러 대칭을 증명한다. 이를 위해, 고리수 $g$ 표면의 푸카야 $A_\infty$-분류의 분할폐쇄 완비 도파도 카테고리와 미러 Landau-Ginzburg 모델의 특이 섬유에서의 특이성 카테고리 사이의 동치를 확립한다. 증명은 고리수 2의 경우에 세이델의 접근을 일반화한 것으로, 플로어 코호몰로지의 $A_\infty$-구조, 행렬 인자화, 그리고 초표면 특이성의 형식적 유형을 그 $\mathbb{Z}/2$-중복된 $A_\infty$-카테고리인 Landau-Ginzburg 브레인으로부터 재구성하는 정리에 기반한다.

ABSTRACT

Katzarkov has proposed a generalization of Kontsevich's mirror symmetry conjecture, covering some varieties of general type. Seidel \cite{Se} has proved a version of this conjecture in the simplest case of the genus two curve. Basing on the paper of Seidel, we prove the conjecture (in the same version) for curves of genus $g\geq 3,$ relating the Fukaya category of a genus $g$ curve to the category of Landau-Ginzburg branes on a certain singular surface. We also prove a kind of reconstruction theorem for hypersurface singularities. Namely, formal type of hypersurface singularity (i.e. a formal power series up to a formal change of variables) can be reconstructed, with some technical assumptions, from its D$(\Z/2)$-G category of Landau-Ginzburg branes. The precise statement is Theorem 1.2.

연구 동기 및 목표

• 고리수 $g \geq 3$ 곡선에 대해 세이델의 고리수 2 곡선에 대한 호모로지 미러 대칭 증명을 확장한다.
• 고리수 $g$ 표면의 푸카야 $A_\infty$-분류의 분할폐쇄 완비 도파도 카테고리와 미러 Landau-Ginzburg 모델의 특이 섬유에서의 삼각형 카테고리 사이의 동치를 확립한다.
• 초표면 특이성의 형식적 유형을 그 $\mathbb{Z}/2$-중복된 $A_\infty$-카테고리인 Landau-Ginzburg 브레인으로부터 재구성하는 일반적 정리 증명하기.
• 고리수 2의 경우에 사용된 $A_\infty$-구조 분류 및 행렬 인자화 기법을 고리수 $g \geq 3$ 곡선으로 일반화한다.

제안 방법

• 특이 섬유 $H = X_0$가 $g+1$개의 표면으로 이루어진 삼중체로 구성된 미러 Landau-Ginzburg 모델 $W: X \to \mathbb{C}$를 구축한다. 이 모델은 $K$-불변 슈퍼퍼텐셜 $W = -z_1 z_2 z_3 + z_1^{2g+1} + z_2^{2g+1} + z_3^{2g+1}$를 사용한다.
• 심플렉틱 고리수 $g$ 표면 $M$의 푸카야 $A_\infty$-분류 $\mathcal{F}(M)$를 정의하고, 그 분할폐쇄 완비 도파도 카테고리 $D^\pi(\mathcal{F}(M))$를 고려한다.
• $\mathbb{Z}/(2g+1)$-작용을 가진 순환 피복 $\pi: M \to \mathbb{P}^1$를 사용하여, $2g+1$개의 라그랑주 곡선 $L_1, \dots, L_{2g+1}$로 구성된 $K$-불변 집합을 만들며, 이는 $D^\pi(\mathcal{F}(M))$의 생성자로 기능한다.
• 기본 대칭 $\operatorname{End}(\bigoplus L_i)$의 $A_\infty$-구조를 스마시 tích $\operatorname{End}(\bar{L}) \# \mathbb{C}[K]$로 계산한다. 여기서 $\bar{L}$은 오비폴드 몫을 취한 이미지이다.
• 플로어 코호몰로지 $HF^\cdot(\bar{L}, \bar{L})$가 외부 대수 $\Lambda(V)$와 동형임을 보이고, 콘체비치의 형식성 정리와 Hochschild 코chains 내의 마우러-카르탕 해를 통해 $A_\infty$-구조를 분류한다.
• 푸카야 측면의 $A_\infty$-구조가 다항계수 장의 실현을 통해 슈퍼퍼텐셜 $W$와 대응됨을 증명하고, 이는 특이성 카테고리 $D_{\text{sg}}(H)$를 통한 $W^{-1}(0)$의 행렬 인자화 카테고리와 일치함을 보인다.

실험 결과

연구 질문

• RQ1 고리수 $g \geq 3$ 곡선에 대해 호모로지 미러 대칭 추측은 고리수 2의 경우와 동일한 프레임워크를 사용하여 확립될 수 있는가?
• RQ2 고리수 $g \geq 3$ 곡선의 푸카야 카테고리에서의 $A_\infty$-구조는 어떻게 분류하고, 이를 미러 Landau-Ginzburg 모델과 일치시킬 수 있는가?
• RQ3 초표면 특이성의 형식적 유형은 그 $\mathbb{Z}/2$-중복된 $A_\infty$-카테고리인 Landau-Ginzburg 브레인으로부터 어느 정도 재구성될 수 있는가?
• RQ4 미러 LG 모델의 특이 섬유에서의 삼각형 특이성 카테고리와 고리수 $g \geq 3$ 곡선의 분할폐쇄 도파도 푸카야 카테고리 사이의 정확한 관계는 무엇인가?
• RQ5 오비폴드 몫에서의 임베딩 곡선 $\bar{L}$의 플로어 코호몰로지에서의 $A_\infty$-작용은 슈퍼퍼텐셜 $W$와 어떻게 관련되는가?

주요 결과

• 고리수 $g \geq 3$ 곡선 $M$에 대해 삼각형 카테고리 $D^\pi(\mathcal{F}(M))$와 $\overline{D_{\text{sg}}}(H)$는 동치이며, 이는 이 경우에 호모로지 미러 대칭 추측을 증명한다.
• 분할폐쇄 완비 도파도 카테고리 $D^\pi(\mathcal{F}(M))$의 생성자 $\bigoplus_{i=1}^{2g+1} L_i$의 종말 대칭 대수에서의 $A_\infty$-구조는 마우어-카르탕 해와 형식적 다항계수장 사이의 대응을 통해 슈퍼퍼텐셜 $W$에 의해 결정된다.
• $W^{-1}(0)$ 상의 스크라이프러 sheaf $\mathcal{O}_0$에 대응하는 행렬 인자화의 종말 대칭 DGA는 코호몰로지가 $\Lambda(V)$와 동형이며, 그 $A_\infty$-구조는 푸카야 측면과 일치한다.
• 재구성 정리(정리 1.2)는 기술적 가정 하에 초표면 특이성 $W \in \mathbb{C}[[V^\vee]]$의 형식적 유형이 그 $\mathbb{Z}/2$-중복된 $A_\infty$-카테고리인 Landau-Ginzburg 브레인으로부터 복원 가능하다고 보여준다.
• 증명은 순환 피복의 대칭성과 $K \cong \mathbb{Z}/(2g+1)$의 작용을 사용하여, 고리수 2의 결과를 고리수 $g \geq 3$로 일반화한 것으로, 조합론적 $A_\infty$-구조 계산과 호모토피 이론 기법을 확장한다.
• 카테고리의 동치는 $A_\infty$-구조 분류, 형식성, 행렬 인자화 모델, 그리고 프로-노르말 DGLA 내에서 마우어-카르탕 해의 호모토피에 대한 차단 이론을 통한 연속적인 식별 체인으로 확립된다.