[논문 리뷰] On the extendability of projective surfaces and a genus bound for Enriques-Fano threefolds

Andreas Leopold Knutsen, Angelo Felice Lopez외 1명|arXiv (Cornell University)|2006. 05. 30.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 8

한 줄 요약

이 논문은 정규화된 복소수 3차원 다양체에서 주어진 정규층을 갖는 매우 충분한 분할자로써 프로젝티브 표면의 확장 가능성에 대해 연구하기 위해 새로운 가우시안 맵 기반 기법을 제안한다. 이 기법은 에리쿠스-판오 3차원 다양체에 대해 $ g \leq 17 $ 의 종수 경계를 확립하고, 특정 에리쿠스 표면의 확장 불가능성을 증명하며, $ \mathbb{Q} $-스무스닝이 없는 캐논칼이지만 비터미널 특이점을 갖는 종수 9의 새로운 에리쿠스-판오 3차원 다양체를 구성한다.

ABSTRACT

We introduce a new technique, based on Gaussian maps, to study the possibility, for a given surface, to lie on a threefold as a very ample divisor with given normal bundle. We give several applications, among which one to surfaces of general type and another one to Enriques surfaces. For the latter we prove that any threefold (with no assumption on its singularities) having as hyperplane section a smooth Enriques surface (by definition an Enriques-Fano threefold) has genus g < 18 (where g is the genus of its smooth curve sections). The latter bound was also proved recently by Prokhorov, who also found an example of genus 17. Moreover we find a new Enriques-Fano threefold of genus 9 whose normalization has canonical but not terminal singularities and does not admit Q-smoothings.

연구 동기 및 목표

• 주어진 표면이 특정 정규층을 갖는 3차원 다양체에서 매우 충분한 분할자로 실현될 수 있는지 판단하기 위한 새로운 가우시안 맵 기반 기법을 개발한다.
• 이 기법을 일반 표면과 에리쿠스 표면에 적용하여, 특히 에리쿠스-판오 3차원 다양체의 맥락에서의 응용을 다룬다.
• 에리쿠스-판오 3차원 다양체에 대해 날카로운 종수 경계를 확립하고, 초평면 번들의 가능한 초평면 분해를 분류한다.
• 새로운 에리쿠스-판오 3차원 다양체의 예를 구성하고, 그 특이점과 변형 성질을 분석한다.
• 일부 3차원 다양체가 캐논칼이지만 비터미널 특이점을 갖는 경우, $ \mathbb{Q} $-스무스닝이 존재하지 않음을 증명한다.

제안 방법

• 표면 $ Y \subset \mathbb{P}^r $ 에 대해 코homological 및 기하학적 조건을 만족할 때, $ h^0(N_{Y/\mathbb{P}^r}(-1)) $ 의 일반 공식을 가우시안 맵 $ \Phi_{H_D, \omega_D} $ 의 랭크의 여秩에 기반하여 유도한다.
• 곡선 절단 $ D \in |D_0| $ 에서의 가우시안 맵과 곱셈 맵의 상연성으로 정규층의 코homology를 통제한다.
• 일반 표면에 이 기법을 적용하여, 그들의 다중 canonical 매립이 종종 3차원 다양체로 확장될 수 없음을 보인다.
• 에리쿠스 표면에서의 초평면 번들 분해 $ H \equiv D_0 + (H - D_0) $ 를 분석하여 가능한 3차원 확장의 분류를 수행한다.
• 변형 이론과 $ \mathbb{Q} $-스무스닝의 존재를 활용하여, 일부 3차원 다양체가 $ \mathbb{Q} $-범주에서 스무스닝이 불가능함을 증명한다.
• 변형과 특수화의 논리를 통해 종수 9의 새로운 에리쿠스-판오 3차원 다양체를 구성하고, 이가 캐논칼이지만 비터미널 특이점을 갖는다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 표면 $ Y \subset \mathbb{P}^r $ 에 대해 어떤 조건이 주어진 정규층을 갖는 3차원 다양체에서 매우 충분한 분할자로 확장될 수 없음을 보장하는가?
• RQ2 에리쿠스 표면이 3차원 다양체의 초평면 절단으로서 존재할 수 있는 최대 종수 $ g $ 는 얼마인가? (즉, 에리쿠스-판오 3차원 다양체로서 존재 가능한 최대 종수는?)
• RQ3 캐논칼이지만 비터미널 특이점을 갖는 3차원 다양체가 $ \mathbb{Q} $-스무스닝을 갖는가? 이는 에리쿠스-판오 3차원 다양체의 모듈리 공간 내에서의 위치에 어떤 영향을 미치는가?
• RQ4 에리쿠스 표면에서의 초평면 번들의 분해는 어떤 방식으로 3차원 다양체 확장의 존재를 제약하는가?
• RQ5 특히 유리 곡선이 존재할 경우, 에리쿠스 표면을 3차원 다양체로 확장하는 데 있어 기하학적 및 코homological 장애는 무엇인가?

주요 결과

• 모든 에리쿠스-판오 3차원 다양체의 종수는 $ g \leq 17 $ 으로 상한이 있으며, 이 경계는 날카로운 경계이다.
• 정규화가 캐논칼이지만 비터미널 특이점을 갖는 종수 9의 새로운 에리쿠스-판오 3차원 다양체가 구성되었다.
• 이 새로운 3차원 다양체는 $ \mathbb{Q} $-스무스닝을 갖지 않으며, 이는 미나가와의 정리가 캐논칼 경우로 확장될 수 없음을 보여준다.
• 종수 9의 이 3차원 다양체는 순환 몫 특이점을 갖는 3차원 다양체의 가속 가중치 가중 평균의 극한으로서 유도되며, 극한에서 $ \mathbb{Q} $-스무스닝이 불가능하다.
• 이 기법을 통해 특정 코homological 조건이 충족되지 않는 한, 특히 유형 $ 2A $ 의 초평면 번들을 갖는 에리쿠스 표면은 3차원 다양체로 확장될 수 없다는 것을 증명한다.
• 종수 $ g \leq 17 $ 인 모든 에리쿠스-판오 3차원 다양체의 일반적인 에리쿠스 표면 절단은 초평면 번들의 분해 기하학적 성질 때문에 반드시 유리 곡선을 포함해야 한다.