[논문 리뷰] Self Rational Maps of K3 Surfaces

Xi Chen|arXiv (Cornell University)|2010. 08. 10.

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

한 줄 요약

이 논문은 $ g \geq 2 $ 인 매우 일반적인 사영적 K3 표면이 1보다 큰 차수를 가진 전반적인 유리형 자기사상이 존재하지 않음을 증명한다. 열기 기법을 사용하여 저자는 K3 표면을 두 개의 델 페초 표면이 매끄러운 타원곡선을 따라 교차하는 합집합으로 열어, 그 위에 유도된 사상의 행동을 분석한다. 결과적으로, Néron-Severi 군에서의 정수계 클래스 행동과 네프 조건의 모순으로 인해 이러한 사상이 존재할 수 없음을 보인다.

ABSTRACT

We prove that a very general projective K3 surface does not admit a dominant self rational map of degree at least two.

연구 동기 및 목표

• 매우 일반적인 K3 표면에서 1보다 큰 차수의 전반적인 유리형 자기사상이 존재하지 않는다는 추측을 해결하는 것.
• 특히 유리점의 조밀도와 $ \mathbb{C}^2 $ 에 의한 해석적 지배와의 관련에서 K3 표면 위의 자기유리형 사상의 기하학적·산술적 의미를 이해하는 것.
• 매우 일반적인 K3 표면을 타원곡선을 따라 교차하는 두 개의 델 페초 표면으로 이루어진 합집합으로 열어 자기유리형 사상을 분석하기 위한 열기 기법을 사용하는 것.
• 열린 중심 섬유 위의 유도된 유리형 사상들을 연구하고, 블로우업을 통해 정규화하여 정수계의 행동을 분석하는 것.
• 이러한 사상의 존재가 Néron-Severi 군과 네프 조건에서 모순을 일으키며, 결과적으로 존재하지 않음을 증명하는 것.

제안 방법

• 매우 일반적인 K3 표면을 두 개의 델 페초 표면 $ S_1 \cup S_2 $ 가 매끄러운 타원곡선 $ D $ 에서 교차하는 방식으로 열어, 차수 $ 2g-2 $ 인 앰플 라인 번들의 성질을 유지하는 것.
• 사상 $ \operatorname{Ext}(\Omega_{W_0}, \mathcal{O}_{W_0}) \to H^0(\mathcal{E}xt(\Omega_{W_0}, \mathcal{O}_{W_0})) \cong H^0(\mathcal{O}_D(-K_{S_1} - K_{S_2})) $ 의 상사상성 조건을 사용하여 $ W_0 $ 가 K3 표면으로 부드럽게 변형될 수 있음을 보장하는 것.
• 기저 교체 후 총공간 위의 유리형 사상 $ \phi: X \dashrightarrow X $ 로 일반 섬유 위의 유도된 유리형 사상 $ \phi_t: X_t \dashrightarrow X_t $ 를 올리는 것.
• 유리형 사상 $ \phi $ 의 정의되지 않는 점들을 블로이어 모르피즘 $ f: Y \to X $ 를 통해 정규화하여 정규 사상 $ \varphi = \phi \circ f $ 를 얻고, 유리 표면의 블로이어업 위의 정수계의 푸시포워드를 분석하는 것.
• 특히 $ \mathbb{P}^2 $, $ \mathbb{F}_0 $, $ \mathbb{F}_1 $ 의 블로이어업의 Néron-Severi 군에서 $ \varphi_* $ 의 행동을 분석하고, 초평면 정수계와 특이 곡선의 이미지를 중심으로 다루는 것.
• 특히 네프성과 크기성 조건의 실패를 통해 모순을 유도하며, $ \varphi_* $-이미지가 요구되는 교차 조건을 만족시킬 수 없음을 보여, $ \beta = 1 $ 이외에는 불가능함을 보임으로써 $ \deg \phi > 1 $ 이라는 가정에 모순됨.

실험 결과

연구 질문

• RQ1 매우 일반적인 사영적 K3 표면이 $ g \geq 2 $ 인 경우 1보다 큰 차수의 전반적인 유리형 자기사상이 존재하는가?
• RQ2 자기유리형 사상은 델 페초 표면의 합집합으로의 열기를 통해 이해될 수 있는가?
• RQ3 Néron-Severi 군과 네프 조건은 이러한 사상에 의한 정수계의 푸시포워드에 어떤 제약을 가하는가?
• RQ4 $ \mathbb{P}^2 $, $ \mathbb{F}_0 $, 또는 $ \mathbb{F}_1 $ 의 블로이어업 위의 유리형 사상이 $ \beta > 1 $ 인 경우에도 그 펜슬과 특이 곡선의 구조를 유지할 수 있는가?
• RQ5 유도된 사상의 행동과 $ \delta $ 에 의한 작용을 분석함으로써, 이러한 사상의 존재를 이중화 곡선 $ D $ 에서의 행동을 통해 배제할 수 있는가?

주요 결과

• 매우 일반적인 사영적 K3 표면 $ X $ 가 $ g \geq 2 $ 인 경우, 1보다 큰 차수를 가진 전반적인 유리형 자기사상 $ \phi: X \dashrightarrow X $ 는 존재하지 않는다.
• 델 페초 표면의 합집합으로의 열기는 자기유리형 사상을 분석하는 데 유리 표면과 그 블로이어업 위의 행동으로 문제를 단순화시켜 주는 데 기여한다.
• 유도된 사상 $ \varphi $ 에 의한 정수계의 푸시포워드는 $ \deg \phi > 1 $ 이라는 가정 하에 네프성과 크기성 조건의 실패로 인해 모순을 일으킨다.
• $ R_2 \cong \mathbb{P}^2 $, $ \mathbb{F}_0 $, 또는 $ \mathbb{F}_1 $ 의 모든 경우에서 $ \beta > 1 $ 이라는 가정은 $ \beta = \beta^2 $ 와 같은 불가능한 정수계 관계를 유도하며, 결과적으로 $ \beta = 1 $ 이 되도록 강요한다.
• 만약 $ \phi $ 가 접합 곡선 $ D $ 에서 정규적이지 않다면, $ \phi $ 에 의한 점의 역상의 이미지는 반드시 특이 곡선 $ E $ 가 되어야 하는데, 이는 $ \beta = 1 $ 이 아니면 모순이 된다.
• 마지막 모순은 $ \operatorname{Exec}(\phi_{R_2}) = \emptyset $ 라는 가정에서 유도되며, Néron-Severi 군 내의 방정식계가 유일하게 $ \beta = 1 $ 인 해만을 허용함으로써, 1보다 큰 차수의 사상이 존재하지 않음을 증명한다.