[논문 리뷰] Strictly nef divisors and some remarks on a conjecture of Serrano

Priyankur Chaudhuri|arXiv (Cornell University)|2020. 08. 11.

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

한 줄 요약

이 논문은 일반 유형의 다양체 위의 매끄러운 팔로 피브리케이션에 대해 일반화된 풍부성의 성립을 보이고, 거의 엄격히 네프인 선다발을 가진 표면에 대해 세르라노의 추측의 일반화된 형태를 증명한다. SHGH 추측을 가정할 경우, 유리 표면 위에 엄격히 네프이지만 앰플리가 아닌 다발이 존재함을 보이며, 이는 대수기하학에서 엄격히 네프인 다발의 이해를 심화시키는 새로운 예를 제공한다.

ABSTRACT

Serrrano's Conjecture says that if $L$ is a strictly nef line bundle on a smooth projective variety $X$, then $K_X+tL$ is ample for $ t > dim X+1$. In this paper I will prove a few cases of this conjecture. I will also prove a generalized version of this conjecture (due to Campana, Chen and Peternell) for surfaces. In the last section, assuming the SHGH conjecture, I will give a series of examples of strictly nef non ample divisors on surfaces of arbitary Kodaira dimension.

연구 동기 및 목표

• 일반 유형의 다양체 위의 매끄러운 팔로 피브리케이션에 대해 일반화된 풍부성의 성립을 증명하고, 엄격히 네프인 다발에 대한 기존 결과를 확장한다.
• 거의 엄격히 네프인 선다발을 가진 표면에 대해 세르라노의 추측의 일반화된 형태를 검증한다.
• SHGH 추측이 유리 표면 위에 엄격히 네프이지만 앰플리가 아닌 다발의 존재를 암시함을 보여준다.
• 다양한 기하학적 설정에서 엄격히 네프인 $ L $ 에 대해 $ K_X + tL $ 의 앰플리성과 크기성(비그레인스)을 조사한다.
• SHGH 추측 하에서 $ \mathbb{P}^2 $ 의 블로우업을 통한 엄격히 네프이지만 앰플리가 아닌 다발의 새로운 예를 제시한다.

제안 방법

• 구면정리(Cone Theorem)를 사용하여, $ X $ 가 매끄럽고 $ L $ 이 엄격히 네프일 때 $ t > d+1 $ 이면 $ K_X + tL $ 가 엄격히 네프임을 보인다.
• 레마 7의 수치 기준을 적용하여 $ K_X^d = \cdots = L^d = 0 $ 이면 반-앰플리성의 실패를 탐지한다.
• 의심점 제거와 이타카 피브리케이션을 활용하여, 매끄러운 모델로의 역상에 의한 $ K_X + tL $ 의 크기성 분석을 수행한다.
• SHGH 추측을 적용하여 $ \mathbb{P}^2 $ 의 블로우업 위에서 선형계의 기대 차원을 계산하고, 교차수의 양의성을 확보한다.
• 표면 $ S $ 에서 $ \mathbb{P}^2 $ 로의 유한 피복의 기저 변경을 통해 엄격히 네프이지만 앰플리가 아닌 다발을 구성하고, 블로우업 위의 엄격히 네프인 다발을 당겨낸다.
• SHGH 추측이 정의한 구면 내의 모든 곡선 $ C $ 에 대해 $ L \cdot C > 0 $ 임을 이용하여 엄격히 네프성의 확인을 수행한다.

실험 결과

연구 질문

• RQ1 일반 유형의 다양체 위의 매끄러운 팔로 피브리케이션에 대해 일반화된 풍부성의 성립이 성립하는가?
• RQ2 만약 표면 $ S $ 에서 $ L $ 이 거의 엄격히 네프이면, 모든 $ t > 3 $ 에 대해 $ K_S + tL $ 는 크기인가?
• RQ3 SHGH 추측이 유리 표면 위에 엄격히 네프이지만 앰플리가 아닌 다발의 존재를 암시하는가?
• RQ4 어떤 조건에서 표면 위의 엄격히 네프인 다발 $ L $ 이 반드시 크기인가?
• RQ5 만약 $ \kappa(aK_X + bL) \geq \dim X - 2 $ 이면, $ t \gg 0 $ 에 대해 $ K_X + tL $ 가 크기로 증명될 수 있는가?

주요 결과

• 일반 유형의 다양체 위의 매끄러운 팔로 피브리케이션에 대해 일반화된 풍부성의 성립이 성립한다: 만약 $ -K_X $ 가 섬유에서 앰플리이고 $ Y $ 가 일반 유형이면, $ L $ 과 $ K_X + L $ 이 네프일 때 $ K_X + L $ 은 반-앰플리가 된다.
• 거의 엄격히 네프인 선다발 $ L $ 을 가진 매끄러운 프로젝티브 표면 $ S $ 에 대해, 모든 $ t > 3 $ 에 대해 $ K_S + tL $ 는 크기이며, 이는 고품질 특이점을 가진 표면으로까지 확장된다.
• SHGH 추측 하에서, 임의의 프로젝티브 표면 $ S $ 에 대해, $ S $ 와 비라시얼리티가 있는 표면 $ S' $ 가 존재하여 엄격히 네프이지만 앰플리가 아닌 다발을 가진다.
• $ \kappa(L) \geq \dim X - 2 $ 이면 $ L $ 은 크기이며, 이는 엄격히 네프인 다발의 크기성에 대한 수치 기준을 제공한다.
• 임의의 매끄러운 프로젝티브 다양체 $ X $ 에 대해 $ \kappa(aK_X + bL) \geq \dim X - 2 $ 이면, 모든 $ t \gg 0 $ 에 대해 $ K_X + tL $ 는 크기이다.
• 엄격히 네프이지만 앰플리가 아닌 다발의 구성은 SHGH 추측을 통해 $ \mathbb{P}^2 $ 의 블로우업 위에서 선형계의 기대 차원이 음이 아닌 것을 보장함으로써, 곡선과의 교차수의 양의성을 보장한다.