[논문 리뷰] On the canonical bundle formula for fibrations of relative dimension one in positive characteristic

Jakub Witaszek|arXiv (Cornell University)|2017. 11. 12.

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 양의 특성에서 상대 차원이 1인 피브레이션에 대해 표준 번들의 공식의 약한 형태를 수립하여, 비라시오널 기하학에서 핵심 응용을 가능하게 한다. Xu와 Zhang의 최근 결과를 활용하여, 특성 p > 5인 대수적으로 닫힌 체 위의 3차원 klt 쌍에 대해 로그 비소멸성 추측을 증명하고, 비최대 네파 차원을 가진 3차원 다양체에 대해 로그 풍부성 추측을 수립하며, p > 2인 유한체의 대수적 폐포 위의 3차원 다양체에 대해 기저 점 자유 정리도 수립한다.

ABSTRACT

We show that a weak version of the canonical bundle formula holds for fibrations of relative dimension one. We provide various applications thereof, for instance, using the recent result of Xu and Zhang, we prove the log non-vanishing conjecture for three-dimensional klt pairs over any algebraically closed field $k$ of characteristic $p>5$. We also show the log abundance conjecture for threefolds over $k$ when the nef dimension is not maximal, and the base point free theorem for threefolds over the algebraic closure of any finite field of characteristic $p>2$.

연구 동기 및 목표

• 양의 특성에서 상대 차원이 1인 피브레이션에 대해 약한 표준 번들의 공식을 수립하기.
• 이 공식을 활용하여 특성 p > 5인 대수적으로 닫힌 체 위의 3차원 klt 쌍에 대해 로그 비소멸성 추측을 증명하기.
• 네파 차원이 최대가 아닐 때 3차원 다양체에 대해 로그 풍부성 추측을 증명하기.
• 특성 p > 2인 유한체의 대수적 폐포 위의 3차원 다양체에 대해 기저 점 자유 정리를 수립하기.

제안 방법

• 양의 특성에서 상대 차원이 1인 피브레이션을 다루기 위해 비라시오널 기하학의 기법을 적응하기.
• 가족 내 표준 인자 제어를 위해 표준 번들의 약한 형태를 활용하기.
• 양의 특성에서 최소 모형 프로그램에 관한 Xu와 Zhang의 최근 진전을 활용하기.
• 약한 표준 번들의 공식을 적용하여 3차원 klt 쌍에서 로그 캐논리컬 인자의 성질 유도하기.
• 네파 차원 조건을 이용해 로그 풍부성 문제를 낮은 차원의 경우로 환원하기.
• 유한체 기하학과 선다발의 양성 조건의 결과를 조합하여 기저 점 자유 정리 증명하기.

실험 결과

연구 질문

• RQ1 양의 특성에서 상대 차원이 1인 피브레이션에 대해 약한 형태의 표준 번들의 공식이 성립하는가?
• RQ2 이 약한 공식을 사용하여 특성 p > 5에서 3차원 klt 쌍에 대해 로그 비소멸성 추측을 증명할 수 있는가?
• RQ3 양의 특성에서 네파 차원이 최대가 아닐 때 3차원 다양체에 대해 로그 풍부성 추측이 성립하는가?
• RQ4 특성 p > 2에서 유한체의 대수적 폐포 위의 3차원 다양체에 대해 기저 점 자유 정리가 성립하는가?
• RQ5 최근의 양의 특성에서 최소 모형 프로그램에 관한 결과들이 상대 차원 1에서의 표준 번들의 공식과 어떻게 상호작용하는가?

주요 결과

• 양의 특성에서 상대 차원이 1인 피브레이션에 대해 약한 표준 번들의 공식이 성립한다.
• 특성 p > 5인 대수적으로 닫힌 체 위의 3차원 klt 쌍에 대해 로그 비소멸성 추측이 증명된다.
• 네파 차원이 최대가 아닐 때 3차원 다양체에 대해 로그 풍부성 추측이 수립된다.
• 특성 p > 2인 유한체의 대수적 폐포 위의 3차원 다양체에 대해 기저 점 자유 정리가 증명된다.
• 최근 결과들은 최소 모형 프로그램의 적용 범위를 최대 네파 차원이 아닌 경우의 3차원 다양체로 확장한다.