[논문 리뷰] A question of Doctor Malte Wandel on automorphisms of the punctural Hilbert schemes of K3 surfaces

Keiji Oguiso|arXiv (Cornell University)|2014. 02. 18.

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

한 줄 요약

이 논문은 말테 반델이 제기한 질문에 대해 긍정적인 답변을 제공한다. 즉, 자동사상 군이 유한한 K3 표면 S에 대해 그 길이 2의 점형 Hilbert 스킴 S^{[2]}의 자동사상 군이 무한대가 될 수 있음을 보여준다. 이는 Néron-Severi 레이팅이 판별식 17인 짝수 쌍곡 레이팅 Λ와 동형인 K3 표면을 이용하여 구성되며, 이 표면들은 P^3에 두 가지 서로 다른 임bedding을 가지며, 이에 의해 S^{[2]}에 두 가지 다른 Beauville 호환성이 유도된다. 핵심 결과는 S^{[2]}는 Mori 꿈 공간이 아니지만, Hilbert-Chow 사상의 대상인 S^{(2)}는 Mori 꿈 공간이라는 것이다.

ABSTRACT

We present a sufficient condition for the punctural Hilbert scheme of length two of a K3 surface with finite automorphism group to have automorphism group of infinite order in geometric terms (Theorem 2.1). We then give concrete examples (Theorem 1.2). We also discuss about Mori dream space (MDS) structures under an extermal crepant resolution (Theorems 1.2, 5.2, 4.1) from the viewpoint of automorphisms. These affirmatively answer a question of Doctor Malte Wandel.

연구 동기 및 목표

• K3 표면 S의 자동사상 군이 유한할 때 그 길이 2의 점형 Hilbert 스킴 S^{[2]}의 자동사상 군이 무한대가 될 수 있는지 여부를 다룬 말테 반델의 질문을 해결하기 위해.
• S가 사영 공간에 여러 임베딩을 가지는 조건에 기반하여 Aut(S^{[2]})가 무한대가 되는 기하학적 기준(정리 2.1)을 설정하기 위해.
• 특히 Hilbert-Chow 사상 μ:S^{[2]}→S^{(2)}에 대해, 극단적 캐프랑트 변형에서의 Mori 꿈 공간(MDS) 성질을 조사하기 위해.
• 해당 변형이 캐프랑트이자 극단적임에도 불구하고 S^{[2]}는 Mori 꿈 공간이 아니지만 S^{(2)}는 Mori 꿈 공간임을 보여주기 위해.
• NS(S) ≅ Λ인 K3 표면 S의 구체적 예를 제시하여 Aut(S)는 유한하지만 Aut(S^{[2]})는 무한대임을 확인함으로써 이러한 예의 존재를 확인하기 위해.

제안 방법

• 판별식 17인 짝수 쌍곡 레이팅 Λ와 동형인 Néron-Severi 레이팅을 가진 K3 표면 S를 구성하여, 이는 Picard 수 ρ(S) = 2임을 보장한다.
• 이러한 K3 표면들이 P^3에 두 가지 서로 다른 임베딩을 가지며, 이는 선형 계열이 두 개 존재함을 의미한다.
• 이 임베딩에 의해 유도되는 S^{[2]} 위의 Beauville 호환성을 활용하여, 임베딩이 비동형일 경우 Aut(S^{[2]})에 무한 부분군을 생성함을 이용한다.
• Kleiman 기준과 네프 콩의 성질을 적용하여, Aut(S^{[2]})가 유한하다면 네프 콩이 유한한 유리 다면체 콩이 될 수 없음을 보여준다.
• Hilbert-Chow 사상 μ:S^{[2]}→S^{(2)}가 극단적 캐프랑트 변형임을 이용하고, 대칭군 Σ_n의 S^n 위의 작용을 통해 MDS 성질을 분석한다.
• Okawa 및 다른 이들의 결과를 적용하여, 몫의 MDS 성질을 분석함: S^n이 MDS이면(유한한 Aut(S_k) 조건 하에서), S^{(n)} = S^n / Σ_n 역시 MDS이다.

실험 결과

연구 질문

• RQ1 K3 표면 S의 자동사상 군이 유한할 때, 그 길이 2의 점형 Hilbert 스킴 S^{[2]}의 자동사상 군이 무한대가 될 수 있는가?
• RQ2 어떤 기하학적 조건이 K3 표면 S에 대해 Aut(S^{[2]})가 무한대가 되도록 보장하는가?
• RQ3 Hilbert-Chow 사상 μ:S^{[2]}→S^{(2)}가 극단적 캐프랑트 변형임에도 불구하고, MDS 성질을 유지하는가?
• RQ4 ρ(S) = 2 이며 |Aut(S)| < ∞ 인 K3 표면 S가 존재하여 |Aut(S^{[2]})| = ∞ 임을 보장할 수 있는가?
• RQ5 대칭적 곱 S^{(n)}이 MDS일 때, Hilbert 스킴 S^{[n]}이 MDS가 되는 조건은 무엇인가?

주요 결과

• NS(S) ≅ Λ인 K3 표면 S에 대해, Aut(S)는 유한하지만 Aut(S^{[2]})는 무한하므로, 반델의 질문에 대해 긍정적인 답변을 얻었다.
• S가 P^3에 비동형인 두 임베딩을 가지면, 이는 S^{[2]}에 두 가지 다른 Beauville 호환성을 유도하며, 이는 Aut(S^{[2]})에 무한 부분군을 생성한다.
• Hilbert-Chow 사상 μ:S^{[2]}→S^{(2)}는 극단적 캐프랑트 변형이지만, S^{[2]}는 Mori 꿈 공간이 아니며 S^{(2)}는 Mori 꿈 공간이다.
• S^{[2]}의 네프 콩은 유한한 유리 다면체 콩이 아니며, 이는 Aut(S^{[2]})가 무한대일 수 없음을 의미한다. 유한한 다면체 콩이 아닐 경우에만 가능하다.
• 대칭적 곱 S^{(2)}는 MDS이다. 왜냐하면 S^2가 MDS이기 때문이며, Σ_2에 대한 몫 작용이 주어진 조건 하에서 MDS 성질을 유지하기 때문이다.
• 이 구성은 Aut(S)가 유한할 때 Aut(S^{[2]})가 무한대가 될 수 있는 최소 Picard 수 ρ(S) = 2임을 보여준다.