[논문 리뷰] Addendum to "K3-surfaces of genus 8 and varieties of sums of powers of cubic fourfolds"

Atanas Iliev, Kristian Ranestad|ArXiv.org|2006. 11. 17.

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

한 줄 요약

이 논문은 8형식 K3 표면에 관한 이전 결과를 수정하고 확장하여, 6개의 변수를 가진 일반적인 삼차형식을 10개의 세제곱의 합으로 표현하는 다양체 VSP(F,10)가 매끄럽고 심플렉틱한 4차원 다양체임을 증명한다. 이 다양체가 8형식 K3 표면의 Hilbert 제곱과 변형 동치이지만, 기존의 다양한 가닥들(예: 삼차 4차원 다양체의 직선 다양체 포함)과는 다름을 보이며, 두 개의 선형 독립적인 극화를 가진 새로운 컴acts 복소 심플렉틱 4차원 다양체를 구성한다.

ABSTRACT

In this note, which is an addendum to the e-print math.AG/9810121, we prove that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold, which is deformation equivalent to the Hilbert square of a K3 surface of genus 8 but different from the family of lines on a cubic 4-fold. This provides a new geometric construction of a compact complex symplectic fourfold, different from a Hilbert square of a K3 surface, a generalized Kummer 4-fold, the variety of lines on a cubic 4-fold and the recent examples of O'Grady (see Duke Math. J. 134, no. 1 (2006), 99-137).

연구 동기 및 목표

• 편의한 초하이퍼카일러 다양체의 모듈리 공간에 관해 이전 논문의 Theorem 3.17에서 부족한 증명을 수정하기 위해.
• 6개의 변수를 가진 일반적인 삼차형식을 10개의 세제곱의 합으로 표현하는 다양체 VSP(F,10)가 매끄럽고 심플렉틱한 4차원 다양체임을 확립하기 위해.
• VSP(F,10)가 8형식 K3 표면의 Hilbert 제곱과 변형 동치이지만, 삼차 4차원 다양체의 직선 다양체와는 동형이 아니라는 것을 보여주기 위해.
• 8형식 K3 표면의 Hilbert 제곱에서 유래하는 두 개의 극화—VSP(F,10)에서 유래하는 것과 Pfaffian 삼차 4차원 다양체의 직선에서 유래하는 것—이 선형 독립임을 증명하기 위해.
• VSP(F,10)와 삼차 4차원 다양체의 직선 다양체의 모듈리 공간이 초하이퍼카일러 다양체의 극화된 모듈리 공간 내에서 두 개의 서로 다른 성분을 형성하며, 이 성분들이 8형식 K3 표면의 Hilbert 제곱을 매개변수로 하는 디바이저에서 횡단적으로 만난다는 것을 보여주기 위해.

제안 방법

• 일반적인 8형식 K3 표면 $S$의 Hilbert 제곱 $Hilb_2 S$를 분석하여, 삼차 4차원 다양체 $F$의 거듭제곱 합 다양체 $VSP(F,10)$와 동일시한다.
• Plücker 임bedding을 사용하여 $Hilb_2 S$에 두 개의 서로 다른 극화 $L_{lines}$ (Pfaffian 삼차 4차원 다양체 $F'$의 직선 다양체에서 유래)와 $L_{vsp}$ (VSP-사상에 의한 $VSP(F,10)$로의 사상에서 유래)를 정의한다.
• 점 $p \in S$ 에서 지지되는 길이 2의 부분스키마의 붓펜슬 $C_p$ 를 구성하여 극화와의 교차수를 계산한다.
• ${\bf P}^n$-_bundle 위의 극스크롤에 관한 보조정리를 적용하여, $C_p$ 가 VSP-사상 아래에 의한 이미지의 차수를 계산함으로써 $C_p \cdot L_{vsp} = 3$ 임을 보인다.
• 쌍대 스크롤의 차수를 계산하여 $C_p \cdot L_{lines} = 5$ 임을 결정함. 이는 $\mathbf{P}(igwedge^4 V)$ 내의 탄성 초평면 절단과 유리 스크롤의 기하학을 이용한다.
• 차수 3과 5가 서로소이므로, $L_{vsp}$ 와 $L_{lines}$ 가 $Hilb_2 S$ 상에서 선형 독립임을 결론 내린다.

실험 결과

연구 질문

• RQ1 일반적인 8형식 K3 표면 $S$에 대해 $Hilb_2 S$ 상의 두 극화 $L_{vsp}$ 와 $L_{lines}$ 는 선형 독립인가?
• RQ2 6개의 변수를 가진 일반적인 삼차형식의 10개의 세제곱 합으로 표현되는 다양체 $VSP(F,10)$ 는 매끄럽고 심플렉틱한 4차원 다양체인가?
• RQ3 $VSP(F,10)$ 은 Hilbert 제곱, 일반화된 Kummers, 또는 삼차 4차원 다양체의 직선 다양체와 변형 동치가 아닌 새로운 컴팩트 복소 심플렉틱 4차원 다양체를 제공하는가?
• RQ4 VSP(F,10)와 삼차 4차원 다양체의 직선 다양체의 모듈리 공간은 초하이퍼카일러 다양체의 극화된 모듈리 공간 내에서 어떻게 관련되어 있는가?
• RQ5 두 모듈리 성분의 교차의 기하학적 의미는 무엇이며, 이는 기본이 되는 K3 표면 측면에서 무엇을 의미하는가?

주요 결과

• 6개의 변수를 가진 일반적인 삼차형식의 10개의 세제곱 합으로 표현되는 다양체 $VSP(F,10)$ 는 매끄럽고 심플렉틱한 4차원 다양체이다.
• $VSP(F,10)$ 는 8형식 K3 표면의 Hilbert 제곱과 변형 동치이다.
• 시험 곡선 $C_p$ 의 차수 3과 5가 서로소임을 통해 $Hilb_2 S$ 상의 두 극화 $L_{vsp}$ 와 $L_{lines}$ 는 선형 독립임을 보였다.
• VSP(F,10)와 삼차 4차원 다양체의 직선 다양체의 모듈리 공간은 초하이퍼카일러 다양체의 극화된 모듈리 공간 내에서 두 개의 서로 다른 성분을 형성한다.
• 이 두 성분은 8형식 K3 표면의 Hilbert 제곱을 매개변수로 하는 디바이저에서 횡단적으로 만난다.
• 이 구성은 Hilbert 제곱, 일반화된 Kummers, O'Grady의 예제들과는 다름을 보이는 새로운 기하학적 실현을 제공하며, 컴팩트한 복소 심플렉틱 4차원 다양체를 얻는다.