[논문 리뷰] Relative semiampleness in mixed characteristic

Jakub Witaszek|arXiv (Cornell University)|2021. 06. 10.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 6

한 줄 요약

이 논문은 Keel의 반완전선다발에 대한 정리의 혼합 특성수 버전을 수립하며, 정수환 위의 완비 스킴에 대한 네프 선다발이 그 일반점 및 양의 특성수 섬유에 제한될 때만 반완전선다발임을 증명한다. 증명은 보편적 홈오멀피즘, h-위상 스택, 몫 구조를 사용하여 양의 특성수 기법을 혼합 특성수로 확장하며, Cascini와 Tanaka의 섬유 기반 반완전선다벨 기준을 혼합 특성수의 스킴으로 일반화한다.

ABSTRACT

We show that a nef line bundle on a proper scheme over an excellent base is semiample if and only if it is semiample after restricting to characteristic zero and to positive characteristic. In the process of the proof, we provide a generalisation to mixed characteristic of the fact that the perfection of the Picard functor in positive characteristic is a stack in groupoids for the h-topology.

연구 동기 및 목표

• Keel의 반완전선다벨 정리를 양의 특성수에서 혼합 특성수로 확장한다.
• Cascini와 Tanaka의 양의 특성수에서의 결과에 유사한 혼합 특성수에서의 섬유 기반 반완전선다벨 기준을 수립한다.
• h-위상에 의한 스택 이론적 성질을 통해 양의 특성수에서의 피카르 함수의 성질을 혼합 특성수로 일반화한다.
• 특히 4차원에서의 혼합 특성수 최소 모델 프로그램을 위한 기초 도구를 제공한다.

제안 방법

• Cascini와 Tanaka의 영감을 받은 3단계 전략을 사용한다: 먼저 상대적으로 수치적으로 자명한 선다벨에 대해 반완전선다벨임을 증명하고, 그 다음 정규 스킴에서, 마지막으로 일반적인 경우에 대해 증명한다.
• 이전 연구 [witaszek2020keels] 에서 유도된 혼합 특성수에서 Keel의 정리 및 Kollár의 유한 동치관계에 대한 몫 정리의 변형을 적용한다.
• 스테인 인자분해와 보편적 홈오멀피즘을 사용하여 기저 스킴의 서로 다른 섬유들 사이의 피브레이션을 연결한다.
• 닫힌 포함 사상에 沿한 당김의 단사성과 공등차도 다이어그램을 이용하여 h-위상에서 몫을 구성한다.
• 유한 전순 사상에 의한 당김이 앰플인 선다벨이면 원래 선다벨도 앰플이 되어야 한다는 사실을 Nakai-Moishezon 기준을 통해 이용한다.
• 주어진 4.3조를 적용하여 양의 특성수 섬유에서의 토판성( torsionality )을 유도하고, 이를 통해 스킴으로의 내림내림을 가능하게 한다.

실험 결과

연구 질문

• RQ1 Cascini와 Tanaka의 섬유 기반 반완전선다벨 기준은 양의 특성수에서 혼합 특성수로 확장될 수 있는가?
• RQ2 혼합 특성수의 체적환 위의 완비 스킴에서 선다벨이 일반점 및 특수 섬유에서 반완전선다벨이면, 전체적으로도 반완전선다벨인가?
• RQ3 양의 특성수에서의 피카르 함수의 완전성은 h-스택으로서 혼합 특성수로 일반화될 수 있는가?
• RQ4 혼합 특성수에서 유한 기저 변경 후 선다벨이 기저로 내림내림하기 위한 조건은 무엇인가?

주요 결과

• 우수한 스킴 $ S $ 위의 완비 스킴 $ X $ 에 대한 선다벨 $ L $ 이 반완전선다벨임은 모든 임의의 점 $ s \to S $ 에 대해 잔여체가 양의 특성수인 경우 $ L|_{X_{\bar{\bbQ}}} $ 과 $ L|_{X_s} $ 가 반완전선다벨임과 동치이다.
• 증명은 특성수 0 기저 변경을 사용하여 $ Z $ 와 그 등가관계 $ \bar{E}_Z $ 의 폐쇄에 의한 몫이 $ S $ 위의 분리된 유한형 대상으로 존재함을 증명한다.
• $ L $ 의 이미지 $ X^* \to W $ 로의 당김은 반완전선다벨이며, 상대적으로 수치적으로 자명하므로 $ L $ 의 승수는 $ W $ 로 내림내림된다.
• $ W $ 에서의 선다벨 $ M $ 이 Nakai-Moishezon 기준에 의해 앰플임을 보여주어 $ r^*L^m $ 이 앰플임을 유도하고, 따라서 Corollary 2.23에 의해 $ L $ 이 반완전선다벨임을 유추한다.
• 이 결과는 혼합 특성수에서 4차원 반안정 최소 모델 프로그램을 위한 핵심 기술적 도구를 제공한다.