[논문 리뷰] Hyperplane sections of Calabi-Yau varieties

Jonathan Wahl|ArXiv.org|2001. 04. 17.

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

한 줄 요약

이 논문은 복소 프로젝티브 다양체 $W$에서의 매끄러운 부분다양체 $X$가 $h^1(\mathcal{O}_W) = 0$ 를 만족할 때, $W$ 자체가 칼라비-유아 타입이 아니면 칼라비-유아 다양체의 초평면 섹션일 수 없다는 것을 증명한다. 방법론은 코다이라-스펜서 사상과 통합을 통해 $X$의 보편적 확장을 구성하고 총공간의 특이점을 분석한다; 핵심 결과는 정확한 차수 범위: $\mathbb{P}^n$ 안의 매끄러운 초평면 $d$차수는 칼라비-유아 다양체의 초평면 섹션일 조건이 $n+1 \leq d \leq 2n+2$임을 보여준다. 이는 칼라비-유아 다양체의 초평면 섹션 문제를 캐논리컬 임bedding과 확장 이론의 관점에서 해결한다.

ABSTRACT

Theorem: If W is a smooth complex projective variety with h^1 (O-script_W) = 0, then a sufficiently ample smooth divisor X on W cannot be a hyperplane section of a Calabi-Yau variety, unless W is itself a Calabi-Yau. Corollary: A smooth hypersurface of degree d in P^n (n >= 2) is a hyperplane section of a Calabi-Yau variety iff n+2 <= d <= 2n+2. The method is to construct out of the variety W a universal family of all varieties Z for which X is a hyperplane section with normal bundle K_X, and examine the "bad" singularities of such Z. A motivation is to show many curves cannot be divisors on a K-3 surface.

연구 동기 및 목표

• 어떤 매끄러운 프로젝티브 다양체가 칼라비-유아 다양체의 초평면 섹션으로 나타날 수 있는지 규명하는 것.
• 매끄러운 부분다양체 $X$가 $h^1(\mathcal{O}_W) = 0$ 를 만족하는 다양체 $W$ 위에 존재할 때, 칼라비-유아 3차원 이상 다양체의 초평면 섹션일 수 있는 조건을 특성화하는 것.
• 데바이어테이션 이론과 정규 번들의 수열을 통해 캐논리컬 임bedding $X \subset \mathbb{P}^{g-1}$ 의 모든 가능한 확장을 구성하는 일반적 방법을 개발하는 것.
• 충분히 풍부한 부분다양체 $X$ 가 $W$ 위에 존재할 때, $X$ 가 칼라비-유아 다양체의 초평면 섹션일 수 있는 유일한 조건은 $W$ 가 스스로 칼라비-유아 다양체여야 한다는 것을 증명하는 것.

제안 방법

• 확장 이론을 사용하여 $X$ 가 정규 번들의 $K_X$ 를 갖는 초평면 섹션인 다양체 $Z$ 의 보편적 가족을 구성하는 것.
• 정규 번들의 수열과 관련된 코다이라-스펜서 사상을 사용하여 임베딩 $X \subset Z$ 의 무한소 변형을 분석하는 것.
• 보편성의 결정을 위한 코 boundary 사상 $\gamma: \Gamma(N_{X/Z}(-1)) \to H^1(\Theta_X(-1))$ 를 적용하는 것.
• 특히 곡선의 경우, 가우스-와울 맵 $\Phi_K$ 와 $\gamma$ 의 비전사성 간의 관계를 규명하는 것.
• 블로우업과 이중 코팅을 통한 일반화를 통해 $X$ 를 초평면 섹션으로 포함하는 칼라비-유아 다양체를 구성하는 것.
• 코homological 소멸성과 조건 $h^1(\mathcal{O}_Z) = 0$ 을 활용하여 가능한 확장을 제한하고 비유리 특이점을 제거하는 것.

실험 결과

연구 질문

• RQ1 매끄러운 부분다양체 $X$ 가 $h^1(\mathcal{O}_W) = 0$ 를 만족하는 다양체 $W$ 위에 존재할 때, 어떤 조건에서 칼라비-유아 다양체의 초평면 섹션일 수 있는가?
• RQ2 매끄러운 다양체 $X$ 의 캐논리컬 임bedding은 어떤 조건에서 칼라비-유아 3차원 이상 다양체의 초평면 섹션으로 확장될 수 있는가?
• RQ3 총공간의 특이점은 $X$ 가 칼라비-유아 다양체의 초평면 섹션일 수 있는지 결정하는 데 어떤 역할을 하는가?
• RQ4 정규 번들의 수열의 코다이라-스펜서 사상은 확장의 보편성을 어떻게 감지하는가?
• RQ5 칼라비-유아 다양체의 초평면 섹션일 수 있는 $\mathbb{P}^n$ 안의 매끄러운 초평면의 정확한 차수 범위는 무엇인가?

주요 결과

• 매끄러운 부분다양체 $X$ 가 $h^1(\mathcal{O}_W) = 0$ 를 만족하는 다양체 $W$ 위에 존재할 때, $W$ 가 스스로 칼라비-유아 다양체가 아니면 칼라비-유아 다양체의 초평면 섹션일 수 없다.
• $\mathbb{P}^n$ 안의 매끄러운 초평면 $d$차수에 대해, 칼라비-유아 다양체의 초평면 섹션일 조건은 $n+1 \leq d \leq 2n+2$ 이다.
• 7차 이상의 평면 곡선은 $K$-3 표면 위에 존재할 수 없으며, 그들의 가우스-와울 맵의 계수는 10이다.
• 차원 $r \geq 2$ 인 완전교차형의 경우, $\kappa = \sum d_i - (n+1) > d$ 이면 확장이 존재하지 않으며, 따라서 $X$ 는 칼라비-유아 다양체의 초평면 섹션일 수 없다.
• $d > \kappa > d/2$ 이고 $\kappa > d_{n-r-1}$ 이면 비자명한 확장은 존재하지만, 모든 확장은 비유리 특이점을 지닌다. 따라서 칼라비-유아 확장은 존재하지 않는다.
• $d' = 2n+2-d$ 인 $X \cap X'$ 에 대해 블로우업을 거쳐 이중 코팅을 수행함으로써 특이적인 칼라비-유아 다양체 $Y^*$ 를 구성할 수 있으며, 이 경우 $X$ 는 초평면 섹션이 된다. 이는 차수 범위의 충분성에 대한 증명이다.