[논문 리뷰] On base point free theorem of threefolds in positive characteristic

Chenyang Xu|arXiv (Cornell University)|2013. 11. 15.

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

한 줄 요약

이 논문은 특성 p > 5인 대수적으로 닫힌 체 위의 klt 세변량에서 기저점 자유 정리의 기본 결과를 확립한다. 프로젝티브 klt 세변량 X 위의 네프이자 비대한 선다발 L에 대해, L − K_X − Δ 가 비대하고 네프일 경우, L은 준항상적임을 증명한다. 증명은 키플의 상대적 EWM 정리, 양의 특성에서의 일반화된 최소 모델 프로그램(MMP) 기법, 그리고 약화된 사영 사상의 예외적 역할을 하는 곡면의 부등식에 기반한다.

ABSTRACT

Let $(X, Δ)$ be a projective klt three dimensional pair defined over an algebraically closed field characteristic larger than 5. Let $L$ be a nef and big line bundle on $X$ such that $L-K_X-Δ$ is big and nef. We show that $L$ is indeed semi-ample.

연구 동기 및 목표

• 대수적으로 닫힌 체의 특성 p > 5에서 klt 세변량에 대한 기저점 자유 정리를 확립하기 위해.
• L에 대해 특정 네프성과 비대성 조건이 만족될 경우, K_X + Δ + L 이 준위상기반의 기저점 자유성을 가지는 U 위에서 준항상적임을 보여주기 위해.
• 양의 특성에서의 일반화된 MMP와 키플의 EWM 정리를 조합하여, 마지막 단계에서 일반화된 MMP가 필요 없이 준항상성을 유도할 수 있음을 보여주기 위해.
• 극한 반경에 대한 표준적인 압축 정리(contraction theorem)를 양의 특성에서 증명하고, 플립의 존재성까지 포함하기 위해.
• EWM 사상의 예외적 역할이 dlt 쌍의 경계 divisor에 포함될 수 있음을 보여주어, 곡면의 부등식을 적용할 수 있도록 하기 위해.

제안 방법

• 특성 p > 0에서 네프 계량에 대해 키플의 상대적 EWM 정리를 활용하여, 교차수 0인 곡선을 압축하는 대상으로서의 대수적 공간으로의 사상이 존재함을 보장한다.
• HX13과 Birkar13에서 개발된 특성 p > 0에서의 세변량에 대한 일반화된 MMP를 적용하여, 임의의 계수를 가진 MMP를 실행할 수 있도록 한다.
• 대상 대수적 공간의 에탈 코어를 이용한 표준 기법을 활용하여 모델를 수정함으로써, 예외적 역할이 dlt 쌍의 경계 divisor에 포함되도록 한다.
• 문제를 예외적 역할 위에서의 준항상성 확인으로 환원하고, 이는 klt 곡면에 대한 곡면의 부등식에 의해 증명된다.
• 부정성 보조정리와 로그 캐논리컬 임계점 기법을 사용하여 dlt 수정을 구성하고, 이를 바탕으로 일반화된 MMP를 실행한다.
• 수치적으로 영인 klt 곡면 쌍에서 반대변화량이 네프일 경우 Q-선형으로 영이 되는 결과를 적용하여 준항상성의 결론을 이끌어낸다.

실험 결과

연구 질문

• RQ1 일반화된 MMP와 EWM 정리를 사용하여 특성 p > 5에서 klt 세변량에 대한 기저점 자유 정리를 확립할 수 있는가?
• RQ2 K_X + Δ + L 에 대응하는 EWM 사상의 예외적 역할은 dlt 쌍의 경계에 포함되는 모델을 가질 수 있는가?
• RQ3 U 위에서 K_X + Δ + L 의 준항상성은 EWM 사상의 예외적 역할 위에서의 준항상성과 동치인가?
• RQ4 HX13에서와 같이, 특성 p > 0에서의 일반화된 MMP를 사용하여 일반적인 경우를 표준 계수를 가진 특수한 경우로 환원할 수 있는가?
• RQ5 기저점 자유 정리와 EWM 정리로부터 특성 p > 0에서 플립의 존재성이 유도되는가?

주요 결과

• L 이 네프이자 비대이고 L − K_X − Δ 가 비대이며 네프일 경우, char(k) > 5 라는 조건 하에 K_X + Δ + L 은 U 위에서 준항상적이다.
• EWM 사상 f: X → Z 의 대상 Z 는 준위상기반 다양체이며, ρ(X) − ρ(Z) = 1 이다. 이는 이 설정에서 압축 정리가 성립함을 확인한다.
• EWM 사상 f 가 소형일 경우, 플립 f^+: X^+ → Z 가 존재함을 보여, klt 세변량에 대한 최소 모델 프로그램에서 플립의 존재성을 증명한다.
• 적절한 모델 변경(에탈 기저 변경과 일반화된 MMP를 통한) 이후, 예외적 역할 Ex(f) 는 ⌊Δ⌋ 의 지지부분에 포함된다.
• 예외적 역할에 제한된 K_X + Δ + L 는 klt 곡면에 대한 곡면의 부등식에 의해 준항상적임을 보인다.
• 결과적으로 일반화된 MMP는 중간 단계에서 개념적으로 유용한 도구로 기능하지만, 최종적인 압축 정리는 일반적인 의미에서의 것이며, 일반화된 플립이 필요하지 않음을 시사한다.