[논문 리뷰] On the Corank of Gaussian Maps for General Embedded K3 Surfaces

Ciro Ciliberto, Angelo Felice Lopez외 1명|ArXiv.org|1994. 11. 15.

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

한 줄 요약

이 논문은 S×S의 대각선에 대해 블로우업에서 Kawamata-Viehweg 정규성 정리에 대한 환원을 통해 일반적인 임bedded K3 표면에 대한 Gaussian 사상 Φ의 corank를 계산한다. 핵심 결과는 i ≥ 2 및 g ≥ 2, 그리고 i = 1 및 g ≥ 17일 때 Φ가 전사임을 보이며, 이는 초평면 배치가 세 개의 이sovolumetrically 약한 배치로 분해될 수 있는 조건에서 성립한다. 이는 K3 표면의 기하학과 그 임베딩에 대한 기본적인 결과를 수립한다.

ABSTRACT

Let $S_{g}$ be a general prime K3 surface in $P^g$ of genus $g \geq 3$ or a general double cover of $P^2$ ramified along a sextic curve for $g = 2$ and $S = S_{i,g}$ its {\it i}-th Veronese embedding. In this article we compute the corank of the Gaussian map $Φ:\bigwedge^2 H^0(S,O_S(1)) o H^0(S,Ω_S^1(2))$ for $i \geq 2, g \geq 2$ and $i=1, g \geq 17$. The main idea is to reduce the surjectivity of $Φ$ to an application of the Kawamata-Viehweg vanishing theorem on the blow-up of $S imes S$ along,the diagonal. This is seen to apply once the hyperplane divisor of the K3 surface $S$ can be decomposed as a sum of three suitable birationally ample divisors. We show that such a decomposition exists when $i \geq 3$ or on some K3 surfaces, constructed using the surjectivity of the period mapping, when $i = 1, g \geq 17$ or $i=2, g \geq 7$.

연구 동기 및 목표

• 일반적인 임bedded K3 표면에 대해 Gaussian 사상 Φ: ⋀²H⁰(S, O_S(1)) → H⁰(S, Ω¹_S(2))의 corank를 결정하는 것.
• 특히 K3 표면의 Veronese 임베딩에서 Gaussian 사상이 전사가 되는 조건을 확립하는 것.
• S×S의 대각선에 대해 블로우업에서 Kawamata-Viehweg 정규성 정리를 적용함으로써 전사성 문제를 환원하는 것.
• 초평면 배치가 세 개의 적절한 이sovolumetrically 약한 배치로 분해될 수 있을 때, 그러한 전사성이 성립함을 보이는 것.
• i=1일 때 g≥17 및 i=2일 때 g≥7인 경우를 포함하여 주어진 조건을 만족하는 K3 표면의 구성과 주기 매핑의 전사성을 활용해 결과를 확장하는 것.

제안 방법

• S×S의 대각선에 대해 블로우업에서 Kawamata-Viehweg 정규성 정리를 적용함으로써 Gaussian 사상 Φ의 전사성 문제를 환원하는 것.
• 특수한 기하적 환경에서 정규성 정리를 적용할 수 있도록 특이점의 해소를 블로우업을 통해 구성하는 것.
• K3 표면의 고차원 임베딩을 분석하기 위해 Veronese 임베딩(i ≥ 1)을 사용하는 것.
• 정규성 정리를 적용하기 위한 핵심적인 기술적 조건으로서 초평면 배치를 세 개의 이sovolumetrically 약한 배치로 분해하는 것.
• i=1, g≥17 및 i=2, g≥7인 경우를 위해 주기 매핑의 전사성과 K3 표면의 구성 기법을 활용하여 필요한 배치 분해를 만드는 것.
• 대수기하학적 기법을 통해 기하학적 및 코homological 방법으로 이러한 분해의 존재를 검증하는 것.

실험 결과

연구 질문

• RQ1 일반적인 임bedded K3 표면에 대해 Gaussian 사상 Φ: ⋀²H⁰(S, O_S(1)) → H⁰(S, Ω¹_S(2))가 어떤 조건에서 전사가 되는가?
• RQ2 i ≥ 2 및 g ≥ 2일 때 Veronese 임베딩된 K3 표면의 Gaussian 사상에 대해 corank를 계산할 수 있는가?
• RQ3 초평면 배치가 세 개의 이sovolumetrically 약한 배치로 분해될 수 있다면, Gaussian 사상의 전사성이 보장되는가?
• RQ4 i=1 및 g≥17일 때, 주기 매핑의 전사성과 배치 분해를 통해 Gaussian 사상의 전사성을 확립할 수 있는가?
• RQ5 일반적인 K3 표면이 Veronese 임베딩을 통해 i ≥ 1의 차수로 임베딩될 경우, Gaussian 사상의 정확한 corank는 무엇인가?

주요 결과

• i ≥ 2 및 g ≥ 2일 때 Gaussian 사상 Φ는 전사이며, 이는 이러한 경우에 corank가 0임을 의미한다.
• i = 1 및 g ≥ 17일 때, 초평면 배치가 세 개의 이sovolumetrically 약한 배치로 적절히 분해될 수 있음이 전사성의 근거가 된다.
• i = 2 및 g ≥ 7일 때, 주기 매핑의 전사성에 기반한 K3 표면의 구성 기법을 통해 Φ의 전사성이 증명된다.
• Φ의 corank는 S×S의 대각선에 대해 블로우업에서 Kawamata-Viehweg 정규성 정리로 환원함으로써 계산된다.
• 이러한 맥락에서 정규성 정리를 적용하기 위해 초평면 배치를 세 개의 이sovolumetrically 약한 배치로 분해하는 것은 필수적이고도 충분한 조건이다.
• 결과는 g ≥ 3인 P^g 내의 일반적인 소수 K3 표면과, 6차 곡선을 고리로 삼아 P²의 이중 쌍대를 이루는 일반적인 임베딩(K3 표면, g = 2)에 대해 성립한다.