[논문 리뷰] Two polarized K3 surfaces associated to the same cubic fourfold

Emma Brakkee|arXiv (Cornell University)|2018. 08. 03.

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

한 줄 요약

이 논문은 일반적인 극화된 K3 표면 (S,L)에 대해 차수 d ≡ 0 mod 6일 때, 하스태트의 호환 τ에 의해 유도되는 K3 표면 S^τ가 멕시카노 벡터 (3,L,d/6)를 가진 S 위의 안정층의 모듈리 공간과 동형임을 증명한다. 또한, 디오판틴 방정식 3p² − (d/6)q² = −1이 정수해를 가지는지 여부에 따라 S와 S^τ 위의 두 점의 Hilbert 스킴이 비라시오널인지 여부가 결정되며, 이는 특정한 d에 대해 유도적으로 동치이지만 비라시오널인 Hilbert 스킴의 예를 제공한다.

ABSTRACT

For infinitely many $d$, Hassett showed that special cubic fourfolds of discriminant $d$ are related to polarized K3 surfaces of degree $d$ via their Hodge structures. For half of the $d$, each associated K3 surface $(S,L)$ canonically yields another one, $(S^τ,L^τ)$. We prove that $S^τ$ is isomorphic to the moduli space of stable coherent sheaves on $S$ with Mukai vector $(3,L,d/6)$. We also explain for which $d$ the Hilbert schemes $ ext{Hilb}^n(S)$ and $ ext{Hilb}^n(S^τ)$ are birational.

연구 동기 및 목표

• 차수 d ≡ 0 mod 6인 극화된 K3 표면의 모듈리 공간에서 호환 τ의 기하적 성격을 기하학적으로 묘사하는 것.
• K3 표면과 그 τ-파트너 위의 두 점의 Hilbert 스킴이 언제 비라시오널인지 결정하는 것.
• K3 표면 위의 두 점의 Hilbert 스킴이 유도적으로 동치이지만 비라시오널인 예를 구성하는 것.
• 푸리에–무카이 파트너 S^τ와 Mukai 벡터 (3,L,d/6)를 가진 S 위의 안정층의 모듈리 공간 간의 관계를 명확히 하는 것.

제안 방법

• 큐빅 포화입체와 K3 표면 간의 무카이 래티스 및 호지 이론적 대응을 이용해 모듈리 공간 M_d 위에 호환 τ를 정의한다.
• 판별군과 수직 확장 기법을 포함한 격자 이론 기법을 적용하여 τ의 작용을 분석한다.
• S^τ가 Mukai 벡터 (3,L,d/6)를 가진 S 위의 안정층의 모듈리 공간 M_S(3,L,d/6)와 동형임을 증명한다.
• Hilb²(S)와 Hilb²(S^τ)의 비라시오널성 문제를 디오판틴 방정식 3p² − (d/6)q² = −1의 해가 존재하는지 여부로 환원한다.
• 관련 큐빅 포화입체의 쿠즈네цов 카테고리에 의한 S와 S^τ 간의 유도 동치성을 활용하여 기하학적 구성의 타당성을 뒷받침한다.
• Hilb²(S) 위의 네로–세베르 그룹과 선다발의 구조를 분석하여 비라시오널성 기준을 도출한다.

실험 결과

연구 질문

• RQ1 d ≡ 0 mod 6일 때, 차수 d의 극화된 K3 표면의 모듈리 공간에서 호환 τ의 기하적 성격은 무엇인가?
• RQ2 K3 표면과 그 τ-파트너 위의 두 점의 Hilbert 스킴이 언제 비라시오널인가?
• RQ3 K3 표면 위의 두 점의 Hilbert 스킴이 유도적으로 동치이지만 비라시오널이 될 수 있는가, 그리고 만약 가능하다면 어떤 조건에서 가능한가?
• RQ4 Mukai 벡터 (3,L,d/6)를 가진 안정층의 모듈리 공간은 τ-파트너 K3 표면 S^τ와 어떻게 관련이 있는가?
• RQ5 3p² − (d/6)q² = −1의 해 존재성이 두 점의 Hilbert 스킴의 비라시오널 기하학에서 어떤 역할을 하는가?

주요 결과

• 호환 τ는 극화된 K3 표면 (S,L)를 S^τ로 보낸다. 이때 S^τ는 Mukai 벡터 (3,L,d/6)를 가진 S 위의 안정층의 모듈리 공간 M_S(3,L,d/6)와 동형이다.
• ρ(S) = 1인 일반적인 (S,L)에 대해, Hilb²(S)와 Hilb²(S^τ)가 비라시오널임은 디오판틴 방정식 3p² − (d/6)q² = −1이 정수해를 가지는 것과 동치이다.
• 3p² − (d/6)q² = −1이 해를 가지는 d는 무한히 많지만, 모든 d가 이 조건을 만족하는 것은 아니다.
• d = 6·73일 때, 방정식은 해를 가지지 않으며, 따라서 Hilb²(S)와 Hilb²(S^τ)는 비라시오널하다. 이는 유도적으로 동치임에도 불구하고 성립한다.
• 논문은 K3 표면 위의 두 점의 Hilbert 스킴이 유도적으로 동치이지만 비라시오널인 최초의 알려진 예를 구성한다.
• n ≥ 3일 때, Hilb^n(S)와 Hilb^n(S^τ)의 비라시오널성은 3p²(n−1) − (d/6)q² = −1 또는 3p² − (d/6)q²(n−1) = −1의 해 존재성에 따라 달라지며, 이 조건은 d/6이 4 또는 8을 모듈로로 하여 결정된다.