[논문 리뷰] Mirror symmetry and projective geometry of Reye congruences I

Shinobu Hosono, Hiromichi Takagi|arXiv (Cornell University)|2011. 01. 14.

Algebraic Geometry and Number Theory참고 문헌 34인용 수 3

한 줄 요약

이 논문은 $\mathbb{P}^4$에서의 Reye 합동에 의해 유도되는 Calabi-Yau 3차 곡면에 대한 미러 대칭을 조사하며, Reye 합동 Calabi-Yau 3차 곡면 $X$에 대한 비자명한 Fourier-Mukai 파트너 $Y$를 추측하고 구축한다. 토릭 미러 대칭과 주기 적분 분석을 통해, 하나는 $X$에 대응하고 다른 하나는 $\mathbb{P}^4$ 안의 결정식 5차 곡면에 대한 $\mathbb{Z}_2$-덮개로, 종수 26인 곡선 위에서 분지된 것으로 나타나는 $Y$에 대응하는 두 개의 큰 복소 구조 한계점이 식별된다. 주요 기여는 $Y$의 명시적 구축과, 미러 대칭을 통한 $X$, $Y$, 그리고 관련된 완전교차 $ ilde{X}_0$의 BPS 수의 계산이다.

ABSTRACT

Studying the mirror symmetry of a Calabi-Yau threefold $X$ of the Reye congruence in $\mP^4$, we conjecture that $X$ has a non-trivial Fourier-Mukai partner $Y$. We construct $Y$ as the double cover of a determinantal quintic in $\mP^4$ branched over a curve. We also calculate BPS numbers of both $X$ and $Y$ (and also a related Calabi-Yau complete intersection $ ilde X_0$) using mirror symmetry.

연구 동기 및 목표

• Reye 합동으로 정의된 Calabi-Yau 3차 곡면에 대한 미러 대칭을 $\mathbb{P}^4 \times \mathbb{P}^4$에서의 다섯 개의 대칭적인 $(1,1)$-divisor의 기하학을 통해 $\mathbb{P}^4$에서 조사한다.
• Reye 합동 Calabi-Yau 3차 곡면 $X$에 대한 비자명한 Fourier-Mukai 파트너 $Y$의 존재를 추측하며, $G(2,7)$과 $Pf(7)$의 대칭성과 유사하게 다룬다.
• 완전히 명시적으로 $Y$를 $\mathbb{P}^4$ 안의 결정식 5차 곡면에 대한 $\mathbb{Z}_2$-덮개로 구성하며, 종수 26, 차수 20인 매끄러운 곡선 위에서 분지한다.
• Gromov-Witten 불변량과 $X$, $Y$, 그리고 관련 완전교차 $\/tilde{X}_0$의 BPS 수를 미러 대칭을 통해 계산한다.

제안 방법

• 다섯 개의 대칭적인 $(1,1)$-divisor가 $\mathbb{P}^4 \times \mathbb{P}^4$ 안에 있는 일반적인 완전교차 $\/tilde{X}_0$의 $\mathbb{Z}_2$-몫으로서 Reye 합동 $X$를 구성하며, $\sigma: (z,w) \mapsto (w,z)$의 치환을 사용한다.
• Batyrev와 Borisov의 토릭 미러 구성법을 적용하여 $\mathbb{P}^2$ 위에 미러 가족 $\mathcal{X}_0^\vee$를 구축한 후, $\mathbb{P}^1$ 위의 대각선 가족 $\mathcal{X}^\vee$로 축소하여 $X$의 미러를 얻는다.
• 가운데 가족의 주기 적분을 분석하고, $\mathcal{X}^\vee$에서 최대 무일치 모노드로미를 가지는 두 개의 구별 가능한 큰 복소 구조 한계점이 식별되며, 하나는 $X$에 대응하고 다른 하나는 예측된 $Y$에 대응한다.
• 미러 대칭을 사용하여 각 경계점에서 Gromov-Witten 불변량과 BPS 수를 계산하며, 주기 사상과 모노드로미 분석을 통해 예측을 검증한다.
• $\mathbb{P}^4$ 안의 결정식 5차 곡면에 대한 $\mathbb{Z}_2$-덮개로서 $Y$를 명시적으로 구성하며, 종수 26, 차수 20인 매끄러운 곡선 위에서 분지한다. Reye 합동의 사영 기하학을 이용한다.
• 미러 대칭을 통해 $X$, $Y$, $\tilde{X}_0$의 BPS 수를 검증하며, $g \leq 14$ 및 $d=16$까지의 차수에 대해 명시적인 표를 제공한다.

