[논문 리뷰] Prym varieties and the canonical map of surfaces of general type

Ciro Ciliberto, Rita Pardini외 1명|ArXiv.org|2000. 05. 25.

Algebraic Geometry and Number Theory인용 수 6

한 줄 요약

이 논문은 표면의 유한 피복 $ h: V \to W $ 과 $ W $ 위의 네프이고 빅인 선다발 $ L $을 포함하는 기하학적 구성인 '좋은 생성 쌍(good generating pair)'의 개념을 도입하여, 일반 표면의 무한한 가닥을 체계적으로 생성한다. 이 표면들은 캐논적 사상이 캐논적으로 매bed된 표면 위로의 2차 사상이 된다. 주요 기여는 $ V $의 알바네제 다양체가 프림 다양체임을 보이고, 프림 사상의 섬유가 양의 차원을 가질 경우, 이러한 표면의 새로운 무한 가닥을 구성할 수 있음을 보여주는 것이다. 이는 빈티지의 예를 일반화한 것이다.

ABSTRACT

Let X be a smooth complex surface of general type such that the image of the canonical map $ϕ$ of X is a surface $Σ$ and that $ϕ$ has degree $δ\geq 2$. Let $ε\colon S o Σ$ be a desingularization of $Σ$ and assume that the geometric genus of S is not zero. Beauville has proved that in this case S is of general type and $ε$ is the canonical map of S. Beauville has also constructed the only infinite series of examples $ϕ:X o Σ$ with the above properties that was known up to now. Starting from his construction, we define a {\em good generating pair}, namely a pair $(h:V o W, L)$ where h is a finite morphism of surfaces and L is a nef and big line bundle of W satisfying certain assumptions. We show that by applying a construction analogous to Beauville's to a good generating pair one obtains an infinite series of surfaces of general type whose canonical map is 2-to-1 onto a canonically embedded surface. In this way we are able to construct more infinite series of such surfaces. In addition, we show that good generating pairs have bounded invariants and that there exist essentially only 2 examples with $\dim |L|>1$. The key fact that we exploit for obtaining these results is that the Albanese variety P of V is a Prym variety and that the fibre of the Prym map over P has positive dimension.

연구 동기 및 목표

• 캐논적 사상이 2차인 일반 표면의 빈티지의 구성 방식을 일반화하기 위해.
• 이러한 캐논적 커버가 발생하는 기하학적 및 코homological 조건을 규명하고 형식화하기 위해.
• 커버 표면 $ V $의 알바네제 다양체가 프림 다양체임을 보여주어, 이 구성이 모듈리 이론과 연결됨을 밝히기 위해.
• 차원 $ \dim|L| > 1 $인 생성 쌍을 분류하여, 본질적으로 두 가지의 쌍 뿐이 존재함을 보여주기 위해.
• 새로운 무한 가닥의 캐논적 커버를 체계적으로 생성하는 방법을 제공하기 위해.

제안 방법

• 유한 피복 $ h $가 차수 2이자, $ W $가 $ A_1 $ 특이점을 가지며, $ L $이 네프이고 빅이며, $ |L| $에 속한 곡선이 매끄럽고 비초월적임을 요구하는 '좋은 생성 쌍' $ (h: V \to W, L) $을 정의한다. 또한 $ |K_V + h^*L| = h^*|K_W + L| $를 만족시킨다.
• 일반적인 표면 $ \Sigma \in |p_1^*L \otimes p_2^*\mathcal{O}_{\mathbb{P}^1}(n)| $에 대한 $ \tilde{h} = h \times \mathrm{id} $에 의한 역상으로 새로운 표면 $ X $를 구성한다. 이때 $ X \to \Sigma $가 캐논적 커버가 되도록 보장한다.
• $ V \times \mathbb{P}^1 $과 $ W \times \mathbb{P}^1 $에 대해 조정 공식을 적용하여, 유도된 사상 $ \psi: X \to S $가 2차 좋은 캐논적 커버임을 확인한다.
• 일반 곡선 $ C \in |L| $에 대해, $ C' \to C $가 분리된 2차 피복임을 고려할 때, $ V $의 알바네제 다양체가 이 피복의 프림 다양체와 동형임을 보인다.
• 알바네제 다양체 위에서 프림 사상의 섬유의 양성으로 인해 이러한 쌍의 존재를 제약한다.
• 리만-허르츠 공식과 단일화 분석을 적용하여, 특정 갈루아 작용을 배제하고, 일부 경우에서 피복 $ h: V \to W $가 차수 3의 순환임을 증명한다.

실험 결과

연구 질문

• RQ1 표면 $ V \to W $의 유한 피복과 $ W $ 위의 선다발 $ L $에 대해, 어떤 조건이 $ X $가 일반 표면이면서 $ \Sigma $ 위로의 캐논적 사상이 2차가 되도록 보장하는가?
• RQ2 빈티지의 캐논적 커버 구성 방식을 어떻게 일반화하여 이러한 표면의 무한 가닥을 생성할 수 있는가?
• RQ3 프림 다양체는 커버 표면 $ V $의 알바네제 다양체를 특징짓는 데 어떤 역할을 하는가?
• RQ4 차원 $ \dim|L| > 1 $인 생성 쌍 $ (h: V \to W, L) $은 서로 동형을 제외하고 몇 가지 존재하는가?
• RQ5 오일러 지표 불일치와 같은 위상적 또는 코homological 제약 조건이 이러한 커버의 존재를 차단할 수 있는가?

주요 결과

• $ V $의 알바네제 다양체는 일반 곡선 $ C \in |L| $에 대해 분리된 2차 피복 $ C' \to C $의 프림 다양체와 동형이다.
• $ V $의 알바네제 다양체 위에서 프림 사상의 섬유는 양의 차원을 가지며, 이러한 커버의 무한 가닥 존재에 있어 필수적이다.
• 차원 $ \dim|L| > 1 $인 좋은 생성 쌍은 본질적으로 두 가지뿐이며, 이는 완전히 분류되어 있다.
• 이 구성은 빈티지의 예를 일반화한, 2차 캐논적 사상이 존재하는 새로운 무한 가닥의 일반 표면을 제공한다.
• 카디오라 차수 $ \kappa = 1 $의 경우 매우 제한되어 있으며, $ \kappa = 0 $의 경우 정확히 빈티지의 구성에 해당한다.
• 위상적 제약 조건—특히 오일러 지표 불일치—는 룰러 케이스에서 $ q(V) = 4 $ 또는 $ q(V) = 2 $일 경우 이러한 커버의 존재를 배제하며, 이는 해당 설정에서 $ \kappa(V) = 2 $임을 증명한다.