[논문 리뷰] Double quintic symmetroids, Reye congruences, and their derived equivalence

Shinobu Hosono, Hiromichi Takagi|arXiv (Cornell University)|2013. 02. 24.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 11

한 줄 요약

이 논문은 이전의 미러 대칭 작업에서 제기된 추측을 해결하기 위해, Reye 일치 Calabi-Yau 3차곡선 $X$와 이중 오차수 대칭 행렬 Calabi-Yau 3차곡선 $Y$ 사이의 유도 등가성을 증명한다. 이는 $\mathbb{P}^{14}$ 내에서 쌍대 다양체의 직선 섹션으로서 구성된 $X$와 $Y$ 사이의 Fourier-Mukai 변환을 통해 이루어지며, 커널은 $\widetilde{\mathscr{Y}} \times \widehat{\mathscr{X}}$ 내의 부분다양체 $\Delta$ 위에 지지된다.

ABSTRACT

We consider Calabi-Yau threefolds Y defined as smooth linear sections of the double cover of the quintic symmetric determinantal hypersurface in P^{14}. In our previous works, we have shown that these Calabi-Yau threefolds Y are naturally paired with Reye congruence Calabi-Yau threefolds X, and X and Y have several interesting properties from the view point of mirror symmetry and projective geometry. In this paper, we prove the derived equivalence between Y and X.

연구 동기 및 목표

• 이전의 미러 대칭 작업에서 제기된 바와 같이, Reye 일치 Calabi-Yau 3차곡선 $X$와 이중 오차수 대칭 행렬 Calabi-Yau 3차곡선 $Y$ 사이의 유도 등가성을 증명하는 것.
• 해결된 $\mathscr{Y}$와 $\widehat{\mathscr{X}}$의 곱에서 기하학적으로 정의된 부분다양체 $\Delta$로부터 Fourier-Mukai 커널을 구성하는 것.
• X에 의해 매개화된 $Y$ 상의 종수 3, 차수 5 곡선의 가중치 가중치를 통해 유도 등가성의 기하학적 기원을 이해하는 것.
• 특히 기본군과 브라우어 군을 포함한 위상적 불변량들이 유도 등가성 하에서 어떻게 변화하는지 분석하여, 이 경우에서는 불변이 아님을 드러내는 것.

제안 방법

• 구면 배럴 $\mathscr{Z} \to \mathscr{Y}$와 $\mathbb{P}^2$-_bundle $\widehat{\mathscr{X}} \to \mathrm{G}(2,V)$를 통해 $\mathrm{F}(2,3,V)$의 플라그 다양체를 당겨옴으로써, $\widetilde{\mathscr{Y}} \times \widehat{\mathscr{X}}$ 내의 부분다양체 $\Delta$를 구성하는 것.
• 해당 부분다양체 $\Delta$의 이상층 $\mathcal{I}$에 대한 국소 자유 해체를 $\widetilde{\mathscr{Y}}$와 $\widehat{\mathscr{X}}$ 상에서 Lefschetz 집합을 이용해 구성하는 것.
• 커널로 $\mathcal{I}|_{Y \times X}$를 정의하여, Calabi-Yau 3차곡선 $Y$와 $X$에 제한된 이상층을 사용하는 Fourier-Mukai 함자를 정의하는 것.
• 해체와 커널의 구조를 이용하여, Fourier-Mukai 함자가 $\mathcal{D}^b(X) \simeq \mathcal{D}^b(Y)$를 유도 등가성으로 유도함을 증명하는 것.
• 커널의 $x \in X$에서의 섹션 $I_x$가 $Y$ 내의 종수 3, 차수 5의 매끄러운 곡선 $C_x$를 정의하며, 이에 따라 $n_3^Y(5) = 100$이 위상 불변량과 일치함을 검증하는 것.
• Atiyah-Hirzebruch 스펙트럴 시퀀스를 사용하여 $H_1$과 $K^1_{\text{top}}$을 브라우어 군과 연결하고, $\mathrm{Br}(Y)$가 $\mathbb{Z}_2$를 포함하며 $\mathrm{Br}(X) \simeq 0$임을 보여, 이 경우 브라우어 군이 유도 등가성 하에서 불변이 아님을 밝히는 것.

실험 결과

연구 질문

• RQ1 Reye 일치 Calabi-Yau 3차곡선 $X$의 유도 범주가 그 이중인 이중 오차수 대칭 행렬 3차곡선 $Y$의 유도 범주와 동치인가?
• RQ2 유도 등가성이 잘 정의된 커널을 가진 Fourier-Mukai 변환을 통해 기하학적으로 실현될 수 있는가?
• RQ3 종수 3, 차수 5 곡선의 BPS 수 $n_3^Y(5) = 100$은 $Y$ 상의 곡선 가중치 가중치로 어떤 기하학적 의미를 갖는가?
• RQ4 이 Calabi-Yau 쌍에서 기본군과 브라우어 군은 유도 등가성 하에서 유지되는가?
• RQ5 BPS 수 $n_{14}^X(20) = 500$은 $X$ 상의 곡선의 매개변수 공간을 세는 것으로 기하학적으로 해석될 수 있는가?

주요 결과

• Reye 일치 Calabi-Yau 3차곡선 $X$와 이중 오차수 대칭 행렬 Calabi-Yau 3차곡선 $Y$의 유도 범주는 동치이다: $\mathcal{D}^b(X) \simeq \mathcal{D}^b(Y)$.
• 유도 등가성은 기하학적으로 정의된 부분다양체 $\Delta \subset \widetilde{\mathscr{Y}} \times \widehat{\mathscr{X}}$ 위에 지지된 커널을 가진 Fourier-Mukai 변환에 의해 실현된다. 이 커널은 플라그 다양체 $\mathrm{F}(2,3,V)$에서 유도된다.
• 커널의 $x \in X$에서의 섹션 $I_x$는 종수 3, 차수 5의 매끄러운 곡선 $C_x \subset Y$를 정의하며, 이에 따른 수 $n_3^Y(5) = 100$은 $(-1)^{\dim X} e(X) \times 2 = 100$과 일치한다.
• $X$의 기본군은 $\mathbb{Z}_2$이고, $Y$의 기본군은 자명하므로, $\pi_1$는 유도 등가성 하에서 불변이 아님을 보여준다.
• $Y$의 브라우어 군은 비자명한 2- torsion 원소를 포함하며, $\mathrm{Br}(X) \simeq 0$ 이므로 $\mathrm{Br}$ 역시 유도 등가성 하에서 불변이 아님을 보여준다.
• $n_{14}^X(20) = 500$은 $(-1)^{\dim Y} e(Y) \times 10 = 500$과 일치하지만, 계수 10의 기하학적 의미는 아직 명확하지 않다.