[논문 리뷰] New families of Calabi-Yau 3-folds without maximal unipotent monodromy

Alice Garbagnati|arXiv (Cornell University)|2010. 05. 01.

Algebraic Geometry and Number Theory인용 수 9

한 줄 요약

이 논문은 복소 곱승을 갖는 타원 곡선 $E_i$와 비대칭형 자동형사상이 존재하는 K3 표면의 몫을 비특이화하여 다섯 개의 새로운 Calabi–Yau 3-다양체 가닥을 구성한다. 허지의 구조 변화는 기저 곡선의 변화에 의해 결정되며, 이는 최대 비정칙 단조성( maximal unipotent monodromy)을 갖지 않는 2차의 Picard–Fuchs 방정식을 이끌어내는데, 이는 표준 미러 대칭 프레임워크에 도전한다.

ABSTRACT

The aim of this paper is to construct families of Calabi--Yau 3-folds without boundary points with maximal unipotent monodromy and to describe the variation of their Hodge structures. In particular five families are constructed. In all these cases the variation of the Hodge structures of the Calabi--Yau 3-folds is basically the variation of the Hodge structures of a family of curves. This allows us to write explicitly the Picard--Fuchs equation for the 1-dimensional families. These Calabi--Yau 3-folds are desingularizations of quotients of the product of a (fixed) elliptic curve and a K3 surface admitting an automorphisms of order 4 (with some particular properties). We show that these K3 surfaces admit an isotrivial elliptic fibration.

연구 동기 및 목표

• 최대 비정칙 단조성 없이, 미러 대칭 추측에 필수적인 Calabi–Yau 3-다양체의 가닥을 구성하기.
• 특히 기저 곡선의 허지 변화로 줄어드는 경우, 이러한 가닥에서의 허지 구조 변화를 기술하기.
• 이러한 구성에서 1차원 가닥에 대해 Picard–Fuchs 방정식을 명시적으로 계산하기.
• 이 방정식들이 최대 비정칙 단조성과 함께 하는 해를 갖지 않음을 보여주어, 표준적인 미러 대칭 가정에 도전하기.

제안 방법

• 복소 곱승을 갖는 타원 곡선 $E_i$와 허물의 1-form에서 고유값이 $i, -i$인 자동형사상을 갖는 곡선 $C_{f_g}$의 곱인 $E_i \times C_{f_g}$를 $\bZ/4\bZ$-몫으로 하여 K3 표면 $S_{f_g}$를 구성한다.
• 결과적으로 얻어진 K3 표면이 등장하는 등장하는 타원적 분할을 갖으며, $\mathbb{P}^2$의 4:1 코팅으로서 표현 가능하여, 다른 구성 방법을 가능하게 한다.
• 타원 곡선 $E_i$와 K3 표면 $S$의 곱을 $\alpha_E^3 \times \alpha_S$로 나눈 후, 이를 비특이화하여 Calabi–Yau 3-다양체를 구성한다. 여기서 $\alpha_E$와 $\alpha_S$는 차수 4의 자동형사상이다.
• Calabi–Yau 3-다양체의 허지 구조 변화가 유일하게 관련된 곡선 $C_{f_g}$의 허지 구조 변화에 의해 결정됨을 증명한다.
• 기저 곡선의 Picard–Fuchs 방정식으로 감소시켜 1차원 가닥에 대해 Picard–Fuchs 방정식을 유도한다.
• 자동형사상 $\alpha_E \times 1_S$가 $H^{3,0}$에서 곱하기 $i$로 작용함을 이용하여, Picard–Fuchs 방정식에 최대 비정칙 단조성이 존재하지 않음을 암시한다.

실험 결과

연구 질문

• RQ1 차수 4의 자동형사상이 있는 $E_i \times K3$의 몫과 비특이화를 통해 최대 비정칙 단조성이 없는 새로운 Calabi–Yau 3-다양체 가닥을 구성할 수 있는가?
• RQ2 이러한 Calabi–Yau 3-다양체에서의 허지 구조 변화는 기저 곡선의 변화와 어떻게 관련이 있는가?
• RQ3 이 가닥에 대한 Picard–Fuchs 방정식의 명시적 형태는 무엇이며, 최대 비정칙 단조성과 함께 하는 해를 갖는가?
• RQ4 완전한 분류 없이도, 비대칭형 자동형사상이 존재하는 K3 표면에 대해 이 구성 방식을 일반화할 수 있는가?
• RQ5 이 가닥의 Picard–Fuchs 방정식이 최대 비정칙 단조성을 갖지 않는 이유는 무엇이며, 이는 미러 대칭에 어떤 영향을 미치는가?

주요 결과

• 가닥 $Y_{f_2}$는 $h^{1,1} = 73$, $h^{2,1} = 1$의 허지 수를 가지며, 그 Picard–Fuchs 방정식은 2차이며 4차가 아니며, 최대 비정칙 단조성이 없다.
• 가닥 $W_{b^2}$는 $h^{1,1} = 61$, $h^{2,1} = 1$의 허지 수를 가지며, 그 Picard–Fuchs 방정식은 타원 곡선에서 유래하며, 최대 비정칙 단조성이 없다.
• $Y_{f_3}$와 $M$의 Picard–Fuchs 방정식은 K3 표면 $S$를 구성하는 데 사용된 곡선 $B$에서 유도되며, 둘 다 최대 비정칙 단조성과 함께 하는 해를 갖지 않는다.
• Calabi–Yau 3-다양체 $M$은 $h^{1,1} = 39$, $h^{2,1} = 3$의 허지 수를 가지며, 그 허지 구조 변화는 일반형 K3 표면 $R$를 구성하는 데 사용된 곡선 $B$에만 의존한다.
• 가닥 $Y_{SI}$는 $h^{1,1} = 90$, $h^{2,1} = 0$인 점 유형의 가닥이며, 그 K3 표면 $X_{SI}$는 10개의 곡선을 고정하는 비대칭형 호환이 유일하게 존재하는 유일한 K3 표면이다.
• 모든 가닥에서 최대 비정칙 단조성이 없는 것은 $H^{3,0}$에서 $i$로 작용하는 차수 4의 자동형사상이 존재하기 때문이며, 이는 단조성이 최대 비정칙이 되는 것을 방지한다.