[논문 리뷰] Calabi-Yau threefolds with Picard number three

P. Μ. H. Wilson|arXiv (Cornell University)|2020. 11. 25.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 5

한 줄 요약

이 논문은 삼차 Cup-곱 형식과 제2 Chern 형식에 대한 특정 조건 하에서 피카르 수가 3인 칼라비-유오 3차원 다양체의 유계성을 확립한다. 뚜렷한 비가역 표면과 실 타원곡선의 헤시안의 스텐안 변환을 분석함으로써, 헤시안이 매끄럽거나 비틀림선 조건을 만족하지 않는 경우에 이러한 3차원 다양체가 일련의 유계성 가닥에 속함을 증명하며, 이는 고피카르 수의 경우에 모듈리 공간의 유계성 문제를 해결한다.

ABSTRACT

In this paper, we continue the study of boundedness questions for (simply connected) smooth Calabi-Yau threefolds commenced in arXiv:1706.01268. The diffeomorphism class of such a threefold is known to be determined up to finitely many possibilities by the integral middle cohomology and two integral forms on the integral second cohomology, namely the cubic cup-product form and the linear form given by cup-product with the second chern class. The question addressed in both papers is whether knowledge of these cubic and linear forms determines the threefold up to finitely many families, that is the moduli of such threefolds is bounded. If this is true, then in particular the middle integral cohomology would be bounded by knowing these two forms. Crucial to this question is the study of rigid non-movable surfaces on the threefold, which are the irreducible surfaces that deform with any small deformation of the complex structure of the threefold but for which no multiple moves on the threefold. We showed in the previous paper that if there are no such surfaces, then the answer to the above question is yes. Moreover if the Picard number is 2, the answer was shown to be yes without any further assumptions on the Calabi-Yau threefold. The main results of this paper are for Picard number 3, where we prove boundedness in the case where there is at most one rigid non-movable surface, assuming the cubic form is smooth (thereby defining a real elliptic curve); in the two cases where the Hessian curve is singular, we also assume that the line defined by the second chern class does not intersect this curve at an inflexion point. In addition to the methods described in the previous paper, a further crucial tool in the proofs will be the classical Steinian involution on the Hessian of an elliptic curve.

연구 동기 및 목표

• 피카르 수가 3인 칼라비-유오 3차원 다양체가 삼차 Cup-곱 형식과 제2 Chern 형식에 의해 정의된 선형 형식에 기반하여 가닥에서 유계성을 띠는지 여부를 규명하는 것.
• 뚜렷한 비가역 표면이 모듈리 공간의 유계성을 방해하거나 가능하게 하는 데서 수행하는 역할을 조사하는 것.
• 이전의 피카르 수 2의 경우에 대한 유계성 결과를 피카르 수 3으로 확장하며, 특히 관련된 타원곡선과 그 헤시안이 특정 기하적 성질을 갖는 경우를 다루는 것.
• 헤시안의 매끄러움과 비틀림점에서 $c_2 = 0$ 선과의 교차 여부 조건이 유도되는 경우에, 유계성이 성립함을 확립하는 것.

제안 방법

• 삼차 형식과 그 쌍대 형식의 구조를 분석하기 위해 실 타원곡선의 헤시안 위의 스텐안 변환을 핵심 기하 도구로 활용한다.
• 양의 지수 원뿔과 이동 가능한 원뿔 $\overline{\mathrm{Mov}}(X)$를 적용하여 고차 코homology가 양수인 클래스를 식별함으로써, 이동 가능한 배수의 존재를 보장한다.
• 뚜렷한 비가역 표면 $E$에 대해 $E \cdot D^2 > 0$ 를 만족하는 원뿔 $Q$ 를 정의하며, 이는 카일러 원뿔을 포함하고 가능한 이동 가능한 클래스를 유계화하는 데 기여한다.
• 논문 [6]의 보조정리 2.2를 통해 $c_2 \cdot E$ 및 $E^3$ 에 대한 대수적 유계를 적용하여, $E$ 에 대한 가능한 클래스 수를 유한 개로 줄인다.
• 아핀 평면 $z=1$ 에서 이차 및 삼차 형식의 渐近적 행동을 분석하여, 관련 영역에서 $E^2 \cdot D$ 가 음수임을 보이고, 이는 이동 가능한 클래스의 유계성을 암시한다.
• 볼수 있는 조건을 한 점에서 볼록 원뿔의 경계로 적용하여, 클래스가 이동 가능할 수 있는 조건을 결정함으로써 변형 매개변수에 대한 명시적 상한을 도출한다.

실험 결과

연구 질문

• RQ1 삼차 형식이 매끄럽고 뚜렷한 비가역 표면이 최대 한 개 이하일 경우, 피카르 수가 3인 칼라비-유오 3차원 다양체의 유계성이 성립하는가?
• RQ2 헤시안 곡선의 특이성과 선 $c_2 = 0$ 이 실 타원곡선에 대해 비틀림점에서의 위치가 모듈리 유계성에 미치는 영향은 무엇인가?
• RQ3 실 타원곡선의 헤시안 위의 스텐안 변환을 사용하여 뚜렷한 비가역 표면의 가능한 클래스를 분류하고 유계화할 수 있는가?
• RQ4 피카르 수 $\rho = 3$ 에서 뚜렷한 비가역 표면의 존재가 모듈리 공간의 유계성을 유도하는 조건은 무엇인가?
• RQ5 주어진 코homological 제약 조건 하에서 뚜렷한 비가역 표면의 가능한 클래스 수가 유한한가?

주요 결과

• 삼차 형식이 매끄럽고 실 타원곡선이 두 개의 성분을 가질 경우, 카일러 원뿔은 헤시안의 유계 성분 위의 양의 원뿔 내에 있으며, $X$ 는 유계 가닥에 속한다.
• 실 타원곡선이 한 개의 성분을 가지며 헤시안이 매끄럽다면, $X$ 는 뚜렷한 비가역 표면 $E$ 를 포함하며, $E$ 는 헤시안의 유계 성분에 의해 정의된 닫힌 반원뿔 내에 있으며, $X$ 는 유계 가닥에 속한다.
• 헤시안이 특이적이며 선 $c_2 = 0$ 이 비틀림점에서 실 타원곡선과 교차하지 않는 경우, $X$ 는 뚜렷한 비가역 표면 $E$ 를 포함하며 유계 가닥에 속한다.
• $\rho = 3$ 인 경우, 헤시안이 매끄럽고 $b_3(X)$ 가 충분히 크다면, $X$ 는 적어도 두 개의 뚜렷한 비가역 표면을 포함해야 한다.
• 모든 뚜렷한 비가역 표면 $E$ 의 클래스는 $c_2 \cdot E$ 와 $E^3$ 의 제약 조건으로 인해 유한한 가능성들 중에서 유계화된다.
• 이동 가능한 클래스에 대한 후보 수를 유한하게 보장하기 위해, $D - \lambda E$ 가 이동 가능해지기 위한 매개변수 $\lambda$ 에 대한 명시적 상한 $\lambda_0$ 이 유도된다.