실험 결과

연구 질문

• RQ1 Reye 합동 Calabi-Yau 3차 곡면 $X$는 그 사영 기하학으로부터 비자명한 Fourier-Mukai 파트너 $Y$를 갖는가?
• RQ2 미러 가족 $\mathcal{X}_0^\vee$는 $\mathbb{P}^1$ 위의 대각선 가족으로 축소될 수 있으며, 이는 큰 복소 구조 한계점에 어떤 영향을 미치는가?
• RQ3 예측된 Calabi-Yau 3차 곡면 $Y$는 $\mathbb{P}^4$ 안의 결정식 5차 곡면에 대한 $\mathbb{Z}_2$-덮개로, 종수 26, 차수 20인 곡선 위에서 분지하여 구성될 수 있는가?
• RQ4 미러 대칭을 통해 계산된 $X$, $Y$, $\tilde{X}_0$의 BPS 수는 Gromov-Witten 이론에서 예상되는 불변량과 일치하는가?
• RQ5 이 설정에서 $D^b(Coh(X)) \cong D^b(Coh(Y))$의 유도 범주 동치가 성립할 것으로 기대되는가, $G(2,7)$과 $Pf(7)$의 경우와 유사하게?

주요 결과

• Reye 합동 Calabi-Yau 3차 곡면 $X$는 $\mathbb{P}^4 \times \mathbb{P}^4$ 안의 다섯 개의 대칭적인 $(1,1)$-divisor의 완전교차 $\/tilde{X}_0$의 $\mathbb{Z}_2$-몫으로 구성되며, 호지 수는 $h^{1,1}(X) = 1$, $h^{2,1}(X) = 26$이다.
• 미러 가족 $\mathcal{X}_0^\vee$는 Batyrev-Borisov 토릭 방법을 통해 $\mathbb{P}^2$ 위에 구축되며, $\mathbb{P}^1$ 위의 대각선 가족 $\mathcal{X}^\vee$로 축소되어 최대 무일치 모노드로미를 가지는 두 개의 큰 복소 구조 한계점이 생성된다.
• 두 경계점 중 하나는 $X$의 미러에 대응하고, 다른 하나는 새로운 Calabi-Yau 3차 곡면 $Y$의 존재를 예측한다. 이 $Y$는 $\mathbb{P}^4$ 안의 결정식 5차 곡면에 대한 $\mathbb{Z}_2$-덮개로, 종수 26, 차수 20인 매끄러운 곡선 위에서 분지한다.
• BPS 수는 $X$, $Y$, $\tilde{X}_0$에 대해 미러 대칭을 통해 계산되었으며, 종수 $g=14$ 및 차수 $d=16$까지 표로 정리되었으며, 부록의 표 1–6에 명시되어 있다.
• X에 대해 $n_1^X(1,1) = 650$, $n_2^X(1,1) = 148525$, $n_3^X(1,1) = 3270050$이며, Y에 대해 $n_1^Y(1,1) = 1475$, $n_2^Y(1,1) = 29350$, $n_3^Y(1,1) = 148525$로 나타나, 대칭 패턴이 나타난다.
• 완전교차 $\/tilde{X}_0$의 BPS 수는 이중차수 $(i,j)$로 표현되며, $n_0^{\tilde{X}_0}(1,1) = 650$, $n_1^{\tilde{X}_0}(1,1) = 29350$, $n_2^{\tilde{X}_0}(1,1) = 148525$로 계산되어, 미러 대칭과의 일관성을 확인한다.