[논문 리뷰] A Calabi-Yau threefold with Brauer group (Z/8Z)^2

Mark Gross, Simone Pavanelli|ArXiv.org|2005. 12. 09.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 9

한 줄 요약

이 논문은 $\mathbb{P}^7$ 내의 $\rho$-불변 완전교차로써 $V^{1}_{8,y}$라는 칼라비-유오 3차원 다양체를 구성하며, 64개의 일반적 이중점들을 해소하여 단순연결된 3차원 다양체를 얻는다. 이 다양체는 $(1,8)$-극화된 아벨 곡면을 갖는 $\mathbb{P}^1$ 위의 피브리이션을 가진다. 피브리이션의 네론 모델 구조와 모노드로미 불변 코homology 클래스를 이용하여, $H^4(V^{1}_{8,y},\mathbb{Z})$의 토파스 부분군을 계산하고, 이가 $(\mathbb{Z}/8\mathbb{Z})^2$와 동형임을 증명한다. 이는 이 브라우어 군 구조를 가진 비단순연결의 미러 칼라비-유오 3차원 다양체로서 처음으로 알려진 예이다.

ABSTRACT

We calculate the Brauer group of a certain Calabi-Yau threefold discovered by Mark Gross and Sorin Popescu, which is a small resolution of a complete intersection of type (2,2,2,2) with 64 ordinary double points. We find the Brauer group is (Z/8Z)^2, which is the largest known example of a Brauer group of a Calabi-Yau threefold.

연구 동기 및 목표

• 스스로가 비자명한 브라우어 군을 가지며, 특히 $(\mathbb{Z}/8\mathbb{Z})^2$인 칼라비-유오 3차원 다양체를 구성하여, 미러 대칭과 왜곡된 유도 범주에서의 격차를 메우는 것.
• 일반적인 $(1,8)$-극화된 아벨 곡면을 갖는 $\mathbb{P}^1$ 위의 피브리이션의 네론 모델 구조를 이용하여 $H^4(V^{1}_{8,y},\mathbb{Z})$의 코homology 토파스를 해소하는 것.
• 8-토션 섹션의 예외적 곡선에 대한 작용을 통해 $H^4(V^{1}_{8,y},\mathbb{Z})$의 토파스 부분군이 $(\mathbb{Z}/8\mathbb{Z})^2$와 동형임을 검증하는 것.
• 브라우어 군 구조와 스트로밍거-야우-자슬로프 추측에 부합하는 비단순연결의 미러 칼라비-유오 3차원 다양체에 대한 증거를 제공하는 것.

제안 방법

• $f$를 차수 8인 $\mathbb{H}_8$-불변 다항식으로 하여, $V_{8,y} \subset \mathbb{P}^7$를 $f = \sigma(f) = \sigma^2(f) = \sigma^3(f) = 0$로 정의된 완전교차로 구성한다.
• 64개의 일반적 이중점을 소형 해소 $\mu: V^{1}_{8,y} \to V_{8,y}$를 통해 해소하여, $h^{1,1} = h^{1,2} = 2$인 매끄러운 칼라비-유오 3차원 다양체를 얻는다.
• $\pi: V^{1}_{8,y} \to \mathbb{P}^1$의 피브리이션을 분석하며, 일반적인 섹션은 $(1,8)$-극화된 아벨 곡면을 가지며, $\pi^\# = \pi|_{V^{1,\#}_{8,y}}$가 네론 모델임을 보여, 따라서 군 스킴임을 증명한다.
• Leray 스펙트럴 시퀀스와 모노드로미 불변성을 이용하여 $H^0(B, R^3\pi_*\mathbb{Z}/8\mathbb{Z})$를 계산하고, 이를 $T^{1,3}$으로 식별한다. 여기서 $T^{1,3}$은 $H^4(V^{1}_{8,y},\mathbb{Z})$의 $(1,3)$-부분이다.
• 군 $G \cong (\mathbb{Z}/8\mathbb{Z})^2$인 8-토션 섹션의 군에서 $\varphi: G \to H^4(V^{1}_{8,y},\mathbb{Z})$를 $\alpha \mapsto \log\alpha^*([e_0])$로 정의하는 호모모르피즘을 정의한다.
• $\varphi$가 $H^4(V^{1}_{8,y},\mathbb{Z})$의 토파스 부분군 위로 동형사상임을 보여, $Tors(H^4) \cong (\mathbb{Z}/8\mathbb{Z})^2$임을 증명한다.

실험 결과

연구 질문

• RQ1 브라우어 군이 $(\mathbb{Z}/8\mathbb{Z})^2$와 동형인 단순연결된 비특이 칼라비-유오 3차원 다양체가 존재하는가?
• RQ2 아벨 곡면을 섹션으로 가지는 피브리이션의 네론 모델 구조를 이용하여 칼라비-유오 3차원 다양체의 토파스 코homology를 계산할 수 있는가?
• RQ3 칼라비-유오 3차원 다양체의 브라우어 군은 피브리이션의 모를레-윌 그룹의 토파스와 관련이 있는가?
• RQ4 브라우어 군이 비자명한 칼라비-유오 3차원 다양체의 미러는 스트로밍거-야우-자슬로프 추측이 제안하는 바와 같이 비단순연결일 수 있는가?
• RQ5 $(\mathbb{Z}/8\mathbb{Z})^2$ 브라우어 군이 존재할 경우, 그 미러의 유일한 커버가 원래의 3차원 다양체임을 의미하는가?

주요 결과

• 칼라비-유오 3차원 다양체 $V^{1}_{8,y}$는 $\mathbb{P}^7$ 내의 완전교차로 정의된 소형 해소를 통해 구성되며, 64개의 일반적 이중점을 해소하여 매끄럽고 단순연결된 다양체가 된다.
• $\pi: V^{1}_{8,y} \to \mathbb{P}^1$의 피브리이션은 일반적인 섹션으로 $(1,8)$-극화된 아벨 곡면을 가지며, 비매끄러운 국소 $Crit(\pi)$는 유한하므로 네론 모델 $\pi^\#$를 구성할 수 있다.
• $H^4(V^{1}_{8,y},\mathbb{Z})$의 토파스 부분군은 $(\mathbb{Z}/8\mathbb{Z})^2$와 동형이며, 8-토션 섹션의 예외적 곡선에 대한 작용을 통해 계산된다.
• $\alpha \mapsto \log\alpha^*([e_0])$로 정의된 $\varphi: G \to H^4(V^{1}_{8,y},\mathbb{Z})$는 군 준동형사상이며, 그 상은 토파스 부분군을 생성한다.
• $H^4(V^{1}_{8,y},\mathbb{Z})$의 토파스 부분군 $Tors(H^4(V^{1}_{8,y},\mathbb{Z}))$는 8-토션 섹션 $e$에 대해 $[e] - [e_0]$의 차이로 생성되며, 이 군은 $G \cong (\mathbb{Z}/8\mathbb{Z})^2$와 동형임을 보여, 주요 결과를 증명한다.
• 결과는 $V^{1}_{8,y}$의 미러가 $G$의 $\mathbb{Z}/8\mathbb{Z}$ 부분군에 의해 $V^{1}_{8,y}$를 몫으로 취한 것으로, 기본군이 $\mathbb{Z}/8\mathbb{Z}$이고 브라우어 군이 $\mathbb{Z}/8\mathbb{Z}$인 것으로 추측됨을 지지한다.